Browsing BME MIT PhD Minisymposium, 2022, 29th by Title
Now showing items 1-18 of 18
-
An Initial Performance Analysis of Graph Predicate Evaluation over Partial Models
(2022)Graph-based modeling tools are widely used during the design, analysis and verification of complex critical systems. Those tools enables the automation of several design steps (e.g., by model transformation), and the early ... -
Application of Coherence Function to the Analysis of Compressive Sensing
(2022)Compressive sensing has been developed for the sampling of sparse or compressible signals. Strong theorems state that when a signal is sufficiently sparse, its samples can be accurately recovered from random sub-Nyquist ... -
Approximate Time-Optimal Model Predictive Control of a SCARA Robot: A Case Study
(2022)This paper investigates, based on a case study of a SCARA robot, how time-optimal point-to-point motion can be approximately realized using a model predictive control formulation that has low computational complexity. ... -
Bayesian Analysis of Multi-Target Genetic Markers Using Hierarchical Phenotypic Data
(2022)Hierarchical data is ubiquitous in healthcare, but taking advantage of hierarchic information is still an open problem. We demonstrate the strengths and weaknesses of Bayesian multilevel analysis (BMLA) in this scenario ... -
Dependability Modeling of Cyber-Physical Systems in the Gamma Framework
(2022)Cyber-physical systems (CPS) can be found everywhere: smart homes, autonomous vehicles, aircrafts, healthcare, agriculture, and industrial production lines. CPSs are often critical, as system failure can cause serious ... -
Design of an Audio Frequency Range Distributed Data Acquisition System Prototype
(2022)Use of packet-based real-time audio and video transmission gets more and more common nowadays. These systems consist of precisely synchronized distributed nodes, the synchronization is usually done using the IEEE 1588 ... -
Heterogeneous Federated CubeSat System: Problems, Constraints and Capabilities
(2022)Different arguments were being presented in the last decade about CubeSats and their applications. Some of them address wireless communication (5G and 6G technologies) trying to achieve better characteristics as coverage ... -
Intrabody Communication Methods – A Short Overview
(2022)This paper is an introduction to underlying mechanisms and the current state of technologies in the field of intrabody communication (IBC). IBC technologies utilize the human body as a communication channel to achieve ... -
Investigating the Combined Application of Mendelian Randomization and Constraint-Based Causal Discovery Methods
(2022)Mendelian randomization (MR) is often used in medical studies and biostatistics, to reveal direct causation effects between exposures and diseases, typically the effect of some exposure (like chemicals, habits and other ... -
Physical Activity Recognition Based on Machine Learning
(2022)The following paper presents a comparison study of various machine learning techniques in recognition of activities of daily living (ADL), with special attention being given to movements during human falling and the ... -
Pole Optimization of IIR Filters Using Backpropagation
(2022)Audio signal processing is a field where specialized techniques are used to account for the characteristics of hearing. In filter design the resulting transfer function need to follow the specification on an approximately ... -
Semantically Enabled Design for Edge Cyber Physical Systems
(2022)Sensor and computational diversity and redundancy enable radically different implementations of the same functionality in the field and edge domains of cyber-physical systems (CPSs). This diversity and redundancy will also ... -
The Conceptual Framework of a Privacy-Aware Federated Data Collecting and Learning System
(2022)The federated learning methods offer a strong background of fusing and publishing simultaneously collected data. One of the most challenging problems in federated learning is to hide the identity of the participants. ... -
The Effect of Transition Granularity in the Model Checking of Reactive Systems
(2022)The Theta model checking framework offers the eXtended Symbolic Transition System (XSTS) formalism as a target language for the transformation of high-level models to verify. In XSTS, multiple symbolic transitions can be ... -
Towards Hand-Over-Face Gesture Detection
(2022)Facial microexpressions are immediately appearing reactions on the face that indicate various details about people's mental and emotional states. Their most important property is that their interpretation is identical or ... -
Using Dimension Reduction Methods on the Latent Space of Molecules
(2022)De novo molecule design is the process of generating novel chemicals based on a dataset of drug-like molecules. This method has gained popularity in recent decades. Developing drug-like molecules is both costly and ... -
Using Invertible Plugins in Autoencoders for Fast and Customizable Post-training Optimization
(2022)One of the main motivations for modern drug research is the production of new compounds that act as drugs, however developing a new drug is an excessively time and resource intensive process. Deep generative neural networks ... -
ZKP-Based Audit for Blockchain Systems Managing Central Bank Digital Currency
(2022)Central Bank Digital Currency (CBDC) systems are being developed around the world and production solutions can be expected in the near future. Should a central bank allow handling of CBDC on a ledger that is not under its ...