الصفحة 11
الصفحة 11
Integrated formal methods ; 3rd International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
IFM 2002 explored the relations between formal methods and graphical notations, especially the industrial standard language for software design, the Unified Modeling Language (UML). The themes of IFM 2002 reflect what we believe is a growing trend in the Formal Methods and Software Engineering research communities. Over the last threedecades,computer scientists have developed a range of formalisms focusing on particular aspects of behavior or analysis, such as sequential program structures, concurrent program structures, data and information structures, temporal reasoning, deductive proof, and model checking. Much effort is now being devoted to integrating these methods in order to combine their advantages and ensure they scale up to industrial needs. Graphical notations are now widely used in software engineering and there is growing recognition of the importance of providing these with the for mal underpinnings and form alanalysis capabilities found in formal methods.
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation ; Vol. 4148 ; 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings
Welcome to the proceedings of PATMOS 2006, the 16th in a series of international workshops. PATMOS 2006 was organized by LIRMM with CAS technical - sponsorship and CEDA sponsorship. Over the years, the PATMOS workshop has evolved into an important European event, where researchers from both industry and academia discuss and investigate the emerging challenges in future and contemporary applications, design methodologies, and tools required for the development of upcoming generations of integrated circuits and systems. The technical program of PATMOS 2006 contained state-of-the-art technical contributions, three invited talks, a special session on hearing-aid design, and an embedded tutorial. The technical program focused on timing, performance and power consumption, as well as architectural aspects with particular emphasis on modeling, design, characterization, analysis and optimization in the nanometer era. The Technical Program Committee, with the assistance of additional expert reviewers, selected the 64 papers presented at PATMOS. The papers were organized into 11 technical sessions and 3 poster sessions. As is always the case with the PATMOS workshops, full papers were required, and several reviews were received per manuscript.
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation ; Vol. 3728 ; 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings
Welcome to the proceedings of PATMOS 2005, the 15th in a series of international workshops.PATMOS2005wasorganizedbyIMECwithtechnicalco-sponsorshipfrom the IEEE Circuits and Systems Society. Over the years, PATMOS has evolved into an important European event, where - searchers from both industry and academia discuss and investigate the emerging ch- lenges in future and contemporary applications, design methodologies, and tools - quired for the developmentof upcominggenerationsof integrated circuits and systems. The technical program of PATMOS 2005 contained state-of-the-art technical contri- tions, three invited talks, a special session on hearing-aid design, and an embedded - torial. The technical program focused on timing, performance and power consumption, as well as architectural aspects with particular emphasis on modeling, design, char- terization, analysis and optimization in the nanometer era. The Technical Program Committee, with the assistance of additional expert revi- ers, selected the 74 papers to be presented at PATMOS. The papers were divided into 11 technical sessions and 3 poster sessions. As is always the case with the PATMOS workshops, the review process was anonymous, full papers were required, and several reviews were carried out per paper. Beyond the presentations of the papers, the PATMOS technical program was - riched by a series of speeches offered by world class experts, on important emerging research issues of industrial relevance. Prof. Jan Rabaey, Berkeley, USA, gave a talk on “Traveling the Wild Frontier of Ulta Low-Power Design”, Dr. Sung Bae Park, S- sung, gave a presentation on “DVL (Deep Low Voltage): Circuits and Devices”, Prof.
Insects and Ecosystem Function
In the past two decades, an increasing number of ecologists have started to investigate the importance of biodiversity for ecological processes such as energy flow and nutrient cycling, often referred to as 'ecosystem functioning'. Insects are a dominant component of biodiversity in terrestrial ecosystems and play a key role in mediating the relationship between plants and ecosystem processes. This volume is the first to summarize their effects on ecosystem functioning, focusing mainly, but not exclusively, on herbivorous insects. Renowned authors with extensive experience in the field of plant-insect interactions, contribute to the volume using examples from their own work. In addition to providing concise reviews of the field, this volume discusses in detail the advantages and disadvantages of various techniques of manipulating insect herbivory. Thus, the text provides both a theoretical basis as well as practical advice for future manipulative studies of biodiversity-ecosystem functioning.
Inorganic Scintillators for Detector Systems : Physical Principles and Crystal Engineering
The development of new scintillators as components of modern detector systems is increasingly defined by the end user's needs. This book provides an introduction to this emerging topic at the interface of physics and materials sciences, with emphasis on bulk inorganic scintillators. After surveying the end user's needs in a vast range of applications, ranging from astrophysics to industrial R & D, the authors move on to review scintillating mechanisms and the properties of the most important materials used. A chapter on crystal engineering and examples of recent developments in the field of high-energy physics and medical imaging introduce the reader to the practical aspects. This book will benefit researchers and scientists working in academic and industrial R & D related to the development of scintillators.
Inorganic Reactions in Water
Organized to facilitate reference to the reagents involved, this book describes the reactions of the elements and their mostly simpler compounds, primarily inorganic ones and primarily in water. It emphasizes the similarities and differences in actual chemical behavior, as opposed to electronic structures and theories, although not exclusively.Inorganic Reactions in Water again makes available some of the more comprehensive coverage of descriptive aqueous chemistry found in older sources, but now corrected and interpreted with the added insights of the last seven decades. It also provides new information, including reactions of the recently discovered elements.
Inorganic and Organometallic Polymers
This book has its origins in courses taught by the author to various und- graduate and graduate students at the Indian Institute of Technology, K- pur, India. The diversity of inorganic chemistry and its impact on polymer chemistry has been profound. This subject matter has grown considerably in the last decade and the need to present it in a coherent manner to young minds is a pedagogic challenge. The aim of this book is to present to the students an introduction to the developments in Inorganic and - ganometallic polymers. This book is divided into eight chapters. Chapter 1 provides a general overview on the challenges of Inorganic polymer synthesis. This is f- lowed by a survey of organic polymers and also includes some basic f- tures of polymers. Chapters 3-8 deal with prominent families of inorganic and organometallic polymers. Although the target group of this book is the undergraduate and graduate students of chemistry, chemical engineering and materials science it is also hoped that chemists and related scientists in industry would find this book useful.
Innovative Internet Community Systems ; Vol. 3908 ; 5th International Workshop, IICS 2005, Paris, France, June 20-22, 2005. Revised Papers
Traditionally, there are topics discussed in three main aspects. All of them must be considered in a united manner in order to investigate and understand the emergence and evolution of communities in the Internet: knowledge about networking, content and text processing as well as theory. The goal of the I2CS workshop is to bring researchers from both industry and academic fields together to discuss current progress and future developments in these areas and to eliminate the gap between theory and application. At this point, we want to express immense gratitude to all the authors of the submitted papers and to the members of the international Program Committee for their contribution to the success of the event and a program of high quality. In a peer-to-peer review process, 17 papers were selected out of 27 submissions.
Innovations in Quantitative Risk Management ; TU München, September 2013
The KPMG Center of Excellence in Risk Management conference Risk Management Reloaded and this proceedings volume contribute to bridging the gap between academia –providing methodological advances– and practice –having a firm understanding of the economic conditions in which a given model is used. Discussed fields of application range from asset management, credit risk, and energy to risk management issues in insurance. Methodologically, dependence modeling, multiple-curve interest rate-models, and model risk are addressed. Finally, regulatory developments and possible limits of mathematical modeling are discussed.
Innovations in 3D Geoinformation Science
Covers various aspects of spatial data modelling specifically regarding three-dimensional (3D) modelling and structuring. The realization of "true" 3D geoinformation spatial systems requires a high input, and the developmental process is taking place in various research centers and universities around the globe.
Innovations and new developments in craniomaxillofacial reconstruction
Provides a comprehensive review of the new technologies that are having a tremendous impact on the complex field of craniomaxillofacial reconstructive surgery. The coverage encompasses the use of biomaterials and tissue engineering, virtual planning and CAD/CAM techniques, the various applications of computer-assisted surgery, and intraoperative navigation.
Innovation, Market Archetypes and Outcome : An Integrated Framework
The book examines an integrated innovation environment. Four market archetypes as well as the market outcome for each archetype are described. Innovation dynamics including commoditization, the constant innovation challenge and the sustainability of innovation are analyzed along with cases including the iPod, Lego, Barbie, the browser wars and Google. A diagnostic matrix is presented which enables one to take a ´snapshot´ of a product in the innovation environment. This book is an invaluable tool for the academic, the manager and the consultant to understand ‘where’ a firm is located in an innovation environment, `why’ it is so located and provides valuable clues as to ‘what’ to do when designing strategy.
Innovation and Technology in Korea : Challenges of a Newly Advanced Economy
Only inadequately perceived by the Western public, Korea has transformed into an economic heavy weight during recent decades. The Korean government believes it can turn it into one of the top 10 competitive economies until 2010. This goal does not sound overambitious as Korea has undergone tremendous efforts in order to forge ahead in the field of research and development. In some high tech industries, Korean firms have advanced into leading players in the global market place and are increasingly challenging their international competitors. Against this background, the volume offers an in-depth analysis of the Korean innovation system and shows how its science and technology policies actually work. As Korea’s economy is now reaching the status of a newly advanced economy, the book also takes a close look on ongoing structural changes in the course of economic globalization.
Informing Digital Futures : Strategies for Citizen Engagement
In the present digital revolution we often seem trapped in a Kafkaesque world of technological advances, some desired, some disliked or even feared, which we cannot influence but must accept. This book discusses the urgent need to redress this situation. The authors argue that technologies succeed or fail according to their relevance and value to people, who need to be actively engaged in order to create shared visions and influence their implementation. Strategies for citizen engagement and empowerment will enable citizens to influence and shape desirable digital futures. The book reviews the currently accepted ways of thinking about the design of systems and the reasons why these methods are no longer adequate. From an academically rigorous analysis of case histories across a wide variety of sectors, knowledge and best practice are captured in a rich, descriptive model of the contributions of citizen engagement to the design process. Finally, it provides specific practical guidance, based on sound academic research, for policy makers, administrators and ICT professionals on the strategies, methodologies, tools and techniques needed to change design practice.
Information technology and Lawyers : Advanced technology in the legal domain, from challenges to daily routine
The area of Information Technology & Lawyers is a fascinating one. Both from a practical and an academic perspective the opportunities of applying Information Technology to law are tremendous. At the same time, however, lawyers are amongst the most conservative professionals, and traditional late adapters of technology. Nowadays the gap between Information Technology & Lawyers is closing more and more, in particular due to the Internet and the richness of legal sources that can be found online. This book provides material to further bridge the gap by showing people with a legal background what is possible with Information Technology now and in the near future, as well as by showing people with an IT background what opportunities exist in the domain of law.
Information Technologies in Biomedicine
As the medical information systems have been integrated in order to address the core of medicine, including patient care in ambulatory and in-patient setting, computer assisted diagnosis and treatment, telemedicine, and home care we are witnessing radical changes in the Information Technologies. This will continue in the years to come. This book presents a comprehensive study in this field and contains carefully selected articles contributed by experts of information technologies.
Information security applications : Vol. 3325 : 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers
The 5th International Workshop on Information Security Applications (WISA 2004) was held in Jeju Island, Korea during August 23-25, 2004. The workshop was sponsored by the Korea Institute of Information Security and Cryptology (KIISC), the Electronics and Telecommunications Research Institute (ETRI) and the Ministry of Information and Communication (MIC). The aim of the workshop is to serve as a forum for new conceptual and - perimental research results in the area of information security applications from the academic community as well as from the industry. The workshop program covers a wide range of security aspects including cryptography, cryptanalysis, network/system security and implementation aspects. The programcommittee received169 papersfrom 22 countries,andaccepted 37 papers for a full presentation track and 30 papers for a short presentation track. Each paper was carefully evaluated through peer-review by at least three members of the programcommittee. This volume contains revised versions of 36 papers accepted and presented in the full presentation track. Short papers were only published in the WISA 2004 pre-proceedings as preliminary versions and are allowed to be published elsewhere as extended versions. In addition to the contributed papers, Professors Gene Tsudik and Ross Andersongaveinvitedtalks,entitledSecurityinOutsourcedDatabasesandWhat does ‘Security’ mean for Ubiquitous Applications?, respectively.
Information security and privacy ; Vol. 4058 ; 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006, Proceedings
The 11th Australasian Conference on Information Security and Privacy (ACISP 2006) was held in Melbourne, 3–5 July, 2006. The conference was sponsored by Deakin University, the Research Network for a Secure Australia, and was organized in cooperation with the University of Wollongong. The conference brought together researchers,practitioners and a wide range of other users from academia, industries and government organizations. The program included 35 papers covering important aspects of information security technologies. The papers were selected from 133 submissions through a two-stage anonymous review process. Each paper received at least three reviews by members of the Program Committee, and was then scrutinized by the whole committee during a two-week discussion.
Information security and cryptology ; Vol. 4318 ; 2nd SKLOIS Conference, Inscrypt 2006, Beijing, China, November 29 - December 1, 2006, Proceedings
The second SKLOIS Conference on Information Security and Cryptology 2006 (Inscrypt, formerly CISC) was organized by the State Key Laboratory of Inf- mation Security of the Chinese Academy of Sciences. This international conf- ence was held in Beijing, China and was sponsored by the Institute of Software, the Chinese Academy of Sciences, the Graduate University of Chinese Academy of Sciences and the National Natural Science Foundations of China. The c- ference proceedings, with contributed papers, are published by Springer in this volume of Lecture Notes in Computer Science (LNCS).
Information security and cryptology ; Vol. 3822 ; 1st SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings
The first SKLOIS Conference on Information Security and Cryptography(CISC 2005) was organized by the State Key Laboratory of Information Security of the Chinese Academy of Sciences. It was held in Beijing, China, December 15-17, 2005 and was sponsored by the Institute of Software, the Chinese Academy of Sciences, the Graduate School of the Chinese Academy of Sciences and the National Science Foundation of China. The conference proceedings, represe- ing invited and contributed papers, are published in this volume of Springer’s Lecture Notes in Computer Science (LNCS) series. The area of research covered by CISC has been gaining importance in recent years, and a lot of fundamental, experimental and applied work has been done, advancing the state of the art. The program of CISC 2005 covered numerous ?elds of research within the general scope of the conference.
