الصفحة 9
الصفحة 9
Many Body Structure of Strongly Interacting Systems ; Refereed and Selected Contributions from the Symposium "20 Years of Physics at the Mainz Microtron MAMI"
This carefully edited proceedings volume provides an extensive review and analysis of the work carried out over the past 20 years at the Mainz Microtron (MAMI). This research centered around the application of Quantum Chromodynamics in the strictly nonperturbative regime at hadronic scales of about 1 fm. Due to the many degrees of freedom in hadrons at this scale the leitmotiv of this research is "Many body structure of strongly interacting systems". Further, an outlook on the research with the forthcoming upgrade of MAMI is given. This volume is an authoritative source of reference for everyone interested in the field of the electro-weak probing of the structure of hadrons.
Managing Next Generation Networks and Services ; 10th Asia-Pacific Network Operations and Management Symposium, APNOMS 2007, Sapporo, Japan, October 10-12, 2007, Proceedings
The 48 revised full papers and 30 revised short papers cover management of distributed networks, network configuration and planning, network security management, sensor and ad-hoc networks, network monitoring, routing and traffic engineering, management of wireless networks and security on wireless networks.
Management of Convergence Networks and Services ; 9th Asia-Pacific Network Operations and Management Symposium, APNOMS 2006, Busan, Korea, September 27-29, 2006, Proceedings
Constitutes the refereed proceedings of the 9th Asia-Pacific Network Operations and Management Symposium, APNOMS 2006. This book presents 50 revised full papers and 25 revised short papers, organized in topical sections on management of ad hoc and sensor networks, network measurements and monitoring, mobility management, QoS management, and more
Macrophytes in Aquatic Ecosystems : from Biology to Management ; Proceedings of the 11th International Symposium on Aquatic Weeds, European Weed Research Society
Macrophytes and macrophytes ecology have gained an added importance with the introduction of, and legal requirement to implement, the European Water Framework Directive. This reflects the valuable role that aquatic plant communities play in assessing the ecological status of water bodies. Significant changes in the status and general abundance of these communities has been recorded in the last three decades, consequent on such factors as global warming and, increasingly, on the spread of aggressive alien species. These changes have been most felt in those waters that are exploited for amenity and recreational pursuits. The increased biomass of aquatic vegetation in water bodies has adversely impacted on leisure use of these systems but has also impacted on their use for agricultural, flood relief, municipal and domestic purposes. The loss to national economies resulting from this excessive plant biomass has been appreciable and has put pressure on water managers to develop weed control procedures that are efficient, environmentally sensitive and cost-effective.
Logic-Based Program Synthesis and Transformation ; 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Contains a selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis and Transformation, that was held in Kongens Lyngby, Denmark, August 23-24,2007. LOPSTR thus traditionally solicits papers in the areas of: specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications andtools, component-baseds of tware development, software architectures, age- based software development and program refnement. Formal proceedings are produced only after the symposium, so that authors can incorporate this feed back in the published papers.
Logic-based program synthesis and transformation ; 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
Constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.
Logical foundations of computer science ; International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings
Constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.
Logic, Language, and Computation ; 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second volume of the FoLLI LNAI subline. It represents the thoroughly refereed post-proceedings of the 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, held in Batumi, Georgia, in September 2005.
Logic Based Program Synthesis and Transformation ; Vol. 3901 ; 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.
Logic Based Program Synthesis and Transformation ; Vol. 3573 : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. The presence of duplicated code (or functionality) is a primary indication that the design of the program can be improved by performing a so-called refactoring transformation. Within the framework of our analysis, we formally characterize three situations of duplicated functionality and their associated refactorings: the extraction of a duplicated goal into a new predicate, the removal of equivalent predicates and the generalization of two predicates into a higher-order predicate. The resulting analysis detects in a completely automatic way what program fragments are suitable candidates for the considered refactoring transformations.
Location- and context-awareness ; 3rd International Symposium, LoCA 2007, Oberpfaffenhofen, Germany, September 20-21, 2007, Proceedings
These proceedings contain the papers presented at the 3rd International S- posium on Location- and Context-Awareness in September of 2007. Computing has become mobile, wireless, and portable. The rangeof contexts encountered while sitting at a desk working on a computer is very limited c- pared to the large variety of situations experienced away from the desktop.
Leveraging applications of formal methods, verification and validation : Verification Principles ; 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
Constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume : Part I, Verification Principles : Modularity and (De-)Composition in Verification ; X-by-Construction: Correctness meets Probability ; 30 Years of Statistical Model Checking ; Verification and Validation of Concurrent and Distributed Systems.
Leveraging applications of formal methods, verification and validation : Engineering Principles ; 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
Constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part II, Engineering Principles : Automating Software Re-Engineering ; Rigorous Engineering of Collective Adaptive Systems.
Leveraging applications of formal methods, verification and validation : Applications ; 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.
Leveraging Applications of Formal Methods ; 1st International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. The 12 revised full papers presented were carefully selected from more than 70 submissions. The papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems. In particular, by discussing common problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, flexibility, and efficiency of tools for building systems, and users in their search for adequate solutions to their problems.
LATIN 2008 : Theoretical Informatics ; 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings
The Latin American Theoretical INformatics Symposium (LATIN) is becoming a traditional and high-quality conference on the Theory of Computing. Previous conferences havebeen organized twiceinBrazil: SaoPaulo (1992) and Campinas (1998); twice in Chile: Valpara so (1995) and Valdivia (2006); once in Uruguay: Punta del Este (2000); once in Mexico: Cancun (2002); and once in Argentina: Buenos Aires (2004). This volume contains the proceedings of the 8th Latin American Theore- cal INformatics Symposium (LATIN 2008), which was held in Buzio s, Rio de Janeiro, Brazil, April 7 11, 2008.
LATIN 2006 : Theoretical Informatics ; 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings
This book constitutes the refereed proceedings of the 7th International Symposium, Latin American Theoretical Informatics, LATIN 2006, held in March 2006. The 66 revised full papers presented together with seven invited papers were carefully reviewed and selected from 224 submissions. The papers presented are devoted to a broad range of topics in theoretical computer science with a focus on algorithmics and computations related to discrete mathematics as well as on cryptography, data compression and Web applications.
Landslides in research, theory and practice ; Proceedings of the 8th International Symposium on Landslides held in Cardiff on 26–30 June 2000
Contains vital information from throughout the world on landslide and slope instability problems. Every four years the worlds leading scientists and engineers dealing with landslides, have the opportunity to meet up and engage in the exchange of ideas and experiences at a symposium run under the auspices of ISSMGE Technical Committee 11. These volumes, taken from the 8th symposium in the series, detail investigations into landslide causes, mechanisms and hazards, together with accounts of monitoring and mapping.
Knowledge Discovery and Emergent Complexity in Bioinformatics ; 1st International Workshop, KDECB 2006, Ghent, Belgium, May 10, 2006, Revised Selected Papers
Contains selected and revised papers of the International Symposium on Knowledge Discovery and Emergent Complexity in Bioinformatics (KDECB 2006), held at the University of Ghent, Belgium, May 10, 2006.
IUTAM Symposium on Vibration Control of Nonlinear Mechanisms and Structures ; Proceedings of the IUTAM Symposium held in Munich, Germany, 18-22 July 2005
The objective of the Symposium was to evaluate the limits of performance that can beachievedby controlling the dynamics, and to point out gaps in present research and give links for areas offuture research.Mainly, it brought together leading experts from quite different areas presenting theirpoints of view.
