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

7e Nederlandse testdag, Eindhoven, 8 November 2001 : proceedings : Dutch testing day : 7th, Eindhoven, November 8, 2001 : proceedings

In the current paper we propose to generate music with the computer according to a similar process used by the composers. Choral music is our subject of study. Each text written transmits a feeling or more feelings. Each feeling has a corresponding pattern which is used by the computer to generate music according with the text.

Feelings based computer music

The number of online orders placed by customers have increased rapidly in the last years leading to a transportation logistics problem. The order management process is a challenge for most companies which is why investing in new software smart solutions can give an advantage over competitors. In this article we present a quantitative research related to the user requirements for a software platform that deals with Planning, Optimizing and Monitoring Logistics Vehicle Fleets, which will provide insights for future development. The software platform must have functionalities which are trending on the market and take into consideration the current transportation issues. This paper is based on the work on Eureka project PN-III-P3-3.5-EUK2019-0210.

A quantitative research for determining the user requirements for an innovative route planning system targeted for the commercial vehicle fleets

Smart devices play an important role in today's society, from TVs, to vacuum cleaners, people are starting to automate more and more their daily activities. Given that the pandemic context has forced humanity not to limit itself to existing conditions, but to find new solutions in order to get over it, a special attention has been paid to the medical area. In this context, it was observed that most of the time the medical staff was overwhelmed by the large masses of patients from the ICU wards who required more attention and constant complex care. Through this paper we aim to identify the current needs of the medical sector and, based on our analysis we will propose a possible solution to reduce the overload of ICU departments. At the same time, we will focus on the impact of the pandemic on communication and interpersonal relationships, analysing the case of patients unable to connect with their families. Finally, the focus will be on the possible implementation of a solution that meets all quality standards and norms in order to be used in hospitals and to help medical staff, patients and families.

Interconnected web platform with autonomous robots for helping patients in ICU sections

Molecular dynamics facilitates the simulation of a complex system to be analyzed at molecular and atomic levels. Simulations can last a long period of time, even months. Due to this cause the graphics processing units (GPUs) and multi-core systems are used as solutions to overcome this impediment. The current paper describes a comparison done between these two kinds of systems. The first system used implies the graphics processing unit, respectively CUDA with the OpenMM molecular dynamics package and OpenCL that allows the kernels to run on the GPU. This simulation is done on a new thermostat which mixes the Berendsen thermostat with the Langevin dynamics. The second comprises the molecular dynamics simulation and energy minimization package GROMACS which is based on a parallelization through MPI (Message Passing Interface) on multi-core systems. The second simulation uses another new thermostat algorithm related respectively, dissipative particle dynamics — isotropic type (DPD-ISO). Both thermostats are innovative, based on a new theory developed by us. Results show that parallelization on multi-core systems has a performance up to 33 times greater than the one performed on the graphics processing unit. In both cases temperature of the system was maintained close to the one taken as reference. For the simulation using the CUDA GPU, the faster runtime was obtained when the number of processors was equal to four, the simulation speed being 3.67 times faster compared to the case of only one processor.

Nicolae Goga

Papers

7e Nederlandse testdag, Eindhoven, 8 November 2001 : proceedings : Dutch testing day : 7th, Eindhoven, November 8, 2001 : proceedings

Feelings based computer music

A quantitative research for determining the user requirements for an innovative route planning system targeted for the commercial vehicle fleets

Interconnected web platform with autonomous robots for helping patients in ICU sections

Benchmarking MD systems simulations on the graphics processing unit and multi-core systems