Results 51 to 60 of about 1,932,015 (306)
The Comparison of Tree-Sibling Time Consistent Phylogenetic Networks Is Graph Isomorphism-Complete
The Scientific World Journal, 2014 Several polynomial time computable metrics on the class of semibinary tree-sibling time consistent phylogenetic networks are available in the literature; in particular, the problem of deciding if two networks of this kind are isomorphic is in P.
Gabriel Cardona +3 more
doaj +1 more source
Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications
IEEE Access, 2023 This paper presents a path planning algorithm for efficiently generating low-cost trajectories that meet mission requirements specified in Linear Time Logic (LTL), where cost functions are defined throughout the configuration space.
Kyunghoon Cho
doaj +1 more source
Molecular Oncology, EarlyView.Tumors contain diverse cellular states whose behavior is shaped by context‐dependent gene coordination. By comparing gene–gene relationships across biological contexts, we identify adaptive transcriptional modules that reorganize into distinct vulnerability axes.
Brian Nelson +9 more
wiley +1 more source
iiOSProTrain: An Interactive Intelligent Online System for Programming Training
Journal of Advances in Information Technology, 2012 Programming is a crucial skill which is required to be mastered for students on all disciplines of the Computer Science field. For novice students, they always desire explanation and help for all errors encountered in their own solutions. With the recent
Tho Thanh Quan +7 more
doaj +1 more source
A Formal and Quantifiable Log Analysis Framework for Test Driving of Autonomous Vehicles
Sensors, 2020 We propose a log analysis framework for test driving of autonomous vehicles. The log of a vehicle is a fundamental source to detect and analyze events during driving.
Kyungbok Sung +3 more
doaj +1 more source
Timing diagrams requirements modeling using Event-B formal methods [PDF]
, 2010 Timing diagrams provide an intuitive graphical specification for time constraints and causal dependencies between a system’s objects. Such a view can provide useful insight during Requirements Engineering (RE).
Snook, Colin +7 more
core +1 more source
FORTEST: formal methods and testing [PDF]
Proceedings 26th Annual International Computer Software and Applications, 2005 Formal methods have traditionally been used for specification and development of software. However there are potential benefits for the testing stage as well. The panel session associated with this paper explores the usefulness or otherwise of formal methods in various contexts for improving software testing. A number of different possibilities for the
Jonathan P. Bowen +5 more
openaire +2 more sources
Molecular Oncology, EarlyView.Pre‐analytical handling critically determines liquid biopsy performance. This study defines practical best‐practice conditions for cell‐free DNA (cfDNA) and extracellular vesicle–derived DNA (evDNA), showing how processing time, storage conditions, tube type, and plasma input volume affect DNA integrity and mutation detection.
Jonas Dohmen +11 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
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification.
Formal Methods in Computer Aided Design
core +1 more source