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.

[WiP] Sentiment Analysis Electronic Healthcare System Based on Heart Rate Monitoring Smart Bracelet

Abstract: Electronic healthcare devices are much more used as the years pass. The lives of pregnant women who suffer from preeclampsia, as well as the ones of the persons who have cardiac diseases can be sustained through the use of a smart bracelet which closely monitors their health state. The designed bracelet does this, while sending the receiving data towards the associated smart phone and then to the system's server. The server analysis automatically the received health parameters and informs the associated relatives, caregivers and the doctor in case of an emergency by sending an SMS. The bracelet's user can write about the current health symptoms and the medical experience. Sentiment analysis is used for determining if a critical situation has been outlined. In case this happened, an SMS alert is sent to the doctor. This close bond between the patient and doctor enhances the well-being of individuals.

Early Detection of Preeclampsia based on a Machine Learning Approach

Abstract: Preeclampsia is one of the death causes of pregnant women and their unborn children. Preventive measures should be taken for detecting the illness as early as possible. The current paper determines the presence of preeclampsia using a non-invasive approach. The blood pressure measurements are generated using a smart bracelet which is part of the i-bracelet Eurostars project, "Intelligent bracelet for blood pressure monitoring and detection of preeclampsia". The considered input data are the age, weight and blood pressure measurements of every pregnant woman. The prediction model comprised a series of hidden states. The Viterbi algorithm was used to determine the presence of a certain hidden state, namely preeclampsia. The accuracy, sensitivity and specificity values of the tested solution prove that it is useful in remote and hospital settings.

Teeth labeling from CBCT data using the Circular Hough Transform

Abstract: In this paper, we explore the possibilities to detect and label straightforward the teeth in Cone Beam Computed Tomography images, without performing complex segmentation procedures on teeth. We are using the Circular Hough Transform (CHT) to find the teeth positions, segmentation using intensity level to determine the mandible and deformable templates to find the best fit position for the teeth on the mandible. The dental arch is split into 16 regions and the teeth are labeled by their position in a given region.

Hypertension Detection based on Machine Learning

Abstract: The paper presents the occurrence of high blood pressure for three categories of persons, namely the normal population, patients with hypertension, and pregnant women with or without hypertension and preeclampsia in the context of a proposed healthcare system. The input data is public and it is provided by the Massachusetts University Amherst and National Health and Nutrition Survey. The data have been processed using four machine learning classifiers, namely Gaussian Naive Bayes, Logistic regression, Random Forest and Support Vector Machines. The criteria of the analysis are based on the absence or occurrence of hypertension, precision, recall, F1-score and population indicators. For the analyzed cases, the persons who did not present high blood pressure have been correctly detected, while half of the cases for which hypertension was present, proved to be true. As a conclusion, the automatic detection of healthcare parameters that exceed the allowed thresholds and are determined based on machine learning proves to be important for monitoring and prevention of critical health issues of the persons who belong to diverse categories.

Method for measuring the heart rate through fingertip using a low-end video camera and its application in self care

Abstract: This article presents a method for monitoring the heart rate using a low-end video camera. The user places the fingertip on the camera lens and the software detects the periodic variations in light intensity caused by the pulsation of blood in the capillary tissue. The measurement technique is based on extracting beat-to-beat intervals by passing the color intensity average through a processing pipeline comprised of six stages. Our tests indicate a measurement error below 3 bpm, when compared to commonly available home care devices. We present a possible application of our method in the area of stress diagnosis and treatment. The application can be used at home to monitor personal health and enable individuals to perform enhanced self care.

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