Results 91 to 100 of about 1,821,618 (323)
Deciding regular grammar logics with converse through first-order logic
, 2003 We provide a simple translation of the satisfiability problem for regular grammar logics with converse into GF2, which is the intersection of the guarded fragment and the 2-variable fragment of first-order logic.
de Nivelle, Hans, Demri, Stephane
core +4 more sources
3D Printing of Soft Robotic Systems: Advances in Fabrication Strategies and Future Trends
Advanced Robotics Research, EarlyView.Collectively, this review systematically examines 3D‐printed soft robotics, encompassing material selections, function integration, and manufacturing methodologies. Meanwhile, fabrication strategies are analyzed in order of increasing complexity, highlighting persistent challenges with proposed solutions.
Changjiang Liu +5 more
wiley +1 more source
Origami‐Inspired Structural Design for Aquatic‐Terrestrial Amphibious Robots
Advanced Robotics Research, EarlyView.This work presents a lightweight amphibious origami robot actuated by a single shape memory alloy wire. A rigid foldable origami structure with displacement amplification enables efficient terrestrial crawling and aquatic swimming. The addition of fan‐shaped units allows controllable turning in both environments.
Weiqi Liu +5 more
wiley +1 more source
Advanced Sustainable Systems, EarlyView.The shift to biodegradable materials in healthcare promises reduced plastic pollution, but their production, adoption, and long‐term impacts remain complex. Integrating lifecycle insights with global policy coordination is essential for meaningful environmental gains. Abstract The COVID‐19 pandemic sharply increased medical waste, intensifying concerns
By Haoxuan Yu +2 more
wiley +1 more source
Belief merging within fragments of propositional logic
, 2014 Recently, belief change within the framework of fragments of propositional logic has gained increasing attention. Previous works focused on belief contraction and belief revision on the Horn fragment.
Creignou, Nadia +3 more
core +1 more source
A Modular and Customizable CRISPR/Cas Toolkit for Epigenome Editing of Cis‐regulatory Modules
Advanced Science, EarlyView.Epigenome editing surpasses genome editing in gene regulation. Modular epigenome editing frameworks are developed to interrogate cis‐regulome, enabling tunable reprogramming of cis‐elements, uncovering their epigenetic responsiveness and cross‐species portability.
Lingrui Zhang +6 more
wiley +1 more source
Advanced Science, EarlyView.The ANGPTL8/PIRB/ALOX5AP axis mediates liver‐kidney crosstalk. Hepatocytes secrete ANGPTL8, which binds to CCR2+PIRB+ macrophages in the kidneys, affecting the expression of ALOX5AP and enhancing the activation of these macrophages. Activated cells produce TGF‐β, IL‐6, and IL‐23, driving Th17 activation and promote the formation of myofibroblasts ...
Shuqi Wei +18 more
wiley +1 more source
The classification of fallacious reasons in “nyāyapraveśaka-śāstra”
RUDN Journal of Philosophy, 2016 The article contains the translation from Sanskrit to Russian of the fragment (sutras 1, 2, 4, 9-13) of the short logic work “Nyāyapraveśaka-śāstram” (“Treatise bringing in the rules [of reasoning]”) and some comments.
N A Kanaeva
doaj
Complexity of the Two-Variable Fragment with (Binary-Coded) Counting Quantifiers
, 2004 We show that the satisfiability and finite satisfiability problems for the two-variable fragment of first-order logic with counting quantifiers are both in NEXPTIME, even when counting quantifiers are coded succinctly.Comment: 24 pages, 1 pstex_t ...
Pratt-Hartmann, Ian
core +2 more sources
Geometrically Encoded Positioning of Introns, Intergenic Segments, and Exons in the Human Genome
Advanced Science, EarlyView.This study introduces a new hypothesis: exons, introns, and intergenic segments are non‐random projections of the functional layers of 3D structure of chromatin packing domains. Evidence is presented that this “geometric code” may encode volumetric structure, reconciling epigenetic patterns, correlates with oncogenic mutations, acting as a potential ...
Luay M. Almassalha +11 more
wiley +1 more source