Výsledky vyhledávání - nonnumerical algorithms AND problems—complexity of proof place- dures general terms~

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p

Témata: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

PSPACE Bounds for Rank-1 Modal Logics.

Autoři: Schröder, Lutz Pattinson, Dirk

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

Témata: ALGORITHMS, TECHNOLOGICAL complexity, COMPUTATIONAL complexity, PROGRAMMING languages, MATHEMATICAL logic

PROGRAM VERIFICATION: THE VERY IDEA.

Autoři: Fetzer, James H.

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

Témata: SOFTWARE verification, RELIABILITY in engineering

Efficient Algorithms for Bichromatic Separability.

Autoři: AGARWAL, PANKAJ K. ARONOV, BORIS KOLTUN, VLADLEN

Zdroj: ACM Transactions on Algorithms; 2006, Vol. 2 Issue 2, p209-227, 19p

Témata: GEOMETRY, ALGORITHMS, PRISMS, BEAM splitters, MAGNITUDE estimation, STATISTICS

Optimal Branch-Decomposition of Planar Graphs in O(n³) Time.

Autoři: QIAN-PING GU HISAO TAMAKI

Zdroj: ACM Transactions on Algorithms; 2008, Vol. 4 Issue 3, p30-30:13, 13p, 2 Diagrams, 2 Charts

Témata: ALGORITHMS, MATHEMATICAL analysis, NUMERICAL analysis, COMPUTATIONAL mathematics, GRAPH theory, POLYNOMIALS

A New Perspective on Implementation by Voting Trees.

Autoři: Fischer, Felix Procaccia, Ariel D. Samorodnitsky, Alex

Zdroj: EC: Electronic Commerce; 2009, p31-40, 10p, 2 Diagrams

Témata: APPROXIMATION theory, DECISION making, MARKOV processes, DIFFUSION processes, STOCHASTIC processes, PROBLEM solving, CHEBYSHEV systems

Extraction and Classification of Dense Implicit Communities in the Web Graph.

Autoři: DOURISBOURE, YON GERACI, FILIPPO PELLEGRINI, MARCO

Zdroj: ACM Transactions on the Web; Apr2009, Vol. 3 Issue 2, p7-7-36, 36p, 9 Diagrams, 9 Charts, 1 Graph

Témata: WORLD Wide Web, INFORMATION sharing, COMPUTER science literature, HYPERLINKS, KEYWORDS

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)

Autoři: Kobi Gal Ann Nowé Grzegorz J. Nalepa a další

Resource Type: eBook.

Categories: COMPUTERS / Artificial Intelligence / General

New Technologies, Development and Application VIII

Autoři: Isak Karabegović Ahmed Kovačević Sadko Mandžuka

Resource Type: eBook.

Témata: Technological innovations--Congresses, Industry 4.0--Congresses, Automation--Congresses

Categories: COMPUTERS / Artificial Intelligence / General

Computing Handbook : Two-Volume Set

Autoři: Allen Tucker Teofilo Gonzalez Heikki Topi a další

Resource Type: eBook.

Témata: 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

Autoři: Hector Geffner Rina Dechter Joseph Halpern

Resource Type: eBook.

Témata: Causation, Artificial intelligence, Probabilities

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

Springer Handbook of Computational Intelligence

Autoři: Janusz Kacprzyk Witold Pedrycz

Resource Type: eBook.

Témata: Computational intelligence

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

International Encyclopedia of the Social & Behavioral Sciences

Autoři: Wright, James D.

Resource Type: eBook.

Témata: 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

Autoři: Harvey J. Greenberg John S. Maybee

Resource Type: eBook.

Témata: Computer simulation--Congresses

Categories: REFERENCE / Questions & Answers, MATHEMATICS / General

The Handbook of Applied Expert Systems

Autoři: Jay Liebowitz

Resource Type: eBook.

Témata: QA76.76.E95

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

Handbook of Organizations (RLE: Organizations)

Autoři: James March

Resource Type: eBook.

Témata: Organizational behavior, Organization

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

Manufacturing Science and Technology, ICMST2011

Autoři: Wu Fan

Resource Type: eBook.

Témata: 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

Autoři: Patricia A. Potter Anne G. Perry Patricia A. Stockert a další

Resource Type: eBook.

Témata: 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

Autoři: 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

Autoři: Tracie Moy

Resource Type: eBook.

Témata: Biologists--Biography, Medical scientists--Biography, Scientists--Biography, Physical scientists--Biography, Statisticians--Biography, Computer scientists--Biography, Engineers--Biography, Mathematicians--Biography

Categories: SCIENCE / History