Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings
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 p...
Saved in:
| Main Authors | , , |
|---|---|
| Format | eBook Book |
| Language | English |
| Published |
Cham
Springer Nature
2019
Springer Springer International Publishing AG |
| Edition | 1 |
| Series | LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Subjects | |
| Online Access | Get full text |
| ISBN | 3030148122 9783030148126 3030148114 9783030148119 |
Cover
| Abstract | 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. |
|---|---|
| AbstractList | 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. |
| Author | TAMC Gopal, T. V. 和多田, 淳三 |
| Author_FL | ワタダ, ジュンゾウ |
| Author_FL_xml | – sequence: 3 fullname: ワタダ, ジュンゾウ |
| Author_xml | – sequence: 1 fullname: TAMC – sequence: 2 fullname: Gopal, T. V. – sequence: 3 fullname: 和多田, 淳三 |
| BackLink | https://cir.nii.ac.jp/crid/1130000797067547520$$DView record in CiNii |
| BookMark | eNpNz0tLw0AQAOAVrWhq_0MRQTwUZmefOdZQH1DxUryGMdna2DQbs1Hx37s2Il52dpiPeSTsqPGNO2CJAAFcWo54-D8ZsQSBp6nAlJtjlnBILQgltT5hkxBeAQC5MFLgKYPVxvnua0pNOZ23bV0V1Fe-CVO_nj740tX7X-Z37Xu_r5yx0Zrq4Ca_ccyebhar7G62fLy9z-bLGXETB8xUiqi5KpFTgaUyqnBSENGakDSAlWgNWiAXi9ZIZYBMqZBrLZ3SuhRjdjU0prB1n2Hj6z7kH7V79n4b8tTYv4N1tJeDbTv_9u5Cn-9Z4Zq-ozpfXGdxHSlFGuXFIJuqyovq5-VcxIXBpAa0UdIohMjOB1ZQoDqyfOcb_9JRuwm5ksgtovgGInlqgQ |
| ContentType | eBook Book |
| DBID | I4C RYH |
| DEWEY | 005 |
| DatabaseName | Casalini Torrossa eBooks Institutional Catalogue CiNii Complete |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 3030148122 9783030148126 |
| Edition | 1 1st ed. 2019. |
| Editor | Watada, Junzo Gopal, T.V |
| Editor_xml | – sequence: 1 fullname: Gopal, T.V – sequence: 2 fullname: Watada, Junzo |
| ExternalDocumentID | 9783030148126 EBC5924439 BB28103485 5421822 |
| GroupedDBID | 0DA 38. AABBV AEDXK AEKFX AEZAY AIFIR ALMA_UNASSIGNED_HOLDINGS AYMPB BBABE CXBFT CZZ EXGDT FCSXQ I4C IEZ LDH MGZZY NSQWD OORQV SBO TPJZQ TSXQS Z7R Z7X Z7Y Z81 Z83 Z88 AAJYQ AATVQ ABBUY ABCYT ACDTA ACDUY AEHEY AEJLV AHNNE ATJMZ RYH Z7U |
| ID | FETCH-LOGICAL-a17000-5922615d21ac2d575ce43aaafa2a60084287280ae2d5874570a7d521664e566d3 |
| ISBN | 3030148122 9783030148126 3030148114 9783030148119 |
| IngestDate | Fri Nov 08 03:57:51 EST 2024 Thu Apr 24 04:17:08 EDT 2025 Thu Jun 26 22:43:46 EDT 2025 Tue Nov 14 22:57:55 EST 2023 |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCN | 2019932917 |
| LCCallNum_Ident | Q |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-a17000-5922615d21ac2d575ce43aaafa2a60084287280ae2d5874570a7d521664e566d3 |
| Notes | Includes bibliographical references and author index |
| OCLC | 1098035466 |
| PQID | EBC5924439 |
| PageCount | 721 |
| ParticipantIDs | askewsholts_vlebooks_9783030148126 proquest_ebookcentral_EBC5924439 nii_cinii_1130000797067547520 casalini_monographs_5421822 |
| PublicationCentury | 2000 |
| PublicationDate | 2019 c2019 2019-04-10 |
| PublicationDateYYYYMMDD | 2019-01-01 2019-04-10 |
| PublicationDate_xml | – year: 2019 text: 2019 |
| PublicationDecade | 2010 |
| PublicationPlace | Cham |
| PublicationPlace_xml | – name: Netherlands – name: Cham |
| PublicationSeriesTitle | LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| PublicationYear | 2019 |
| Publisher | Springer Nature Springer Springer International Publishing AG |
| Publisher_xml | – name: Springer Nature – name: Springer – name: Springer International Publishing AG |
| SSID | ssj0002137432 |
| Score | 2.105398 |
| Snippet | This book constitutes the refereed proceedings of the 15th Annual Conference on Theory and Applications of Models of Computation, TAMC 2019, held in... |
| SourceID | askewsholts proquest nii casalini |
| SourceType | Aggregation Database Publisher |
| SubjectTerms | Computer programming, programs, data Computer science-Mathematics |
| Subtitle | 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings |
| TableOfContents | 4 Polynomial Time Algorithms -- 4.1 The MDCL and MICL Problems -- 4.2 The MDCI and MICI Problems -- 5 Conclusion -- References -- Algorithms for Closest and Farthest String Problems via Rank Distance -- 1 Introduction -- 1.1 Our Results -- 1.2 Previous Work -- 2 Preliminaries -- 3 An Exact Algorithm for the SFRD Problem -- 4 Heuristic Algorithm for the CSRD Problem -- 5 Integer Programming Formulations for the CSRD Problem -- 5.1 The Standard IP Formulation -- 5.2 Geometric Formulation -- 6 An Exact Algorithm for the FSRD Problem -- 7 Conclusions and Future Work -- References -- Computable Analysis of Linear Rearrangement Optimization -- 1 Introduction -- 1.1 Contributions of the Paper -- 1.2 Our Approach -- 1.3 Structure of the Paper -- 2 Preliminaries -- 2.1 Rearrangement Theory -- 2.2 Further Definitions and Notations -- 3 Distribution Function and Non-increasing Rearrangement -- 4 Linear Rearrangement Optimization -- 4.1 Simple Step Function Generator -- 4.2 General Case -- 5 Generalizations -- 6 Conclusions and Future Work -- References -- On the Power of Oritatami Cotranscriptional Folding with Unary Bead Sequence -- 1 Introduction -- 2 Preliminaries -- 3 Quadratic Lower Bound for Delay 2, Arity 1 -- 4 Upper Bounds for Determinisitc Unary Oritatami Systems at Delay 1 or Arity 1 -- 4.1 Upper Bounds on the Length of Conformation Foldable Deterministically at Delay = 1 -- 4.2 Quadratic Upper Bounds for Arity 1 and Delay 2 or 3 -- 5 Conclusion -- References -- Stochastic Programming for Energy Plant Operation -- Abstract -- 1 Introduction -- 2 Introduction Model for Photovoltaic Generation -- 3 Formulation of Photovoltaic Generation Introduction Model -- 4 Piecewise Linear Approximation of Nonlinear Constraint Equation -- 5 Evaluation of Solution by Stochastic Programming -- 6 Numerical Experiments -- 7 Concluding Remarks -- References Theoretical Model of Computation and Algorithms for FPGA-Based Hardware Accelerators -- 1 Introduction -- 1.1 Previous Work -- 1.2 Our Contributions -- 2 Preliminaries -- 2.1 Boolean Circuits -- 2.2 Field Programmable Gate Arrays -- 3 Model of Computation -- 4 Algorithmic Results -- 4.1 Aggregation -- 4.2 Sorting -- 4.3 Associative Operation -- 4.4 Dynamic Programs -- 4.5 Recursive Algorithms -- 5 Lower Bounds -- 5.1 I/O Model -- 5.2 Lower Bounds -- 6 Open Problems -- A Simulation of Word-RAM -- References -- On the Complexity of and Algorithms for Min-Max Target Coverage On a Line Boundary -- 1 Introduction -- 1.1 Related Works -- 1.2 Our Results -- 1.3 Organization -- 2 NP-Completeness of Decision 1D-LBTC -- 3 A Greedy Algorithm for 2D-LBTC with Uniform Sensors -- 4 The Complete Algorithms -- 4.1 A Simple Binary Search Based Algorithm -- 4.2 An Improved Algorithm via Discretized Binary Search -- 5 Conclusion -- References -- Online Travelling Salesman Problem on a Circle -- 1 Introduction -- 1.1 Preliminaries -- 1.2 Related Work -- 1.3 Our Contribution -- 2 Lower Bound Proofs -- 3 Online Algorithms -- 3.1 Algorithm for N-OLTSP-C -- 3.2 Algorithm for H-OLTSP-C -- 4 Concluding Remarks -- References -- Second-Order Linear-Time Computability with Applications to Computable Analysis -- 1 Introduction -- 2 Machines -- 2.1 Runtimes and Input Sizes -- 2.2 Second-Order Polynomials -- 2.3 Composition of Machines -- 3 A Notion of Type-Two Linear-Time -- 3.1 Counter Examples and Composition -- 3.2 Quantitative Continuity -- 4 Operating on Real Numbers and Functions -- 4.1 Signed-Digit and Cauchy Representation Compared -- 4.2 Operating on Continuous Functions -- 5 Conclusion -- References -- Consistency as a Branching Time Notion -- 1 Introduction -- 2 Basic Definitions -- 2.1 Operational Semantics -- 3 Progressive (Bi-)Consistency 4 Snapshot Algorithms Analyzed Intro -- Preface -- Organization -- Contents -- Battery Scheduling Problem -- 1 Introduction -- 2 Preliminaries -- 2.1 Our Results -- 3 Algorithm for EnergyMinimization -- 3.1 Analysis -- 4 Algorithm for EnergyTimeTradeoff -- 4.1 Analysis -- 5 Conclusion -- References -- The Volume of a Crosspolytope Truncated by a Halfspace -- 1 Introduction -- 2 The Volume of the Convex Hull of a Hypercube and a Point -- 3 The Volume of a Crosspolytope Truncated by a Halfspace -- 3.1 Basic Definitions -- 3.2 Our Algorithm -- 4 Conclusion and Future Works -- Appendix Supplemental Proof -- References -- Computable Isomorphisms of Distributive Lattices -- 1 Introduction -- 2 Preliminaries -- 2.1 Isomorphism Relation -- 2.2 Hyperarithmetical Equivalence Relations -- 2.3 Pairs of Computable Structures -- 2.4 Distributive Lattices -- 3 0 Isomorphism for Distributive Lattices -- 4 Consequences of the Main Result -- 4.1 Heyting Algebras -- 4.2 Undirected Graphs -- 4.3 Metric Spaces -- 4.4 Boolean Algebras with Distinguished Subalgebra -- 5 Further Discussion -- References -- Minmax-Regret Evacuation Planning for Cycle Networks -- 1 Introduction -- 2 Preliminaries -- 2.1 Model -- 2.2 Graphical Representation -- 2.3 Completion Time Functions -- 2.4 Regret -- 2.5 Road Map -- 3 Critical Vertices and Dominant Clusters -- 4 Minmax-Regret 1-Sink -- 4.1 Worst-Case Scenarios -- 4.2 Binary Search Based Algorithm -- 4.3 Proof of Theorem1 -- 5 Conclusion -- References -- Planar Digraphs for Automatic Complexity -- 1 Introduction -- 2 Automatic Complexity as Chains of Trees of Lumps -- 3 The Asymptotic Number of Words of Given Complexity -- References -- Approximation Algorithms for Graph Burning -- 1 Introduction -- 2 Approximation Algorithm for Burning Graphs -- 3 Approximation Algorithm for Trees -- 4 Algorithms for Disjoint Paths -- 5 Concluding Remarks -- References Sublinear Decoding Schemes for Non-adaptive Group Testing with Inhibitors -- 1 Introduction -- 1.1 Problem Definition -- 1.2 Problem Model -- 1.3 Our Contributions -- 2 Preliminaries -- 2.1 Tensor Product -- 2.2 Reed-Solomon Codes -- 2.3 Disjunct Matrix -- 2.4 Bui et al.'s Scheme -- 3 Improved Instantiation of Nonrandom (d, r -- z]-Disjunct Matrices -- 4 Identification of Defective Items -- 4.1 Encoding Procedure -- 4.2 Decoding Procedure -- 4.3 Correctness of Decoding Procedure -- 4.4 Decoding Complexity -- 5 Identification of Defectives and Inhibitors -- 5.1 Identification of an Inhibitor -- 5.2 Encoding Procedure -- 5.3 Decoding Procedure -- 5.4 Correctness of the Decoding Procedure -- 5.5 Decoding Complexity -- 6 Simulation -- 6.1 Identification of Defective Items -- 6.2 Identification of Defectives and Inhibitors -- 7 Conclusion -- References -- Compacting and Grouping Mobile Agents on Dynamic Rings -- 1 Introduction -- 2 Preliminaries -- 3 CCP with Global Snapshot -- 3.1 The Asymmetric Case -- 3.2 The Palindrome Case -- 4 ColoredCCP with Global Snapshot and c> -- 2 -- 4.1 Asymmetric Initial Configuration and h 3 -- 4.2 Asymmetric Initial Configuration and h=2 -- 4.3 Palindrome Initial Configuration for c > -- 2 Colors -- 5 Colored CCP with Global Snapshot and c=2 -- 5.1 Asymmetric Initial Configuration -- 5.2 Palindrome Initial Configuration -- 6 Special Case: Compaction of k=2 Agents -- 7 Conclusions -- References -- Maximum Independent and Disjoint Coverage -- 1 Introduction -- 1.1 Our Contributions -- 1.2 Related Work -- 2 PTASes -- 2.1 PTASes: The MDCUD and MDCUS Problems -- 2.2 PTAS: The MICUS Problem -- 3 NP-Completeness Results -- 3.1 NP-Completeness: The MICHLVSeg Problem -- 3.2 NP-Completeness: The MDCUSeg and MICUSeg Problems -- 3.3 NP-Completeness: The MDCUD and MICUD Problems -- 3.4 NP-Completeness: The MDCUS and MICUS problems Compact I/O-Efficient Representation of Separable Graphs and Optimal Tree Layouts -- 1 Introduction -- 1.1 Related Work -- 1.2 Our Contribution -- 2 Preliminaries -- 2.1 Separators -- 2.2 I/O Complexity -- 3 Representation for Random Walks -- 3.1 Proofs of Theorems1-3 -- 3.2 Expanding Relative Offsets to Relative Bit-Offsets -- 4 Separator Hierarchy -- 5 Representation for Paths in Trees -- 5.1 Hardness of Worst-Case Optimal Compact Layouts -- 6 Further Research -- References -- Unshuffling Permutations: Trivial Bijections and Compositions -- 1 Introduction -- 2 Definitions -- 3 Generalized Square Permutations and Enumerative Properties -- 4 Recognizing Generalized Square Permutations -- 5 Conclusion and Perspectives -- References -- Continuous Team Semantics -- 1 Introduction -- 2 Definitions -- 2.1 Approximate Dependence/Independence Atoms -- 3 Restricting Teams to Closed Sets -- 3.1 Closed Formulae -- 3.2 Open Formulae -- 3.3 Counterexamples -- 4 Background on Computability on Metric Spaces and for Closed Sets -- 4.1 Overtness and Compactness -- 4.2 Computable Operations on the Closed and Overt Sets -- 4.3 Compact Metric Structures -- 5 Topological Complexity -- 5.1 Topological Complexity of Dependence Atoms -- 5.2 Complexity of Formula Satisfaction -- 5.3 The Complexity of Model Checking -- 6 Translations Between Approximate Atoms -- 7 Outlook -- References -- Exact Satisfiabitity with Jokers -- 1 Introduction -- 2 The Underlying Logic and Joker Assignments -- 3 Encodings of Truth Values and Clauses -- 3.1 Encoding of Truth Values as Pairs of Booleans -- 3.2 Encoding of 2CNFs -- 3.3 Encoding of Truth Values as Triples of Booleans -- 3.4 Encoding of 3CNFs -- 4 The Decision Problem JX2SAT -- 5 The Optimisation Problem MinJX2SAT -- 6 The Decision Problem JX3SAT -- 7 An Exponential Algorithm to Solve MinJXSAT -- 8 Conclusion -- References |
| Title | Theory and Applications of Models of Computation |
| URI | http://digital.casalini.it/9783030148126 https://cir.nii.ac.jp/crid/1130000797067547520 https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=5924439 https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9783030148126 |
| Volume | 11436 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1bb9MwFLZYeWEvMC6ijE0Wwk9NqsSxc-GtqYKmCXgq1d4i51IRbeqmJZ20_YL9bM6xcysgIXixXNc-av0lPhefCyEfN8Cyy8IpbCmKyMbgR1thZsSNp_w8C0KZZ9rb4pt_9l2cX8iLoZiiji5psnn-8Me4kv9BFcYAV4yS_Qdke6IwAH3AF1pAGNpfhN_-Yw8u3o3rRKujG2h9WY6lberOW3zXOhNqxV_iDY3Jpz8E-hnPva_LGfDoSL_2VaMu73f1j53xor0xJtLFzW11NXM9G9VwM1tTHThgL50jud6vB5RybWVezWfreTfKEskizsIldhaCRQuWBCwSLHZwLkt8Fgcs9lgCQyEz5X864wTGQ-0ZJzrj5J7S6mk1LnTbo3I_23Uc89B1PBHKA3IQBKBOP10k51_Wvd2Mux4IPahg93RMfscR3UNyqOpLYBLAQJoaJQ5VKww0BQFiW1W_sV0tS6xekAnGlxyRJ-X2JXneVdWg7SH7ijwacCmAS8fg0usNNeBibwQu_UQRWmqgpQO0FkUkKO6YRQdYLapBtaiGlGpILT0LKI3gfE3Wn5PV8sxu62XYCrMsOraMQJh2ZcFdlfMCBPG8FJ5SaqO48rFyAqjHPHRUCV9imYPAUUEB8pvvixLE-sJ7Qybb6235llBYDyuKEJaGIvOdKMtkAWc3zyLUYOWUfBhtcXp3pe_263SEA_en5Ljb-RRePZODvU6lwLIBfEpOAIw0r7B18VoV5NUoQBVWBJI7U0I7mFJNvXVXTpN4Cf9UwO949xcSx-TZ8FS-J5PmdleegBDZZKftc_UT3MhdNA |
| linkProvider | Library Specific Holdings |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Theory+and+applications+of+models+of+computation+%3A+15th+Annual+Conference%2C+TAMC+2019%2C+Kitakyushu%2C+Japan%2C+April+13-16%2C+2019+%3A+proceedings&rft.au=TAMC&rft.au=Gopal%2C+T.+V.&rft.au=%E5%92%8C%E5%A4%9A%E7%94%B0%2C+%E6%B7%B3%E4%B8%89&rft.date=2019-01-01&rft.pub=Springer&rft.isbn=9783030148119&rft.externalDocID=BB28103485 |
| thumbnail_m | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97830301%2F9783030148126.jpg |