default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, 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 A. 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, Raphaël 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, Mohd Fadzil Bin 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. - Mohammad Karimadini, Hai 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. - Cédric 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, Elhassane Ibnelhaj:
A Wavelet-Based Digital Watermarking for Video. - Sudip Dogra, Ritwik Ray, Saustav Ghosh, Debharshi Bhattacharya, Subir Kumar 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 W. 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 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, 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, Sahin Emrah Amrahov:
Solution of General Fuzzy Linear Systems. - Dániel Marx:
Tractable hypergraph properties for constraint satisfaction and conjunctive queries. - Ahmed Ahmedin, Marwa Ali, Ahmed K. 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, Elhassane 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, Benoît Charbonnier:
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. - (Withdrawn) 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. - (Withdrawn) 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. - (Withdrawn) 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 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 J. Cusick:
Biological Computing Fundamentals and Futures. - Ashish Darbari, Bernd Fischer, João 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, Cornelis 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 J. 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 M. 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, Kim Thang Nguyen:
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 O. Lumbroso:
Optimal Partial Tiling of Manhattan Polyominoes. - Olivier Bodini:
On the Minimum Size of a Contraction-Universal Tree. - S. Barry Cooper, Vincent Danos:
Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, DCM 2009, Rhodes, Greece, 11th July 2009. EPTCS 9, 2009 [contents] - Jie Gao, Sergiy A. Vorobyov, Hai Jiang:
Cooperative Precoding/Resource Allocation Games under Spectral Mask and Total Power Constraints. - (Withdrawn) 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. - Vladimir 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 G. 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:
Proceedings 16th International Workshop on Expressiveness in Concurrency, EXPRESS 2009, Bologna, Italy, 5th September 2009. 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:
Proceedings International Workshop on Verification of Infinite-State Systems, INFINITY 2009, Bologna, Italy, 31th August 2009. EPTCS 10, 2009 [contents] - Andreas Klöckner, Nicolas Pinto, Yunsup Lee, Bryan 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 C. Cordeiro, Bernd Fischer, João 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, Cornelis A. Middelburg:
Autosolvability of halting problem instances for instruction sequences. - Daniel Kharitonov:
Time-domain approach to energy efficiency in high-performance network element design. - (Withdrawn) 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 Z. 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 - (Withdrawn) 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. - Santiago Agustín Ibáñez, Pablo Ignacio Fierens, Germán Agustín Patterson, Roberto Pedro José Perazzo, Diego Fernando 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, Ángel 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. - Coryn A. L. Bailer-Jones:
The ILIUM forward modelling algorithm for multivariate parameter estimation and its application to derive stellar parameters from Gaia spectrophotometry. - Heinz Baier, Hans Boettiger, Matthias Drochner, Norbert Eicker, Uwe Fischer, Zoltán Fodor, Andreas Frommer, Claude Gomez, Gottfried Goldrian, Simon Heybrock, Dieter Hierl, Matthias Hüsken, Thomas H. Huth, Benjamin Krill, Jack Lauritsen, Thomas Lippert, Thilo Maurer, Bernhard Mendl, Nils Meyer, Andrea Nobile, Ibrahim Ouda, Marcello Pivanti, Dirk Pleiter, Manfred Ries, Andreas Schäfer, Heiko Schick, Sebastiano Fabio Schifano, Hubert Simma, Stefan Solbrig, Thomas Streuer, Karl-Heinz Sulanke, Raffaele Tripiccione, Jörg-Stephan Vogt, Tilo Wettig, Frank Winter:
QPACE - a QCD parallel computer based on Cell processors. - Rafael Calsaverini, Renato Vicente:
An information theoretic approach to statistical dependence: copula information. - Jan L. Cieslinski:
Comment on 'conservative discretizations of the Kepler motion'. - Toby S. Cubitt, Debbie W. Leung, William Matthews, Andreas J. Winter:
Improving zero-error classical communication with entanglement. - Anton I. Korobeynikov:
Computation- and Space-Efficient Implementation of SSA. - Thomas Jörg, Florent Krzakala, Guilhem Semerjian, Francesco Zamponi:
First-order transitions and the performance of quantum algorithms in random optimization problems. - Shmuel Onn:
Theory and Applications of N-Fold Integer Programming. - Gert de Cooman, Erik Quaeghebeur:
Exchangeability and sets of desirable gambles. - Ryota Tomioka, Taiji Suzuki, Masashi Sugiyama:
Super-Linear Convergence of Dual Augmented-Lagrangian Algorithm for Sparsity Regularized Estimation. - Bahman Gharesifard, Jorge Cortés:
Distributed strategies for generating weight-balanced and doubly stochastic digraphs. - Tomoki Ohsawa, Anthony M. Bloch, Melvin Leok:
Discrete Hamilton-Jacobi Theory. - Ming Gu, Lek-Heng Lim, Cinna Julie Wu:
PARNES: A rapidly convergent algorithm for accurate recovery of sparse and approximately sparse signals. - Mark D. McDonnell, Adrian P. Flitney:
Signal acquisition via polarization modulation in single photon sources. - Arash Ahadi, Ali Dehghan:
Upper bounds for the 2-hued chromatic number of graphs in terms of the independence number.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-08 22:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
