Results 71 to 80 of about 4,235,689 (341)

Using formal methods to support testing [PDF]

, 2008
Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as ...
Bogdanov, K, Bowen, JP, Cleaveland, R, Derrick, J, Dick, JH, Gheorghe, M, Harman, M, Hierons, RM, Kapoor, K, Krause, P, Luettgen, G, Simons, AJH, Vilkomir, S, Woodward, M   +13 more
core  

The ForMaRE Project - Formal Mathematical Reasoning in Economics

, 2013
The ForMaRE project applies formal mathematical reasoning to economics. We seek to increase confidence in economics' theoretical results, to aid in discovering new results, and to foster interest in formal methods, i.e.
Kerber, Manfred, Lange, Christoph, Rowat, Colin   +2 more
core   +1 more source

Integrative miRNOMe profiling reveals the miR‐195‐5p–CHEK1 axis and its impact on luminal breast cancer outcomes

Molecular Oncology, EarlyView.
In luminal (ER+) breast carcinoma (BC), miRNA profiling identified miR‐195‐5p as a key regulator of proliferation that targets CHEK1, CDC25A, and CCNE1. High CHEK1 expression correlates with worse relapse‐free survival after chemotherapy, especially in patients with luminal A subtype.
Veronika Boušková, Marie Ehrlichová, Alžběta Spálenková, Ivona Krus, Simona Šůsová, Viktor Hlaváč, Vlasta Němcová, Renata Koževnikovová, Markéta Trnková, David Vrána, Jiří Gatěk, Kateřina Kopečková, Marcela Mrhalová, Soňa Měšťáková, Pavel Souček   +14 more
wiley   +1 more source

Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root

Моделирование и анализ информационных систем, 2019
For many years, automotive embedded systems have been validated only by testing. In the near future, Advanced Driver Assistance Systems (ADAS) will take a greater part in the car’s software design and development.
Vassil Todorov, Safouan Taha, Frederic Boulanger, Armando Hernandez   +3 more
doaj   +1 more source

Formalization of Methods in Criminalistics

Law and Safety, 2019
Scientific works on formalization of methods in criminalistics have been analyzed in the article. Despite the importance and relevance of these issues, it has been established that there is a number of unresolved issues in the theory of forensic science, as well as in investigative and judicial practice regarding the possibilities of formalizing ...
openaire   +3 more sources

An Entry Point for Formal Methods: Specification and Analysis of Event Logs

, 2009
Formal specification languages have long languished, due to the grave scalability problems faced by complete verification methods. Runtime verification promises to use formal specifications to automate part of the more scalable art of testing, but has ...
Barringer, Howard, Groce, Alex, Havelund, Klaus, Smith, Margaret   +3 more
core   +2 more sources

ITGAV and SMAD4 influence the progression and clinical outcome of pancreatic ductal adenocarcinoma

Molecular Oncology, EarlyView.
In SMAD4‐positive pancreatic ductal adenocarcinoma (PDAC), integrin subunit alpha V (ITGAV) activates latent TGF‐β, which binds to the TGF‐β receptor and phosphorylates SMAD2/3. The activated SMAD2/3 forms a complex with SMAD4, and together they translocate to the nucleus, modulating gene expression to promote proliferation, migration, and invasion. In
Daniel K. C. Lee, Keyue Chen, Ryan Loke, Xiang Li, David Liubart, Golam T. Saffi, Jonathan T. S. Chow, Ché M. P. Melo, Lydia To, Leonardo Salmena   +9 more
wiley   +1 more source

Teaching Formal Models of Concurrency Specification and Analysis

Моделирование и анализ информационных систем, 2015
There is a widespread and rapidly growing interest to the parallel programming nowadays. This interest is based on availability of supercomputers, computer clusters and powerful graphic processors for computational mathematics and simulation. MPI, OpenMP,
N. V. Shilov
doaj   +1 more source

QuantUM: Quantitative Safety Analysis of UML Models

, 2011
When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable.
A. Aziz, A. Hinton, Adnan Aziz, Christel Baier, D. Latella, David Nicolaas Jansen, E. M. Clarke, Florian Leitner-Fischer, Florian Leitner-Fischer, Gethin Norman, H. Aljazzar, H. Boudali, Husain Aljazzar, Husain Aljazzar, I. Majzik, J.Y. Halpern, Lars Grunske, Lars Grunske, Leslie Lamport, M. Ajmone Marsan, Mieke Massink, S. Bernardi, Stefan Leue, V.G. Kulkarni   +23 more
core   +2 more sources

Comprehensive profiling of lncRNAs and mRNAs enriched in small extracellular vesicles for early noninvasive detection of colorectal cancer: diagnostic panel assembly and extensive validation

Molecular Oncology, EarlyView.
Small extracellular vesicles are a promising source of diagnostic molecules. We conducted a comprehensive study, including transcriptome profiling and RT‐qPCR validation on large cohorts of samples. Diagnostic panels enabling sensitive detection of colorectal cancer and precancerous lesions were established. Some molecules were differentially expressed
Petra Vychytilova‐Faltejskova, Marketa Pavlikova, Lucie Pifkova, Robin Jugas, Tana Machackova, Lenka Radova, Milana Sachlova, Renata Bartosova, Tetiana Samoilenko, Zuzana Feckova, Jana Orlickova, Erika Slamova, Elleni Ponechal Michu, Dagmar Al Tukmachi, Michaela Ruckova, Martina Vodinska, Jan Kotoucek, Tina Catela Ivkovic, Marie Boudna, Lucia Bohovicova, Teodor Stanek, Jana Halamkova, Martin Svoboda, Vladimir Prochazka, Tomas Grolich, Zdenek Kala, Ondrej Slaby   +26 more
wiley   +1 more source