Results 211 to 220 of about 471,293 (319)
STARLET: An affix-based compiler compiler designed as a logic programming system [PDF]
, 1991 Jean Beney, Jean-François Boulicaut
openalex +1 more source
Advanced Science, EarlyView.Catalytic hairpin assembly‐propelled weak‐inputs‐strong‐outputs (CP‐WISO) DNA logic nanodevices with orthogonal design and contrary logic responses are innovatively fabricated. Moreover, the even and odd parity generators/checkers for ensuring normal molecular data transmission, and the logic‐programmed miRNA biosensors with ratiometric fluorescent ...
Xujuan Lv +8 more
wiley +1 more source
Post‐Translational Modified Neoantigens in Autoimmune Diseases: Challenges of Immune Tolerance
Advanced Science, EarlyView.Autoimmune diseases have a high incidence and disability rate. The pathogenesis of autoimmune diseases involves the interaction among genetic factors, environmental factors, and immune disorders. The post‐translational modified neoantigens are the key nodal of these three factors. And these post‐translational modified neoantigens, after being presented
Yue Zhai +5 more
wiley +1 more source
Functional inductive logic programming with queries to the user [PDF]
, 1993 Francesco Bergadano, Daniele Gunetti
openalex +1 more source
Brain‐Inspired Polymer Dendrite Networks for Morphology‐Dependent Computing Hardware
Advanced Science, EarlyView.Although process variability is often perceived as a drawback in electronics, this work harnesses the stochastic nature of electropolymerization as a powerful ally for computation. The resulting conductive polymer dendrites exhibit unique structure‐property relationships and support in memory computing, paving the way for the development of a new class
Corentin Scholaert +3 more
wiley +1 more source
Towards the theory of programming in constructive logic [PDF]
, 1990 Андрей Воронков
openalex +1 more source
Logic programming with requests
, 1999 We propose an extension of logic programming where the user can specify, together with the initial query, the information he is interested in by means of a request. This allows one to extract a result from an incomplete computation, such as the prefix of an infinite derivation.
Etalle, Sandro, van Raamsdonk, Femke
openaire +3 more sources
Advanced Science, EarlyView.A full‐range proximity‐tactile sensing module is developed for safe operation of surgical robots, which performs multimodal fusion perception through ultrasonic sensor for long‐range proximity detection, capacitive sensor for close‐range proximity sensing, and triboelectric sensor for tactile sensing.
Dongsheng Li +8 more
wiley +1 more source
Embodying Control in Soft Multistable Robots from Morphofunctional Co‐design
Advanced Science, EarlyView.A framework is introduced for co‐designing the morphology and planned tasks of soft robots by embodying specific reconfiguration modes and dynamics upon actuation, leveraging an efficient energy‐based analytical model and optimization. Desired kinematics are co‐designed with optimized stiffnesses and time responses to obtain robots capable of ...
Juan C. Osorio +3 more
wiley +1 more source
Research on group type theory and its functorial semantic models in category logic. [PDF]
PLoS OneTang JG, Aishan Y, Liu JY, Peng JY.
europepmc +1 more source