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.

Ontology based multi-system for SME knowledge workers

Abstract: The objective of this paper1 is to present a framework that helps small and medium enterprise to exploit their available informational space. While large enterprises contains dedicated information management departments and software, the actual software framework implementations lack orientation towards small and medium companies with fewer employees and smaller budget. We propose a framework implementation which couple with legacy data systems that are usually used by small and medium companies. By the use of ontologies, this framework implementation adds semantically enabled information integration and will also provide for the employees a work process embedded, context-sensitive information services. In this paper we focus on the framework's main architectures and present advances related to the ontology generation framework.

Knowledge Based Segmentation for Fast 3D Dental Reconstruction from CBCT

Abstract: We present in this paper a fast method for the reconstruction of the dental 3D structure using the images obtained from Cone Beam Computed Tomography (CBCT). A high-quality visualization of the dental tissues, including 3D reconstruction, is essential for the accurate diagnosis and treatment in dentistry. The segmentation for the dental CBCT images presents several major problems because of the noisiness of the images. We analyze the existing methods and propose one that uses the information for the dental structure and distribution to reduce the computational load and to provide good results in an automatic procedure.

Ontologies applied in medicine: A digital library creation framework for health literacy

Abstract: The work of this p aper is done within the context of European Project E! 8949 PrEmISES 1. One of the central pieces of PrEmISES[16] is the use of automatic tool generation algorithms for the creation of ontologies. The objective of this work is to extend the work from PrEmISES for raising the medical literacy of empowered patients by creating a digital library that contains relevant articles from different medical domain. It should be noted that a large number of persons are interested in finding relevant information about their condition. We have chosen to discuss in this research the automated generation of ontologies for the medical domain. By the use of ontologies that gives key terms from a domain, the creation of the digital library can be done by crawling from the Internet articles which are related to the profile of the user and that are based on the key terms of the ontologies. The articles from the digital library can be used by a patient to raise his / her knowledge and literacy related to his/her diseases.

Spectral forecast: A general purpose prediction model as an alternative to classical neural networks.

Abstract: Here, we describe a general-purpose prediction model. Our approach requires three matrices of equal size and uses two equations to determine the behavior against two possible outcomes. We use an example based on photon-pixel coupling data to show that in humans, this solution can indicate the predisposition to disease. An implementation of this model is made available in the supplementary material.

A New M-voting System for COVID-19 Special Situation in Iraq

Abstract: Voting is the important procedure in different countries worldwide and is essential to any consensus-dependent society [1]. Especially in the context of COVID pandemic where people stays home, such systems are very relevant today. Elections can happen for different reasons, involving choosing leaders, finishing political problems, choosing a substantial government, etc. [2]. The phenomenal using of Information Technology in the process of election is quickly earning momentum. This growth in voting systems indicated to as evoting comes with more benefits than the voting system based on paper. While there are many efforts in different parts of world regarding implementations and trials for electronic voting, there are not many researches regarding this in Asia Minor, especially Iraq. It can be noted that Iraq has several regions with difficult access and where sometime it is difficult to collect votes in the traditional way because of access reasons and post-war conditions. We want to fill this gap through the research presented in this paper. In this paper we describe an application for m-voting targeting the specific conditions of Iraq in the COVID situation. In the current society, the application of which we are talking about, can also be seen as a significant help for a numerous amount of countries during the pandemic of COVID-19. The application is based on Mobile technology. We choose mobile technology motivated by the fact that although people do not have computers, almost everyone has a mobile phone in Iraq. Moreover, the usefulness of mobiles can represent a proper way for people with disabilities to execute their legal right to vote for the future of their country.

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