Results 21 to 30 of about 26,773 (168)
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
The development of a fully computerized system for sampled d.c. polarography with standard interfacing [PDF]
, 1976 A complete system, based on the online PDP-11 computer (Digital Equipment Corporation) was developed for computerized sampled d.c. polarography with direct digital control.
Bos, M.
core +2 more sources
Advanced Functional Materials, EarlyView.Copper sulfide based electrocatalysts for CO2 conversion are selective for production of formate as major product. Transformations under electrochemical conditions result in significant sulfur loss, and this study examines the nature of how persistent, residual sulfur (observed as surface SO42– species and S dissolved in the electrolyte) can sustain ...
Sasho Stojkovikj +8 more
wiley +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
A Backward Analysis for Constraint Logic Programs [PDF]
, 2002 One recurring problem in program development is that of understanding how to re-use code developed by a third party. In the context of (constraint) logic programming, part of this problem reduces to figuring out how to query a program.
King, Andy, Lu, Lunjin
core +2 more sources
Advanced Materials, EarlyView.This review explores the transformative role of AI in biosensor technology and provides a holistic interdisciplinary perspective that covers a broader scope of AI‐enabled biosensor technologies across various sectors including healthcare, environmental monitoring, food safety, and agriculture. It also highlights the important role of novel materials in
Tuğba Akkaş +4 more
wiley +1 more source
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
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
Advanced Energy and Sustainability Research, EarlyView.The study finds that mulch films made with poly(butylene adipate‐co‐terephthalate)/poly(lactic acid) and 10% soy waste degrade faster than those without soy. Plants grown with the soy‐containing films are 49% taller, suggesting that the soy acts as a biostimulant.
Kerry Candlen +8 more
wiley +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