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

Molecular dynamics simulations are done to observe the behavior of the dynamics at microscopic level of systems during a period of nanoseconds. Advanced computation is done for a large number of degrees of freedom which belong to the atoms. The coarse-grained systems have larger components compared to the fine-grained systems. This article outlines an innovative version of the adaptive resolution scheme which connects the coarse-grained system with the fine-grained system based on a force interpolation scheme, taking into consideration a constant which maintains the temperature of the system around the value of 323 K degrees. The Hamiltonian derivation has been used for expressing the interactions which appear inside the system. The novel solution has been tested on the butane system and implemented in the GROMACS molecular dynamics software. The introduction of the constant in the Hamiltonian derivation lead to the creation of a thermostat for the butane system.

Adaptive Resolution Molecular Dynamics Simulation with Constant in H

In [L. Feijs, et al., 2000] we proposed a generalization of the TorX test derivation algorithm with probabilities. The current work extends the theoretical work from [L. Feijs, et al., 2000], by presenting experimental results obtained with the probabilistic TorX. The experiment with the distributed 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.

Probabilistic testing for a distributed conference protocol

Computing methods for solving problems effectively are the essence of continual improvement in computer based learning. The aim of this article is to present a new computational approach in solving problems of an organization by stepwise computer assisted finding a reliable solution. The new approach that we propose is to use Kumar's algorithm for supremal controllable supervisor and pattern recognition to find the optimal solution. Having Euclidian plane geometry as an universal language, we will exemplify the new model by taking an example from it. By dividing the types of the problems in various categories we will try to find patterns and to use them for faster problem solving.

http://www.computer.org/csdl/proceedings/icccnt/2015/7984/00/07395243.pdf

Towards a new computing problem solving model for organizations

The covid-19 pandemic brought the need to reduce human interaction so in order to facilitate the interaction with the doctors but reduce unnecessary trips to a medical specialty, and have a better understanding of the investigation result, we present our approach of a medical test interpreter, integrated with a symptom checker. Our system aims to provide a temporary solution for diagnostic a condition until the patient reaches a doctor, so a proper diagnose can be made. This system can also be used in low-income countries were access to healthcare is limited and people discover diseases too late.

Medical System for Tests Analysis and Symptom Checker

Serious games are an integral part of our modern life. They are mainly used as tools for training individuals in different fields such as industrial, automotive, or in medical domain. The current research presents an interesting approach on the use of serious games. The main concept is based on the use of serious games to showcase multiple series of kinesiotherapy movements meant to prevent medical problems like arthritis, posture disorders, acute or chronic pain, muscle strength conditions or work-related injuries. The application presented in this paper offers the users the possibility to execute specific kinesiotherapy movements from home, after an initial session with the therapist for a in depth explanation of the application and the purpose of the exercises. This application would improve the quality of life of individuals as it would provide an alternative solution to normal sessions of kinesiotherapy and prevent usual problems caused by sedentarism or muscle injuries.

Nicolae Goga

Papers

Adaptive Resolution Molecular Dynamics Simulation with Constant in H

Probabilistic testing for a distributed conference protocol

Towards a new computing problem solving model for organizations

Medical System for Tests Analysis and Symptom Checker

Computer Kinesiotherapy Movement Simulator