الصفحة 24
الصفحة 24
img

Advances in Information and Computer Security ; 3rd International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008. Proceedings

This book constitutes the refereed proceedings of the Third International Workshop on Security, IWSEC 2008, held in Kagawa, Japan, in November 2008.

img

Advances in Fracture Research : Honour and plenary lectures presented at the 11th International Conference on Fracture (ICF11), held in Turin, Italy, on March 20-25, 2005

Biological materials are bottom-up designed systems formed from billions of years of natural evolution. In the long course of Darwinian competition for survival, nature has evolved a huge variety of hierarchical and multifunctional systems from nucleic acids, proteins, cells, tissues, organs, organisms, animal communities to ecological s- tems. Multilevel hierarchy a rule of nature. The complexities of biology provide an opportunity to study the basic principles of hierarchical and multifunctional s- tems design, a subject of potential interest not only to biomedical and life sciences, but also to nanosciences and nanotechnology. Systematic studies of how hierarchical structures in biology are related to their functions and properties can lead to better understanding of the effects of aging, diseases and drugs on tissues and organs, and may help developing a scienti?c basis for tissue engineering to improve the standard of living.

img

Advances in cryptology - EUROCRYPT 90 ; Workshop on the theory and application of cryptographic techniques, Aarhus, Denmark, May 21-24, 1990. Proceedings

Eurocrypt is a conference devoted to all aspects of cryptologic research, both theoretical and practical, sponsored by the International Association for Cryptologic Research (IACR). Eurocrypt 90 took place in Åarhus, Denmark, in May 1990. From the 85 papers submitted, 42 were selected for presentation at the conference and for inclusion in this volume. In addition to the formal contributions, short abstracts of a number of informal talks are included in these proceedings. The proceedings are organized into sessions on protocols, number-theoretic algorithms, boolean functions, binary sequences, implementations, combinatorial schemes, cryptanalysis, new cryptosystems, signatures and authentication, and impromptu talks.

img

Advances in cryptology - EUROCRYPT 2006 ; 25th Annual international conference on the theory and applications of cryptographic techniques, St. Petersburg, Russia, May 28 - June 1, 2006, Proceedings

The 2006 edition of the Eurocrypt conference was held in St. Petersburg,Russia from May 28 to June 1, 2006. It was the 25th Eurocrypt conference. Eurocrypt is sponsored by the International Association for Cryptologic Research (IACR). Eurocrypt 2006 was chaired by Anatoly Lebedev, and I had the privilege to chair the Program Committee. Eurocrypt collected 198 submissions on November 21, 2005. The Program Committee carried out a thorough review process. In total, 863 review reports were written by renowned experts, Program Committee members as well as external referees. Online discussions led to 1,114 additional discussion messages and about 1,000 emails. The review process was run using e-mail and the iChair software by Thomas Baign` eres and Matthieu Finiasz. Every submitted paper received at least three review reports. The Program Committee had a meeting in Lausanne on February 4, 2006.

img

Advances in cryptology - CRYPTO 2005 ; 25th Annual International cryptology conference, Santa Barbara, California, USA, August 14-18, 2005, Proceedings

Constitutes the refereed proceedings of the 25th Annual International Cryptology Conference, CRYPTO 2005, held in Santa Barbara, California, USA in August 2005. this book includ topics : Coding and Information Theory / Cryptology / Computer Communication Networks / Operating Systems / Discrete Mathematics in Computer Science / Computers and Society"

img

Advances in cryptology - ASIACRYPT 2008 ; 14th International conference on the theory and application of cryptology and information security, Melbourne, Australia, December 7-11, 2008. Proceedings

Constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2008, held in Melbourne, Australia, in December 2008.

img

Advances in cryptology – ASIACRYPT 2007 ; 13th International conference on the theory and application of cryptology and information security, Kuching, Malaysia, December 2-6, 2007, Proceedings

The book are organized in topical sections on number theory and elliptic curve, protocol, hash function design, group/broadcast cryptography, mac and implementation, multiparty computation, block ciphers, foundation, public key encryption, and cryptanalysi.

img

Advances in cryptology -- ASIACRYPT 2006 ; 12th International conference on the theory and application of cryptology and information security, Shanghai, China, December 3-7, 2006, Proceedings

This book constitutes the refereed proceedings of the 12th International Conference on the Theory and Application of Cryptology and Information Security, held in Shanghai, China, December 2006. The 30 revised full papers cover attacks on hash functions, stream ciphers, biometrics and ECC computation, id-based schemes, public-key schemes, RSA and factorization, construction of hash function, protocols, block ciphers, and signatures.

img

Advances in cryptology - CRYPTO -87 ; Conference on the theory and applications of cryptographic techniques : Proceedings

Zero-knowledge interactive proofsystems are a new technique which can be used as a cryptographic tool for designing provably secure protocols. Goldwasser, Micali, and Rackoff originally suggested this technique for controlling the knowledge released in an interactive proof of membership in a language, and for classification of languages. In this approach, knowledge is defined in terms of complexity to convey knowledge if it gives a computational advantage to the receiver, theory, and a message is said for example by giving him the result of an intractable computation. The formal model of interacting machines is described in. A proof-system (for a language L) is an interactive protocol by which one user, the prover, attempts to convince another user, the verifier, that a given input x is in L. We assume that the verifier is a probabilistic machine which is limited to expected polynomial-time computation, while the prover is an unlimited probabilistic machine.

img

Adaptive dynamic programming for chemotherapy drug delivery

Focuses on the practical application of Adaptive Dynamic Programming (ADP) in chemotherapy drug delivery, taking into account clinical variables and real-time data. ADP's ability to adapt to changing conditions and make optimal decisions in complex and uncertain situations makes it a valuable tool in addressing pressing challenges in healthcare and other fields. As optimization technology evolves, we can expect to see even more sophisticated and powerful solutions emerge.

img

A primer on theoretical soil mechanics

A Primer to Theoretical Soil Mechanics is about adapting continuum mechanics to granular materials. The field of continuum mechanics offers many fruitful concepts and methods, however there is declining interest in the field due to its complex and fragmented nature. This book's purpose is therefore to facilitate the understanding of the theoretical principles of soil mechanics, as well as introducing the new theory of barodesy.

img

A Portrait of State-of-the-Art Research at the Technical University of Lisbon

This book contains the edited version of the invited lectures that were delivered by prominent researchers at UTL. This book brings together in a review manner a comprehensive summary of high quality research contri- tions across basic and applied sciences. The contributing papers are organized around the following major areas: – Emergent areas (Nanosciences, Quantic Computations and Infor- tion, Risk and Volatility in Financial Markets); – Basic Sciences (Mathematics, Physics, Chemistry and Materials); – Social Sciences, Economics and Management Sciences; – Life Sciences and Biotechnology; – Engineering and Technologies – Nature, Environment and Sustainability; – Public Health, Food Quality and Safety; – Health and Sport Sciences; – Urbanism, Transports, Architecture, Arts and Design.

img

A History of Physical Theories of Comets, From Aristotle to Whipple

The book describes the major physical theories of comets in the past two millennia. It demonstrates the evolution of ideas about the nature, position, motion and physical constitution of comets from Aristotle to Whipple. Unlike the available works on the history of comets, which either illustrate relatively short periods in the history of physical cometology or portray a landscape view without adequate details, the present study focuses on details of each theory. It also investigates the interaction between observational and mathematical astronomy, and the physical sciences in defining the properties of comets.

img

A History of Parametric Statistical Inference from Bernoulli to Fischer, 1713-1935

This is a history of parametric statistical inference, written by one of the most important historians of statistics of the 20th century, Anders Hald. This book can be viewed as a follow-up to his two most recent books, although this current text is much more streamlined and contains new analysis of many ideas and developments. And unlike his other books, which were encyclopedic by nature, this book can be used for a course on the topic, the only prerequisites being a basic course in probability and statistics.

img

A Concise Introduction to Mathematical Logic

This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows the lecturer to select the material for a one-semester course on a topic more easily. These initial chapters cover just the material for an introductory course on mathematical logic combined with the necessary material from set theory. Chapter 3 is partly of a descriptive nature, providing a view towards decision problems, automated theorem proving, non-standard models and related subjects. The other chapters contain material on logic programming for computer scientists, model theory, recursion theory, Gödel's Incompleteness Theorems, and applications of mathematical logic. Philosophical and foundational problems of mathematics are discussed where appropriate.

img

A Concise Course on Stochastic Partial Differential Equations

Concentrate on (nonlinear) stochastic partial differential equations (SPDE) of evolutionary type. All kinds of dynamics with stochastic influence in nature or man-made complex systems can be modelled by such equations.

img

A Climate of Justice : An Ethical Foundation for Environmentalism

This book helps readers combine history, politics, and ethics to address the most pressing problem facing the world today: environmental survival. In A Climate of Justice, Marvin Brown connects the environmental crisis to basic questions of economic, social, and racial justice. Brown shows how our current social climate maintains systemic injustices, and he uncovers resources for change through a civic ethics of repair and reciprocity.

img

A Classical Introduction to Cryptography : Applications for Communications Security

This advanced-level textbook covers conventional cryptographic primitives and cryptanalysis of these primitives; basic algebra and number theory for cryptologists; public key cryptography and cryptanalysis of these schemes; and other cryptographic protocols, e.g. secret sharing, zero-knowledge proofs and undeniable signature schemes.

img

A City in Blue and Green : The Singapore Story

Highlights Singapore’s development into a city in which water and greenery, along with associated environmental, technical, social and political aspects have been harnessed and cultivated into a liveable sustainable way of life. It is also a story about a unique and thoroughgoing approach to large-scale and potentially transferable water sustainability, within largely urbanized circumstances, which can be achieved, along with complementary roles of environmental conservation, ecology, public open-space management and the greening of buildings, together with infrastructural improvements.

عدد النتائج بكل صفحة