Filters








1,664,126 Hits in 3.3 sec

Adding Decision Procedures to SMT Solvers Using Axioms with Triggers

Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich
2015 Journal of automated reasoning  
In our framework, the user provides a theory axiomatization with triggers, along with a proof of completeness and termination properties of this axiomatization, and obtains a sound, complete, and terminating  ...  Triggers are annotations that suggest instances which are more likely to be useful in proof search.  ...  The reasoning is much easier if these equalities cannot unlock new triggers in W .  ... 
doi:10.1007/s10817-015-9352-2 fatcat:ghddutkfh5aopavvsevnjc7hr4

Transcultural Differences in Risk Factors and in Triggering Reasons of Suicidal and Self-Harming Behaviour in Young People with and without a Migration Background

Zeliha Özlü-Erkilic, Thomas Wenzel, Oswald D. Kothgassner, Türkan Akkaya-Kalayci
2020 International Journal of Environmental Research and Public Health  
Minors with and without migration background can have different risk factors and triggering reasons for self-harming and suicidal behaviour.  ...  Suicide attempts and self-harming behaviours were triggered most frequently by intrafamilial problems, but more frequently in migrant patients.  ...  In all study groups, intrafamilial conflicts were the most frequent triggering reason for attempted suicide, independent of gender, with the exception of Turkish-speaking males.  ... 
doi:10.3390/ijerph17186498 pmid:32906614 fatcat:vdmkwqsuszhxvb3jwoxbx5sx7q

Reasoning with Triggers

Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich
unpublished
The description language consists of first-order axioms with triggers, an instantiation mechanism that is found in many SMT solvers.  ...  In our framework, we enforce three rules to enable reasoning about termination: • instantiation is always done with known terms • new known terms cannot be deduced if they are protected by a trigger •  ...  Completeness and Termination of a theory Within our framework, we can reason about a theory T written as a set of formulas with triggers and demonstrate that it has the requested properties for our solver  ... 
doi:10.29007/3c1n fatcat:zfascxip7fgoln7jonnzt3rujm

SQOWL2: Transactional Type Inference for OWL 2 DL in an RDBMS

Yu Liu, Peter McBrien
2013 International Workshop on Description Logics  
Moreover, SQOWL2 is a transactional reasoning system (with full ACID properties), since the results of reasoning are available within the same transaction as that in which the base data of the reasoning  ...  SQOWL2 establishes a relational schema based on classification completed using the Pellet reasoner, and performs type inference by using SQL triggers.  ...  SQOWL2 was used with Pellet for T-Box reasoning to produce tables and triggers on a Microsoft SQL Server 2005 database, on a machine with 8 cores, 2 Intel Xeon E5345 2.33GHz CPUs, and 8GB of memory.  ... 
dblp:conf/dlog/LiuM13 fatcat:6ug7noblijbwlgqj2ej52mq7vy

Presupposition in The Mystery and Thriller Film of "Escape from Pretoria"

Haryati Haryati
2022 Journal of Pragmatics Research  
As a result, there were 177 presuppositions obtained in the film script, with 166 existential presuppositions (93.8%), six factive presuppositions (3.4%), four lexical presuppositions (2.2%,) and one counterfactual  ...  By reason of this presupposition deals with personal's opinion / reaction toward something. From above part of script, the presupposition trigger is "again".  ...  By reason of this presupposition deals with personal's opinion / reaction toward something.  ... 
doi:10.18326/jopr.v4i2.122-136 fatcat:tthtrifinjhr7p5fxtdzwyupyq

Prevalence of myofascial pain in general internal medicine practice

S A Skootsky, B Jaeger, R K Oye
1989 Western Journal of Medicine  
These patients were similar in age and sex to other patients with pain, and the frequency of pain as a primary complaint was similar for myofascial pain as compared with other reasons for pain.  ...  Myofascial pain is a regional pain syndrome characterized in part by a trigger point in a taut band of skeletal muscle and its associated referred pain.  ...  , with 23 reporting that pain was the primary reason and 31 including pain and some other reason.  ... 
pmid:2788962 pmcid:PMC1026905 fatcat:z4j3caewk5bs7covb6vu6ojkmy

A Review of the Werther Effect and Depictions of Suicide: 13 Reasons Why

Eva Rose Schaffer
2018 UC Merced Undergraduate Research Journal  
Trigger Warnings and 13 Reasons Why In response to backlash over the portrayal of sexual assault and suicide in 13 Reasons Why , Netflix announced that they would add new trigger warnings to the beginning  ...  Related research of triggers and warnings According to Grillon et al. (2009) , giving a warning about unpleasant stimuli was associated with a decrease in startle response in individuals with PTSD.  ... 
doi:10.5070/m4102038937 fatcat:bd3vwfmiuzcadgfl5in6b335vi

Towards the Fast Monitoring of Case Properties

Ioannis Iglezakis
2002 German Workshop on Experience Management  
This short paper describes how appropriate sampling methods can be used to reduce the effort of triggering the maintenance for case-based reasoning systems.  ...  Monitor these results is important to trigger the maintenance of a case-based reasoning system. However, the complexity of applying a single case property over a case base is O(n 2 ).  ...  The classical case-based reasoning cycle presented by Aamodt and Plaza [AP94] supports this process with the retrieve, reuse, revise, and retain step.  ... 
dblp:conf/em/Iglezakis02 fatcat:ha5bxah5ibfr5kkn4p3zfjeaqm

Evaluation of automated specialty palliative care in the intensive care unit: A retrospective cohort study

Katharine E. Secunda, Kristyn A. Krolikowski, Madeline F. Savage, Jacqueline M. Kruser, Tai-Heng Chen
2021 PLoS ONE  
Reliance on such triggers may unintentionally overlook an important population of patients with clinician-identified palliative care needs.  ...  Methods We conducted a retrospective cohort study of all adult ICU admissions from 2012–2017 at an academic medical center with five subspecialty ICUs to determine the sensitivity and specificity of the  ...  Of ICU admissions with a palliative care consultation, we conducted t-tests to evaluate for any differences in the reasons for SPC, again between those who had at least one SPC trigger and those without  ... 
doi:10.1371/journal.pone.0255989 pmid:34379687 pmcid:PMC8357176 fatcat:gbma4navmre7jogs5gxpmnjetm

Transactional and Incremental Type Inference from Data Updates [chapter]

Yu Liu, Peter McBrien
2015 Lecture Notes in Computer Science  
A distinctive property of relational database systems is the ability to perform data updates and queries in atomic blocks called transactions, with the well-known atomicity, consistency, isolation and  ...  OWL reasoning systems, yet adding the important benefit of supporting transactions.  ...  . • Our approach can be incorporated into any standard RDBMS supporting triggers, in order to enhance their database schemas with type inference reasoning.  ... 
doi:10.1007/978-3-319-20424-6_20 fatcat:xm7g262xb5fujfrpropezpedsi

Transactional and Incremental Type Inference from Data Updates

Yu Liu, Peter McBrien
2016 Computer journal  
A distinctive property of relational database systems is the ability to perform data updates and queries in atomic blocks called transactions, with the well-known atomicity, consistency, isolation and  ...  OWL reasoning systems, yet adding the important benefit of supporting transactions.  ...  . • Our approach can be incorporated into any standard RDBMS supporting triggers, in order to enhance their database schemas with type inference reasoning.  ... 
doi:10.1093/comjnl/bxw048 fatcat:yfrrazlk2rca7oz5dmg37hguai

Development and Validation of Electronic Health Record–based Triggers to Detect Delays in Follow-up of Abnormal Lung Imaging Findings

Daniel R. Murphy, Eric J. Thomas, Ashley N. D. Meyer, Hardeep Singh
2015 Radiology  
Hardeep Singh, MD, MPH Purpose: To develop an electronic health record (EHR)-based trigger algorithm to identify delays in follow-up of patients with imaging results that are suggestive of lung cancer  ...  and to validate this trigger on retrospective data.  ...  For practical use, triggers must achieve a reasonable PPV to avoid overloading recipients with false-positive results.  ... 
doi:10.1148/radiol.2015142530 pmid:25961634 pmcid:PMC4613876 fatcat:z3x2jag4yrchpftzjgr7ebk4de

Electronic health record-based triggers to detect potential delays in cancer diagnosis

Daniel R Murphy, Archana Laxmisan, Brian A Reis, Eric J Thomas, Adol Esquivel, Samuel N Forjuoh, Rohan Parikh, Myrna M Khan, Hardeep Singh
2013 BMJ Quality and Safety  
Colorectal cancer triggers FOBT-based trigger n=78 IDA-based trigger n=120 Haematochezia-based trigger n=60 Reason Total records # (%) Total records # (%) Total records # (%) Justification  ...  chose to delay follow-up for some specific reason.  ... 
doi:10.1136/bmjqs-2013-001874 pmid:23873756 fatcat:6ldjkajdmnegdieqsjdh2qubme

Are Natural Language Inference Models IMPPRESsive? Learning IMPlicature and PRESupposition [article]

Paloma Jeretic, Alex Warstadt, Suvrat Bhooshan, Adina Williams
2020 arXiv   pre-print
BOW and InferSent show weaker evidence of pragmatic reasoning. We conclude that NLI training encourages models to learn some, but not all, pragmatic inferences.  ...  It reliably treats scalar implicatures triggered by "some" as entailments.  ...  Second, having negation in the premise rather than the hypothesis makes pragmatic reasoning lower: among pairs tagged as direct implicatures (some vs. not all), there is higher pragmatic reasoning with  ... 
arXiv:2004.03066v2 fatcat:qbxcklmyb5dchat7bnq43oayla

Service users' views of a mainstream telecare product

Andrea Taylor, Stefan Agamanolis
2010 Proceedings of the 28th of the international conference extended abstracts on Human factors in computing systems - CHI EA '10  
This paper considers the need for design development of a mainstream telecare product called a personal trigger, which provides a means of summoning assistance when help is needed.  ...  The discussion is based on key findings from a survey of 1,324 service users in North East Scotland with a 60% response rate.  ...  Reasons for Wearing and Not Wearing the Trigger Most people wear their trigger because it makes them feel safe (68%) and it gives their family peace of mind (56%).  ... 
doi:10.1145/1753846.1753968 dblp:conf/chi/TaylorA10 fatcat:gg3yl5ic6rhbzia24xqdosstiq
« Previous Showing results 1 — 15 out of 1,664,126 results