Results 11 to 20 of about 27,104 (178)
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
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
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
Advanced Functional Materials, EarlyView.The pre‐internalization phase of endocytosis remains poorly characterized at single‐cell levels. Single‐cell pre‐internalization mechanics are investigated using advanced robotic techniques. Cancer cells exhibit biphasic adhesion – rapid initial binding followed by reinforcement – while fibroblasts show gradual engagement.
Houari Bettahar +6 more
wiley +1 more source
Pressure‐Assisted Ceramic Processing of Metal Halide Perovskites
Advanced Photonics Research, EarlyView.This review critically assesses low‐temperature, pressure‐assisted ceramic processing as a pivotal technique to fabricate dense, polycrystalline wafers with precisely controlled macroscopic dimensions as well as microstructural properties. The aim is to bridge understanding between expert ceramists and halide perovskite specialists, highlighting the ...
Michael C. Brennan +5 more
wiley +1 more source
Analysis of Polymorphically Typed Logic Programs Using ACI-Unification
, 2001 Analysis of (partial) groundness is an important application of abstract interpretation. There are several proposals for improving the precision of such an analysis by exploiting type information, icluding our own work with Hill and King, where we had ...
Smaus, Jan-Georg
core +2 more sources
Advanced Science, EarlyView.DECENT is a deep learning method that enhances noninvasive preimplantation genetic testing by accurately reconstructing embryonic copy number variations (CNVs) from cell‐free DNA in spent embryo culture media. By mitigating maternal contamination, DECENT improves diagnostic accuracy, even with high contamination levels, offering a reliable, noninvasive
Zhenyi Zhang +3 more
wiley +1 more source
Advanced Science, EarlyView.A high‐resolution micro‐electrocorticographic (µECoG) brain‐computer interface (BCI) for real‐time motor decoding is reported. The application of flexible, scalable µECoG electrode arrays overcomes the insufficient spatial resolution in conventional ECoG BCIs.
Erda Zhou +15 more
wiley +1 more source
Ecological modelling of a wetland for phytoremediating Cu, Zn and Mn in a gold–copper mine site using Typha domingensis (Poales: Typhaceae) near Orange, NSW, Australia [PDF]
, 2017 : An artificial wetland was computationally modelled using STELLA®, a graphical programming tool for an Au–Cu mine site in Central-west NSW, the aim of which was to offer a predictive analysis of a proposed wetland for Cu, Zn and Mn removal ...
Adams, Allan +4 more
core +2 more sources
Stabilizing Interfaces of All‐Ceramic Composite Cathodes for Li‐Garnet Batteries
Advanced Energy Materials, EarlyView.A novel co‐firing approach enables dense, secondary‐phase‐free LiCoO₂–Li₇La₃Zr₂O₁₂ composite cathodes under high lithium and oxygen partial pressures. This strategy reduces interfacial resistance by orders of magnitude and delivers a record areal capacity of 3.48 mAh cm⁻², advancing the development of oxide‐based all‐solid‐state lithium metal batteries.
Steffen Weinmann +8 more
wiley +1 more source