Results 11 to 20 of about 173,499 (212)
FEBS Open Bio, EarlyView.What factors make for an effective digital learning tool in Higher Education? This systematic review identifies elements of a digital tool that published examples reveal to be features of an engaging and impactful digital tool. A systematic literature search yielded 25 research papers for analysis.
Akmal Arzeman +4 more
wiley +1 more source
Nonnegative/binary matrix factorization with a D-Wave quantum annealer
, 2017 D-Wave quantum annealers represent a novel computational architecture and have attracted significant interest, but have been used for few real-world computations. Machine learning has been identified as an area where quantum annealing may be useful. Here,
Alexandrov, Boian S. +3 more
core +2 more sources
Arthritis Care &Research, EarlyView.Objective We conducted formative research aimed at identifying solutions that address inequitable health outcomes in lupus due to adverse social determinants of health (SDoH). Methods We conducted a search for keywords, which provided insights into potential solutions and initiatives underway. An advisory panel of lupus experts iteratively reviewed the
Joy Buie +11 more
wiley +1 more source
Automatically Discovering Hidden Transformation Chaining Constraints [PDF]
, 2009 Model transformations operate on models conforming to precisely defined metamodels. Consequently, it often seems relatively easy to chain them: the output of a transformation may be given as input to a second one if metamodels match. However, this simple
C. Schulte +13 more
core +6 more sources
Arthritis Care &Research, Accepted Article.Objectives There is growing interest in evaluating new strategies to delay or prevent post‐traumatic osteoarthritis (PTOA) in individuals who have sustained anterior cruciate ligament (ACL) injury. This study sought to determine characteristics of potential treatments that are acceptable to patients with ACL injury.
Kevin Kennedy +9 more
wiley +1 more source
A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization [PDF]
, 2003 UFO is a new implementation of FORMAN, a declarative monitoring language, in which rules are compiled into execution monitors that run on a virtual machine supported by the Alamo monitor architecture.Comment: In M. Ronsse, K.
Auguston, Mikhail +2 more
core +1 more source
Constraint Programming viewed as Rule-based Programming
, 2001 We study here a natural situation when constraint programming can be entirely reduced to rule-based programming. To this end we explain first how one can compute on constraint satisfaction problems using rules represented by simple first-order formulas ...
Apt, Krzysztof R., Monfroy, Eric
core +4 more sources
, 2010 The goal of this lecture is to show how modern theorem provers---in this case, the Coq proof assistant---can be used to mechanize the specification of programming languages and their semantics, and to reason over individual programs and over generic ...
Leroy, Xavier
core +4 more sources
Advanced Functional Materials, EarlyView.This review highlights how machine learning (ML) algorithms are employed to enhance sensor performance, focusing on gas and physical sensors such as haptic and strain devices. By addressing current bottlenecks and enabling simultaneous improvement of multiple metrics, these approaches pave the way toward next‐generation, real‐world sensor applications.
Kichul Lee +17 more
wiley +1 more source
Advanced Materials Technologies, EarlyView.Additive manufacturing revolutionizes production by enabling on‐demand, customized, and sustainable manufacturing with streamlined supply chains. While metal and polymer AM are well‐established, advanced ceramic AM is rapidly emerging, overcoming traditional material challenges.
Kateryna Oleksandrivna Shvydyuk +2 more
wiley +1 more source