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

Author(s):  
Hyukjoon Lee ◽  
◽  
Young-uk Chung ◽  
Hyungkeun Lee

2004 ◽  
Author(s):  
Rodney S. Myers ◽  
Michael E. McDevitt ◽  
Michael W. Zabarouskas


Author(s):  
Natasha Alechina ◽  
Hans van Ditmarsch ◽  
Rustam Galimullin ◽  
Tuo Wang

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.



2021 ◽  
Author(s):  
Harry Geddes ◽  
Henry D. Hutchinson ◽  
Alex R Ha ◽  
Nicholas P. Funnell ◽  
Andrew Goodwin

<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>



1997 ◽  
Vol 20 (4) ◽  
pp. 684-685 ◽  
Author(s):  
James M. Bower

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.



2018 ◽  
Vol 57 (S 02) ◽  
pp. e115-e123 ◽  
Author(s):  
R.H. Dolin ◽  
A. Boxwala ◽  
J. Shalaby

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.



2017 ◽  
Vol 32 (S1) ◽  
pp. S229
Author(s):  
Irene Christodoulou ◽  
George M. Milis ◽  
Panayiotis Kolios ◽  
Christos Panayiotou ◽  
Marios Polycarpou ◽  
...  


2018 ◽  
Vol 30 ◽  
Author(s):  
Lillian Ojanduru ◽  
Dickens Ojamuge ◽  
Lauren DuComb ◽  
Jeannette Cachan ◽  
Esther Spindler


Sign in / Sign up

Export Citation Format

Share Document