Model-Based Automatic Target Recognition (ATR) System for Forwardlooking Groundbased and Airborne Imaging Laser Radars (LADAR)Verly, Jacques ; in Proceedings of the IEEE (1996), 84(2), 126-163 Detailed reference viewed: 3 (2 ULg) Model-Based Automatic Target Recognition (ATR) System for UGV/RSTA LadarVerly, Jacques ![]() Scientific conference (1996) Detailed reference viewed: 4 (1 ULg) Model-Based Automatic Target Recognition Sys- tem for the UGV/RSTA Ladar: Status at Demo CVerly, Jacques ; ; Conference (1996, February) Detailed reference viewed: 2 (0 ULg) A Model-Based Automatic Target Recognition System for Synthetic Aperture Radar ImageryVerly, Jacques ; ; et alConference (1992, March) Detailed reference viewed: 2 (0 ULg) Model-based cardiac diagnosis of pulmonary embolism; ; et al in Computer Methods & Programs in Biomedicine (2007), 87(1), 46-60 A minimal cardiac model has been shown to accurately capture a wide range of cardiovascular system dynamics commonly seen in the intensive care unit (ICU). However, standard parameter identification ... [more ▼] A minimal cardiac model has been shown to accurately capture a wide range of cardiovascular system dynamics commonly seen in the intensive care unit (ICU). However, standard parameter identification methods for this model are highly non-linear and non-convex, hindering real-time clinical application. An integral-based identification method that transforms the problem into a linear, convex problem, has been previously developed, but was only applied on continuous simulated data with random noise. This paper extends the method to handle discrete sets of clinical data, unmodelled dynamics, a significantly reduced data set theta requires only the minimum and maximum values of the pressure in the aorta, pulmonary artery and the volumes in the ventricles. The importance of integrals in the formulation for noise reduction is illustrated by demonstrating instability in the identification using simple derivative-based approaches. The cardiovascular system (CVS) model and parameter identification method are then clinically validated on porcine data for pulmonary embolism. Errors for the identified model are within 10% when re-simulated and compared to clinical data. All identified parameter trends match clinically expected changes. This work represents the first clinical validation of these models, methods and approach to cardiovascular diagnosis in critical care. (c) 2007 Elsevier Ireland Ltd. All rights reserved. [less ▲] Detailed reference viewed: 20 (2 ULg) Model-based cardiac disease diagnosis in critical care; ; et al in Proceedings of the Health Research Society of Canterbury (HRSC) Clinical Meeting 2010 (2010) Detailed reference viewed: 2 (0 ULg) Model-based cardiovascular monitoring of acute pulmonary embolism in porcine trials; ; et al in Critical Care: the Official Journal of the Critical Care Forum (2011), 15 (Suppl 1) Detailed reference viewed: 5 (0 ULg) Model-based cardiovascular monitoring of large pore hemofiltration during endotoxic shock in pigs; ; et al in Critical Care: the Official Journal of the Critical Care Forum (2011), 15 (Suppl 1) Detailed reference viewed: 6 (0 ULg) Model-based Cardiovascular Therapeutics: Capturing the patient-specific impact of inotrope therapyDesaive, Thomas ; ; et alin Proceedings of the 3rd International Meeting of the French Society of Hypertension (2009) Detailed reference viewed: 7 (0 ULg) Model-based Design and Verification of Security Protocols using LOTOS; Leduc, Guy ![]() in Design and Formal Verification of Security Protocols (1997, September) We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how to model security properties as safety properties and how a model-based ... [more ▼] We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how to model security properties as safety properties and how a model-based verification method can be used to verify the robustness of a protocol against attacks of an intruder. We illustrate our technique on a concrete registration protocol. We find a simpler protocol that remains secure, and a more sophisticated protocol that allows a better distinction between intruder's attacks and ordinary errors. [less ▲] Detailed reference viewed: 10 (2 ULg) Model-based detection of pulmonary embolism using an extended physiologically relevant, cardiovascular model; ; et al in Proceedings of Engineering & Physical Sciences in Medicine and Australian Biomedical Engineering Conference (EPSM ABEC 2008) (2008) Detailed reference viewed: 14 (0 ULg) Model-based diagnosis of acute pulmonary embolism - results from a porcine modelDesaive, Thomas ; Ghuysen, Alexandre ; Kolh, Philippe et alin Intensive Care Medicine (2008), 34(suppl. 1), 78 Detailed reference viewed: 16 (2 ULg) Model-based diagnosis of acute pulmonary embolism and septic shock in porcine trials; ; et al in Proceedings of the Health Research Society of Christchurch Annual Scientific Session 2011 (2011) Detailed reference viewed: 3 (2 ULg) Model-based Experimental Target Recognition System; ; Verly, Jacques ![]() Scientific conference (1989, May) Detailed reference viewed: 4 (0 ULg) Model-based glycemic control in critical carePretty, Christopher ; Penning, Sophie ; et alPoster (2012, December) Detailed reference viewed: 18 (4 ULg) Model-based glycemic control in critical carePretty, Christopher ; Penning, Sophie ; et alin Proceedings of the 11th Belgian Day on Biomedical Engineering (2012, December) Detailed reference viewed: 15 (4 ULg) Model-based identification and diagnosis of a porcine model of induced endotoxic shock with hemofiltration; ; et al in Mathematical Biosciences (2008), 216(2), 132-139 Detailed reference viewed: 12 (4 ULg) Model-Based Ladar ATR Using Functional TemplatesVerly, Jacques ![]() Conference (1996, September) Detailed reference viewed: 6 (1 ULg) Model-based Monitoring of Septic Shock Treated with Large-Pore Hemofiltration Therapy; ; et al in Proceedings of BMS 2012 (2012) Detailed reference viewed: 4 (0 ULg) Model-Based Multifactor Dimensionality Reduction for detecting epistasis in case-control data in the presence of noiseCattaert, Tom ; ; et alin Annals of Human Genetics (2011), 75(1), 78-89 Detailed reference viewed: 102 (56 ULg) |
||