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.

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

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

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

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.

/pdf/improved-parameters-for-the-martini-coarse-grained-protein-4ecsxredvf.pdf

Improved Parameters for the Martini Coarse-Grained Protein Force Field

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.

/pdf/perspective-on-the-martini-model-48a9823w5f.pdf

Perspective on the Martini model.

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

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

Information technology evolved as the years passed by, while interoperability of healthcare information systems remains a challenge. The current paper proposes the conceptualization of a software application based on the Health Level 7 Fast Healthcare Interoperability Resources standard. The intelligent solution named Formisio incorporates the creation of questionnaires that are used to gather medical data, as well as for quantitative research purposes. The paper outlines the system architecture components and the focus was put on components which are related to front end question editor, web based and mobile questionnaire version, back-end editor logic and questions results analyzers. The questionnaires are created and stored in the HL7 FHIR Questionnaire format. The obtained results are saved as HL7 FHIR QuestionnaireResponse resources. Furthermore, medical questionnaires are generated for various types of HL7 FHIR resources.

Conceptualization of an Intelligent HL7 Application based on Questionnaire Generation and Editing

The use of computers for experiment has offered the ability to study the behavior of substances at the microscopic level providing understanding into the physical phenomena we face This has raised questions on resources and the mechanisms that are employed to provide effective analysis of simulation results In view of this, various approaches in addressing these challenges have been experimented with which coarse-graining is a major factor Coarse-grain simulations reduces the detail level of simulations but offers larger time steps and required properties, among other merits, in the modeling of complex structures like carbohydrates This research paper provides a conceptual model whereby the potentials that result from coarse grain and fine grain simulations can be combined using the theories of multi-scaling A demonstration of the simulation of sucrose, a carbohydrate, is provided using the martini force field for the simulation process

A conceptual modelling for combining potentials in both coarse grain and fine grain sugar molecules

In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, by constructing a special guide process that limits the behaviour of the original system. We set up a theoretical framework in which we prove under some sufficient conditions that the adjusted system (with the added guide process) exhibits a subset of the behaviour of the original system, and has no new deadlocks. We have applied this technique to a Promela specification of the IEEE 1394.1 FireWire net update algorithm. The experiment shows that this technique increases the error detecting power of Spin in the sense that we found errors in the guided specification, which could not be discovered with Spin simulation and validation in the original specification.

Guiding Spin simulation

The objective of this work is to present a comparison between the Old Testament and the New Testament in terms of knowledge extraction and ontology learning. It is a knows fact that these two books have many differences in term of size, practice of worship, prophecy and there is also a difference in the time period when they were written. By applying the ontology learning and knowledge extraction methods we were interested do see if these differences are revealed and what are the similarities among them. Ontology learning can be applied for the semantic analysis of text, in order to extract concepts, relations, which can be further used for automated summaries or critical comparison. Such activities are important in education as they can allow dynamic creation of content or analyses that can be further used in the educational process. Since ontology-learning methods require large corpus of unstructured data, we have chosen the Bible as source for the text. In this way, the new developed methods are validated, and they can be used successfully in other educational domains. The Bible is the religious text of Christians and Jews. The Bible contains a collection of scriptures that was written by many authors, at different time and locations. Computationally, the Bible contains semi-structured information due to its organized structure of scriptures and numbered chapters. We have used Text2Onto as the main tool in order to obtain the most relevant concepts from the New Testament and then from The Old Testament. After that we analyze the most relevant concepts and the range of similarity for each domain identified in the New Testament and in The Old Testament. We can mention that there are no studies reported in the literature using ontology extraction for this religious domain. Those methods can be employed for automatic generation of content that can be further used in the educational process.

Extracting Knowledge from the Bible: A Comparison between the Old and the New Testament

In this article we present a new thermostat - theory and simulation results - obtained by combining two thermostats Berendsen and DPD types. The new thermostat provides a predictable behavior with temperatures that do not deviate from the reference and with thermal rate constant agreement between simulations and theory. The presented work can be used for the study of polymer properties.

Nicolae Goga

Papers

Conceptualization of an Intelligent HL7 Application based on Questionnaire Generation and Editing

A conceptual modelling for combining potentials in both coarse grain and fine grain sugar molecules

Guiding Spin simulation

Extracting Knowledge from the Bible: A Comparison between the Old and the New Testament

Combining Berendsen Thermostat with Dissipative Particle Dynamics (DPD) for Polymer Simulation