Choose an application

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

Nature-inspired algorithms have a great popularity in the current scientific community, being the focused scope of many research contributions in the literature year by year. The rationale behind the acquired momentum by this broad family of methods lies on their outstanding performance evinced in hundreds of research fields and problem instances. This book gravitates on the development of nature-inspired methods and their application to stochastic, dynamic and robust optimization. Topics covered by this book include the design and development of evolutionary algorithms, bio-inspired metaheuristics, or memetic methods, with empirical, innovative findings when used in different subfields of mathematical optimization, such as stochastic, dynamic, multimodal and robust optimization, as well as noisy optimization and dynamic and constraint satisfaction problems.

Algorithms. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Algorism --- Algebra --- Arithmetic --- Foundations --- Optimization

Choose an application

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

It constitutes the refereed proceedings of the 4th Asian Supercomputing Conference, SCFA 2018, held in Singapore in March 2018. Supercomputing Frontiers will be rebranded as Supercomputing Frontiers Asia (SCFA), which serves as the technical programme for SCA18. The technical programme for SCA18 consists of four tracks: Application, Algorithms & Libraries Programming System Software Architecture, Network/Communications & Management Data, Storage & Visualisation The 20 papers presented in this volume were carefully reviewed nd selected from 60 submissions.

Computer science. --- Logic design. --- Computer organization. --- Operating systems (Computers). --- Computers. --- Computer Science. --- Computing Methodologies. --- Computer Systems Organization and Communication Networks. --- Operating Systems. --- Logic Design. --- Information Systems and Communication Service. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Organization, Computer --- Electronic digital computers --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Informatics --- Science --- Operating systems --- Artificial intelligence. --- Computer network architectures. --- Information systems. --- Artificial Intelligence. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- AI (Artificial intelligence) --- Artificial thinking --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- databases --- map-reduce --- data management --- information management --- processors --- semantics --- programming languages --- artificial intelligence --- computer science --- High-Performance Computing (HPC) --- computer architecture --- computer systems --- wireless telecommunication systems --- big data --- cloud computing --- communication --- hardware --- Computer engineering. --- Computer networks. --- Computer Engineering and Networks. --- Computer Communication Networks. --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Distributed processing --- Design and construction

Choose an application

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

This book is Open Access under a CC BY licence.

Computer science. --- Computer system failures. --- Software engineering. --- Computer logic. --- Computer science --- Artificial intelligence. --- Computers. --- Computer Science. --- Logics and Meanings of Programs. --- Software Engineering/Programming and Operating Systems. --- Artificial Intelligence (incl. Robotics). --- System Performance and Evaluation. --- The Computing Profession. --- Discrete Mathematics in Computer Science. --- Mathematics. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- AI (Artificial intelligence) --- Artificial thinking --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer mathematics --- Discrete mathematics --- Computer science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- Computer failures --- Computer malfunctions --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Informatics --- Science --- Mathematics --- Failures --- Logic design. --- Computer system performance. --- Computer industry. --- Computational complexity. --- Artificial Intelligence. --- Complexity, Computational --- Electronic industries --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computer science—Mathematics. --- artificial intelligence --- computer software --- selection and evaluation --- formal logic --- graph theory --- modal logic --- petri nets --- program compilers --- programming language --- semantics --- separation logic --- software engineering --- theorem proving --- type systems --- verification --- Electronic digital computers—Evaluation. --- Professions. --- Discrete mathematics. --- Computer Science Logic and Foundations of Programming. --- Software Engineering. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Career patterns --- Careers --- Jobs --- Professional services --- Occupations --- Interprofessional relations --- Vocational guidance

Choose an application

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

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.

Computer science. --- Software engineering. --- Algorithms. --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer simulation. --- Computer Science. --- Logics and Meanings of Programs. --- Software Engineering. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Simulation and Modeling. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- 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 --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Computer software engineering --- Engineering --- Informatics --- Science --- Foundations --- Logic design. --- Computer software. --- Artificial Intelligence. --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computer science --- Computer logic --- Software engineering --- Artificial intelligence --- Algorithms --- Computer simulation --- Machine theory. --- Computer Science Logic and Foundations of Programming. --- Formal Languages and Automata Theory. --- Computer Modelling. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Recursive functions --- Robotics

Choose an application

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

This open access book is the final compendium of case studies emanated from the 4-year COST Action IC1406 “High-Performance Modelling and Simulation for Big Data Applications” (cHiPSet). Funded by the European Commission from 2015, cHiPSet has created a sustainable reference network linking applied research in High Performance Computing (HPC) and Modelling & Simulation to tangibly address Big Data challenges. cHiPSet has enabled research partnerships for dozens of academics and industry practitioners located in 34 COST countries, as well as in Australia, Belarus, Brazil, China, Russia, and the USA. As a cooperation framework, cHiPSet has reached out to new audiences such as ICT professionals, commercial software developers, and the general public. At a time when Big Data has become a common household term, cHiPSet has strived to become a knowledge hub where data-driven HPC meets Modelling & Simulation. cHiPSet has also endeavoured to use and exploit results through Open Science practices, i.e., open access publication, open access to data repositories, and open-source software development. A testament to this philosophy, this compendium is set to become a required reference for the fast-changing fields of HPC, Big Data, and Modelling & Simulation.

Computer system performance. --- Computer Communication Networks. --- Computer science. --- Logic design. --- Operating systems (Computers). --- System Performance and Evaluation. --- Processor Architectures. --- Information Systems Applications (incl. Internet). --- Logic Design. --- Operating Systems. --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Operating systems --- Computer system failures. --- Computer communication systems. --- Microprocessors. --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Minicomputers --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Distributed processing --- Failures --- Computer science --- Computer system failures --- Microprocessors --- Application software --- Logic design --- Operating systems (Computers) --- Electronic digital computers—Evaluation. --- Computer networks. --- Computer architecture. --- Computer and Information Systems Applications. --- Architecture, Computer