Results 81 to 90 of about 214,245 (305)
Rigorously assessing software reliability and safety [PDF]
, 1996 This paper summarises the state of the art in the assessment of software reliability and safety ("dependability"), and describes some promising developments.
Fenton, N., Strigini, L.
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
LDAcoop: Integrating non‐linear population dynamics into the analysis of clonogenic growth in vitro
Molecular Oncology, EarlyView.Limiting dilution assays (LDAs) quantify clonogenic growth by seeding serial dilutions of cells and scoring wells for colony formation. The fraction of negative wells is plotted against cells seeded and analyzed using the non‐linear modeling of LDAcoop.
Nikko Brix +13 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
Molecular Oncology, EarlyView.Nanosecond infrared laser (NIRL) low‐volume sampling combined with shotgun lipidomics uncovers distinct lipidome alterations in oropharyngeal squamous cell carcinoma (OPSCC) of the palatine tonsil. Several lipid species consistently differentiate tumor from healthy tissue, highlighting their potential as diagnostic markers.
Leonard Kerkhoff +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
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
Peroxidasin enables melanoma immune escape by inhibiting natural killer cell cytotoxicity
Molecular Oncology, EarlyView.Peroxidasin (PXDN) is secreted by melanoma cells and binds the NK cell receptor NKG2D, thereby suppressing NK cell activation and cytotoxicity. PXDN depletion restores NKG2D signaling and enables effective NK cell–mediated melanoma killing. These findings identify PXDN as a previously unrecognized immune evasion factor and a potential target to improve
Hsu‐Min Sung +17 more
wiley +1 more source
On cost-effective reuse of components in the design of complex reconfigurable systems [PDF]
, 2017 Design strategies that benefit from the reuse of system components can reduce costs while maintaining or increasing dependability—we use the term dependability to tie together reliability and availability.
Aizpurua, J. I. +4 more
core +1 more source