MARC details
000 -LEADER |
fixed length control field |
06139cam a2200805Mi 4500 |
001 - CONTROL NUMBER |
control field |
ocn869640202 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
OCoLC |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20220711220309.0 |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION |
fixed length control field |
m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr |n||||||||| |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
140201s2014 enka ob 000 0 eng d |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
EBLCP |
Language of cataloging |
eng |
Description conventions |
rda |
-- |
pn |
Transcribing agency |
EBLCP |
Modifying agency |
OCLCQ |
-- |
UKMGB |
-- |
N$T |
-- |
CAMBR |
-- |
YDXCP |
-- |
DEBSZ |
-- |
OCLCQ |
-- |
OCLCO |
-- |
B24X7 |
-- |
COO |
-- |
CAMBR |
-- |
OCLCF |
-- |
AU@ |
-- |
OCLCQ |
-- |
UIU |
-- |
LIV |
-- |
OCLCQ |
-- |
UKAHL |
-- |
OL$ |
-- |
OCLCQ |
-- |
BRF |
-- |
LUN |
-- |
SFB |
-- |
OCLCQ |
-- |
OCLCO |
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
Record control number |
016628827 |
Source |
Uk |
019 ## - |
-- |
870720143 |
-- |
874223186 |
-- |
880917388 |
-- |
1167574749 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781139177801 |
Qualifying information |
(electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
113917780X |
Qualifying information |
(electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781107731851 |
Qualifying information |
(electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
1107731852 |
Qualifying information |
(electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
Cancelled/invalid ISBN |
1107025192 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
Cancelled/invalid ISBN |
9781107025196 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
Cancelled/invalid ISBN |
9781107723726 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
Cancelled/invalid ISBN |
1107723728 |
029 1# - (OCLC) |
OCLC library identifier |
AU@ |
System control number |
000052923241 |
029 1# - (OCLC) |
OCLC library identifier |
CHNEW |
System control number |
000886652 |
029 1# - (OCLC) |
OCLC library identifier |
DEBBG |
System control number |
BV043606939 |
029 1# - (OCLC) |
OCLC library identifier |
DEBSZ |
System control number |
40524391X |
029 1# - (OCLC) |
OCLC library identifier |
NLGGC |
System control number |
391934643 |
029 1# - (OCLC) |
OCLC library identifier |
NZ1 |
System control number |
15495967 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(OCoLC)869640202 |
Canceled/invalid control number |
(OCoLC)870720143 |
-- |
(OCoLC)874223186 |
-- |
(OCoLC)880917388 |
-- |
(OCoLC)1167574749 |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
QA267.7 |
Item number |
T73 2014ab |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
MAT |
Subject category code subdivision |
000000 |
Source |
bisacsh |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
511.3 |
Edition number |
23 |
049 ## - LOCAL HOLDINGS (OCLC) |
Holding library |
MAIN |
245 00 - TITLE STATEMENT |
Title |
Tractability : |
Remainder of title |
practical approaches to hard problems / |
Statement of responsibility, etc |
edited by Lucas Bordeaux, Youssef Hamadi, and Pushmeet Kohli. |
264 #1 - |
-- |
Cambridge : |
-- |
Cambridge University Press, |
-- |
2014. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 online resource (xxii, 377 pages) : |
Other physical details |
illustrations |
336 ## - |
-- |
text |
-- |
txt |
-- |
rdacontent |
337 ## - |
-- |
computer |
-- |
c |
-- |
rdamedia |
338 ## - |
-- |
online resource |
-- |
cr |
-- |
rdacarrier |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc |
Includes bibliographical references. |
588 0# - |
-- |
Print version record. |
520 ## - SUMMARY, ETC. |
Summary, etc |
An overview of the techniques developed to circumvent computational intractability, a key challenge in many areas of computer science. |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Cover -- Tractability -- Title Page -- Copyright Page -- Contents -- Contributors -- Introduction -- Part 1: Graphical Structure -- 1 Treewidth and Hypertree Width -- 1.1 Treewidth -- 1.2 Hypertree width -- 1.3 Applications of hypertree width -- 1.4 Beyond (hyper)tree decompositions -- 1.5 Tractability frontiers (for CSPs) -- 1.6 Conclusion -- References -- 2 Perfect Graphs and Graphical Modeling -- 2.1 Berge Graphs and Perfect Graphs -- 2.2 Computational Properties of Perfect Graphs -- 2.3 Graphical Models -- 2.4 Nand Markov Random Fields |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
2.5 Maximum Weight Stable Set2.6 Tractable Graphical Models -- 2.7 Discussion -- 2.8 Acknowledgments -- 2.9 Appendix -- References -- Part 2: Language Restrictions -- 3 Submodular Function Maximization -- 3.1 Submodular Functions -- 3.2 Greedy Maximization of Submodular Functions -- 3.3 Beyond the Greedy Algorithm: Handling More Complex Constraints -- 3.4 Online Maximization of Submodular Functions -- 3.5 Adaptive Submodularity -- 3.6 Conclusions -- References -- 4 Tractable Valued Constraints -- 4.1 Introduction -- 4.2 Constraint Satisfaction Problems |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
4.3 Valued Constraint Satisfaction Problems4.4 Examples of Valued Constraint Languages -- 4.5 Expressive Power -- 4.6 Submodular Functions and Multimorphisms -- 4.7 Conservative Valued Constraint Languages -- 4.8 A General Algebraic Theory of Complexity -- 4.9 Conclusions and Open Problems -- References -- 5 Tractable Knowledge Representation Formalisms -- 5.1 Introduction -- 5.2 A Motivating Example -- 5.3 Negation Normal Form -- 5.4 Structured Decomposability -- 5.5 (X, Y)-Decompositions of Boolean Functions -- 5.6 Sentential Decision Diagrams |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
5.7 The Process of Compilation5.8 Knowledge Compilation in Probabilistic Reasoning -- 5.9 Conclusion -- References -- Part 3: Algorithms and their Analysis -- 6 Tree-Reweighted Message Passing -- 6.1 Introduction -- 6.2 Preliminaries -- 6.3 Sequential Tree-Reweighted Message Passing (TRW-S) -- 6.4 Analysis of the Algorithm -- 6.5 TRW-S with Monotonic Chains -- 6.6 Summary of the TRW-S Algorithm -- 6.7 Related Approaches -- 6.8 Conclusions and Discussion -- References -- 7 Tractable Optimization in Machine Learning -- 7.1 Introduction -- 7.2 Background |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
7.3 Smooth Convex Optimization7.4 Nonsmooth Convex Optimization -- 7.5 Stochastic Optimization -- 7.6 Summary -- References -- 8 Approximation Algorithms -- 8.1 Introduction -- 8.2 Combinatorial Algorithms -- 8.3 Linear Programming Based Algorithms -- 8.4 Semi-Definite Programming Based Algorithms -- 8.5 Algorithms for Special Instances -- 8.6 Metric Embeddings -- 8.7 Hardness of Approximation -- References -- 9 Kernelization Methods for Fixed-Parameter Tractability -- 9.1 Introduction -- 9.2 Basic Definitions -- 9.3 Classical Techniques |
590 ## - LOCAL NOTE (RLIN) |
Local note |
eBooks on EBSCOhost |
Provenance (VM) [OBSOLETE] |
EBSCO eBook Subscription Academic Collection - Worldwide |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computational complexity. |
9 (RLIN) |
72785 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Parameter estimation. |
9 (RLIN) |
303582 |
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Complexité de calcul (Informatique) |
9 (RLIN) |
868997 |
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Estimation d'un paramètre. |
9 (RLIN) |
899783 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
MATHEMATICS |
General subdivision |
General. |
Source of heading or term |
bisacsh |
9 (RLIN) |
858606 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computational complexity. |
Source of heading or term |
fast |
-- |
(OCoLC)fst00871991 |
9 (RLIN) |
72785 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Parameter estimation. |
Source of heading or term |
fast |
-- |
(OCoLC)fst01052990 |
9 (RLIN) |
303582 |
655 #4 - INDEX TERM--GENRE/FORM |
Genre/form data or focus term |
Electronic books. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Bordeaux, Lucas, |
Relator term |
editor. |
9 (RLIN) |
989158 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Hamadi, Youssef |
Titles and other words associated with a name |
(Computer science researcher), |
Relator term |
editor. |
9 (RLIN) |
989159 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Kohli, Pushmeet, |
Relator term |
editor. |
9 (RLIN) |
698798 |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Display text |
Print version: |
Main entry heading |
Bordeaux, Lucas. |
Title |
Tractability : Practical Approaches to Hard Problems. |
Place, publisher, and date of publication |
Cambridge : Cambridge University Press, ©2014 |
International Standard Book Number |
9781107025196 |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=685234">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=685234</a> |
938 ## - |
-- |
Askews and Holts Library Services |
-- |
ASKH |
-- |
AH26070534 |
938 ## - |
-- |
Askews and Holts Library Services |
-- |
ASKH |
-- |
AH28319253 |
938 ## - |
-- |
Askews and Holts Library Services |
-- |
ASKH |
-- |
AH26386160 |
938 ## - |
-- |
Books 24x7 |
-- |
B247 |
-- |
bks00059163 |
938 ## - |
-- |
ProQuest Ebook Central |
-- |
EBLB |
-- |
EBL1578903 |
938 ## - |
-- |
EBSCOhost |
-- |
EBSC |
-- |
685234 |
938 ## - |
-- |
YBP Library Services |
-- |
YANK |
-- |
11615913 |
994 ## - |
-- |
92 |
-- |
INOPJ |