Computer Science

Authors and titles for April 2014

[11] arXiv:1404.0068 [pdf, other]

Title: A PDE approach to space-time fractional parabolic problems

Ricardo H. Nochetto, Enrique Otarola, Abner J. Salgado

Subjects: Numerical Analysis (math.NA)

[12] arXiv:1404.0073 [pdf, other]

Title: General dynamic recovery for compensating CSP

Abeer S. Al-Humaimeedy, Maribel Fernández

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 3-16

Subjects: Programming Languages (cs.PL)

[13] arXiv:1404.0075 [pdf, other]

Title: Ray tracing -- computing the incomputable?

Ed Blakey (University of Bristol)

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 32-40

Subjects: Computational Complexity (cs.CC)

[14] arXiv:1404.0076 [pdf, other]

Title: Towards a GPU-based implementation of interaction nets

Eugen Jiresch (Technische Universität Wien)

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 41-53

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)

[15] arXiv:1404.0077 [pdf, other]

Title: Effective dimension in some general metric spaces

Elvira Mayordomo

Subjects: Computational Complexity (cs.CC); Information Theory (cs.IT)

[16] arXiv:1404.0078 [pdf, other]

Title: Computing discrete logarithm by interval-valued paradigm

Benedek Nagy, Sándor Vályi

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 76-86

Subjects: Data Structures and Algorithms (cs.DS)

[17] arXiv:1404.0079 [pdf, other]

Title: Non-deterministic computation and the Jayne-Rogers Theorem

Arno Pauly, Matthew de Brecht

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 87-96

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[18] arXiv:1404.0080 [pdf, other]

Title: Algorithm and proof as \Omega-invariance and transfer: A new model of computation in nonstandard analysis

Sam Sanders

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 97-109

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[19] arXiv:1404.0081 [pdf, other]

Title: The probability of non-confluent systems

Alejandro Díaz-Caro, Gilles Dowek

Comments: In Proceedings DCM 2013, arXiv:1403.7685

Journal-ref: EPTCS 144, 2014, pp. 1-15

Subjects: Logic in Computer Science (cs.LO)

[20] arXiv:1404.0082 [pdf, other]

Title: Proof-graphs for Minimal Implicational Logic

Marcela Quispe-Cruz (PUC-Rio), Edward Hermann Haeusler (PUC-Rio), Lew Gordeev (Tubingen University, Ghent University, PUC-Rio)

Comments: In Proceedings DCM 2013, arXiv:1403.7685

Journal-ref: EPTCS 144, 2014, pp. 16-29

Subjects: Logic in Computer Science (cs.LO)

[21] arXiv:1404.0083 [pdf, other]

Title: Causal Dynamics of Discrete Surfaces

Pablo Arrighi, Simon Martiel, Zizhu Wang

Comments: In Proceedings DCM 2013, arXiv:1403.7685

Journal-ref: EPTCS 144, 2014, pp. 30-40

Subjects: Discrete Mathematics (cs.DM); Computational Geometry (cs.CG)

[22] arXiv:1404.0084 [pdf, other]

Title: A Calculus of Located Entities

Adriana Compagnoni (Stevens Institute of Technology), Paola Giannini (Università del Piemonte Orientale), Catherine Kim (Stevens Institute of Technology), Matthew Milideo (Stevens Institute of Technology), Vishakha Sharma (Stevens Institute of Technology)

Comments: In Proceedings DCM 2013, arXiv:1403.7685

Journal-ref: EPTCS 144, 2014, pp. 41-56

Subjects: Programming Languages (cs.PL); Computational Engineering, Finance, and Science (cs.CE)

[23] arXiv:1404.0085 [pdf, other]

Title: Towards Formal Interaction-Based Models of Grid Computing Infrastructures

Carlos Alberto Ramírez Restrepo, Jorge A. Pérez, Jesús Aranda, Juan Francisco Díaz-Frias

Comments: In Proceedings DCM 2013, arXiv:1403.7685

Journal-ref: EPTCS 144, 2014, pp. 57-72

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

[24] arXiv:1404.0086 [pdf, other]

Title: Using HMM in Strategic Games

Mario Benevides (Federal University of Rio de Janeiro), Isaque Lima (Federal University of Rio de Janeiro), Rafael Nader (Federal University of Rio de Janeiro), Pedro Rougemont (Federal University of Rio de Janeiro)

Comments: In Proceedings DCM 2013, arXiv:1403.7685

Journal-ref: EPTCS 144, 2014, pp. 73-84

Subjects: Computer Science and Game Theory (cs.GT); Information Retrieval (cs.IR); Machine Learning (cs.LG)

[25] arXiv:1404.0087 [pdf, other]

Title: MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable

Karin Quaas (University of Leipzig)

Comments: In Proceedings SynCoP 2014, arXiv:1403.7841

Journal-ref: EPTCS 145, 2014, pp. 5-17

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[26] arXiv:1404.0088 [pdf, other]

Title: Toward Parametric Timed Interfaces for Real-Time Components

Youcheng Sun, Giuseppe Lipari, Étienne André, Laurent Fribourg

Comments: In Proceedings SynCoP 2014, arXiv:1403.7841

Journal-ref: EPTCS 145, 2014, pp. 49-64

Subjects: Operating Systems (cs.OS)

[27] arXiv:1404.0089 [pdf, other]

Title: Worst-case Throughput Analysis for Parametric Rate and Parametric Actor Execution Time Scenario-Aware Dataflow Graphs

Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth

Comments: In Proceedings SynCoP 2014, arXiv:1403.7841

Journal-ref: EPTCS 145, 2014, pp. 65-79

Subjects: Programming Languages (cs.PL)

[28] arXiv:1404.0091 [pdf, other]

Title: Interestingness a Unifying Paradigm Bipolar Function Composition

Iaakov Exman

Comments: 9 pages, 2 figures, 1 table; in Proceedings of KDIR 2009, 1st International Conference on Knowledge Discovery and Information Retrieval, Madeira, Portugal, pp. 196-201

Subjects: Information Retrieval (cs.IR)

[29] arXiv:1404.0097 [pdf, other]

Title: Haplotype Assembly: An Information Theoretic View

Hongbo Si, Haris Vikalo, Sriram Vishwanath

Comments: 30 pages, 5 figures, 1 tabel, journal

Subjects: Information Theory (cs.IT)

[30] arXiv:1404.0099 [pdf, other]

Title: Venture: a higher-order probabilistic programming platform with programmable inference

Vikash Mansinghka, Daniel Selsam, Yura Perov

Comments: 78 pages

Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Computation (stat.CO); Machine Learning (stat.ML)

[31] arXiv:1404.0101 [pdf, other]

Title: Quantization for Uplink Transmissions in Two-tier Networks with Femtocells

Chan Dai Truyen Thai, Marion Berbineau

Comments: 16 pages, 8 figures

Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)

[32] arXiv:1404.0103 [pdf, other]

Title: Comparative Resilience Notions and Vertex Attack Tolerance of Scale-Free Networks

John Matta, Jeffrey Borwey, Gunes Ercal

Comments: keywords: scale-free, conductance, resilience, vertex attack tolerance

Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)

[33] arXiv:1404.0106 [pdf, other]

Title: Traffic Monitoring Using M2M Communication

Shiu Kumar, Eun Sik Ham, Seong Ro Lee

Comments: 2 pages, 2 figures, presented in local conference in Korea South

Journal-ref: General Fall Conference of Korea Information and Communications Society (KICS) 2012, Seoul, South Korea, 2012, pp. 233-234

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[34] arXiv:1404.0117 [pdf, other]

Title: Minimum Bisection is NP-hard on Unit Disk Graphs

Josep Diaz, George B. Mertzios

Comments: 17 pages, 6 figures

Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)

[35] arXiv:1404.0119 [pdf, other]

Title: A Computational Framework for Boundary Representation of Solid Sweeps

Bharat Adsul, Jinesh Machchhar, Milind Sohoni

Subjects: Computational Geometry (cs.CG); Graphics (cs.GR)