Results 101 to 110 of about 31,509,895 (367)
Verified trustworthy software systems [PDF]
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2017 Modern society is faced with a fundamental problem: the reliability of complex, evolving software systems on which society critically depends cannot be guaranteed by the established, non-mathematical computer engineering techniques such as informal prose specification and ad hoc testing.
openaire +5 more sources
Molecular Oncology, EarlyView.Loss of the frequently mutated chromatin remodeler ARID1A, a subunit of the SWI/SNF cBAF complex, results in less open chromatin, alternative splicing, and the failure to stop cells from progressing through the cell cycle after DNA damage in bladder (cancer) cells. Created in BioRender. Epigenetic regulators, such as the SWI/SNF complex, with important
Rebecca M. Schlösser +11 more
wiley +1 more source
APPLICATION OF COMPUTER TECHNOLOGIES IN TEACHING OF MEDICAL STUDENTS
Бюллетень сибирской медицины, 2014 he purpose of the given research are situational tasks from the point of view of algorithms of their decision and application of computer technologies for realization of similar algorithms.
O. V. Vorobeichikova
doaj +1 more source
Integrating automated support for a software management cycle into the TAME system [PDF]
, 1989 Software managers are interested in the quantitative management of software quality, cost and progress. An integrated software management methodology, which can be applied throughout the software life cycle for any number purposes, is required. The TAME (
Basili, Victor R., Sunazuka, Toshihiko
core +1 more source
Sisvar: a computer statistical analysis system
, 2011 Sisvar is a statistical analysis system, first released in 1996 although its development began in 1994. The first version was done in the programming language Pascal and compiled with Borland Turbo Pascal 3.
D. F. Ferreira
semanticscholar +1 more source
Molecular Oncology, EarlyView.We identified adaptor protein ShcD as upregulated in triple‐negative breast cancer and found its expression to be correlated with reduced patient survival and increased invasion in cell models. Using a proteomic screen, we identified novel ShcD binding partners involved in EGFR signaling pathways.
Hayley R. Lau +11 more
wiley +1 more source
Molecular Oncology, EarlyView.This study highlights the importance of multi‐omic analyses in characterizing colorectal cancers. Indeed, our analysis revealed a rare CMS1 exhibiting dampened immune activation, including reduced PD‐1 expression, moderate CD8+ T‐cell infiltration, and suppressed JAK/STAT pathway.
Livia Concetti +10 more
wiley +1 more source
Adaptive software systems [PDF]
Journal of the Brazilian Computer Society, 2004 Silva, Dilma M. da, Kon, Fabio
openaire +2 more sources
The Science of Software and System Design [PDF]
IFAC-PapersOnLine, 2018 Abstract Software enables impressive cyber-physical system applications, but also dominates the costs and perils of designing such systems. Is there a science of software and system design? This paper reflects on this question, and identifies opportunities for interactions with the fields of artificial intelligence and machine learning.
openaire +3 more sources
Using process mapping software to redesign a management system [PDF]
, 2017 Management Systems are becoming de rigueur for Organisations, but many with existing Management Systems are finding that they are creaking at the seams. Changes to Standards, Regulations, Business Practices, Organisation structures and Products mean that
Turner , Sue
core