According to W. Edwards Deming, American companies require nothing less than a transformation of management style and of governmental relations with industry. In Out of the Crisis, originally published in 1982, Deming offers a theory of management based on his famous 14 Points for Management. Management's failure to plan for the future, he claims, brings about loss of market, which brings about loss of jobs. Management must be judged not only by the quarterly dividend, but by innovative plans to stay in business, protect investment, ensure future dividends, and provide more jobs through improved product and service. In simple, direct language, he explains the principles of management transformation and how to apply them.

Out of the Crisis

Data Mining Practical Machine Learning Tools and Techniques

How have Japanese companies become world leaders in the automotive and electronics industries, among others? What is the secret of their success? Two leading Japanese business experts, Ikujiro Nonaka and Hirotaka Takeuchi, are the first to tie the success of Japanese companies to their ability to create new knowledge and use it to produce successful products and technologies. In The Knowledge-Creating Company, Nonaka and Takeuchi provide an inside look at how Japanese companies go about creating this new knowledge organizationally. The authors point out that there are two types of knowledge: explicit knowledge, contained in manuals and procedures, and tacit knowledge, learned only by experience, and communicated only indirectly, through metaphor and analogy. U.S. managers focus on explicit knowledge. The Japanese, on the other hand, focus on tacit knowledge. And this, the authors argue, is the key to their success--the Japanese have learned how to transform tacit into explicit knowledge. To explain how this is done--and illuminate Japanese business practices as they do so--the authors range from Greek philosophy to Zen Buddhism, from classical economists to modern management gurus, illustrating the theory of organizational knowledge creation with case studies drawn from such firms as Honda, Canon, Matsushita, NEC, Nissan, 3M, GE, and even the U.S. Marines. For instance, using Matsushita's development of the Home Bakery (the world's first fully automated bread-baking machine for home use), they show how tacit knowledge can be converted to explicit knowledge: when the designers couldn't perfect the dough kneading mechanism, a software programmer apprenticed herself withthe master baker at Osaka International Hotel, gained a tacit understanding of kneading, and then conveyed this information to the engineers. In addition, the authors show that, to create knowledge, the best management style is neither top-down nor bottom-up, but rather what they call "middle-up-down," in which the middle managers form a bridge between the ideals of top management and the chaotic realities of the frontline. As we make the turn into the 21st century, a new society is emerging. Peter Drucker calls it the "knowledge society," one that is drastically different from the "industrial society," and one in which acquiring and applying knowledge will become key competitive factors. Nonaka and Takeuchi go a step further, arguing that creating knowledge will become the key to sustaining a competitive advantage in the future. Because the competitive environment and customer preferences changes constantly, knowledge perishes quickly. With The Knowledge-Creating Company, managers have at their fingertips years of insight from Japanese firms that reveal how to create knowledge continuously, and how to exploit it to make successful new products, services, and systems.

The knowledge-creating company

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 Unified Modeling Language User Guide」

The growing amount of information in the world has increased the need for com- puterized classification of different objects. This situation is present in higher education as well where the possibility of effortless detection of similarity between different study courses would give the opportunity to organize student exchange programmes effectively and facilitate curriculum management and development. This area which currently relies on manual time- consuming expert activities could benefit from application of smartly adapted machine learn - ing technologies. Data in this problem domain is complex leading to inability for automatic classification approaches to always reach the desired result in terms of classification accuracy. Therefore, our approach suggests an automated/semi-automated classification solution, which incorporates both machine learning facilities and interactive involvement of a domain expert for improving classification results. The system's prototype has been implemented and experi - ments are carried out. This interactive classification system allows to classify educational data, which often comes in unstructured or semi-structured, incomplete and/or insufficient form, thus reducing the number of misclassified instances significantly in comparison with the automatic machine learning approach.

/pdf/application-of-interactive-classification-system-in-2tkq6if4vz.pdf

Application of Interactive Classification System in University Study Course Comparison.

In this paper we present the progress of the natural language usage as the paradigm for information extraction and presentation in the enterprise environment. Distributed heavy personal assistant architecture and its implementation is presented as the solution to overcome difficulties related of the natural language use in the information systems development. A new methodology based on connectionist and symbol processing techniques for a knowledge worker to process his documents and utterance is suggested. Then we suggest the results from those processes to reuse for new documents classification and generation of small atomic applications. Finally the experiment is presented. We compare Microsoft EQ, IBM WebSphere Voice Server NLU toolbox and our solution for concepts identification accuracy.

/pdf/natural-language-based-heavy-personal-assistant-architecture-5bbasw3ytf.pdf

Natural language based heavy personal assistant architecture for information retrieval and presentation

The 5th East European Conference ADBIS'2001 was organized by the Vilnius Gediminas Technical University, Institute of Mathematics and Informatics (Lithuania), Lithuanian Computer Society in cooperation with Moscow ACM SIGMOD Chapter and Law University of Lithuania in Vilnius, Lithuania, September 25-28, 2001 The call for papers attracted 82 submissions from 30 countries The international program committee, consisting of 47 researchers from 21 countries, selected 25 papers for long presentations and 19 research communications for regular sessions Additionally, 9 professional communications and reports have been selected for industrial sessions The authors of accepted papers come from 29 countries, indicating the truly international recognition of the ADBIS conference series The conference had 127 registered participants from 23 countries and included invited lectures, tutorials, regular sessions, and industrial sessions This report describes the goals of the conference and summarizes the issues discussed during the sessions

Advances in databases and information systems: report of 5th East European Conference ADBIS'2001

https://hal.archives-ouvertes.fr/hal-00508477/document

Estimation of the autoregressive operator by wavelet packets

In this paper AI agents for natural language interfaces in data exploration domain are presented. The experiment done with the IBM natural language toolbox has shown that the black box approach in this case leads to misclassification. Unsatisfactory results of the experiment triggered the present research aimed at improving the user interface with the natural language modality at architectural and algorithm levels. We extended traditional natural language interfaces in data exploration domain in the following direction: the use of feedforward neural network as concepts indexes in the users natural language interfaces are suggested. All presented concepts are realized as the open source project JMining Dialog.

Olegas Vasilecas

Papers

Application of Interactive Classification System in University Study Course Comparison.

Natural language based heavy personal assistant architecture for information retrieval and presentation

Advances in databases and information systems: report of 5th East European Conference ADBIS'2001

Estimation of the autoregressive operator by wavelet packets

The use of the natural language understanding agents with conceptual models