Listing 1 - 10 of 14 | << page >> |
Sort by
|
Choose an application
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
This open access book presents theoretical framework and sample applications of variant construction. The first part includes the components variant logic, variant measurements, and variant maps, while the second part covers sample applications such as variation with functions, variant stream ciphers, quantum interference, classical/quantum random sequences, whole DNA sequences, and multiple-valued pulse sequences. Addressing topics ranging from logic and measuring foundation to typical applications and including various illustrated maps, it is a valuable guide for theoretical researchers in discrete mathematics; computing-, quantum- and communication scientists; big data engineers; as well as graduate and upper undergraduate students.
Systems engineering. --- Logic design. --- Mathematics. --- Circuits and Systems. --- Logic Design. --- Electronic Circuits and Devices. --- Information and Communication, Circuits. --- Math --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Engineering systems --- System engineering --- Engineering --- Industrial engineering --- System analysis --- Design and construction --- Electronic circuits. --- Information theory. --- Communication theory --- Communication --- Cybernetics --- Electron-tube circuits --- Electric circuits --- Electron tubes --- Electronics --- Electronic circuits --- Logic design --- Information theory --- Computer science --- Electronic Circuits and Systems. --- Mathematical Applications in Computer Science. --- Computer mathematics --- Electronic data processing --- Mathematics
Choose an application
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
This book is Open Access under a CC BY licence. .
Computer science. --- Computer system failures. --- Software engineering. --- Data structures (Computer science). --- Computer logic. --- Computers. --- Computer Science. --- Logics and Meanings of Programs. --- Software Engineering/Programming and Operating Systems. --- Computing Milieux. --- Data Structures, Cryptology and Information Theory. --- System Performance and Evaluation. --- 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 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 --- Computer failures --- Computer malfunctions --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Informatics --- Science --- Failures --- Logic design. --- Data structures (Computer scienc. --- Computer system performance. --- Data Structures and Information Theory. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- cryptography --- privacy --- world wide web --- semantics --- programming languages --- formal specification --- program compilers --- formal logic --- computer science --- separation logic --- formal methods --- data privacy --- security systems --- software engineering --- computer software selection and evaluation --- internet --- verification --- authentication --- Information theory. --- Electronic digital computers—Evaluation. --- Computer Science Logic and Foundations of Programming. --- Software Engineering. --- Communication theory --- Communication
Choose an application
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
This book is Open Access under a CC BY licence.
Computer science. --- Computer organization. --- Software engineering. --- Computer logic. --- Computers. --- Computer Science. --- Logics and Meanings of Programs. --- Software Engineering/Programming and Operating Systems. --- Computer Systems Organization and Communication Networks. --- Computing Methodologies. --- Computing Milieux. --- Computer Hardware. --- Computer hardware. --- 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 science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- Organization, Computer --- Electronic digital computers --- Informatics --- Science --- Logic design. --- Computer network architectures. --- Artificial intelligence. --- Artificial Intelligence. --- 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 --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- System design --- System analysis --- Computer software --- Development --- state space --- semantics --- programming languages --- program compilers --- specifications --- formal logic --- model checking --- multi core processors --- computer architecture --- formal methods --- software engineering --- computer software selection and evaluation --- model checker --- verification --- Computer engineering. --- Computer networks. --- Computer Science Logic and Foundations of Programming. --- Software Engineering. --- Computer Engineering and 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 --- Computers --- Distributed processing --- Design and construction
Choose an application
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
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. --- Logic design. --- Computer software. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Software, Computer --- Computer systems --- 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 --- Self-organizing systems --- Fifth generation computers --- Neural computers --- Computer software engineering --- Engineering --- Informatics --- Science --- 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 --- Foundations --- 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
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
Choose an application
This book is Open Access under a CC BY licence. .
Logic design. --- Software engineering. --- Computer science. --- Computer software. --- Artificial intelligence. --- Computer logic. --- Logics and Meanings of Programs. --- Software Engineering/Programming and Operating Systems. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Logic Design. --- Logic in AI. --- Computer science logic --- Logic, Symbolic and mathematical --- 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 --- Software, Computer --- Computer systems --- Informatics --- Science --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Mathematical logic. --- Algorithms. --- Algorism --- Algebra --- Arithmetic --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Foundations --- Computer science --- Computer logic --- Software engineering --- Algorithms --- Logic design --- Artificial intelligence --- Machine theory. --- Logic programming. --- Computer Science Logic and Foundations of Programming. --- Software Engineering. --- Formal Languages and Automata Theory. --- Computer programming --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Recursive functions --- Robotics
Listing 1 - 10 of 14 | << page >> |
Sort by
|