Results 151 to 160 of about 7,040,431 (319)
Generating Local Search Neighborhood with Synthesized Logic Programs [PDF]
, 2019 Mateusz Ślażyński +2 more
openalex +2 more sources
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
, 2004 Daniel Cabeza +2 more
openalex +2 more sources
Probiotic‐Based Materials as Living Therapeutics
Advanced Materials, EarlyView.Recent advances in Engineered Living Materials are highlighted, integrating synthetic biology and advanced materials, with a focus on probiotic‐based therapeutics. Probiotic Living Materials hold great potential for biosensing, infection treatment, osteogenesis, wound healing, vaginal and gastrointestinal disorders, and cancer therapy. breakthroughs in
Laura Sabio +2 more
wiley +1 more source
Partial evaluation of pattern matching in constraint logic programming languages [PDF]
, 1991 Donald A. Smith
openalex +1 more source
Inductive Logic Programming: Theory and Methods
The Journal of Logic Programming, 1994 S. Muggleton, L. D. Raedt
semanticscholar +1 more source
HZO/HSO Superlattice ReFET Array Integrating Optical Sensing for Neuromorphic Vision Computing
Advanced Materials, EarlyView.A photonic ReFET array with an engineered HZO–HSO superlattice enables monolithic integration of optical sensing, nonvolatile memory, and synaptic computation. It exhibits forming‐free, >8‐bit analog states, >1010 endurance cycles, and light‐tunable conductance.
Bingjie Dang +10 more
wiley +1 more source
More Precise Yet Efficient Type Inference for Logic Programs [PDF]
, 2002 Claudio A. Vaucheret, Francisco Bueno
openalex +1 more source
Constraint Logic Programming: A Survey
The Journal of Logic Programming, 1994 J. Jaffar, Michael J. Maher
semanticscholar +1 more source
Advanced Materials, EarlyView.HfO2‐based ferroelectric materials are promising for next‐generation memory technologies by providing outstanding performance aligning with data‐centric computing needs. This review details recent advancements in materials, devices, and integration for HfO2‐based memories, with the goal of identifying both the technological opportunities and remaining ...
Zuopu Zhou +9 more
wiley +1 more source
Logic programming reveals alteration of key transcription factors in multiple myeloma. [PDF]
Sci Rep, 2017 Miannay B +13 more
europepmc +1 more source