Filters








938,803 Hits in 9.6 sec

Mechanical Translation of I/O Automaton Specifications into First-Order Logic [chapter]

Andrej Bogdanov, Stephen J. Garland, Nancy A. Lynch
2002 Lecture Notes in Computer Science  
We describe a tool that improves the process of verifying relations between descriptions of a distributed algorithm at different levels of abstraction using interactive proof assistants.  ...  The tool automatically translates algorithms, written in the IOA language, into first-order logic, expressed in the Larch Shared Language, in a style that facilitates reasoning with a theorem prover.  ...  The choice of style and syntax is closely related to a description's intended use. High-level descriptions generally serve to specify a range of allowable abstract behaviors.  ... 
doi:10.1007/3-540-36135-9_24 fatcat:eubnsrrvgnf73i2olytnofu654

Representation of clinical practice guidelines through an interactive World-Wide-Web interface

E B Liem, J S Obeid, E P Shareck, L Sato, R A Greenes
1995 Proceedings. Symposium on Computer Applications in Medical Care  
Our first experiences with this method of representing a few sample clinical practice guidelines have been encouraging, and we hope to extend this method to other guidelines.  ...  The results of this process allow a user to browse a particular guideline algorithm and to visualize the traversed parts of the algorithm by flowcharts.  ...  of Technology and Harvard Medical School.  ... 
pmid:8563273 pmcid:PMC2579088 fatcat:sc4epawegbbvhjhj36xjgandhy

ACIA, not ACID: Conditions, Properties and Challenges [article]

Yuqing Zhu, Jianxun Liu, Mengying Guo, Wenlong Ma, Guolei Yi, Yungang Bao
2017 arXiv   pre-print
Rather, high availability is becoming the first-class property required by online applications. We show that high availability of data is almost surely a stronger property than durability.  ...  With ACIA transactions, more diverse requirements can be flexibly supported for applications through the specification of consistency levels, isolation levels and fault tolerance levels.  ...  As a property of the database, high availability shares a few similarities with durability. First, high availability is a property independent of the atomicity, consistency, and isolation properties.  ... 
arXiv:1701.07512v2 fatcat:jydekzwr75eadl2orloakmveoq

Childhood respiratory illness presentation and service utilisation in primary care: a six-year cohort study in Wellington, New Zealand, using natural language processing (NLP) software

Anthony Dowell, Ben Darlow, Jayden Macrae, Maria Stubbe, Nikki Turner, Lynn McBain
2017 BMJ Open  
The study identified the very high primary care workload related to childhood respiratory illness, especially during the first 2 years of life.  ...  Data interrogation used a natural language processing software inference algorithm. setting 36 primary care practices in New Zealand. Data analysed from January 2008 to December 2013.  ...  This quantifies the very high volume of childhood respiratory tract-related consultations and workload in general practice, especially during the first 2 years of life.  ... 
doi:10.1136/bmjopen-2017-017146 pmid:28765137 pmcid:PMC5642764 fatcat:kyuisyfh4zcermno72cekpxpxy

Development of Type 2 Diabetes Mellitus Phenotyping Framework Using Expert Knowledge and Machine Learning Approach

Rina Kagawa, Yoshimasa Kawazoe, Yusuke Ida, Emiko Shinohara, Katsuya Tanaka, Takeshi Imai, Kazuhiko Ohe
2016 Journal of Diabetes Science and Technology  
(D) Rule (Designed for high sensitivity) The same rules as those of the first step of (A). (E) SVM (Tuned for high PPV) See Table 1 .  ...  Because only certain types of diagnoses, medications, and laboratory tests are related to T2DM, we supposed that a rule-based algorithm based on practice guidelines for treatment of T2DM 22 could easily  ...  Funding The author(s) disclosed receipt of the following financial support for the research, authorship, and/or publication of this article: This work was supported by JSPS KAKENHI Grant Number 16J05555  ... 
doi:10.1177/1932296816681584 pmid:27932531 pmcid:PMC5588819 fatcat:huiutuepfbgdvihgtr2zmq7kdm

Analogy perception applied to seven tests of word comprehension [article]

Peter D. Turney
2011 arXiv   pre-print
It has been argued that analogy is the core of cognition. In AI research, algorithms for analogy are often limited by the need for hand-coded high-level representations as input.  ...  This is the first time a uniform approach has handled such a range of tests of word comprehension.  ...  Thanks to Selmer Bringsjord for inviting me to contribute to the special issue of JETAI on Test-Based AI. Thanks to Joel Martin for comments on an earlier version of this paper.  ... 
arXiv:1107.4573v1 fatcat:pbgykgbmdfeahhvmo33oyoa3b4

iCCareD: The Development of an Algorithm to Identify Factors Associated With Distress Among Caregivers of Children and Youth Referred for Mental Health Services

Shannon L. Stewart, Ashley Toohey, Jeffrey W. Poss
2021 Frontiers in Psychiatry  
Caregiver well-being plays an important role in children's development and a number of factors have been found to impact distress levels among caregivers of children and youth referred for mental health  ...  Starting with proactive aggression, the algorithm uses 40 assessment items to assign one of 30 nodes that are grouped into five levels of risk.  ...  , or substance use issues, high levels of distress were noted.  ... 
doi:10.3389/fpsyt.2021.737966 pmid:34867533 pmcid:PMC8637612 fatcat:mpedjstmp5gvvogmfkyscswfem

Exploration of Scenario-based Simulations for Stress Benchmarking in Swiss Public Service

Mozgovoy Vadym
2020 2020 7th Swiss Conference on Data Science (SDS)  
This study draws upon Stress Pattern Recognition algorithm and Markov Chain modeling for simulating emotional responses according to specified data-driven scenarios of high and low stress.  ...  However, it remains unclear how to construct stress level benchmarks for group stress-related indicators using limited historical data.  ...  When arousal reaches very high level or stay at high level for a prolonged period of time, it refers to the state of Overarousal.  ... 
doi:10.1109/sds49233.2020.00012 dblp:conf/sds2/Vadym20 fatcat:trqk46xfwvbmhed5rwdsx5i3ky

Real-time landmark detection for precise endoscopic submucosal dissection via shape-aware relation network [article]

Jiacheng Wang, Yueming Jin, Shuntian Cai, Hongzhi Xu, Pheng-Ann Heng, Jing Qin, Liansheng Wang
2021 arXiv   pre-print
We first devise an algorithm to automatically generate relation keypoint heatmaps, which are able to intuitively represent the prior knowledge of spatial relations among landmarks without using any extra  ...  While one scheme introduces pixel-level regularization by multi-task learning, the other integrates global-level regularization by harnessing a newly designed grouped consistency evaluator, which adds  ...  This work was supported by the Fundamental Research Funds for the Central Universities (Grant No. 20720190012) and a grant from the Hong Kong Research Grants Council (No. PolyU 152035/17E).  ... 
arXiv:2111.04733v1 fatcat:zct3kojajzdetamgthdyhzsbfi

Adaptation of Evidence-based Surgical Wound Care Algorithm

Jung Yeon Han, Smi Choi-Kwon
2011 Journal of Korean Academy of Nursing  
Methods: This study used, the 'ADAPTE process', an international clinical practice guideline development method. The -'Bonnie Sue wound care algorithm' -was used as a draft for the new algorithm.  ...  of systemic factors, wound expected outcome, reevaluate non-healing wounds, and special treatment for non-healing wounds.  ...  related to wound healing Level B (moderate) Grade 1 (strong) Nutrition related to wound healing Level B (moderate) Grade 1 (strong) Significance of expected outcomes Level A (high) Grade 1 (strong  ... 
doi:10.4040/jkan.2011.41.6.768 pmid:22310861 fatcat:f7vlnckthbh4zaezcy7ndmbwm4

Diagnosis, treatment, and follow-up of heart failure patients by general practitioners: A Delphi consensus statement

Caroline Verhestraeten, Gijs Weijers, Daphne Debleu, Agnieszka Ciarka, Marc Goethals, Steven Droogmans, Michael Maris, Hans-Peter Brunner-La Rocca
2020 PLoS ONE  
Consensus was obtained for the majority of statements related to diagnosis, referral, and follow-up, whereas a lack of consensus was seen for treatment statements.  ...  Conclusions Based on the consensus levels of statements in a Delphi panel setting, an algorithm is created to help general practitioners in the diagnosis and follow-up of heart failure patients.  ...  High interest for GPs was self-reported as GP stated to have a high number of HF patients and a particular interest in HF management.  ... 
doi:10.1371/journal.pone.0244485 pmid:33382755 fatcat:srllzc2kq5alhbmekdehoxyxgu

MRF Based Image Segmentation Augmented with Domain Specific Information [chapter]

Özge Öztimur Karadağ, Fatoş T. Yarman Vural
2013 Lecture Notes in Computer Science  
Due to the inclusion of domain specific information, this approach can be considered as a first step to semantic image segmentation under an unsupervised MRF model.  ...  The proposed system is compared with the state of the art unsupervised image segmentation methods quantitatively via two evaluation metrics; consistency error and probabilistic rand index and satisfactory  ...  Level 1 : 1 Level 1 consists of two parts, first part is a set of bottom-up segmentations. Any bottom-up segmentation algorithm may be employed in this part.  ... 
doi:10.1007/978-3-642-41184-7_7 fatcat:2ivpor6sszhctldtvfos72lkny

Improving recognition of spondyloarthropathy in primary care: an unmet need

Muhammad Haroon, Oliver FitzGerald
2016 Annals of the Rheumatic Diseases  
We have conducted rheumatology/ophthalmology advisory board meetings at national level to seek insights from ophthalmologists in relation to SpA and the usefulness of DUET algorithm in daily practice.  ...  One approach is to promote the understanding and diagnostic skills of GPs in relation to axSpA and to develop specific diagnostic algorithms both for those with AAU (DUET algorithm) and for those with  ...  We have conducted rheumatology/ophthalmology advisory board meetings at national level to seek insights from ophthalmologists in relation to SpA and the usefulness of DUET algorithm in daily practice.  ... 
doi:10.1136/annrheumdis-2016-209118 pmid:26823529 fatcat:f6arw4sperdnfbx3aic72jjave

Special Issue Editorial: Advances in Computational Intelligence and Applications

Zhigang Zeng, Haibo He
2010 Cognitive Computation  
was a great success and provided a high-level international forum for scientists and engineers to present the latest research in neural networks, computational intelligence, cognitive systems, and related  ...  In the other paper, Gluge et al. discuss recurrent networks for implicit learning of temporal sequences, a very important area to understand high-level cognitive intelligence.  ...  In the other paper, Gluge et al. discuss recurrent networks for implicit learning of temporal sequences, a very important area to understand high-level cognitive intelligence.  ... 
doi:10.1007/s12559-010-9081-0 fatcat:czvzhwzq2ndgje7q4csk3jkqby

Analogy perception applied to seven tests of word comprehension

Peter D. Turney
2011 Journal of experimental and theoretical artificial intelligence (Print)  
This is the first time a uniform approach has handled such a range of tests of word comprehension.  ...  Analogy perception is the process of recognizing analogies using high-level perception.  ...  Thanks to Selmer Bringsjord for inviting me to contribute to the special issue of JETAI on Test-Based AI. Thanks to Joel Martin for comments on an earlier version of this paper.  ... 
doi:10.1080/0952813x.2010.502311 fatcat:fdxdxgzzhzbbdnrz5oy3hcmn24
« Previous Showing results 1 — 15 out of 938,803 results