Scheduled transportation networks give rise to very complex and large-scale networkoptimization problems requiring innovative solution techniques and ideas from mathematical optimization and theoretical computer science.
The two-volume set LNCS 15226 and 15227 constitutes the refereed proceedings of the 24th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2024, held in Samos, Greece, during June 29-July 4, 2024.
This four-volume set constitutes the post-conference proceedings of the 7th EAI International Conference on Advanced Hybrid Information Processing, ADHIP 2023, held in Harbin, China, during September 22-24, 2023.
This book discusses a new process mining method along with a detailed comparison between different techniques that provide a complete vision of the process of data acquisition, data analysis, and data prediction.
This two-volume set of HCIBGO 2023, constitutes the refereed proceedings of the 10h International Conference on HCI in Business, Government and Organizations, held as Part of the 24th International Conference, HCI International 2023, which took place in July 2023 in Copenhagen, Denmark.
This book constitutes the proceedings of the First International Conference on Spatial Data and Intelligence, SpatialDI 2020, which was held on May 8-9, 2020.
This book constitutes the proceedings of the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024.
This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.
This 2-volume set constitutes the refereed proceedings of 1st International Conference on Robotics and Rehabilitation Intelligence, ICRRI 2020, held in Fushun, China, in September 2020.
This book constitutes the refereed proceedings of the 11th International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2016, held in Hangzhou, China, in June 2016.
Take your ROS skills to the next level by implementing complex robot structures in a ROS simulationKey FeaturesLearn fundamental ROS concepts and apply them to solve navigation tasksWork with single board computers to program smart behavior in mobile robotsUnderstand how specific characteristics of the physical environment influence your robot's performanceBook DescriptionConnecting a physical robot to a robot simulation using the Robot Operating System (ROS) infrastructure is one of the most common challenges faced by ROS engineers.
This book constitutes the proceedings of the 45th Annual Conference of the German Association for Pattern Recognition, DAGM-GCPR 2023, which took place in Heidelberg, Germany, during September 19-22, 2023.
This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022.
This book constitutes the refereed proceedings of the 16th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface, EuroPVM/MPI 2009, held in Espoo, Finland, September 7-10, 2009.
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece.
This book constitutes the proceedings of the 4th International Conference, IN4PL 2023, held in Rome, Italy, during November 15-17, 2023The 11 full papers and the 13 short papers included in this volume were carefully reviewed and selected from 33 submissions.
This book constitutes refereed proceedings of the First International Conference on Emerging Networking Architecture and Technologies, ICENAT 2022, held in Shenzhen, China, in October 2022.
This book constitutes the proceedings of the 21st International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2021, which took place in July 2021.
This volume constitutes the refereed proceedings of the 8th Workshop on Engineering Applications, WEA 2021, held in Medellin, Colombia, in October 2021.
Develop innovative architectural styles by analyzing and merging various approaches, focusing on making trade-offs and mitigating risks to solve real-world problemsKey FeaturesLearn how to analyze and dissect various architectural styles into building blocksCombine existing ideas with your own to create custom solutionsMake informed decisions by navigating trade-offs and compromisesPurchase of the print or Kindle book includes a free PDF eBookBook DescriptionSoftware Architecture with Kotlin explores the various styles of software architecture with a focus on using the Kotlin programming language.
This book constitutes the proceedings of the 7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2017, held in conjunction with ESWeek 2017, in Seoul, South Korea, in October 2017.
This 4-volume set of LNCS 14495-14498 constitutes the proceedings of the 40th Computer Graphics International Conference, CGI 2023, held in Shanghai, China, August 28 - September 1, 2023.
This volume constitutes the refereed proceedings of the 29th European Conference on Systems, Software and Services Process Improvement, EuroSPI 2022, held in Salzburg, Austria, in August-September 2022.
With the SPARC (Scalable Processor ARChitecture) architecture and system software as the underlying foundation, Sun Microsys- terns is delivering a new model of computing-easy workgroup computing-to enhance the way people work, automating processes across groups, departments, and teams locally and globally.
From learning about the most sought-after design patterns to a comprehensive coverage of architectural patterns and code testing, this book is all you need to write clean, reusable codeKey FeaturesWrite clean, reusable and maintainable code, and make the most of the latest Swift version.
The four-volume set LNCS 15364-15367 constitutes the refereed proceedings of the 22nd International Conference on Theory of Cryptography, TCC 2024, held in Milan, Italy, in December 2024.
This book constitutes refereed proceedings of the First International Conference on Emerging Networking Architecture and Technologies, ICENAT 2022, held in Shenzhen, China, in October 2022.
This book constitutes revised selected papers from 10 workshops that were held as the ISC High Performance 2017 conference in Frankfurt, Germany, in June 2017.
This is a book about multi-threaded programming - it could well be subtitled 'How to write computer programs tllat do lots of different tlrings all at once'.
This book constitutes selected papers from the 20th International Conference on Transport Systems Telematics, TST 2020, held in Krakow, Poland, in October 2020.
This two-volume set CCIS 2372-2373 constitutes the proceedings of the 5th International Conference on Innovative Intelligent Industrial Production and Logistics, IN4PL 2024, held in Porto, Portugal, during November 21-22, 2024.
This book introduces condition-based maintenance (CBM)/data-driven prognostics and health management (PHM) in detail, first explaining the PHM design approach from a systems engineering perspective, then summarizing and elaborating on the data-driven methodology for feature construction, as well as feature-based fault diagnosis and prognosis.
This book constitutes revised selected papers from the 24th International Symposium on Trends in Functional Programming, TFP 2023, held in Boston, MA, USA, during January 12-15, 2023.
This book constitutes the refereed proceedings of the First International Symposium on Communicability, Computer Graphics and Innovative Design for Interactive Systems, held in Cordoba, Spain, in June 2011.