Final communication activity report
Project: VALU3S
Updated at: 30-11-2023
Resources
5625 items found
On Active Learning for Supervisor Synthesis
Project: VALU3S
Updated at: 30-11-2023
Fault Injector to Verify and Validate Nanosatellites
Project: VALU3S
Updated at: 30-11-2023
An Empirical Study of the Impact of Single and Multiple Bit-Flip Errors in Programs
Project: VALU3S
Updated at: 30-11-2023
Ontology Configuration Management for Knowledge-Centric Systems Engineering in Industry
Project: VALU3S
Updated at: 30-11-2023
Learning affine predictors for MPC of nonlinear systems via artificial neural networks
Project: VALU3S
Updated at: 30-11-2023
Efficient and Effective Generation of Test Cases for Pedestrian Detection - Search-based Software Testing of Baidu Apoll...
Project: VALU3S
Updated at: 30-11-2023
A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements
Project: VALU3S
Updated at: 30-11-2023
Towards Refactoring FRETish Requirements
Project: VALU3S
Updated at: 30-11-2023
A review of single and multi-hazard risk assessment approaches for criticalinfrastructures protection
Project: VALU3S
Updated at: 30-11-2023
Evaluation report including the evaluation of the improved V&V processes as well as framework limitations
Project: VALU3S
Updated at: 30-11-2023
Identified gaps and limitations of the V&V methods listed in D3.1
Project: VALU3S
Updated at: 30-11-2023
Initial dissemination and training activity report
Project: VALU3S
Updated at: 30-11-2023
Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
Project: VALU3S
Updated at: 30-11-2023
Endüstriyel Robot Hareket Planlama Algoritmaları Performans Karşılaştırması
Project: VALU3S
Updated at: 30-11-2023
Learning methods for structural damage detection via entropy-based sensors selection
Project: VALU3S
Updated at: 30-11-2023
FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller
Project: VALU3S
Updated at: 30-11-2023
Measuring lead times for failure prediction
Project: VALU3S
Updated at: 30-11-2023
Final detailed description of improved process workflows
Project: VALU3S
Updated at: 30-11-2023
Dual-band Beamsteering Microstrip Antenna Array for Joint Communication and Sensing
Project: NextPerception
Updated at: 23-11-2023
Resource allocation for dataflow applications in FANETs using anypath routing
Project: NextPerception
Updated at: 17-11-2023
Real-Time High Frame Rate Color Flow Mapping System
Project: Moore4Medical
Updated at: 31-10-2023
Experimental Characterization Method for Passive Microvalves in Diaphragm Pumps for Medical Applications
Project: Moore4Medical
Updated at: 31-10-2023
A new compact printed monopole antenna based on compressed metamaterials for UWB applications
Project: Moore4Medical
Updated at: 31-10-2023
AutoEnsemble: Automated Ensemble Search Framework for Semantic Segmentation Using Image Labels
Project: Moore4Medical
Updated at: 31-10-2023
Modeling and Characterization of Pre-Charged Collapse-Mode CMUTs
Project: Moore4Medical
Updated at: 31-10-2023
Towards multi-probe high frame rate volumetric vector Doppler imaging: a feasibility study
Project: Moore4Medical
Updated at: 31-10-2023
Ultrasound Energy Transfer using Charged CMUTs
Project: Moore4Medical
Updated at: 31-10-2023
A Key Management Framework to Secure IoMT-enabled Healthcare Systems
Project: Moore4Medical
Updated at: 31-10-2023