Computer Science

Authors and titles for September 2013

[101] arXiv:1309.0868 [pdf, other]

Title: The impact of high density receptor clusters on VEGF signaling

Ye Chen (West Virginia University), Christopher Short (West Virginia University), Ádám M. Halász (West Virginia University), Jeremy S. Edwards (University of New Mexico)

Comments: In Proceedings HSB 2013, arXiv:1308.5724

Journal-ref: EPTCS 125, 2013, pp. 37-52

Subjects: Systems and Control (eess.SY); Molecular Networks (q-bio.MN)

[102] arXiv:1309.0869 [pdf, other]

Title: Falsifying Oscillation Properties of Parametric Biological Models

Thao Dang (CNRS-VERIMAG), Tommaso Dreossi (VERIMAG, University of Udine)

Comments: In Proceedings HSB 2013, arXiv:1308.5724

Journal-ref: EPTCS 125, 2013, pp. 53-67

Subjects: Logic in Computer Science (cs.LO); Computational Engineering, Finance, and Science (cs.CE); Systems and Control (eess.SY)

[103] arXiv:1309.0870 [pdf, other]

Title: A hybrid mammalian cell cycle model

Vincent Noël (Université de Rennes 1), Sergey Vakulenko (Saint Petersburg State University of Technology and Design), Ovidiu Radulescu (Université de Montpellier 2)

Comments: In Proceedings HSB 2013, arXiv:1308.5724

Journal-ref: EPTCS 125, 2013, pp. 68-83

Subjects: Computational Engineering, Finance, and Science (cs.CE); Molecular Networks (q-bio.MN)

[104] arXiv:1309.0871 [pdf, other]

Title: Exploring the Dynamics of Mass Action Systems

Oded Maler (CNRS-VERIMAG, University of Grenoble), Ádám M. Halász (Department of Methematics, West Virginia University), Olivier Lebeltel (CNRS-VERIMAG, University of Grenoble), Ouri Maler (Grenoble)

Comments: In Proceedings HSB 2013, arXiv:1308.5724

Journal-ref: EPTCS 125, 2013, pp. 84-91

Subjects: Computational Engineering, Finance, and Science (cs.CE); Computers and Society (cs.CY)

[105] arXiv:1309.0872 [pdf, other]

Title: Producing a Set of Models for the Iron Homeostasis Network

Nicolas Mobilia, Alexandre Donzé, Jean Marc Moulis, Éric Fanchon

Comments: In Proceedings HSB 2013, arXiv:1308.5724

Journal-ref: EPTCS 125, 2013, pp. 92-98

Subjects: Computational Engineering, Finance, and Science (cs.CE); Logic in Computer Science (cs.LO); Molecular Networks (q-bio.MN)

[106] arXiv:1309.0873 [pdf, other]

Title: A Hybrid Model of a Genetic Regulatory Network in Mammalian Sclera

Qin Shu (Department of Aerospace and Mechanical Engineering, University of Arizona, USA), Diana Catalina Ardila (Department of Aerospace and Mechanical Engineering, University of Arizona, USA), Ricardo G. Sanfelice (Department of Aerospace and Mechanical Engineering, University of Arizona, USA), Jonathan P. Vande Geest (Department of Aerospace and Mechanical Engineering, University of Arizona, USA)

Comments: In Proceedings HSB 2013, arXiv:1308.5724

Journal-ref: EPTCS 125, 2013, pp. 99-105

Subjects: Systems and Control (eess.SY); Molecular Networks (q-bio.MN)

[107] arXiv:1309.0874 [pdf, other]

Title: Shortest Paths in Microseconds

Rachit Agarwal, Matthew Caesar, P. Brighten Godfrey, Ben Y. Zhao

Comments: Extended version of WOSN'12 paper: new techniques (reduced memory, faster computations), distributed (MapReduce) algorithm, multiple paths between a source-destination pair

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)

[108] arXiv:1309.0890 [pdf, other]

Title: Non-monotonic Pre-fixed Points and Learning

Stefano Berardi (Università di Torino), Ugo de' Liguoro (Università di Torino)

Comments: In Proceedings FICS 2013, arXiv:1308.5896

Journal-ref: EPTCS 126, 2013, pp. 1-10

Subjects: Logic in Computer Science (cs.LO)

[109] arXiv:1309.0891 [pdf, other]

Title: From Branching to Linear Time, Coalgebraically

Corina Cirstea (University of Southampton)

Comments: In Proceedings FICS 2013, arXiv:1308.5896

Journal-ref: EPTCS 126, 2013, pp. 11-27

Subjects: Logic in Computer Science (cs.LO)

[110] arXiv:1309.0892 [pdf, other]

Title: A Coinductive Approach to Proof Search

José Espírito Santo (Centro de Matemática, Universidade do Minho, Braga, Portugal), Ralph Matthes (Institut de Recherche en Informatique de Toulouse (IRIT), C.N.R.S. and University of Toulouse, France), Luís Pinto (Centro de Matemática, Universidade do Minho, Braga, Portugal)

Comments: In Proceedings FICS 2013, arXiv:1308.5896

Journal-ref: EPTCS 126, 2013, pp. 28-43

Subjects: Logic in Computer Science (cs.LO)

[111] arXiv:1309.0893 [pdf, other]

Title: Infinitary Axiomatization of the Equational Theory of Context-Free Languages

Niels Bjørn Bugge Grathwohl (University of Copenhagen), Fritz Henglein (University of Copenhagen), Dexter Kozen (Cornell University)

Comments: In Proceedings FICS 2013, arXiv:1308.5896

Journal-ref: EPTCS 126, 2013, pp. 44-55

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

[112] arXiv:1309.0894 [pdf, other]

Title: The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices

Eleftherios Matsikoudis (University of California, Berkeley), Edward A. Lee (University of California, Berkeley)

Comments: In Proceedings FICS 2013, arXiv:1308.5896

Journal-ref: EPTCS 126, 2013, pp. 56-71

Subjects: Logic in Computer Science (cs.LO)

[113] arXiv:1309.0895 [pdf, other]

Title: Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion

Stefan Milius (FAU Erlangen-Nürnberg), Tadeusz Litak (FAU Erlangen-Nürnberg)

Comments: In Proceedings FICS 2013, arXiv:1308.5896

Journal-ref: EPTCS 126, 2013, pp. 72-86

Subjects: Logic in Computer Science (cs.LO)

[114] arXiv:1309.0896 [pdf, other]

Title: Łukasiewicz mu-Calculus

Matteo Mio (CWI), Alex Simpson (University of Edinburgh)

Comments: In Proceedings FICS 2013, arXiv:1308.5896

Journal-ref: EPTCS 126, 2013, pp. 87-104

Subjects: Logic in Computer Science (cs.LO); Data Structures and Algorithms (cs.DS)

[115] arXiv:1309.0897 [pdf, other]

Title: Dynamics of Open-Source Software Developer's Commit Behavior: An Empirical Investigation of Subversion

Yutao Ma, Yang Wu, Youwei Xu

Comments: 8 pages, 3 figures, 6 tables

Subjects: Software Engineering (cs.SE)

[116] arXiv:1309.0898 [pdf, other]

Title: Two-Hop Interference Channels: Impact of Linear Schemes

Ibrahim Issa, Silas L. Fong, A. Salman Avestimehr

Comments: Submitted to IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT)

[117] arXiv:1309.0924 [pdf, other]

Title: Proceedings First Workshop on Control Operators and their Semantics

Ugo de'Liguoro (Turin University), Alexis Saurin (CNRS, PPS UMR 7126, Univ Paris Diderot)

Journal-ref: EPTCS 127, 2013

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[118] arXiv:1309.0958 [pdf, other]

Title: Conscript Your Friends into Larger Anonymity Sets with JavaScript

Henry Corrigan-Gibbs, Bryan Ford

Comments: An abbreviated version of this paper will appear at the WPES 2013 workshop

Subjects: Cryptography and Security (cs.CR)

[119] arXiv:1309.0971 [pdf, other]

Title: Detecting induced subgraphs

Benjamin Lévêque, David Y. Lin, Frédéric Maffray, Nicolas Trotignon

Comments: arXiv admin note: text overlap with arXiv:1308.6678

Journal-ref: B. L\'ev\^eque, D. Lin, F. Maffray, and N. Trotignon. Detecting induced subgraphs. Discrete Applied Mathematics, 157:3540-3551, 2009

Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[120] arXiv:1309.0978 [pdf, other]

Title: The four-in-a-tree problem in triangle-free graphs

Nicolas Derhy, Christophe Picouleau, Nicolas Trotignon

Journal-ref: N. Derhy, C. Picouleau and N. Trotignon. The four-in-a-tree problem for triangle-free graphs. Graphs and Combinatorics, 25:489-502, 2009

Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[121] arXiv:1309.0999 [pdf, other]

Title: Minutiae Based Thermal Face Recognition using Blood Perfusion Data

Ayan Seal, Mita Nasipuri, Debotosh Bhattacharjee, Dipak Kumar Basu

Comments: 4 pages, Image Information Processing (ICIIP)

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

[122] arXiv:1309.1000 [pdf, other]

Title: Automated Thermal Face recognition based on Minutiae Extraction

Ayan Seal, Suranjan Ganguly, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kr.Basu

Comments: 29 pages, Int. J. Computational Intelligence Studies

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

[123] arXiv:1309.1009 [pdf, other]

Title: A Comparative Study of Human thermal face recognition based on Haar wavelet transform (HWT) and Local Binary Pattern (LBP)

Ayan Seal, Suranjan Ganguly, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kumar Basu

Comments: 17 pages Computational Intelligence and Neuroscience 2012

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

[124] arXiv:1309.1014 [pdf, other]

Title: Advances in the Logical Representation of Lexical Semantics

Bruno Mery (LaBRI), Christian Retoré (LaBRI)

Journal-ref: NLCS'13 - Natural Language and Computer Science - 2013 (2013)

Subjects: Computation and Language (cs.CL)

[125] arXiv:1309.1026 [pdf, other]

Title: Parallel Decoders of Polar Codes

Bin Li, Hui Shen, David Tse

Subjects: Information Theory (cs.IT)

[126] arXiv:1309.1029 [pdf, other]

Title: Sensor Setups for State and Wind Estimation for Airborne Wind Energy Converters

Maximilian Ranneberg

Subjects: Systems and Control (eess.SY); Robotics (cs.RO)

[127] arXiv:1309.1043 [pdf, other]

Title: Proceedings Machines, Computations and Universality 2013

Turlough Neary (University of Zürich and ETH Zürich), Matthew Cook (University of Zürich and ETH Zürich)

Journal-ref: EPTCS 128, 2013

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC)

[128] arXiv:1309.1049 [pdf, other]

Title: xDGP: A Dynamic Graph Processing System with Adaptive Partitioning

Luis Vaquero, Felix Cuadrado, Dionysios Logothetis, Claudio Martella

Comments: 13 pages

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[129] arXiv:1309.1051 [pdf, other]

Title: Efficient Enumeration of Chordless Cycles

Elisângela Silva Dias, Diane Castonguay, Humberto Longo, Walid Abdala Rfaei Jradi

Comments: 15 pages

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM)

[130] arXiv:1309.1066 [pdf, other]

Title: Statistiques et visibilité des bibliothèques numériques : quelles stratégies de diffusion ?

Mathieu Andro (DV/IST), Gaëtan Tröger (ENPC)

Comments: 7 p, in French

Subjects: Digital Libraries (cs.DL)

[131] arXiv:1309.1080 [pdf, other]

Title: Boosting in Location Space

Damian Eads, David Helmbold, Ed Rosten

Comments: 9 pages, 3 figures

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

[132] arXiv:1309.1089 [pdf, other]

Title: Randomness-efficient Curve Samplers

Zeyu Guo

Comments: Random 2013

Subjects: Computational Complexity (cs.CC)

[133] arXiv:1309.1101 [pdf, other]

Title: Simplifying the Development, Use and Sustainability of HPC Software

Jeremy Cohen, Chris Cantwell, Neil Chue Hong, David Moxey, Malcolm Illingworth, Andrew Turner, John Darlington, Spencer Sherwin

Comments: 4 page position paper, submission to WSSSPE13 workshop

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)

[134] arXiv:1309.1125 [pdf, other]

Title: Learning to answer questions

Ana Cristina Mendes, Luísa Coheur, Sérgio Curto

Comments: 5 pages

Subjects: Computation and Language (cs.CL)

[135] arXiv:1309.1128 [pdf, other]

Title: High-volume fraction simulations of two-dimensional vesicle suspensions

Bryan Quaife, George Biros

Subjects: Numerical Analysis (math.NA)

[136] arXiv:1309.1129 [pdf, other]

Title: Analysing Quality of English-Hindi Machine Translation Engine Outputs Using Bayesian Classification

Rashmi Gupta, Nisheeth Joshi, Iti Mathur

Journal-ref: International Journal of Artificial Intelligence & Applications (IJAIA), Vol. 4, No. 4, July 2013

Subjects: Computation and Language (cs.CL)

[137] arXiv:1309.1151 [pdf, other]

Title: Non-Malleable Coding Against Bit-wise and Split-State Tampering

Mahdi Cheraghchi, Venkatesan Guruswami

Comments: Coding theory, Cryptography, Error Detection, Information Theory, Tamper-resilient Storage, Randomness Extractors

Subjects: Information Theory (cs.IT); Computational Complexity (cs.CC); Cryptography and Security (cs.CR)

[138] arXiv:1309.1155 [pdf, other]

Title: Minutiae Based Thermal Human Face Recognition using Label Connected Component Algorithm

Ayan Seal, Suranjan Ganguly, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kumar Basu

Comments: 7 pages, Conference. arXiv admin note: substantial text overlap with arXiv:1309.1000, arXiv:1309.0999, arXiv:1309.1009

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

[139] arXiv:1309.1156 [pdf, other]

Title: Thermal Human face recognition based on Haar wavelet transform and series matching technique

Ayan Seal, Suranjan Ganguly, Debotosh Bhattacharjee, Mita Nasipuri, Dipak kr. Basu

Comments: 12 pages. arXiv admin note: substantial text overlap with arXiv:1309.1009

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

[140] arXiv:1309.1184 [pdf, other]

Title: Planning and Optimization of Wireless LANs through Field Measurements

Puneet Kumar Mongia, B. J. Singh

Comments: 6 pages

Subjects: Networking and Internet Architecture (cs.NI)

[141] arXiv:1309.1199 [pdf, other]

Title: Experiences with Automated Build and Test for Geodynamics Simulation Codes

Eric M. Heien, Todd L. Miller, Becky Gietzel, Louise H. Kellogg

Subjects: Computational Engineering, Finance, and Science (cs.CE); Mathematical Software (cs.MS)

[142] arXiv:1309.1200 [pdf, other]

Title: Cooperative Access in Cognitive Radio Networks: Stable Throughput and Delay Tradeoffs

Mahmoud Ashour, Amr A. El-Sherif, Tamer ElBatt, Amr Mohamed

Comments: accepted for publication in IEEE 12th Intl. Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt), 2014

Subjects: Networking and Internet Architecture (cs.NI)

[143] arXiv:1309.1204 [pdf, other]

Title: Achieving High Performance with Unified Residual Evaluation

Matthew G. Knepley, Jed Brown, Karl Rupp, Barry F. Smith

Comments: 4 pages, 1 figure

Subjects: Mathematical Software (cs.MS); Computational Engineering, Finance, and Science (cs.CE)

[144] arXiv:1309.1208 [pdf, other]

Title: Resource Allocation in a Network-Based Cloud Computing Environment: Design Challenges

Mohamed Abu Sharkh, Manar Jammal, Abdallah Shami, Abdelkader Ouda

Comments: To appear in IEEE Communications Magazine, November 2013

Subjects: Networking and Internet Architecture (cs.NI); Distributed, Parallel, and Cluster Computing (cs.DC)

[145] arXiv:1309.1218 [pdf, other]

Title: Optimal Ternary Cyclic Codes with Minimum Distance Four and Five

Nian Li, Chunlei Li, Tor Helleseth, Cunsheng Ding, Xiaohu Tang

Subjects: Information Theory (cs.IT)

[146] arXiv:1309.1220 [pdf, other]

Title: A Mean Field Game Approach to Scheduling in Cellular Systems

Mayank Manjrekar, Vinod Ramaswamy, Vamseedhar Reddyvari Raja, Srinivas Shakkottai

Subjects: Computer Science and Game Theory (cs.GT); Networking and Internet Architecture (cs.NI)

[147] arXiv:1309.1226 [pdf, other]

Title: Graded Causation and Defaults

Joseph Y. Halpern, Christopher Hitchcock

Comments: To appear, British Journal for the Philosophy of Science

Subjects: Artificial Intelligence (cs.AI)

[148] arXiv:1309.1227 [pdf, other]

Title: Compact Representations of Extended Causal Models

Joseph Y. Halpern, Christopher Hitchcock

Journal-ref: Cognitive Science 37:6, 2013, pp. 986-1010

Subjects: Artificial Intelligence (cs.AI)

[149] arXiv:1309.1228 [pdf, other]

Title: Weighted regret-based likelihood: a new approach to describing uncertainty

Joseph Y. Halpern

Comments: Appeared in 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU)}, 2013, pp. 266--277

Subjects: Artificial Intelligence (cs.AI)

[150] arXiv:1309.1230 [pdf, other]

Title: A GPU Implementation for Two-Dimensional Shallow Water Modeling

Kerry A. Seitz Jr. (1), Alex Kennedy (1), Owen Ransom (2), Bassam A. Younis (2), John D. Owens (3) ((1) Department of Computer Science, University of California, Davis (2) Department of Civil and Environmental Engineering, University of California, Davis, (3) Department of Electrical and Computer Engineering, University of California, Davis)

Comments: 9 pages, 1 figure

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)