Now showing items 1-11 of 11

    • Local and global causal discovery methods for observational data with discrete variables 

      Vetró, Mihály; Hullám, Gábor (2021)
      Identifying causal relationships based on observational data is challenging, because in the absence of interventions (i.e. experiments), causal discovery algorithms have to tackle the problem of observational equivalence. ...
    • Model-Driven Development of Heterogeneous Cyber-Physical Systems 

      Csuvarszki, János Csanád; Graics, Bence; Vörös, András (2021)
      Cyber-physical systems (CPS) are becoming more prevalent for the reliable execution of critical tasks, e.g., in the aerospace and medical fields. The development of such systems is challenging, due to the heterogeneity of ...
    • Qualitative reasoning assisted empirical system identification 

      Földvári, András; Pataricza, András (2021)
      The design and operation of modern IT-based systems especially cyber-physical systems (CPS), need modelbased approaches due to their complexity. However, the limited faithfulness of pure analytic models with speculative ...
    • Compensation of the major drawback of oscillometric blood pressure measurement 

      Nagy, Péter; Jobbágy, Ákos (2021)
      Oscillometric blood pressure measurement is one of the most commonly used methods to estimate the state of the cardiovascular system. Despite its widespread use, accuracy of the oscillometric method is influenced by several ...
    • Uncertainty approximation in neural networks using parameter-space proximity regularization 

      Vetró, Mihály; Hullám, Gábor (2021)
      A common question regarding the application of neural networks is whether the predictions of the model are reliable, in other words, what is the degree of uncertainty of our model. Generalizing a neural network into a ...
    • Towards Interactive Learning for Model-based Software Engineering 

      Barcsa-Szabó, Áron; Várady, Balázs; Farkas, Rebeka; Molnár, Vince; Vörös, András (2021)
      Model-based technologies improve the efficiency of the design and development of IT systems by making it possible to automate verification, code generation and system analysis based on a formal model. A simple way of ...
    • Bayesian Network Multimorbidity Models in COVID-19 Mortality 

      Nagy, Tamás; Bruncsics, Bence; Antal, Péter (2021)
      Clusters of multimorbidities indicate common molecular and physiological causal mechanisms, which can help to identify promising targets for novel drugs and treatments. We analyzed the comorbidities for COVID-19 death cases ...
    • Detection of facial microexpressions 

      Révy, Gábor; Hullám, Gábor; Hadházi, Dániel (2021)
      Facial microexpressions are instantaneous features signaling various details regarding the emotional and mental state of human beings. A key property of such features is that their interpretation as signals is the same or ...
    • Investigating Static Analyzers Detection Capabilities on Ethereum Smart Contracts 

      Staderini, Mirko; Bondavalli, Andrea (2021)
      Ethereum smart contracts had ever-increasing development in recent years. Hidden vulnerabilities can not be patched once a smart contract is deployed on a blockchain because of the code immutability. The use of static ...
    • Using Auction Mechanism for Assigning Parking Lots to Autonomous Vehicles 

      Alekszejenkó, Levente; Dobrowiecki, Tadeusz (2021)
      Considering that the Connected Autonomous Vehicles (CAVs) of the future can choose arbitrary parking lots when being idle, parking lot assignment for CAVs will be a challenging task. Auctions are computationally efficient ...
    • Modelling a CubeSat-based Space Mission and its Operation 

      Batista, Carlos L. G.; Mattiello-Francisco, Fátima (2021)
      Since the early 2000’ years, the CubeSats have been growing and getting more and more “space” in the Space industry. Their short development schedule, low cost equipment and piggyback launches create a new way to access ...