1
Dependable Computing - EDCC 2024 Workshops [E-Book] : SafeAutonomy, TRUST in BLOCKCHAIN, Leuven, Belgium, April 8, 2024, Proceedings /
2
A Course in Natural Language Processing [E-Book] /
3
Security and Privacy in Federated Learning [E-Book] /
4
Search for Exotic Higgs Boson Decays to Merged Diphotons [E-Book] : A Novel CMS Analysis Using End-to-End Deep Learning /
5
Learning and Collaboration Technologies [E-Book] : 10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I /
Table of Contents: ... Education in Technology-Enhanced Learning: the Perspective of PhD Candidates and Researchers -- Analyzing Students' Perspective for Using Computer-Mediated Communication Tools for Group Collaboration in Higher Education -- Exploring Factors Affecting User...

Full text 
6
Learning Technology for Education Challenges [E-Book] : 11th International Workshop, LTEC 2023, Bangkok, Thailand, July 24-27, 2023, Proceedings /
Table of Contents: ... of Online Philosophy Courses -- LEARNING TECHNOLOGIES PERFORMANCE -- Best-of-Breed: Service-Oriented Integration of Artificial Intelligence in Interoperable Educational Ecosystems -- Distance Learning Technology Acceptance, a case of Ph.D. students' experiences...

Full text 
7
A Different Look at Artificial Intelligence [E-Book] : On Tour with Bergson, Proust and Nabokov  /
8
Verification of Data-Aware Processes via Satisfiability Modulo Theories [E-Book] /
9
The Semantic Web: ESWC 2023 Satellite Events [E-Book] : Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings /
Table of Contents: ... with Knowledge Graphs and Answer Set Programming -- Ontologies for Formalizing the Process of Configuring and Deploying Building Management Systems -- PhD Symposium -- Metaphor processing in the medical domain via Linked Data and Language Models -- Knowledge-based...

Full text 
10
Multi-Agent Systems [E-Book] : 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings /
11
Information and Communication Technologies in Education, Research, and Industrial Applications [E-Book] : 18th International Conference, ICTERI 2023, Ivano-Frankivsk, Ukraine, September 18-22, 2023, Proceedings /
12
Integrated Formal Methods [E-Book] : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings /
13
Multi-Agent Systems [E-Book] : 19th European Conference, EUMAS 2022, Düsseldorf, Germany, September 14-16, 2022, Proceedings /
Table of Contents: ... Advances and the Road Ahead -- Integrating Quantitative and Qualitative Reasoning for Value Alignment -- Resource Allocation to Agents with Restrictions: Maximizing Likelihood with Minimum Compromise -- PhD Day Short Papers -- Proactivity in Intelligent Personal...

Full text 
14
Database Systems for Advanced Applications [E-Book] : 27th International Conference, DASFAA 2022, Virtual Event, April 11-14, 2022, Proceedings, Part III /
15
Principles of Systems Design [E-Book] : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday /
16
The Semantic Web: ESWC 2022 Satellite Events [E-Book] : Hersonissos, Crete, Greece, May 29 - June 2, 2022, Proceedings /
Table of Contents: ... Absolute Orientation of Embedding Spaces -- Semantic modeling and reconstruction of drones' Trajectories -- How to Search and Contextualize Scenes inside Videos for Enriched Watching Experience: Case Stories of the Second World War Veterans -- PhD Symposium...

Full text 
17
Computational Processing of the Portuguese Language [E-Book] : 15th International Conference, PROPOR 2022, Fortaleza, Brazil, March 21-23, 2022, Proceedings /
Table of Contents: .../MA & PhD Dissertation -- Abstract meaning representation parsing for the Brazilian Portuguese language -- Enriching Portuguese word embeddings with visual information.-....

Full text 
18
Rigorous State-Based Methods [E-Book] : 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings /
Table of Contents: ... Record Structures in Event-B -- Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS using Event-B -- Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application -- Short Articles of the PhD-Symposium...

Full text 
19
Database Systems for Advanced Applications [E-Book] : 26th International Conference, DASFAA 2021, Taipei, Taiwan, April 11-14, 2021, Proceedings, Part III /
Table of Contents: ...Recommendation -- Emerging applications -- Industrial papers -- Demo papers -- Tutorials -- Ph.D. consortium....

Full text 
20
Web Engineering [E-Book] : 21st International Conference, ICWE 2021, Biarritz, France, May 18-21, 2021, Proceedings /
Table of Contents: ... Generation Approach to Converse with Open Data Sources -- Open Data Accessibility based on Voice Commands -- PWA vs the Others: A Comparative Study on the UI Energy-efficiency of Progressive Web Apps -- Ph.D. Symposium -- Static Analysis of Large-Scale JavaScript...

Full text