الصفحة 3
الصفحة 3
High performance computing ; 4th International Symposium, ISHPC 2002, Kansai Science City, Japan, May 15-17, 2002. Proceedings
The objective of this symposium is to exchange the latest research results in software, architecture, and applications in HPC in a more informal and friendly atmosphere. I am delighted that the symposium is, like past successful ISHPCs, comprised of excellent invited talks, panels, workshops, as well as high-quality technical papers on various aspects of HPC. We hope that the symposium will provide an excellent opportunity for lively exchange and discussion about - rections in HPC technologies and all the participants will enjoy not only the symposium but also their stay in Kansai Science City.
Groundwater Management in Asian Cities : Technology and Policy for Sustainability
The number of city dwellers who do not have access to piped water and rely on groundwater is also increasing. In many Asian cities, groundwater is not only the source of domestic water but also an important resource for industrial development, making better management of groundwater resources essential for sustainable development. Because groundwater is easier to access and costs less than water from piped systems, groundwater abstraction cannot be easily regulated. Policies for groundwater management adopted in Japan and other Asian countries are compared, and technologies for efficient use of groundwater are elucidated. Groundwater contamination is also a serious problem that exacerbates water scarcity in Asian cities. Case studies illustrate the cause and consequences of naturally occurring contaminants such as arsenic and fluoride, and groundwater contamination due to anthropogenic contaminants is described. Also discussed are technologies for treating contaminated groundwater to reduce the health risks of drinking contaminated groundwater.
Grid computing in life science ; 1st International Workshop on Life Science Grid, LSGRID 2004 Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers
Researchers in the ?eld of life sciences rely increasingly on information te- nology to extract and manage relevant knowledge. The complex computational and data management needs of life science research make Grid technologies an attractive support solution. However, many important issues must be addressed before the Life Science Grid becomes commonplace. The 1st International Life Science Grid Workshop (LSGRID 2004) was held in Kanazawa Japan, May 31–June 1, 2004. This workshop focused on life s- ence applications of grid systems especially for bionetwork research and systems biology which require heterogeneous data integration from genome to phenome, mathematical modeling and simulation from molecular to population levels, and high-performance computing including parallel processing, special hardware and grid computing.
Green infrastructure and climate change adaptation : Function, Implementation and Governance
This book introduces the function, implementation and governance of green infrastructure in Japan and other countries where lands are geologically fragile and climatologically susceptible to climate change. It proposes green infrastructure as an adaptation strategy for climate change and biodiversity conservation.
Grammatical Inference : Algorithms and Applications ; 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings
The topics discussed range from theoretical results of learning algorithms to innovative applications of grammatical inference and from learning several interesting classes of formal grammars to applications to natural language processing.
Global History and New Polycentric Approaches : Europe, Asia and the Americas in a World Network System
Examines how the discipline had evolved in various historiographies, from Anglo Saxon to southern European, and its emergence in Asia with the rapid development of the Chinese economy motivation to legitimate the current uniqueness of the history and economy of the nation. It contributes to the revitalization of the field of global history in Chinese historiography, which have been dominated by national narratives and promotes a debate to open new venues in which important features such as scholarly mobility, diversity and internationalization are firmly rooted, putting aside national specificities.
Global business strategy : Multinational corporations venturing into emerging markets
This book presents theories and case studies for corporations in developed nations, including Japan, for designing strategies to maximize opportunities and minimize threats in business expansion into developing nations. The case studies featured here focus on Asia, including China and India, and use examples of Japanese manufacturers. Five case studies are provided, including Hitachi Construction Machinery and Shiseido in China and Maruti Suzuki in India. These cases facilitate the reader’s understanding of the business environments in emerging economies.
Genome Mapping and Genomics in Fishes and Aquatic Animals
The series Genome Mapping and Genomics in Animals provides comprehensive and up-to-date reviews on genomic research on a large variety of selected animal systems, contributed by leading scientists from around the world.This volume summarizes the first era of genomic studies of aquaculture species, in which the tools and resources necessary to support whole-genome sequencing were developed. These tools will enhance efforts toward selective breeding of aquaculture species. Included in this volume are summaries of work on salmonids, cyprinids, catfish, tilapias, European sea bass, Japanese flounder, shrimps and oysters.
Gaming, simulations and society : Research scope and perspective
The Japan Association of Simulation & Gaming (JASAG) and the Science Council of Japan (SCJ) hosted ISAGA 2003, the 34th annual conference of the International Simulation and Gaming Association (ISAGA), at Kazusa Akademia Park in Kisarazu, Japan,August 25–29, 2003. About 450 participants and guests attended,with 330 from Japan and 101 from 34 other countries. The number of submitted papers and reports exceeded 210, and in addition, many poster presentations and experiential sessions were held. This book is made up of 30 papers submitted to ISAGA 2003 and provides a good example of the diverse scope and standard of research achieved in simu- tion and gaming today.The theme of ISAGA 2003 was “Social Contributions and Responsibilities of Simulation and Gaming.”
Game Theory and Mutual Misunderstanding : Scientific Dialogues in Five Acts
This book consists of five acts and two interludes, which are all written as dialogues between three main characters and other supporting characters. Each act discusses the epistemological, institutional and methodological foundations of game theory and economics, while using various stories and examples. A featured aspect of those discussions is that many forms of mutual misunderstanding are involved in social situations as well as in those fields themselves. One Japanese traditional comic story called the Konnyaku Mondo is representative and gives hints of how our thought is constrained by incorrect beliefs. Each dialogue critically examines extant theories and common misunderstanding in game theory and economics in order to find possible future developments of those fields.
Functional and logic programming ; 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), held in Ise, Japan, April 14-16, 2008 at the Ise City Plaza. FLOPS is a forum for research on all issues concerning functional progr- ming and logic programming. In particular it aims to stimulate the cro- fertilization as well as integration of the two paradigms. The Program Committee meeting was conducted electro- cally, for a period of two weeks in December 2007. After careful and thorough discussion, the ProgramCommittee selected20 papers(33%)for presentationat theconference.
Functional and logic programming ; 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006, held in Fuji-Susono, Japan, in April 2006. The 17 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 51 submissions. The papers are organized in topical sections on data types, FP extensions, type theory, LP extensions, analysis, contracts, as well as Web and GUI.
Frontiers of real estate science in Japan
This book presents recent research and hot topics in the field of real estate science in Japan. It features carefully selected English translations of peer-reviewed papers and excellent articles published in the Japanese Journal of Real Estate Sciences, as well as papers presented at the Japan Association of Real Estate Sciences (JARES) annual conference.
From Animals to Animats 10 ; 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, held in Osaka, Japan in July 2008.The 30 revised full papers and 21 revised poster papers presented were carefully reviewed and selected from 110 submissions. The papers are organized in topical sections on the animat approach to adaptive behaviour, evolution, navigation and internal world models, perception and control, learning and adaptation, cognition, emotion and behaviour, collective and social behaviours, adaptive behaviour in language and communication, and applied adaptive behaviour.
Foundations of genetic algorithms ; 8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5-9, 2005, Revised Selected Papers
The8thWorkshopontheFoundationsofGeneticAlgorithms,FOGA-8,washeld at the University of Aizu in Aizu-Wakamatsu City, Japan, January 5–9, 2005. This series of workshops was initiated in 1990 to encourage further research on the theoretical aspects of genetic algorithms, and the workshops have been held biennially ever since. The papers presented at these workshops are revised, edited and published as volumes during the year following each workshop. This series of (now eight) volumes provides an outstanding source of reference for the theoretical work in this ?eld. At the same time this series of volumes provides a clear picture of how the theoretical research has grown and matured along with the ?eld to encompass many evolutionary computation paradigms including evolution strategies (ES), evolutionary programming (EP), and genetic programming (GP), as well as the continuing growthininteractionswith other ?elds suchas mathematics,physics, and biology.
Formulas, ingredients and production of cosmetics technology of skin- and hair-care products in Japan
Provides the comprehensive knowledge and instruction necessary for researchers to design and create cosmetics products. The book’s chapters cover a comprehensive list of topics, which include, among others, the basics of cosmetics, such as the raw materials of cosmetics and their application; practical techniques and technologies for designing and manufacturing cosmetics, as well as theoretical knowledge; emulsification; sensory evaluations of cosmetic ingredients; and how to create products such as soap-based cleansers, shampoos, conditioners, creams, and others. The potential for innovation is great in Japan’s cosmetics industry. This book expresses the hope that the high level of dedicated research continues and proliferates, especially among those who are innovators at heart.
Formalization of Banking Supervision : 19th–20th Centuries
Elaborate the formalization phase of banking supervision in eight developed countries—USA, Japan, Sweden, Germany, Switzerland, Belgium, France, and UK. This innovative study in the field of banking supervision history identifies why national histories of banking supervision share similarities, but also remain different and are heavily path dependent. This book will be of great interest not only to financial/economic historians but also to general readers interested in banking supervision, i.e., students, bankers, supervisors, and international officials.
Formal Techniques for Networked and Distributed Systems - FORTE 2008 ; 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2008, held in Tokyo, Japan, in June 2008 co-located with TestCom/FATES 2008.The 19 revised full papers and 1 revised short paper presented together with 1 invited talk were carefully reviewed and selected from 44 submissions. The papers cover new approaches, concepts and experience in the application of formal methods for the specification and verification of distributed systems and applications.
Formal Methods and Software Engineering ; Vol. 3785 ; 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 November 2005, Manchester, UK. Formal engineering methods are changing the way that systems are dev- oped. With language and tool support, these methods are being used for se- automatic code generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements, speci?cation, design, implementation, testing, anddocumentation. The aim of ICFEM 2005 was to bring together those interested in the - plication of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, were encouraged to - tend, and to help advance the state of the art. The conference was supported by sponsorships from Microsoft Research, USA, the Software Engineers Association of Japan, the University of Man- ester, Manchester City Council, FormalMethods Europe (FME) and the British Computer Society FormalAspects ofComputing Specialist Group(BCS-FACS). We wish to thank these sponsors for their generosity. The ?nal programme consisted of 3 invited talks and 30 technical papers selected from a total of 74 submissions. The invited speakers were: Anthony Hall, independent consultant, UK; Egon B] orger, University of Pisa, Italy; John Rushby, SRI, USA. Their talks were sponsored by BCS-FACS, Microsoft - search and FME respectively. We wish to thank the invited speakers for their inspiring talks.
Formal Methods and Software Engineering ; 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008.The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.
