Listing 1 - 10 of 12 | << page >> |
Sort by
|
Choose an application
Molecular biology --- Bioinformatics --- Proteomics --- Biologie moléculaire --- Bio-informatique --- Protéomique --- Data processing --- Congresses. --- Informatique --- Congrès --- Computational Biology --- Systems Biology --- Biology --- Genomics --- Biochemistry --- Chemistry --- Biological Science Disciplines --- Genetics --- Natural Science Disciplines --- Disciplines and Occupations --- Computer Science --- Biophysics --- Engineering & Applied Sciences --- Health & Biological Sciences --- Systems biology. --- Computational biology. --- Bioinformatics. --- Data processing. --- Bio-informatics --- Biological informatics --- Molecular biochemistry --- Molecular biophysics --- Computer science. --- Computers. --- Algorithms. --- Mathematical logic. --- Computer Science. --- Computation by Abstract Devices. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Information science --- Computational biology --- Systems biology --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- 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 --- Informatics --- Science --- Foundations --- Biomolecules --- Biological systems --- Computer software. --- Software, Computer
Choose an application
This volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. Louis, Missouriduring April 22-24,2008.The annual workshop on hybrid systems focuses on researchin - bedded,reactivesystemsinvolvingtheinterplaybetweensymbolic/switchingand continuous dynamical behaviors. HSCC attracts academic as well as industrial researchers to exchange information on the latest developments of applications and theoretical advancements in the design, analysis, control, optimization, and implementation of hybrid systems, with particular attention to embedded and networked control systems. New for this year was that HSCC was part of the inaugural CPSWEEK (Cyber-Physical Systems Week) - a co-located cluster of three conferences: HSCC, RTAS (Real-Time and Embedded Technology and Applications Sym- sium), and IPSN (International Conference on Information Processing in Sensor Networks). The previous workshops in the series of HSCC were held in Berkeley, USA (1998),Nijmegen,TheNetherlands(1999),Pittsburgh,USA(2000),Rome,Italy (2001), Palo Alto, USA (2002), Prague, Czech Republic (2003), Philadelphia, USA (2004),Zurich, Switzerland (2005) , Santa Barbara,USA (2006), and Pisa, Italy (2007). We would like to thank the Program Committee members and the reviewers for an excellent job of evaluating the submissions and participating in the online Program Committee discussions. We are grateful to the Steering Committee for their helpful guidance and support. We would also like to thank Patrick Martin for putting together these proceedings, and Jiuguang Wang for developing and maintaining the HSCC 2008 website. January 2008 Magnus Egerstedt Bud Mishra Organization HSCC 2008 was technically co-sponsored by the IEEE Control Systems Society and organized in cooperation with ACM/SIGBED.
Computer science --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- vormgeving --- informatica --- simulaties --- programmeren (informatica) --- software engineering --- KI (kunstmatige intelligentie) --- architectuur (informatica)
Choose an application
Mathematical logic --- Complex analysis --- Biomathematics. Biometry. Biostatistics --- Computer science --- complexe analyse (wiskunde) --- bio-informatica --- informatica --- biometrie --- wiskunde --- logica
Choose an application
Network science has accelerated a deep and successful trend in research that influences a range of disciplines like mathematics, graph theory, physics, statistics, data science and computer science (just to name a few) and adapts the relevant techniques and insights to address relevant but disparate social, biological, technological questions. We are now in an era of ‘big biological data' supported by cost-effective high-throughput genomic, transcriptomic, proteomic, metabolomic data collection techniques that allow one to take snapshots of the cells' molecular profiles in a systematic fashion. Moreover recently, also phenotypic data, data on diseases, symptoms, patients, etc. are being collected at nation-wide level thus giving us another source of highly related (causal) 'big data'. This wealth of data is usually modeled as networks (aka binary relations, graphs or webs) of interactions, (including protein–protein, metabolic, signaling and transcription-regulatory interactions). The network model is a key view point leading to the uncovering of mesoscale phenomena, thus providing an essential bridge between the observable phenotypes and 'omics' underlying mechanisms. Moreover, network analysis is a powerful 'hypothesis generation' tool guiding the scientific cycle of 'data gathering', 'data interpretation, 'hypothesis generation' and 'hypothesis testing’. A major challenge in contemporary research is the synthesis of deep insights coming from network science with the wealth of data (often noisy, contradictory, incomplete and difficult to replicate) so to answer meaningful biological questions, in a quantifiable way using static and dynamic properties of biological networks.
Science: general issues --- Medical genetics --- systems biology --- network science --- network biology --- cancer networks --- hypothesis generation and verification --- computational biology
Choose an application
Network science has accelerated a deep and successful trend in research that influences a range of disciplines like mathematics, graph theory, physics, statistics, data science and computer science (just to name a few) and adapts the relevant techniques and insights to address relevant but disparate social, biological, technological questions. We are now in an era of ‘big biological data' supported by cost-effective high-throughput genomic, transcriptomic, proteomic, metabolomic data collection techniques that allow one to take snapshots of the cells' molecular profiles in a systematic fashion. Moreover recently, also phenotypic data, data on diseases, symptoms, patients, etc. are being collected at nation-wide level thus giving us another source of highly related (causal) 'big data'. This wealth of data is usually modeled as networks (aka binary relations, graphs or webs) of interactions, (including protein–protein, metabolic, signaling and transcription-regulatory interactions). The network model is a key view point leading to the uncovering of mesoscale phenomena, thus providing an essential bridge between the observable phenotypes and 'omics' underlying mechanisms. Moreover, network analysis is a powerful 'hypothesis generation' tool guiding the scientific cycle of 'data gathering', 'data interpretation, 'hypothesis generation' and 'hypothesis testing’. A major challenge in contemporary research is the synthesis of deep insights coming from network science with the wealth of data (often noisy, contradictory, incomplete and difficult to replicate) so to answer meaningful biological questions, in a quantifiable way using static and dynamic properties of biological networks.
systems biology --- network science --- network biology --- cancer networks --- hypothesis generation and verification --- computational biology
Choose an application
Network science has accelerated a deep and successful trend in research that influences a range of disciplines like mathematics, graph theory, physics, statistics, data science and computer science (just to name a few) and adapts the relevant techniques and insights to address relevant but disparate social, biological, technological questions. We are now in an era of ‘big biological data' supported by cost-effective high-throughput genomic, transcriptomic, proteomic, metabolomic data collection techniques that allow one to take snapshots of the cells' molecular profiles in a systematic fashion. Moreover recently, also phenotypic data, data on diseases, symptoms, patients, etc. are being collected at nation-wide level thus giving us another source of highly related (causal) 'big data'. This wealth of data is usually modeled as networks (aka binary relations, graphs or webs) of interactions, (including protein–protein, metabolic, signaling and transcription-regulatory interactions). The network model is a key view point leading to the uncovering of mesoscale phenomena, thus providing an essential bridge between the observable phenotypes and 'omics' underlying mechanisms. Moreover, network analysis is a powerful 'hypothesis generation' tool guiding the scientific cycle of 'data gathering', 'data interpretation, 'hypothesis generation' and 'hypothesis testing’. A major challenge in contemporary research is the synthesis of deep insights coming from network science with the wealth of data (often noisy, contradictory, incomplete and difficult to replicate) so to answer meaningful biological questions, in a quantifiable way using static and dynamic properties of biological networks.
Science: general issues --- Medical genetics --- systems biology --- network science --- network biology --- cancer networks --- hypothesis generation and verification --- computational biology --- systems biology --- network science --- network biology --- cancer networks --- hypothesis generation and verification --- computational biology
Choose an application
This book constitutes the refereed conference proceedings of the 11th International Conference on Bio-Inspired Information and Communications Technologies, held in Pittsburgh, PA, USA, in March 2019. The 13 revised full papers and 2 short papers were selected from 29 submissions. Past iterations of the conference have attracted contributions in Direct Bioinspiration (physical biological materials and systems used within technology) as well as Indirect Bioinspiration (biological principles, processes and mechanisms used within the design and application of technology). This year, the scope has expanded to include a third thrust: Foundational Bioinspiration (bioinspired aspects of game theory, evolution, information theory, and philosophy of science).
Bioinformatics. --- Artificial intelligence. --- Information theory. --- Computational Biology/Bioinformatics. --- Artificial Intelligence. --- Theory of Computation. --- Communication theory --- Communication --- Cybernetics --- 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 --- Bio-informatics --- Biological informatics --- Biology --- Information science --- Computational biology --- Systems biology --- Data processing --- Biotechnology --- Computers. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace
Choose an application
This issue of the journalreports some selected contributions from the workshops BioConcur 2004 chaired by Anna Ingolfsdottir and Hanne Riis Nielson and BioConcur 2005 chaired by Bud Mishra and Corrado Priami. There are three contributions from BioConcur 2004. The ?rst one is by Calder, Gilmore and Hillston on the modelling of signalling pathways using the stochastic process algebra PEPA. The second contribution is by Kuttler and Niehrenongeneregulationin?-calculus.ThelastcontributionisbyRemy,Ruet, Mendoza, Thie?ry and Chsouiya on the relationships between logical regulator graphs and Petri nets. There are ?ve contributions from BioConcur 2005. The ?rst contribution is by Eccherand Leccaon theautomatictranslationofSBML models to stochastic ?-calculus. The second paper is by Blinov, Yang, Faeder and Hlavacek on the use of graph theory to model biological networks. The third contribution, by JhaandShyamasundar,introducesbiochemicalKripkestructuresfordistributed model checking. The fourth paper is by Phillips, Cardelli and Castagna on a graphical notation for stochastic ?-calculus. The last paper is by Remy and Ruet on di?erentiation and homeostatic behaviour of boolean dynamic systems. The volume ends with a regular contribution by Margoninsky, Sa?rey, H- herington, Finkelstein and Warner that describes a speci?cation language and a framework for the execution of composite models.
Mathematical logic --- Complex analysis --- Biomathematics. Biometry. Biostatistics --- Computer science --- complexe analyse (wiskunde) --- bio-informatica --- informatica --- biometrie --- wiskunde --- logica
Choose an application
Algorithms are a fundamental component of robotic systems: they control or reason about motion and perception in the physical world. They receive input from noisy sensors, consider geometric and physical constraints, and operate on the world through imprecise actuators. The design and analysis of robot algorithms therefore raises a unique combination of questions in control theory, computational and differential geometry, and computer science. This book contains the proceedings from the 2006 Workshop on the Algorithmic Foundations of Robotics. This biannual workshop is a highly selective meeting of leading researchers in the field of algorithmic issues related to robotics. The 32 papers in this book span a wide variety of topics: from fundamental motion planning algorithms to applications in medicine and biology, but they have in common a foundation in the algorithmic problems of robotic systems.
Operational research. Game theory --- Machine elements --- Artificial intelligence. Robotics. Simulation. Graphics --- procesautomatisering --- automatisering --- systeemtheorie --- speltheorie --- KI (kunstmatige intelligentie) --- operationeel onderzoek --- systeembeheer --- machines --- robots --- regeltechniek
Choose an application
Listing 1 - 10 of 12 | << page >> |
Sort by
|