Publications related to Integrated Systems Laboratory (STI/IC)

Efficient Lung Nodule Detection via 3D Deep Learning with Shifted Convolutions

The high computational costs of deep convolutional neural networks hinder their deployment in real-world applications, including pulmonary nodule detection from CT scans where large 3D image sizes amplify the issue. This paper presents a novel 3D method to ...

IEEE2023

In vitro-transfusional model for red-blood-cell study: the advantage of lowering hematocrit

Gerardo Turcatti, David Crettaz, Michel Prudent, Manon Sandra Bardyn

Background - Thequalityof red blood cells (RBCs) stored in red cell concentrates (RCCs) is influenced by processing, storage and donor characteristics, and can have a clinical impact on transfused patients. To evaluate RBC properties and their potential im ...

Simtipro Srl2023

A multichannel versatile brain activity classification and closed loop neuromodulation system, device and method using a highly multiplexed mixed-signal front-end

Mahsa Shoaran, Uisub Shin, Bingzhao Zhu

A closed-loop neuromodulation system, including an electrode array that is implantable to a brain of a subject, analog front-end device (AFD) for selectively selecting and reading a plurality of channels from electrode array, a finite impulse response (FIR ...

2023

Multivariate patterns of disrupted sleep longitudinally predict affective vulnerability to psychosis in 22q11.2 Deletion Syndrome

Maude Schneider, Farnaz Delavari

22q11.2 deletion syndrome (22q11DS) contributes dramatically to increased genetic risk for psychopathology, and in particular schizophrenia. Sleep disorders, including obstructive sleep apnea (OSA), are also highly prevalent, making 22q11DS a unique model ...

ELSEVIER IRELAND LTD2023

Wild Patterns Reloaded: A Survey of Machine Learning Security against Training Data Poisoning

Kathrin Grosse, Sebastiano Vascon

The success of machine learning is fueled by the increasing availability of computing power and large training datasets. The training data is used to learn new models or update existing ones, assuming that it is sufficiently representative of the data that ...

2023

Classification of patients with cardiac amyloidosis using machine learning models on Italian electronic clinical health records

Silvestro Micera, Sara Mazzucato

Amyloidosis refers to a range of medical conditions in which misshapen proteins accumulate in various organs and tissues, forming insoluble fibrils. Cardiac amyloidosis is frequently linked to the buildup of misfolded transthyretin (TTR) or immunoglobulin ...

New York2023

Fab-to-fab and run-to-run variability in 130 nm and 65 nm CMOS technologies exposed to ultra-high TID

Jean-Michel Sallese, Adil Koukab, Gennaro Termo, Stefano Michelis

The discovery of a large fab-to-fab variability in the TID response of the CMOS technologies used in the design of ASICs for the particle detectors of the HL-LHC triggered a monitoring effort to verify the consistency of the CMOS production process over ti ...

IOP Publishing Ltd2023

Fast in vivo assay of creatine kinase activity in the human brain by P-31 magnetic resonance fingerprinting

Lijing Xin, Daniel Wenz, Mark Stephan Widmaier, Songi Lim

A new and efficient magnetisation transfer P-31 magnetic resonance fingerprinting (MT-P-31-MRF) approach is introduced to measure the creatine kinase metabolic rate kCK

{k}_{\mathrm{CK}}

between phosphocreatine (PCr) and adenosine triphosphate (ATP) i ...

WILEY2023

Signatures of a sampling quantum advantage in driven quantum many-body systems

A crucial milestone in the field of quantum simulation and computation is to demonstrate that a quantum device can perform a computation task that is classically intractable. A key question is to identify setups that can achieve such goal within current te ...

IOP Publishing Ltd2023

LISA – A Modern Proof System

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...

2023

Integrated Systems Laboratory (STI/IC)

Graph Chatbot

Chat with Graph Search

Efficient Lung Nodule Detection via 3D Deep Learning with Shifted Convolutions

In vitro-transfusional model for red-blood-cell study: the advantage of lowering hematocrit

A multichannel versatile brain activity classification and closed loop neuromodulation system, device and method using a highly multiplexed mixed-signal front-end

Multivariate patterns of disrupted sleep longitudinally predict affective vulnerability to psychosis in 22q11.2 Deletion Syndrome

Wild Patterns Reloaded: A Survey of Machine Learning Security against Training Data Poisoning

Classification of patients with cardiac amyloidosis using machine learning models on Italian electronic clinical health records

Fab-to-fab and run-to-run variability in 130 nm and 65 nm CMOS technologies exposed to ultra-high TID

Fast in vivo assay of creatine kinase activity in the human brain by P-31 magnetic resonance fingerprinting

Signatures of a sampling quantum advantage in driven quantum many-body systems

LISA – A Modern Proof System

Efficient Lung Nodule Detection via 3D Deep Learning with Shifted Convolutions

Multivariate patterns of disrupted sleep longitudinally predict affective vulnerability to psychosis in 22q11.2 Deletion Syndrome

In vitro-transfusional model for red-blood-cell study: the advantage of lowering hematocrit

Wild Patterns Reloaded: A Survey of Machine Learning Security against Training Data Poisoning

A multichannel versatile brain activity classification and closed loop neuromodulation system, device and method using a highly multiplexed mixed-signal front-end

Fast in vivo assay of creatine kinase activity in the human brain by P-31 magnetic resonance fingerprinting

Fab-to-fab and run-to-run variability in 130 nm and 65 nm CMOS technologies exposed to ultra-high TID

Signatures of a sampling quantum advantage in driven quantum many-body systems

Classification of patients with cardiac amyloidosis using machine learning models on Italian electronic clinical health records

LISA – A Modern Proof System