الصفحة 29
الصفحة 29
Advances in computer science - ASIAN 2004 : Higher level decision making ; 9th Asian computing ccience conference ; Dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004
Constitutes the proceedings of the 9th Asian Computing Science Conference was held in Chiang Mai in Decem-ber 2004. This volume contains papers that were presented at that conference. Its theme was “higher-level decision-making”.Philippe Flajolet was invited to give the opening keynote address, whileYuzuru Tanaka and Phillip Rogaway werealso keynote speakers. In additionto the keynote speakers, distinguished colleagues of Jean-Louis Lassez were in-vited to present talks in his honour. Many of those talks are represented bypapers in this volume, this book Include Topics : Theory of Computation / Artificial Intelligence / Software Engineering / Programming and Operating Systems / Cryptology / Discrete Mathematics in Computer Science / Information Systems Applications (incl. Internet)
Advances in computer graphics ; 24th Computer graphics international conference, CGI 2006, Hangzhou, China, June 26-28, 2006, Proceedings
Contains 39 full papers and 39 short papers accepted by CGI 2006. CGI conference was initially founded by the Computer Graphics Society in 1983 and has now become a widely recognized, high-quality academic conference in the field of computer graphics. Recent CGI conferences were held in New York (2005), Crete (2004), Tokyo (2003), Bradford (2002), Hong Kong (2001) and Geneva (2000). The CGI 2006 Program Committee received an overwhelming 387 submissions from many countries worldwide. China and Korea contributed many enthusiastic submissions. Based on the strict review comments of international experts, we selected 38 full papers and 37 short papers for presentations.
Advances in civil engineering materials : Selected articles from the 6th International Conference on architecture and civil engineering (ICACE 2022), August 2022, Kuala Lumpur, Malaysia
Presents selected articles from the 6th International Conference on Architecture and Civil Engineering 2022 (ICACE 2022), held in Malaysia. Written by leading researchers and industry professionals, the papers highlight recent advances and addresses current issues in the fields of civil engineering and architecture.
Advances in Case-Based Reasoning ; 9th European Conference, ECCBR 2008 , Trier, Germany, September 1-4, 2008. Proceedings
Constitutes the refereed proceedings of the 9th European Conference on Case-Based Reasoning, ECCBR 2008, held in Trier, Germany, in September 2008.
Advances in bioinformatics and computational biology ; 3rd Brazilian symposium on bioinformatics, BSB 2008, Santo André, Brazil, August 28-30, 2008. Proceedings
Constitutes the refereed proceedings of the Third Brazilian Symposium on Bioinformatics, BSB 2008, held in Sao Paulo, Brazil, in August 2008 - co-located with IWGD 2008, the International Workshop on Genomic Databases.
Advances in Artificial Intelligence ; Vol. 4013 : 19th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2006, Quebec City, Quebec, Canada, June 7-9, Proceedings
Constitutes the refereed proceedings of the 4th Hellenic Conference on Artificial Intelligence, SETN 2006, held at Heraklion, Crete, Greece in May 2006. The 43 revised full papers and extended abstracts of 34 revised short papers presented together with 2 invited contributions were carefully reviewed and selected from 125 submissions. The papers address any area of artificial intelligence; particular fields of interest include; logic programming, knowledge-based systems, intelligent information retrieval, machine learning, neural nets, genetic algorithms, data mining and knowledge discovery, hybrid intelligent systems and methods, intelligent agents, multi-agent systems, intelligent distributed systems, intelligent/natural interactivity, intelligent virtual environments, planning, scheduling, and robotics.
Advances in Artificial Intelligence ; Vol. 3955 : 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings
Constitutes the refereed proceedings of the 4th Hellenic Conference on Artificial Intelligence, SETN 2006, held at Heraklion, Crete, Greece in May 2006. The 43 revised full papers and extended abstracts of 34 revised short papers presented together with 2 invited contributions were carefully reviewed and selected from 125 submissions. The papers address any area of artificial intelligence; particular fields of interest include; logic programming, knowledge-based systems, intelligent information retrieval, machine learning, neural nets, genetic algorithms, data mining and knowledge discovery, hybrid intelligent systems and methods, intelligent agents, multi-agent systems, intelligent distributed systems, intelligent/natural interactivity, intelligent virtual environments, planning, scheduling, and robotics.
Advances in Artificial Intelligence - SBIA 2008 ; 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings
Constitutes the refereed proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2008, held in Salvador, Brazil, in October 2008.
Advanced Nanomaterials
Covers synthesis, characterization, and applications of diverse types of nanomaterials. Specifically, it describes carbon, graphene, and graphene oxide-based nanomaterials and their use for environmental remediation. Nanomaterials for concrete coating applications and advances in the processing of high-entropy alloys by means of mechanical alloying are also covered. Subsequently, the use of nanomaterials in endodontics and the use of nanotechnology strategies to enhance restorative resin-based dental nanomaterials are reported.
Advanced mathematical science for mobility society
The automotive industry has made steady progress in technological innovations under the names of Connected Autonomous-Shared-Electric (CASE) and Mobility as a Service (MaaS). Needless to say, mathematics and informatics are important to support such innovations. As the concept of cars and movement itself is diversifying, they are indispensable for grasping the essence of the future mobility society and building the foundation for the next generation. This book contains three main contents. 1. Mathematical models of flow 2. Mathematical methodsfor huge data and network analysis 3. Algorithm for mobility society The first one discusses mathematical models of pedestrian and traffic flow, as they are important for preventing accidents and achieving efficient transportation.
Advanced Intelligent Computing Theories and Applications : With Aspects of Artificial Intelligence ; 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceeding
This book - in conjunction with the two volumes CCIS 0015 and LNCS 5226 - constitutes the refereed proceedings of the 4th International Conference on Intelligent Computing, ICIC 2008, held in Shanghai, China, in September 2008.
Adaptive Voltage Control in Power Systems : Modeling, Design and Applications
Adaptive Voltage Control in Power Systems, a self-contained blend of theory and novel application, is an in-depth treatment of such adaptive control schemes. The reader moves from power-system-modelling problems through illustrations of the main adaptive control systems (self-tuning, model-reference and nonlinearities compensation) to a detailed description of design methods: Kalman filtering, parameter-identification algorithms and discrete-time controller design are all represented. Case studies address applications issues in the implementation of adaptive voltage control.
Adaptive Nonlinear System Identification : The Volterra and Wiener Model Approaches
Adaptive Nonlinear System Identification: The Volterra and Wiener Model Approaches introduces engineers and researchers to the field of nonlinear adaptive system identification. The book includes recent research results in the area of adaptive nonlinear system identification and presents simple, concise, easy-to-understand methods for identifying nonlinear systems. These methods use adaptive filter algorithms that are well known for linear systems identification. They are applicable for nonlinear systems that can be efficiently modeled by polynomials.After a brief introduction to nonlinear systems and to adaptive system identification, the author presents the discrete Volterra model approach. This is followed by an explanation of the Wiener model approach. Adaptive algorithms using both models are developed. The performance of the two methods are then compared to determine which model performs better for system identification applications.
Adaptive agents and multi-agent systems III : Adaptation and multi-Agent learning ; 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers
This book contains selected and revised papers of the European Symposium on Adaptive and Learning Agents and Multi-Agent Systems (ALAMAS).
Ada 2005 Rationale : The Language, The Standard Libraries
The primary goals for this book were to enhance its capabilities particularly in those areas where its reliability and predictability are of great value. Accordingly, a number of intriguing and attractive ideas have been included and implemented in a coherent manner as appropriate to the level of perfection necessary for the diligent maintenance of a language standard.
Active Rheology Control of Cementitious Materials
The research presented here develops a new method of actively controlling the rheology of fresh concrete during casting operations by incorporating specially designed responsive components. This results in real-time changes to the rheological behaviour of the cementitious material, allowing the user to intervene actively after the cementitious material has left the mixing phase. This newly gained agility contributes to increased processing speed and placement reliability in the case of traditional casting methods and can also facilitate advanced 3D concrete printing. The different routes followed to achieve this Active Rheology Control are explained within.
Acoustic Emission Testing : Basics for Research - Applications in Civil Engineering
Covers all levels from the description of AE basics for AE beginners (level of a student) to sophisticated AE algorithms and applications to real large-scale structures as well as the observation of the cracking process in laboratory specimen to study fracture processes.
Acne Vulgaris in women
Acne is a disorder of the hair follicles and oil glands (sebaceous glands). The sebaceous glands secrete oils (sebum) to keep the skin moist. When the glands get clogged, it can lead to pimples and cysts. It is very common disease. People of all races and ages get acne, but it is most common in teens and young adults. Acne can continue into adulthood, and when it does, it is more common in women. For many people who have acne, the skin disease affects more than their appearance. Acne can take a toll on one’s emotional health.
Abstract State Machines, B and Z ; 1st International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008.
Abstract Computing Machines : A Lambda Calculus Perspective
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation. The emphasis is on fully normalizing machines based on full-fledged beta-reductions as essential prerequisites for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative machines that permit side-effecting operations on the runtime environment.
