241
Agents and Artificial Intelligence [E-Book] : 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papers /

Full text 
Favorites
Saved in:
242
Advances in Information Retrieval [E-Book] : 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, Part IV /

Full text 
Favorites
Saved in:
243
From Computational Logic to Computational Biology [E-Book] : Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career /

Full text 
Favorites
Saved in:
244
Advances in Information Retrieval [E-Book] : 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, Part II /

Full text 
Favorites
Saved in:
245
Service-Oriented Computing - ICSOC 2023 Workshops [E-Book] : AI-PA, ASOCA, SAPD, SQS, SSCOPE, WESOACS and Satellite Events, Rome, Italy, November 28-December 1, 2023, Revised Selected Papers /

Full text 
Favorites
Saved in:
246
Progressive and Integrative Ideas and Applications of Engineering Systems Under the Framework of IOT and AI [E-Book] : Proceedings of 2nd International Conference on Intelligent Systems Design and Engineering Applications /

Full text 
Favorites
Saved in:
247
e-Learning, e-Education, and Online Training [E-Book] : 9th EAI International Conference, eLEOT 2023, Yantai, China, August 17-18, 2023, Proceedings, Part II /
Gui, Guan
2024

Full text 
Favorites
Saved in:
248
Constructive Side-Channel Analysis and Secure Design [E-Book] : 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings /

Full text 
Favorites
Saved in:
249
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I /
Table of Contents: “... of SMT Rewrites in Isabelle/HOL -- Automate where Automation Fails: Proof Strategies for Frama-C/WP -- VeSCMul: Verified Implementation of S-C-Rewriting for Multiplier Verification -- A Logical Treatment of Finite Automata -- A State-of-the-Art Karp-Miller...”

Full text 
Favorites
Saved in:
250
Foundations of Software Science and Computation Structures [E-Book] : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I /

Full text 
Favorites
Saved in:
251
Critical Infrastructure Protection XVII [E-Book] : 17th IFIP WG 11.10 International Conference, ICCIP 2023, Arlington, VA, USA, March 13-14, 2023, Revised Selected Papers /

Full text 
Favorites
Saved in:
252
Euro-Par 2023: Parallel Processing Workshops [E-Book] : Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 - September 1, 2023, Revised Selected Papers, Part II /
Table of Contents: “... Equation Solver in Chapel, Charm++, C++, HPX, Go, Julia, Python, Rust, Swift, and Java -- PECS 2023 - 2-page report -- Parallel auto-scheduling of counting queries in machine learning applications on HPC systems -- Energy Efficiency Impact of Processing...”

Full text 
Favorites
Saved in:
253
Health Information Processing [E-Book] : 9th China Health Information Processing Conference, CHIP 2023, Hangzhou, China, October 27-29, 2023, Proceedings /

Full text 
Favorites
Saved in:
254
Computational Sciences and Sustainable Technologies [E-Book] : First International Conference, ICCSST 2023, Bangalore, India, May 8-9, 2023, Revised Selected Papers /

Full text 
Favorites
Saved in:
255
Soft Computing and Its Engineering Applications [E-Book] : 5th International Conference, icSoftComp 2023, Changa, Anand, India, December 7-9, 2023, Revised Selected Papers, Part II /

Full text 
Favorites
Saved in:
256
Reference Materials in Measurement and Technology [E-Book] : Proceedings of the Fifth International Scientific Conference RMMT 2022 /
Table of Contents: “... Using Natural Sunflower Oil: Calibration of a Pulsed NMR Analyzer -- Measurement of Сarbon Isotope Ratio in Vanillin Using the CM-CRDS Method: Achieving an Expanded Uncertainty Below 0.1% -- Development of Isotopic Reference Materials for 13C-Urea Breath...”

Full text 
Favorites
Saved in:
257
Proceedings of the International Conference on Cybersecurity, Situational Awareness and Social Media [E-Book] : Cyber Science 2023; 03-04 July; University of Aalborg, Copenhagen, Denmark /

Full text 
Favorites
Saved in:
258
Music Intelligence [E-Book] : Second Summit, SOMI 2023, Beijing, China, October 28-30, 2023, Revised Selected Papers /
Table of Contents: “... Jianzi Notation Transcription Based on Language Model -- Music Generation -- Towards the Implementation of an Automatic Composition System for Popular Songs -- CoCoFormer: A Controllable Feature-rich Polyphonic Music Generation Method -- C2-MAGIC: Chord...”

Full text 
Favorites
Saved in:
259
Proceedings of the XII All Russian Scientific Conference on Current Issues of Continuum Mechanics and Celestial Mechanics [E-Book] : XII CICMCM, 15-17 November 2023, Tomsk, Russia /

Full text 
Favorites
Saved in:
260
Advanced Research in Technologies, Information, Innovation and Sustainability [E-Book] : Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part II /

Full text 
Favorites
Saved in:

Narrow Search Results