Results 11 to 20 of about 404,024 (225)
Mercury: using the QuPreSS reference model to evaluate predictive services [PDF]
, 2017 Nowadays, lots of service providers offer predictive services that show in advance a condition or occurrence about the future. As a consequence, it becomes necessary for service customers to select the predictive service that best satisfies their needs ...
Bisbal, Jesus +2 more
core +2 more sources
A Refinement Calculus for Logic Programs [PDF]
, 2002 Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs.
Colvin, Robert +4 more
core +2 more sources
Region-based memory management for Mercury programs
, 2012 Region-based memory management (RBMM) is a form of compile time memory management, well-known from the functional programming world. In this paper we describe our work on implementing RBMM for the logic programming language Mercury. One interesting point
Janssens, Gerda +2 more
core +1 more source
Finding Minimal Cost Herbrand Models with Branch-Cut-and-Price
, 2018 Given (1) a set of clauses $T$ in some first-order language $\cal L$ and (2) a cost function $c : B_{{\cal L}} \rightarrow \mathbb{R}_{+}$, mapping each ground atom in the Herbrand base $B_{{\cal L}}$ to a non-negative real, then the problem of finding a
Cussens, James
core +1 more source
The GENGA Code: Gravitational Encounters in N-body simulations with GPU Acceleration [PDF]
, 2014 We describe an open source GPU implementation of a hybrid symplectic N-body integrator, GENGA (Gravitational ENcounters with Gpu Acceleration), designed to integrate planet and planetesimal dynamics in the late stage of planet formation and stability ...
Grimm, Simon L., Stadel, Joachim G.
core +1 more source
First-order integer programming for MAP problems
, 2015 Finding the most probable (MAP) model in SRL frameworks such as Markov logic and Problog can, in principle, be solved by encoding the problem as a `grounded-out' mixed integer program (MIP).
Cussens, James
core +1 more source
Description and Optimization of Abstract Machines in a Dialect of Prolog [PDF]
, 2014 In order to achieve competitive performance, abstract machines for Prolog and related languages end up being large and intricate, and incorporate sophisticated optimizations, both at the design and at the implementation levels.
Carro, Manuel +2 more
core +2 more sources
Arthritis Care &Research, Accepted Article.Objective Somatic items used in depression assessments can potentially overlap with symptoms related to physical illness, including systemic sclerosis (SSc). No studies have looked at whether somatic depression items may be influenced by diffuse versus limited SSc disease subtypes, which are associated with varying degrees of symptom presentation.
Sophie Hu +109 more
wiley +1 more source
The Space Within: How Architected Voids Promote Tissue Formation
Advanced Materials, EarlyView.This review explores the role of void spaces in tissue engineering scaffolds and examines four key methods for introducing porosity into hydrogels at different scales. It discusses sacrificial templating, microgels, phase separation, and 3D printing, highlighting principles, advantages, and limitations. It also addresses emerging strategies integrating
Anna Puiggalí‐Jou +3 more
wiley +1 more source
Advanced Science, EarlyView.ABSTRACT Multiple myeloma (MM) is a hematologic malignancy driven by clonal expansion of malignant plasma cells. Despite the long‐term disease control achieved with immunotherapies in some patients, treatment resistance remains a major cause of disease relapse.
Huiyao Gu +15 more
wiley +1 more source