This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994.;Since its conception as a discipline thirty years ago, temporal logic...
详细信息
ISBN:
(数字)9783540485858
ISBN:
(纸本)9783540582410
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994.;Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers.
This book constitutes selected and revised papers from the 7th International Conference Logistics and Supply Chain Management, held in December 2020 in Tehran, Iran. Due to the COVID-19 pandemic the conference wa...
详细信息
ISBN:
(数字)9783030897437
ISBN:
(纸本)9783030897420
This book constitutes selected and revised papers from the 7th International Conference Logistics and Supply Chain Management, held in December 2020 in Tehran, Iran. Due to the COVID-19 pandemic the conference was held online.;The 17 full papers and 2 short papers pressented were thoroughly reviewed and selected out of 70 submissions. The papers are organized in the topical sections on information technology in supply chain management; production/scheduling and transportation in supply chain management; sustainable and resilient supply chain management; humanitarian supply chain management.
The Workshop on Self-sustaining systems (S3) is a forum for the discussion of topics relating to computersystems and languages that are able to bootstrap, implement, modify, and maintain themselves. One property of t...
详细信息
ISBN:
(数字)9783540892755
ISBN:
(纸本)9783540892748
The Workshop on Self-sustaining systems (S3) is a forum for the discussion of topics relating to computersystems and languages that are able to bootstrap, implement, modify, and maintain themselves. One property of these systems is that their implementation is based onsmall but powerfulabstractions;examples include (amongst others) Squeak/Smalltalk, COLA, Klein/Self, PyPy/Python, Rubinius/Ruby,***, giving researchers and developers great power to experiment with, and explore future directions from within, their own small language kernels. S3 took place on May 15–16, 2008 at the Hasso-Plattner-Institute (HPI) in Potsdam, Germany. It was an exciting opportunity for researchers and prac- tioners interested in self-sustaining systems to meet and share their knowledge, experience, and ideas for future research and development. S3 provided an - portunity for a community to gather and discuss the need for self-sustainability in software systems, and to share and explore thoughts on why such systems are needed and how they can be created and deployed. Analogies were made, for example, with evolutionary cycles, and with urban design and the subsequent inevitable socially-driven change. TheS3participantsleftwithagreatersenseofcommunityandanenthusiasm for probing more deeply into this subject. We see the need for self-sustaining systems becoming critical not only to the developer’s community, but to e- users in business, academia, learning and play, and so we hope that this S3 workshop will become the ?rst of many.
This book constitutes refereed proceedings of the 4th International Conference on New Trends in Information and Communications Technology Applications, NTICT 2020, held on June 15, 2020. The NTICT conference...
详细信息
ISBN:
(数字)9783030553401
ISBN:
(纸本)9783030553395
This book constitutes refereed proceedings of the 4th International Conference on New Trends in Information and Communications Technology Applications, NTICT 2020, held on June 15, 2020. The NTICT conference was planned to take place in Baghdad on March 11-12, 2019, but due to the COVID-19 pandemic the conference has been postponed on June 15, 2020 and moved to the virtual format.;The 15 full papers and 3 short papers presented were thoroughly reviewed and selected from 90 qualified submissions. The volume presents the latest research results in such areas as network protocols, overlay and other logical network structures, wireless access networks, computer vision, machine learning, artificial Intelligence, data mining, control methods.
This two-volume set, LNCS 13810 and 13811, constitutes the refereed proceedings of the 8th International Conference on Machine Learning, Optimization, and Data Science, LOD 2022, together with the papers of the ...
详细信息
ISBN:
(数字)9783031258916
ISBN:
(纸本)9783031258909
This two-volume set, LNCS 13810 and 13811, constitutes the refereed proceedings of the 8th International Conference on Machine Learning, Optimization, and Data Science, LOD 2022, together with the papers of the Second Symposium on Artificial Intelligence and Neuroscience, ACAIN 2022.;The total of 84 full papers presented in this two-volume post-conference proceedings set was carefully reviewed and selected from 226 submissions. These research articles were written by leading scientists in the fields of machine learning, artificial intelligence, reinforcement learning, computational optimization, neuroscience, and data science presenting a substantial array of ideas, technologies, algorithms, methods, and applications.
By introducing the core topics and exploring assistive pervasive systems that draw on pervasive networking, the book provides readers with a robust foundation of knowledge on this growing field of research. Written in...
详细信息
ISBN:
(数字)9789811334627
ISBN:
(纸本)9789811334610
By introducing the core topics and exploring assistive pervasive systems that draw on pervasive networking, the book provides readers with a robust foundation of knowledge on this growing field of research. Written in a straightforward style, the book is also accessible to a broad audience of researchers and designers who are interested in exploring pervasive computing further.
暂无评论