Atjaunināt sīkdatņu piekrišanu

E-grāmata: Theory and Applications of Models of Computation: 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings

Edited by , Edited by
  • Formāts: EPUB+DRM
  • Sērija : Lecture Notes in Computer Science 11436
  • Izdošanas datums: 10-Apr-2019
  • Izdevniecība: Springer Nature Switzerland AG
  • Valoda: eng
  • ISBN-13: 9783030148126
  • Formāts - EPUB+DRM
  • Cena: 53,52 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
  • Formāts: EPUB+DRM
  • Sērija : Lecture Notes in Computer Science 11436
  • Izdošanas datums: 10-Apr-2019
  • Izdevniecība: Springer Nature Switzerland AG
  • Valoda: eng
  • ISBN-13: 9783030148126

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

This book constitutes the refereed proceedings of the 15th Annual Conference on Theory and Applications of Models of Computation, TAMC 2019, held in Kitakyushu, Japan, in April 2019.









The 43 revised full papers were carefully reviewed and selected from 60 submissions. The main themes of the selected papers are computability, computer science logic, complexity, algorithms, models of computation, and systems theory.
Battery Scheduling Problem
1(12)
Aakash Agrawal
Krunal Shah
Amit Kumar
Ranveer Chandra
The Volume of a Crosspolytope Truncated by a Halfspace
13(15)
Ei Ando
Shoichi Tsuchiya
Computable Isomorphisms of Distributive Lattices
28(14)
Nikolay Bazhenov
Manat Mustafa
Mars Yamaleev
Minmax-Regret Evacuation Planning for Cycle Networks
42(17)
Robert Benkoczi
Binay Bhattacharya
Yuya Higashikawa
Tsunehiko Kameda
Naoki Katoh
Planar Digraphs for Automatic Complexity
59(15)
Achilles A. Beros
Bjørn Kjos-Hanssen
Daylan Kaui Yogi
Approximation Algorithms for Graph Burning
74(19)
Anthony Bonato
Shahin Kamali
Sublinear Decoding Schemes for Non-adaptive Group Testing with Inhibitors
93(21)
Thach V. Bui
Minoru Kuribayashi
Tetsuya Kojima
Isao Echizen
Compacting and Grouping Mobile Agents on Dynamic Rings
114(20)
Shantanu Das
Giuseppe Di Luna
Linda Pagli
Giuseppe Prencipe
Maximum Independent and Disjoint Coverage
134(20)
Amit Kumar Dhar
Raghunath Reddy Madireddy
Supantha Pandit
Jagpreet Singh
Algorithms for Closest and Farthest String Problems via Rank Distance
154(18)
Liviu P. Dinu
Bogdan C. Dumilru
Alexandru Popa
Computable Analysis of Linear Rearrangement Optimization
172(16)
Amin Farjudian
On the Power of Oritatami Cotranscriptional Folding with Unary Bead Sequence
188(20)
Szilard Zsolt Fazekas
Kohei Maruyama
Reoto Morita
Shinnosuke Seki
Stochastic Programming for Energy Plant Operation
208(14)
Tomoki Fukuba
Takayuki Shiina
Ken-ichi Tokoro
Compact I/O-Efficient Representation of Separable Graphs and Optimal Tree Layouts
222(20)
Tomas Gavenciak
Jakub Tetek
Unshuffling Permutations: Trivial Bijections and Compositions
242(20)
Guillaume Fertin
Samuele Giraudo
Sylvie Hamel
Stephane Vialelte
Continuous Team Semantics
262(17)
Asa Hirvonen
Juha Kontinen
Arno Pauly
Exact Satisfiability with Jokers
279(16)
Gordon Hoi
Sanjay Jain
Sibylle Schwarz
Frank Stephen
Theoretical Model of Computation and Algorithms for FPGA-Based Hardware Accelerators
295(18)
Martin Hora
Vaclav Koncicky
Jakub Tetek
On the Complexity of and Algorithms for Min-Max Target Coverage On a Line Boundary
313(12)
Peihuang Huang
Wenxing Zhu
Longkun Guo
Online Travelling Salesman Problem on a Circle
325(12)
Vinay A. Jawgal
V. N. Muralidhara
P. S. Srinivasan
Second-Order Linear-Time Computability with Applications to Computable Analysis
337(22)
Akitoshi Kawamura
Florian Steinberg
Holger Thies
Consistency as a Branching Time Notion
359(19)
Astrid Kiehn
Mohnish Pattathurajan
Finite Choice, Convex Choice and Sorting
378(16)
Takayuki Kihara
Arno Pauly
The Number of Languages with Maximum State Complexity
394(16)
Bjorn Kjos-Hanssen
Lei Liu
Deterministic Coresets for Stochastic Matrices with Applications to Scalable Sparse PageRank
410(14)
Harry Lang
Cenk Baykal
Najib Abu Samra
Tony Tannous
Dan Feldman
Daniela Rus
GPU Based Hom-Schunck Method to Estimate Optical Flow and Occlusion
424(14)
Vanel Lazcano
Francisco Rivera
Robot Computing for Music Visualization
438(10)
Pei-Chun Lin
David Mettrick
Patrick C. K. Hung
Farkhund Iqbal
Combinatorial Properties of Fibonacci Arrays
448(19)
Manasi S. Kulkarni
Kalpana Mahalingam
Sivasankar Mohankumar
Watson-Crick Jumping Finite Automata
467(14)
Kalpana Mahalingam
Rama Raghavan
Ujjwal Kumar Mishra
Dispersion of Mobile Robots: The Power of Randomness
481(20)
Anisur Rahaman Molla
William K. Moses Jr.
Building Resource Auto-scaler with Functional-Link Neural Network and Adaptive Bacterial Foraging Optimization
501(17)
Thieu Nguyen
Binh Minh Nguyen
Giang Nguyen
On the Enumeration of Bicriteria Temporal Paths
518(18)
Petra Mutzel
Lutz Oettershagen
An Output-Sensitive Algorithm for the Minimization of 2-Dimensional String Covers
536(14)
Alexandru Popa
Andrei Tanasescu
Introducing Fluctuation into Increasing Order of Symmetric Uncertainty for Consistency-Based Feature Selection
550(16)
Sho Shimamura
Kouichi Hirata
Card-Based Cryptography with Invisible Ink
566(12)
Kazumasa Shinagawa
Read-Once Certification of Linear Infeasibility in UTVPI Constraints
578(16)
K. Subramani
Piotr Wojciechowski
Generalizations of Weighted Matroid Congestion Games: Pure Nash Equilibrium, Sensitivity Analysis, and Discrete Convex Function
594(21)
Kenjiro Takazawa
The Complexity of Synthesis for 43 Boolean Petri Net Types
615(20)
Ronny Tredup
Christian Rosenke
Space Lower Bounds for Graph Stream Problems
635(12)
Paritosh Verma
Bounded Jump and the High/Low Hierarchy
647(12)
Guohua Wu
Huishan Wu
Supportive Oracles for Parameterized Polynomial-Time Sub-Linear-Space Computations in Relation to L, NL, and P
659(15)
Tomoyuki Yamakami
Dynamic Average Value-at-Risk Allocation on Worst Scenarios in Asset Management
674(10)
Yuji Yoshida
Satoru Kumamoto
First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation
684(23)
Shufang Zhu
Geguang Pu
Moshe Y. Vardi
Author Index 707