Nicolae Goga

Bio: Nicolae Goga is an academic researcher from Politehnica University of Bucharest. The author has contributed to research in topics: Computer science & Ontology (information science). The author has an hindex of 14, co-authored 117 publications receiving 1328 citations. Previous affiliations of Nicolae Goga include Eindhoven University of Technology & University of Bucharest.

Prediction of COVID-19 Patients Recovery using Ensemble Machine Learning and Vital Signs Data Collected by Novel Wearable Device

Abstract: During the spread of a pandemic such as COVID-19, the effort required of health institutions increases dramatically. Generally, Health systems’ response and efficiency depend on monitoring vital signs such as blood oxygen level, heartbeat, and body temperature. At the same time, remote health monitoring and wearable health technologies have revolutionized the concept of effective healthcare provision from a distance. However, analyzing such a large amount of medical data in time to provide the decision-makers with necessary health procedures is still a challenge. In this research, a wearable device and monitoring system are developed to collect real data from more than 400 COVID-19 patients. Based on this data, three classifiers are implemented using two ensemble classification techniques (Adaptive Boosting and Adaptive Random Forest). The analysis of collected data showed a remarkable relationship between the patient’s age and chronic disease on the one hand and the speed of recovery on the other. The experimental results indicate a highly accurate performance for Adaptive Boosting classifiers, reaching 99%, while the Adaptive Random Forest got a 91% accuracy metric © 2022. International Journal of Advanced Computer Science and Applications.All Rights Reserved.

Experimenting with the probabilistic TorX

Abstract: In [4] we proposed a generalization of the TorX test derivation algorithm with probabilities. This paper extends the theoretical work from [4], by presenting experimental results obtained with the probabilistic TorX. The experiment with the Conference Protocol case study confirms that the extension of the algorithm with explicit probabilities leads to improvements in the tests generated with respect to the chances of finding errors in the implementation.

QUESTOR -- Automatic Searching for Reports

Abstract: Vast arrays of reporting are nowadays in use, allowing ever increasing flexibility and control over the displayed results. However, as IT developed and became available to all business domains, the number of reports used by companies started to challenge the possibility of good management. The European funded project Questor aims to create a revolutionary product that will eliminate the complexities inherent in the report management workflow. The motivation of this project is to substitute the time consuming manual search for information in reports with an automatic one. The final purpose is to make querying the report database as simple as addressing a question in natural language. This paper gives an overview over the concept of the Questor project, its software architecture and its preliminary results.

Blockchain-Enabled Economic Transactions: Recurring Financial Accruals and Payments

Abstract: Economic transactions are based upon implicit or explicit contracts that set out the rights and obligations of the parties to the transactions. Blockchain technology can address fundamental financial, economic, and accounting challenges. We propose a blockchain-based prototype capable of capturing the essence of recurring economic transactions. For this purpose, we have devised an asset rental contract to show how economic transactions are recorded and tracked more effectively, efficiently, and in quasi-real-time, thus changing the traditional way of account keeping and auditing. We use the Ethereum blockchain as the most evolved and widely used smart contract platform. We showcase a significant discovery related to current blockchain technology limitations to making automatic non-custodial recurring payments. We show how the prototype can be extended to a range of recurring transactions.

Securing the Network for a Smart Bracelet System

Abstract: Digital instruments play a vital role in our daily life. It is a routine to produce business papers, watch the news program, write articles and blogs, manage healthcare systems, to purchase online, to send messages and all this is processed by making observations and then manipulating, receiving and availing the diverse data. This electronic data provides the foundation of real time data. All this transmission of data needs to be secured. Security is essential for healthcare systems as the present one where the blood pressure recordings provided by the smart bracelet are sent to the user's mobile phone via Bluetooth. The bracelet monitors the pregnant women, but also other users who wish to have their blood pressure under control. The system's server analyses the recordings and announces the user, as well as the associated persons to the user in case of an emergency. The doctors, the medical staff, user and user's family and caregivers have access to the health recordings belonging to the monitored user. Security is a main feature of the electronic healthcare system based on the smart bracelet.

The knowledge-creating company : how Japanese companies create the dynamics of innovation

Abstract: How has Japan become a major economic power, a world leader in the automotive and electronics industries? What is the secret of their success? The consensus has been that, though the Japanese are not particularly innovative, they are exceptionally skilful at imitation, at improving products that already exist. But now two leading Japanese business experts, Ikujiro Nonaka and Hiro Takeuchi, turn this conventional wisdom on its head: Japanese firms are successful, they contend, precisely because they are innovative, because they create new knowledge and use it to produce successful products and technologies. Examining case studies drawn from such firms as Honda, Canon, Matsushita, NEC, 3M, GE, and the U.S. Marines, this book reveals how Japanese companies translate tacit to explicit knowledge and use it to produce new processes, products, and services.

Tools and Algorithms for the Construction and Analysis of Systems. Proc. TACAS 2009

Abstract: ing WS1S Systems to Verify Parameterized Networks . . . . . . . . . . . . 188 Kai Baukus, Saddek Bensalem, Yassine Lakhnech and Karsten Stahl FMona: A Tool for Expressing Validation Techniques over Infinite State Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204 J.-P. Bodeveix and M. Filali Transitive Closures of Regular Relations for Verifying Infinite-State Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 220 Bengt Jonsson and Marcus Nilsson Diagnostic and Test Generation Using Static Analysis to Improve Automatic Test Generation . . . . . . . . . . . . . 235 Marius Bozga, Jean-Claude Fernandez and Lucian Ghirvu Efficient Diagnostic Generation for Boolean Equation Systems . . . . . . . . . . . . 251 Radu Mateescu Efficient Model-Checking Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 266 Jean-Pierre Krimm and Laurent Mounier Checking for CFFD-Preorder with Tester Processes . . . . . . . . . . . . . . . . . . . . . . . 283 Juhana Helovuo and Antti Valmari Fair Bisimulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 299 Thomas A. Henzinger and Sriram K. Rajamani Integrating Low Level Symmetries into Reachability Analysis . . . . . . . . . . . . . 315 Karsten Schmidt Model-Checking Tools Model Checking Support for the ASM High-Level Language . . . . . . . . . . . . . . 331 Giuseppe Del Castillo and Kirsten Winter Table of

Improved Parameters for the Martini Coarse-Grained Protein Force Field

Abstract: The Martini coarse-grained force field has been successfully used for simulating a wide range of (bio)molecular systems. Recent progress in our ability to test the model against fully atomistic force fields, however, has revealed some shortcomings. Most notable, phenylalanine and proline were too hydrophobic, and dimers formed by polar residues in apolar solvents did not bind strongly enough. Here, we reparametrize these residues either through reassignment of particle types or by introducing embedded charges. The new parameters are tested with respect to partitioning across a lipid bilayer, membrane binding of Wimley–White peptides, and dimerization free energy in solvents of different polarity. In addition, we improve some of the bonded terms in the Martini protein force field that lead to a more realistic length of α-helices and to improved numerical stability for polyalanine and glycine repeats. The new parameter set is denoted Martini version 2.2.

Perspective on the Martini model.

Abstract: The Martini model, a coarse-grained force field for biomolecular simulations, has found a broad range of applications since its release a decade ago. Based on a building block principle, the model combines speed and versatility while maintaining chemical specificity. Here we review the current state of the model. We describe recent highlights as well as shortcomings, and our ideas on the further development of the model.

Computational Lipidomics with insane: A Versatile Tool for Generating Custom Membranes for Molecular Simulations

Abstract: For simulations of membranes and membrane proteins, the generation of the lipid bilayer is a critical step in the setup of the system. Membranes comprising multiple components pose a particular challenge, because the relative abundances need to be controlled and the equilibration of the system may take several microseconds. Here we present a comprehensive method for building membrane containing systems, characterized by simplicity and versatility. The program uses preset, coarse-grain lipid templates to build the membrane, and also allows on-the-fly generation of simple lipid types by specifying the headgroup, linker, and lipid tails on the command line. The resulting models can be equilibrated, after which a relaxed atomistic model can be obtained by reverse transformation. For multicomponent membranes, this provides an efficient means for generating equilibrated atomistic models. The method is called insane, an acronym for INSert membrANE. The program has been made available, together with the complemen...