Choose an application

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

This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART'97, held in Grenoble, France, in March 1997. The volume presents 18 revised full papers and 9 short presentations carefully selected during a highly competitive evaluation process; also included are full versions or abstracts of 7 invited papers or tutorials. Hybrid Systems consist of digital devices interacting with analog environments; thus the emerging area lies at the crossroads of computer science and control theory. This book focusses on mathematically sound methods for the rigorous and systematic design and analysis of hybrid systems and real-time systems.

Hybrid computers --- Real-time data processing --- Calculateurs hybrides --- Temps réel --- Congresses --- Congrès --- Congresses. --- Computer Science --- Engineering & Applied Sciences --- Temps réel --- Congrès --- Engineering. --- Microprocessors. --- Special purpose computers. --- Software engineering. --- Computers. --- Control engineering. --- Robotics. --- Mechatronics. --- Control. --- Theory of Computation. --- Special Purpose and Application-Based Systems. --- Processor Architectures. --- Software Engineering. --- Control, Robotics, Mechatronics. --- Information theory. --- Computer science. --- Control and Systems Theory. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Computer software engineering --- Engineering --- Minicomputers --- Special purpose computers --- Computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Machine theory --- Calculators --- Cyberspace --- Control engineering --- Control equipment --- Control theory --- Engineering instruments --- Automation --- Programmable controllers --- Mechanical engineering --- Microelectronics --- Microelectromechanical systems --- Informatique --- Computer science --- Hybrid computers - Congresses. --- Real-time data processing - Congresses. --- Computer softwares --- Programming languages --- Automatic control. --- Computers, Special purpose.

Choose an application

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

This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Hybrid Systems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina, Italy, in September 2013; and the Third International Workshop on Hybrid Systems Biology, HSB 2014, held as part of CAV 2014, in Vienna, Austria, in July 2014. This volume presents 8 full papers together with 2 invited tutorials/surveys from 21 submissions. The HSB 2013 workshop aims at collecting scientists working in the area of hybrid modeling applied to systems biology, in order to discuss about current achieved goals, current challenges and future possible developments. The scope of the HSB 2014 workshop is the general area of dynamical models in biology with an emphasis on hybrid approaches, which are not restricted to a narrow class of mathematical models, and which take advantage of techniques developed separately in different sub-fields. <.

Computer Science --- Engineering & Applied Sciences --- Computer science. --- Computer communication systems. --- Computers. --- Computer logic. --- Artificial intelligence. --- Computer simulation. --- Bioinformatics. --- Computer Science. --- Logics and Meanings of Programs. --- Simulation and Modeling. --- Computational Biology/Bioinformatics. --- Computation by Abstract Devices. --- Artificial Intelligence (incl. Robotics). --- Computer Communication Networks. --- Bio-informatics --- Biological informatics --- Biology --- Information science --- Computational biology --- Systems biology --- 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 --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- 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 --- Informatics --- Science --- Data processing --- Distributed processing --- Logic design. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Bioinformatics --- Biological systems --- Molecular biology

Choose an application

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

This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Hybrid Systems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina, Italy, in September 2013; and the Third International Workshop on Hybrid Systems Biology, HSB 2014, held as part of CAV 2014, in Vienna, Austria, in July 2014. This volume presents 8 full papers together with 2 invited tutorials/surveys from 21 submissions. The HSB 2013 workshop aims at collecting scientists working in the area of hybrid modeling applied to systems biology, in order to discuss about current achieved goals, current challenges and future possible developments. The scope of the HSB 2014 workshop is the general area of dynamical models in biology with an emphasis on hybrid approaches, which are not restricted to a narrow class of mathematical models, and which take advantage of techniques developed separately in different sub-fields. <.

Logic --- Biomathematics. Biometry. Biostatistics --- Molecular biology --- Computer science --- Programming --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- bio-informatica --- vormgeving --- computers --- mineralen (chemie) --- simulaties --- programmeren (informatica) --- mijnbouw --- KI (kunstmatige intelligentie) --- computernetwerken --- moleculaire biologie --- AI (artificiële intelligentie)