Results 31 to 40 of about 4,941,962 (333)
Inductive-Inductive Definitions [PDF]
, 2010 We present a principle for introducing new types in type theory which generalises strictly positive indexed inductive data types. In this new principle a set A is defined inductively simultaneously with an A-indexed set B, which is also defined inductively.
Nordvall Forsberg, Fredrik +1 more
openaire +3 more sources
An open source rule induction tool for transfer-based SMT [PDF]
, 2009 In this paper we describe an open source tool for automatic induction of transfer rules. Transfer rule induction is carried out on pairs of dependency structures and their node alignment to produce all rules consistent with the node alignment.
Graham, Yvette, van Genabith, Josef
core +1 more source
BMC Cell Biology, 2018 Background Low LET Ionizing radiation is known to alter intracellular redox balance by inducing free radical generation, which may cause oxidative modification of various cellular biomolecules. The extent of biomolecule-modifications/ damages and changes
Sweta Sanguri, Damodar Gupta
doaj +1 more source
The Absolute and Relative Pessimistic Inductions [PDF]
, 2019 The absolute pessimistic induction states that earlier theories, although successful, were abandoned, so current theories, although successful, will also be abandoned. By contrast, the relative pessimistic induction states that earlier theories, although
Park, Seungbae
core +4 more sources
Frontiers in Pharmacology, 2019 Objectives: Liver macrophages agitated by Lipopolysaccharide (LPS) can enhance immuno-inflammatory responses in the liver which mediate liver injury and result in dysfunction.
Jian Li +29 more
doaj +1 more source
Frontiers in Microbiology, 2022 Various carbapenemases have been identified in the Enterobacteriaceae. However, the induction and corresponding regulator genes of carbapenemase NmcA has rarely been detected in the Enterobacter cloacae complex (ECC). The NmcA-positive isolate ECC NR1491
Ryuichi Nakano +10 more
doaj +1 more source
Fibrational induction rules for initial algebras [PDF]
, 2010 This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors.
B. Jacobs +7 more
core +1 more source
Impact of Apparent Reactance Injected by TCSR on Distance Relay in Presence Phase to Earth Fault
Advances in Electrical and Electronic Engineering, 2013 This research paper presents the impact study of apparent reactance injected by series Flexible AC Transmission System (FACTS) i.e. Thyristor Controlled Series Reactor (TCSR) on the measured impedance of a 400 kV single electrical transmission line in ...
Mohamed Zellagui, Abdelaziz Chaghi
doaj +1 more source
MedComm, 2020 Highly upregulated in liver cancer (HULC) had a significant predictive effect on tumor growth and metastasis of hepatocellular carcinoma (HCC); however, the mechanisms of HULC on HCC still need to be clarified. We attempted to determine the roles of HULC
Haiming Zhang +5 more
doaj +1 more source
Induction of intestinal Th17 cells by segmented filamentous bacteria.
Cell, 2009 The gastrointestinal tract of mammals is inhabited by hundreds of distinct species of commensal microorganisms that exist in a mutualistic relationship with the host. How commensal microbiota influence the host immune system is poorly understood. We show
I. Ivanov +16 more
semanticscholar +1 more source