High Performance Computing for Drug Discovery and Biomedicine [E-Book] /
Table of Contents: ... and Their Applications in Drug Discovery -- Natural Language Processing for Drug Discovery Knowledge Graphs: Promises and Pitfalls -- Alchemical Free Energy Workflows for the Computation of Protein-Ligand Binding Affinities -- Molecular Dynamics and Other HPC Simulations...

Full text 
Formal Methods [E-Book] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings /
Information for a Better World: Normality, Virtuality, Physicality, Inclusivity [E-Book] : 18th International Conference, iConference 2023, Virtual Event, March 13-17, 2023, Proceedings, Part II /
Table of Contents: ... Annotation Tool: An Examination of Annotators' Practice and Needs -- Information Retrieval -- Similarity Visualizer using Natural Language Processing in Academic Documents of the DSpace in Ecuador -- Information Retrieval Research in Academia and Industry: A...

Full text 
Advances in Intelligent Data Analysis XXI [E-Book] : 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings /
RoboCup 2022: [E-Book] : Robot World Cup XXV /
Table of Contents: ... -- AI Applications -- Human computer interaction (HCI) -- Natural language processing. ....

Full text 
Handbook of Re-Engineering Software Intensive Systems into Software Product Lines [E-Book] /
Table of Contents: ...Part I. Feature location and variability model extraction -- Chapter. 1. Feature Location in Software Variants Toward Software Product Line Engineering -- Chapter. 2. Feature & Variability Extraction From Natural Language Requirements -- Chapter. 3...

Full text 
Lesion Segmentation in Surgical and Diagnostic Applications [E-Book] : MICCAI 2022 Challenges, CuRIOUS 2022, KiPA 2022 and MELA 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18-22, 2022, Proceedings /
Machine Learning and Knowledge Discovery in Databases [E-Book] : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part II /
Table of Contents: ...Networks and graphs -- knowledge graphs -- social network analysis -- graph neural networks -- natural language processing and text mining -- conversational systems....

Full text 
Machine Learning and Knowledge Discovery in Databases [E-Book] : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part III /
Formal Methods Teaching [E-Book] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /
AIxIA 2022 - Advances in Artificial Intelligence [E-Book] : XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings /
Table of Contents: ... Stations -- Simulated Annealing for the Home Healthcare Routing and Scheduling Problem -- MAP Inference in Probabilistic Answer Set Programs -- Verifying a stochastic model for the spread of a SARS-CoV-2-like infection: opportunities and limitations -- Natural...

Full text 
Advances in Information Retrieval [E-Book] : 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part III /
Requirements Engineering: Foundation for Software Quality [E-Book] : 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings /
Table of Contents: ... Determined (D) and Scope Determining (G) Requirements: A New Categorization of Functional Requirements -- NLP and Machine Learning for AI Using Language Models for Enhancing the Completeness of Natural-language Requirements -- Requirement...

Full text 
Machine Learning and Knowledge Discovery in Databases [E-Book] : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part VI /
Structured Object-Oriented Formal Language and Method [E-Book] : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers /
Table of Contents: ... of digraph real-time tasks -- Formal Specification & Testing -- Formalization of natural language into PPTL specification via neural machine translation -- Testing Program Segments to Detect Runtime Exceptions in Java -- Inferring Exact Domains to Efficiently...

Full text 
Formal Analysis for Natural Language Processing: A Handbook [E-Book] /
Table of Contents: ...Preface -- Chapter 1. Past and Present of Natural Language Processing -- Chapter 2. Pioneers in Study of Language Computing -- Chapter 3.Formal Models Based on Phrase Structure Grammar -- Chapter 4.The Formal Model Based on Unification -- Chapter 5...

Full text 
NASA Formal Methods [E-Book] : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings /
Table of Contents: ...: From the Standards to Silicon -- Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework -- Formalized High Level Synthesis with Applications to Cryptographic Hardware -- From Natural Language Requirements to the Verification...

Full text 
Health Information Processing [E-Book] : 8th China Conference, CHIP 2022, Hangzhou, China, October 21-23, 2022, Revised Selected Papers /
Table of Contents: ...Healthcare Natural Language Processing -- Corpus Construction for Named-Entity and Entity Relations for Electronic Medical Records of Cardiovascular Disease -- Hybrid Granularity-based medical event extraction in Chinese electronic medical records...

Full text 
Foundation Models for Natural Language Processing [E-Book] : Pre-trained Language Models Integrating Media /
Sentiment Analysis in the Medical Domain [E-Book] /