Search

Showing total 4 results
4 results

1. Participative Urban Health and Healthy Aging in the Age of AI

Author

Aloulou, Hamdi, Abdulrazak, Bessam, de Marassé-Enouf, Antoine, and Mokhtari, Mounir

Subjects
architecture types, artificial intelligence, communication systems, computer hardware, computer networks, computer science, computer systems, engineering, Human-Computer Interaction (HCI), internet, Internet of Things (IoT), network protocols, sensors, signal processing, software architecture, software design, software engineering, telecommunication systems, ubiquitous computing, user interfaces, bic Book Industry Communication::U Computing & information technology::UK Computer hardware::UKN Network hardware, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering, bic Book Industry Communication::U Computing & information technology::UN Databases::UNH Information retrieval, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction::UYZG User interface design & usability, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision, bic Book Industry Communication::U Computing & information technology::UB Information technology: general issues
Abstract

This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2022, held in Paris, France, in June 2022. The 15 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 33 submissions. They cover topics such as design, development, deployment, and evaluation of AI for health, smart urban environments, assistive technologies, chronic disease management, and coaching and health telematics systems.

Published
2022
Full Text
View/download PDF

2. Security in Computer and Information Sciences

Author

Gelenbe, Erol, Jankovic, Marija, Kehagias, Dionysios, Marton, Anna, and Vilmos, Andras

Subjects
architecture types, artificial intelligence, communication systems, computer crime, computer hardware, computer networks, computer security, computer systems, cryptography, data security, Internet of Things (IoT), network protocols, network security, signal processing, software architecture, software design, software engineering, telecommunication networks, telecommunication systems, bic Book Industry Communication::U Computing & information technology::UR Computer security, bic Book Industry Communication::U Computing & information technology::UN Databases::UNH Information retrieval, bic Book Industry Communication::U Computing & information technology::UK Computer hardware::UKN Network hardware, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering, bic Book Industry Communication::U Computing & information technology::UB Information technology: general issues::UBL Legal aspects of IT, bic Book Industry Communication::G Reference, information & interdisciplinary subjects::GP Research & information: general::GPJ Coding theory & cryptology
Abstract

This open access book constitutes the thoroughly refereed proceedings of the Second International Symposium on Computer and Information Sciences, EuroCybersec 2021, held in Nice, France, in October 2021. The 9 papers presented together with 1 invited paper were carefully reviewed and selected from 21 submissions. The papers focus on topics of security of distributed interconnected systems, software systems, Internet of Things, health informatics systems, energy systems, digital cities, digital economy, mobile networks, and the underlying physical and network infrastructures. This is an open access book.

Published
2022
Full Text
View/download PDF

3. Automated Deduction – CADE 28

Author

Platzer, André and Sutcliffe, Geoff

Subjects
Artificial Intelligence, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Software Engineering, Formal Languages and Automata Theory, Computer Science Logic and Foundations of Programming, automata theory, boolean functions, computer programming, first order logic, formal languages, formal logic, logic programming, model checking, program verification, semantics, software architecture, software design, software quality, software verification, theorem provers, theorem proving, Mathematical theory of computation, Computer programming / software engineering, Computer architecture & logic design, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering
Abstract

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.

Published
2021
Full Text
View/download PDF

4. Programming Languages and Systems

Author

Sergey, Ilya

Subjects
automata theory, computer programming, computer systems, databases, distributed computer systems, distributed systems, embedded systems, formal languages, formal logic, linguistics, ontologies, parallel processing systems, program compilers, programming languages, semantics, software design, software engineering, software quality, verification, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general, bic Book Industry Communication::U Computing & information technology::UY Computer science, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures, bic Book Industry Communication::U Computing & information technology::UK Computer hardware::UKN Network hardware, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development
Abstract

This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Published
2022
Full Text
View/download PDF