书目查询 
 我的图书馆 
 历史文献 
 馆际互借 
 帮您找书  
 你荐我购 
 使用说明 
English
基本高级多项辅助历次
查询:    精炼检索  
您正在查询: 上海市中心图书馆-上海图书馆目录
 
馆藏信息
 

 
 这个著者的其它书目
 
  •  
  • SEA (Symposium)
     
  •  
  • SpringerLink (Online service)
     
  •  
  • Bonifaci, Vincenzo,
     
  •  
  • Demetrescu, Camil,
     
  •  
  • Marchetti-Spaccamela, Alberto,
     
  •  
  • SpringerLink (Online service)
     
     主题标目
     
  •  
  • Algoritms -- Congresses.
     
  •  
  • Software -- Congresses.
     
  •  
  • Computer algorithms -- Congresses.
     
  •  
  • Software engineering -- Congresses.
     
  •  
  • Computer algorithms.
     
  •  
  • Software engineering.
     
  •  
  • Electronic books.
     
  •  
  • Conference proceedings.
     
     目录浏览
      以著者显示:
     
  •  
  •  SEA (Symposium)
     
  •  
  •  SpringerLink (Online service)
     
  •  
  •  Bonifaci, Vincenzo,
     
  •  
  •  Demetrescu, Camil,
     
  •  
  •  Marchetti-Spaccamela, Alberto,
     
  •  
  •  SpringerLink (Online service)
     
      以题名显示:
     
  •  
  •  Experimental algorit...
     
     
    合作伙伴
     
  •  
  •  
     
    Experimental algorithms : 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013, proceedings / Vincenzo Bonifaci, Camil Demetrescu, Alberto Marchetti-Spaccamela (eds.).
    著者SEA (Symposium), SpringerLink (Online service), Bonifaci, Vincenzo,, Demetrescu, Camil,, Marchetti-Spaccamela, Alberto,, SpringerLink (Online service)
    Springer, [2013]
    主题标目
  • Algoritms -- Congresses.
  •  
  • Software -- Congresses.
  •  
  • Computer algorithms -- Congresses.
  •  
  • Software engineering -- Congresses.
  •  
  • Computer algorithms.
  •  
  • Software engineering.
  •  
  • Electronic books.
  •  
  • Conference proceedings.
  • 丛书: 
    Lecture notes in computer science ; 7933
    LNCS sublibrary. SL 2, Programming and software engineering
    出版地: 
    Heidelberg ; New York :
    ISBN: 
    9783642385278 (electronic book)
    3642385273 (electronic book)
    载体形态: 
    1 online resource (xii, 416 pages) : illustrations (black and white)
    附注: 
    International conference proceedings.
    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.
    Invited Papers. Algorithms and Linear Programming Relaxations for Scheduling Unrelated Parallel Machines / Martin Skutella -- The Hub Labeling Algorithm / Andrew V. Goldberg -- Design of Practical Succinct Data Structures for Large Data Collections / Roberto Grossi, Giuseppe Ottaviano -- Transportation Networks and Graph Algorithms I. Hub Label Compression / Daniel Delling ... [et al.] -- Faster Customization of Road Networks / Daniel Delling, Renato F. Werneck -- Intriguingly Simple and Fast Transit Routing / Julian Dibbelt ... [et al.] -- Transit Node Routing Reconsidered / Julian Arz, Dennis Luxen, Peter Sanders -- Combinatorics and Enumeration. A New QEA Computing Near-Optimal Low-Discrepancy Colorings in the Hypergraph of Arithmetic Progressions / Lasse Kliemann ... [et al.] -- Computational Aspects of Ordered Integer Partition with Upper Bounds / Roland Glück, Dominik Köppl, Günther Wirsching -- Hypergraph Transversal Computation with Binary Decision Diagrams / Takahisa Toda -- Efficient Counting of Maximal Independent Sets in Sparse Graphs / Fredrik Manne, Sadia Sharmin --
    Data Structures and Compression. An Edge Quadtree for External Memory / Herman Haverkort, Mark McGranaghan, Laura Toma -- Branchless Search Programs / Amr Elmasry, Jyrki Katajainen -- Lightweight Lempel-Ziv Parsing / Juha Kärkkäinen, Dominik Kempa, Simon J. Puglisi -- Space-Efficient, High-Performance Rank and Select Structures on Uncompressed Bit Sequences / Dong Zhou, David G. Andersen, Michael Kaminsky -- Network Partitioning and Bioinformatics. Think Locally, Act Globally: Highly Balanced Graph Partitioning / Peter Sanders, Christian Schulz -- Evaluation of ILP-Based Approaches for Partitioning into Colorful Components / Sharon Bruckner ... [et al.] -- Finding Modules in Networks with Non-modular Regions / Sharon Bruckner, Bastian Kayser, Tim O. F. Conrad -- Telling Stories Fast / Michele Borassi ... [et al.] --
    Mathematical Programming. Undercover Branching / Timo Berthold, Ambros M. Gleixner -- Quadratic Outer Approximation for Convex Integer Programming with Box Constraints / Christoph Buchheim, Long Trieu -- Separable Non-convex Underestimators for Binary Quadratic Programming / Christoph Buchheim, Emiliano Traversi -- Hybrid SDP Bounding Procedure / Fabio Furini, Emiliano Traversi -- Transportation Networks and Graph Algorithms II. Computing Multimodal Journeys in Practice / Daniel Delling ... [et al.] -- Efficient Computation of Jogging Routes / Andreas Gemsa ... [et al.] -- Dominator Certification and Independent Spanning Trees: An Experimental Study / Loukas Georgiadis ... [et al.] -- Novel Techniques for Automorphism Group Computation / José Luis López-Presa ... [et al.] --
    Geometry and Optimization. Blinking Molecule Tracking / Andreas Karrenbauer, Dominik Wöll -- The Quest for Optimal Solutions for the Art Gallery Problem: A Practical Iterative Algorithm / Davi C. Tozoni, Pedro J. de Rezende, Cid C. de Souza -- An Improved Branching Algorithm for Two-Layer Planarization Parameterized by the Feedback Edge Set Number / Mathias Weller -- In-Out Separation and Column Generation Stabilization by Dual Price Smoothing / Artur Pessoa ... [et al.] -- Scheduling and Local Search. Energy Minimization via a Primal-Dual Algorithm for a Convex Program / Evripidis Bampis ... [et al.] -- Reoptimization in Branch-and-Bound Algorithms with an Application to Elevator Control / Benjamin Hiller, Torsten Klug, Jakob Witzig -- Cluster-Based Heuristics for the Team Orienteering Problem with Time Windows / Damianos Gavalas ... [et al.] -- Finding Robust Solutions for the Stochastic Job Shop Scheduling Problem by Including Simulation in Local Search / Marjan van den Akker, Kevin van Blokland, Han Hoogeveen.
    内容类型: 
    text
    媒体类型: 
    computer
    载体类型: 
    online resource
    电子资源: 
    http://www.springerlink.com/openurl.asp?genre=book&id=doi:10.1007/v
    加入到"我的书目选单"中 
    复本/藏书记录
    无馆藏信息

    格式:HTML纯文本
    主题: 
    Email给:


    iPac 2.03.01b21
    沪ICP备05017201号 
    © 2001-2002 epixtech, inc. All rights reserved.
    iPac2.0