الصفحة 13
الصفحة 13
Foundations of software science and computation structures ; 22nd International conference, FOSSACS 2019, Held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, proceedings
This book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science.
Foundations of software science and computation structures ; 21st International conference, FOSSACS 2018, Held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. proceedings
Contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2018), which was held April 16–19, 2018, in Thessaloniki, Greece. The conference is dedicated to foundational research with a clear significance for software science and brings together research on theories and methods to support the analysis, integration, synthesis,transformation, and verification of programs and software systems.
Foundations of software science and computation structures ; 11th International conference, FOSSACS 2008, Held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. proceedings
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%.Congratulations there foretoall the authorswhomadeittothe fnalprogramme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area. The events that comprise ETAPS address various aspects of the system velopment process, including specifcation, design, implementation, analysis and improvement
Formalizing the Shadow Economy in Serbia : Policy Measures and Growth Effects
The main objective of this book is to develop a strategy and policy measures to enhance the formalization of the shadow economy in order to improve the competitiveness of the economy and contribute to economic growth; it explores these issues with special reference to Serbia. The size and development of the shadow economy in Serbia and other Central and Eastern European countries are estimated using two different methods (the MIMIC method and household-tax-compliance method). Micro-estimates are based on a special survey of business entities in Serbia, which for the first time allows us to explore the shadow economy from the perspective of enterprises and entrepreneurs.
Formal techniques for computer systems and business processes ; European performance engineering workshop, EPEW 2005 and International workshop on web services and formal methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering Workshop) and WS-FM 2005 (Web Services and Formal Methods) held in Versailles, France in September 2005. The 20 revised full papers presented were carefully reviewed and selected from 59 submissions. For EPEW 2005 only 10 papers - of the 32 submitted - were accepted for presentation; they deal with queueing theory, bounding techniques, stochastic model checking, communication schemes analysis for high-speed LAN, QOS analysis in wireless ad-hoc networks and optical networks analysis. The main topics of the 10 papers accepted for WS-FM 2005 - from 27 submissions - include: protocols and standards for WS (SOAP, WSDL, UDDI, etc.); languages and description methodologies for Choreography/Orchestration/Workflow (BPML, XLANG and BizTalk, WSFL, WS-BPEL, etc.); coordination techniques for WS (transactions, agreement, coordination services, etc.); semantics-based dynamic WS discovery services (based on Semantic Web/Ontology Techniques or other semantic theories); security, performance evaluation and quality of service of WS; semi-structured data and XML related technologies; comparisons with different related technologies/approaches.
Formal Methods for Components and Objects ; 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This book presents 12 revised papers submitted after the symposium by the speakers of each of the following European IST projects: the IST-FP6 project Mobius, developing the technology for establishing trust and security for the next generation of global computers; the IST-FP6 project SelfMan on self management for large-scale distributed systems based on structured overlay networks and components
Formal Methods and Stochastic Models for Performance Evaluation ; 4th European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings
This book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, Germany, September 27-28, 2007.The 20 revised full papers presented were carefully reviewed and selected from 53 submissions.
Formal Methods and Stochastic Models for Performance Evaluation ; 3rd European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings
This volume contains the proceedings of the third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, June 21-22, 2006. These proceedings comprise the 16 accepted contributed papers of EPEW 2006.Toensurethehigh-qualityevaluationofthesubmittedpapersweextended the ProgramCommittee of EPEW 2006 with international experts from all over the world. The ?nal workshop program, as well as this volume, are made up of ?ve thematic sessions: – Stochastic process algebra – Workloads and benchmarks – Theory of stochastic processes – Formal dependability and performance evaluation – Queues, theory and practice These sessions cover a wide range of performance evaluation methods and c- pose an overview of the current research directions in performance evaluation.
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.
Forest Mensuration
Van Laar and Akça’s popular text book, Forest Mensuration, was first published in 1997. Like that first edition, this modern update is based on extensive research, teaching and practical experience in both Europe, and the tropics and subtropics. However, it has also been extensively revised, and now includes chapters on remote sensing and the application of aerial photographs and satellite imagery. As with its predecessor, this book assumes no advanced knowledge of statistical methods, and combines practical techniques with important historical and disciplinary context. The result is a strong balance between a handbook on traditional mensuration methods, and a valuable reference on the many recent research and inventory-related innovations which have emerged in recent years.
Forecasting Innovations : Methods for Predicting Numbers of Patent Filings
This is a practical guide to solutions for a case study of forecasting demand for services and products in international markets - and so much more than just another listing of dry theoretical methods. Leading experts present studies on improvements to methods for forecasting numbers of incoming patent filings at the European Patent Office. Studies are presented from econometric, survey and systems theory viewpoints.
Food irradiation
Treatment of food by specific ionizing radiations to improve microbiological safety and storability is one of the most extensively studied technology of the XXth century. However, much of the research has been carried out in laboratories and it is still relatively underutilized commercially. Its application potential is very diverse, from inhibition of sprouting of tubers and bulbs to production of commercially sterile food products. The safety of consumption and wholesomeness of irradiated food have been extensively studied in international cooperations. Numerous international expert groups set up jointly by the FAO, the IAEA and the WHO, or the Scientific Committee on Food of the European Commission concluded that foods irradiated with appropriate technologies are both safe and nutritionally adequate. A Codex General Standard for Irradiated Foods and a Recommended International Code of Practice for Radiation Processing of Food have been developed.
Food Biotechnology in Ethical Perspective
Agrifood biotechnology—the genetic transformation of plants and animals through recombinant means—has created controversy in the food system for more than twenty years. The new edition reflects lessons from the hotly contested debates over those issues in the intervening decade, and includes wholly new discussions on ethical issues associated with livestock cloning, the Precautionary Principle, and the transatlantic debate between United States and European perspectives on biotechnology.
FM 2005: Formal Methods ; International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18–22, 2005. Formal Methods Europe (FME, www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once every 18 months. Throughout the years the symposia have been notablysuccessfulinbringingtogetherresearchers,tooldevelopers,vendors,and users, both from academia and from industry. Formal Methods 2005 con?rms this success. We received 130 submissions to the main conference, from all over the world. Each submission was carefully refereed by at least three reviewers. Then, after an intensive, in-depth discussion, the Program Committee selected 31 papers for presentation at the conference. They form the bulk of this volume.
Flood Risk Management in Europe : Innovation in Policy and Practice
This valuable edition brings together 26 peer reviewed articles on technical, socio-economic, environmental and policy aspects of flood risk management. These articles contribute to the five sections with the general themes: i) flood risk management practice, ii) flood events and impacts, iii) flood analysis and modelling iv) flood forecasting and v) flood risk management policy. Some emerging technologies are presented and several future challenges are identified.
FLOMANIA - A European Initiative on Flow Physics Modelling ; Results of the European-Union funded project, 2002 - 2004
The book presents an introduction to the project, exhibits partners’ methods and approaches, and provides comprehensive reports (i.e. definition as well as results) of all applications treated in the project. Moreover, a complete chapter is devoted to a description of turbulence models used by the partners together with a section on lessons learnt – accompanied by a comprehensive list of references.
Fixed income trading and risk management : The complete guide
Fixed Income Trading and Risk Management: The Complete Guide delivers a comprehensive and innovative exposition of fixed income markets. Written by European Central Bank portfolio manager Alexander During, this book takes a practical view of how several different national fixed income markets operate in detail.
Fish and Diadromy in Europe (ecology, management, conservation)
This book contains selected papers from an international symposium organised by the Diadfish network held in Bordeaux (France) in 2005. Readers will find up-to-date information on the ecology, ecotoxicology and physiology of several diadromous species (Atlantic salmon, shads, lampreys, eels) and this whole group in Europe. Main impacts are also documented and analysed in case studies, and solutions or remediation actions are presented.
Fiscal state aid law and harmful tax competition in the European Union
Offers an in-depth analysis of EU fiscal state aid in relation to harmful tax competition , Examines the legal concept of fiscal state aid under Article 107(1) of the TFEU and provides an up-to-date account of its definitional aspects , Covers all recent Commission decisions and investigations into tax schemes and individual tax rulings
Finding the limits of the limes : Modelling demography, economy and transport on the edge of the Roman Empire
This book demonstrates the application of simulation modelling and network analysis techniques. The book shows the added value of state-of-the-art computer modelling techniques and bridges computational and conventional approaches. Topics that will be of particular interest to archaeologists are the question of (forced) surplus production, the demographic and economic effects of the Roman occupation on the local population, and the structuring of transport networks and settlement patterns. For modellers, issues of sensitivity analysis and validation of modelling results are specifically addressed. This book will appeal to students and researchers working in the computational humanities and social sciences, in particular, archaeology and ancient history.
