الصفحة 2
الصفحة 2
Computational Geometry : Algorithms and Applications
This introduction to computational geometry focuses on algorithms. Modern insights in computational geometry are used to provide solutions that are both efficient and easy to understand and implement.
Combinatorial Stochastic Processes : Ecole d'Eté de Probabilités de Saint-Flour XXXII - 2002
This volume contains the course “Combinatorial stochastic processes” of Professor Pitman. We cordially thank the author for his performance in Saint-Flour and for these notesThere is particular focus on the theory of random combinatorial structures such as partitions, permutations, trees, forests, and mappings, and connections between the asymptotic theory of enumeration of such structures and the theory of stochastic processes like Brownian motion and Poisson processes.
Biometrics, Computer Security Systems and Artificial Intelligence Applications
This book presents the most recent achievements in some fascinating and rapidly developing fields within Computer Science. The scientific works presented in this book have been partitioned into three topical groups: Image Analysis and Biometrics, Computer Security Systems, and Artificial Intelligence and Applications. Image Analysis and Biometrics is the branch of Computer Science dealing with the very difficult task of artificial, visual perception of objects and surroundings, as well as the problems connected with it. Computer Security and Safety is at present a very important and intensively investigated branch of Computer Science because of the menacing activity of hackers and computer viruses.
Bilinear integrable systems : From classical to quantum, continuous to discrete ; Proceedings of the NATO Advanced Research Workshop on Bilinear Integrable Systems: From Classical to Quantum, Continuous to Discrete St. Petersburg, Russia, 15-19 September 2002
Trained as a physicistin his home university Kyushu University, Professor Hirota earned his PhD in’61 at Northwestern University with Professor Siegert in the field of “QuantumStatistical mechanics”. He wrote a widely appreciated Doctoral dissertation on“Functional Integral representation of the grand partition function”. As a youngresearcher, he entered the RCA Company in Tokyo to do research on semi-conductor plasmas. Professor Hirota was led to model the Toda lattice as a non-linear networkof ladder-type LC circuits. The self-dual case led to equations very reminiscentof the Sine-Gordon equation, with much the same features (existence of onesoliton, soliton-soliton interaction, etc)
Approximation, randomization and combinatorial optimization. algorithms and techniques ; 8th international workshop on approximation algorithms for compinatorial optimization problems, APPROX 2005 and 9th international workshop on randomization and computation, RANDOM 2005, Berkeley, CA, USA, August 22-24, 2005, Proceedings
This volume contains the papers presented at the 8th International Workshopon Approximation Algorithms for Combinatorial Optimization Problems(APPROX 2005) and the 9th International Workshop on Randomization andComputation (RANDOM 2005), APPROX focuses on algorith-mic and complexity issues surrounding the development of efficient approximatesolutions to computationally hard problems, RANDOM isconcerned with applications of randomness to computational and combinatorialproblems, The volume contains 20 contributed papers selected by the APPROX Pro-gram
Approximation and online algorithms ; Vol.3351 ; 2nd international workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers
The 2nd Workshop on Approximation and Online Algorithms (WAOA 2004) focused on the design and analysis of algorithms for online and computationally hard problems. Both kinds of problems have a large number of applications arising from a variety of fields. The workshop was part of the ALGO 2004 event which also hosted ESA, WABI, IWPEC, and ATMOS. Topics of interests for WAOA2004 were : applications to game theory, appr- imation classes, coloring and partitioning, competitive analysis, computational finance, cuts and connectivity, geometric problems, in approximability results, mechanism design, network design, routing, packing and covering, paradigms, randomization techniques, and scheduling problems. on the reviews, This volume contains the 21 selected papers
Algorithms in Bioinformatics ; 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 8th International Workshop on Algorithms in Bioinformatics, WABI 2008, held in Karlsruhe, Germany, in September 2008 as part of the ALGO 2008 meeting.
Algorithms and Models for the Web-Graph ; 5th International Workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007, Proceedings
The book address a wide variety of topics related to the study of the Web-graph such as random graph models for the Web-graph, PageRank analysis and computation, decentralized search, local partitioning algorithms,and traceroute sampling. The Web-graph has been the focal point of a tremendous amount of research for more than a decade. The view of the Web as a graph has great practical importance and has also generated much interesting theoretical work.
Algorithms and computation ; 15th international symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004, Proceedings
This volume contains the proceedings of the 15th Annual International Sym- sium on Algorithms and Computation (ISAAC 2004), held in Hong Kong, 2004. ISAAC is an annual international symposium that covers a wide range of topics,namelyalgorithmsandcomputation. aftar review process the committee selected 76 papers, the decisions being based on originality and relevance to the ?eld of algorithms and computation.
Advances in verification of time Petri Nets and timed automata : A temporal logic approach
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets. "Advances in Verification of Time Petri Nets and Timed Automata – A Temporal Logic Approach" introduces timed and untimed temporal specification languages and gives model abstraction methods based on state class approaches for TPNs and on partition refinement for TA. Moreover, the monograph presents a recent progress in the development of two model checking methods, based on either exploiting abstract state spaces or on application of SAT-based symbolic techniques.
Advances in computer systems architecture ; Vol. 3740 ; 10th Asia-Pacific conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings
The papers are organized in topical sections on energy efficient and power aware techniques, methodologies and architectures for application-specific systems, processor architectures and microarchitectures, high-reliability and fault-tolerant architectures, compiler and OS for emerging architectures, data value predictions, reconfigurable computing systems and polymorphic architectures, interconnect networks and network interfaces, parallel architectures and computation models, hardware-software partitioning, verification, and testing of complex architectures, architectures for secured computing, simulation and performance evaluation, architectures for emerging technologies and applications, and memory systems hierarchy and management
Advanced Reliability Models and Maintenance Policies
Advanced Reliability Models and Maintenance Policies introduces partition and redundant problems within reliability models, and provides optimization techniques. The book also indicates how to perform maintenance in a finite time span and at failure detection, and to apply recovery techniques for computer systems.
150 Best Minimalist House Ideas
Presents tips, tricks, and techniques revealing how to create your own gorgeous, sophisticated interiors. One of the most popular contemporary interior design trends, minimalism highlights the essence of a room, stressing clean lines, clutter-free spaces, and a limited color palette. In 150 Best Minimalist Interior Ideas, photographs and floor plans of minimalist homes around the world are featured. The images are of stunning bedrooms, living rooms, dining rooms, kitchens, and bathrooms; and insightful text complements them to reveal why the minimalist rooms are so eye-catching, cathartic, and desirable. The text includes a wealth of both big picture and more focused ideas. It covers subjects such as walls (if and when to use them), doors, and partitions, flooring, lighting, furniture, and staircases, and explores color, patterns, materials, and texture. The homes featured in this extraordinary volume were developed by distinguished international designers at the forefront of the minimalist movement.
