Results 81 to 90 of about 1,932,015 (306)
Molecular Oncology, EarlyView.EXOSC10, an essential nuclear RNA exosome‐associated 3′‐5′ exoribonuclease, is inhibited by the anticancer drug 5‐fluorouracil (5‐FU), and EXOSC10 depletion increases 5‐FU sensitivity. The colon‐cancer variant EXOSC10S402T, located in a proteolysis motif, is stable and nuclear but nonfunctional in vivo.
Radhika Sain +10 more
wiley +1 more source
Decision Support Within Digital Twins in Manufacturing Ecosystems: A Review
IET Collaborative Intelligent ManufacturingThe dynamic nature of manufacturing and evolving customer demands require agile adaptation within Manufacturing Ecosystems—interconnected networks of enterprises and institutions collaborating to develop market—oriented solutions.
Lucía Gálvez del Postigo Gallego +3 more
doaj +1 more source
Towards Realising FollowMe User Profiles for Macro-Intelligent Environments
Computers, 2013 In this paper, we introduce the concept of a Large-Scale Intelligent Environment (LSIE) and provide an introduction to the use of bigraphs as a formal method for description and modelling.
Luke Whittington +3 more
doaj +1 more source
(User-friendly) formal requirements verification in the context of ISO26262
Engineering Science and Technology, an International Journal, 2020 In order to achieve the highest safety integrity levels, ISO26262 recommends the use of formal methods for various verification activities, throughout the lifecycle of safety-related embedded systems for road vehicles.
Denis Makartetskiy +7 more
doaj +1 more source
Proceedings of Formal Methods in Computer Aided Design, FMCAD 2006 [PDF]
, 2006 Table of Contents: Preface (p. vii) -- Organizing Committee (p. viii) -- Program Committee (p. viii) -- Referees (p. ix) -- HARDWARE VERIFICATION -- Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning / by Jason ...
Formal Methods in Computer Aided Design
core
Molecular Oncology, EarlyView.We analyze cisplatin–DNA adducts (CDAs) and double‐strand breaks (DSBs) in a cell‐cycle‐dependent manner. We find that CDAs form similarly across all cell cycle phases. DSBs arise only in S‐phase. CDAs might not directly impair DSB repair, but S‐phase DSB lesions evolve in the presence of CDAs and disrupt repair in G2, also causing radiosensitization ...
Ye Qiu +10 more
wiley +1 more source
Molecular Oncology, EarlyView.RNA profiling of circulating extracellular vesicles (EVs) from blood samples of men undergoing prostate biopsy identifies transcripts associated with clinically significant prostate cancer. Integrative analysis with public tumor datasets links EV‐derived gene signatures to tumor stage and progression‐free survival, highlighting CASP3, XRCC2, and RIT1 ...
Stefan Werner +14 more
wiley +1 more source
On Confidentiality and Formal Methods [PDF]
, 2012 The contemporary challenge of engineering verifiably secure software has motivated various techniques for measuring and regulating the flow of confidential data from systems to their users.
Banks, Michael J
core
Molecular Oncology, EarlyView.Intratumour heterogeneity complicates precision management of advanced endometrial cancer. Circulating tumor DNA (ctDNA) offers a minimally invasive strategy to capture tumor evolution and therapeutic resistance. Here, we compare tumor‐agnostic NGS with tumor‐informed ddPCR, outlining their relative sensitivity, concordance, and clinical implications ...
Carlos Casas‐Arozamena +15 more
wiley +1 more source
International Refinement Workshop and Formal Methods Pacific ’98
, 1998 The International Refinement Workshop and Formal Methods Pacific 1998 (IRW/FMP'98), as the title suggests, is a combined event. FMP'98 itself incorporates the 7th Australasian Refinement Workshop and the 4th New Zealand Formal Program Development ...
Australasian Refinement Workshop +2 more
core