Page 11
Page 11
Construction, maintenance, restoration and rehabilitation of highway bridges
Written for the benefit of bridge engineers associated with the construction, maintenance, restoration and rehabilitation of bridges. The engineering students having a special subject on bridge engineering or construction technology will also find the book very useful. The book contains six chapters on bridge construction including durability considerations, two chapters on bridge inspection and maintenance and seven chapters on failure and restoration of bridges as well as rehabilitation of distressed bridges.
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. This theorem is the goal of traditional program testing and, more recently, of program verification (in which the theorem must be proved). Proofs are difficult, though even with the use of powerful theorem provers. This volume explains and illustrates an alternative method, which allows the construction of (necessarily correct) algorithms from a specification using algebraic transformations and refinement techniques which prevent the introduction of errors. Based on teaching material used extensively at Loughborough University, John Cooke introduces the basics, using simple examples and lots of detailed working (which can often be re-used). Constructing Correct Software will provide invaluable reading for students and practitioners of Computer Science and Software Engineering to whom correctness of software is of prime importance.
Consciousness : From Perception to Reflection in the History of Philosophy
Consciousness: From Perception to Reflection in the History of Philosophy shows that the concept of consciousness was explicated relatively late in the tradition, but that its central features, such as reflexivity, subjectivity and aboutness, attained avid interest very early in philosophical debates. This book reveals how these features have been related to other central topics, such as selfhood, perception, attention and embodiment. At the same time, the articles display that consciousness is not just an isolated issue of philosophy of mind, but is bound to ontological, epistemological and moral discussions. Integrating historical inquiries into the systematic ones enables understanding the complexity and richness of conscious phenomena.
Congruency, Expectations and Consumer Behavior in Digital Environments
A progress in technologies, the increasing expansion and use of digital environments lead to remarkable shifts of business activities. These transformations not only impact business but also affect consumers’ attitudes, beliefs, and practices. Thus, Frederic Nimmermann sheds light on consumer behavior in central subareas in digital environments such as advertising.
Conducting Polymers : A New Era in Electrochemistry
The discovery of polymers with variable conductivity brought forth a paradigmatic change in chemistry and in other branches of science and technology. Electrochemistry has played a central role in the preparation, characterization and application of these new materials. This book is a systematic survey of the knowledge accumulated in this field in the last thirty years. It includes thermodynamic aspects, the theory of the mechanism of charge transport processes, the chemical and physical properties of these compounds, the techniques of characterization, the chemical and electrochemical methods of synthesis as well as the application of these systems. The book contains a compilation of the polymers prepared so far and covers the relevant literature.
Conceptual Modeling - ER 2005
Conceptual modeling is fundamental to any domain where one must cope with complex real-world situations and systems because it fosters communication - tween technology experts and those who would bene?t from the application of those technologies. Conceptual modeling is the key mechanism for und- standing and representing the domains of information system and database - gineering but also increasingly for other domains including the new “virtual” e-environmentsandtheinformationsystemsthatsupportthem.Theimportance of conceptual modeling in software engineering is evidenced by recent interest in “model-drivenarchitecture”and“extremenon-programming”.Conceptualm- eling also plays a prominent rolein various technical disciplines and in the social sciences. The Annual International Conference on Conceptual Modeling (referred to as the ER Conference) provides a central forum for presenting and discussing current research and applications in which conceptual modeling is the major emphasis.
Concepts in action : Representation, learning, and application
This book is a timely contribution in presenting recent issues, approaches, and results that are not only central to the highly interdisciplinary field of concept research but also particularly important to newly emergent paradigms and challenges. The contributors present a unique, holistic picture for the understanding and use of concepts from a wide range of fields including cognitive science, linguistics, philosophy, psychology, artificial intelligence, and computer science. The chapters focus on three distinct points of view that lie at the core of concept research: representation, learning, and application. The contributions present a combination of theoretical, experimental, computational, and applied methods that appeal to students and researchers working in these fields.
Computer security principles and practice
Provides an up-to-date survey of developments in computer security. Central problems that confront security designers and security administrators include defining the threats to computer and network systems, evaluating the relative risks of these threats, and developing cost-effective and user friendly countermeasures
Computational Science -- ICCS 2005 ; Vol. 3516 ; 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III
This book constitutes the refereed proceedings of the Fifth International Conference on Computational Science (ICCS 2005) held in Atlanta, Georgia, USA, 2005, Computational science is rapidly maturing as a mainstream discipline. It is central to an ever-expanding variety of ?elds in which computational methods and tools enable new discoveries with greater accuracy and speed. The primary objectives of this conference were to discuss problems and solutions in allareas,toidentifynewissues,toshapefuturedirectionsofresearch,andtohelp users apply various advanced computational techniques. The event highlighted recent developments in algorithms, computational kernels, next generation c- puting systems, tools, advanced numerical methods, data-driven systems, and emerging application ?elds, such as complex systems, ?nance, bioinformatics, computational aspects of wireless and mobile networks, graphics, and hybrid computation.
Computational Science -- ICCS 2005 ; Vol. 3515 ; 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I
This book constitutes the refereed proceedings of the Fifth International Conference on Computational Science (ICCS 2005) held in Atlanta, Georgia, USA, 2005, Computational science is rapidly maturing as a mainstream discipline. It is central to an ever-expanding variety of ?elds in which computational methods and tools enable new discoveries with greater accuracy and speed. The primary objectives of this conference were to discuss problems and solutions in allareas,toidentifynewissues,toshapefuturedirectionsofresearch,andtohelp users apply various advanced computational techniques. The event highlighted recent developments in algorithms, computational kernels, next generation c- puting systems, tools, advanced numerical methods, data-driven systems, and emerging application ?elds, such as complex systems, ?nance, bioinformatics, computational aspects of wireless and mobile networks, graphics, and hybrid computation.
Computational science -- ICCS 2005 ; Vol. 3514 ; 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I
This book constitutes the refereed proceedings of the Fifth International Conference on Computational Science (ICCS 2005) held in Atlanta, Georgia, USA, 2005, Computational science is rapidly maturing as a mainstream discipline. It is central to an ever-expanding variety of ?elds in which computational methods and tools enable new discoveries with greater accuracy and speed. The primary objectives of this conference were to discuss problems and solutions in allareas,toidentifynewissues,toshapefuturedirectionsofresearch,andtohelp users apply various advanced computational techniques. The event highlighted recent developments in algorithms, computational kernels, next generation c- puting systems, tools, advanced numerical methods, data-driven systems, and emerging application ?elds, such as complex systems, ?nance, bioinformatics, computational aspects of wireless and mobile networks, graphics, and hybrid computation.
Computational logic in multi-agent systems ; 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
Though multiagent systems (MASs) are being increasingly used, few methods exist to ensure survivability of MASs. All existing methods suffer from two flaws. First, a centralized survivability algorithm (CSA) ensures survivability of the MAS – unfortunately, if the node on which the CSA exists goes down, the survivability of the MAS is questionable. Second, no mechanism exists to change how the MAS is deployed when external factors trigger a re-evaluation of the survivability of the MAS. In this paper, we present three algorithms to address these two important problems. Our algorithms can be built on top of any CSA. Our algorithms are completely distributed and can handle external triggers to compute a new deployment. We report on experiments assessing the efficiency of these algorithms.
Computational intelligence for agent-based systems
In these last years the digital technology explosion has spawned so many new lifestyle models that the boundaries between "real" and "digital" are fiercely debated. This scenario has deeply changed the viewpoint about computer applications: computers become smaller, cheapest and hugely distributed in wired or unwired networks, applications become so flexible and intelligent as to tailor its communication facilities in order to increase the usability of the system. Such data-intensive, unstructured spaces featured by minimal or no centralized control flow, present a challenge for traditional methods of analysis, design and integration of advanced, distributed and intelligent computer systems. Within this challenge, an important role is played by two important research areas : Fuzzy Technology, thanks to its ability to exploit the tolerance for imprecision to achieve tractability and Agent Technology, thanks to its nature to employ agent-wise communities to carry out complex goals by means of smart interaction, cooperation, and pro-activeness.
Combinatorics of Coxeter Groups
Coxeter groups are of central importance in several areas of algebra, geometry, and combinatorics. This clear and rigorous exposition focuses on the combinatorial aspects of Coxeter groups, such as reduced expressions, partial order of group elements, enumeration, associated graphs and combinatorial cell complexes, and connections with combinatorial representation theory. While Coxeter groups have already been exposited from algebraic and geometric perspectives, this text is the first one to focus mainly on the combinatorial aspects of Coxeter groups. The first part of the book provides a self-contained introduction to combinatorial Coxeter group theory. The emphasis here is on the combinatorics of reduced decompositions, Bruhat order, weak order, and some aspects of root systems. The second part deals with more advanced topics, such as Kazhdan-Lusztig polynomials and representations, enumeration, and combinatorial descriptions of the classical finite and affine Weyl groups. A wide variety of exercises, ranging from easy to quite difficult are also included.
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.
Combinatorial and Algorithmic Aspects of Networking ; 4th Workshop, CAAN 2007, Halifax, Canada, August 14, 2007, Revised Papers
It contiants developments on all aspects of networking could be presented. It covered were diverse, with talks on strategies for searching in networks, for cleaning networks of unwanted - truders, on difierent routing strategies, and on scheduling, load balancing, probability, a concept central to network modeling and managing.
Collective Bargaining and Wage Formation; Performance and Challenges
This volume considers the development of the wage formation and wage bargaining institutions as a response to changes in the bargaining environment. These changes include a lower level of inflation and the growth in intraindustrial trade as firms have become more specialised. The response to these changes will depend on the current institutions and on the characteristics of the bargaining system. Generally there has been some move towards decentralisation; the question is what should be bargained centrally and which issues should be transferred to lower levels. Some of the contributions pay special attention to Nordic regimes using survey results gathered from the Finnish labour market partners.
Cognitive Wireless Communication Networks
this book offers a wide range of information on the subject. Topics covered include the fundamental challenges and issues in designing cognitive radio systems to the information-theoretic analysis of such systems, spectrum sensing and co-existence issues, adaptive physical layer protocols and link adaptation techniques for cognitive radio, orthogonal frequency division multiple access (OFDM) and ultra wide band (UWB)-based cognitive radio, different techniques for spectrum access by distributed cognitive radio, cognitive medium access control (MAC) protocols, decentralized learning-based dynamic spectrum access methods as well as macroeconomic models for spectrum management in cognitive radio.
CO-ENZYME Q10
Coenzyme Q10 (CoQ10) is a fat-soluble compound that is synthesized by the body and can be obtained from the diet. Co-Q10 plays a central role in mitochondrial oxidative phosphorylation and the production of adenosine triphosphate (ATP). It also functions as an antioxidant in cell membranes and lipoproteins. Endogenous synthesis and dietary intake provide sufficient C0- Q10 to prevent deficiency in healthy people, although coenzyme Q10 concentrations in tissues decline with age. Oral supplementation of coenzyme Q10 increases coenzyme Q10 concentrations in plasma and lipoproteins. Oral high-dose co- Q10 is usually effective to treat mitochondrial disorders that are caused by mutations in coenzyme Q10 biosynthetic genes.
Code : The Hidden Language of Computer Hardware and Software ; 2nd ed
The classic guide to how computers work, updated with new chapters and interactive graphics Computers are everywhere --- most obviously in our laptops and smartphones, but also our cars, televisions, microwave ovens, alarm clocks, robot vacuum cleaners, and other smart appliances. Have you ever wondered what goes on inside these devices to make our lives easier but occasionally more infuriating? Explores more deeply the bit-by-bit, gate-by-gate construction of the heart of every smart device ― the central processing unit that combines the simplest of basic operations to perform the most complex of feats. Along with new chapters, Petzold created a new website, CodeHiddenLanguage.com, that uses animated interactive graphics to make computers even easier to comprehend.
