A5010681685- Logic, programming, and type systems
- Electronic Health Records Systems
- Anomaly Detection Techniques and Applications
- Biomedical Text Mining and Ontologies
- Semantic Web and Ontologies
- Natural Language Processing Techniques
- Distributed systems and fault tolerance
- Logic, Reasoning, and Knowledge
- Clinical practice guidelines implementation
- Genetic and Kidney Cyst Diseases
- Fault Detection and Control Systems
- Image Processing Techniques and Applications
- semigroups and automata theory
- Medical research and treatments
- Historical and socio-economic studies of Spain and related regions
- Online Learning and Analytics
- Advanced Wireless Network Optimization
- Embedded Systems and FPGA Applications
- Social Sciences and Policies
- Image Retrieval and Classification Techniques
- Space Satellite Systems and Control
- Tuberous Sclerosis Complex Research
- Educational Tools and Methods
- Stuttering Research and Treatment
- Ear Surgery and Otitis Media
University of Gothenburg
2024
King's College London
2014-2023
Onze Lieve Vrouwziekenhuis Hospital
2023
Kennedy Space Center
2004-2013
Foster-Miller (United States)
2013
Universidad Rey Juan Carlos
2008
The Graduate Center, CUNY
2004-2005
Orange (France)
2003
Recent advancements in deep learning (DL) have propelled the virtual transformation of microscopy images across optical modalities, enabling unprecedented multimodal imaging analysis hitherto impossible. Despite these strides, integration such algorithms into scientists' daily routines and clinical trials remains limited, largely due to a lack recognition within their respective fields plethora available methods. To address this, we present structured overview cross-modality transformations,...
Clinical decision support (CDS) systems (CDSSs) that integrate clinical guidelines need to reflect real-world co-morbidity. In patient-specific contexts, transparent recommendations allow for contraindications and other conflicts arising from co-morbidity are a requirement. this work, we develop evaluate non-proprietary, standards-based approach the deployment of computable with explainable argumentation, integrated commercial electronic health record (EHR) system in Serbia, middle-income...
Data transfer on the UMTS downlink can be done either through dedicated channels (DCH) or shared channel (FACH). The data transfers DCHs receive very high throughputs. However, a setup time of order 250 ms is required before begin DCH. For short it may better to use channel. for long sessions might allocate In this paper, we propose threshold policy determine which should channels. Initially, FACH given connection. Then if get an indication that current burst (for example, observe queue from...
The aim of this study was to evaluate the physical, textural and general acceptability characteristics energy bars made with quinoa grains (Chenopodium Willd), kiwicha (Amaranthus caudatus L.) chia seeds (Salvia hispanica L.). To obtain combinations treatments, a simplex expanded centroid mixture design used, considering as components: (Q: 70 -80%), (K: 10 -20%) (C: -20%). statistical analysis reported that proportion Q:K:C significantly affected hardness, fracturability, chewiness,...
A key challenge in point-of-care clinical trial recruitment is to autonomously identify eligible patients on presentation. Similarly, the aim of computable phenotyping those individuals within a population that exhibit certain condition. This synergy creates an opportunity leverage phenotypes identifying for trials. To investigate feasibility this approach, we use Transform platform and replace its archetype-based eligibility criteria mechanism with phenotype execution microservice....
Background Acute otitis media is a painful infection of the middle ear that commonly seen in children. In some children, eardrum spontaneously bursts, discharging visible pus (otorrhoea) into outer ear. Objective To compare clinical effectiveness immediate topical antibiotics or delayed oral with reducing symptom duration children presenting to primary care acute discharge and economic impact alternative strategies. Design This was pragmatic, three-arm, individually randomised (stratified by...
An intelligent visual system prototype was built to detect anomalies or defects in real time under normal lighting operating conditions. The application is basically a learning machine that integrates fuzzy logic (FL), artificial neural network (ANN), and genetic algorithm (GA) schemes process the image, run process, finally defects. acquires performs segmentation separate object being tested from background, preprocesses image using reasoning, final reasoning techniques retrieve regions...
Imaging techniques based on Soft Computing (SC) and developed at Kennedy Space Center (KSC) have been implemented a variety of prototype applications related to the safety operation Shuttle during liftoff process. These SC-based include detection tracking moving Foreign Objects Debris (FOD) liftoff, visual anomaly slidewires used in emergency egress system for laJlIlch pad, distant birds approaching launch pad. This image analysis capability KSC was also analyze images acquired accident...
During the last decade, service-oriented paradigm has been considered one of most promising technologies for cross-organizational integration. One more challenging aspects this purpose is design and implementation coordination between services, which appears to be complex using current low-level technologies. Service choreography stands out among existing alternatives. Its main features include fact that every participant service same relevance, therefore none them master over rest. This...
We present a translation function from nominal rewriting systems (NRSs) to combinatory reduction (CRSs), transforming closed rules and ground terms CRSs terms, respectively, while preserving the relation. also provide reduction-preserving in other direction, NRSs, improving over previously defined translation. These tools, together with existing translations between higher-order formalisms, open up path for transfer of results rewriting. In particular, techniques properties relation, such as...
A set of imaging techniques based on the fuzzy reasoning (FR) approach was built for NASA at Kennedy Space Center (KSC) to perform complex real-time visual-related safety prototype tasks, such as detection and tracking moving foreign objects debris (FOD) during Shuttle liftoff visual anomaly slidewires used in emergency egress system launch pad. The capability well analysis Columbia accident. These FR-based include novel adaptive image segmentation, edge extraction, enhancement. Commercially...
Abstract Background Within-consultation recruitment to primary care trials is challenging. Ensuring procedures are efficient and self-explanatory the key optimising recruitment. Trial software that integrates with electronic health record support partially automate becoming more common. If it works well, such can greater participation trial designs. An innovative outcomes was designed Runny Ear randomised controlled trial, comparing topical, oral delayed antibiotic treatment for acute otitis...
I. Abstract A. Objective Clinical Decision Support (CDS) systems (CDSSs) that integrate clinical guidelines need to reflect real-world co-morbidity. In patient-specific contexts, transparent recommendations allow for contraindications and other conflicts arising from co-morbidity are a requirement. We aimed develop evaluate non-proprietary, standards-based approach the deployment of computable with explainable argumentation, integrated commercial Electronic Health Record (EHR) system in...
You have accessJournal of UrologyCME1 Apr 2023V05-03 CLAMPLESS AND SUTURELESS ROBOT-ASSISTED PARTIAL NEPHRECTOMY FOR THE TREATMENT OF FIFTEEN BILATERAL RENAL LESIONS IN A PATIENT WITH VON HIPPEL-LINDAU SYNDROME Maria Peraire Lores, Jesús Domínguez, Angelo Mottaran, Marco Paciotti, Carlo Bravi, Luca Sarchi, Luigi Nocera, Adele Piro, Rui Farinha, Ruben De Groote, and Alexandre Mottrie LoresMaria Lores More articles by this author , DomínguezJesús Domínguez MottaranAngelo Mottaran PaciottiMarco...
Linearizability is a standard correctness criterion for concurrent algorithms, typically proved by establishing the algorithms' linearization points. However, relying on points leads to proofs that are implementation-dependent, and thus hinder abstraction reuse. In this paper we show one can develop more declarative foregoing instead technique of axiomatization visibility relations. While relations have been considered before, ours first study where challenge formalize helping nature...
Linearizability is a standard correctness criterion for concurrent algorithms, typically proved by establishing the algorithms' linearization points (LP). However, LPs often hinder abstraction, and some algorithms such as timestamped stack, it unclear how to even identify their LPs. In this paper, we show develop declarative proofs of linearizability foregoing instead employing axiomatization so-called visibility relations. While relations have been considered before our study first derive...