Page 8
Page 8
Computer safety, reliability, and security ; Vol. 4166 ; 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings
The conference focuses on the state of the art, expe- ence and new trends in the areas of safety, security and reliability of critical IT systems and applications and serves as a platform for knowledge and technology transfer for researchers, industry (suppliers, operators, users), regulators and certi?ers of such systems. SAFECOMP provides ample opportunity to exchange insights and experiences on emerging methods, approaches and practical so- tions to safety, security and reliability problems across the borders of di?erent application domains and technologies.
Computer Network Security ; Vol. 3685
This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Models and Architectures for Computer Network - curity (MMM-ACNS 2005) held in St. Petersburg, Russia, 2005. The 1st and the 2nd International Workshops on Mathematical Methods, Models and Architectures for Computer Network Security (MMM-ACNS 2001 and MMM-ACNS 2003), hosted by the St. Petersburg Institute for Informatics and Automation, demonstrated the keen interest of the international research community in the subject area. It was recognized that conducting a biannual series of such workshops in St. Petersburg stimulates fruitful exchanges between the di?erent schools of thought, facilitates the dissemination of new ideas and promotesthespirit of cooperationbetweenresearchersontheinternationalscale. MMM-ACNS 2005 provided an international forum for sharing original - search results and application experiences among specialists in fundamental and applied problems of computer network security. An important distinction of the workshop was its focus on mathematical aspects of information and computer network security addressing the ever-increasing demands for secure computing and highly dependable computer networks.
Computer and Information Science
The purpose of the 7th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2008) and the 2nd IEEE/ACIS International Workshop on e-Activity (IWEA 2008) is to bring together scientists, engineers, computer users, and students to share their experiences and exchange new ideas and research results about all aspects (theory, applications and tools) of computer and information science; and to discuss the practical challenges encountered along the way and the solutions adopted to solve them.
Computer And Computing Technologies In Agriculture, Vol. II ; 1st IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Computer And Computing Technologies In Agriculture, Vol. I ; 1st IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Computational methods in systems biology ; Vol. 3082 ; International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers
present CMBSlib, a library of Computational Models of Biological Systems. It is aimed at providing a list of test problems for formalisms, modeling issues and implementation issues in systems biology. The main motivation for CMBSlib is to stimulate research on the formal modeling of biological systems, by facilitating the exchange of formal models between researchers, and by providing a forum of comparison and validation of not only models, but also modeling formalisms and implementations. Unlike a standardization effort, CMBSlib welcomes the most exotic formalisms and models provided they attack the modeling of well documented biological systems. Models of biological systems written in any referenced formalism can be submitted to CMBSlib. No special format or standard is required. We discuss the advantages of and problems encountered in building such a library, give an example of typical entry in the library, and most of all we invite the community to become active contributors to CMBSlib.
Computational Methods for Algebraic Spline Surfaces : ESF Exploratory Workshop
The papers included in this volume provide an overview about the state-of-the-art in approximative implicitization and various related topics, including both the theoretical basis and the existing computational techniques. The novel idea of approximate implicitization has strengthened the existing link between Computer Aided Geometric Design and classical algebraic geometry. There is a growing interest from researchers and professionals both in CAGD and Algebraic Geometry, to meet and combine knowledge and ideas, in order to better solve industrial--type challenges, as well as to initiate new directions for basic research. This volume will support this exchange of ideas between the various communities.
Computational Life Sciences ; Vol. 3695 ; 1st International Symposium, CompLife 2005, Konstanz, Germany, September 25-27, 2005, Proceedings
This book constitutes the refereed proceedings of the First International Symposium on Computational Life Sciences, CompLife 2005, held in Konstanz, Germany in September 2005. The integration of knowledge in the life sciences is continuing apace with ev- increasingimportancebeing placedoncomputer-basedmethodsofdata capture, analysis, and knowledge representation. Today, our many di?erent sciences are providing us with a sea of information: it is the handling of this in?ux that is becoming a key discovery and regulatory question. The solutions to these problems will result in advancements to all of the involved sciences and will be highly in?uential both in the selection of the areas scientists seek to investigate and also on their success. For this to happen, it is crucial to establish an open and lively exchange between computer scientists, biologists, and chemists. To encourage precisely this type of exchange, crossing the borders of the sciences, we organized the 1st Symposium on Computational Life Science in Konstanz, Germany(September 25 27,2005).
Commodity derivatives : Markets and applications
The second edition includes discussions of critical new topics like dual curve swap valuation, option valuation within a negative price environment using the Bachelier model, volatility skews, smiles, smirks, term structures for major commodities, and more. You’ll find case studies on corporate failures linked to improper commodity risk management, as well as explorations of issues like the impact of growing interest in electric vehicles on commodity markets.
Combinatorics, Algorithms, Probabilistic and Experimental Methodologies ; 1st International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers
This book address practical large data processing problems with different, and eventually converging, methodologies from major important disciplines such as computer science, combinatorics, and statistics. The symposium provides an interdisciplinary forum for researchers across their discipline boundaries to exchange their approaches, to search for ideas, methodologies, and tool boxes, to find better, faster and more accurate solutions thus fostering innovative ideas as well as to develop research agenda of common interest.
Combinatorial and algorithmic aspects of networking ; Vol.3405 ; 1st Workshop on combinatorial and algorithmic aspects of networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers
The Internet is a massive global network of over 700 million users and it is addingusers at the rate of 300,000 per day. This large, distributed, and everchangingnetwork poses a challenge to researchers: How does one study, model, or under-stand such a decentralized, constantly evolving entity? The workshop Combi-natorial and Algorithmic Aspects of Networking and the Internet (CAAN 2004)provided a forum for the exchange of ideas on these topics. and among thepapers were some new and surprising results as well as some introductions tothe foundations of the field.The workshop program featured 12 peer-reviewed papers bracketed by Topics covered by the talks ranged from the Web graph to game theoryto string matching, all in the context of large-scale networks. This volume collectstogether the talks delivered at the workshop along with a number of survey articlesto round out the presentation and give a comprehensive introduction to the topic.
Mathematical Control Theory and Finance
This book highlights recent developments in mathematical control theory and its applications to finance. It presents a collection of original contributions by distinguished scholars, addressing a large spectrum of problems and techniques. Control theory provides a large set of theoretical and computational tools with applications in a wide range of fields, ranging from "pure" areas of mathematics up to applied sciences like finance. Stochastic optimal control is a well established and important tool of mathematical finance. Other branches of control theory have found comparatively less applications to financial problems, but the exchange of ideas and methods has intensified in recent years. This volume should contribute to establish bridges between these separate fields. The diversity of topics covered as well as the large array of techniques and ideas brought in to obtain the results make this volume a valuable resource for advanced students and researchers.
Making Grids Work ; Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greece
Making Grids Work includes selected articles from the CoreGRID Workshop on Grid Programming Models, Grid and P2P Systems Architecture, Grid Systems, Tools and Environments held at the Institute of Computer Science, Foundation for Research and Technology - Hellas in Crete, Greece, June 2007. This workshop brought together representatives of the academic and industrial communities performing Grid research in Europe. Organized within the context of the CoreGRID Network of Excellence, this workshop provided a forum for the presentation and exchange of views on the latest developments in Grid Technology research. This volume is the 7th in the series of CoreGRID books.
Magnetism in the Solid State : An Introduction
Presents a phenomenological approach to the field of solid state magnetism. After introducing the basic concepts from statistical thermodynamics and electronic structure theory, the first part discusses the standard models for localized moments (Weiss, Heisenberg) and delocalized moments (Stoner). This is followed by a chapter about exchange and correlation in metals, again considering the results for the localized and delocalized limit. The book ends with a chapter about spin fluctuations, which are introduced as an alternative to the finite temperature Stoner theory. A useful reference work for researchers, this book will also be a valuable accompaniment to graduate courses on magnetism and magnetic materials.
Magnetic Heterostructures : Advances and Perspectives in Spinstructures and Spintransport
Magnetic heterostructures constitute an important field in magnetism and nanotechnology, which has developed over the past fifteen years due to important advances in epitaxial- growth techniques and lithographic processes. Magnetic heterostructures combine different physical properties which do not exist in nature. Examples are semiconductors/ferromagnets, superconductors/ferromagnets, and ferromagnets/antiferromagnets. These combinations display rich and novel physical properties different from those that exit in any single one of them. Interlayer exchange coupling, exchange bias, proximity effects, giant magneto-resistance, tunneling magneto-resistance, spininjection and spintransport are examples of new physical phenomena that rely on the combination of different materials layers
Machine Learning Approaches in Cyber Security Analytics
Introduces various machine learning methods for cyber security analytics. With an overwhelming amount of data being generated and transferred over various networks, monitoring everything that is exchanged and identifying potential cyber threats and attacks poses a serious challenge for cyber experts. Further, as cyber attacks become more frequent and sophisticated, there is a requirement for machines to predict, detect, and identify them more rapidly. Machine learning offers various tools and techniques to automate and quickly predict, detect, and identify cyber attacks.
Lymphocyte Signal Transduction
Signal transduction through leukocyte receptors involves a variety of signaling molecules including kinases, phosphatases, adaptor proteins, small GTPases GTP exchange factors, membrane phospholipids as well as others. These signal transducers, regulated by inter- and intra-molecular interactions, as well as by various post-translational modifications, lead to the activation of transcription factors that mediate cellular differentiation and growth, effector cell functions, and apoptotic cell death. Several investigators from various parts of the world convened at the 3rd Lymphocyte Signal Transduction Workshop in Crete, Greece from May 27 to June 1, 2005 to discuss their most recent findings in leukocyte signaling. This volume represents a collection of topics discussed during the conference.
Lung biology and pathophysiology
The lungs are the organ for gas exchange between the body and the external environment. Dysfunction of upper airway epithelium and smooth muscle cells leads to pathogenesis of asthma, chronic obstructive pulmonary disease (COPD), cystic fibrosis, and other conditions, resulting in airway inflammation and narrowing. Injury to alveolar epithelium and endothelium causes influx of neutrophil and protein-rich fluid from circulation, resulting in edema and disruption of gas exchange. In addition to lung structural cells, immune cells, including alveolar macrophages and lymphocytes play critical roles in the maintenance of lung function. This book contributes to the understanding homeostasis of lung cells in the physiological and pathological conditions critical to the development of novel therapeutics.
Local-Moment Ferromagnets : Unique Properties for Modern Applications
Some ferromagnetic materials with localized magnetic moments have become a hot topic in modern solid-state physics because of their potential applications, e.g. in spintronic devices. The magnetic systems of interest comprise diluted magnetic semiconductors and half-metallic ferromagnets. Like conventional concentrated local-moment systems, they are characterized by an exchange interaction between localized magnetic moments and quasi-free charge carriers. The current research on local-moment ferromagnetism is reviewed in a tutorial style by leading experts in this field. Experimentalists present the latest approaches to characterize the unique material properties, and theoreticians propose definitive ideas to explain the observed phenomena. Students and researches alike will benefit from this status report.
Lifting Modules : Supplements and Projectivity in Module Theory
Extending modules are generalizations of injective modules and, dually, lifting modules generalize projective supplemented modules. There is a certain asymmetry in this duality. While the theory of extending modules is well documented in monographs and text books, the purpose of our monograph is to provide a thorough study of supplements and projectivity conditions needed to investigate classes of modules related to lifting modules. The text begins with an introduction to small submodules, the radical, variations on projectivity, and hollow dimension. The subsequent chapters consider preradicals and torsion theories (in particular related to small modules), decompositions of modules (including the exchange property and local semi-T-nilpotency), supplements in modules (with specific emphasis on semilocal endomorphism rings), finishing with a long chapter on lifting modules, leading up their use in the theory of perfect rings, Harada rings, and quasi-Frobenius rings.
