Search Results - computer program testing data processing.
Search alternatives:
- program testing »
- testing data »
-
561
-
562
-
563
-
564Published 2005Table of Contents: “...Facial plastic surgery planning using a 3D surface deformation tool -- The haptic kymograph : a diagnostic tele-haptic device for sensation of vital signs -- A study of the method of the video image presentation for the manipulation of forceps Collaborative biomedical data exploration in distributed virtual environments -- FEM-based soft tissue destruction model for ablation simulator -- The VREST learning environment -- MVL : medical VR simulation library -- Haptic device for colonoscopy training simulator -- Developing a simulation-based training program for medical first responders -- A mechanical contact model for the simulation of obstetric forceps delivery in a virtual / augmented environment -- Instant electronic patient data input during emergency response in major disaster setting : report on the use of a rugged wearable (handheld) device and the concept of information flow throughout the deployment of the disaster response upon hospital admission -- Remote console for virtual telerehabilitation -- Improved virtual surgical cutting based on physical experiments -- A haptic-enabled simulator for cricothyroidotomy -- The mini-screen : an innovative device for computer assisted surgery systems -- Real-time visualization of cross-sectional data in three dimensions -- Compressing different anatomical data types for the virtual soldier...”
Conference Proceeding Book -
565
-
566
-
567
-
568
-
569
-
570
-
571
-
572
-
573
-
574
-
575
-
576
-
577
-
578Published 2017Table of Contents: “...3.3.2.1 Properties with specific PIDs -- 3.3.2.2 Further reasoning about data -- 3.3.3 Monitor Compilation -- 3.4 detectEr in Practice -- 3.4.1 Creating the Target System -- 3.4.1.1 Setting up the Erlang project -- 3.4.1.2 Running and testing the server -- 3.4.2 Instrumenting the Test System -- 3.4.2.1 Property specification -- 3.4.2.2 Monitor synthesis and instrumentation -- 3.4.2.3 Running the monitored system -- 3.4.2.4 Running the correct server -- 3.5 Conclusion -- 3.5.1 Related and Future Work -- References -- Chapter 4 -- How to Verify Your Python Conversations -- 4.1 Framework Overview -- 4.2 Scribble-Based Runtime Verification -- 4.2.1 Verification Steps -- 4.2.2 Monitoring Requirements -- 4.3 Conversation Programming in Python -- 4.4 Monitor Implementation -- 4.5 Monitoring Interruptible Systems -- 4.5.1 Use Case: Resource Access Control (RAC) -- 4.5.2 Interruptible Multiparty Session Types -- 4.5.3 Programming and Verification of Interruptible Systems -- 4.5.4 Monitoring Interrupts -- 4.6 Formal Foundations of MPST-Based Runtime Verification -- 4.7 Concluding Remarks -- References -- Chapter 5 -- The DCR Workbench: Declarative Choreographies for Collaborative Processes -- 5.1 Introduction -- 5.1.1 History of the DCR Workbench -- 5.1.2 The DCR Workbench -- 5.2 Running Example -- 5.3 Dynamic Condition-Response Graphs -- 5.3.1 Event States -- 5.3.2 Relations -- 5.3.3 Executing Events -- 5.3.4 Formal Development -- 5.4 Modelling with the Workbench -- 5.4.1 Inputting a Model: The Parser Panel -- 5.4.2 Visualisation and Simulation: The Visualiser and Activity Log Panels -- 5.5 Refinement -- 5.6 Time -- 5.7 Subprocesses -- 5.8 Data -- 5.9 Other Panels -- 5.10 Conclusion -- References -- Chapter 6 -- A Tool for Choreography-Based Analysis of Message-Passing Software -- 6.1 Introduction -- 6.2 Overview of the Theory -- 6.3 Architecture....”
Connect to the full text of this electronic book
eBook -
579Published 2023Table of Contents: “...Front Cover -- Artificial Intelligence in Healthcare and COVID-19 -- Copyright Page -- Contents -- List of contributors -- Preface -- 1 Improvement of mental health of frontline healthcare workers during COVID-19 pandemic using artificial intelligence -- Other notes -- 1.1 Introduction -- 1.2 Background -- 1.3 Main content -- 1.4 Methodologies and implementation -- 1.5 Discussion -- 1.5.1 Connection to artificial intelligence -- 1.5.2 Strengths -- 1.5.3 Weaknesses -- 1.6 Conclusion -- References -- 2 Effective algorithms for solving statistical problems posed by COVID-19 pandemic -- 2.1 Introduction -- 2.2 Forecasting the epidemic curves of coronavirus -- 2.2.1 Forecasting models for the COVID-19 outbreak -- 2.3 Nonparametric tests used for forecasting models estimation -- 2.3.1 Nonparametric tests for homogeneity -- 2.3.2 Exact nonparametric test for homogeneity -- 2.4 Comparison of forecast models -- 2.5 Conclusion and scope for the future work -- References -- 3 Reconsideration of drug repurposing through artificial intelligence program for the treatment of the novel coronavirus -- 3.1 Introduction -- 3.2 Viral morphology -- 3.2.1 Structured proteins -- 3.2.1.1 Spike protein/spike membrane -- 3.2.1.2 Membranous proteins -- 3.2.1.3 Nucleic acid-protein/nucleocapsid -- 3.2.1.4 Enveloped protein -- 3.2.2 Nonstructured proteins -- 3.2.2.1 Proteases -- 3.2.2.2 RNA-dependent polymerase -- 3.2.2.3 Helicase -- 3.3 Virus lifecycle -- 3.3.1 Life process of severe acute respiratory syndrome 2 -- 3.3.1.1 Attachment and entry -- 3.3.1.2 Replication and transcription -- 3.3.1.3 Assembly and release -- 3.4 Currently available viral targeting drug candidates at various stages of life cycle -- 3.5 Different drug repurposing approaches -- 3.5.1 Target approach -- 3.5.2 Knowledge-dependent approach -- 3.5.3 Molecular docking-based approach....”
Connect to the full text of this electronic book
eBook -
580Published 1999Table of Contents: “...Data Structures --...”
Connect to the full text of this electronic book
Conference Proceeding eBook