Results 81 to 90 of about 1,778,418 (315)
SEPIA: Search for Proofs Using Inferred Automata
, 2015 This paper describes SEPIA, a tool for automated proof generation in Coq. SEPIA combines model inference with interactive theorem proving. Existing proof corpora are modelled using state-based models inferred from tactic sequences.
F Wiedijk +6 more
core +1 more source
COMPLEMENT SYSTEM AS A MARKER OF IMMUNE DYSFUNCTION IN CHILDREN AUTISM SPECTRUM DISORDERS
Медицинская иммунология, 2019 It is known that functional activity of complement system depends not only on balance and concentration of components participating in formation of the system end products, but also on levels of inhibitory activities.
E. G. Cheremnykh +6 more
doaj +1 more source
Molecular Oncology, EarlyView.This study used longitudinal transcriptomics and gene‐pattern classification to uncover patient‐specific mechanisms of chemotherapy resistance in breast cancer. Findings reveal preexisting drug‐tolerant states in primary tumors and diverse gene rewiring patterns across patients, converging on a few dysregulated functional modules. Despite receiving the
Maya Dadiani +14 more
wiley +1 more source
Molecular Oncology, EarlyView.B‐cell chronic lymphocytic leukemia (B‐CLL) and monoclonal B‐cell lymphocytosis (MBL) show altered proteomes and phosphoproteomes, analyzed using mass spectrometry, protein microarrays, and western blotting. Identifying 2970 proteins and 316 phosphoproteins, including 55 novel phosphopeptides, we reveal BCR and NF‐kβ/STAT3 signaling in disease ...
Paula Díez +17 more
wiley +1 more source
Automated Reasoning over Deontic Action Logics with Finite Vocabularies
, 2014 In this paper we investigate further the tableaux system for a deontic action logic we presented in previous work. This tableaux system uses atoms (of a given boolean algebra of action terms) as labels of formulae, this allows us to embrace parallel ...
Castro, Pablo F., Maibaum, Thomas S. E.
core +2 more sources
Exploration of ImmunologyThe complement system is a key component of the innate immune system that mediates the clearance of pathogens, apoptotic cells, and cellular debris.
Jeyaparthasarathy Narayanaperumal +1 more
doaj +1 more source
Molecular Oncology, EarlyView.This study investigates gene expression differences between two major pediatric acute lymphoblastic leukemia (ALL) subtypes, B‐cell precursor ALL, and T‐cell ALL, using a data‐driven approach consisting of biostatistics and machine learning methods. Following analysis of a discovery dataset, we find a set of 14 expression markers differentiating the ...
Mona Nourbakhsh +8 more
wiley +1 more source
Fuzzy ART: An Adaptive Resonance Algorithm for Rapid, Stable Classification of Analog Patterns [PDF]
, 1991 The Fuzzy ART system introduced herein incorporates computations from fuzzy set theory into ART 1. For example, the intersection (n) operator used in ART 1 learning is replaced by the MIN operator (A) of fuzzy set theory.
Carpetner, Gail A. +2 more
core +1 more source
Exploring the atmosphere using smartphones
, 2015 The characteristics of the inner layer of the atmosphere, the troposphere, are determinant for the earth's life. In this experience we explore the first hundreds of meters using a smartphone mounted on a quadcopter. Both the altitude and the pressure are
Cabeza, Cecilia +4 more
core +1 more source
The Complement System in Dialysis: A Forgotten Story?
Frontiers in Immunology, 2018 Significant advances have lead to a greater understanding of the role of the complement system within nephrology. The success of the first clinically approved complement inhibitor has created renewed appreciation of complement-targeting therapeutics ...
Felix Poppelaars +10 more
doaj +1 more source