Results 51 to 60 of about 1,848,485 (266)
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
The 4SECURail Formal Methods Demonstrator
, 2022 The need for high-quality standard interfaces is widely rec- ognized as a mandatory step to reduce procurement costs and create safely operating complex railway infrastructures. That is why European initiatives like EULYNX have been set up precisely with the purpose of supporting standard interfaces development.
Mazzanti F, Belli D
openaire +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Neuroblastoma's complex, heterogeneous biology poses significant diagnostic and therapeutic challenges, often requiring caregivers to absorb complex information and participate in time‐sensitive decisions. However, caregivers often feel unprepared to evaluate options.
Vickie Buenger +8 more
wiley +1 more source
Research challenges and future perspectives for e-assessment technologies in higher education
i-comE-assessment technologies have rapidly evolved in higher education, transforming the evaluation of learning outcomes and the delivery of feedback to students and educators.
Striewe Michael +2 more
doaj +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
Formal Methods and CyberSecurity
CoRR, 2019 Formal methods have been largely thought of in the context of safety-critical systems, where they have achieved major acceptance. Tens of millions of people trust their lives every day to such systems, based on formal proofs rather than ``we haven't found a bug'' (yet!).
openaire +2 more sources
Impact of Metastatic Patterns on Survival and Response to Therapy in Neuroblastoma
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background While the presence of metastases in neuroblastoma (NB) is a well‐established prognostic factor, the clinical significance of dissemination patterns and tumour burden and their impact on response and survival remains poorly understood.
Mariona Morell‐Daniel +15 more
wiley +1 more source
Frontiers in Computational Neuroscience, 2013 Fear conditioning, in which a cue is conditioned to elicit a fear response, and extinction, in which a previously conditioned cue no longer elicits a fear response, depend on neural plasticity occurring within the amygdala.
Thomas eAnastasio
doaj +1 more source
Formal methods: promises and problems [PDF]
IEEE Software, 1997 Successfully applying formal methods to software development promises to move us closer to a true engineering discipline. The authors offer suggestions for overcoming the problems that have hindered the use of formal methods thus far.
Luqi, Goguen, Joseph A.
openaire +2 more sources