NRCL.
Author : National Research Council Canada
Publisher :
Page : 170 pages
File Size : 48,60 MB
Release : 1974
Category : Research
ISBN :
Author : National Research Council Canada
Publisher :
Page : 170 pages
File Size : 48,60 MB
Release : 1974
Category : Research
ISBN :
Author : Michael G. McDonald
Publisher :
Page : 544 pages
File Size : 30,94 MB
Release : 1984
Category : Groundwater
ISBN :
Author : Jon P. Fenske
Publisher :
Page : 114 pages
File Size : 46,79 MB
Release : 1996
Category : Groundwater flow
ISBN :
Author : Pascal Fontaine
Publisher : Springer Nature
Page : 603 pages
File Size : 10,90 MB
Release : 2019-08-20
Category : Computers
ISBN : 3030294366
This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience.
Author : Moore School of Electrical Engineering
Publisher :
Page : 1794 pages
File Size : 14,81 MB
Release : 1949
Category : Calculators
ISBN :
Author : Celso C. Ribeiro
Publisher : Springer Science & Business Media
Page : 595 pages
File Size : 21,7 MB
Release : 2004-05-11
Category : Computers
ISBN : 3540220674
This book constitutes the refereed proceedings of the Third International Workshop on Experimental and Efficient Algorithms, WEA 2004, held in Angra dos Reis, Brazil in May 2004. The 40 revised full papers presented together with abstracts of two invited talks were carefully reviewed and selected from numerous submissions. The book is devoted to the areas of design, analysis, and experimental evaluation of algorithms. Among the topics covered are scheduling, heuristics, combinatorial optimization, evolutionary optimization, graph computations, labeling, robot navigation, shortest path algorithms, flow problems, searching, randomization and derandomization, string matching, graph coloring, networking, error detecting codes, timetabling, sorting, energy minimization, etc.
Author : Felix Gerdes
Publisher : Campus Verlag
Page : 303 pages
File Size : 24,54 MB
Release : 2013-05-16
Category : Political Science
ISBN : 3593419750
Nach dem langen Bürgerkrieg der 1990er Jahre galt Liberia unter der Präsidentschaft des Warlords Charles Taylor vielen Beobachtern als gescheiterter Staat. Seit der Machtübernahme durch Ellen Johnson Sirleaf im Jahr 2006 wird die Landesentwicklung weithin als Erfolgsgeschichte bewertet. Felix Gerdes zeigt, welche strukturellen Änderungen zu diesem Wandel und damit zur relativen Stabilisierung führten. Seine Analysen machen deutlich, dass die liberianischen Kriege gerade nicht die Zerstörung des Staates bedeuteten, sondern als Teil des Prozesses der Staatsbildung zu verstehen sind. Die Betrachtungen der Kontinuitäten und Brüche der politischen Verfasstheit Liberias ermöglichen eine fundierte Bewertung der anhaltenden strukturellen Probleme der Nachkriegsordnung.
Author : Susan Craw
Publisher : Springer
Page : 668 pages
File Size : 16,43 MB
Release : 2003-08-02
Category : Computers
ISBN : 3540461191
The papers collected in this volume were presented at the 6th European C- ference on Case-Based Reasoning (ECCBR 2002) held at The Robert Gordon University in Aberdeen, UK. This conference followed a series of very succe- ful well-established biennial European workshops held in Trento, Italy (2000), Dublin, Ireland (1998), Lausanne, Switzerland (1996), and Paris, France (1994), after the initial workshop in Kaiserslautern, Germany (1993). These meetings have a history of attracting ?rst-class European and international researchers and practitioners in the years interleaving with the biennial international co- terpart ICCBR; the 4th ICCBR Conference was held in Vancouver, Canada in 2001. Proceedings of ECCBR and ICCBR conferences are traditionally published by Springer-Verlag in their LNAI series. Case-Based Reasoning (CBR) is an AI problem-solving approach where pr- lems are solved by retrieving and reusing solutions from similar, previously solved problems, and possibly revising the retrieved solution to re?ect di?erences - tween the new and retrieved problems. Case knowledge stores the previously solved problems and is the main knowledge source of a CBR system. A main focus of CBR research is the representation, acquisition and maintenance of case knowledge. Recently other knowledge sources have been recognized as important: indexing, similarity and adaptation knowledge. Signi?cant knowledge engine- ing e?ort may be needed for these, and so the representation, acquisition and maintenance of CBR knowledge more generally have become important.
Author : Carsten Lutz
Publisher : Springer
Page : 362 pages
File Size : 50,13 MB
Release : 2015-09-19
Category : Computers
ISBN : 3319242466
This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decision procedures for verification; rewriting and constraint solving; transformations between symbolic systems; combination methods; and reasoning in large theories. The book also contains one invited talk in full-paper length.
Author :
Publisher :
Page : 114 pages
File Size : 29,24 MB
Release : 1993
Category : Civil war
ISBN :