الصفحة 7
الصفحة 7
International human rights law : Cases, materials, commentary
Shows how human rights law is used as a tool to address contemporary issues such as counter-terrorism, global poverty and religious diversity. Materials are organised thematically, allowing readers to make comparisons and connections between different legal treaties and systems. Students can also easily assess how human rights are protected under domestic and international laws. The law is placed in context throughout, ensuring full understanding of why laws exist and how they work.
International criminal law practitioner library: international criminal procedure
Volume 3 completes the review of international criminal law begun in Volumes 1 and 2, which analyse the forms of responsibility and the elements of the core crimes. This volume reviews the procedural law and practices of the international criminal tribunals from investigation to trial, appeal, and punishment, and examines the framework within which the substantive law operates. The authors present a critical study of those procedures that are essential to effective investigations and fair trials.
Intermediate Physics for Medicine and Biology
Intended this wide-ranging text bridges the gap between introductory physics and its application to the life and biomedical sciences. This extensively revised and updated fourth edition reflects new developments at the burgeoning interface between physics and biomedicine.
Interest Rate Models - Theory and Practice : With Smile, Inflation and Credit
The fast-growing interest for hybrid products has led to new chapters. A special focus here is devoted to the pricing of inflation-linked derivatives. The three final new chapters are devoted to credit. Since Credit Derivatives are increasingly fundamental, and since in the reduced-form modeling framework much of the technique involved is analogous to interest-rate modeling, Credit Derivatives -- mostly Credit Default Swaps (CDS), CDS Options and Constant Maturity CDS - are discussed, building on the basic short rate-models and market models introduced earlier for the default-free market. Counterparty risk in interest rate payoff valuation is also considered, motivated by the recent Basel II framework developments.
Intelligent Virtual Agents ; Vol.3661 : 5th International Working Conference, IVA 2005, Kos, Greece, September 12-14, 2005, Proceedings
The origin of the Intelligent Virtual Agents conference dates from a successful workshop on Intelligent Virtual Environments held in Brighton at the 13th European Conference on Artificial Intelligence (ECAI'98). This workshop was followed by a second one held in Salford in Manchester in 1999. Subsequent events took place in Madrid, Spain in 2001 and Irsee, Germany in 2003 and attracted participants from both sides of the Atlantic as well as Asia. th This volume contains the proceedings of the 5 International Working Conference on Intelligent Virtual Agents, IVA 2005, held on Kos Island, Greece, September 12–14, 2005, which highlighted once again the importance and vigor of the research field. A half-day workshop under the title “Socially Competent IVA’s: We are not alone in this (virtual) world!” also took place as part of this event. IVA 2005 received 69 submissions from Europe, North and South America, Africa and Asia. The papers published here are the 26 full papers and 14 short papers presented at the conference, as well as one-page descriptions of the 15 posters and the descriptions of the featured invited talks by Prof. Justine Cassell, of Northwestern University and Prof. Kerstin Dautenhahn, of the University of Hertfordshire. We would like to thank a number of people that have contributed to the success of this conference. First of all, we thank the authors for their high-quality work and their willingness to share their ideas.
Intelligent Techniques and Tools for Novel System Architectures
Provides a source wherein academics, researchers and practitioners may derive high-quality, original and state-of-the-art papers describing theoretical aspects, systems architectures, analysis and design tools and techniques, and implementation experiences in intelligent systems where information and knowledge management should be mainly characterised as a net-centric infrastructure riding on the fifth wave of "distributed intelligence".
Intelligent Systems and Signal Processing in Power Engineering
Power engineering has become a multidisciplinary field ranging from linear algebra, electronics, signal processing to artificial intelligence including recent trends like bio-inspired computation, lateral computing and so on. In this book, Ukil builds the bridge between these inter-disciplinary power engineering practices. The book looks into two major fields used in modern power systems: intelligent systems and the signal processing. The intelligent systems section comprises of fuzzy logic, neural network and support vector machine. The author looks at relevant theories on the topics without assuming much particular background. Following the theoretical basics, he studies their applications in various problems in power engineering, like, load forecasting, phase balancing, or disturbance analysis.
Intelligent Network Management and Control : Intelligent Security, Multi-criteria Optimization, Cloud Computing, Internet of Vehicles, Intelligent Radio
The management and control of networks can no longer be envisaged without the introduction of artificial intelligence at all stages. Deals with topical issues related mainly to intelligent security of computer networks, deployment of security services in SDN (software-defined networking), optimization of networks using artificial intelligence techniques and multi-criteria optimization methods for selecting networks in a heterogeneous environment. Focuses on selecting cloud computing services, intelligent unloading of calculations in the context of mobile cloud computing, intelligent resource management in a smart grid-cloud system for better energy efficiency, new architectures for the Internet of Vehicles (IoV), the application of artificial intelligence in cognitive radio networks and intelligent radio input to meet the on-road communication needs of autonomous vehicles.
Intelligent Distributed Computing, Systems and Applications ; Proceedings of the 2nd International Symposium on Intelligent Distributed Computing – IDC 2008, Catania, Italy, 2008
Addresses many topics related to intelligent and distributed computing, systems and applications, including: adaptivity and learning; agents and multi-agent systems; argumentation; auctions; case-based reasoning; collaborative systems; data structures; distributed algorithms; formal modeling and verification; genetic and immune algorithms; grid computing; information extraction, annotation and integration; network and security protocols; mobile and ubiquitous computing; ontologies and metadata; P2P computing; planning; recommender systems; rules; semantic Web; services and processes; trust and social computing; virtual organizations; wireless networks; XML technologies.
Intelligent Computing Theories and Application ; 17th International Conference, ICIC 2021, Shenzhen, China, August 12–15, 2021, Proceedings, Part I
The ICIC theme unifies the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. The theme for this conference is “Advanced Intelligent Computing Methodologies and Applications.”
Intelligent Computing Theories and Application ; 16th International Conference, ICIC 2020, Bari, Italy, October 2–5, 2020, Proceedings, Part II
This two-volume set of LNCS 12463 and LNCS 12464 constitutes - in conjunction with the volume LNAI 12465 - the refereed proceedings of the 16th International Conference on Intelligent Computing, ICIC 2020, held in Bari, Italy, in October 2020. The 162 full papers of the three proceedings volumes were carefully reviewed and selected from 457 submissions. The ICIC theme unifies the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. The theme for this conference is “Advanced Intelligent Computing Methodologies and Applications.” Papers related to this theme are especially solicited, addressing theories, methodologies, and applications in science and technology.
Intelligent Computing Theories and Application ; 16th International Conference, ICIC 2020, Bari, Italy, October 2–5, 2020, Proceedings, Part I
This two-volume set of LNCS 12463 and LNCS 12464 constitutes - in conjunction with the volume LNAI 12465 - the refereed proceedings of the 16th International Conference on Intelligent Computing, ICIC 2020, held in Bari, Italy, in October 2020. The 162 full papers of the three proceedings volumes were carefully reviewed and selected from 457 submissions The ICIC theme unifies the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. The theme for this conference is “Advanced Intelligent Computing Methodologies and Applications.” Papers related to this theme are especially solicited, addressing theories, methodologies, and applications in science and technology.
Intelligent Computing ; International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part I
The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum with dedication to the emerging and challenging topics in artificial intelligence, machine learning, bioinformatics, and computational biology, etc. It aims to bring together researchers and practitioners from both the academia and industry to share ideas, problems and solutions related to the multifaceted aspects of intelligent computing. The ICIC 2006 to be held in Kunming, Yunnan, China, 16-19 August 2006 is the second International Conference on Intelligent Computing, which is built upon the success of ICIC 2005 held in Hefei, China, 2005. This year, the conference mainly concentrates on the theories & methodologies as well as the emerging applications of intelligent computing. It intends to unify the contemporary intelligent computing techniques within an integral framework that highlights the trends in advanced computational intelligence and bridges the theoretical research with the applications. In particular, the bio-inspired computing emerges as a key role in pursuing for novel technology in recently years. The resulting techniques vitalize the life science engineering and daily life applications. In light of this trend, the theme for this conference is the Emerging Intelligent Computing Technology and Applications. Papers related to this theme were especially solicited, including theories, methodologies, and applications in science and technology.
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems ; Vol.3524 : 2nd International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005
Intended primarily as a forum to focus on the integration and hybridization of the approaches of constraint programming (CP), arti?cial intelligence (AI), and operations research (OR) technologies for solving large-scale and complex real-life optimization problems. Therefore, CPAIOR is never far from industrial applications. The high number of submissions received this year, almost 100 papers, in witness to the interest of the research community in this conference. From these submissions, we chose 26 to be published in full in the proceedings. This volume includes summaries of the invited talks of CPAIOR: one from industry, one from the embedded system research community, and one from the operations research community.
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems ; 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings
The 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2008) was held in Paris, France May 20–23, 2008. The purpose of this conference series is to bring together researchers in the felds of constraint programming, artifcial intelligence, and operations research to explore ways of solving large-scale, practical optimization problems through integration and hybridization of the felds’ diferent techniques. Through the years, this research community is discovering that the felds have much in c- mon, and there has been tremendous richness in the resulting cross-fertilization of felds.
Integrated Research in GRID Computing : CoreGRID Integration Workshop 2005 (Selected Papers) November 28-30, Pisa, Italy
Integrated Research in Grid Computing presents a selection of the best papers presented at the CoreGRID Integration Workshop (CGIW2005). The aim of CoreGRID is to strengthen and advance scientific and technological excellence in the area of Grid and Peer-to-Peer technologies in order to overcome the current fragmentation and duplication of effort in this area.
Integral waterproofing of concrete structures : Advanced protection technologies of concrete by pore blocking and lining
This book first establishes a background about concrete structures and porosity linked with concrete hydration, then goes on to consider concrete durability problems from the perspective of water penetration including damages from freeze-thaw cycles, alkali silica reactions, and chloride ion penetration. The mechanisms, applications, performances, and limitations of waterproofing technologies including coatings and integral systems are compared. The book also showcases all application methods of crystallization waterproofing materials, including material spray on cured concrete and on fresh concrete, and their addition to concrete mix designs as enhancers or admixtures.
Integral Methods in Science and Engineering : Theoretical and Practical Aspects
The quantitative and qualitative study of the physical world makes use of many mathematical models governed by a great diversity of ordinary, partial differential, integral, and integro-differential equations. An essential step in such investigations is the solution of these types of equations, which sometimes can be performed analytically, while at other times only numerically. This edited, self-contained volume presents a series of state-of-the-art analytic and numerical methods of solution constructed for important problems arising in science and engineering, all based on the powerful operation of (exact or approximate) integration.It covers a wide variety of topics, from the theoretical development of boundary integral methods to the application of integration-based analytic and numerical techniques that include integral equations, finite and boundary elements, conservation laws, hybrid approaches, and other procedures.
Integral bridges : a fundamental approach to the time–temperature loading problem
In recent years, integral bridges have become increasingly popular in the UK. The Highways Agency standard now requires, where possible, that all new bridges with a length of less than sixty metres should be of integral form. In addition, it has been found that, due especially to the problems and costs associated with failed expansion joints, integral bridges are not only cost effective but also have a longer lifespan. Integral Bridges was commissioned by the Highways Agency to produce guidance for bridge designers by addressing the thermally induced soil/structure interaction problem created by environmental changes of temperature and the associated cyclical displacements imposed on the granular backfill to the bridge abutments. It develops a better theoretical understanding of the cyclic performance, in particular the strain racheting in the backfill soil when in contact with a stiff structure. It also identifies the governing soil parameters and examines their influence in the interaction problem, develops numerical modelling procedures to predict interactive soil behaviour, and identifies and quantifies the controlling features of bridge structures relevant to the interaction problem.
Integer programming and combinatorial optimization ; 9th International IPCO Conference, Cambridge, MA, USA, May 27-29, 2002. Proceedings
This volume contains the papers selected for presentation at IPCO 2002, the NinthInternationalConferenceonIntegerProgrammingandCombinatorial- timization, Cambridge, MA (USA), May 27–29, 2002. The IPCO series of c- ferences highlights recent developments in theory, computation, and application of integer programming and combinatorial optimization. IPCO was established in 1988 when the ?rst IPCO program committee was formed. IPCO is held every year in which no International Symposium on Ma- ematical Programming (ISMP) takes places. The ISMP is triennial, so IPCO conferences are held twice in every three-year period. The eight previous IPCO conferences were held in Waterloo (Canada) 1990, Pittsburgh (USA) 1992, Erice (Italy) 1993, Copenhagen (Denmark) 1995, Vancouver (Canada) 1996, Houston (USA) 1998, Graz (Austria) 1999, and Utrecht (The Netherlands) 2001. In response to the call for papers for IPCO 2002, the program committee received 110 submissions, a record number for IPCO. The program committee met on January 7 and 8, 2002, in Aussois (France), and selected 33 papers for inclusion in the scienti?c program of IPCO 2002. The selection was based on originality and quality, and re?ects many of the current directions in integer programming and combinatorial optimization research.
