Showing 1–11 of 11 results for author: Bernardo, P

Energy-Efficient Seizure Detection Suitable for low-power Applications

Authors: Julia Werner, Bhavya Kohli, Paul Palomero Bernardo, Christoph Gerum, Oliver Bringmann

Abstract: Epilepsy is the most common, chronic, neurological disease worldwide and is typically accompanied by reoccurring seizures. Neuro implants can be used for effective treatment by suppressing an upcoming seizure upon detection. Due to the restricted size and limited battery lifetime of those medical devices, the employed approach also needs to be limited in size and have low energy requirements. We p… ▽ More Epilepsy is the most common, chronic, neurological disease worldwide and is typically accompanied by reoccurring seizures. Neuro implants can be used for effective treatment by suppressing an upcoming seizure upon detection. Due to the restricted size and limited battery lifetime of those medical devices, the employed approach also needs to be limited in size and have low energy requirements. We present an energy-efficient seizure detection approach involving a TC-ResNet and time-series analysis which is suitable for low-power edge devices. The presented approach allows for accurate seizure detection without preceding feature extraction while considering the stringent hardware requirements of neural implants. The approach is validated using the CHB-MIT Scalp EEG Database with a 32-bit floating point model and a hardware suitable 4-bit fixed point model. The presented method achieves an accuracy of 95.28%, a sensitivity of 92.34% and an AUC score of 0.9384 on this dataset with 4-bit fixed point representation. Furthermore, the power consumption of the model is measured with the low-power AI accelerator UltraTrail, which only requires 495 nW on average. Due to this low-power consumption this classification approach is suitable for real-time seizure detection on low-power wearable devices such as neural implants. △ Less

Submitted 19 June, 2024; originally announced June 2024.

Comments: Accepted at IJCNN 2024 (Preprint)

The PLATO Mission

Authors: Heike Rauer, Conny Aerts, Juan Cabrera, Magali Deleuil, Anders Erikson, Laurent Gizon, Mariejo Goupil, Ana Heras, Jose Lorenzo-Alvarez, Filippo Marliani, Cesar Martin-Garcia, J. Miguel Mas-Hesse, Laurence O'Rourke, Hugh Osborn, Isabella Pagano, Giampaolo Piotto, Don Pollacco, Roberto Ragazzoni, Gavin Ramsay, Stéphane Udry, Thierry Appourchaux, Willy Benz, Alexis Brandeker, Manuel Güdel, Eduardo Janot-Pacheco , et al. (801 additional authors not shown)

Abstract: PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observati… ▽ More PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observations from the ground, planets will be characterised for their radius, mass, and age with high accuracy (5 %, 10 %, 10 % for an Earth-Sun combination respectively). PLATO will provide us with a large-scale catalogue of well-characterised small planets up to intermediate orbital periods, relevant for a meaningful comparison to planet formation theories and to better understand planet evolution. It will make possible comparative exoplanetology to place our Solar System planets in a broader context. In parallel, PLATO will study (host) stars using asteroseismology, allowing us to determine the stellar properties with high accuracy, substantially enhancing our knowledge of stellar structure and evolution. The payload instrument consists of 26 cameras with 12cm aperture each. For at least four years, the mission will perform high-precision photometric measurements. Here we review the science objectives, present PLATO's target samples and fields, provide an overview of expected core science performance as well as a description of the instrument and the mission profile at the beginning of the serial production of the flight cameras. PLATO is scheduled for a launch date end 2026. This overview therefore provides a summary of the mission to the community in preparation of the upcoming operational phases. △ Less

Submitted 8 June, 2024; originally announced June 2024.

A Configurable and Efficient Memory Hierarchy for Neural Network Hardware Accelerator

Authors: Oliver Bause, Paul Palomero Bernardo, Oliver Bringmann

Abstract: As machine learning applications continue to evolve, the demand for efficient hardware accelerators, specifically tailored for deep neural networks (DNNs), becomes increasingly vital. In this paper, we propose a configurable memory hierarchy framework tailored for per layer adaptive memory access patterns of DNNs. The hierarchy requests data on-demand from the off-chip memory to provide it to the… ▽ More As machine learning applications continue to evolve, the demand for efficient hardware accelerators, specifically tailored for deep neural networks (DNNs), becomes increasingly vital. In this paper, we propose a configurable memory hierarchy framework tailored for per layer adaptive memory access patterns of DNNs. The hierarchy requests data on-demand from the off-chip memory to provide it to the accelerator's compute units. The objective is to strike an optimized balance between minimizing the required memory capacity and maintaining high accelerator performance. The framework is characterized by its configurability, allowing the creation of a tailored memory hierarchy with up to five levels. Furthermore, the framework incorporates an optional shift register as final level to increase the flexibility of the memory management process. A comprehensive loop-nest analysis of DNN layers shows that the framework can efficiently execute the access patterns of most loop unrolls. Synthesis results and a case study of the DNN accelerator UltraTrail indicate a possible reduction in chip area of up to 62.2% as smaller memory modules can be used. At the same time, the performance loss can be minimized to 2.4%. △ Less

Submitted 24 April, 2024; originally announced April 2024.

Comments: accepted at MBMV 2024 - 27. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"

Hardware Accelerator and Neural Network Co-Optimization for Ultra-Low-Power Audio Processing Devices

Authors: Christoph Gerum, Adrian Frischknecht, Tobias Hald, Paul Palomero Bernardo, Konstantin Lübeck, Oliver Bringmann

Abstract: The increasing spread of artificial neural networks does not stop at ultralow-power edge devices. However, these very often have high computational demand and require specialized hardware accelerators to ensure the design meets power and performance constraints. The manual optimization of neural networks along with the corresponding hardware accelerators can be very challenging. This paper present… ▽ More The increasing spread of artificial neural networks does not stop at ultralow-power edge devices. However, these very often have high computational demand and require specialized hardware accelerators to ensure the design meets power and performance constraints. The manual optimization of neural networks along with the corresponding hardware accelerators can be very challenging. This paper presents HANNAH (Hardware Accelerator and Neural Network seArcH), a framework for automated and combined hardware/software co-design of deep neural networks and hardware accelerators for resource and power-constrained edge devices. The optimization approach uses an evolution-based search algorithm, a neural network template technique, and analytical KPI models for the configurable UltraTrail hardware accelerator template to find an optimized neural network and accelerator configuration. We demonstrate that HANNAH can find suitable neural networks with minimized power consumption and high accuracy for different audio classification tasks such as single-class wake word detection, multi-class keyword detection, and voice activity detection, which are superior to the related work. △ Less

Submitted 29 September, 2022; v1 submitted 8 September, 2022; originally announced September 2022.

Comments: Accepted Version for: EUROMICRO DSD 2022

PCrystalX -- Web Application

Authors: Pablo L Bernardo

Abstract: PCrystalX-Web is a web application developed to be easy and fast to use. The purpose of the software is that researchers from any area are able to use two methods to analyze an X-ray diffraction pattern more straightforwardly. With the full width at half maximum (FWHM) as a function of 2$θ$ for each peak, it is possible to estimate the crystallite size by the Scherrer equation and apply the Willia… ▽ More PCrystalX-Web is a web application developed to be easy and fast to use. The purpose of the software is that researchers from any area are able to use two methods to analyze an X-ray diffraction pattern more straightforwardly. With the full width at half maximum (FWHM) as a function of 2$θ$ for each peak, it is possible to estimate the crystallite size by the Scherrer equation and apply the Williamson-Hall methods. PCrystalX-Web is a simplified version of the PCrystalX Software [1] program, which is still under development. △ Less

Submitted 17 April, 2022; originally announced April 2022.

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms

Authors: Lorenzo Veronese, Benjamin Farinier, Pedro Bernardo, Mauro Tempesta, Marco Squarcina, Matteo Maffei

Abstract: The complexity of browsers has steadily increased over the years, driven by the continuous introduction and update of Web platform components, such as novel Web APIs and security mechanisms. Their specifications are manually reviewed by experts to identify potential security issues. However, this process has proved to be error-prone due to the extensiveness of modern browser specifications and the… ▽ More The complexity of browsers has steadily increased over the years, driven by the continuous introduction and update of Web platform components, such as novel Web APIs and security mechanisms. Their specifications are manually reviewed by experts to identify potential security issues. However, this process has proved to be error-prone due to the extensiveness of modern browser specifications and the interplay between new and existing Web platform components. To tackle this problem, we developed WebSpec, the first formal security framework for the analysis of browser security mechanisms, which enables both the automatic discovery of logical flaws and the development of machine-checked security proofs. WebSpec, in particular, includes a comprehensive semantic model of the browser in the Coq proof assistant, a formalization in this model of ten Web security invariants, and a toolchain turning the Coq model and the Web invariants into SMT-lib formulas to enable model checking with the Z3 theorem prover. If a violation is found, the toolchain automatically generates executable tests corresponding to the discovered attack trace, which is validated across major browsers. We showcase the effectiveness of WebSpec by discovering two new logical flaws caused by the interaction of different browser mechanisms and by identifying three previously discovered logical flaws in the current Web platform, as well as five in old versions. Finally, we show how WebSpec can aid the verification of our proposed changes to amend the reported inconsistencies affecting the current Web platform. △ Less

Submitted 1 September, 2022; v1 submitted 5 January, 2022; originally announced January 2022.

Comments: Submitted to IEEE S&P '23 on 19 Aug 2022

Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks

Authors: Amir Naseredini, Stefan Gast, Martin Schwarzl, Pedro Miguel Sousa Bernardo, Amel Smajic, Claudio Canella, Martin Berger, Daniel Gruss

Abstract: In this paper, we analyze the security of programming languages and their execution environments (compilers and interpreters) with respect to Spectre attacks. The analysis shows that only 16 out of 42 execution environments have mitigations against at least one Spectre variant, i.e., 26 have no mitigations against any Spectre variant. Using our novel tool Speconnector, we develop Spectre proof-of-… ▽ More In this paper, we analyze the security of programming languages and their execution environments (compilers and interpreters) with respect to Spectre attacks. The analysis shows that only 16 out of 42 execution environments have mitigations against at least one Spectre variant, i.e., 26 have no mitigations against any Spectre variant. Using our novel tool Speconnector, we develop Spectre proof-of-concept attacks in 8 programming languages and on code generated by 11 execution environments that were previously not known to be affected. Our results highlight some programming languages that are used to implement security-critical code, but remain entirely unprotected, even three years after the discovery of Spectre. △ Less

Submitted 24 November, 2021; originally announced November 2021.

Experimentally correlating thermal hysteresis and phase compatibility in multifunctional Heusler alloys

Authors: Alberto A. Mendonça, Luis Ghivelder, Pablo L. Bernardo, Hanlin Gu, Richard D. James, Lesley F. Cohen, Angelo M. Gomes

Abstract: Thermal hysteresis is recognized as one of the main drawbacks for cyclical applications of magnetocaloric and ferromagnetic shape memory materials with first order transformations. As such, the challenge is to develop strategies that improve the compatibility between the phases involved in the transitions and study its influence on thermal hysteresis. With this purpose, we explore the thermal, str… ▽ More Thermal hysteresis is recognized as one of the main drawbacks for cyclical applications of magnetocaloric and ferromagnetic shape memory materials with first order transformations. As such, the challenge is to develop strategies that improve the compatibility between the phases involved in the transitions and study its influence on thermal hysteresis. With this purpose, we explore the thermal, structural and magnetic properties of the Ni2Mn1-xCuxGa0.84Al0.16 Heusler alloys. The alloys present a thermal hysteresis reduction of ~60% when the Cu content in the compound varies from x = 0.10 to x = 0.25, with a minimum hysteresis width of 6 K being achieved. We applied the geometric non-linear theory of martensite to address the phase compatibility, quantified by the parameter lambda2, the middle eigenvalue of the transformation stretch tensor, and found that the minimum of hysteresis is associated with a better crystallographic compatibility (lambda2 closer to 1) between the austenite and martensite phases. In addition, we show that the valley-like properties of hysteresis found in the Ni2Mn1-xCuxGa0.84Al0.16 compounds is present in several other alloys in the literature. These results provide new pathways to understand as well as to masters the phase compatibility and ultimately achieve a low thermal hysteresis in multifunctional Heusler alloys. △ Less

Submitted 15 July, 2020; originally announced July 2020.

Comments: 29 pages and 8 figures

Journal ref: Phys. Rev. Materials 4, 114403 (2020)

Melting of Spin Ice state through structural disorder in Dy2Zr2O7

Authors: J. G. A. Ramon, C. W. Wang, L. Ishida, P. L. Bernardo, M. M. Leite, F. M. Vichi, J. S. Gardner, R. S. Freitas

Abstract: Neutron scattering, a.c. magnetic susceptibility and specific heat studies have been carried out on polycrystalline Dy2Zr2O7. Unlike the pyrochlore spin ice Dy2Ti2O7, Dy2Zr2O7 crystallizes into the fluorite structure and the magnetic Dy3+ moments randomly reside on the corner-sharing tetrahedral sublattice with non-magnetic Zr ions. Antiferromagnetic spin correlations develop below 10 K but remain… ▽ More Neutron scattering, a.c. magnetic susceptibility and specific heat studies have been carried out on polycrystalline Dy2Zr2O7. Unlike the pyrochlore spin ice Dy2Ti2O7, Dy2Zr2O7 crystallizes into the fluorite structure and the magnetic Dy3+ moments randomly reside on the corner-sharing tetrahedral sublattice with non-magnetic Zr ions. Antiferromagnetic spin correlations develop below 10 K but remain dynamic down to 40 mK. These correlations extend over the length of two tetrahedra edges and grow to 6 nearest neighbors with the application of a 20 kOe magnetic field. No Pauling's residual entropy was observed and by 8 K the full entropy expected for a two level system is released. We propose that the disorder melts the spin ice state seen in the chemically ordered Dy2Ti2O7 compound, but the spins remain dynamic in a disordered, liquid-like state and do not freeze into a glass-like state that one might intuitively expect. △ Less

Submitted 25 June, 2019; originally announced June 2019.

Comments: 15 pages, 7 figures

Journal ref: Phys. Rev. B 99, 214442 (2019)

Coupled magnetic and elastic properties in LaPr(CaSr)MnO manganites

Authors: G. G. Eslava, F. Parisi, P. L. Bernardo, M. Quintero, G. Leyva, L. F. Cohen, L. Ghivelder

Abstract: We investigate a series of manganese oxides, the La0.225Pr0.4(Ca1-xSrx)0.375MnO3 system. The x = 0 sample is a prototype compound for the study of phase separation in manganites, where ferromagnetic and charge ordered antiferromagnetic phases coexist. Replacing Ca2+ by Sr2+ gradually turns the system into a homogeneous ferromagnet. Our results show that the material structure plays a major role in… ▽ More We investigate a series of manganese oxides, the La0.225Pr0.4(Ca1-xSrx)0.375MnO3 system. The x = 0 sample is a prototype compound for the study of phase separation in manganites, where ferromagnetic and charge ordered antiferromagnetic phases coexist. Replacing Ca2+ by Sr2+ gradually turns the system into a homogeneous ferromagnet. Our results show that the material structure plays a major role in the observed magnetic properties. On cooling, at temperatures below 100 K, a strong contraction of the lattice is followed by an increase in the magnetization. This is observed both through thermal expansion and magnetostriction measurements, providing distinct evidence of magneto-elastic coupling in these phase separated compounds. △ Less

Submitted 12 September, 2016; v1 submitted 27 February, 2016; originally announced February 2016.

Journal ref: Physics Letters A v. 380 (38), 3107-3110, 2016

Magnetic structure driven by monoclinic distortions in the double perovskite Sr2YRuO6

Authors: P. L. Bernardo, L. Ghivelder, H. S. Amorim, J. J. Neumeier, S. Garcia

Abstract: The monoclinic double-perovskite Sr2YRuO6 has recently gained a renewed interest in order to get a deeper insight into the exotic magnetic ground states associated with geometric frustration. Striking discrepancies between the spin order derived from the neutron diffraction refinements and the macroscopic magnetic and thermal responses is a major challenge that must be addressed. In this work, det… ▽ More The monoclinic double-perovskite Sr2YRuO6 has recently gained a renewed interest in order to get a deeper insight into the exotic magnetic ground states associated with geometric frustration. Striking discrepancies between the spin order derived from the neutron diffraction refinements and the macroscopic magnetic and thermal responses is a major challenge that must be addressed. In this work, detailed neutron diffraction measurements as a function of temperature yield a completely different interpretation of the patterns. We show that at low temperatures a spin structure of the K2NiF4-type is an accessible configuration for the magnetic ground state. In the neighborhood of the magnetic transition this configuration evolves into a canted super-structure. The deduced temperature dependence of the canting angle exhibits two closely spaced peaks, which are in excellent agreement with the double peaks in the magnetic contribution to the specific heat and in the thermal expansion coefficient. We explain these features in terms of reorientation of the net ferromagnetic moment of the noncollinear spin state, due to the local breaking of the inversion symmetry promoted by the monoclinic distortions, with structural changes acting as the driving force. △ Less

Submitted 14 September, 2015; originally announced September 2015.

Comments: accepted for publication in New Journal of Physics (2015)