MARC details
| 000 -LEADER |
|---|
| fixed length control field |
08737cam a2201093 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn843195025 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703162503.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cnu---unuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
130516s2013 gw a o 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
rda |
| -- |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
YDXCP |
| -- |
ZMC |
| -- |
COO |
| -- |
NUI |
| -- |
OHS |
| -- |
OHI |
| -- |
OCLCF |
| -- |
VLB |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCL |
| -- |
OCLCO |
| -- |
EBLCP |
| -- |
OCLCO |
| -- |
DXU |
| -- |
OCLCO |
| -- |
DIBIB |
| -- |
OCLCO |
| -- |
YDX |
| -- |
DGU |
| -- |
ESU |
| -- |
IOG |
| -- |
NJR |
| -- |
OCLCO |
| -- |
OCLCA |
| -- |
BUF |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
CEF |
| -- |
U3W |
| -- |
AU@ |
| -- |
OCLCO |
| -- |
WYU |
| -- |
OCLCA |
| -- |
YOU |
| -- |
TKN |
| -- |
OCLCQ |
| -- |
WURST |
| -- |
AJS |
| -- |
UKAHL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| 019 ## - |
|---|
| -- |
934988028 |
| -- |
936312659 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642385278 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642385273 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783642385261 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-642-38527-8 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000051786199 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000052936875 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000060390688 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
357494229 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
14936475 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)843195025 |
| Canceled/invalid control number |
(OCoLC)934988028 |
| -- |
(OCoLC)936312659 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.9.A43 |
| Item number |
S43 2013 |
| 060 #4 - NATIONAL LIBRARY OF MEDICINE CALL NUMBER |
|---|
| Classification number |
QA 76.9.A43 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1 |
| Edition number |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
SEA (Symposium) |
| Number of part/section/meeting |
(12th : |
| Date of meeting |
2013 : |
| Location of meeting |
Rome, Italy) |
| 9 (RLIN) |
48668 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Experimental algorithms : |
| Remainder of title |
12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013, proceedings / |
| Statement of responsibility, etc. |
Vincenzo Bonifaci, Camil Demetrescu, Alberto Marchetti-Spaccamela (eds.). |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
SEA 2013 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Heidelberg ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
©2013. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xii, 416 pages) : |
| Other physical details |
illustrations (black and white) |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
image files |
| Resolution |
PNG |
| Source |
rda |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science ; |
| Volume/sequential designation |
7933 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL 2, Programming and software engineering |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Invited Papers. |
| -- |
Algorithms and Linear Programming Relaxations for Scheduling Unrelated Parallel Machines / |
| Statement of responsibility |
Martin Skutella -- |
| Title |
The Hub Labeling Algorithm / |
| Statement of responsibility |
Andrew V. Goldberg -- |
| Title |
Design of Practical Succinct Data Structures for Large Data Collections / |
| Statement of responsibility |
Roberto Grossi, Giuseppe Ottaviano -- |
| Title |
Transportation Networks and Graph Algorithms I. |
| -- |
Hub Label Compression / |
| Statement of responsibility |
Daniel Delling [and others] -- |
| Title |
Faster Customization of Road Networks / |
| Statement of responsibility |
Daniel Delling, Renato F. Werneck -- |
| Title |
Intriguingly Simple and Fast Transit Routing / |
| Statement of responsibility |
Julian Dibbelt [and others] -- |
| Title |
Transit Node Routing Reconsidered / |
| Statement of responsibility |
Julian Arz, Dennis Luxen, Peter Sanders -- |
| Title |
Combinatorics and Enumeration. |
| -- |
A New QEA Computing Near-Optimal Low-Discrepancy Colorings in the Hypergraph of Arithmetic Progressions / |
| Statement of responsibility |
Lasse Kliemann [and others] -- |
| Title |
Computational Aspects of Ordered Integer Partition with Upper Bounds / |
| Statement of responsibility |
Roland Glück, Dominik Köppl, Günther Wirsching -- |
| Title |
Hypergraph Transversal Computation with Binary Decision Diagrams / |
| Statement of responsibility |
Takahisa Toda -- |
| Title |
Efficient Counting of Maximal Independent Sets in Sparse Graphs / |
| Statement of responsibility |
Fredrik Manne, Sadia Sharmin. |
| 505 80 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Data Structures and Compression. |
| -- |
An Edge Quadtree for External Memory / |
| Statement of responsibility |
Herman Haverkort, Mark McGranaghan, Laura Toma -- |
| Title |
Branchless Search Programs / |
| Statement of responsibility |
Amr Elmasry, Jyrki Katajainen -- |
| Title |
Lightweight Lempel-Ziv Parsing / |
| Statement of responsibility |
Juha Kärkkäinen, Dominik Kempa, Simon J. Puglisi -- |
| Title |
Space-Efficient, High-Performance Rank and Select Structures on Uncompressed Bit Sequences / |
| Statement of responsibility |
Dong Zhou, David G. Andersen, Michael Kaminsky -- |
| Title |
Network Partitioning and Bioinformatics. |
| -- |
Think Locally, Act Globally: Highly Balanced Graph Partitioning / |
| Statement of responsibility |
Peter Sanders, Christian Schulz -- |
| Title |
Evaluation of ILP-Based Approaches for Partitioning into Colorful Components / |
| Statement of responsibility |
Sharon Bruckner [and others] -- |
| Title |
Finding Modules in Networks with Non-modular Regions / |
| Statement of responsibility |
Sharon Bruckner, Bastian Kayser, Tim O.F. Conrad -- |
| Title |
Telling Stories Fast / |
| Statement of responsibility |
Michele Borassi [and others]. |
| 505 80 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Mathematical Programming. |
| -- |
Undercover Branching / |
| Statement of responsibility |
Timo Berthold, Ambros M. Gleixner -- |
| Title |
Quadratic Outer Approximation for Convex Integer Programming with Box Constraints / |
| Statement of responsibility |
Christoph Buchheim, Long Trieu -- |
| Title |
Separable Non-convex Underestimators for Binary Quadratic Programming / |
| Statement of responsibility |
Christoph Buchheim, Emiliano Traversi -- |
| Title |
Hybrid SDP Bounding Procedure / |
| Statement of responsibility |
Fabio Furini, Emiliano Traversi -- |
| Title |
Transportation Networks and Graph Algorithms II. |
| -- |
Computing Multimodal Journeys in Practice / |
| Statement of responsibility |
Daniel Delling [and others] -- |
| Title |
Efficient Computation of Jogging Routes / |
| Statement of responsibility |
Andreas Gemsa [and others] -- |
| Title |
Dominator Certification and Independent Spanning Trees: An Experimental Study / |
| Statement of responsibility |
Loukas Georgiadis [and others] -- |
| Title |
Novel Techniques for Automorphism Group Computation / |
| Statement of responsibility |
José Luis López-Presa [and others]. |
| 505 80 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Geometry and Optimization. |
| -- |
Blinking Molecule Tracking / |
| Statement of responsibility |
Andreas Karrenbauer, Dominik Wöll -- |
| Title |
The Quest for Optimal Solutions for the Art Gallery Problem: A Practical Iterative Algorithm / |
| Statement of responsibility |
Davi C. Tozoni, Pedro J. de Rezende, Cid C. de Souza -- |
| Title |
An Improved Branching Algorithm for Two-Layer Planarization Parameterized by the Feedback Edge Set Number / |
| Statement of responsibility |
Mathias Weller -- |
| Title |
In-Out Separation and Column Generation Stabilization by Dual Price Smoothing / |
| Statement of responsibility |
Artur Pessoa [and others] -- |
| Title |
Scheduling and Local Search. |
| -- |
Energy Minimization via a Primal-Dual Algorithm for a Convex Program / |
| Statement of responsibility |
Evripidis Bampis [and others] -- |
| Title |
Reoptimization in Branch-and-Bound Algorithms with an Application to Elevator Control / |
| Statement of responsibility |
Benjamin Hiller, Torsten Klug, Jakob Witzig -- |
| Title |
Cluster-Based Heuristics for the Team Orienteering Problem with Time Windows / |
| Statement of responsibility |
Damianos Gavalas [and others] -- |
| Title |
Finding Robust Solutions for the Stochastic Job Shop Scheduling Problem by Including Simulation in Local Search / |
| Statement of responsibility |
Marjan van den Akker, Kevin van Blokland, Han Hoogeveen. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
International conference proceedings. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Includes author index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the refereed proceedings of the 12th International Symposium on Experimental Algorithms, SEA 2013, held in Rome, Italy, in June 2013. The 32 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on transportation networks and graph algorithms, combinatorics and enumeration, data structures and compression, network partitioning and bioinformatics, mathematical programming, geometry and optimization, and scheduling and local search. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer algorithms |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14835 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software engineering |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15264 |
| 650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algorithms |
| 9 (RLIN) |
864 |
| 650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software |
| 9 (RLIN) |
16724 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algorithmes |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
17080 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Génie logiciel |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
18168 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algorithmes. |
| 9 (RLIN) |
16327 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logiciels. |
| 9 (RLIN) |
26065 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
algorithms. |
| Source of heading or term |
aat |
| 9 (RLIN) |
864 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
software. |
| Source of heading or term |
aat |
| 9 (RLIN) |
16724 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer algorithms |
| Source of heading or term |
fast |
| 9 (RLIN) |
896 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software engineering |
| Source of heading or term |
fast |
| 9 (RLIN) |
14736 |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computerwetenschappen |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computer sciences |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
numerieke methoden |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
numerical methods |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computertechnieken |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computer techniques |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
wiskunde |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
mathematics |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
algoritmen |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
algorithms |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computeranalyse |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computer analysis |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
kunstmatige intelligentie |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
artificial intelligence |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
gegevensstructuren |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
data structures |
| 653 10 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Information and Communication Technology (General) |
| 653 10 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Informatie- en communicatietechnologie (algemeen) |
| 655 #2 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congress |
| 9 (RLIN) |
11670 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Software. |
| Source of term |
lcgft |
| 9 (RLIN) |
98343 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bonifaci, Vincenzo, |
| Relator term |
editor. |
| 9 (RLIN) |
48670 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Demetrescu, Camil, |
| Relator term |
editor. |
| 9 (RLIN) |
21998 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Marchetti-Spaccamela, Alberto, |
| Relator term |
editor. |
| 9 (RLIN) |
34306 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
SEA (Symposium) (12th : 2013 : Rome, Italy). |
| Title |
Experimental algorithms. |
| Place, publisher, and date of publication |
Heidelberg ; New York : Springer, ©2013 SEA (Symposium) (12th : 2013 : Rome, Italy). |
| International Standard Book Number |
9783642385261 |
| Record control number |
(OCoLC)861311338 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
7933. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 2, |
| Name of part/section of a work |
Programming and software engineering. |
| 9 (RLIN) |
20654 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-642-38527-8">https://link.springer.com/10.1007/978-3-642-38527-8</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH29112168 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3093405 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
10755784 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |