الصفحة 54
الصفحة 54
Advances in web mining and web usage analysis ; 6th International workshop on knowledge discovery on the web, WEBKDD 2004, Seattle, WA, USA, August 22-25, 2004, Revised Selected Papers
The Webisaliveenvironmentthatmanagesanddrivesawidespectrumofapp- cations in which a user may interact with a company, a governmental authority, a non-governmental organization or other non-pro?t institution or other users. User preferences and expectations, together with usage patterns, form the basis for personalized, user-friendly and business-optimal services. Key Web business metrics enabled by proper data capture and processing are essential to run an e?ective business or service. Enabling technologies include data mining, sc- able warehousing and preprocessing, sequence discovery, real time processing, document classi?cation, user modeling and quality evaluation models for them. Recipient technologies required for user pro?ling and usage patterns include recommendation systems, Web analytics applications, and application servers, coupled with content management systems and fraud detectors.
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 Structural Engineering - Optimization : Emerging Trends in Structural Optimization
An up-to-date source for computation applications of optimization, prediction via artificial intelligence methods, and evaluation of metaheuristic algorithm with different structural applications. As the current interest of researcher, metaheuristic algorithms are a high interest topic area since advance and non-optimized problems via mathematical methods are challenged by the development of advance and modified algorithms. The artificial intelligence (AI) area is also important in predicting optimum results by skipping long iterative optimization processes. The machine learning used in generation of AI models also needs optimum results of metaheuristic-based approaches.
Advances in spatial and temporal databases ; 9th International symposium, SSTD 2005, Angra dos Reis, Brazil, August 22-24, 2005, Proceedings
Constitutes the refereed proceedings of the introduce the papers of the proceedings of the 9th - ternational Symposium on Spatial and Temporal Databases – SSTD 2005. This year’s symposium continues the tradition of being the premier forum for the presentation of research results and experience reports on leading edge issues of spatial and temporal database systems, including data models, systems, applications and theory. ll the needs of novel applications and heterogeneous environments and identify new directions for future research and development. aspects of database systems for managing spatial and temporal data and for supporting their applications. A total of 77 papers were submitted this year from several countries. After a thorough review process, the program committee accepted 24 papers covering a variety of topics, including indexing techniques and query processing, mobile environments and moving objects, and spatial and temporal data streams.
Advances in Rule Interchange and Applications ; International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007, Proceedings
The goal of RuleM is to develop an open, general, XML-based family of rule languages as intermediaries between various ‘specialized’ rule vendors, applications, industrial and academic research groups, as well as standardization efforts such as OMG’s PRR or W3C’s RIF. A general advantage of using declarative rules is that they can be easily represented in a machine-readable and platform-independent manner, often governed by an XML schema. This fits well into today’s distributed, heterogeneous Web-based system environments. Rules represented in standardized Web formats can be discovered, interchanged and invoked at runtime within and across Web systems, and can be interpreted and executed on any platform.
Advances in Probabilistic Graphical Models
This carefully edited book brings together in one volume some of the most important topics of current research in probabilistic graphical modelling, learning from data and probabilistic inference. This includes topics such as the characterisation of conditional independence, the sensitivity of the underlying probability distribution of a Bayesian network to variation in its parameters, the learning of graphical models with latent variables and extensions to the influence diagram formalism. In addition, attention is given to important application fields of probabilistic graphical models, such as the control of vehicles, bioinformatics and medicine.
Advances in pharmacokinetics and pharmacodynamics
Provides a concise overview of recent advances in Pharmacokinetics (PK) and Pharmacodynamics (PD). The pharmacokinetics section covers the state of the art in Physiologically Based Pharmacokinetic (PBPK) modeling (Chapter 1) as well as the assessment of food effect on drug absorption using PBPK modeling (Chapter 2). Chapters 3 and 4 describe the recent development of Physiologically Based Finite Time Pharmacokinetic (PBFTPK) models and their applications to pharmacokinetic data. The pharmacodynamics section focuses on PK/PD modeling. Chapter 5 provides an overview of PK/PD modeling and simulation in clinical practice and studies. Chapter 6 deals with the subject/physiology variability issue encountered in PK/PD studies, while Chapter 7 reviews the influence of clinical pharmacology in the modernization of drug development and regulation. This book is an essential reference for pharmaceutical scientists.
Advances in multiple Sclerosis and Experimental Demyelinating Diseases
Challenging Charcot’s hypothesis that inflammatory response is the primary contributor to demyelination, Dr. Rodriguez and colleagues take a fresh, bold look at the causes and possible treatments of MS.Assuming oligodendrocyte injury as a prerequisite to MS, the authors explore viruses, toxins and genetic defects as possible culprits. They present novel methods to interrupt and reverse demyelination. This book examines the correlation between axonal loss and clinical deficits, including the implied role of the CD8+ T cell and perforin. It assesses proteases, specifically, kallikrein 6, which are strongly associated with active demyelination. By directing natural autoantibodies against oligodendrocytes that demonstrate remyelination in animal models, the authors envision clinical trials for remyelination enhancement.
Advances in Mechanics of Materials for Environmental and Civil Engineering
Deals with both mathematical modeling and experimental studies related to systems relevant for various civil engineering fields. The book addresses several key topics, including artificial intelligence applied to the control and monitoring of construction site personnel, finite element models for endplate beam-to-column connections under various load conditions, random functionally graded micropolar beams, and many others. The book explores the design and study of microstructures aimed at increasing the toughness and durability of novel materials in building and construction, based also on the re-utilization of residues and wastes of metallurgical industry produces.
Advances in Mathematical Finance
This volume brings together a collection of chapters by some of the most distinguished researchers and practitioners in the fields of mathematical finance and financial engineering. Presenting state-of-the-art developments in theory and practice.
Advances in Life Cycle Engineering for Sustainable Manufacturing Businesses ; Proceedings of the 14th CIRP Conference on Life Cycle Engineering, Waseda University, Tokyo, Japan, June 11th-13th, 2007
Life cycle engineering deals with technologies for shifting the industry from mass production and mass consumption paradigm to closed loop manufacturing paradigm, in which required functions are provided for customers with the minimum amount of production. This subject is discussed from the various aspects, such as life cycle design, design for environment, reduce/reuse/recycle, life cycle assessment, and sustainable business models.Advances in Life Cycle Engineering for Sustainable Manufacturing Businesses gathers together papers from the 14th CIRP Life Cycle Engineering Conference. This conference is the longest running annual meeting in the field, in which papers are presented regarding developments of leading edge technologies, proposals of new concepts, and prominent industry case studies.
Advances in Dynamic Games : Applications to Economics, Management Science, Engineering, and Environmental Management
This book—an outgrowth of the 10th International Symposium on Dynamic Games—presents current developments of the theory of dynamic games and its applications to various domains, in particular energy-environment economics and management sciences.The volume uses dynamic game models of various sorts to approach and solve several problems pertaining to pursuit-evasion, marketing, finance, climate and environmental economics, resource exploitation, as well as auditing and tax evasions. In addition, it includes some chapters on cooperative games, which are increasingly drawing dynamic approaches to their classical solutions.
Advances in Discrete Differential Geometry
On a newly emerging field of discrete differential geometry and an excellent way to access this exciting area. It surveys the fascinating connections between discrete models in differential geometry and complex analysis, integrable systems and applications in computer graphics. The authors take a closer look at discrete models in differential geometry and dynamical systems. Their curves are polygonal, surfaces are made from triangles and quadrilaterals, and time is discrete. Nevertheless, the difference between the corresponding smooth curves, surfaces and classical dynamical systems with continuous time can hardly be seen. This is the paradigm of structure-preserving discretizations. Current advances in this field are stimulated to a large extent by its relevance for computer graphics and mathematical physics.
Advances in Digital Terrain Analysis
Terrain analysis has been an active study field for years and attracted research studies from geographers, surveyors, engineers and computer scientists. With the rapid growth of Geographical Information System (GIS) technology, particularly the establishment of high resolution Digital Elevation Models (DEM) at national level, the challenge is now focused on delivering justifiable socio-economical and environmental benefits. The contributions in this book represent the state of the art of terrain analysis methods and techniques in areas of digital representation, morphological and hydrological models, uncertainty and applications of terrain analysis.
Advances in Design and Specification Languages for SoCs : Selected Contributions from FDL'04
Presents a selection of the articles from the Forum on Specification and Design Languages (FDL'04). The Analog and Mixed-Signal Systems contributions bring some answers to the difficult problem of co-simulating discrete and continuous models of computati
Advances in Crowdfunding : Research and Practice
This book presents a comprehensive and up-to-date collection of knowledge on the state of crowdfunding research and practice. It considers crowdfunding models and their different manifestations across a variety of geographies and sectors, and explores the perspectives of fundraisers, backers, platforms, and regulators.
Advances in conceptual modeling : Theory and practice ; ER 2006 Workshops BP-UML, CoMoGIS, COSS, ECDM, OIS, QoIS, SemWAT, Tucson, AZ, USA, November 6-9, 2006, Proceedings
Constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 25th International Conference on Conceptual Modeling, ER 2006, in Tucson, AZ, USA in November 2006. The 39 revised full papers presented together with the outlines of three tutorials were carefully reviewed and selected from 95 submissions.
Advances in conceptual modeling : Foundations and applications ; ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM, SeCoGIS, Auckland, New Zealand, November 5-9, 2007, Proceedings
Covering data warehouses, security, model transformation, state diagrams development and model quality.
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
Advances in computation and intelligence ; 3rd International symposium, ISICA 2008 Wuhan, China, December 19-21, 2008 Proceedings
Constitutes the refereed proceedings of the Third International Symposium on Intelligence Computation and Applications, ISICA 2008, held in Wuhan, China, in December 2008.
