Computer Science

Authors and titles for September 2011

[101] arXiv:1109.0779 [pdf, other]

Title: MELT - a Translated Domain Specific Language Embedded in the GCC Compiler

Basile Starynkevitch (CEA, LIST)

Comments: In Proceedings DSL 2011, arXiv:1109.0323

Journal-ref: EPTCS 66, 2011, pp. 118-142

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[102] arXiv:1109.0780 [pdf, other]

Title: A DSEL for Studying and Explaining Causation

Eric Walkingshaw (Oregon State University), Martin Erwig (Oregon State University)

Comments: In Proceedings DSL 2011, arXiv:1109.0323

Journal-ref: EPTCS 66, 2011, pp. 143-167

Subjects: Programming Languages (cs.PL)

[103] arXiv:1109.0781 [pdf, other]

Title: Tutorial on Online Partial Evaluation

William R. Cook (University of Texas at Austin), Ralf Lämmel (University of Koblenz-Landau)

Comments: In Proceedings DSL 2011, arXiv:1109.0323

Journal-ref: EPTCS 66, 2011, pp. 168-180

Subjects: Programming Languages (cs.PL)

[104] arXiv:1109.0782 [pdf, other]

Title: Maximum Segment Sum, Monadically (distilled tutorial, with solutions)

Jeremy Gibbons (University of Oxford)

Comments: Revision of the article in Proceedings DSL 2011, EPTCS 66, arXiv:1109.0323, to provide solutions to the exercises

Journal-ref: EPTCS 66, 2011, pp. 181-194

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

[105] arXiv:1109.0783 [pdf, other]

Title: Specific "scientific" data structures, and their processing

Jerzy Karczmarczuk (University of Caen, France)

Comments: In Proceedings DSL 2011, arXiv:1109.0323

Journal-ref: EPTCS 66, 2011, pp. 195-209

Subjects: Data Structures and Algorithms (cs.DS); Mathematical Software (cs.MS); Programming Languages (cs.PL)

[106] arXiv:1109.0784 [pdf, other]

Title: Implementing Explicit and Finding Implicit Sharing in Embedded DSLs

Oleg Kiselyov

Comments: In Proceedings DSL 2011, arXiv:1109.0323

Journal-ref: EPTCS 66, 2011, pp. 210-225

Subjects: Programming Languages (cs.PL); Data Structures and Algorithms (cs.DS)

[107] arXiv:1109.0785 [pdf, other]

Title: Resumption-based big-step and small-step interpreters for While with interactive I/O

Keiko Nakata (Institute of Cybernetics at Tallinn University of Technology)

Comments: In Proceedings DSL 2011, arXiv:1109.0323

Journal-ref: EPTCS 66, 2011, pp. 226-235

Subjects: Programming Languages (cs.PL)

[108] arXiv:1109.0786 [pdf, other]

Title: Accurate Programming: Thinking about programs in terms of properties

Walid Taha (Halmstad University), Veronica Gaspes (Halmstad University), Rex Page (University of Oklahoma)

Comments: In Proceedings DSL 2011, arXiv:1109.0323

Journal-ref: EPTCS 66, 2011, pp. 236-260

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[109] arXiv:1109.0792 [pdf, other]

Title: Trimming the Multipath for Efficient Dynamic Routing

Adrian Sai-wah Tam, Kang Xi, H. Jonathan Chao

Comments: Technical report

Subjects: Networking and Internet Architecture (cs.NI); Optimization and Control (math.OC)

[110] arXiv:1109.0800 [pdf, other]

Title: Quantized Compute and Forward: A Low-Complexity Architecture for Distributed Antenna Systems

Song-Nam Hong, Giuseppe Caire

Comments: To appear in 2011 IEEE Information Theory Workshop (ITW 2011)

Subjects: Information Theory (cs.IT)

[111] arXiv:1109.0807 [pdf, other]

Title: Harmonic Analysis of Boolean Networks: Determinative Power and Perturbations

Reinhard Heckel, Steffen Schober, Martin Bossert

Journal-ref: EURASIP Journal on Bioinformatics and Systems Biology 2013, 2013:6

Subjects: Information Theory (cs.IT); Disordered Systems and Neural Networks (cond-mat.dis-nn); Molecular Networks (q-bio.MN)

[112] arXiv:1109.0820 [pdf, other]

Title: ShareBoost: Efficient Multiclass Learning with Feature Sharing

Shai Shalev-Shwartz, Yonatan Wexler, Amnon Shashua

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (stat.ML)

[113] arXiv:1109.0825 [pdf, other]

Title: Fixed point forms of the parallel symmetric sandpile model

E. Formenti, V. T. Pham, H. D. Phan, T. T. H. Tran

Subjects: Discrete Mathematics (cs.DM)

[114] arXiv:1109.0827 [pdf, other]

Title: A Trellis Coded Modulation Scheme for the Fading Relay Channel

Vijayvaradharaj T Muralidharan, B. Sundar Rajan

Comments: 18 pages, 17 figures, 2 tables

Subjects: Information Theory (cs.IT)

[115] arXiv:1109.0847 [pdf, other]

Title: Robust Transceiver with Tomlinson-Harashima Precoding for Amplify-and-Forward MIMO Relaying Systems

Chengwen Xing, Minghua Xia, Feifei Gao, Yik-Chung Wu

Comments: IEEE Journal on Selected Areas in Communications - Special Issue on Theories and Methods for Advanced Wireless Relays The final version and several typos have been corrected

Subjects: Information Theory (cs.IT)

[116] arXiv:1109.0882 [pdf, other]

Title: Moving Object Detection by Detecting Contiguous Outliers in the Low-Rank Representation

Xiaowei Zhou, Can Yang, Weichuan Yu

Comments: 30 pages

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

[117] arXiv:1109.0895 [pdf, other]

Title: Nonlinear Channel Estimation for OFDM System by Complex LS-SVM under High Mobility Conditions

Anis Charrada, Abdelaziz Samet

Comments: 11 pages

Journal-ref: International Journal of Wireless & Mobile Networks (IJWMN) Vol. 3, No. 4, August 2011

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

[118] arXiv:1109.0908 [pdf, other]

Title: Increasing Physical Layer Security through Scrambled Codes and ARQ

Marco Baldi, Marco Bianchi, Franco Chiaraluce

Comments: 5 pages, 4 figures; Proc. IEEE ICC 2011, Kyoto, Japan, 5-9 June 2011

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

[119] arXiv:1109.0915 [pdf, other]

Title: Drawing Sound Conclusions from Unsound Premises

Daniele Mundici, Claudia Picardi

Subjects: Logic in Computer Science (cs.LO)

[120] arXiv:1109.0916 [pdf, other]

Title: Ranking of Wikipedia articles in search engines revisited: Fair ranking for reasonable quality?

Dirk Lewandowski, Ulrike Spree

Journal-ref: Journal of the American Society for Information Science and Technology 62(2011)1, 117-132

Subjects: Information Retrieval (cs.IR)

[121] arXiv:1109.0918 [pdf, other]

Title: Boolean logic gate design principles in unconventional computers: an NMR case study

Matthias Bechmann, Angelika Sebald, Susan Stepney

Journal-ref: International Journal of Unconventional Computing, 2012, 8, 139-159

Subjects: Emerging Technologies (cs.ET); Other Condensed Matter (cond-mat.other)

[122] arXiv:1109.0923 [pdf, other]

Title: Reliability in Source Coding with Side Information

Benjamin G. Kelly, Aaron B. Wagner

Comments: 55 pages, 5 figures. Extended manuscript with all proofs. Shorter article submitted to IEEE Trans. Inf. Theory in September 2011

Subjects: Information Theory (cs.IT)

[123] arXiv:1109.0931 [pdf, other]

Title: An Empirical Study on variants of TCP over AODV routing protocol in MANET

Md. Monzur Morshed, Meftah Ur Rahman, Md. Rafiqul Islam

Comments: (6 pages, 9 figures, 3 tables) This is a joint research collaboration of AIUB & TigerHATS Research Team. this http URL, this http URL

Subjects: Networking and Internet Architecture (cs.NI); Performance (cs.PF)

[124] arXiv:1109.0937 [pdf, other]

Title: Impact of the Evolution of Smart Phones in Education Technology and its Application in Technical and Professional Studies: Indian Perspective

Manoj Kumar

Subjects: Computers and Society (cs.CY)

[125] arXiv:1109.0964 [pdf, other]

Title: On quantum interactive proofs with short messages

Attila Pereszlényi

Comments: 9 pages, 3 figures

Subjects: Computational Complexity (cs.CC); Quantum Physics (quant-ph)