Results 51 to 60 of about 1,899 (235)
FEBS Letters, EarlyView.Embryo‐like structures (stembryos) are an innovative tool, but they are hindered by experimental variability and limited developmental potential. DNA methylation is crucial for mammalian development, but its status in stembryo models is poorly characterized.
Sara Canil +4 more
wiley +1 more source
Ribbon Proofs - A Proof System for the Logic of Bunched Implications
, 2013 Submitted for the degree of Doctor of Philosophy, Queen Mary, University of ...
Bean, Julian Michael Lewis
core
FEBS Letters, EarlyView.Ascidian Ciona larvae initially show strong clockwise tail twisting, which is largely corrected during development. However, a small residual twist remains. This study shows that organized helical myofibrils in tail muscles mechanically stabilize this residual asymmetry, preventing complete restoration of bilateral symmetry and revealing how embryos ...
Yuki S. Kogure +3 more
wiley +1 more source
, 2022 [EN] Anderson and Belnap consider the variable-sharing property (VSP) a necessary property a relevance logic has to fulfill. A logic L has the VSP if in all L-theorems of implication form antecedent and consequent share at least a propositional variable. If a propositional logic has the VSP then it is free from "paradoxes of relevance." The aim of this
Robles Vázquez, Gemma +1 more
openaire +2 more sources
Learning First-Order Acyclic Horn Programs from Entailment
, 1998 . In this paper, we consider learning first-order Horn programs from entailment. In particular, we show that any subclass of first-order acyclic Horn programs with constant arity is exactly learnable from equivalence and entailment membership queries ...
Prasad Tadepalli, Chandra Reddy
core
Reducing OWL Entailment to Description Logic Satisfiability
, 2003 We show how to reduce ontology entailment for the OWL DL and OWL Lite ontology languages to knowledge base satisfiability in (respectively) theSHOIN(D) and SHIF(D) description logics.
Peter F. Patel-Schneider +3 more
core +1 more source
Degradation mechanism of the von Willebrand factor A2 domain by nattokinase
FEBS Letters, EarlyView.Nattokinase, a natto‐derived protease, exhibits potent antithrombotic effects. This study demonstrates that nattokinase directly cleaves the von Willebrand factor (vWF) A2 domain in vitro. Unlike the native regulator ADAMTS13, nattokinase degrades folded vWF independently of shear stress.
Ryuichi Hyakumoto +3 more
wiley +1 more source
The Evaluation of Ontology Matching versus Text [PDF]
Lately, the ontologies have become more and more complex, and they are used in different domains. Some of the ontologies are domain independent; some are specific to a domain.
Andreea-Diana MIHIS
core
SciTaiL: A Textual Entailment Dataset from Science Question Answering
, 2018 We present a new dataset and model for textual entailment, derived from treating multiple-choice question-answering as an entailment problem. SciTail is the first entailment set that is created solely from natural sentences that already exist ...
Sabharwal, Ashish +2 more
core +1 more source
Non-Structural Subtype Entailment in Automata Theory [PDF]
, 2003 International audienceDecidability of non-structural subtype entailment is a long-standing open problem in programming language theory. In this paper, we apply automata theoretic methods to characterize the problem equivalently by using regular ...
Priesnitz, Tim +3 more
core +1 more source