scholarly journals A Robotcar-based Proof of Concept Model System for Dilemma Zone Decision Support Service

2014 ◽  
Vol 13 (4) ◽  
pp. 57-62
Author(s):  
Hyukjoon Lee ◽  
◽  
Young-uk Chung ◽  
Hyungkeun Lee
Keyword(s):  
Decision Support ◽  
Support Service ◽  
Model System ◽  
Proof Of Concept ◽  
Dilemma Zone ◽  
Concept Model

Surface Warfare Officer Community Management Model System Dynamics Proof-of-Concept

2004 ◽  
Author(s):  
Rodney S. Myers ◽  
Michael E. McDevitt ◽  
Michael W. Zabarouskas
Keyword(s):  
System Dynamics ◽  
Model System ◽  
Management Model ◽  
Community Management ◽  
Proof Of Concept

scholarly journals Verification and Strategy Synthesis for Coalition Announcement Logic

2021 ◽  
Author(s):  
Natasha Alechina ◽  
Hans van Ditmarsch ◽  
Rustam Galimullin ◽  
Tuo Wang
Keyword(s):  
Model Checking ◽  
Proof Of Concept ◽  
Model Checker ◽  
Complete Model ◽  
Concept Model ◽  
The Family ◽  
Winning Strategies ◽  
Epistemic Goals

AbstractCoalition announcement logic (CAL) is one of the family of the logics of quantified announcements. It allows us to reason about what a coalition of agents can achieve by making announcements in the setting where the anti-coalition may have an announcement of their own to preclude the former from reaching its epistemic goals. In this paper, we describe a PSPACE-complete model checking algorithm for CAL that produces winning strategies for coalitions. The algorithm is implemented in a proof-of-concept model checker.

scholarly journals Extracting Interface Correlations from the Pair Distribution Function of Composite Materials

2021 ◽  
Author(s):  
Harry Geddes ◽  
Henry D. Hutchinson ◽  
Alex R Ha ◽  
Nicholas P. Funnell ◽  
Andrew Goodwin
Keyword(s):  
Distribution Function ◽  
Pair Distribution Function ◽  
Functional Materials ◽  
Model System ◽  
Complex Mixtures ◽  
Proof Of Concept ◽  
X Ray ◽  
The Individual ◽  
Theory And Experiment ◽  
Matrix Factorisation

<div> <div> <div> <p>Using a non-negative matrix factorisation (NMF) approach, we show how the pair distribution function (PDF) of complex mixtures can be deconvolved into the contributions from the individual phase components and also the interface between phases. Our focus is on the model system Fe||Fe3O4. We establish proof-of-concept using idealised PDF data generated from established theory-driven models of the Fe||Fe3O4 interface. Using X-ray PDF measurements for corroded Fe samples, and employing our newly-developed NMF analysis, we extract the experimental interface PDF (‘iPDF’) for this same system. We find excellent agreement between theory and experiment. The implications of our results in the broader context of interface characterisation for complex functional materials are discussed. </p> </div> </div> </div>

Do the biological details matter?

1997 ◽  
Vol 20 (4) ◽  
pp. 684-685 ◽  
Author(s):  
James M. Bower
Keyword(s):  
Neuronal Activity ◽  
Visual Stimuli ◽  
Theoretical Work ◽  
Cortical Processing ◽  
Proof Of Concept ◽  
Processing Scheme ◽  
Concept Model ◽  
Cortical Oscillations ◽  
Target Article ◽  
Cell Firing

Phillips & Singer (P&S) extend ideas derived from the observation eight years ago that the coherence (synchronization) of cortical oscillations can be modulated by the structure of visual stimuli. As described in the target article, a large part of the continued interest in this finding is related to independent theoretical work suggesting that synchronized cell firing could help solve the problem of binding together within cortex neuronal activity associated with different attributes of visual stimuli. The authors present an abstract “proof of concept” model describing how their cortical processing scheme could work, but our biologically realistic models of cortical relationships suggest that the proposal is biologically implausible. Our realistic models lead to a very different interpretation of the significance of cortical oscillations.

A Pharmacogenomics Clinical Decision Support Service Based on FHIR and CDS Hooks

2018 ◽  
Vol 57 (S 02) ◽  
pp. e115-e123 ◽  
Author(s):  
R.H. Dolin ◽  
A. Boxwala ◽  
J. Shalaby
Keyword(s):  
Decision Support ◽  
Clinical Decision Support ◽  
Genetic Data ◽  
Gene Interaction ◽  
Clinical Decision ◽  
Support Service ◽  
Sequencing Data ◽  
National Human ◽  
Functional Prototype ◽  
The U.S

Objectives Pharmacogenomics (PGx) is often considered a low-hanging fruit for genomics–electronic health record (EHR) integrations, and many have expressed the notion that drug–gene interaction checking might one day become as much a commodity in EHRs as drug–drug and drug–allergy checking. In addition, the U.S. Office of the National Coordinator has recognized the trend toward storing complete sequencing data outside the EHR in a Genomic Archiving and Communication System (GACS) and has emphasized the need for “pilots that test Fast Healthcare Interoperability Resources (FHIR) Genomics for GACS integration with EHRs.” We sought to develop a PGx clinical decision support (CDS) service, leveraging the emerging FHIR and CDS Hooks standards, and based on an assumption that pharmacogene sequencing data would be stored alongside the EHR in a GACS. Methods We developed a PGx CDS service as a functional prototype. The service is triggered by a medication order in the EHR. When evoked, the service looks for relevant genetic data in a GACS and returns corresponding recommendations back to the ordering clinician. Where the patient has no genetic data on file, the service can recommend pretreatment genetic testing where applicable. Results Overall, we were able to meet our objectives and deploy a functional prototype, interfaced with a commercial EHR. We identified several areas where FHIR or CDS Hooks lacked necessary semantics or have implementation ambiguity. Primary FHIR challenges included multiple ways to say the same thing, which exacerbated the complexity of variant to allele conversion and lack of representation of deoxyribonucleic acid region(s) studied. Primary CDS Hooks challenges included the complexity of executing an authenticated query against one system (GACS) upon being triggered by a different system (the EHR), and limitations in the types of actionable recommendations that can be returned to the EHR. Conclusions In conclusion, we have found that PGx CDS based on FHIR and CDS Hooks appears to represent a promising means of genomics–EHR integration. More real-world testing along with a set of use-case driven GACS interface requirements will push us closer to the U.S. National Human Genome Research Institute vision of a plug-in PGx app.

scholarly journals Enhanced Situational Awareness through a Decision Support Service for Optimal Allocation of Resources and Response Capacity

2017 ◽  
Vol 32 (S1) ◽  
pp. S229
Author(s):  
Irene Christodoulou ◽  
George M. Milis ◽  
Panayiotis Kolios ◽  
Christos Panayiotou ◽  
Marios Polycarpou ◽  
...  
Keyword(s):  
Decision Support ◽  
Optimal Allocation ◽  
Situational Awareness ◽  
Support Service ◽  
Allocation Of Resources ◽  
Response Capacity

scholarly journals Testing a proof of concept model for group couples counseling in family planning in Northern Uganda

2018 ◽  
Vol 30 ◽  
Author(s):  
Lillian Ojanduru ◽  
Dickens Ojamuge ◽  
Lauren DuComb ◽  
Jeannette Cachan ◽  
Esther Spindler
Keyword(s):  
Family Planning ◽  
Northern Uganda ◽  
Couples Counseling ◽  
Proof Of Concept ◽  
Concept Model
Sign in / Sign up

Export Citation Format

Share Document