Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Foundations of Health Information Engineering and Systems [[electronic resource] ] : Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers / / edited by Jeremy Gibbons, Wendy MacCaull
| Foundations of Health Information Engineering and Systems [[electronic resource] ] : Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers / / edited by Jeremy Gibbons, Wendy MacCaull |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 291 p. 71 illus.) |
| Disciplina | 610.285 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Application software Database management Computer simulation Health informatics Computer science Software Engineering Information Systems Applications (incl. Internet) Database Management Simulation and Modeling Health Informatics Computer Science, general |
| Soggetto genere / forma | Kongress2013.Macau |
| ISBN | 3-642-53956-4 |
| Classificazione | SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Intelligent Tools for Reducing Medication Dispensing and Administration Error -- Panel Position Statements -- Pathways -- Modelling Care Pathways in a Connected Health Setting -- A Resource Flow Approach to Modelling Care Pathways -- ICT-powered Health Care Processes (Position Paper) -- Generation and Certification -- Approach and Method for Generating Realistic Synthetic Electronic Healthcare Records for Secondary Use -- Insulin Pump Software Certification -- Interoperability -- An Ontology for Regulating eHealth Interoperability in Developing African Countries -- Use of XML Schema Definition for the Development of Semantically Interoperable Healthcare Applications -- Patient Safety -- A Bayesian Patient-Based Model for Detecting Deterioration in Vital Signs Using Manual Observations -- Performance of Early Warning Scoring Systems to Detect Patient Deterioration in the Emergency Department -- Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment -- Device Safety -- OR.NET: Safe Interconnection of Medical Devices (Position Paper) -- Formal Methods -- A Modal Specification Approach for On-Demand Medical Systems -- Towards Formal Safety Analysis in Feature-Oriented Product Line Development -- HIV/AIDS and Privacy -- An Investigation of Classification Algorithms for Predicting HIV Drug Resistance without Genotype Resistance Testing -- Characterisation of Knowledge Incorporation into Solution Models for the Meal Planning Problem -- A Quantitative Analysis of the Performance and Scalability of De-identification Tools for Medical Data. |
| Record Nr. | UNISA-996205181803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of Health Information Engineering and Systems [[electronic resource] ] : Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers / / edited by Jeremy Gibbons, Wendy MacCaull
| Foundations of Health Information Engineering and Systems [[electronic resource] ] : Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers / / edited by Jeremy Gibbons, Wendy MacCaull |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 291 p. 71 illus.) |
| Disciplina | 610.285 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Application software Database management Computer simulation Health informatics Computer science Software Engineering Information Systems Applications (incl. Internet) Database Management Simulation and Modeling Health Informatics Computer Science, general |
| Soggetto genere / forma | Kongress2013.Macau |
| ISBN | 3-642-53956-4 |
| Classificazione | SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Intelligent Tools for Reducing Medication Dispensing and Administration Error -- Panel Position Statements -- Pathways -- Modelling Care Pathways in a Connected Health Setting -- A Resource Flow Approach to Modelling Care Pathways -- ICT-powered Health Care Processes (Position Paper) -- Generation and Certification -- Approach and Method for Generating Realistic Synthetic Electronic Healthcare Records for Secondary Use -- Insulin Pump Software Certification -- Interoperability -- An Ontology for Regulating eHealth Interoperability in Developing African Countries -- Use of XML Schema Definition for the Development of Semantically Interoperable Healthcare Applications -- Patient Safety -- A Bayesian Patient-Based Model for Detecting Deterioration in Vital Signs Using Manual Observations -- Performance of Early Warning Scoring Systems to Detect Patient Deterioration in the Emergency Department -- Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment -- Device Safety -- OR.NET: Safe Interconnection of Medical Devices (Position Paper) -- Formal Methods -- A Modal Specification Approach for On-Demand Medical Systems -- Towards Formal Safety Analysis in Feature-Oriented Product Line Development -- HIV/AIDS and Privacy -- An Investigation of Classification Algorithms for Predicting HIV Drug Resistance without Genotype Resistance Testing -- Characterisation of Knowledge Incorporation into Solution Models for the Meal Planning Problem -- A Quantitative Analysis of the Performance and Scalability of De-identification Tools for Medical Data. |
| Record Nr. | UNINA-9910482963503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Relational Methods in Computer Science [[electronic resource] ] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers / / edited by Wendy MacCaull, Michael Winter, Ivo Düntsch
| Relational Methods in Computer Science [[electronic resource] ] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers / / edited by Wendy MacCaull, Michael Winter, Ivo Düntsch |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (VIII, 262 p.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Software engineering Computer science—Mathematics Artificial intelligence Theory of Computation Formal Languages and Automata Theory Software Engineering Computer Science Logic and Foundations of Programming Symbolic and Algebraic Manipulation Artificial Intelligence |
| ISBN | 3-540-33340-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Topological Representation of Precontact Algebras -- Relational Semantics Through Duality -- Duality Theory for Projective Algebras -- Contributed Papers -- Relational Approach to Boolean Logic Problems -- Static Analysis of Programs Using Omega Algebra with Tests -- Weak Contact Structures -- On Relational Cycles -- A Framework for Kleene Algebra with an Embedded Structure -- Non-termination in Unifying Theories of Programming -- Towards an Algebra of Hybrid Systems -- Relational Correspondences for Lattices with Operators -- Control-Flow Semantics for Assembly-Level Data-Flow Graphs -- Relational Implementation of Simple Parallel Evolutionary Algorithms -- Lattice-Based Paraconsistent Logic -- Verification of Pushdown Systems Using Omega Algebra with Domain -- wp Is wlp -- Relational Representability for Algebras of Substructural Logics -- Knuth-Bendix Completion as a Data Structure -- Quantifier Elimination in Elementary Set Theory -- Time-Dependent Contact Structures in Goguen Categories. |
| Record Nr. | UNINA-9910484733603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Relational Methods in Computer Science [[electronic resource] ] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers / / edited by Wendy MacCaull, Michael Winter, Ivo Düntsch
| Relational Methods in Computer Science [[electronic resource] ] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers / / edited by Wendy MacCaull, Michael Winter, Ivo Düntsch |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (VIII, 262 p.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Software engineering Computer science—Mathematics Artificial intelligence Theory of Computation Formal Languages and Automata Theory Software Engineering Computer Science Logic and Foundations of Programming Symbolic and Algebraic Manipulation Artificial Intelligence |
| ISBN | 3-540-33340-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Topological Representation of Precontact Algebras -- Relational Semantics Through Duality -- Duality Theory for Projective Algebras -- Contributed Papers -- Relational Approach to Boolean Logic Problems -- Static Analysis of Programs Using Omega Algebra with Tests -- Weak Contact Structures -- On Relational Cycles -- A Framework for Kleene Algebra with an Embedded Structure -- Non-termination in Unifying Theories of Programming -- Towards an Algebra of Hybrid Systems -- Relational Correspondences for Lattices with Operators -- Control-Flow Semantics for Assembly-Level Data-Flow Graphs -- Relational Implementation of Simple Parallel Evolutionary Algorithms -- Lattice-Based Paraconsistent Logic -- Verification of Pushdown Systems Using Omega Algebra with Domain -- wp Is wlp -- Relational Representability for Algebras of Substructural Logics -- Knuth-Bendix Completion as a Data Structure -- Quantifier Elimination in Elementary Set Theory -- Time-Dependent Contact Structures in Goguen Categories. |
| Record Nr. | UNISA-996466114903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||