„Programs“

Suchergebnisse

10.000+ Treffer

• Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification – First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
  Lecomte, Thierry ; Pinger, Ralf ; Romanovsky, Alexander 2016 Springer International Publishing
• Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems – 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
  Bernardo, Marco ; De Nicola, Rocco ; Hillston, Jane 2016 Springer International Publishing
• Application and Theory of Petri Nets and Concurrency – 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
  Kandon, Fabrice ; Moldt, Daniel 2016 Springer International Publishing
• Integer Programming and Combinatorial Optimization – 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings
  Louveaux, Quentin ; Skutella, Martin 2016 Springer International Publishing
• Formal Techniques for Distributed Objects, Components, and Systems – 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
  Albert, Elvira ; Lanese, Ivan 2016 Springer International Publishing
• Web Services, Formal Methods, and Behavioral Types – 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
  Hildebrandt, Thomas ; Ravara, António ; van der Werf, Jan Martijn ; Weidlich, Matthias 2016 Springer International Publishing
• A List of Successes That Can Change the World – Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
  Lindley, Sam ; McBride, Conor ; Trinder, Phil ; Sannella, Donald 2016 Springer International Publishing
• Graphical Models for Security – Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers
  Mauw, Sjouke ; Kordy, Barbara ; Jajodia, Sushil 2016 Springer International Publishing
• Planning Health Promotion Programs – An Intervention Mapping Approach
  Bartholomew Eldredge, L. Kay ; Markham, Christine M. ; Ruiter, Robert A. C. ; Fernández, María E. ; Kok, Gerjo ; Parcel, Guy S. 2016 John Wiley & Sons
• Software Engineering – International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
  Meyer, Bertrand ; Nordio, Martin 2015 Springer International Publishing
• Recent Trends in Algebraic Development Techniques – 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
  Codescu, Mihai ; Diaconescu, Răzvan ; Țuțu, Ionuț 2015 Springer Berlin Heidelberg
• Theoretical Aspects of Computing - ICTAC 2015 – 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
  Leucker, Martin ; Rueda, Camilo ; Valencia, Frank D. 2015 Springer International Publishing
• Hybrid Systems Biology – Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers
  Maler, Oded ; Halász, Ádám ; Dang, Thao ; Piazza, Carla 2015 Springer International Publishing
• Knowledge-driven federated learning: A systematic literature review on approaches, challenges, and prospects
  Lin, Xiaogang ; Zhao, Xiaoli ; Yin, Zilong ; Pan, Hao ; Jing, Panzhao ; Li, Weishan ; Wang, Kangwei ; Shu, Yincan
• Feasibility analysis and opposition white shark optimizer for optimizing modified EfficientNetV2 model for road crack classification
  Al-Shalabi, Mohammed ; Mahdi, Mohammed A. ; Braik, Malik ; Al-Betar, Mohammed Azmi ; Ahamad, Shahanawaj ; Saad, Sawsan A.
• ‘Quality and consequence’: interrogating the drive for new performance indicators and funding levers in Australian initial teacher education programs
  Van Bergen, Penny ; Ryan, Mary ; Youdell, Deborah ; Ledger, Susan ; Carter, Don ; Maurice, Olivia ; Cliff, Ken ; Andrews, Rebecca
• A semi-asynchronous federated learning method integrating personalization and staleness awareness for traffic flow prediction in dynamic Internet of Vehicles
  Zhao, Peng ; Liao, Zhuhua ; Zhao, Yijiang ; Xu, Jianbo ; Yi, Aiping
• Digital forensic analysis for vehicle infotainment systems based on packet fingerprinting
  Shin, Yeonghun ; Yu, Geon ; Shon, Taeshik
• A real-time image dehazing algorithm based on adaptive routing
  Meng, Kun ; Yang, Shengjie ; Liu, Zhen ; Li, Sheng ; Wang, Min ; Liao, Haibin ; Yuan, Li
• Large Language Models in School Psychology Training Programs: Perceptions, Applications, and Ethical Challenges
  Carrasco, Andres ; Escarzaga, Andre ; Gamez, Ariana A. ; Rodriguez, Exodus Anthony ; Xiong, Seng ; Carrasco, Kelly Decker