Test Management Framework for the ATLAS Experiment
, 2018 Test Management Framework for the Data Acquisition of the ATLAS Experiment Data Acquisition (DAQ) of the ATLAS experiment is a large distributed and inhomogeneous system: it consists of thousands of interconnected computers and electronics devices that ...
Corso-Radu, Alina +5 more
core
Using Robots for Advanced Rendezvous and Docking Simulation
, 2012 For human spaceflight missions rendezvous and docking (RvD) of two spacecrafts is state of the art today. For future satellite missions this close operation scenario becomes more and more interesting in the last years.
Boge, Toralf +3 more
core
EPOS−A Robotics-Based Hardware-in-the-Loop Simulator for Simulating Satellite RvD Operations
, 2010 Increasing complexity and costs of satellite missions promote the idea of extending the operational lifetime or improving functionalities/performance of a satellite in orbit instead of simply replacing it by a new one.
Boge, Toralf +3 more
core
Probabilistic Methods for Object Description and Classification [PDF]
, 2006 This thesis extends the utility of probabilistic methods in two diverse domains: multimodal biometrics and machine inspection. The attraction for this approach is that it is easily understood by those using such a system; however the advantages extend ...
Bazin, A. I., Bazin, Alexander Ian
core
, 1985 "This is one in a series of scientific reports documenting the findings of studies conducted under the Interagency Field Verifications of Testing and Predictive Methodologies for Dredged Material Disposal Alternatives (referred to at the Field ...
Schimmel, Steven C. +2 more
core
Environmental Verification Experiment for the Explorer Platform (EVEEP)
, 1992 Satellites and long-life spacecraft require effective contamination control measures to ensure data accuracy and maintain overall system performance margins.
Norris, Bonnie, Lorentson, Chris
core
An Experiment in Type Inference and Verification by Abstract Interpretation
, 2007 This paper describes an experiment in the definition of tools for type inference and type verification of ML-like functional languages, using abstract interpretation techniques. We first show that by extending the Damas-Milner type inference algorithm,
Roberta Gori, Giorgio Levi
core
A Proof-of-Concept Free-Flight Photogrammetric Framework Based on Monocular Vision and Sensor-Group Displacement Fusion. [PDF]
Sensors (Basel)Lu E, Wan X, Deng W, Li X.
europepmc +1 more source
Simulated Reasoning and Self-Verification for Psychiatric Diagnosis in Generalist Large Language Models: Comparative Evaluation. [PDF]
JMIR AISarma KV +5 more
europepmc +1 more source
Analysis of Voiceprint and Other Biometrics for Criminological and Security Applications
This Thesis examines the role and limitations of voice biometrics in the contexts of security and for crime reduction. The main thrust of the Thesis is that despite the technical and non-technical hurdles that this research has identified and sought to ...
Hosseyndoust Foomany, Farbod
core