1,491 Hits in 7.4 sec

DECLARE and SDS: Early efforts to commercialize deductive database technology

Werner Kle�ling, Helmut Schmidt, Werner Strau�, Gerhard D�nzinger
1994 The VLDB journal  
The Smart Data System (SDS) and its declarative query language, Declarative Reasoning, represent the first large-scale effort to commercialize deductive database technology.  ...  SDS offers the functionality of deductive reasoning in a distributed, heterogeneous database environment.  ...  Acknowledgments Many people have contributed to DECLARE and SDS.  ... 
doi:10.1007/bf01228881 fatcat:7atpx6qz6fhjdlmktuvdxubupm

Emerging ethical issues regarding digital health data. On the World Medical Association Draft Declaration on Ethical Considerations Regarding Health Databases and Biobanks

Christine Aicardi, Lorenzo Del Savio, Edward S. Dove, Federica Lucivero, Niccolò Tempini, Barbara Prainsack
2016 Croatian Medical Journal  
By using a genetic ancestry test and a commercial database a surname was suggested for men who shared his Y chromosome characteristics.  ...  data movement and support commercial activities (as well as to secure citizens' rights in the face of technological advances and to harmonise implementation across the Community). 111 This sector is  ...  Knowledge discovery in databases (KDD): the process of extracting patterns and knowledge from data in large databases. See also Machine learning, Big data.  ... 
doi:10.3325/cmj.2016.57.207 pmid:27106361 pmcid:PMC4856186 fatcat:xky3yowt75g3lkcqhyhslfhenm

An introduction to deductive database languages and systems

Kotagiri Ramamohanarao, James Harland
1994 The VLDB journal  
The Declare and SDS project is one of the earliest deductive database projects to build a commercial deductive database system (see article in this issue).  ...  In addition to Declare and SDS discussed above, there is also a commercial system currently under development at Groupe Bull.  ... 
doi:10.1007/bf01228878 fatcat:z3nd6ps5znbt5b65333o4yrxda


N Chaiyakunapruk, DL Veenstra, SD Sullivan, S Saint, S Bent
2001 Value in Health  
CONCLUSION: Results suggest that inhaled steroids deliver good comparative value in mild-to-moderate adult asthma.  ...  However, at efficacy levels below 3% and toxicity rates greater than 2.9%, the cost-effectiveness estimate exceeded $100,000/QALY.  ...  to early discharge, and costs associated with home IV care.  ... 
doi:10.1046/j.1524-4733.2001.40202-159.x fatcat:wckndln7pnc7zek5l3bgws6k4i

Recent Trends in Screening Breast MRI

Michelle V Lee, Shani Aharon, Kevin Kim, Katerina Sunn Konstantinoff, Catherine M Appleton, Dustin Stwalley, Margaret A Olsen
2021 Journal of Breast Imaging  
Methods The utilization of screening breast MRI among women aged 25–64 years from January 1, 2007, to December 31, 2017, was obtained using the MarketScan Commercial Database.  ...  We used Current Procedural Terminology codes to exclude breast MRI exams performed in women with a new breast cancer diagnosis and in women imaged to assess response to neoadjuvant therapy in the preceding  ...  Methods This retrospective claims analysis used data from the IBM MarketScan Commercial Database from January 1, 2007 to December 31, 2017.  ... 
doi:10.1093/jbi/wbab088 pmid:35103253 pmcid:PMC8794012 fatcat:tvnpwhxkgfdupknqyfxoslvb4m

An International Survey of Industrial Applications of Formal Methods [chapter]

Dan Craigen, Susan Gerhart, Ted Ralston
1993 Workshops in Computing  
VA 22202-4302. mid to the Office of Mmarieer aid BudgW. Paperwork Redtion ProAct 10704-0188L. Wahington. DC 20603.  ...  Inet cdingeetiors for reduIng t1ie buadmi. to Wmhingtn w•i edqrtere Services. Directorate for Wnrmoaton Operaeoarvi fleports, 1215 Jefferson Dovie Hmhwev. Sule 1204. Arlntot.  ...  Abrial, a French mathematician and consultant. BP International developed versions of the B tool and B toolkit, which is sold commercially by Edinburgh Portable Compilers, Ltd.  ... 
doi:10.1007/978-1-4471-3556-2_1 dblp:conf/zum/CraigenGR92 fatcat:zqtn2chzx5aghphkb7unibkspq

Reducing the Gap between Mental Models of Truck Drivers and Adaptive User Interfaces in Commercial Vehicles

Lasse Schölkopf, Camilla Gatto von der Heyde, Anna Sprung, Frank Diermeyer
2022 Multimodal Technologies and Interaction  
If it contradicts preexisting models, operating errors and frustrated users are to be expected.  ...  This work proposes a method to increase the probability of correspondence between a developed product and the user's mental model by addressing a common source of error in the product development process  ...  From this, it can be deducted that MMs are dynamic and change over time [45] .  ... 
doi:10.3390/mti6020014 fatcat:lj4nvhnjwnehfl3cndd42e5egm

The Evolution of Sustainable Development Theory: Types, Goals, and Research Prospects

Longyu Shi, Linwei Han, Fengmei Yang, Lijie Gao
2019 Sustainability  
In this paper, the literature survey method, induction method, and normative analysis were adopted to clarify the gradual evolution and improvement process of the concept and objective of SD, to strengthen  ...  Sustainable development (SD) has become a fundamental strategy to guide the world's social and economic transformation.  ...  countries to finance and transfer technology to developing countries.  ... 
doi:10.3390/su11247158 fatcat:m3jx6yvruvc4fhspwykbren7ta

Towards an integrated animal health surveillance system in Tanzania: making better use of existing and potential data sources for early warning surveillance

Janeth George, Barbara Häsler, Erick Komba, Calvin Sindato, Mark Rweyemamu, James Mlangwa
2021 BMC Veterinary Research  
The integration of data from multiple sources can enhance early detection and response to animal diseases and facilitate the early control of outbreaks.  ...  This study aimed to identify and assess existing and potential data sources for the animal health surveillance system in Tanzania and how they can be better used for early warning surveillance.  ...  We are grateful to Dr. Leonard Mboera for his critical review of the early version of the manuscript.  ... 
doi:10.1186/s12917-021-02789-x pmid:33676498 fatcat:hppykuds5beoxbhudjzvjkd4cu

Access to specific declarative knowledge by expert systems: The impact of logic programming

Yannis Vassiliou, James Clifford, Matthias Jarke
1985 Decision Support Systems  
As part of the operation of an Expert System, a deductive component accesses a database of facts to help simulate the behavior of a human expert in a particular problem domain.  ...  Features of each of these strategies are addressed within the framework of a Logic-based deductive component and the relational model of data.  ...  a generalized commercial DBMS managing this database, it may be prohibitively costly to maintain a separate copy of the whole database for the ES.  ... 
doi:10.1016/0167-9236(85)90063-6 fatcat:nnwqdhurtffzvpuddgemofbnxy

Engaging Children in Story Co-Creation for Effective Serious Games

Zeno Menestrina, Angela Pasqualotto, Adriano Siesser, Paola Venuti, Antonella De Angeli
2021 Sustainability  
The results proved the importance and complexity of the early involvement of children in design. Children strongly appreciated the demo, particularly the story their peers contributed to shaping.  ...  Foundational questions remain unanswered, such as to which design dimensions children should contribute, and how and when they should be engaged.  ...  story, aesthetics, mechanics and technology.  ... 
doi:10.3390/su131810334 fatcat:goky4vlyyjezrddmjndeqppdki

Quantifying usability: an evaluation of a diabetes mHealth system on effectiveness, efficiency, and satisfaction metrics with associated user characteristics

Mattias Georgsson, Nancy Staggers
2015 JAMIA Journal of the American Medical Informatics Association  
This deficiency is addressed by our quantitative usability study of a mHealth diabetes system evaluating patients' task performance, satisfaction, and the relationship of these measures to user characteristics  ...  Patients with more experience in information technology (IT) also had higher performance rates. Discussion Difficult task performance indicated areas for redesign.  ...  ACKNOWLEDGEMENTS The authors thank Korey Capozza, MPH, Consumer Engagement Director at HealthInsight, for access to the system for evaluation and for logistical support prior to and during the study.  ... 
doi:10.1093/jamia/ocv099 pmid:26377990 pmcid:PMC4713903 fatcat:wnryntwcofdwvfimcvdtg3xpsa

Ontology for Application Development [chapter]

Larysa Globa, Rina Novogrudska, Alexander Koval, Vyacheslav Senchenko
2018 Ontology in Information Science  
For ontology model designing, it is proposed to use two formal theories: descriptive logic and set theory, which allow to systematize data and knowledge, to organize search and navigation, and to describe  ...  informational and computational recourses according to the meta-notion standards.  ...  It is also possible to reuse the basic ontology and extend it to describe SD.  ... 
doi:10.5772/intechopen.74042 fatcat:imeg4gk76beflab7wsogcva3zm

K-12 art teacher technology use and preparation

Jesse Strycker
2020 Heliyon  
Largely absent from educational/instructional technology journals, this study focused on how K-12 art teachers in a southern state used technology to support teaching and learning, uses they found to be  ...  They also had little use of technology to support students with special needs and had limited technology experiences in their own training.  ...  of such a resource with early learners.  ... 
doi:10.1016/j.heliyon.2020.e04358 pmid:32671264 pmcid:PMC7338783 fatcat:jc3su4frobhlhhepzzmswjpyna

An IoT-Based Computational Framework for Healthcare Monitoring in Mobile Environments

Higinio Mora, David Gil, Rafael Muñoz Terol, Jorge Azorín, Julian Szymanski
2017 Sensors  
The focus of the research conducted in this work lies in using these technologies for sensing, and data processing in order to create some intelligence in the devices themselves and collaborate in providing  ...  With changes to models of society and recent technologies used in telemedicine as well as in all healthcare sectors, the traditional methods seem insufficient for this new situation.  ...  All authors wrote the paper and read and approved the final manuscript. Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/s17102302 pmid:28994743 pmcid:PMC5676602 fatcat:5v6m7we3rre5fooxz7f2qmozyu
« Previous Showing results 1 — 15 out of 1,491 results