الصفحة 11
الصفحة 11
Formal approaches to software testing ; Vol. 3997 ; 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005.
Formal approaches to software testing ; Vol. 3395 ; 4th International workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew methods for the speci?cation and generation of high-quality tests. Experience has shown that the use of formal methods in testing represents a very important means for improving the testing process. Formal methods allow for the analysis andinterpretationofmodelsinarigorousandprecisemathematicalmanner.The use of formal methods is not restricted to system models only. Test models may alsobeexamined.Analyzingsystemmodelsprovidesthepossibilityofgenerating complete test suites in a systematic and possibly automated manner whereas examining test models allows for the detection of design errors in test suites and their optimization with respect to readability or compilation and execution time. Due to the numerous possibilities for their application, formal methods have become more and more popular in recent years. The Formal Approaches in Software Testing (FATES) workshop series also bene?ts from the growing popularity of formal methods. After the workshops in Aalborg (Denmark, 2001), Brno (Czech Republic, 2002) and Montr´ eal (Canada, 2003), FATES 2004 in Linz (Austria) was the fourth workshop of this series. Similar to the workshop in 2003, FATES 2004 was organized in a?liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2004). FATES 2004 received 41 submissions. Each submission was reviewed by at least three independent reviewers from the Program Committee with the help of some additional reviewers. Based on their evaluations, 14 full papers and one wo- in-progress paper from 11 di?erent countries were selected for presentation.
Finite-state methods and natural language processing ; 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Finite-State Methods in Natural Language Processing, FSMNLP 2005, held in Helsinki, Finland, September 2005. The book presents 24 revised full papers and seven revised poster papers together with two invited contributions and abstracts of six software demos. Topics include morphology, optimality theory, some special FSM families, weighted FSM algorithms, FSM representations, exploration, ordered structures, and surface parsing.
Financial market imperfections and corporate decisions : Lessons from the transition process in Hungary
The book presents the results of an empirical investigation of the behaviour of Hungarian firms during the transition process focusing in particular on the role of financial market imperfections for corporate capital structure and investment decisions. The results suggest that financial market reforms have succeeded, albeit partially, in hardening firms's budget constraints and improving the efficiency of the credit allocation process. In particular, following the introduction of the banking sector reform and of the new bankruptcy law, budget constraints became more binding for small private firms, while informational costs became less relevant for foreign-owned firms.
Extreme Conflict and Tropical Forests
At a time when the international community is devoting significant attention to the issue of governance as a key factor in global environmental decline, this book provides a timely insight into the relationships between extreme conflict, the international trade in forest products, and the social, economic and environmental condition of tropical forests and their human communities. Drawing on the expertise of both natural and social scientists, Extreme Conflict and Tropical Forests explores the underlying causes and the social and environmental consequences of conflict in tropical forest areas. Case studies from Africa, Asia and Latin America present a range of issues – from illicit crops and ‘conflict timber’ production, to the potential of peace parks for improving human security, social quality and biodiversity conservation.
Extended Working Life Policies : International Gender and Health Perspectives
This volume addresses the current debate on extended working life policy by considering the influence of gender and health on the experiences of older workers. Bringing together an international team of scholars, it tackles issues as gender, health status and job/ occupational characteristics that structure the capacity and outcomes associated with working longer.
Evolvable Machines : Theory & Practice
Methods for the artificial evolution of active components, such as programs and hardware, are rapidly developing branches of adaptive computation and adaptive engineering. "Evolvable Machines" reports innovative and significant progress in automatic and evolutionary methodology applied to machine design. This book presents theoretical as well as practical chapters concentrating on Evolvable Robots, Evolvable Hardware Synthesis, as well as Evolvable Design.
Evidence-Based Management : How to Use Evidence to Make Better Organizational Decisions
Evidence-based management has evolved with the goal of improving the quality of decision-making by using critically evaluated evidence from multiple sources - organizational data, professional expertise, stakeholder values and scientific literature. This book sets out and explains the specific skills needed to gather, understand and use evidence to make better-informed organizational decisions.
Evaluation of Multilingual and Multi-modal Information Retrieval ; 7th Workshop of the Cross-Language Evaluation Forum, CLEF 2006, Alicante, Spain, September 20-22, 2006, Revised Selected Papers
This book covers Multilingual Textual Document Retrieval, Domain-Specifig Information Retrieval, i-CLEF, QA@CLEF, ImageCLEF, CLSR, WebCLEF and GeoCLEF.
Environmental Security in Harbors and Coastal Areas : Management Using Comparative Risk Assessment and Multi-Criteria Decision Analysis
This book explores the challenges facing coastal areas during the next few decades and the difficult decisions needed to prevent a repeat of the past. Establishing, maintaining or enhancing a sense of environmental security in different coastal regions and improving the management of critical infrastructure will require (i) matching human demands with available environmental resources; (ii) recognition of environmental security threats and infrastructure vulnerabilities; and, (iii) identification of the range of available options for preventing and/or minimizing natural disasters, technological failures, and/or terror actions. This book emphasizes beliefs that the convergence of seemingly disparate viewpoints and often uncertain and limited information is possible only by using one or more available risk assessment methodologies and decision-making tools such as multi-criteria decision analysis (MCDA).
Environmental Health in Central and Eastern Europe
Complex chemical mixtures impact our health every day. In the United States, and also in Central and Eastern Europe, there are a number of locations where complex chemical mixtures have been released to environmental media. Although exposure to mixtures is common, minimal information exists to quantify these exposures, or to determine their impact on human or ecological receptors. These proceedings present some of the most current research conducted to quantify complex mixtures in the environment and investigate their potential impact on human health. Many of the manuscripts reported in these proceedings represent the most up-to-date measurements of population exposures in Central and Eastern Europe. These studies are of value to health and environmental professionals around the world as they develop strategies for assessing exposures, remediating contaminated environments, and improving public health.
English as a foreign language for Deaf and hard of hearing learners : Teaching strategies and interventions
The chapters cover a wide range of interventions and strategies including early education teaching strategies, using sign -bilingualism in the classroom, enhancing oral communication, speech visualization, improving pronunciation, using films and cartoons, lip reading techniques, written support, and harnessing writing as a memory strategy.
Energy in Africa : Challenges and Opportunities
This open access book presents a picture of the current energy challenges on the African continent (and the Sub-Saharan region in particular) and proposes pathways to an accelerated energy transition. Starting with an analysis of the status quo and the outlook for Africa’s energy demand and energy access, it provides an account of the available resources, including hydrocarbons and renewable energy resources, which are playing an increasingly crucial role. It then moves on to analyze the level of investment required to scale-up Africa’s energy systems, shedding light on the key barriers and elaborating on potential solutions. It also provides a suggestion for improving the effectiveness of EU–Africa cooperation. While mainly intended for policymakers and academics, this book also speaks to a broader audience interested in gaining an overview of the challenges and opportunities of the African energy sector today and in the future.
Emerging Economic Models for Sustainable Businesses : A Practical Approach
Analyses economic models that look at value propositions, creation and capture with ‘People, Planet and Profit’ deeply embedded in each stage of the value chain. The contributions bring out the interplay between new standards, evaluation frameworks, technology innovation and other emerging tools to show how they create a sustainable business. For this, they lean on learnings from successful sustainable businesses. Business leaders will find that this book provides deep insights on improving their existing sustainable practices, and speeding up the transition from linear to circular, narrow stakeholder driven to community driven.
E-Government : Towards electronic democracy ; International Conference, TCGOV 2005, Bolzano, Italy, March 2-4, 2005, Proceedings
The TCGOV 2005 international conference on e-government was held at the Free University of Bozen-Bolzano during March 2–4, 2005. The conference was initiated by the working group “Towards Electronic Democracy” (TED) of the European Science Foundation and was jointly organized by the Free University ofBozen-Bolzano,theMunicipalityofBozen-Bolzano,theTEDWorkingGroup, and the IFIP Working Group 8.5. The conference addressed a large spectrum of issues that are relevant and have to be investigated for a successful transition from the traditional form of government to a new form known as e-government. The main focus was on the following topics: – improving citizen participation and policy making (e-democracy) – government application integration – semantic Web technologies for e-government – security aspects for e-government services Two sessions were dedicated to e-democracy, an emerging area within- government that seeks to enhance democratic processes and provide increased opportunities for individuals and communities to be involved in governmental decisions.
Effective Computational Geometry for Curves and Surfaces
Computational geometry emerged as a discipline in the seventies and has had considerable success in improving the asymptotic complexity of the solutions to basic geometric problems including constructions of data structures,convex hulls, triangulations, Voronoi diagrams and geometric arrangements as well as geometric optimisation. The goal of this book is to take into consideration the multidisciplinary nature of the problem and to provide solid mathematical and algorithmic foundations for effiective computational geometry fo rcurves and surfaces. This book covers two main approaches. In a first part, we discuss exact geometric algorithms for curves and s- faces. We revisit two prominent data structures of computational geometry, namely arrangements (Chap. 1) and Voronoi diagrams (Chap. 2) in order to understand how these structures, which are well-known for linear objects, behave when de?ned on curved objects.
Ecology, Planning, and Management of Urban Forests : International Perspective
Ecology, Planning, and Management of Urban Forests contains studies and perspectives on urban forests from a broad array of basic and applied scientific disciplines including ecosystem ecology, biogeochemistry, landscape ecology, plant community ecology, geography, and social science. The book contains contributions from experts in Asia, Europe, and North America, allowing the reader to evaluate methods and management that are appropriate for particular geographic, environmental, and socio-political contexts. Urban forests are also approached on regional and landscape scales to encompass more natural environments in and around cities, rather than within arbitrary municipal boundaries. The studies provided are intended to motivate scientists, planners, and managers to work together and to adopt a broader landscape ecology approach to urban forestry, and in so doing, better address the pressing needs for improving the quality of life in urban environments.
Earnings Management : Emerging Insights in Theory, Practice, and Research
In the wake of corporate accounting scandals, the bursting of the Internet bubble, and the Sarbanes-Oxley Act—designed to protect investors and consumers from such excesses—"earnings management" (the set of managerial practices and decisions that influence accounting choices and operating cash flows) has become a focal point of business strategy and academic research. Earnings Management: Emerging Insights in Theory, Practice, and Research is the most comprehensive book to date on the subject, aimed at scholars and practitioners in accounting, finance, economics, law, and public policy. Tracing two key strands of research over the past 25 years—one focused on explaining the phenomenon and one on proposing suggestions for improving practice—the authors highlight theoretical and empirical contributions to the field, as well as regulatory innovations and corporate applications.
DSP for In-Vehicle and Mobile Systems
DSP for In-Vehicle and Mobile Systems is focused on digital signal processing strategies for improving information access, command and control, and communications for in-vehicle environments. It is expected that the next generation of human-to-vehicle interfaces will incorporate speech, video/image, and wireless communication modalities to provide more comfortable and safer driving ambiance
Drugs Affecting Growth of Tumours
During recent years the field of effective anticancer agents has substantially increased. The use of chemotherapy has been accepted as a standard therapy for an expanding number of tumour types and stages, while many new agents are being investigated when standard therapy is lacking or failing. Apart from new targets for anticancer agents, attention is also focused on improving efficacy and tolerability of existing compounds. This topical volume provides an up-to-date overview of clinically relevant data on anticancer agents, and is not only intended for those working as a medical doctor with cancer patients, but also for medical researchers and students. The different classes of anticancer drugs are described by international authorities on the various topics.
