Computer Science

Authors and titles for December 2010

[101] arXiv:1012.1295 [pdf, other]

Title: On the Spectral Efficiency of Links with Multi-antenna Receivers in Non-homogenous Wireless Networks

Siddhartan Govindasamy, Daniel W. Bliss

Subjects: Information Theory (cs.IT)

[102] arXiv:1012.1329 [pdf, other]

Title: 1D Effectively Closed Subshifts and 2D Tilings

Durand Bruno (LIF), Alexander Shen (LIF), Andrei Romashchenko (LIF)

Comments: Journées Automates Cellulaires, Turku : Finland (2010)

Subjects: Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL)

[103] arXiv:1012.1330 [pdf, other]

Title: Slopes of Tilings

Emmanuel Jeandel (LIF), Pascal Vanier (LIF)

Comments: Journées Automates Cellulaires 2010, Turku : Finland (2010)

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

[104] arXiv:1012.1332 [pdf, other]

Title: Time-Symmetric Cellular Automata

Andrés Moreira, Anahi Gajardo

Comments: Journées Automates Cellulaires 2010, Turku : Finland (2010)

Subjects: Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Cellular Automata and Lattice Gases (nlin.CG)

[105] arXiv:1012.1333 [pdf, other]

Title: Construction of $μ$-Limit Sets

Laurent Boyer (LAMA), Martin Delacourt (LIF), Mathieu Sablik (LATP)

Comments: Journées Automates Cellulaires 2010, Turku : Finland (2010)

Subjects: Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Cellular Automata and Lattice Gases (nlin.CG)

[106] arXiv:1012.1334 [pdf, other]

Title: The Block Neighborhood

Pablo Arrighi (LIG), Vincent Fabrice Nesme

Comments: Journées Automates Cellulaires 2010, Turku : Finland (2010)

Subjects: Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Cellular Automata and Lattice Gases (nlin.CG); Quantum Physics (quant-ph)

[107] arXiv:1012.1336 [pdf, other]

Title: Unary Subset-Sum is in Logspace

Daniel M. Kane

Subjects: Computational Complexity (cs.CC)

[108] arXiv:1012.1338 [pdf, other]

Title: On Tuning the Bad-Character Rule: the Worst-Character Rule

Domenico Cantone, Simone Faro

Comments: 10 pages

Subjects: Data Structures and Algorithms (cs.DS)

[109] arXiv:1012.1344 [pdf, other]

Title: On Balanced Separators, Treewidth, and Cycle Rank

Hermann Gruber

Comments: Version 2: revised version, 8 pages

Journal-ref: Journal of Combinatorics, 3(4):669-681, 2012

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

[110] arXiv:1012.1367 [pdf, other]

Title: Optimal Distributed Online Prediction using Mini-Batches

Ofer Dekel, Ran Gilad-Bachrach, Ohad Shamir, Lin Xiao

Comments: Final version of paper to appear in Journal of Machine Learning Research (JMLR)

Subjects: Machine Learning (cs.LG); Distributed, Parallel, and Cluster Computing (cs.DC); Optimization and Control (math.OC)

[111] arXiv:1012.1370 [pdf, other]

Title: Robust Distributed Online Prediction

Ofer Dekel, Ran Gilad-Bachrach, Ohad Shamir, Lin Xiao

Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC)

[112] arXiv:1012.1403 [pdf, other]

Title: Negative frequency communication

Fanping Du

Comments: 21 pages, 11 figures

Subjects: Information Theory (cs.IT); Popular Physics (physics.pop-ph)

[113] arXiv:1012.1425 [pdf, other]

Title: Improved linear programming decoding of LDPC codes and bounds on the minimum and fractional distance

David Burshtein, Idan Goldenberg

Comments: 17 pages, 8 figures, Submitted to IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT)

[114] arXiv:1012.1501 [pdf, other]

Title: Shaping Level Sets with Submodular Functions

Francis Bach (LIENS, INRIA Paris - Rocquencourt)

Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)

[115] arXiv:1012.1502 [pdf, other]

Title: An Approximation Algorithm for the Euclidean Bottleneck Steiner Tree Problem

A. Karim Abu-Affash

Subjects: Computational Geometry (cs.CG)

[116] arXiv:1012.1529 [pdf, other]

Title: On the approximability and exact algorithms for vector domination and related problems in graphs

Ferdinando Cicalese, Martin Milanic, Ugo Vaccaro

Comments: In the version published in DAM, weaker lower bounds for vector domination and total vector domination were stated. Being these problems generalization of domination and total domination, the lower bounds of 0.2267 ln n and (1-epsilon) ln n clearly hold for both problems, unless P = NP or NP \subseteq DTIME(n^{O(log log n)}), respectively. The claims are corrected in the present version

Journal-ref: Discrete Applied Mathematics 2012 (online)

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

[117] arXiv:1012.1531 [pdf, other]

Title: Groups defined by automata

Laurent Bartholdi, Pedro V. Silva

Comments: Chapter 24 in the handbook "AutoMathA". With index

Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Group Theory (math.GR)

[118] arXiv:1012.1532 [pdf, other]

Title: Rational subsets of groups

Laurent Bartholdi, Pedro V. Silva

Comments: Chapter 23 of the handbook "AutoMathA". With index

Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Group Theory (math.GR)

[119] arXiv:1012.1539 [pdf, other]

Title: A General Framework for Transmission with Transceiver Distortion and Some Applications

Wenyi Zhang

Comments: 32 pages (including 4 figures, 5 tables, and auxiliary materials); submitted to IEEE Transactions on Communications

Subjects: Information Theory (cs.IT)

[120] arXiv:1012.1547 [pdf, other]

Title: Considerate Equilibrium

Martin Hoefer, Michal Penn, Maria Polukarov, Alexander Skopalik, Berhold Vöcking

Comments: 12 pages, 1 figure

Subjects: Computer Science and Game Theory (cs.GT); Data Structures and Algorithms (cs.DS); Multiagent Systems (cs.MA)

[121] arXiv:1012.1552 [pdf, other]

Title: Bridging the Gap between Reinforcement Learning and Knowledge Representation: A Logical Off- and On-Policy Framework

Emad Saad

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

[122] arXiv:1012.1565 [pdf, other]

Title: A Survey on Data Warehouse Evolution

wided oueslati, jalel akaichi

Comments: 14 pages

Journal-ref: International Journal of Database Management Systems ( IJDMS ), Vol.2, No.4, November 2010 pages 11-24

Subjects: Databases (cs.DB)

[123] arXiv:1012.1577 [pdf, other]

Title: Sparser Johnson-Lindenstrauss Transforms

Daniel M. Kane, Jelani Nelson

Comments: v6: journal version, minor changes, added Remark 23; v5: modified abstract, fixed typos, added open problem section; v4: simplified section 4 by giving 1 analysis that covers both constructions; v3: proof of Theorem 25 in v2 was written incorrectly, now fixed; v2: Added another construction achieving same upper bound, and added proof of near-tight lower bound for DKS scheme

Subjects: Data Structures and Algorithms (cs.DS); Computational Geometry (cs.CG); Discrete Mathematics (cs.DM); Information Theory (cs.IT); Probability (math.PR)

[124] arXiv:1012.1609 [pdf, other]

Title: Building conceptual spaces for exploring and linking biomedical resources

R. Berlanga, E. Jimenez-Ruiz, V. Nebot

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Information Retrieval (cs.IR)

[125] arXiv:1012.1614 [pdf, other]

Title: $k$-Independent Gaussians Fool Polynomial Threshold Functions

Daniel M. Kane

Subjects: Computational Complexity (cs.CC); Probability (math.PR)

[126] arXiv:1012.1615 [pdf, other]

Title: Argudas: arguing with gene expression information

Kenneth McLeod, Gus Ferguson, Albert Burger

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Computational Engineering, Finance, and Science (cs.CE); Artificial Intelligence (cs.AI)

[127] arXiv:1012.1617 [pdf, other]

Title: User Centered and Ontology Based Information Retrieval System for Life Sciences

Sylvie Ranwez, Vincent Ranwez, Mohameth-François Sy, Jacky Montmain, Michel Crampes

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Information Retrieval (cs.IR)

[128] arXiv:1012.1619 [pdf, other]

Title: Are SNOMED CT Browsers Ready for Institutions? Introducing MySNOM

Pablo Lopez-Garcia

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Artificial Intelligence (cs.AI)

[129] arXiv:1012.1620 [pdf, other]

Title: Linked Environment Data for the Life Sciences

Maria Rüther, Thomas Bandholtz, Antoine Logean

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Other Computer Science (cs.OH); Other Quantitative Biology (q-bio.OT)

[130] arXiv:1012.1621 [pdf, other]

Title: YeastMed: an XML-Based System for Biological Data Integration of Yeast

Abdelaali Briache, Kamar Marrakchi, Amine Kerzazi, Ismael Navas-Delgado, Jose F Aldana Montes, Badr D. Rossi Hassani, Khalid Lairini

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Databases (cs.DB)

[131] arXiv:1012.1623 [pdf, other]

Title: FreePub: Collecting and Organizing Scientific Material Using Mindmaps

Theodore Dalamagas, Tryfon Farmakakis, Manolis Maragkakis, Artemis Hatzigeorgiou

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Human-Computer Interaction (cs.HC)

[132] arXiv:1012.1632 [pdf, other]

Title: Benchmarking triple stores with biological data

Vladimir Mironov, Nirmala Seethappan, Ward Blonde, Erick Antezana, Bjorn Lindi, Martin Kuiper

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Databases (cs.DB)

[133] arXiv:1012.1635 [pdf, other]

Title: A study on the relation between linguistics-oriented and domain-specific semantics

He Tan

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Artificial Intelligence (cs.AI)

[134] arXiv:1012.1636 [pdf, other]

Title: Fundamentals of Semantic Web Technologies in Medical Environments: a case in breast cancer risk estimation

Iker Huerga, Ainhoa Serna, Jon Kepa Gerrikagoitia

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Other Computer Science (cs.OH)

[135] arXiv:1012.1638 [pdf, other]

Title: Ontology and Knowledge Management System on Epilepsy and Epileptic Seizures

Pedro Almeida, Paulo Gomes, Francisco Sales, Ana Nogueira, António Dourado

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Digital Libraries (cs.DL)

[136] arXiv:1012.1640 [pdf, other]

Title: Constraint-Guided Workflow Composition Based on the EDAM Ontology

Anna-Lena Lamprecht, Stefan Naujokat, Bernhard Steffen, Tiziana Margaria

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Software Engineering (cs.SE)

[137] arXiv:1012.1641 [pdf, other]

Title: A Generalized Streaming Model for Concurrent Computing

Yibing Wang

Comments: 12 pages, 7 figures. unpublished draft for a high-level discussion of an abstract, parallel computing model

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

[138] arXiv:1012.1643 [pdf, other]

Title: Process Makna - A Semantic Wiki for Scientific Workflows

Adrian Paschke, Zhili Zhao

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Artificial Intelligence (cs.AI)

[139] arXiv:1012.1645 [pdf, other]

Title: ChemCloud: Chemical e-Science Information Cloud

Alexandru Todor, Adrian Paschke, Stephan Heineke

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Databases (cs.DB)

[140] arXiv:1012.1646 [pdf, other]

Title: Use of semantic technologies for the development of a dynamic trajectories generator in a Semantic Chemistry eLearning platform

Richard Huber, Kirsten Hantelmann, Alexandru Todor, Sebastian Krebs, Ralf Heese, Adrian Paschke

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Artificial Intelligence (cs.AI)

[141] arXiv:1012.1648 [pdf, other]

Title: Analysis Of Cancer Omics Data In A Semantic Web Framework

Matt Holford, James McCusker, Kei Cheung, Michael Krauthammer

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE)

[142] arXiv:1012.1650 [pdf, other]

Title: The CALBC RDF Triple Store: retrieval over large literature content

Samuel Croset, Christoph Grabmüller, Chen Li, Silvestras Kavaliauskas, Dietrich Rebholz-Schuhmann

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Digital Libraries (cs.DL); Databases (cs.DB)

[143] arXiv:1012.1651 [pdf, other]

Title: The Rule Responder eScience Infrastructure

Adrian Paschke, Zhili Zhao

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Multiagent Systems (cs.MA)

[144] arXiv:1012.1652 [pdf, other]

Title: Import of ENZYME data into the ConceptWiki and its representation as RDF

Paul Boekschoten, Kees Burger, Barend Mons, Christine Chichester

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Digital Libraries (cs.DL)

[145] arXiv:1012.1654 [pdf, other]

Title: Using Semantic Wikis for Structured Argument in Medical Domain

Adrian Groza, Radu Balaj

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Artificial Intelligence (cs.AI)

[146] arXiv:1012.1658 [pdf, other]

Title: Creating a new Ontology: a Modular Approach

Julia Dmitrieva, Fons J. Verbeek

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Artificial Intelligence (cs.AI)

[147] arXiv:1012.1659 [pdf, other]

Title: First steps in the logic-based assessment of post-composed phenotypic descriptions

Ernesto Jimenez-Ruiz, Bernardo Cuenca Grau, Rafael Berlanga, Dietrich Rebholz-Schuhmann

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[148] arXiv:1012.1660 [pdf, other]

Title: Provenance and evidence in UniProtKB

Jerven Bolleman, Alain Gateau, Sebastien Gehant, Nicole Redaschi

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Databases (cs.DB)

[149] arXiv:1012.1661 [pdf, other]

Title: Analysis and visualisation of RDF resources in Ondex

Catherine Canevet, Artem Lysenko, Andrea Splendiani, Matthew Pocock, Christopher Rawlings

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE)

[150] arXiv:1012.1663 [pdf, other]

Title: A Concept Annotation System for Clinical Records

Ning Kang, Rogier Barendse, Zubair Afzal, Bharat Singh, Martijn J. Schuemie, Erik M. van Mulligen, Jan A. Kors

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Information Retrieval (cs.IR)

[151] arXiv:1012.1664 [pdf, other]

Title: semanticSBML 2.0 - A Collection of Online Services for SBML Models

Falko Krause, Marvin Schulz, Timo Lubitz, Wolfram Liebermeister

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Other Computer Science (cs.OH)

[152] arXiv:1012.1665 [pdf, other]

Title: An In-depth Analysis of Spam and Spammers

Dhinaharan Nagamalai, Beatrice Cynthia Dhinakaran, Jae Kwang Lee

Comments: 14 pages, 8 Figures,5 tables, IJSA Vol 2, No 2, 2008

Journal-ref: International Journal of Security and its Applications,Vol. 2, No. 2, April, 2008

Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI)

[153] arXiv:1012.1666 [pdf, other]

Title: SPARQL Assist Language-Neutral Query Composer

Luke McCarthy, Ben Vandervalk, Mark Wilkinson

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Information Retrieval (cs.IR)

[154] arXiv:1012.1667 [pdf, other]

Title: A semantic approach for the requirement-driven discovery of web services in the Life Sciences

Maria Perez, Rafael Berlanga, Ismael Sanz

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Artificial Intelligence (cs.AI)

[155] arXiv:1012.1671 [pdf, other]

Title: Localizing Audiences' Gaze using a Multi-touch Electronic Whiteboard with sPieMenu

Kazutaka Kurihara, Naoshi Nagano, Yuta Watanabe, Yuichi Fujimura, Akinori Minaduki, Hidehiko Hayashi, Yohei Tsuchiya

Subjects: Human-Computer Interaction (cs.HC)

[156] arXiv:1012.1672 [pdf, other]

Title: Designing Incentive Schemes Based on Intervention: The Case of Imperfect Monitoring

Jaeok Park, Mihaela van der Schaar

Comments: 8 pages, 1 figure

Subjects: Computer Science and Game Theory (cs.GT); Systems and Control (eess.SY)

[157] arXiv:1012.1673 [pdf, other]

Title: Designing Incentive Schemes Based on Intervention: The Case of Perfect Monitoring

Jaeok Park, Mihaela van der Schaar

Comments: 8 pages, 2 figures

Subjects: Computer Science and Game Theory (cs.GT)

[158] arXiv:1012.1689 [pdf, other]

Title: A Distributed Cluster Scheme For Bandwidth Management In Multi-hop MANETs

Binod Kumar Pattanayak, Alok Kumar Jagadev, Manoj Kumar Mishra, Manoj Ranjan Nayak,

Comments: 7 pages, 5 figures

Journal-ref: IJCSNS International Journal of Computer Science and Network Security, VOL.9 No.10, October 2009

Subjects: Networking and Internet Architecture (cs.NI)

[159] arXiv:1012.1691 [pdf, other]

Title: Dual Raviart-Thomas mixed finite elements

François Dubois (LM-Orsay)

Subjects: Numerical Analysis (math.NA)

[160] arXiv:1012.1708 [pdf, other]

Title: Topology optimization in Bernoulli free boundary problems

J. I. Toivanen, R. A. E. Makinen, J. Haslinger

Journal-ref: Journal of Engineering Mathematics 80(1), pp. 173-188, 2013

Subjects: Numerical Analysis (math.NA)

[161] arXiv:1012.1734 [pdf, other]

Title: Petrov-Galerkin Finite Volumes

François Dubois (LM-Orsay)

Journal-ref: Third ``FVCA'' Conference, Porquerolles (France), Porquerolles : France (0000)

Subjects: Numerical Analysis (math.NA)

[162] arXiv:1012.1743 [pdf, other]

Title: Scientific Collaborations: principles of WikiBridge Design

Eric Leclercq, Marinette Savonnet

Comments: in Adrian Paschke, Albert Burger begin_of_the_skype_highlighting end_of_the_skype_highlighting, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Artificial Intelligence (cs.AI)

[163] arXiv:1012.1745 [pdf, other]

Title: Populous: A tool for populating ontology templates

Simon Jupp, Matthew Horridge, Luigi Iannone, Julie Klein, Stuart Owen, Joost Schanstra, Robert Stevens, Katy Wolstencroft

Comments: in Adrian Paschke, Albert Burger begin_of_the_skype_highlighting end_of_the_skype_highlighting, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Artificial Intelligence (cs.AI)

[164] arXiv:1012.1749 [pdf, other]

Title: Treemaps with Bounded Aspect Ratio

Mark de Berg, Bettina Speckmann, Vincent van der Weele

Subjects: Computational Geometry (cs.CG)

[165] arXiv:1012.1768 [pdf, other]

Title: Two remarks on rectangular mixed finite elements for elasticity

Gerard Awanou

Subjects: Numerical Analysis (math.NA)

[166] arXiv:1012.1769 [pdf, other]

Title: Compactly generating all satisfying truth assignments of a Horn formula

Marcel Wild

Comments: Considerably improves upon the readibility of the previous version

Journal-ref: Journal on Satisfiability, Boolean Modeling and Computation 8 (2012) 63-82

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

[167] arXiv:1012.1775 [pdf, other]

Title: Spline element method for the Monge-Ampere equation

Gerard Awanou

Subjects: Numerical Analysis (math.NA)

[168] arXiv:1012.1776 [pdf, other]

Title: Examples of the Generalized Quantum Permanent Compromise Attack to the Blum-Micali Construction

Elloá B. Guedes, Francisco Marcos de Assis, Bernardo Lula Jr

Comments: 8 pages, 1 figure, 2 attacks

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

[169] arXiv:1012.1799 [pdf, other]

Title: Towards Fully Optimized BICM Transceivers

Md. Jahangir Hossain, Alex Alvarado, Leszek Szczecinski

Comments: Submitted to the IEEE Transactions on Communications

Journal-ref: IEEE Trans. Commun., vol. 59, no. 11, pp. 3027-3039, 2011

Subjects: Information Theory (cs.IT)

[170] arXiv:1012.1802 [pdf, other]

Title: Equality Saturation: A New Approach to Optimization

Ross Tate (University of California, San Diego), Michael Stepp (University of California, San Diego), Zachary Tatlock (University of California, San Diego), Sorin Lerner (University of California, San Diego)

Comments: 80 pages, 39 figures

Journal-ref: Logical Methods in Computer Science, Volume 7, Issue 1 (March 28, 2011) lmcs:1016

Subjects: Programming Languages (cs.PL)

[171] arXiv:1012.1824 [pdf, other]

Title: Single-Producer/Single-Consumer Queues on Shared Cache Multi-Core Systems

Massimo Torquati

Subjects: Data Structures and Algorithms (cs.DS); Distributed, Parallel, and Cluster Computing (cs.DC)

[172] arXiv:1012.1850 [pdf, other]

Title: Capacitated Vehicle Routing with Non-Uniform Speeds

Inge Li Gortz, Marco Molinaro, Viswanath Nagarajan, R. Ravi

Subjects: Data Structures and Algorithms (cs.DS)

[173] arXiv:1012.1882 [pdf, other]

Title: Evaluating Modelling Approaches for Medical Image Annotations

Jasmin Opitz, Bijan Parsia, Ulrike Sattler

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Multimedia (cs.MM)

[174] arXiv:1012.1886 [pdf, other]

Title: Sublinear Time, Measurement-Optimal, Sparse Recovery For All

Ely Porat, Martin J. Strauss

Comments: Corrected argument with minor change to results

Subjects: Data Structures and Algorithms (cs.DS)

[175] arXiv:1012.1895 [pdf, other]

Title: Coding for High-Density Recording on a 1-D Granular Magnetic Medium

Arya Mazumdar, Alexander Barg, Navin Kashyap

Comments: Submitted to IEEE Transactions on Information Theory

Journal-ref: IEEE Transactions on Information Theory, vol. 57, issue 11, pp. 7403-7417, 2011

Subjects: Information Theory (cs.IT)

[176] arXiv:1012.1898 [pdf, other]

Title: Ontology Usage at ZFIN

Doug Howe, Christian Pich

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Databases (cs.DB)

[177] arXiv:1012.1899 [pdf, other]

Title: Querying Biomedical Ontologies in Natural Language using Answer Set

Halit Erdogan, Umut Oztok, Yelda Erdem, Esra Erdem

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Artificial Intelligence (cs.AI)

[178] arXiv:1012.1906 [pdf, other]

Title: Rectangular Mixed Elements for Elasticity with Weakly Imposed symmetry Condition

Gerard Awanou

Subjects: Numerical Analysis (math.NA)

[179] arXiv:1012.1909 [pdf, other]

Title: On Transmit Antenna Selection for Multiuser MIMO Systems with Dirty Paper Coding

Manar Mohaisen, KyungHi Chang

Comments: 5 pages, 6 figures, 1 table, [The 20th Personal, Indoor and Mobile Radio Communications Symposium 2009 (PIMRC-09)]

Journal-ref: The 20th Personal, Indoor and Mobile Radio Communications Symposium 2009 (PIMRC-09)

Subjects: Information Theory (cs.IT)

[180] arXiv:1012.1912 [pdf, other]

Title: On the Capacity of Memoryless Finite-State Multiple-Access Channels with Asymmetric State Information at the Encoders

Giacomo Como, Serdar Yüksel

Comments: 8 pages, 1 figure, accepted for publication, in press

Subjects: Information Theory (cs.IT)

[181] arXiv:1012.1919 [pdf, other]

Title: Low-Rank Structure Learning via Log-Sum Heuristic Recovery

Yue Deng, Qionghai Dai, Risheng Liu, Zengke Zhang, Sanqing Hu

Comments: 13 pages, 3 figures

Journal-ref: Neural Networks and Learning Systems, IEEE Transactions on, Volume:24 , Issue: 3, March, 2013

Subjects: Numerical Analysis (math.NA); Information Theory (cs.IT); Machine Learning (cs.LG)

[182] arXiv:1012.1938 [pdf, other]

Title: Congestion Games with Variable Demands

Tobias Harks, Max Klimm

Subjects: Computer Science and Game Theory (cs.GT)

[183] arXiv:1012.1939 [pdf, other]

Title: What the Cited and Citing Environments Reveal of "Advances in Atmospheric Sciences"?

Shi Aolan, Loet Leydesdorff

Journal-ref: Advances in Atmospheric Physics, 28(1), 2011, 238-244

Subjects: Digital Libraries (cs.DL); Atmospheric and Oceanic Physics (physics.ao-ph); Physics and Society (physics.soc-ph)

[184] arXiv:1012.1943 [pdf, other]

Title: Stiffness Analysis of Parallel Manipulators with Preloaded Passive Joints

Anatoly Pashkevich (IRCCyN), Alexandr Klimchik (IRCCyN), Damien Chablat (IRCCyN)

Journal-ref: 12th International Symposium on Advances in Robot Kinematics, Slov\'enie : France (2010)

Subjects: Robotics (cs.RO)

[185] arXiv:1012.1948 [pdf, other]

Title: Performance evaluation of parallel manipulators for milling application

Anatoly Pashkevich (IRCCyN), Alexandr Klimchik (IRCCyN), Sébastien Briot (IRCCyN), Damien Chablat (IRCCyN)

Journal-ref: 20th CIRP Design Conference, Nantes : France (2010)

Subjects: Robotics (cs.RO)

[186] arXiv:1012.1953 [pdf, other]

Title: Optimal interpolation formulas in the periodic function space of S.L. Sobolev

Kh.M. Shadimetov, A.R. Hayotov, N.H. Mamatova

Subjects: Numerical Analysis (math.NA)

[187] arXiv:1012.2019 [pdf, other]

Title: Comparative Analysis of Existing Methods and Algorithms for Automatic Assignment of Reviewers to Papers

Yordan Kalmukov, Boris Rachev

Journal-ref: Journal of Information Technologies and Control, 2/2010, ISSN 1312-2622, pp. 20-31

Subjects: Digital Libraries (cs.DL)

[188] arXiv:1012.2034 [pdf, other]

Title: Robust Simulations and Significant Separations

Lance Fortnow, Rahul Santhanam

Subjects: Computational Complexity (cs.CC)

[189] arXiv:1012.2042 [pdf, other]

Title: MUDOS-NG: Multi-document Summaries Using N-gram Graphs (Tech Report)

George Giannakopoulos (1), George Vouros (2), Vangelis Karkaletsis (1) ((1) NCSR Demokritos, Greece, (2) University of the Aegean, Greece)

Comments: Technical Report

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)

[190] arXiv:1012.2057 [pdf, other]

Title: De retibus socialibus et legibus momenti

Daniel Gayo-Avello, David J. Brenes, Diego Fernández-Fernández, María E. Fernández-Menéndez, Rodrigo García-Suárez

Comments: Changes made for third revision: Brief description of the dataset employed added to Introduction. Minor changes to the description of preparation of the this http URL datasets. Minor changes to the captions of Tables 1 and 3. Brief addition in the Conclusions section (future line of work added). Added references 16 and 18. Some typos and grammar polished

Journal-ref: 2011 EPL 94 38001

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

[191] arXiv:1012.2073 [pdf, other]

Title: Almost-Optimum Signature Matrices in Binary-Input Synchronous Overloaded CDMA

M. Heidari Khoozani, A. Rashidinejad, M. H. Lotfi Froushani, P. Pad, F. Marvasti

Comments: 6 Pages, 5 Figures, Submitted to the International Conference on Telecommunications 2011 (ICT-2011)

Subjects: Information Theory (cs.IT)

[192] arXiv:1012.2086 [pdf, other]

Title: Entropy Rate for Hidden Markov Chains with rare transitions

Yuval Peres, Anthony Quas

Comments: To appear in Hidden Markov Processes by Marcus, Petersen and Weissman (eds); CUP

Subjects: Information Theory (cs.IT); Probability (math.PR)

[193] arXiv:1012.2094 [pdf, other]

Title: Stable lattice Boltzmann schemes with a dual entropy approach for monodimensional nonlinear waves

François Dubois (LM-Orsay, LMSSC)

Comments: 27 pages

Journal-ref: Computers and Mathematics with Applications 65 (2013) 142-159

Subjects: Numerical Analysis (math.NA)

[194] arXiv:1012.2096 [pdf, other]

Title: An Energy-efficient Clock Synchronization Protocol for Wireless Sensor Networks

Roxana Albu (LAAS), Yann Labit (LAAS), Gayraud Thierry (LAAS), Berthou Pascal (LAAS)

Subjects: Networking and Internet Architecture (cs.NI)

[195] arXiv:1012.2124 [pdf, other]

Title: Discrete Price Updates Yield Fast Convergence in Ongoing Markets with Finite Warehouses

Richard Cole, Lisa Fleischer, Ashish Rastogi

Subjects: Computer Science and Game Theory (cs.GT)

[196] arXiv:1012.2138 [pdf, other]

Title: Sparse motion segmentation using multiple six-point consistencies

Vasileios Zografos, Klas Nordberg, Liam Ellis

Journal-ref: VECTaR workshop (with ACCV) 2010

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

[197] arXiv:1012.2142 [pdf, other]

Title: NP-completeness Proof: RBCDN Reduction Problem

Sujogya Banerjee, Shahrzad Shirazipourazad, Pavel Ghosh, Arunabha Sen

Subjects: Computational Complexity (cs.CC)

[198] arXiv:1012.2148 [pdf, other]

Title: Bisimulations for fuzzy transition systems

Yongzhi Cao, Guoqing Chen, Etienne Kerre

Comments: 13 double column pages

Journal-ref: IEEE Trans. Fuzzy Syst., vol. 19, no. 3, pp. 540-552, 2011

Subjects: Artificial Intelligence (cs.AI)

[199] arXiv:1012.2152 [pdf, other]

Title: Secured histories: computing group statistics on encrypted data while preserving individual privacy

Eleanor Rieffel, Jacob Biehl, William van Melle, Adam J. Lee

Comments: Technical aspects remain largely unchanged. Revised version gives greater emphasis to the application of these methods to presences systems that support workplace communication and collaboration. The writing is more succinct throughout: the revised version is 8 pages, plus references. The final version of this paper will be appear at SECOTS 2011 as "Secured histories for presence systems."

Journal-ref: SECOTS 2011

Subjects: Cryptography and Security (cs.CR)

[200] arXiv:1012.2162 [pdf, other]

Title: Nondeterministic fuzzy automata

Yongzhi Cao, Yoshinori Ezawa

Comments: 14 pages, 3 figures

Subjects: Artificial Intelligence (cs.AI)