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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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...

Publications

Share this page

Download