Page 82
Page 82
img

From parity violation to hadronic structure and more : Refereed and selected contributions from Grenoble, France, June 8-11, 2004

Almost 50 years after the proposal of Lee and Young in 1956 to test the hypothesis of parity violation in weak interactions and the subsequent experimental verification of parity violation by C. S. Wu, parity violation has today become a useful property of weak interactions. This is due to the fact that the focus nowadays has changed: parity violation in weak interactions is no more a topic of investigation but is used as a tool in many different fields ranging from nuclear physics to the search for the hidden extra dimensions requested by string theory. For our first workshop which took place June 5-8, 2002, at the Institut fiir Ke- physik of the Johannes Gutenberg-Universitat Mainz, we concentrated on the in­ vestigation of the strangeness contribution in the nucleon. This book contains the refereed and selected papers of the second workshop "From Parity Violation to Hadron Structure and more (Part II)", which took place June 8-11, in the Labo- toire de Physique Subatomique et de Cosmologie, in Grenoble. These papers appear in EPJAdirect, the electronic-only part of EPJA, and they are accessible without restrictions. They will also appear in printed form and can be ordered through Springer. The excellent presentations show the dramatic and steady progress in the accuracy of measured parity violating asymmetries over the last few years.

img

From P2P to Web Services and Grids : Peers in a Client/Server World

Provides an overview of peer-to-peer (P2P) technologies that have revolutionized the way we think about distributed computing and the internet. This book compares these technologies to alternative solutions, most notably web services and Grid computing but also other technologies, such as client/server based systems and agent technologies.

img

From Nano to Space : Applied Mathematics Inspired by Roland Bulirsch

Graduate students and postgraduates in Mathematics, Engineering and the Natural Sciences want to understand Applied Mathematics for the solution of everyday problems. Scholars of Roland Bulirsch working at universities, at research institutions and in industry combine research and review papers in this anthology. Their work is summed up under the title "From Nano to Space – Applied Mathematics Inspired by Roland Bulirsch". More than 20 contributions are divided into scales: nano, micro, macro, space and real life. The contributions survey current research and present case studies very interesting and informative for both graduate students and postgraduates. The contributions show how modern Applied Mathematics influences our everyday lives. Several contributions include complex graphics and illustrations, many of them in color.

img

From Melanocytes to Malignant Melanoma: The Progression to Malignancy

Melanoma offers an excellent model for cancer biology and an opportunity to understand the progression of a normal skin cell-the melanocyte-to malignancy. In From Melanocytes to Melanoma: The Progression to Malignancy, leading researchers and clinicians join forces to explain how skin cancer develops from its benign precursor cell type.

img

From globular proteins to amyloids

Proposes a model and mechanism for explaining protein misfolding. Concepts presented are based on a model originally intended to show how proteins attain their native conformations. This model is quantitative in nature and founded upon arguments derived from information theory. It facilitates prediction and simulation of the amyloid fibrillation process, also identifying the progressive changes that occur in native proteins that lead to the emergence of amyloid aggregations. Introduces basic rules for protein folding, along with the conditions that result in misfolding Presents research that lies in treating the aqueous environment as a continuum rather than a set of individual water molecules (i.e. the classic representation) Provides practical applications for helping the prevention of amyloidosis and improving drug design

img

From Adolescence to Adulthood in the Vietnam Era

Children born during the post-WWII era of peace and prosperity entered history at a time dominated by I-Like-Ike politics and domestic security. As they approached adolescence, however, their world was shaken by major cultural, economic, social, and political upheaval. And although it was time of great innovation and progress, a sense of chaos and bitterness began to envelop the country. It was the ‘60s. For many Americans, a mere mention of this decade evokes an extraordinary time and place in the country’s - and their own - history.

img

Fragile Families and the Marriage Agenda

Some social sciences contend that marriage is the solution to many of the problems associated with single-parent families. Other experts believe that government programs designed to raise marriage rates may cause more problems than they solve,The proposed volume will explore issues related to fragile families from many different perspectives on the causes and consequences of this issue. This book is divided up into sections covering legal and theoretical perspectives, causes and consequences of offspring wellbeing, and the aspect of father’s importance to the "fragile families".

img

Fractional calculus—theory and applications

Fractional calculus has led to tremendous progress in various areas of science and mathematics. New definitions of fractional derivatives and integrals have been uncovered, extending their classical definitions in various ways. Moreover, rigorous analysis of the functional properties of these new definitions has been an active area of research in mathematical analysis. Systems considering differential equations with fractional-order operators have been investigated thoroughly from analytical and numerical points of view, and potential applications have been proposed for use in sciences and in technology. The purpose of this Special Issue is to serve as a specialized forum for the dissemination of recent progress in the theory of fractional calculus and its potential applications.

img

Fractals in Engineering : New Trends in Theory and Applications

The strong potential of this research can be seen in real industrial situations with recent progress being made in areas such as chemical engineering, internet traffic, physics and finance. Image processing continues to be a major field of application for fractal analysis and is well-represented here. Consisting of papers written by a world-wide pool of experts, the multidisciplinary approach of this third volume will be of particular interest to industrial researchers and practitioners as well as to academics from many backgrounds.

img

Foundations of software science and computational structures ; Vol.3441 : 8th International Conference, FOSSACS 2005, Held as part of the joint European conferences on theory and practice of software, ETAPS 2005

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was est- lished in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite wo- shops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials. We - ceived over 550 submissions to the ?ve conferences this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the ?nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope.

img

Foundations of software science and computational structures ; 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007. The papers cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.

img

Foundations of software science and computation structures ; Vol. 3921 ; 9th International conference, FOSSACS 2006, Held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, proceedings

This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 28 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on mobile processes, software science, distributed computation, categorical models, real time and hybrid systems, process calculi, automata and logic, domains, lambda calculus, types, and security.

img

Foundations of software science and computation structures ; 25th International conference, FOSSACS 2022, Held as Part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022, proceedings

This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

img

Foundations of software science and computation structures ; 24th International conference, FOSSACS 2021, Held as Part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, proceedings

This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.

img

Foundations of software science and computation structures ; 23rd International conference, FOSSACS 2020, Held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, proceedings

This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.

img

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.

img

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.

img

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

img

Foundations of Security : What Every Programmer Needs to Know

Foundations of Security: What Every Programmer Needs to Know teaches new and current software professionals state-of-the-art software security design principles, methodology, and concrete programming techniques they need to build secure software systems.

img

Foundations of Qt Development

Foundations of Qt Development is based on Qt 4.2, and is aimed at C++ programmers who want to become proficient using this excellent toolkit to create graphical applications that can be ported to all major platforms. The book is focused on teaching you to write your own code in addition to using existing code. Common areas of confusion are identified, addressed, and answered.

Results Per Page