1,268 Result(s)

Wireless Mobile Communication and Healthcare

11th EAI International Conference, MobiHealth 2022, Virtual Event, November 30 – December 2, 2022, Proceedings

António Cunha, Nuno M. Garcia… in Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (2023)

Business Modeling and Software Design

13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3–5, 2023, Proceedings

Boris Shishkov in Lecture Notes in Business Information Processing (2023)

Artificial Intelligence over Infrared Images for Medical Applications

Second MICCAI Workshop, AIIIMA 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 2, 2023, Proceedings

Siva Teja Kakileti, Geetha Manjunath… in Lecture Notes in Computer Science (2023)

Tests and Proofs

17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings

Virgile Prevosto, Cristina Seceleanu in Lecture Notes in Computer Science (2023)

Formal Methods for Industrial Critical Systems

28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings

Alessandro Cimatti, Laura Titolo in Lecture Notes in Computer Science (2023)

Computer Performance Engineering

18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21–23, 2022, Proceedings

Katja Gilly, Nigel Thomas in Lecture Notes in Computer Science (2023)

Advanced Information Systems Engineering Workshops

CAiSE 2023 International Workshops, Zaragoza, Spain, June 12–16, 2023, Proceedings

Marcela Ruiz, Pnina Soffer in Lecture Notes in Business Information Processing (2023)

Simple Type Theory

A Practical Logic for Expressing and Reasoning About Mathematical Ideas

William M. Farmer in Computer Science Foundations and Applied Logic (2023)

Logic, Language, Information, and Computation

29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings

Helle Hvid Hansen, Andre Scedrov… in Lecture Notes in Computer Science (2023)

Data Engineering in Medical Imaging

First MICCAI Workshop, DEMI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings

Binod Bhattarai, Sharib Ali, Anita Rau… in Lecture Notes in Computer Science (2023)

Business Process Management Workshops

BPM 2022 International Workshops, Münster, Germany, September 11–16, 2022, Revised Selected Papers

Cristina Cabanillas… in Lecture Notes in Business Information Processing (2023)

Quality Engineering

Quality of Communication Technology Systems

Sebastian Möller (2023)

Medical Image Computing and Computer Assisted Intervention – MICCAI 2023

26th International Conference, Vancouver, BC, Canada, October 8–12, 2023, Proceedings, Part II

Hayit Greenspan, Anant Madabhushi… in Lecture Notes in Computer Science (2023)

Machine Learning Safety

**aowei Huang, Gaojie **, Wenjie Ruan in Artificial Intelligence: Foundations, Theory, and Algorithms (2023)

Human Factors and Design

Yuri Spirochkin (2023)

Security and Privacy in New Computing Environments

5th EAI International Conference, SPNCE 2022, **’an, China, December 30-31, 2022, Proceedings

Qi Jiang, **nghua Li, Ding Wang in Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (2023)

Artificial Evolution

15th International Conference, Évolution Artificielle, EA 2022, Exeter, UK, October 31 – November 2, 2022, Revised Selected Papers

Pierrick Legrand, Arnaud Liefooghe, Edward Keedwell… in Lecture Notes in Computer Science (2023)

Service-Oriented Computing

21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part II

Flavia Monti, Stefanie Rinderle-Ma… in Lecture Notes in Computer Science (2023)

Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges

Montreal, QC, Canada, August 21–25, 2022, Proceedings, Part II

Jean-Jacques Rousseau, Bill Kapralos in Lecture Notes in Computer Science (2023)