Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

Integrated Sensing Architectures and Tools for Health Care

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Compilation flow for classically defined quantum operations

Author(s): B. Schmitt, A. Javadi-Abhari and G. De Micheli
Published in: DATE 2021, 2021
Publisher: IEEE

From Boolean functions to quantum circuits: A scalable quantum compilation flow in C++

Author(s): B. Schmitt, F. Mozafari, G. Meuli, H. Riener, G. De Micheli
Published in: DATE 2021, 2021
Publisher: IEEE

Three-Input Gates for Logic Synthesis

Author(s): D. S. Marakkalage, E. Testa, H. Riener, A. Mishchenko, M. Soeken, G. De Micheli
Published in: IWLS 2020, San Francisco, USA (virtual), 2020
Publisher: IEEE

A Flexible Front-End for Wearable Electrochemical Sensing (opens in new window)

Author(s): Ivan Ny Hanitra, Lucia Lobello, Francesca Stradolini, Abuduwaili Tuoheti, Francesca Criscuolo, Tugba Kilic, Danilo Demarchi, Sandro Carrara, Giovanni De Micheli
Published in: 2018 IEEE International Symposium on Medical Measurements and Applications (MeMeA), 2018, Page(s) 1-6, ISBN 978-1-5386-3392-2
Publisher: IEEE
DOI: 10.1109/memea.2018.8438787

A best-fit mapping algorithm to facilitate ESOP-decomposition in Clifford+T quantum network synthesis (opens in new window)

Author(s): Giulia Meuli, Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli
Published in: 2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC), 2018, Page(s) 664-669, ISBN 978-1-5090-0602-1
Publisher: IEEE
DOI: 10.1109/ASPDAC.2018.8297398

A Compiler for Parallel and Resource-Constrained Programmable in-Memory Computing

Author(s): Meuli, Giulia; Soeken, Mathias; Gaillardon, Pierre-Emmanuel; De Micheli, Giovanni
Published in: Proceedings of the 26th International Workshop on Logic & Synthesis (IWLS), 2017
Publisher: IWLS

A novel electrochemical sensor for non-invasive monitoring of lithium levels in mood disorders (opens in new window)

Author(s): Francesca Criscuolo, Irene Taurino, Sandro Carrara, Giovanni De Micheli
Published in: 2018 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2018, Page(s) 3825-3828, ISBN 978-1-5386-3646-6
Publisher: IEEE
DOI: 10.1109/embc.2018.8513315

An electrochemical sensor for quantitative analysis of Rhesus D antibodies in blood (opens in new window)

Author(s): Francesca Criscuolo, Irene Taurino, Tugba Kilic, Sandro Carrara, Giovanni De Micheli
Published in: 2017 7th IEEE International Workshop on Advances in Sensors and Interfaces (IWASI), 2017, Page(s) 236-240, ISBN 978-1-5090-6707-7
Publisher: IEEE
DOI: 10.1109/IWASI.2017.7974261

Classifying Functions with Exact Synthesis (opens in new window)

Author(s): Winston Haaswijk, Eleonora Testa, Mathias Soeken, Giovanni De Micheli
Published in: 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL), 2017, Page(s) 272-277, ISBN 978-1-5090-5496-1
Publisher: IEEE
DOI: 10.1109/ISMVL.2017.44

Developing synthesis flows without human knowledge (opens in new window)

Author(s): Cunxi Yu, Houping Xiao, Giovanni De Micheli
Published in: Proceedings of the 55th Annual Design Automation Conference on - DAC '18, 2018, Page(s) 1-6, ISBN 9781-450357005
Publisher: ACM Press
DOI: 10.1145/3195970.3196026

Enabling exact delay synthesis (opens in new window)

Author(s): Luca Amaru, Mathias Soeken, Patrick Vuillod, Jiong Luo, Alan Mishchenko, Pierre-Emmanuel Gaillardon, Janet Olson, Robert Brayton, Giovanni De Micheli
Published in: 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2017, Page(s) 352-359, ISBN 978-1-5386-3093-8
Publisher: IEEE
DOI: 10.1109/ICCAD.2017.8203799

End-to-End Industrial Study of Retiming (opens in new window)

Author(s): Cunxi Yu, Chau-Chin Huang, Gi-Joon Nam, Mihir Choudhury, Victor N. Kravets, Andrew Sullivan, Maciej Ciesielski, Giovanni De Micheli
Published in: 2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2018, Page(s) 203-208, ISBN 978-1-5386-7099-6
Publisher: IEEE
DOI: 10.1109/isvlsi.2018.00046

Generating Safety Guidance for Medical Injection with Three-Compartment Pharmacokinetics Model (opens in new window)

Author(s): Cunxi Yu, Heinz Riener, Francesca Stradolini, Giovanni De Micheli
Published in: 2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2018, Page(s) 299-304, ISBN 978-1-5386-7099-6
Publisher: IEEE
DOI: 10.1109/isvlsi.2018.00062

Inverter Propagation and Fan-Out Constraints for Beyond-CMOS Majority-Based Technologies (opens in new window)

Author(s): Eleonora Testa, Odysseas Zografos, Mathias Soeken, Adrien Vaysset, Mauricio Manfrini, Rudy Lauwereins, Giovanni De Micheli
Published in: 2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2017, Page(s) 164-169, ISBN 978-1-5090-6762-6
Publisher: IEEE
DOI: 10.1109/ISVLSI.2017.37

LUT Mapping and Optimization for Majority-Inverter Graphs

Author(s): Haaswijk, Winston Jason; Soeken, Mathias; Amaru, Luca; Gaillardon, Pierre-Emmanuel; De Micheli, Giovanni
Published in: Proceedings of the 25th International Workshop on Logic & Synthesis (IWLS), 2016
Publisher: IWLS

SAT based exact synthesis using DAG topology families (opens in new window)

Author(s): Winston Haaswijk, Alan Mishchenko, Mathias Soeken, Giovanni De Micheli
Published in: Proceedings of the 55th Annual Design Automation Conference on - DAC '18, 2018, Page(s) 1-6, ISBN 9781-450357005
Publisher: ACM Press
DOI: 10.1145/3195970.3196111

Wave pipelining for majority-based beyond-CMOS technologies (opens in new window)

Author(s): O. Zografos, A. De Meester, E. Testa, M. Soeken, P.-E. Gaillardon, G. De Micheli, L. Amaru, P. Raghavan, F. Catthoor, R. Lauwereins
Published in: Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017, 2017, Page(s) 1306-1311, ISBN 978-3-9815370-8-6
Publisher: IEEE
DOI: 10.23919/DATE.2017.7927195

Busy man's synthesis: Combinational delay optimization with SAT (opens in new window)

Author(s): Mathias Soeken, Giovanni De Micheli, Alan Mishchenko
Published in: Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017, 2017, Page(s) 830-835, ISBN 978-3-9815370-8-6
Publisher: IEEE
DOI: 10.23919/date.2017.7927103

Size Optimization of MIGs with an Application to QCA and STMG Technologies (opens in new window)

Author(s): Heinz Riener, Eleonora Testa, Luca Amaru, Mathias Soeken, Giovanni De Micheli
Published in: Proceedings of the 14th IEEE/ACM International Symposium on Nanoscale Architectures - NANOARCH '18, 2018, Page(s) 157-162, ISBN 9781-450358156
Publisher: ACM Press
DOI: 10.1145/3232195.3232202

Functional decomposition using majority (opens in new window)

Author(s): Zhufei Chu, Mathias Soeken, Yinshui Xia, Giovanni De Micheli
Published in: 2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC), 2018, Page(s) 676-681, ISBN 978-1-5090-0602-1
Publisher: IEEE
DOI: 10.1109/aspdac.2018.8297400

SAT-Based Combinational and Sequential Dependency Computation (opens in new window)

Author(s): Mathias Soeken, Pascal Raiola, Baruch Sterin, Bernd Becker, Giovanni De Micheli, Matthias Sauer
Published in: HVC 2016: Hardware and Software: Verification and Testing, 2016, Page(s) 1-17
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-49052-6_1

Inversion optimization in Majority-Inverter Graphs (opens in new window)

Author(s): Eleonora Testa, Mathias Soeken, Odysseas Zografos, Luca Gaetano Amarù, Praveen Raghavan, Rudy Lauwereins, Pierre-Emmanuel Gaillardon, Giovanni De Micheli
Published in: Nanoarch 2016, 2016
Publisher: IEEE
DOI: 10.1145/2950067.2950072

On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis (opens in new window)

Author(s): Heinz Riener, Winston Haaswijk, Alan Mishchenko, Giovanni De Micheli, Mathias Soeken
Published in: 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2019, Page(s) 1649-1654, ISBN 978-3-9819263-2-3
Publisher: IEEE
DOI: 10.23919/date.2019.8715185

Reversible Pebbling Game for Quantum Memory Management (opens in new window)

Author(s): Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj Bjorner, Giovanni De Micheli
Published in: 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2019, Page(s) 288-291, ISBN 978-3-9819263-2-3
Publisher: IEEE
DOI: 10.23919/date.2019.8715092

Scalable Generic Logic Synthesis - One Approach to Rule Them All (opens in new window)

Author(s): Heinz Riener, Eleonora Testa, Winston Haaswijk, Alan Mishchenko, Luca Amarù, Giovanni De Micheli, Mathias Soeken
Published in: Proceedings of the 56th Annual Design Automation Conference 2019, 2019, Page(s) 1-6, ISBN 9781-450367257
Publisher: ACM
DOI: 10.1145/3316781.3317905

Scalable Boolean Methods in a Modern Synthesis Flow (opens in new window)

Author(s): Eleonora Testa, Luca Amaru, Mathias Soeken, Alan Mishchenko, Patrick Vuillod, Jiong Luo, Christopher Casares, Pierre-Emmanuel Gaillardon, Giovanni De Micheli
Published in: 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2019, Page(s) 1643-1648, ISBN 978-3-9819263-2-3
Publisher: IEEE
DOI: 10.23919/date.2019.8714776

Reducing the Multiplicative Complexity in Logic Networks for Cryptography and Security Applications

Author(s): E. Testa, M. Soeken, L. Amaru, G. De Micheli
Published in: 2019
Publisher: IEEE

All-solid-state Reference Electrodes for analytical applications (opens in new window)

Author(s): Francesca Criscuolo, Marco Galfione, Sandro Carrara, Giovanni De Micheli
Published in: 2019 IEEE 8th International Workshop on Advances in Sensors and Interfaces (IWASI), 2019, Page(s) 66-69, ISBN 978-1-7281-0557-4
Publisher: IEEE
DOI: 10.1109/iwasi.2019.8791382

Multi-Target Electrolyte Sensing Front-End for Wearable Physical Monitoring (opens in new window)

Author(s): Ivan Ny Hanitra, Francesca Criscuolo, Sandro Carrara, Giovanni De Micheli
Published in: 2019 15th Conference on Ph.D Research in Microelectronics and Electronics (PRIME), 2019, Page(s) 249-252, ISBN 978-1-7281-3549-6
Publisher: IEEE
DOI: 10.1109/prime.2019.8787768

Flexible sweat sensors for non-invasive optimization of lithium dose in psychiatric disorders (opens in new window)

Author(s): Francesca Criscuolo, Filippo Cantu, Irene Taurino, Sandro Carrara, Giovanni De Micheli
Published in: 2019 IEEE SENSORS, 2019, Page(s) 1-4, ISBN 978-1-7281-1634-1
Publisher: IEEE
DOI: 10.1109/sensors43011.2019.8956598

A Logic Synthesis Toolbox for Reducing the Multiplicative Complexity in Logic Networks (opens in new window)

Author(s): Eleonora Testa, Mathias Soeken, Heinz Riener, Luca Amaru, Giovanni De Micheli
Published in: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2020, Page(s) 568-573, ISBN 978-3-9819263-4-7
Publisher: IEEE
DOI: 10.23919/date48585.2020.9116467

Multiplier Architectures: Challenges and Opportunities with Plasmonic-based Logic : (Special Session Paper) (opens in new window)

Author(s): Eleonora Testa, Samantha Lubaba Noor, Odysseas Zografos, Mathias Soeken, Francky Catthoor, Azad Naeemi, Giovanni De Micheli
Published in: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2020, Page(s) 133-138, ISBN 978-3-9819263-4-7
Publisher: IEEE
DOI: 10.23919/date48585.2020.9116490

Logic Optimization of Majority-Inverter GraphsH. Riener, E. Testa, W. Haaswijk, A. Mishchenko, L. Amarú, G. De Micheli, and M. Soeken

Author(s): H. Riener, E. Testa, W. Haaswijk, A. Mishchenko, L. Amarú, G. De Micheli, and M. Soeken
Published in: 2019
Publisher: VDE Verlag

The Complexity of Self-Dual Monotone 7-Input Functions

Author(s): Testa, Eleonora ; Haaswijk, Winston Jason ; Soeken, Mathias ; De Micheli, Giovanni
Published in: 2019
Publisher: IWLS

Symbolic Algorithms for Token Swapping (opens in new window)

Author(s): Bruno Schmitt, Mathias Soeken, Giovanni De Micheli
Published in: 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), 2020, Page(s) 28-33, ISBN 978-1-7281-5406-0
Publisher: IEEE
DOI: 10.1109/ismvl49045.2020.00-34

Emulator Design and Generation of Synthetic Dataset in Multi-Ion Sensing (opens in new window)

Author(s): Ivan Ny Hanitra, Danilo Demarchi, Sandro Carrara, Giovanni De Micheli
Published in: 2020 IEEE International Symposium on Circuits and Systems (ISCAS), 2020, Page(s) 1-5, ISBN 978-1-7281-3320-1
Publisher: IEEE
DOI: 10.1109/iscas45731.2020.9181217

All-solid-state ion-selective electrodes: a tutorial for correct practice (opens in new window)

Author(s): Francesca Criscuolo, Mandresy Ivan Ny Hanitra, Irene Taurino, Sandro Carrara, Giovanni De Micheli
Published in: IEEE Sensors Journal, 2021, Page(s) 1-1, ISSN 1530-437X
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/jsen.2021.3099209

Extending Boolean Methods for Scalable Logic Synthesis (opens in new window)

Author(s): Eleonora Testa, Luca Amaru, Mathias Soeken, Alan Mishchenko, Patrick Vuillod, Pierre-Emmanuel Gaillardon, Giovanni De Micheli
Published in: IEEE Access, Issue 8, 2020, Page(s) 226828-226844, ISSN 2169-3536
Publisher: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2020.3045014

Wearable multifunctional sweat-sensing system for efficient healthcare monitoring (opens in new window)

Author(s): Francesca Criscuolo, Ivan Ny Hanitra, Simone Aiassa, Irene Taurino, Nicolò Oliva, Sandro Carrara, Giovanni De Micheli
Published in: Sensors and Actuators B: Chemical, Issue 328, 2021, Page(s) 129017, ISSN 0925-4005
Publisher: Elsevier BV
DOI: 10.1016/j.snb.2020.129017

Graphene nanowalls for high-performance chemotherapeutic drug sensing and anti-fouling properties (opens in new window)

Author(s): Ioulia Tzouvadaki, Nima Aliakbarinodehi, Diana Dávila Pineda, Giovanni De Micheli, Sandro Carrara
Published in: Sensors and Actuators B: Chemical, Issue 262, 2018, Page(s) 395-403, ISSN 0925-4005
Publisher: Elsevier BV
DOI: 10.1016/j.snb.2018.02.036

Highly Sensitive Enzymatic MWCNTs-Based Biosensors for Detection of Abiraterone in Human Serum (opens in new window)

Author(s): Nima Aliakbarinodehi, Giovanni De Micheli, Sandro Carrara
Published in: BioNanoScience, Issue 8/2, 2018, Page(s) 675-679, ISSN 2191-1630
Publisher: Springer Science + Business Media
DOI: 10.1007/s12668-017-0393-3

Highly-stable Li + ion-selective electrodes based on noble metal nanostructured layers as solid-contacts (opens in new window)

Author(s): Francesca Criscuolo, Irene Taurino, Francesca Stradolini, Sandro Carrara, Giovanni De Micheli
Published in: Analytica Chimica Acta, Issue 1027, 2018, Page(s) 22-32, ISSN 0003-2670
Publisher: Elsevier BV
DOI: 10.1016/j.aca.2018.04.062

Pairs of majority-decomposing functions (opens in new window)

Author(s): Mathias Soeken, Eleonora Testa, Alan Mishchenko, Giovanni De Micheli
Published in: Information Processing Letters, Issue 139, 2018, Page(s) 35-38, ISSN 0020-0190
Publisher: Elsevier BV
DOI: 10.1016/j.ipl.2018.07.004

Mapping Monotone Boolean Functions into Majority (opens in new window)

Author(s): Eleonora Testa, Mathias Soeken, Luca Amaru, Winston Haaswijk, Giovanni De Micheli
Published in: IEEE Transactions on Computers, 2018, Page(s) 1-1, ISSN 0018-9340
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tc.2018.2881245

Aptamer-based Field-Effect Biosensor for Tenofovir Detection (opens in new window)

Author(s): N. Aliakbarinodehi, P. Jolly, N. Bhalla, A. Miodek, G. De Micheli, P. Estrela, S. Carrara
Published in: Scientific Reports, Issue 7, 2017, Page(s) 44409, ISSN 2045-2322
Publisher: Nature Publishing Group
DOI: 10.1038/srep44409

Surface trap mediated electronic transport in biofunctionalized silicon nanowires (opens in new window)

Author(s): F Puppo, F L Traversa, M Di Ventra, G De Micheli, S Carrara
Published in: Nanotechnology, Issue 27/34, 2016, Page(s) 345503, ISSN 0957-4484
Publisher: Institute of Physics Publishing
DOI: 10.1088/0957-4484/27/34/345503

Fast Procedures for the Electrodeposition of Platinum Nanostructures on Miniaturized Electrodes for Improved Ion Sensing (opens in new window)

Author(s): Francesca Criscuolo, Irene Taurino, Van Dam, Francky Catthoor, Marcel Zevenbergen, Sandro Carrara, Giovanni De Micheli
Published in: Sensors, Issue 19/10, 2019, Page(s) 2260, ISSN 1424-8220
Publisher: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/s19102260

Multichannel Front-End for Electrochemical Sensing of Metabolites, Drugs, and Electrolytes (opens in new window)

Author(s): Ivan Ny Hanitra, Francesca Criscuolo, Nadezda Pankratova, Sandro Carrara, Giovanni De Micheli
Published in: IEEE Sensors Journal, Issue 20/7, 2020, Page(s) 3636-3645, ISSN 1530-437X
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/jsen.2019.2959885

SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism (opens in new window)

Author(s): Winston Haaswijk, Mathias Soeken, Alan Mishchenko, Giovanni De Micheli
Published in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Issue 39/4, 2020, Page(s) 871-884, ISSN 0278-0070
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tcad.2019.2897703

LUT-Based Hierarchical Reversible Logic Synthesis (opens in new window)

Author(s): Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli
Published in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Issue 38/9, 2019, Page(s) 1675-1688, ISSN 0278-0070
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tcad.2018.2859251

Advanced Functional Decomposition Using Majority and Its Applications (opens in new window)

Author(s): Zhufei Chu, Mathias Soeken, Yinshui Xia, Lunyao Wang, Giovanni De Micheli
Published in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2019, Page(s) 1-1, ISSN 0278-0070
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tcad.2019.2925392

Cyber-Medical Systems: Requirements, Components and Design Examples (opens in new window)

Author(s): Giovanni De Micheli
Published in: IEEE Transactions on Circuits and Systems I: Regular Papers, 2017, Page(s) 1-11, ISSN 1549-8328
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/TCSI.2017.2694465

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0