Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portugal, in June 2018. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: safety and security; Ada 202X; handling implicit overhead; real-time scheduling; and new application domains. .

Computer science. --- Computers. --- Computer organization. --- Software engineering. --- Data structures (Computer science). --- Computer logic. --- E-commerce. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Computer Systems Organization and Communication Networks. --- Computer Hardware. --- Logics and Meanings of Programs. --- Data Structures, Cryptology and Information Theory. --- e-Commerce/e-business. --- Computer hardware. --- Cybercommerce --- E-business --- E-commerce --- E-tailing --- eBusiness --- eCommerce --- Electronic business --- Internet commerce --- Internet retailing --- Online commerce --- Web retailing --- Commerce --- Information superhighway --- Computer science logic --- Logic, Symbolic and mathematical --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- Computer software engineering --- Engineering --- Organization, Computer --- Electronic digital computers --- Informatics --- Science --- Computer network architectures. --- Logic design. --- Data structures (Computer scienc. --- Data Structures and Information Theory. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Data structures (Computer science) --- Computer software --- Reliability

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.* The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance. *The conference was held virtually due to the COVID-19 pandemic. The chapter ‘Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware’ is available open access under an Open Government License 3.0 via link.springer.com.

Computer organization. --- Artificial intelligence. --- Software engineering. --- Microprogramming . --- Data encryption (Computer science). --- Computer security. --- Computer Systems Organization and Communication Networks. --- Artificial Intelligence. --- Software Engineering/Programming and Operating Systems. --- Control Structures and Microprogramming. --- Cryptology. --- Systems and Data Security. --- Organization, Computer --- Electronic digital computers --- Computer privacy --- Computer system security --- Computer systems --- Computers --- Cyber security --- Cybersecurity --- Protection of computer systems --- Security of computer systems --- Data protection --- Security systems --- Hacking --- Computer software engineering --- Engineering --- Data encoding (Computer science) --- Encryption of data (Computer science) --- Computer security --- Cryptography --- Computer programming --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Protection --- Security measures --- Computer organization --- Software engineering

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume constitutes the papers of several workshops which were held in conjunction with the International Workshops of ECML PKDD 2022 on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2022, held in Grenoble, France, during September 19–23, 2022. The 73 revised full papers and 6 short papers presented in this book were carefully reviewed and selected from 143 submissions. ECML PKDD 2022 presents the following workshops: Workshop on Data Science for Social Good (SoGood 2022) Workshop on New Frontiers in Mining Complex Patterns (NFMCP 2022) Workshop on Explainable Knowledge Discovery in Data Mining (XKDD 2022) Workshop on Uplift Modeling (UMOD 2022) Workshop on IoT, Edge and Mobile for Embedded Machine Learning (ITEM 2022) Workshop on Mining Data for Financial Application (MIDAS 2022) Workshop on Machine Learning for Cybersecurity (MLCS 2022) Workshop on Machine Learning for Buildings Energy Management (MLBEM 2022) Workshop on Machine Learning for Pharma and Healthcare Applications (PharML 2022) Workshop on Data Analysis in Life Science (DALS 2022) Workshop on IoT Streams for Predictive Maintenance (IoT-PdM 2022).

Computer assisted instruction --- Mathematical control systems --- Programming --- Computer architecture. Operating systems --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- computervisie --- applicatiebeheer --- apps --- grafische vormgeving --- informatica --- computerondersteund onderwijs --- informatietechnologie --- KI (kunstmatige intelligentie) --- architectuur (informatica) --- informatietheorie --- AI (artificiële intelligentie) --- Artificial intelligence. --- Image processing --- Computer vision. --- Computer engineering. --- Computer networks. --- Data structures (Computer science) --- Information theory. --- Application software. --- Education --- Artificial Intelligence. --- Computer Imaging, Vision, Pattern Recognition and Graphics. --- Computer Engineering and Networks. --- Data Structures and Information Theory. --- Computer and Information Systems Applications. --- Computers and Education. --- Intel·ligència artificial --- Processament d'imatges --- Visió per ordinador --- Enginyeria d'ordinadors --- Xarxes d'ordinadors --- Estructures de dades (Informàtica) --- Digital techniques. --- Data processing.