passa ai contenuti
Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings

Autore: Hubert T-H Chan; Lap Chi Lau; Luca Trevisan
Editore: Berlin ; New York : Springer, ©2013.
Serie: Lecture notes in computer science, 7876.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edizione/Formato:   eBook : Document : Conference publication : EnglishVedi tutte le edizioni e i formati
Banca dati:WorldCat
Sommario:
This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Models of Computation, TAMC 2013, held in Hong Kong, China, in May 2013. The 31 revised full papers presented were carefully reviewed and selected from 70 submissions. Bringing together a wide range of researchers with interests in computational theory and applications, the papers address the three main  Per saperne di più…
Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia online

Collegamenti a questo documento

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Genere/forma: Electronic books
Conference proceedings
Congresses
Tipo materiale: Conference publication, Document, Risorsa internet
Tipo documento: Internet Resource, Computer File
Tutti gli autori / Collaboratori: Hubert T-H Chan; Lap Chi Lau; Luca Trevisan
ISBN: 9783642382369 3642382363
Numero OCLC: 841246508
Descrizione: 1 online resource (xv, 356 p.) : ill.
Contenuti: Non-crossing Connectors in the Plane / Jan Kratochvíl, Torsten Ueckerdt --
Minimax Regret 1-Sink Location Problems in Dynamic Path Networks / Siu-Wing Cheng, Yuya Higashikawa --
A Notion of a Computational Step for Partial Combinatory Algebras / Nathanael L. Ackerman, Cameron E. Freer --
Selection by Recursively Enumerable Sets / Wolfgang Merkle, Frank Stephan --
On the Boundedness Property of Semilinear Sets / Oscar H. Ibarra, Shinnosuke Seki --
Turing Machines Can Be Efficiently Simulated by the General Purpose Analog Computer / Olivier Bournez, Daniel S. Graça --
Computing with and without Arbitrary Large Numbers / Michael Brand --
On the Sublinear Processor Gap for Parallel Architectures / Alejandro López-Ortiz, Alejandro Salinger --
On Efficient Constructions of Short Lists Containing Mostly Ramsey Graphs / Marius Zimand --
On Martin-Löf Convergence of Solomonoff's Mixture / Tor Lattimore, Marcus Hutter --
Any Monotone Property of 3-Uniform Hypergraphs Is Weakly Evasive / Raghav Kulkarni, Youming Qiao, Xiaoming Sun --
The Algorithm for the Two-Sided Scaffold Filling Problem / Nan Liu, Daming Zhu --
Energy-Efficient Threshold Circuits Detecting Global Pattern in 1-Dimentional Arrays / Akira Suzuki, Kei Uchizawa, Xiao Zhou --
Resolving Rooted Triplet Inconsistency by Dissolving Multigraphs / Andrew Chester, Riccardo Dondi --
Obnoxious Facility Game with a Bounded Service Range / Yukun Cheng, Qiaoming Han, Wei Yu --
Efficient Self-pairing on Ordinary Elliptic Curves / Hongfeng Wu, Rongquan Feng --
Grey-Box Public-Key Steganography / Hirotoshi Takebe, Keisuke Tanaka --
Linear Vertex-kernels for Several Dense Ranking r -Constraint Satisfaction Problems / Anthony Perez --
On Parameterized and Kernelization Algorithms for the Hierarchical Clustering Problem / Yixin Cao, Jianer Chen --
Vector Connectivity in Graphs / Endre Boros, Pinar Heggernes, Pim van 't Hof --
Trees in Graphs with Conflict Edges or Forbidden Transitions / Mamadou Moustapha Kanté, Christian Laforest.
Titolo della serie: Lecture notes in computer science, 7876.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Altri titoli: TAMC 2013
Responsabilità: T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan (eds.).
Maggiori informazioni:

Abstract:

This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Models of Computation, TAMC 2013, held in Hong Kong, China, in May 2013. The 31 revised full papers presented were carefully reviewed and selected from 70 submissions. Bringing together a wide range of researchers with interests in computational theory and applications, the papers address the three main themes of the conference which were computability, complexity, and algorithms and present current research in these fields with aspects to theoretical computer science, algorithmic mathematics, and applications to the physical sciences.

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.
Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati


<http://www.worldcat.org/oclc/841246508>
library:oclcnum"841246508"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/841246508>
rdf:typeschema:Book
rdfs:seeAlso
schema:about
schema:about
<http://id.worldcat.org/fast/871991>
rdf:typeschema:Intangible
schema:name"Computational complexity"
schema:name"Computational complexity."
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
<http://id.worldcat.org/fast/872460>
rdf:typeschema:Intangible
schema:name"Computer science--Mathematics"
schema:name"Computer science--Mathematics."
schema:about
schema:author
rdf:typeschema:Organization
schema:name"TAMC (Conference) 2013 : Hong Kong, China)"
schema:bookFormatschema:EBook
schema:contributor
schema:contributor
schema:contributor
schema:copyrightYear"2013"
schema:datePublished"2013"
schema:description"This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Models of Computation, TAMC 2013, held in Hong Kong, China, in May 2013. The 31 revised full papers presented were carefully reviewed and selected from 70 submissions. Bringing together a wide range of researchers with interests in computational theory and applications, the papers address the three main themes of the conference which were computability, complexity, and algorithms and present current research in these fields with aspects to theoretical computer science, algorithmic mathematics, and applications to the physical sciences."
schema:exampleOfWork<http://worldcat.org/entity/work/id/1371230758>
schema:genre"Conference proceedings."
schema:genre"Conference proceedings"
schema:inLanguage"en"
schema:name"Theory and applications of models of computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings"
schema:numberOfPages"356"
schema:publisher
schema:url<http://dx.doi.org/10.1007/978-3-642-38236-9>
schema:workExample
schema:workExample

Content-negotiable representations

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.