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.

Security of an Electronic Heal Thcare System which Facilitates the Detection of Preeclampsia Through a Smart Bracelet

Abstract: Security is and has always been a critical part in any software application, even though most developers and consumers do not realize it's importance. Now when technology is more widespread than ever, when a major vulnerability in a critical application can take confidential details, and with the rise of more and more malicious third parties, security is needed more than ever to guarantee the integrity of the software product as well as the privacy and safety of the client. Security is very important for healthcare applications as the current one where the blood pressure values which are taken through a smart bracelet are sent to the user's mobile phone through Bluetooth and are stored on a server for the further use via an electronic system. The pregnant women can monitor their current condition, as well as the users who suffer from hypo and hypertension. The doctors, the medical staff, and their students have access to the health recordings of their patients. The users, their family and their caregivers can view in real time the current situation and monitor the state of the pregnant woman or the person associated to them. Security plays an important role and needs to be integrated inside the electronic healthcare system.

Methods for multiscale modeling of membranes

Abstract: Multiscale modeling is a recent approach to simulating molecular systems, such as membranes and liposomes, in which different levels of detail are combined. By using distinct models, it is often possible to speed up or enrich the sampling of a given system. Examples are the use in molecular dynamics simulations of both coarse-grained and fine-grained representations, either simultaneously or alternating in time or space domains. Another possible example is the combination of Monte Carlo and molecular dynamics simulations. This chapter reviews the existing proposed methods of multiscale modeling and simulation and also presents new insights into this fascinating new trend.

Customized Test Data Generator for HL7v3 based Healthcare Information Systems

Abstract: Test effectiveness is a fundamental quality aspect of a test specification, which reflects its ability to demonstrate system quality levels and discover system faults. The effectiveness is tightly linked with the quality of the test data. The paper highlights specific challenges related to testing eHealth applications and emphasizes the difficulties in testing HL7v3 based applications. This paper presents a new approach on generating input test data sets: a highly customizable distance-based test data generator. The paper highlights the importance of having organized structures of test data and shows how the proposed test data generator uses adaptable distances to create clusters of test data. The generator is designed to create test data in a testing language independent format and provide means of conversion to the format used by the target testing language. A general architecture of this generator is presented, and implementation guidelines are proposed. The paper also presents the conclusions drawn from validating the generator in a real scenario.

Novel Design and Implementation of a Vehicle Controlling and Tracking System

Abstract: The purpose of this project is to build a system that will quickly track the location of a stolen vehicle, thereby reducing the cost and effort of police. Moreover, the vehicle’s computer system can be controlled remotely by the owners of the vehicle or police. More precisely, the goal of this work is to design a, develop remote control of the vehicle, and find the locations with Latitude (LAT) and Longitude (LONG).

Medical Social Media Systems - Implementation of the Android Application

Abstract: The use of cutting-edge technologies such as the smartphones, smart bracelets, social media, and m-Health, and also mobile applications has begun to increase in medicinal services areas, due to factors such as the low cost, usability, mobility, multiple uses, and being reliable. This encouraged health institutions to increase their investment in healthcare technologies. This article presents the implementation of an integrated architecture for a mobile healthcare system, which is called Medical social media system. This system integrates wearable sensors, smartphones, and oriented social media, so as to enhance the healthcare services in the Iraqi environment. The system can be used by smartphones, running on the Android system and smart-watches. In addition, the website can be utilized by devices like desktops, notebooks, tablets, and smartphones which can be utilized maximally for data collection and analysis via user-system interactivity, utilizes wearable sensors, smartphones that automatically collect life activities information, such as exercises information like heart rate, the breathing rate, and body temperature. In order to provide healthcare services to patients, and medical workers in the Iraqi healthcare sector, the infrastructure still needs to significantly develop, and medical information needs to be shared amidst medical workers and to individuals in general. Moreover, it has been designed to store collected data in a database and to be able to produce reports to users.

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