Results 81 to 90 of about 222,705 (339)
A synthesis of logic and biology in the design of dependable systems [PDF]
, 2015 The technologies of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, have advanced in recent years.
Papadopoulos, Yiannis
core +1 more source
British Journal of Addiction, 1990 AbstractThere are a number of repetitive behaviors which have in common what appears to be a decrease in an individual's capacity to choose to discontinue them. The taxonomy we select to categorize these behaviors depends on our objectives. Broad definition which label as ‘addictions’ both repetitive use of drugs and repetitive behaviors not related to
openaire +2 more sources
A Dependent Dependency Calculus
, 2022 AbstractOver twenty years ago, Abadi et al. established the Dependency Core Calculus (DCC) as a general purpose framework for analyzing dependency in typed programming languages. Since then, dependency analysis has shown many practical benefits to language design: its results can help users and compilers enforce security constraints, eliminate dead ...
Pritam Choudhury +2 more
openaire +1 more source
Mechanisms of IgE‐mediated food allergy and the role of allergen‐specific B cells
FEBS Letters, EarlyView.Food allergy arises when allergen‐specific B cells preferentially produce immunoglobulin E (IgE) antibodies against harmless foods. This article explains the mechanisms driving IgE‐mediated reactions, highlights the central role of these B cells, and discusses how natural tolerance (NT) and oral immunotherapy (OIT) can reshape allergic immune responses.
Juan‐Felipe López +2 more
wiley +1 more source
Reliability of ZigBee transmission in agriculture production
Research in Agricultural Engineering, 2013 Currently, the unlicensed ISM (Industrial Scientific and Medical) band 2.4 GHz has become saturated due many standards used at once. In agricultural production ZigBee has a lot of applications, from wireless sensors networks to complicated automation ...
I. Mašík
doaj +1 more source
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking [PDF]
, 2015 Stochastic Petri nets are commonly used for modeling distributed systems in order to study their performance and dependability. This paper proposes a realization of stochastic Petri nets in SystemC for modeling large embedded control systems.
Legay, Axel, Ngo, Van Chan
core +3 more sources
Aggressive prostate cancer is associated with pericyte dysfunction
Molecular Oncology, EarlyView.Tumor‐produced TGF‐β drives pericyte dysfunction in prostate cancer. This dysfunction is characterized by downregulation of some canonical pericyte markers (i.e., DES, CSPG4, and ACTA2) while maintaining the expression of others (i.e., PDGFRB, NOTCH3, and RGS5).
Anabel Martinez‐Romero +11 more
wiley +1 more source
Uranus: A Middleware Architecture for Dependable AAL and Vital Signs Monitoring Applications
Sensors, 2012 The design and realization of health monitoring applications has attracted the interest of large communities both from industry and academia. Several research challenges have been faced and issues tackled in order to realize effective applications for ...
Antonio Coronato
doaj +1 more source
On Systematic Design of Protectors for Employing OTS Items [PDF]
, 2001 Off-the-shelf (OTS) components are increasingly used in application areas with stringent dependability requirements. Component wrapping is a well known structuring technique used in many areas.
Popov, P. T. +3 more
core +3 more sources
Molecular Oncology, EarlyView.Development of therapies targeting cancer‐associated fibroblasts (CAFs) necessitates preclinical model systems that faithfully represent CAF–tumor biology. We established an in vitro coculture system of patient‐derived pancreatic CAFs and tumor cell lines and demonstrated its recapitulation of primary CAF–tumor biology with single‐cell transcriptomics ...
Elysia Saputra +10 more
wiley +1 more source