6 results
Search Results
2. 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
3. Tools and Algorithms for the Construction and Analysis of Systems
- Author
-
Groote, Jan Friso and Larsen, Kim Guldstrand
- Subjects
Theory of Computation ,Computer Systems Organization and Communication Networks ,Control Structures and Microprogramming ,Logic in AI ,Information Systems and Communication Service ,Computer Engineering and Networks ,architecture verification and validation ,artificial intelligence ,automata theory ,computer networks ,embedded systems ,formal languages ,formal logic ,linguistics ,mathematics ,model checking ,model-checking ,SAT and SMT solving ,signal processing ,software and hardware verification ,software architecture ,software engineering ,specification and verification techniques ,static and dynamic program analysis ,system construction and transforamtion techniques ,theorem-proving ,Computer science ,Mathematical theory of computation ,Computer networking & communications ,Algorithms & data structures ,bic Book Industry Communication::U Computing & information technology::UY Computer science ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence - Abstract
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
- Published
- 2021
- Full Text
- View/download PDF
4. Computer Aided Verification
- Author
-
Lahiri, Shuvendu K. and Wang, Chao
- Subjects
Software Engineering ,Theory of Computation ,Computer Systems Organization and Communication Networks ,Artificial Intelligence ,Information Systems and Communication Service ,Computer Hardware ,Computer Engineering and Networks ,Database Management System ,architecture verification and validation ,artificial intelligence ,computer hardware ,computer networks ,computer programming ,computer systems ,data security ,distributed computer systems ,embedded systems ,formal logic ,linguistics ,model checking ,network protocols ,parallel processing systems ,signal processing ,software architecture ,software design ,software quality ,verification and validation ,Open Access ,Computer science ,Mathematical theory of computation ,Computer networking & communications ,Artificial intelligence ,Computer 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::UY Computer science ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UK Computer hardware - Abstract
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
- Published
- 2020
- Full Text
- View/download PDF
5. Electronic Voting
- Author
-
Krimmer, Robert, Volkamer, Melanie, Duenas-Cid, David, Rønne, Peter, and Germann, Micha
- Subjects
artificial intelligence ,communication ,communication systems ,computer crime ,computer hardware ,computer networks ,computer science ,computer security ,computer systems ,computer vision ,cryptography ,data security ,engineering ,fuzzy sets ,internet ,network protocols ,network security ,privacy ,signal processing ,telecommunication systems ,bic Book Industry Communication::G Reference, information & interdisciplinary subjects::GP Research & information: general::GPJ Coding theory & cryptology ,bic Book Industry Communication::U Computing & information technology::UN Databases::UNH Information retrieval ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications::UTN Network security ,bic Book Industry Communication::U Computing & information technology::UR Computer security ,bic Book Industry Communication::U Computing & information technology::UK Computer hardware::UKN Network hardware - Abstract
This open access book LNCS 13353 constitutes the proceedings of the 7th International Conference on Electronic Voting, E-Vote-ID 2022, held in Bregenz, Austria, in October 2022. The 10 full papers presented were carefully reviewed and selected from 39 submissions. The conference collected the most relevant debates on the development of Electronic Voting, from aspects relating to security and usability through to practical experiences and applications of voting systems, also including legal, social, or political aspects, amongst others.
- Published
- 2022
- Full Text
- View/download PDF
6. Programming Languages and Systems
- Author
-
Müller, Peter
- Subjects
Programming Languages, Compilers, Interpreters ,Computer Systems Organization and Communication Networks ,Control Structures and Microprogramming ,Information Systems and Communication Service ,Natural Language Processing (NLP) ,Theory of Computation ,artificial intelligence ,computer networks ,computer programming ,computer security ,distributed computer systems ,embedded systems ,formal languages ,formal logic ,linguistics ,mathematics ,model checking ,object-oriented programming ,parallel processing systems ,program compilers ,semantics ,software architecture ,software design ,software engineering ,software quality ,verification and validation ,Programming & scripting languages: general ,Compilers & interpreters ,Computer networking & communications ,Algorithms & data structures ,Natural language & machine translation ,Computer science ,Mathematical theory of computation ,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::UT Computer networking & communications ,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::UY Computer science::UYQ Artificial intelligence::UYQL Natural language & machine translation ,bic Book Industry Communication::U Computing & information technology::UY Computer science - Abstract
This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
- Published
- 2020
- Full Text
- View/download PDF
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.