Search Results - nonnumerical algorithms and problems—complexity of proof prime- dures general terms

PSPACE Bounds for Rank-1 Modal Logics.

Authors: Schröder, Lutz Pattinson, Dirk

Source: ACM Transactions on Computational Logic; Feb2009, Vol. 10 Issue 2, p13-13.33, 33p, 2 Diagrams

Subject Terms: ALGORITHMS, TECHNOLOGICAL complexity, COMPUTATIONAL complexity, PROGRAMMING languages, MATHEMATICAL logic

PROGRAM VERIFICATION: THE VERY IDEA.

Authors: Fetzer, James H.

Source: Communications of the ACM; Sep88, Vol. 31 Issue 9, p1048-1063, 16p, 2 Diagrams, 3 Charts

Subject Terms: SOFTWARE verification, RELIABILITY in engineering

Compressing and Indexing Labeled Trees, with Applications.

Authors: FERRAGINA, PAOLO LUCCIO, FABRIZIO MANZINI, GIOVANNI et al.

Source: Journal of the ACM; Nov2009, Vol. 57 Issue 1, p4-4:33, 33p, 2 Diagrams, 18 Charts

Subject Terms: XML (Extensible Markup Language), ERGODIC theory, DOCUMENT markup languages, WEB development, DOCUMENT type definitions, WEBSITES, COMPUTER science research

New Technologies, Development and Application VIII

Authors: Isak Karabegović Ahmed Kovačević Sadko Mandžuka

Resource Type: eBook.

Subjects: Technological innovations--Congresses, Industry 4.0--Congresses, Automation--Congresses

Categories: COMPUTERS / Artificial Intelligence / General

ECAI 2023 : 26th European Conference on Artificial Intelligence, September 30 – October 4, 2023, Kraków, Poland – Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023)

Authors: Kobi Gal Ann Nowé Grzegorz J. Nalepa et al.

Resource Type: eBook.

Categories: COMPUTERS / Artificial Intelligence / General

Computing Handbook : Two-Volume Set

Authors: Allen Tucker Teofilo Gonzalez Heikki Topi et al.

Resource Type: eBook.

Subjects: QA76

Categories: COMPUTERS / General, COMPUTERS / Programming / Games, COMPUTERS / Information Technology, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Engineering, MATHEMATICS / General, MATHEMATICS / Arithmetic

Probabilistic and Causal Inference : The Works of Judea Pearl

Authors: Hector Geffner Rina Dechter Joseph Halpern

Resource Type: eBook.

Subjects: Causation, Artificial intelligence, Probabilities

Categories: COMPUTERS / Data Science / Machine Learning, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Artificial Intelligence / Expert Systems

Springer Handbook of Computational Intelligence

Authors: Janusz Kacprzyk Witold Pedrycz

Resource Type: eBook.

Subjects: Computational intelligence

Categories: COMPUTERS / Artificial Intelligence / General, TECHNOLOGY & ENGINEERING / Engineering (General)

International Encyclopedia of the Social & Behavioral Sciences

Authors: Wright, James D.

Resource Type: eBook.

Subjects: Psychology, Psychology--Encyclopedias, Social sciences--Encyclopedias, Social sciences

Categories: MATHEMATICS / Probability & Statistics / General, PSYCHOLOGY / General

Computer-Assisted Analysis and Model Simplification : Proceedings of the First Symposium on Computer-Assisted Analysis and Model Simplification, University of Colorado, Boulder, Colorado, March 28, 1980

Authors: Harvey J. Greenberg John S. Maybee

Resource Type: eBook.

Subjects: Computer simulation--Congresses

Categories: REFERENCE / Questions & Answers, MATHEMATICS / General

The Handbook of Applied Expert Systems

Authors: Jay Liebowitz

Resource Type: eBook.

Subjects: QA76.76.E95

Categories: COMPUTERS / Information Technology, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, COMPUTERS / Computer Engineering

Handbook of Organizations (RLE: Organizations)

Authors: James March

Resource Type: eBook.

Subjects: Organizational behavior, Organization

Categories: BUSINESS & ECONOMICS / Organizational Behavior, BUSINESS & ECONOMICS / General

Manufacturing Science and Technology, ICMST2011

Authors: Wu Fan

Resource Type: eBook.

Subjects: Computer integrated manufacturing systems--Congresses, Manufacturing processes--Congresses, Industrial engineering--Congresses, Production engineering--Congresses

Categories: TECHNOLOGY & ENGINEERING / Materials Science / General

Fundamentals of Nursing - E-Book

Authors: Patricia A. Potter Anne G. Perry Patricia A. Stockert et al.

Resource Type: eBook.

Subjects: Nursing

Categories: MEDICAL / Nursing / Fundamentals & Skills

American Men and Women of Science: A Biographical Directory of Today's Leaders in Physical, Biological, and Related Sciences

Authors: Gale Research Inc

Resource Type: eBook.

Categories: BIOGRAPHY & AUTOBIOGRAPHY / Science & Technology, REFERENCE / Directories

American Men & Women of Science : A Biographical Directory of Today's Leaders in Physical, Biological, and Related Sciences

Authors: Tracie Moy

Resource Type: eBook.

Subjects: Biologists--Biography, Medical scientists--Biography, Scientists--Biography, Physical scientists--Biography, Statisticians--Biography, Computer scientists--Biography, Engineers--Biography, Mathematicians--Biography

Categories: SCIENCE / History

The Structure and Dynamics of Networks

Authors: Mark Newman Albert-László Barabási Duncan J. Watts

Resource Type: eBook.

Subjects: Computer networks, System theory, Research, Social networks, Dynamics, System analysis, Network analysis (Planning), Graph theory, Social networks--Mathematical models, Statistics, Internet, Complexity (Philosophy)

Categories: MATHEMATICS / Applied

American Men & Women of Science : A Biographical Directory of Today's Leaders in Physical, Biological, and Related Sciences

Authors: Kalte, Pamela M. Nemeh, Katherine H. Schusterbauer, Noah

Resource Type: eBook.

Subjects: Scientists--United States--Biography, Scientists--Canada--Biography, Scientists--United States--Directories, Scientists--Canada--Directories, Science

American Men & Women of Science : A Biographical Directory of Today's Leaders in Physical, Biological, and Related Sciences

Authors: Kalte, Pamela M. Nemeh, Katherine H.

Resource Type: eBook.

Subjects: Scientists--Canada--Directories, Scientists--Canada--Biography, Scientists--United States--Directories, Science, Scientists--United States--Biography

Categories: BIOGRAPHY & AUTOBIOGRAPHY / Science & Technology

Mathematics Education : Models and Processes

Authors: Lyn D. English Graeme S. Halford

Resource Type: eBook.

Subjects: Mathematics--Study and teaching--Psychological

Categories: EDUCATION / General, EDUCATION / Teaching / Subjects / Mathematics