LEADER 01029nam2-2200361---450- 001 990006172450203316 005 20161010111211.0 010 $a980-01-0799-1 035 $a000617245 035 $aUSA01000617245 035 $a(ALEPH)000617245USA01 035 $a000617245 100 $a20151022d1993----km-y0itay50------ba 101 0 $aspa 102 $aVE 105 $a||||||||001yy 200 1 $aArenas$fSantander Cabrera 205 $a1. ed. 210 $aCaracas$cMonte Avila Editores Latinoamericana$d1993 215 $a63 p.$d20 cm 225 $aColección Las formas del fuego. Narrativa 410 0$1001000617224$aColección Las formas del fuego. Narrativa 606 $aNarratiava spagnola$xAutori venezuelani 676 $a863.64 700 $aCABRERA,$bSantander$0718551 801 0$aIT$bsalbc$gISBD 912 $a990006172450203316 951 $aVI.7. COLL.55/ 7$b939 ISLA 959 $aBK 969 $aUMA 979 $aMARANO$b90$c20161010$lUSA01$h1112 996 $aArenas$91393904 997 $aUNISA LEADER 06039nam 22007455 450 001 996198831203316 005 20200629225506.0 010 $a3-319-15201-7 024 7 $a10.1007/978-3-319-15201-1 035 $a(CKB)2560000000326194 035 $a(Springer)9783319152011 035 $a(MH)014293530-1 035 $a(SSID)ssj0001424603 035 $a(PQKBManifestationID)11844613 035 $a(PQKBTitleCode)TC0001424603 035 $a(PQKBWorkID)11369023 035 $a(PQKB)10650414 035 $a(DE-He213)978-3-319-15201-1 035 $a(MiAaPQ)EBC5579590 035 $a(PPN)183520076 035 $a(EXLCZ)992560000000326194 100 $a20150131d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSoftware Engineering and Formal Methods$b[electronic resource] $eSEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /$fedited by Carlos Canal, Akram Idani 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (XXVII, 405 p. 147 illus.)$conline resource 225 1 $aProgramming and Software Engineering ;$v8938 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-15200-9 320 $aIncludes bibliographical references and index. 327 $aHOFM 2014 -- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups -- An Approach for Creating Domain Specific Visualisations of CSP Models -- Using Z in the Development and Maintenance of Computational Models of Real-World Systems -- When a Formal Model Rhymes with a Graphical Notation -- SaFoMe 2014 -- On a Process Algebraic Representation of Sequence Diagrams -- Modelling and Verification of Survivability Requirements for Critical Systems -- Model-Based Verification of Safety Contracts -- A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems -- A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics -- OpenCert 2014 -- Modelling and Verifying Smell-Free Architectures with the ARCHERY Language -- OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities -- Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives -- MoKMaSD 2014 -- A Latent Representation Model for Sentiment Analysis in Heterogeneous Social Networks -- Use of Mobile Phone Data to Estimate Visitors Mobility Flows -- An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities -- A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer -- Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea -- Research Challenges in Modelling Ecosystems -- Retrieving Points of Interest from Human Systematic Movements -- WS-FMDS 2014 -- Path-Sensitive Race Detection with Partial Order Reduced Symbolic Execution -- Phase-Type Approximations for Non-Markovian Systems: A Case Study -- Quantitative Anonymity Evaluation of Voting Protocols -- Scalable Verification of Markov Decision Processes -- Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis -- On Generation of Context-Abstract Plans -- A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF. 330 $aThis book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014 and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014. 410 0$aProgramming and Software Engineering ;$v8938 606 $aComputer logic 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aMathematical logic 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aComputer logic. 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aMathematical logic. 615 14$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aMathematical Logic and Formal Languages. 676 $a005.1 702 $aCanal$b Carlos$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aIdani$b Akram$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996198831203316 996 $aSoftware Engineering and Formal Methods$92077897 997 $aUNISA 999 $aThis Record contains information from the Harvard Library Bibliographic Dataset, which is provided by the Harvard Library under its Bibliographic Dataset Use Terms and includes data made available by, among others the Library of Congress LEADER 03471nam 2200577 450 001 9910806883903321 005 20230817190946.0 010 $a0-309-47452-3 010 $a0-309-47450-7 035 $a(CKB)4100000007121888 035 $a(MiAaPQ)EBC5568288 035 $a(Au-PeEL)EBL5568288 035 $a(OCoLC)1057477774 035 $a(EXLCZ)994100000007121888 100 $a20220526d2019 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aImproving health professional education and practice through technology $eproceedings of a workshop /$fPatricia A. Cuff, Erin Hammers Forstag 210 1$aWashington, District of Columbia :$cNational Academies Press,$d[2019] 210 4$d©2019 215 $a1 online resource (xii, 88 pages) $cillustrations 225 1 $aNational Academies Press 225 1 $aNCBI bookshelf 311 $a0-309-47449-3 327 $aIntroduction -- Technology in Education -- Bridging the Education-to-Practice Gap -- Technology in Research -- Applying Technology to Real-Life Problems -- Making Connections Through Technology -- Appendix A Workshop Statement of Task -- Appendix B Workshop Agenda -- Appendix C Speaker Biographical Sketches -- Appendix D Forum-Sponsored Products 330 $aA pressing challenge in the modern health care system is the gap between education and clinical practice. Emerging technologies have the potential to bridge this gap by creating the kind of team-based learning environments and clinical approaches that are increasingly necessary in the modern health care system both in the United States and around the world. To explore these technologies and their potential for improving education and practice, the National Academies of Sciences, Engineering, and Medicine hosted a workshop in November 2017. Participants explored effective use of technologies as tools for bridging identified gaps within and between health professions education and practice in order to optimize learning, performance and access in high-, middle-, and low-income areas while ensuring the well-being of the formal and informal health workforce. This publication summarizes the presentations and discussions from the workshop. -- Publisher 410 $aNational Academies Press. 410 0$aNCBI bookshelf. 606 $aMedical education$xTechnological innovations$vCongresses 606 $aMedical technology$vCongresses 606 $aMedical informatics$vCongresses 615 0$aMedical education$xTechnological innovations 615 0$aMedical technology 615 0$aMedical informatics 676 $a610.28 700 $aCuff$b Patricia A.$01083097 702 $aForstag$b Erin Hammers 712 02$aNational Academies of Sciences, Engineering, Medicine (U.S.).$bBoard on Global Health. 712 02$aNational Academies of Sciences, Engineering, Medicine (U.S.).$bHealth and Medicine Division. 712 02$aInstitute of Medicine (U.S.).$bGlobal Forum on Innovation in Health Professional Education 712 12$aImproving Health Professional Education (HPE) andPractice Through Technology: A Workshop$f(2017 :$eWashington, DC). 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910806883903321 996 $aImproving health professional education and practice through technology$94121538 997 $aUNINA