CoRR, November 2009

• Atta Ebrahim E. ElAlfi, M. Esmel ElAlami, Y. M. Asem:
  Knowledge Extraction for Discriminating Male and Female in Logical Reasoning from Student Model.
  
• Gene Golovchinsky, Scott Carter, Jacob T. Biehl:
  Beyond the Drawing Board: Toward More Effective Use of Whiteboard Content.
  
• Hyoungshick Kim, Ji Won Yoon:
  How to Compare the Scientific Contributions between Research Groups.
  
• Sham M. Kakade, Ohad Shamir, Karthik Sridharan, Ambuj Tewari:
  Learning Exponential Families in High-Dimensions: Strong Convexity and Sparsity.
  
• Jean Cardinal, Samuel Fiorini, Gwenaël Joret, Raphael M. Jungers, J. Ian Munro:
  Sorting under Partial Information (without the Ellipsoid Algorithm).
  
• Melda Yuksel, Xi Liu, Elza Erkip:
  A Secure Communication Game with a Relay Helping the Eavesdropper.
  
• Ian Pratt-Hartmann, Ivo Düntsch:
  Functions Definable by Numerical Set-Expressions.
  
• Boseung Kim, Joohyun Lee, Yongtae Shin:
  (RCFT) ReClustering Formation Technique in Hierarchical Sensor Network.
  
• Graham H. Norton:
  Minimal Polynomial Algorithms for Finite Sequences.
  
• Yu Huang, Jianping Yu, Jiannong Cao, Xiaoxing Ma, XianPing Tao, Jian Lu:
  Checking Behavioral Consistency Constraints for Pervasive Context in Asynchronous Environments.
  
• Swaroop Darbha, K. B. Nakshatrala, K. R. Rajagopal:
  On the vibrations of lumped parameter systems governed by differential-algebraic equations.
  
• Cédric Gaël Aboue-Nze, Frédéric Guinand, Yoann Pigné:
  Impact of Obstacles on the Degree of Mobile Ad Hoc Connection Graphs.
  
• Wilfried Huss, Ecaterina Sava, Wolfgang Woess:
  Entropy sensitivity of languages defined by infinite automata, via Markov chains with forbidden transitions.
  
• Reza Omrani, Gagan Garg, P. Vijay Kumar, Petros Elia, Pankaj Bhambhani:
  Large Families of Optimal Two-Dimensional Optical Orthogonal Codes.
  
• Rares Vasilescu:
  An Alternative To Common Content Management Techniques.
  
• Muhammad Aasim Qureshi, Dr. Fadzil B. Hassan, Sohail Safdar, Rehan Akbar:
  A O(E) Time Shortest Path Algorithm For Non Negative Weighted Undirected Graphs.
  
• Erdal Panayirci, Hakan Dogan, H. Vincent Poor:
  A Gibbs Sampling Based MAP Detection Algorithm for OFDM Over Rapidly Varying Mobile Radio Channels.
  
• Dasika Ratna Deepthi, K. Eswaran:
  A Mirroring Theorem and its Application to a New Method of Unsupervised Hierarchical Pattern Classification.
  
• M. Karimadini, H. Lin:
  Synchronized Task Decomposition for Cooperative Multi-agent Systems.
  
• Alonso Silva, Eitan Altman, Mérouane Debbah, Hamidou Tembine, Chloé Jimenez:
  Optimal mobile association on hybrid networks: centralized and decentralized case.
  
• Christine Michel, Patrick Prévôt:
  Knowledge Management Concepts For Training By Project An observation of the case of project management education.
  
• Christine Michel, Élise Garrot-Lavoué:
  Meshat: Monitoring and Experience Sharing Tool for Project-Based Learning.
  
• Stefano Allesina:
  Accelerating the pace of discovery by changing the peer review algorithm.
  
• Cedric Artigue, Philippe Loubaton:
  On the precoder design of flat fading MIMO systems equipped with MMSE receivers: a large system approach.
  
• Keehang Kwon, Hong Pyo Ha:
  Algorithm as Defining Dynamic Systems.
  
• A. Essaouabi, F. Regragui, E. Ibnelhaj:
  A Wavelet-Based Digital Watermarking for Video.
  
• Sudip Dogra, Ritwik Ray, Saustav Ghosh, Debharshi Bhattacharya, Subir Kr. Sarkar:
  A Cost Effective RFID Based Customized DVD-ROM to Thwart Software Piracy.
  
• Sohail Safdar, Mohd. Fadzil Hassan, Muhammad Aasim Qureshi, Rehan Akbar:
  Biologically Inspired Execution Framework for Vulnerable Workflow Systems.
  
• Rébecca Deneckère, Adrian Iacovelli, Elena Kornyshova, Carine Souveyet:
  From Method Fragments to Method Services.
  
• Rébecca Deneckère, Elena Kornyshova, Colette Rolland:
  Enhancing the Guidance of the Intentional Model "MAP": Graph Theory Application.
  
• Joseph Sill, Gábor Takács, Lester Mackey, David Lin:
  Feature-Weighted Linear Stacking.
  
• Marvin Weinstein:
  Strange Bedfellows: Quantum Mechanics and Data Mining.
  
• Theodoros Lappas, Konstantinos Pelechrinis, Michalis Faloutsos:
  A Simple Conceptual Generator for the Internet Graph.
  
• Tao Cui, Tracey Ho, Jörg Kliewer:
  On Secure Network Coding Over Networks With Unequal Link Capacities.
  
• Boseung Kim, Huibin Lim, Yongtae Shin:
  Routing Technique Based on Clustering for Data Duplication Prevention in Wireless Sensor Network.
  
• M. Krishnaveni, Suresh Kumar Thakur, P. Subashini:
  An Optimal Method For Wake Detection In SAR Images Using Radon Transformation Combined With Wavelet Filters.
  
• Hyubgun Lee, Kyounghwa Lee, Yongtae Shin:
  AES Implementation and Performance Evaluation on 8-bit Microcontrollers.
  
• Francisco J. Rodríguez-Pérez, José-Luis González-Sánchez, Alfonso Gazo-Cervero:
  GoS Proposal to Improve Trust and Delay of MPLS Flows for MCN Services.
  
• Tich Phuoc Tran, Longbing Cao, Dat Tran, Cuong Duc Nguyen:
  Novel Intrusion Detection using Probabilistic Neural Network and Adaptive Boosting.
  
• Dang Tuan Nguyen, Ha Quy-Tinh Luong, Tuyen Thi-Thanh Do:
  Building a Vietnamese Language Query Processing Framework for ELibrary Searching Systems.
  
• Ahmed M. Manasrah, Awsan Hasan, Omar Amer Abouabdalla, Sureswaran Ramadass:
  Detecting Botnet Activities Based on Abnormal DNS traffic.
  
• Behrouz Minaei, Parinaz Saadat:
  SOAP Serialization Performance Enhancement, Design And Implementation Of A Middleware.
  
• Y. Ireaneus Anna Rejani, S. Thamarai Selvi:
  Breast Cancer Detection Using Multilevel Thresholding.
  
• Rajeswari Mukesh, A. Damodaram, V. Subbiah Bharathi:
  Energy Efficient Security Architecture for Wireless BioMedical Sensor Networks.
  
• C. Banerjee, S. K. Pandey:
  Software Security Rules, SDLC Perspective.
  
• Negin Razavi, Amir Masoud Rahmani, Mehran Mohsenzadeh:
  A Context-based Trust Management Model for Pervasive Computing Systems.
  
• Safieh Siadat, Amir Masoud Rahmani, Mehran Mohsenzadeh:
  Proposed platform for improving grid security by trust management system.
  
• Vani Perumal, Jagannathan Ramaswamy:
  An Innovative Scheme For Effectual Fingerprint Data Compression Using Bezier Curve Representations.
  
• Al-Sammarraie Hosam, Adli Mustafa, Shakeel Ahmad, Merza Abbas:
  Exception Agent Detection System for IP Spoofing Over Online Environments.
  
• A. Rajaram, Dr. S. Palaniswami:
  A Trust Based Cross Layer Security Protocol for Mobile Ad hoc Networks.
  
• Ravindra Guravannavar:
  Optimization and Evaluation of Nested Queries and Procedures.
  
• Moshe Mishali, Yonina C. Eldar, Asaf Elron:
  Xampling--Part I: Practice.
  
• Manar Mohaisen, HeeSeok Yoon, KyungHi Chang:
  Radio Transmission Performance of EPCglobal Gen-2 RFID System.
  
• Haim Avron, Gil Shklarski, Sivan Toledo:
  On Element SDD Approximability.
  
• Philip Bille, Inge Li Gørtz:
  Fast Arc-Annotated Subsequence Matching in Linear Space.
  
• Yifan Hu:
  Visualizing Graphs with Node and Edge Labels.
  
• Emmanuel Beffara:
  Linear combinations of orders.
  
• Ramy H. Gohary, Timothy N. Davidson:
  The capacity region of a product of two unmatched Gaussian broadcast channels with three particular messages and a common message.
  
• Aaron Potechin:
  Bounds on monotone switching networks for directed connectivity.
  
• Leonid Gurvits:
  A proof of the log-concavity conjecture related to the computation of the ergodic capacity of MIMO channels.
  
• Hong Ju Park, Boyu Li, Ender Ayanoglu:
  Constellation Precoded Multiple Beamforming.
  
• Animesh Agarwal, Vaibhav Shrimali, Manik Lal Das:
  GSM Security Using Identity-based Cryptography.
  
• Shirin Jalali, Tsachy Weissman:
  Multiple Description Coding of Discrete Ergodic Sources.
  
• Pasquale De Meo, Giovanni Quattrone, Giorgio Terracina, Domenico Ursino:
  An XML-based Multi-Agent System for Supporting Online Recruitment Services.
  
• Kanak Saxena, D. S. Rajpoot:
  A Way to Understand Various Patterns of Data Mining Techniques for Selected Domains.
  
• M. Irfan, M. M. Tahir N. Baig, Furqan H. Khan, Raheel M. Hashmi, Khurram Shehzad, Assad Ali:
  Management of Location Based Advertisement Services using Spatial Triggers in Cellular Networks.
  
• Shailendra Singh, Sanjay Silakari:
  Generalized Discriminant Analysis algorithm for feature reduction in Cyber Attack Detection System.
  
• Nizami Gasilov, Afet Golayoglu Fatullayev, Sh. G. Amrahov:
  Solution of General Fuzzy Linear Systems.
  
• Dániel Marx:
  Tractable hypergraph properties for constraint satisfaction and conjunctive queries.
  
• Ahmed Ahmedin, Marwa Ali, Ahmed Sultan, Mohammed Nafie:
  Power and Transmission Duration Control for Un-Slotted Cognitive Radio Networks.
  
• Stéphane Martin, Denis Lugiez:
  Research report : Collaborative Peer 2 Peer Edition: Avoiding Conflicts is Better than Solving Conflicts.
  
• M. Zuhair Nashed, Qiyu Sun:
  Sampling and Reconstruction of Signals in a Reproducing Kernel Subspace of $L^p({\Bbb R}^d)$.
  
• Paul Cuff:
  State Information in Bayesian Games.
  
• N. Rama, Meenakshi Lakshmanan:
  A New Computational Schema for Euphonic Conjunctions in Sanskrit Processing.
  
• Heidi Gebauer:
  Construction of a Non-2-colorable k-uniform Hypergraph with Few Edges.
  
• A. Essaouabi, E. Ibnelhaj, F. Fegragui:
  Digital Image Watermarking for Arbitrarily Shaped Objects Based On SA-DWT.
  
• Umer Salim, David Gesbert, Dirk T. M. Slock:
  Combining Training and Quantized Feedback in Multi-Antenna Reciprocal Channels.
  
• Kaustubh Bhattacharyya, Kandarpa Kumar Sarma:
  ANN-based Innovative Segmentation Method for Handwritten text in Assamese.
  
• Rafael Ponce-Medellin, Juan Gabriel González Serna, Rocio Vargas A., Lirio Ruiz:
  Technology Integration around the Geographic Information: A State of the Art.
  
• Mandhapati P. Raju, Siddhartha Khaitan:
  Domain Decomposition Based High Performance Parallel Computing.
  
• Ritu Sindhu, Abdul Wahid, G. N. Purohit:
  Multi-Agent System Interaction in Integrated SCM.
  
• Sumalatha Ramachandran, Sujaya Paulraj, Sharon Joseph, Vetriselvi Ramaraj:
  Enhanced Trustworthy and High-Quality Information Retrieval System for Web Search Engines.
  
• Lahatra Rakotondrainibe, Yvan Kokar, Gheorghe Zaharia, Ghaïs El Zein:
  Toward a Gigabit Wireless Communications System.
  
• Hans Jørgen Bang, David Gesbert:
  Multicell Zero-Forcing and User Scheduling on the Downlink of a Linear Cell Array.
  
• Lahatra Rakotondrainibe, Yvan Kokar, Gheorghe Zaharia, Ghaïs El Zein, Eric Tanguy, Li Hongwu, Benoit Charbonier:
  Hybrid, Optical and Wireless Near-Gigabit Communications System.
  
• Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop:
  Let's Make a Difference!
  
• Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop:
  Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting.
  
• Dimitris Kalles, Ilias Fykouras:
  Examples as Interaction: On Humans Teaching a Computer to Play a Game.
  
• Lahatra Rakotondrainibe, Yvan Kokar, Gheorghe Zaharia, Ghaïs El Zein:
  Système de Communications Sans Fil Très Haut Débit à 60 GHz.
  
• Adeel Razi, Daniel J. Ryan, Iain B. Collings, Jinhong Yuan:
  Sum Rates, Rate Allocation, and User Scheduling for Multi-User MIMO Vector Perturbation Precoding.
  
• Nicolas Bitouze, Alexandre Graell i Amat, Eirik Rosnes:
  Error Correcting Coding for a Non-symmetric Ternary Channel.
  
• Yan Zhu, Dongning Guo:
  Ergodic Fading One-sided Interference Channels without State Information at Transmitters.
  
• Georg Böcherer, Valdemar Cardoso da Rocha Jr., Cecilio Pimentel:
  On the Capacity of Constrained Systems.
  
• Herbert Van de Sompel, Michael L. Nelson, Robert Sanderson, Lyudmila Balakireva, Scott Ainsworth, Harihar Shankar:
  Memento: Time Travel for the Web.
  
• Robert D. Kleinberg, Aleksandrs Slivkins:
  Sharp Dichotomies for Regret Minimization in Metric Spaces.
  
• Yaning Liu, Gwendal Simon:
  Peer-to-Peer Time-shifted Streaming Systems.
  
• Avishai Wool:
  Firewall Configuration Errors Revisited.
  
• Mark Kelbert, Yuri M. Suhov:
  Continuity of mutual entropy in the large signal-to-noise ratio limit.
  
• Caroline Cance, Hugues Genevois, Danièle Dubois:
  What is instrumentality in new digital msuical devices ? A contribution from cognitive linguistics and psychology.
  
• Peter Beelen, Sudhir R. Ghorpade, Tom Høholdt:
  Affine Grassmann Codes.
  
• Ricardo Arencibia Jorge, Loet Leydesdorff, Zaida Chinchilla-Rodríguez, Ronald Rousseau, Soren W. Paris:
  Retrieval of very large numbers of items in the Web of Science: an exercise to develop accurate search strategies.
  
• Diana Lucio-Arias, Loet Leydesdorff:
  The Dynamics of Exchanges and References among Scientific Texts, and the Autopoiesis of Discursive Knowledge.
  
• Leo Egghe, Loet Leydesdorff:
  The relation between Pearson's correlation coefficient r and Salton's cosine measure.
  
• Han Park, Loet Leydesdorff:
  Knowledge linkage structures in communication studies using citation analysis among communication journals.
  
• Saugata Basu, Marie-Françoise Roy:
  Bounding the radii of balls meeting every connected component of semi-algebraic sets.
  
• Gagan Goel, Pushkar Tripathi, Lei Wang:
  Optimal Approximation Algorithms for Multi-agent Combinatorial Problems with Discounted Price Functions.
  
• Sina Jafarpour, Rebecca Willett, Maxim Raginsky, A. Robert Calderbank:
  Performance Bounds for Expander-based Compressed Sensing in the presence of Poisson Noise.
  
• Marcin Kubica, Jakub Radoszewski, Wojciech Rytter, Tomasz Walen:
  On the maximal number of cubic subwords in a string.
  
• Xiaoyu Chu, Harish Sethu:
  A New Distributed Algorithm for Improved Coverage and Increased Lifetime in Sensor Networks.
  
• Marc Harper:
  Information Geometry and Evolutionary Game Theory.
  
• Emanuel Diamant:
  Machine Learning: When and Where the Horses Went Astray?
  
• Don Coppersmith, Victor S. Miller:
  Binary Non-tiles.
  
• Christopher J. Hillar, Lek-Heng Lim:
  Most tensor problems are NP hard.
  
• Clemens Grabmayer:
  From Abstract Rewriting Systems to Abstract Proof Systems.
  
• Yusuke Watanabe, Michael Chertkov:
  Belief Propagation and Loop Calculus for Permanent of a Non-Negative Matrix.
  
• Hossein Bagheri, Abolfazl S. Motahari, Amir K. Khandani:
  On the Capacity of the Half-Duplex Diamond Channel.
  
• Loet Leydesdorff, Ping Zhou:
  Co-word Analysis using the Chinese Character Set.
  
• Yves-Roger Nehan, Rébecca Deneckère:
  Situational Method Engineering: Fundamentals and Experiences.
  
• Elena Kornyshova, Rébecca Deneckère, Camille Salinesi:
  Method Chunks Selection by Multicriteria Techniques: an Extension of the Assembly-based Approach.
  
• Elena Kornyshova, Rébecca Deneckère, Camille Salinesi:
  Improving Software Development Processes with Multicriteria Methods.
  
• Gitanjali Bhutani:
  A Round-based Pricing Scheme for Maximizing Service Provider's Revenue in P2PTV Networks.
  
• Sana Ullah, Yingji Zhong, S. M. Riazul Islam, Ahasanun Nessa, Kyung Sup Kwak:
  Throughput Limits of IEEE 802.11 and IEEE 802.15.3.
  
• Sana Ullah, Pervez Khan, Young-Woo Choi, Hyung-Soo Lee, Kyung Sup Kwak:
  MAC Layer Hurdles in BSNs.
  
• Ahasanun Nessa, Qinghai Yang, Sana Ullah, Humaun Kabir, Kyung Sup Kwak:
  Performance Analysis of Two-Hop Cooperative MIMO transmission with Relay Selection in Rayleigh Fading Channel.
  
• Sana Ullah, Pervez Khan, Kyung Sup Kwak:
  On the Development of Low Power MAC Protocol for WBANs.
  
• Gitanjali Bhutani:
  A Near-Optimal Scheme for TCP ACK Pacing to Maintain Throughput in Wireless Networks.
  
• Yingji Zhong, Kyung Sup Kwak, Sana Ullah:
  MIMO Cluster Cooperative Assignment Cross Layer Scheme for Hybrid Wireless Sensor Networks.
  
• Yingji Zhong, Sana Ullah, Kyung Sup Kwak:
  A Novel Cross Layer Scheme for Multi-Channel Hybrid Cognitive Ad-hoc Networks.
  
• Murad Ali, Sana Ullah, Pervez Khan:
  Managing Innovation and Technology in Developing Countries.
  
• Sana Ullah, M. A. Khan, Kyung Sup Kwak:
  A discourse based approach in text-based machine translation.
  
• Sana Ullah, Asdaque Hussain, Kyung Sup Kwak:
  Resolution of Unidentified Words in Machine Translation.
  
• Ahasanun Nessa, Moshaddique Al Ameen, Sana Ullah, Kyung Sup Kwak:
  Applicability of Telemedicine in Bangladesh: Current Status and Future Prospects.
  
• Sana Ullah, Xizhi An, Kyung Sup Kwak:
  Towards Power Efficient MAC Protocol for In-Body and On-Body Sensor Networks.
  
• Sana Ullah, Henry Higgins, M. Arif Siddiqui, Kyung Sup Kwak:
  A Study of Implanted and Wearable Body Sensor Networks.
  
• T. Tony Cai, Lie Wang, Guangwu Xu:
  New Bounds for Restricted Isometry Constants.
  
• Tyrel Russell, Toby Walsh:
  Manipulating Tournaments in Cup and Round Robin Competitions.
  
• Johan Bollen, Alberto Pepe, Huina Mao:
  Modeling public mood and emotion: Twitter sentiment and socio-economic phenomena.
  
• Paul Dütting, Monika Rauch Henzinger, Ingmar Weber:
  On the Pricing of Recommendations and Recommending Strategically.
  
• Marek Cygan, Lukasz Kowalik, Marcin Mucha, Marcin Pilipczuk, Piotr Sankowski:
  Fast Approximation in Subspaces by Doubling Metric Decomposition.
  
• Ajinkya Kale, Ananth Chakravarthy, Nitin Jadhav:
  An extendible User-Command Framework based on tagging system.
  
• Balaji Akula, James Cusick:
  Biological Computing Fundamentals and Futures.
  
• Ashish Darbari, Bernd Fischer, João P. Marques Silva:
  Industrial-Strength Formally Certified SAT Solving.
  
• Sana Ullah, Murad Ali, Asdaque Hussain, Kyung Sup Kwak:
  Applications of UWB Technology.
  
• Liang Ma, Wei Zhang, Damien Chablat, Fouad Bennis, François Guillaume:
  Multi-Objective Optimisation Method for Posture Prediction and Analysis with Consideration of Fatigue Effect and its Application Case.
  
• Rasmus Resen Amossen:
  Vertical partitioning of relational OLTP databases using integer programming.
  
• Michel Nabaa, Cyrille Bertelle, Antoine Dutot, Damien Olivier, Pascal Mallet:
  A Dynamic Vulnerability Map to Assess the Risk of Road Network Traffic Utilization.
  
• Pierrick Tranouez, Antoine Dutot:
  Different goals in multiscale simulations and how to reach them.
  
• Shmuel Friedland:
  Graph isomorphism and volumes of convex bodies.
  
• Andrew D. King:
  Hitting all maximum cliques with a stable set using lopsided independent transversals.
  
• Ryan Hinton, Stephen G. Wilson:
  Analysis of peeling decoder for MET ensembles.
  
• Tuvi Etzion:
  Sequence Folding, Lattice Tiling, and Multidimensional Coding.
  
• Justin Kennedy, Ion I. Mandoiu, Bogdan Pasaniuc:
  GEDI: Scalable Algorithms for Genotype Error Detection and Imputation.
  
• Yashodhan Kanoria, Mohsen Bayati, Christian Borgs, Jennifer T. Chayes, Andrea Montanari:
  A Natural Dynamics for Bargaining on Exchange Networks.
  
• Jevin D. West, Theodore C. Bergstrom, Carl T. Bergstrom:
  Big Macs and Eigenfactor Scores: Don't Let Correlation Coefficients Fool You.
  
• Aaron Roth, Tim Roughgarden:
  The Median Mechanism: Interactive and Efficient Privacy with Multiple Queries.
  
• Nancy Ide, Laurent Romary:
  Standards for Language Resources.
  
• Omar El Ayach, Steven W. Peters, Robert W. Heath Jr.:
  The Feasibility of Interference Alignment over Measured MIMO-OFDM Channels.
  
• Jan A. Bergstra, C. A. Middelburg:
  Functional units for natural numbers.
  
• Luca Aceto, Anna Ingólfsdóttir, Joshua Sack:
  Characteristic Formulae for Fixed-Point Semantics: A General Framework. 1-15
  
• Juha Partala:
  A note on conjugacy search and racks.
  
• Daniel Raible, Henning Fernau:
  A Faster Exact Algorithm for the Directed Maximum Leaf Spanning Tree Problem.
  
• Gustavo L. Gilardoni:
  On a Gel'fand-Yaglom-Peres theorem for f-divergences.
  
• Nitin Madnani, Hongyan Jing, Nanda Kambhatla, Salim Roukos:
  Active Learning for Mention Detection: A Comparison of Sentence Selection Strategies.
  
• Neal Patwari, Joey Wilson:
  People-Sensing Spatial Characteristics of RF Sensor Networks.
  
• Wei Liu, Biao Chen:
  Interference Channels With Arbitrarily Correlated Sources.
  
• Aditya Mahajan, Sekhar Tatikonda:
  A training-based scheme for communicating over unknown channels with feedback.
  
• Tomás Babiak, Vojtech Rehák, Jan Strejcek:
  Almost Linear Büchi Automata. 16-25
  
• Edgar G. Daylight, Sandeep K. Shukla, Davide Sergio:
  Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic. 26-40
  
• Maciej Gazda, Wan Fokkink:
  Modal Logic and the Approximation Induction Principle. 41-50
  
• Joshua D. Guttman:
  Security Theorems via Model Theory. 51-65
  
• I-Hsiang Wang, David N. C. Tse:
  Interference Mitigation Through Limited Receiver Cooperation.
  
• Guoqiang Zhang:
  A scientific understanding of network designing.
  
• Herbert Edelsbrunner, Dmitriy Morozov, Amit K. Patel:
  Quantifying Transversality by Measuring the Robustness of Intersections.
  
• Erik Wilde:
  Feeds as Query Result Serializations.
  
• Marek Karpinski, Warren Schudy:
  Approximation Schemes for the Betweenness Problem in Tournaments and Related Ranking Problems.
  
• Ehsan Chiniforooshan, Lila Kari, Zhi Xu:
  Pseudo-Power Avoidance.
  
• Lianlin Li, Behnam Jafarpour:
  An Iteratively Reweighted Algorithm for Sparse Reconstruction of Subsurface Flow Properties from Nonlinear Dynamic Data.
  
• Balázs Csanád Csáji, Raphaël M. Jungers, Vincent D. Blondel:
  PageRank Optimization by Edge Selection.
  
• Fabio G. Guerrero:
  A New Look at the Classical Entropy of Written English.
  
• Michael Bloem, Tansu Alpcan, Tamer Basar:
  A Robust Control Framework for Malware Filtering.
  
• Farid M. Ablayev, Alexander Vasiliev:
  Algorithms for Quantum Branching Programs Based on Fingerprinting. 1-11
  
• Luca Bernardinello, Lucia Pomello, Stefania Rombolà:
  Orthomodular Lattices Induced by the Concurrency Relation. 12-21
  
• Paola Bonizzoni, Clelia de Felice, Rosalba Zizza:
  Circular Languages Generated by Complete Splicing Systems and Pure Unitary Languages. 22-31
  
• Amin Coja-Oghlan:
  Random Constraint Satisfaction Problems. 32-37
  
• Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina:
  A Type System for Required/Excluded Elements in CLS. 38-48
  
• Martin Fürer:
  Deterministic Autopoietic Automata. 49-53
  
• Walid Gomaa:
  Characterizing Polynomial Time Computability of Rational and Real Functions. 54-64
  
• Ozan Kahramanogullari, Luca Cardelli, Emmanuelle Caron:
  An Intuitive Automated Modelling Interface for Systems Biology. 73-86
  
• Zoran Konkoli:
  Diffusion Controlled Reactions, Fluctuation Dominated Kinetics, and Living Cell Biochemistry. 98-107
  
• Soheil Mohajer, Chao Tian, Suhas N. Diggavi:
  Asymmetric Multilevel Diversity Coding and Asymmetric Gaussian Multiple Descriptions.
  
• Wilfred Dolfsma, Loet Leydesdorff:
  Journals as constituents of scientific discourse: economic heterodoxy.
  
• Stefan Leijnen, Liane Gabora:
  How Creative Should Creators Be To Optimize the Evolution of Ideas? A Computational Model. 108-119
  
• Karim Mahboub, Evelyne Clément, Cyrille Bertelle, Véronique Jay:
  Emotion: Appraisal-coping model for the "Cascades" problem.
  
• Matt Purkeypile:
  Cove: A Practical Quantum Computer Programming Framework.
  
• Renuka Kandregula:
  Towards a Number Theoretic Discrete Hilbert Transform.
  
• Dan Chen, Luc Devroye, Vida Dujmovic, Pat Morin:
  Memoryless Routing in Convex Subdivisions: Random Walks are Optimal.
  
• Karim Mahboub, Cyrille Bertelle, Véronique Jay, Evelyne Clément:
  Emotion : modèle d'appraisal-coping pour le problème des Cascades.
  
• Russ Harmer:
  Rule-based Modelling and Tunable Resolution. 65-72
  
• Edmond A. Jonckheere, Mingji Lou, Francis Bonahon, Yuliy Baryshnikov:
  Euclidean versus hyperbolic congestion in idealized versus experimental networks.
  
• Jayakrishnan Unnikrishnan, Venugopal V. Veeravalli, Sean P. Meyn:
  Minimax Robust Quickest Change Detection.
  
• Walid Saad, Zhu Han, Tamer Basar, Mérouane Debbah, Are Hjørungnes:
  Distributed Coalition Formation Games for Secure Wireless Transmission.
  
• Marek Chrobak, Christoph Dürr, Flavio Guiñez, Antoni Lozano, Nguyen Kim Thang:
  Tile Packing Tomography is NP-hard.
  
• Daniel Stern:
  Cybermatter.
  
• Andrei M. Sukhov, D. I. Sidelnikov, Aleksey A. Galtsev, A. P. Platonov, M. V. Strizhov:
  Active Flows in Diagnostic of Troubleshooting on Backbone Links.
  
• Nazmus Saquib, Md. Sabbir Rahman Sakib, Al-Sakib Khan Pathan:
  Performance Analysis of MANET Routing Protocols Using An Elegant Visual Simulation Tool.
  
• Henk F. Moed:
  Measuring contextual citation impact of scientific journals.
  
• Loet Leydesdorff:
  Visualization of the Citation Impact Environments of Scientific Journals: An online mapping exercise.
  
• Waheed U. Bajwa, A. Robert Calderbank, Sina Jafarpour:
  Why Gabor Frames? Two Fundamental Measures of Coherence and their Geometric Significance.
  
• Katrin Iltgen, Walter Vogler:
  Robustness of a bisimulation-type faster-than preorder. 66-79
  
• Wolfgang Stummer, Igor Vajda:
  On Bregman Distances and Divergences of Probability Measures.
  
• Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano:
  NP Datalog: a Logic Language for Expressing NP Search and Optimization Problems.
  
• Olivier Bodini, Alice Jacquot:
  Boltzmann Samplers for Colored Combinatorial Objects.
  
• Olivier Bodini, Alice Jacquot:
  Boltzmann Samplers for v-balanced Colored Necklaces.
  
• Olivier Bodini, Eric Rémila, Thomas Fernique:
  Distances on Lozenge Tilings.
  
• Olivier Bodini, Jérémie Lumbroso:
  Optimal Partial Tiling of Manhattan Polyominoes.
  
• Olivier Bodini:
  On the Minimum Size of a Contraction-Universal Tree.
  
• S. Barry Cooper, Vincent Danos (Eds.): Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature. EPTCS 9 2009
  Contents
• Jie Gao, Sergiy A. Vorobyov, Hai Jiang:
  Cooperative Precoding/Resource Allocation Games under Spectral Mask and Total Power Constraints.
  
• R. Nallusamy, K. Duraiswamy:
  Neural Networks for Dynamic Shortest Path Routing Problems - A Survey.
  
• Pierre-Olivier Amblard, Olivier J. J. Michel:
  Measuring information flow in networks of stochastic processes.
  
• V. Karlin:
  Global communications in multiprocessor simulations of flames.
  
• Michael A. Covington, Roberto Bagnara, Richard A. O'Keefe, Jan Wielemaker, Simon Price:
  Coding Guidelines for Prolog.
  
• Tobias Kretz:
  Computation Speed of the F.A.S.T. Model.
  
• Cornelia Boenisch, Tobias Kretz:
  Simulation of Pedestrians Crossing a Street.
  
• Maxim Raginsky, Roummel F. Marcia, Jorge Silva, Rebecca Willett:
  Sequential anomaly detection in the presence of noise and limited feedback.
  
• William F. Bradley:
  A Recursive Definition of the Holographic Standard Signature.
  
• William F. Bradley:
  Sparse Eigenvectors of the Discrete Fourier Transform.
  
• Mika Göös, Pekka Orponen:
  Synthesizing Minimal Tile Sets for Patterned DNA Self-Assembly.
  
• Chris Giannella, Kun Liu, Hillol Kargupta:
  On the Privacy of Euclidean Distance Preserving Data Perturbation.
  
• Radha Krishna Ganti, Martin Haenggi:
  Spatial Analysis of Opportunistic Downlink Relaying in a Two-Hop Cellular System.
  
• Kaibin Huang, Rui Zhang:
  Cooperative Feedback for Multi-Antenna Cognitive Radio Networks.
  
• Shipra Agrawal, Zizhuo Wang, Yinyu Ye:
  A Dynamic Near-Optimal Algorithm for Online Linear Programming.
  
• Andrew Gacek, Dale Miller, Gopalan Nadathur:
  A two-level logic approach to reasoning about computations.
  
• Dominique Duval:
  How to combine diagrammatic logics.
  
• Guyslain Naves:
  The hardness of routing two pairs on one face.
  
• Lutz Bornmann, Loet Leydesdorff, Werner Marx:
  Citation Environment of Angewandte Chemie.
  
• Ping Zhou, Loet Leydesdorff:
  A Comparison between the China Scientific and Technical Papers and Citations Database and the Science Citation Index in terms of journal hierarchies and inter-journal citation relations.
  
• Ping Zhou, Loet Leydesdorff:
  The Citation Impacts and Citation Environments of Chinese Journals in Mathematics.
  
• Emil Vassev, Que Thu Dung Nguyen, Heng Kuang:
  Fault-Tolerance through Message-logging and Check-pointing: Disaster Recovery for CORBA-based Distributed Bank Servers.
  
• Loet Leydesdorff:
  Indicators of Structural Change in the Dynamics of Science: Entropy Statistics of the SCI Journal Citation Reports.
  
• Loet Leydesdorff:
  Environment and Planning B as a Journal: The interdisciplinarity of its environment and the citation impact.
  
• Emanuel Gluskin:
  On game psychology: an experiment on the chess board/screen, should you always "do your best", and why the programs with prescribed weaknesses cannot be our good friends?
  
• David Harvey:
  Faster exponentials of power series.
  
• T. Zorikov:
  A computational model of the bottlenose dolphin sonar: Feature-extracting method.
  
• Lance Fortnow, Rahul Santhanam:
  Bounding Rationality by Discounting Time.
  
• Sibylle B. Fröschle, Daniele Gorla (Eds.): Proceedings 16th International Workshop on Expressiveness in Concurrency. EPTCS 8 2009
  Contents
• Atish Das Sarma, Danupon Nanongkai, Gopal Pandurangan, Prasad Tetali:
  Near-Optimal Sublinear Time Bounds for Distributed Random Walks.
  
• Chao-Yang Pang, Hui Liu, Xia Li, Yun-Fei Wang, Ben-Qiong Hu:
  Apply Ant Colony Algorithm to Search All Extreme Points of Function.
  
• Neri Merhav:
  Optimum estimation via gradients of partition functions and information measures: a statistical-mechanical perspective.
  
• Manfred Droste, Guo-Qiang Zhang:
  Bifinite Chu Spaces.
  
• Eitan Altman, Tamer Basar, Francesco De Pellegrini:
  Optimal Control in Two-Hop Relay Routing.
  
• Natalia Silberstein, Tuvi Etzion:
  Representation of Subspaces and Enumerative Encoding of the Grassmannian Space.
  
• Samuel Ouzan, Yair Be'ery:
  Moderate-Density Parity-Check Codes.
  
• Nguyen Van Tang:
  A Tighter Bound for the Determinization of Visibly Pushdown Automata. 62-76
  
• Laurent Fribourg, Étienne André:
  An Inverse Method for Policy-Iteration Based Algorithms. 44-61
  
• Bahareh Badban, Stefan Leue, Jan-Georg Smaus:
  Automated Predicate Abstraction for Real-Time Models. 36-43
  
• Maurizio Serva:
  Automated languages phylogeny from Levenshtein distance.
  
• Christophe Morvan:
  On external presentations of infinite graphs. 23-35
  
• Frédéric Magniez, Claire Mathieu, Ashwin Nayak:
  Recognizing well-parenthesized expressions in the streaming model.
  
• Filippo Petroni, Maurizio Serva:
  Automated words stability and languages phylogeny.
  
• Alejandro Chinea:
  Understanding the Principles of Recursive Neural networks: A Generative Approach to Tackle Model Complexity.
  
• Axel Legay, Marco Faella:
  Some Models and Tools for Open Systems.
  
• Patrick Nourrissier, Sahbi Sidhom:
  Le travail coopératif comme vecteur d'évolution de nos systèmes d'information.
  
• Romain Giot, Mohamad El-Abed, Christophe Rosenberger:
  Keystroke Dynamics Authentication For Collaborative Systems.
  
• Nacer Boudjlida, Jean-Pierre Jacquot, Pascal Urso:
  Software Engineering Education by Example.
  
• Francisco Claude, Antonio Fariña, Gonzalo Navarro:
  Re-Pair Compression of Inverted Lists.
  
• Nicolai Kuntze, Jürgen Repp, Hervais Simo Fhom, Andreas Fuchs, Ine-Saf Benaissa:
  Final Architecture Specification of security, privacy, and incentive mechanisms.
  
• Hemant Kowshik, P. R. Kumar:
  Optimal strategies for computing symmetric Boolean functions in collocated networks.
  
• Micha Sharir, Adam Sheffer, Emo Welzl:
  Counting Triangulations of Planar Point Sets.
  
• Zhi Xu:
  A Minimal Periods Algorithm with Applications.
  
• Nikolaos M. Freris, Hemant Kowshik, P. R. Kumar:
  Fundamentals of Large Sensor Networks: Connectivity, Capacity, Clocks and Computation.
  
• Ilias Diakonikolas, Daniel M. Kane, Jelani Nelson:
  Bounded Independence Fools Degree-2 Threshold Functions.
  
• Florent Bouchy, Alain Finkel, Pierluigi San Pietro:
  Dense-choice Counter Machines revisited. 3-22
  
• Loet Leydesdorff, Iina Hellsten:
  Measuring the Meaning of Words in Contexts: An automated analysis of controversies about Monarch butterflies, Frankenfoods, and stem cells.
  
• Loet Leydesdorff:
  Can Scientific Journals be Classified in terms of Aggregated Journal-Journal Citation Relations using the Journal Citation Reports?
  
• Loet Leydesdorff, Stephen J. Bensman:
  Classification and Powerlaws: The Logarithmic Transformation.
  
• Shashank Shekhar, Mohit Soni, N. V. S. N. Kalyan Chakravarthy:
  Flare: Architecture for rapid and easy development of Internet-based Applications.
  
• Loet Leydesdorff, Liwen Qiu Vaughan:
  Co-occurrence Matrices and their Applications in Information Science: Extending ACA to the Web Environment.
  
• Axel Legay (Ed.): Proceedings International Workshop on Verification of Infinite-State Systems. EPTCS 10 2009
  Contents
• Andreas Klöckner, Nicolas Pinto, Yunsup Lee, Bryan C. Catanzaro, Paul Ivanov, Ahmed Fasih:
  PyCUDA: GPU Run-Time Code Generation for High-Performance Computing.
  
• Ido Ben-Eliezer, Shachar Lovett, Ariel Yadin:
  Polynomial Threshold Functions: Structure, Approximation and Pseudorandomness.
  
• Russell K. Standish:
  Complexity of Networks (reprise).
  
• Nadja Betzler, Britta Dorn:
  Towards a Dichotomy of Finding Possible Winners in Elections Based on Scoring Rules.
  
• Mariemi Alonso, Jérôme Brachat, Bernard Mourrain:
  The Hilbert scheme of points and its link with border basis.
  
• Thomas Blumensath:
  Sampling and reconstructing signals from a union of linear subspaces.
  
• Bikash Kumar Dey, D. Manjunath, Supriyo Chakraborty:
  Estimating Network Link Characteristics using Packet-Pair Dispersion: A Discrete Time Queueing Theoretic View.
  
• Amin Daneshmand Malayeri:
  Noise Speech wavelet analyzing in special time ranges.
  
• Lutz Bornmann, Loet Leydesdorff, Peter Van den Besselaar:
  A Meta-evaluation of Scientific Research Proposals: Different Ways of Comparing Rejected to Awarded Applications.
  
• Pasquale De Meo, Alfredo Garro, Giorgio Terracina, Domenico Ursino:
  X-Learn: An XML-Based, Multi-agent System for Supporting "User-Device" Adaptive E-learning.
  
• Pasquale De Meo, Giovanni Quattrone, Giorgio Terracina, Domenico Ursino:
  "Almost automatic" and semantic integration of XML Schemas at various "severity" levels.
  
• Benjamin I. P. Rubinstein, J. Hyam Rubinstein:
  A Geometric Approach to Sample Compression.
  
• Robert L. Goldstone, Loet Leydesdorff:
  The Import and Export of Cognitive Science.
  
• Iina Hellsten, Loet Leydesdorff, Paul Wouters:
  Multiple Presents: How Search Engines Re-write the Past.
  
• Franck Tarpin-Bernard, Iza Marfisi-Schottman, Halima Habieb-Mammar:
  AnAmeter: The First Steps to Evaluating Adaptation.
  
• Omer Giménez, Guillem Godoy, Sebastian Maneth:
  Deciding Regularity of the Set of Instances of a Set of Terms with Regular Constraints is EXPTIME-Complete.
  
• Gerhard Kramer:
  Pipelined Encoding for Deterministic and Noisy Relay Networks.
  
• Toby Walsh:
  Manipulability of Single Transferable Vote.
  
• V. K. Dhar, A. K. Tickoo, S. K. Kaul, R. Koul, B. P. Dubey:
  Artificial Neural Network-based error compensation procedure for low-cost encoders.
  
• Tobias Kretz:
  Applications of the Dynamic Distance Potential Field Method.
  
• Ronald Hochreiter, David Wozabal:
  Evolutionary estimation of a Coupled Markov Chain credit risk model.
  
• Lucas Cordeiro, Bernd Fischer, João P. Marques Silva:
  Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking.
  
• Dominique Duval, Rachid Echahed, Frédéric Prost:
  Graph rewriting with polarized cloning.
  
• Bastian Laubner:
  Capturing Polynomial Time on Interval Graphs.
  
• Leonardo Ermann, Dima Shepelyansky:
  Google matrix and Ulam networks of intermittency maps.
  
• Jörg Liebeherr, Almut Burchard, Florin Ciucu:
  Delay Bounds for Networks with Heavy-Tailed and Self-Similar Traffic.
  
• Mukul Agarwal, Anant Sahai, Sanjoy K. Mitter:
  Equivalence perspectives in communication, source-channel connections and universal source-channel separation.
  
• Sergey Loyka, Victoria Kostina, François Gagnon:
  Error Rates of the Maximum-Likelihood Detector for Arbitrary Constellations: Convex/Concave Behavior and Applications.
  
• Xiao Ming Zhang:
  A Semantic Grid Oriented to E-Tourism.
  
• Hariharan Narayanan:
  Randomized Interior Point methods for Sampling and Optimization.
  
• Daniel Gayo-Avello, David J. Brenes:
  Making the road by searching - A search engine based on Swarm Information Foraging.
  
• Anxiao Jiang, Robert Mateescu, Eitan Yaakobi, Jehoshua Bruck, Paul H. Siegel, Alexander Vardy, Jack K. Wolf:
  Storage Coding for Wear Leveling in Flash Memories.
  
• Mahmoud Mostafa, Anas Abou El Kalam, Christian Fraboul:
  Extending Firewall Session Table to Accelerate NAT, QoS Classification and Routing.
  
• Mahmoud Mostafa, Anas Abou El Kalam, Christian Fraboul:
  Q-ESP: a QoS-compliant Security Protocol to enrich IPSec Framework.
  
• Maurice Margenstern:
  About a new splitting for the algorithmic study of the tilings $\{p,q\}$ of the hyperbolic plane when $q$ is odd.
  
• Germán Puebla, Elvira Albert, Manuel V. Hermenegildo:
  Efficient Local Unfolding with Ancestor Stacks.
  
• Pablo Arrighi, Gilles Dowek:
  A computational definition of the notion of vectorial space.
  
• Adrian Dumitrescu, Evan Hilscher:
  On convexification of polygons by pops.
  
• Rajgopal Kannan, Costas Busch:
  The Impact of Exponential Utility Costs in Bottleneck Routing Games.
  
• Jayanth Nayak, Ertem Tuncel, Deniz Gündüz:
  Wyner-Ziv Coding over Broadcast Channels: Digital Schemes.
  
• Morgan Harvey, Mark Baillie, Ian Ruthven, David Elsweiler:
  Folksonomic Tag Clouds as an Aid to Content Indexing.
  
• Maxim A. Kolosovskiy, Elena N. Kryuchkova:
  Network congestion control using NetFlow.
  
• Mathieu Boespflug:
  From Self-Interpreters to Normalization by Evaluation.
  
• David L. Donoho, Arian Maleki, Andrea Montanari:
  Message Passing Algorithms for Compressed Sensing: I. Motivation and Construction.
  
• David L. Donoho, Arian Maleki, Andrea Montanari:
  Message Passing Algorithms for Compressed Sensing: II. Analysis and Validation.
  
• Sabu M. Thampi:
  Introduction to Bioinformatics.
  
• Chia-Mu Yu, Chun-Shien Lu, Sy-Yen Kuo:
  Secure Multidimensional Queries in Tiered Sensor Networks.
  
• Chia-Mu Yu, Chun-Shien Lu, Sy-Yen Kuo:
  Constrained Function Based En-Route Filtering for Sensor Networks.
  
• Iza Marfisi-Schottman, Aymen Sghaier, Sébastien George, Franck Tarpin-Bernard, Patrick Prévôt:
  Towards Industrialized Conception and Production of Serious Games.
  
• Kyoung-Dae Kim, P. R. Kumar:
  The Importance, Design and Implementation of a Middleware for Networked Control Systems.
  
• Loet Leydesdorff:
  Similarity Measures, Author Cocitation Analysis, and Information Theory.
  
• Diana Lucio-Arias, Loet Leydesdorff:
  An Indicator of Research Front Activity: Measuring Intellectual Organization as Uncertainty Reduction in Document Sets.
  
• Joaquín García-Alfaro, Michel Barbeau, Evangelos Kranakis:
  Evaluation of Anonymized ONS Queries.
  
• Alexander Gutfraind, Kiyan Ahmadizadeh:
  Markovian Network Interdiction and the Four Color Theorem.
  
• Ki-Hoon Lee, Kyu-Young Whang, Wook-Shin Han, Min-Soo Kim:
  Structural Consistency: Enabling XML Keyword Search to Eliminate Spurious Results Consistently.
  
• Swaminathan Sankararaman, Alon Efrat, Srinivasan Ramasubramanian, Javad Taheri:
  Scheduling Sensors for Guaranteed Sparse Coverage.
  
• Vikraman Arvind, Srikanth Srinivasan:
  Circuit Lower Bounds, Help Functions, and the Remote Point Problem.
  
• Virag Shah, Neelesh B. Mehta, Raymond Yim:
  Splitting Algorithms for Fast Relay Selection: Generalizations, Analysis, and a Unified View.
  
• Samuel Fiorini, Gwenaël Joret, Ugo Pietropaoli:
  Hitting Diamonds and Growing Cacti.
  
• Francesco De Comité, Jean-Paul Delahaye:
  A CounterExample to Kahle-Conjecture, New Conjectures and Automated Proofs in Geometry.
  
• Magnus Lie Hetland:
  Ptolemaic Indexing.
  
• Mauricio Cerda, Lucas D. Terissi, Bernard Girau:
  Bio-inspired speed detection and discrimination.
  
• Sabu M. Thampi:
  Introduction to Distributed Systems.
  
• Nikhil R. Pal, Arijit Laha, Jyotirmay Das:
  Designing fuzzy rule based classifier using self-organizing feature map for analysis of multispectral satellite images.
  
• Arijit Laha, Nikhil R. Pal, Jyotirmay Das:
  Land cover classification using fuzzy rules and aggregation of contextual information through evidence theory.
  
• Xiang He, Aylin Yener:
  The Role of Feedback in Two-way Secure Communications.
  
• Petros A. Petrosyan:
  Interval edge colorings of some products of graphs.
  
• Cenk M. Yetis, Tiangao Gou, Syed Ali Jafar, Ahmet H. Kayran:
  On Feasibility of Interference Alignment in MIMO Interference Networks.
  
• Giorgio Bacci, Davide Grohmann, Marino Miculan:
  Bigraphical models for protein and membrane interactions. 3-18
  
• Giorgio Bacci, Davide Grohmann, Marino Miculan:
  A framework for protein and membrane interactions. 19-33
  
• Bruno Bauwens:
  On the equivalence between minimal sufficient statistics, minimal typical models and initial segments of the Halting sequence.
  
• Alexander Barg, Arya Mazumdar:
  On the Number of Errors Correctable with Codes on Graphs.
  
• Xiaohu Shang, Biao Chen, Gerhard Kramer, H. Vincent Poor:
  MIMO Z-Interference Channels: Capacity Under Strong and Noisy Interference.
  
• Anand Louis, Nisheeth K. Vishnoi:
  Improved Algorithm for Degree Bounded Survivable Network Design Problem.
  
• Toru Hasunuma, Toshimasa Ishii, Hirotaka Ono, Yushi Uno:
  A tight upper bound on the (2,1)-total labeling number of outerplanar graphs.
  
• Vadim E. Levit, Eugen Mandrescu:
  A characterization of Konig-Egervary graphs using a common property of all maximum matchings.
  
• N. Srinidhi, Saif K. Mohammed, Ananthanarayanan Chockalingam, B. Sundar Rajan:
  Near-ML Signal Detection in Large-Dimension Linear Vector Channels Using Reactive Tabu Search.
  
• Nicolas Castagné, Claude Cadoz, Ali Allaoui, Olivier Michel Tache:
  G3 : GENESIS software envrionment update.
  
• Gaël Varoquaux, Sepideh Sadaghiani, Jean-Baptiste Poline, Bertrand Thirion:
  CanICA: Model-based extraction of reproducible group-level ICA patterns from fMRI time series.
  
• Abdellatif Zaidi, Shivaprasad Kotagiri, J. Nicholas Laneman, Luc Vandendorpe:
  Cooperative Relaying with State Available Non-Causally at the Relay.
  
• Tuhin Sahai, Alberto Speranzon, Andrzej Banaszuk:
  Hearing the clusters in a graph: A distributed algorithm.
  
• Qi Ge, Daniel Stefankovic:
  A graph polynomial for independent sets of bipartite graphs.
  
• Yao Yu, Athina P. Petropulu, H. Vincent Poor:
  MIMO Radar Using Compressive Sampling.
  
• Theresa Velden, Asif-ul Haque, Carl Lagoze:
  A New Approach to Analyzing Patterns of Collaboration in Co-authorship Networks - Mesoscopic Analysis and Interpretation.
  
• Laurent Braud:
  Covering of ordinals.
  
• Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier:
  O-Minimal Hybrid Reachability Games.
  
• Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama:
  A Process Calculus for Molecular Interaction Maps. 35
  
• Frank Nielsen, Vincent Garcia:
  Statistical exponential families: A digest with flash cards.
  
• Amelia Carolina Sparavigna, Roberto Marazzato:
  Non-photorealistic image processing: an Impressionist rendering.
  
• Ali Hormati, Amin Karbasi, Soheil Mohajer, Martin Vetterli:
  An Estimation Theoretic Approach for Sparsity Pattern Recovery in the Noisy Setting.
  
• Ali Tajer, Aria Nosratinia:
  Diversity Order in ISI Channels with Single-Carrier Frequency-Domain Equalizers.
  
• Ci-Hang Jin, Jian-Guo Liu, Yi-Cheng Zhang, Tao Zhou:
  Adaptive information filtering for dynamic recommender systems.
  
• Sebastian F. Walter:
  Efficient Higher Order Derivatives of Objective Functions Composed of Matrix Operations.
  
• Lianlin Li, Behnam Jafarpour:
  A Sparse Bayesian Estimation Framework for Conditioning Prior Geologic Models to Nonlinear Flow Measurements.
  
• Shay Mozes, Christian Wulff-Nilsen:
  Shortest Paths in Planar Graphs with Real Lengths in $O(n\log^2n/\log\log n)$ Time.
  
• Jérémy Barbay, Travis Gagie, Gonzalo Navarro, Yakov Nekrich:
  Alphabet Partitioning for Compressed Rank/Select with Applications.
  
• Thomas Anung Basuki, Antonio Cerone, Rafael V. Carvalho:
  Modelling Cell Cycle using Different Levels of Representation. 51-69
  
• Federica Ciocchetta, Adam Duguid, Maria Luisa Guerriero:
  A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA. 71-90
  
• Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina:
  A Type System for a Stochastic CLS. 91-105
  
• Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu:
  New Solutions to the Firing Squad Synchronization Problems for Neural and Hyperdag P Systems. 107-122
  
• Rudolf Freund, Marian Kogler:
  Drip and Mate Operations Acting in Test Tube Systems and Tissue-like P systems. 123-135
  
• Roberta Gori, Francesca Levi:
  Abstract Interpretation for Probabilistic Termination of Biological Systems. 137-153
  
• G. Michele Pinna, Andrea Saba:
  Dependencies and Simultaneity in Membrane Systems. 155-169
  
• Sang Won Bae, Yoshio Okamoto:
  Querying Two Boundary Points for Shortest Paths in a Polygonal Domain.
  
• Jan A. Bergstra, C. A. Middelburg:
  Autosolvability of halting problem instances for instruction sequences.
  
• Daniel Kharitonov:
  Time-domain approach to energy efficiency in high-performance network element design.
  
• Shihabur Rahman Chowdhury, Masud Hasan, Sumaiya Iqbal, M. Sohel Rahman:
  An $O(n^2)$ Algorithm for Computing Longest Common Cyclic Subsequence.
  
• Claudia d'Amato, Nicola Fanizzi, Floriana Esposito:
  A Semantic Similarity Measure for Expressive Description Logics.
  
• Joaquín Pérez-Iglesias, José R. Pérez-Agüera, Víctor Fresno, Yuval Z. Feinstein:
  Integrating the Probabilistic Models BM25/BM25F into Lucene.
  
• Laura Cottatellucci, Ralf R. Müller, Mérouane Debbah:
  Asynchronous CDMA Systems with Random Spreading-Part II: Design Criteria.
  
• Menelaos I. Karavelas, Eleni Tzanaki:
  Convex hulls of hyperspheres and convex hulls of convex polytopes lying on parallel hyperplanes.
  
• Uriel Feige:
  Faster FAST(Feedback Arc Set in Tournaments).
  
• Pedro A. Ortega, Daniel A. Braun:
  A Bayesian Rule for Adaptive Control based on Causal Interventions.
  
• Pedro A. Ortega, Daniel A. Braun:
  A conversion between utility and information.
  
• Laurent Romary:
  Standardization of the formal representation of lexical information for NLP.
  
• MohammadHossein Bateni, MohammadTaghi Hajiaghayi, Dániel Marx:
  Approximation Schemes for Steiner Forest on Planar Graphs and Graphs of Bounded Treewidth.
  
• Aimilia P. Doukeli, Athanasios S. Lioumpas, George K. Karagiannidis, Panayiotis Frangos:
  Self-Reference Ultra-Wideband Systems.
  
• Hartmut Prautzsch, Qi Chen:
  Analyzing Midpoint Subdivision.
  
• Henning Thielemann:
  Untangling Phase and Time in Monophonic Sounds.
  
• Xiaochu Qi:
  An Implementation of the Language Lambda Prolog Organized around Higher-Order Pattern Unification.
  
• Yutaka Oiwa, Hajime Watanabe, Hiromitsu Takagi:
  PAKE-based mutual HTTP authentication for preventing phishing attacks.
  
• Ivo Düntsch, Ian Pratt-Hartmann:
  Complex Algebras of Arithmetic.
  
• Rafael R. Kamalian, Petros A. Petrosyan:
  A note on upper bounds for the maximum span in interval edge colorings of graphs.
  
• R. J. J. H. van Son:
  Quantifying Resource Use in Computations.
  
• Srinivas C. Turaga, Kevin L. Briggman, Moritz Helmstaedter, Winfried Denk, H. Sebastian Seung:
  Maximin affinity learning of image segmentation.
  
• Victor Odumuyiwa:
  De la recherche sociale d'information à la recherche collaborative d'information.
  
• Robert Crowston, Gregory Gutin, Mark Jones:
  Note on Max Lin-2 above Average.
  
• Laura Cottatellucci, Ralf R. Müller, Mérouane Debbah:
  Asynchronous CDMA Systems with Random Spreading-Part I: Fundamental Limits.
  
• Ping Zhu:
  Covering rough sets based on neighborhoods.
  
• Ping Zhu:
  An axiomatic approach to the roughness measure of rough sets.
  
• Atul Chowdhary, Vivek Agrawal, Subhajit Karmakar, Sandip Sarkar:
  Laser Actuated Presentation System.
  
• Jochen L. Leidner, Gary Berosik:
  Building and Installing a Hadoop/MapReduce Cluster from Commodity Components.
  
• Marco Carbone, Joshua D. Guttman:
  Choreographies with Secure Boxes and Compromised Principals. 1-15
  
• Dave Clarke, José Proença:
  Coordination via Interaction Constraints I: Local Logic. 17-39
  
• Mohamad Jaber, Ananda Basu, Simon Bliudze:
  Symbolic Implementation of Connectors in BIP. 41-55
  
• Christian Krause:
  Integrated Structure and Semantics for Reo Connectors and Petri Nets. 57-69
  
• Luca Padovani:
  Session Types at the Mirror. 71-86
  
• Graham H. Norton:
  Shortest Two-way Linear Recurrences.
  
• S. Mahdi Hosseini, Babak Nadjar Araabi, Hamid Soltanian-Zadeh:
  Pigment Melanin: Pattern for Iris Recognition.
  
• Jinshan Zhang, Heng Liang, Fengshan Bai:
  Approximating Partition Functions of Two-State Spin Systems.
  
• Jinshan Zhang, Heng Liang, Fengshan Bai:
  Strong Spatial Mixing for Binary Markov Random Fields.
  
• G. David Forney Jr.:
  Codes on graphs: MacWilliams identities.
  
• Rajesh T. Krishnamachari, Mahesh K. Varanasi:
  Interference Alignment Under Limited Feedback for MIMO Interference Channels.
  
• Øyvind Ryan, Antonia Masucci, Sheng Yang, Mérouane Debbah:
  Finite Dimensional Statistical Inference.
  
• Namrata Vaswani:
  LS-CS: Compressive Sensing on Least Squares Residual.
  
• Paolo Torrini, Reiko Heckel:
  Towards an embedding of Graph Transformation in Intuitionistic Linear Logic. 99-115
  
• Boaz Barak, Moritz Hardt, Thomas Holenstein, David Steurer:
  Subsampling Semidefinite Programs and Max-Cut on the Sphere.
  
• Kamyar Moshksar, Alireza Bayesteh, Amir K. Khandani:
  A model for randomized resource allocation in decentralized wireless networks.
  
• Xiaofei Huang:
  A Decision-Optimization Approach to Quantum Mechanics and Game Theory.
  
• Kamyar Moshksar, Alireza Bayesteh, Amir K. Khandani:
  Randomized vs. orthogonal spectrum allocation in decentralized networks: Outage Analysis.
  
• Loet Leydesdorff:
  Giddens' "structuration," Luhmann's "self-organization," and the operationalization of the dynamics of meaning.
  
• Cédric Messiant, Thierry Poibeau:
  Acquisition d'informations lexicales à partir de corpus Cédric Messiant et Thierry Poibeau.
  
• Franck Cappello, Henri Casanova, Yves Robert:
  Checkpointing vs. Migration for Post-Petascale Machines.
  
• Carlo A. Furia, Matteo Rossi:
  A Theory of Sampling for Continuous-time Metric Temporal Logic.
  
• Alain Loisel, Nathalie Chaignaud, Jean-Philippe Kotowicz:
  Modeling Human Interaction to Design a Human-Computer Dialog System.
  
• Katarzyna E. Paluch:
  Faster and simpler approximation of stable matchings.
  
• Christian Senger, Steffen Schober, Tong Mao, Alexander Zeh:
  End-to-End Algebraic Network Coding for Wireless TCP/IP Networks.
  
• Jakub T. Moscicki, Maciej Wos, Massimo Lamanna, Philippe de Forcrand, Owe Philipsen:
  Lattice QCD Thermodynamics on the Grid.
  
• Olivier Picard, Alexandre Blondin Massé, Stevan Harnad, Odile Marcotte, Guillaume Chicoisne, Yassine Gargouri:
  Hierarchies in Dictionary Definition Space.
  
• Benjamin I. P. Rubinstein, Peter L. Bartlett, Ling Huang, Nina Taft:
  Learning in a Large Function Space: Privacy-Preserving Mechanisms for SVM Learning.
  
• Tullio Ceccherini-Silberstein, Wolfgang Woess:
  Context-free pairs of groups I: Context-free pairs and graphs.
  
• Julia Kempe, Oded Regev:
  No Strong Parallel Repetition with Entangled and Non-signaling Provers.
  
• Kirk D. Borne:
  Scientific Data Mining in Astronomy.
  
• Peter Huggins, Wenbin Li, David Haws, Thomas Friedrich, Jinze Liu, Ruriko Yoshida:
  Bayes estimators for phylogenetic reconstruction.
  
• Mark A. Davenport, Jason N. Laska, Petros Boufounos, Richard G. Baraniuk:
  A simple proof that random matrices are democratic.
  
• S. A. Ibáñez, P. I. Fierens, G. A. Patterson, R. P. J. Perazzo, D. F. Grosz:
  One-bit stochastic resonance storage device.
  
• Scott Aaronson, Andris Ambainis:
  The Need for Structure in Quantum Speedups.
  
• Fei Wei, Huazhong Yang:
  Waveform Transmission Method, a New Waveform-relaxation Based Algorithm to Solve Ordinary Differential Equations in Parallel.
  
• Loet Leydesdorff:
  Caveats for the Use of Citation Indicators in Research and Journal Evaluations.
  
• Loet Leydesdorff:
  The delineation of nanoscience and nanotechnology in terms of journals and patents: a most recent update.
  
• Loet Leydesdorff:
  On the Normalization and Visualization of Author Co-Citation Data Salton's Cosine versus the Jaccard Index.
  
• Diana Lucio-Arias, Loet Leydesdorff:
  Main-path analysis and path-dependent transitions in HistCite(TM)-based historiograms.
  
• Han Woo Park, Loet Leydesdorff:
  Korean journals in the Science Citation Index: What do they reveal about the intellectual structure of S&T in Korea?
  
• Bernd R. Schuh:
  Logical Primes, Metavariables and Satisfiability.
  
• Andris Ambainis, Julia Kempe, Or Sattath:
  A Quantum Lovasz Local Lemma.
  
• Mathieu Bogaerts:
  Isometries and Construction of Permutation Arrays.
  
• Carlos P. Roca, José A. Cuesta, Angel Sánchez:
  Evolutionary game theory: Temporal and spatial effects beyond replicator dynamics.
  
• Marc Harper:
  The Replicator Equation as an Inference Dynamic.
  
• Marc Harper:
  Escort Evolutionary Game Theory.
  
• Anton Leykin:
  Numerical Algebraic Geometry for Macaulay2.
  
• Jacobus H. Koolen, Woo-Sun Lee, William J. Martin:
  Arithmetic completely regular codes.
  
• P. G. L. Porta Mana:
  On the relation between plausibility logic and the maximum-entropy principle: a numerical study.
  
• Fermín Moscoso del Prado Martín:
  Analytical Determination of Fractal Structure in Stochastic Time Series.
  
• Olivier Finkel:
  On Some Sets of Dictionaries Whose omega-Powers Have a Given Complexity.
  
• Alyssa Goodman:
  Seeing Science.
  
• Jan L. Cieslinski:
  On the exact discretization of the classical harmonic oscillator equation.
  
• Edwin J. Beggs, José Félix Costa, John V. Tucker:
  Limits to measurement in experiments governed by algorithms.
  
• Débora C. Corrêa, José Hiroki Saito, Luciano da F. Costa:
  Musical Genres: Beating to the Rhythms of Different Drums.
  
• Christopher M. White, Sanjeev Khudanpur, Patrick J. Wolfe:
  Likelihood-based semi-supervised model selection with applications to speech processing.
  
• Olivier Chenu, Nicolas Vuillerme, Jacques Demongeot, Yohan Payan:
  A wireless lingual feedback device to reduce overpressures in seated posture: a feasibility study.
  
• Alberto Pepe, Marko A. Rodriguez:
  An in-depth longitudinal analysis of mixing patterns in a small scientific collaboration network.
  
• Gowtham Bellala, Suresh K. Bhavnani, Clayton Scott:
  Group-based Query Learning for rapid diagnosis in time-critical situations.
  
• Laurent Poinsot, Gérard Duchamp, Christophe Tollu:
  Möbius inversion formula for monoids with zero.
  
• David J. Aldous:
  Which Connected Spatial Networks on Random Points have Linear Route-Lengths?
  
• Daniel Perrucci:
  Linear Solving for Sign Determination.
  
• Martin Roetteler:
  Quantum algorithms to solve the hidden shift problem for quadratics and for functions of large Gowers norm.