default search action
CoRR, December 2010
- Peter Sanders, Christian Schulz:
Engineering Multilevel Graph Partitioning Algorithms. - Arnaud Casteigts, Paola Flocchini, Walter Quattrociocchi, Nicola Santoro:
Time-Varying Graphs and Dynamic Networks. - Deli Qiao, Mustafa Cenk Gursoy, Senem Velipasalar:
Secure Wireless Communication and Optimal Power Control under Statistical Queueing Constraints. - Danny Hermelin, Matthias Mnich, Erik Jan van Leeuwen, Gerhard J. Woeginger:
Domination When the Stars Are Out. - Fen Zhou, Miklós Molnár, Bernard Cousin:
Is Light-Tree Structure Optimal for Multicast Routing in Sparse Light Splitting WDM Networks? - Fen Zhou, Miklós Molnár, Bernard Cousin:
Light-Hierarchy: The Optimal Structure for Multicast Routing in WDM Mesh Networks. - Jan Østergaard, Richard Heusdens, Jesper Jensen:
n-Channel Asymmetric Entropy-Constrained Multiple-Description Lattice Vector Quantization. - Géza Horváth, Benedek Nagy:
Pumping lemmas for linear and nonlinear context-free languages. - Fen Zhou, Miklós Molnár, Bernard Cousin:
Avoidance of multicast incapable branching nodes for multicast routing in WDM networks. - Antal Iványi, Balázs Novák:
Testing of sequences by simulation. - Shariefuddin Pirzada, Guofei Zhou, Antal Iványi:
Score lists in multipartite hypertournaments. - Fen Zhou, Miklós Molnár, Bernard Cousin:
Hypo-Steiner heuristic for multicast routing in all-optical WDM mesh networks. - Norbert Pataki:
Testing by C++ template metaprograms. - Margit Antal, Levente Erös, Attila Imre:
Computerized adaptive testing: implementation issues. - Peter Jakubco, Slavomír Simonák, Norbert Ádám:
Communication model of emuStudio emulation platform. - Zoltán Kátai:
Modelling dynamic programming problems by generalized d-graphs. - Pascal O. Vontobel:
Counting in Graph Covers: A Combinatorial Characterization of the Bethe Entropy Function. - K. V. Srinivas, Raviraj S. Adve, Andrew W. Eckford:
Molecular communication in fluid media: The additive inverse Gaussian noise channel. - C. Harshith, Karthik R. Shastry, Manoj Ravindran, M. V. V. N. S. Srikanth, Naveen Lakshmikhanth:
Survey on Various Gesture Recognition Techniques for Interfacing Machines Based on Ambient Intelligence. - Mark van Hoeij, Vivek Pal:
Isomorphisms of Algebraic Number Fields. - Theodoros K. Dikaliotis, Tracey Ho, Sidharth Jaggi, Svitlana Vyetrenko, Hongyi Yao, Michelle Effros, Jörg Kliewer, Elona Erez:
Multiple-access Network Information-flow and Correction Codes. - Md. Enamul Azim, Md. Mostofa Akbar, M. Kaykobad:
Some fascinating series and their sums. - Helmi Chaouech, Ridha Bouallegue:
Channel Estimation And Multiuser Detection In Asynchronous Satellite Communications. - Paolo Plini, Sabina Di Franco, Valentina De Santis, Vito F. Uricchio, Dario De Carlo, Stefania D'Arpa, Monica De Martino, Riccardo Albertoni:
A Joint Initiative to Support the Semantic Interoperability within the GIIDA Project. - Dirk Helbing, Stefano Balietti:
From Social Data Mining to Forecasting Socio-Economic Crisis. - A. Kannan, V. Mohan, Neelamegam Anbazhagan:
An Effective Method of Image Retrieval using Image Mining Techniques. - Tanaeem M. Moosa, M. Sohel Rahman:
Improved Algorithms for the Point-Set Embeddability problem for Plane 3-Trees. - Thomas Hugel:
Kolmogorov-Loveland Sets and Advice Complexity Classes. - Julia Chuzhoy:
An Algorithm for the Graph Crossing Number Problem. - Pavlos S. Efraimidis:
Weighted Random Sampling over Data Streams. - Pavlos S. Efraimidis:
(\alpha, \beta) Fibonacci Search. - Prithwish Basu, Amotz Bar-Noy, Ram Ramanathan, Matthew P. Johnson:
Modeling and Analysis of Time-Varying Graphs. - Szymon Grabowski, Simone Faro, Emanuele Giaquinta:
String Matching with Inversions and Translocations in Linear Average Time (Most of the Time). - L. F. Johnson:
Middle and Ripple, fast simple O(lg n) algorithms for Lucas Numbers. - Vitaly Schetinin, Jonathan E. Fieldsend, Derek Partridge, Wojtek J. Krzanowski, Richard M. Everson, Trevor C. Bailey, Adolfo Hernández:
A Bayesian Methodology for Estimating Uncertainty of Decisions in Safety-Critical Systems. - Ammar Adl, Amr Badr, Ibrahim Farag:
Towards a Spiking Neural P Systems OS. - Sudeepa Roy, Vittorio Perduca, Val Tannen:
Faster Query Answering in Probabilistic Databases using Read-Once Functions. - Ping Zhou, Loet Leydesdorff:
Fractional counting of citations in research evaluation: An option for cross- and interdisciplinary assessments. - Zhouchen Lin, Siming Wei:
A Block Lanczos with Warm Start Technique for Accelerating Nuclear Norm Minimization Algorithms. - Emmanuel Abbe:
Universal polar coding and sparse recovery. - Yan Liang, Chengling Jiang, Chunliang Yang:
Dynamic Resource Coordination and Interference Management for Femtocell Networks. - Silvija Kokalj-Filipovic, Fabrice Le Fessant, Predrag Spasojevic:
Some Important Aspects of Source Location Protection in Globally Attacked Sensor Networks. - Silvija Kokalj-Filipovic, Fabrice Le Fessant, Predrag Spasojevic:
Quality of Source Location Protection in Globally Attacked Sensor Networks. - Fei Gao, Gennian Ge:
Supporting Information for the Paper: Optimal Ternary Constant-Composition Codes of Weight Four and Distance Five, IEEE Trans. Inform. Theory, To Appear. - Ramtin Madani, Ali Ayremlou, Arash Amini, Farrokh Marvasti:
Optimized Spline Interpolation. - Naresh Sharma, Smarajit Das, Siddharth Muthukrishnan:
Entropy power inequality for a family of discrete random variables. - Adnan Raja, Pramod Viswanath:
Compress-and-Forward Scheme for a Relay Network: Approximate Optimality and Connection to Algebraic Flows. - Umer Salim, Dirk T. M. Slock:
Average Minimum Transmit Power to achieve SINR Targets: Performance Comparison of Various User Selection Algorithms. - Uwe Laufs, Christopher Ruff, Jan Zibuschka:
MT4j - A Cross-platform Multi-touch Development Framework. - Mingxuan Sun, Guy Lebanon, Paul Kidwell:
Estimating Probabilities in Recommendation Systems. - Michele Mazzucco, Manuel Mazzara, Nicola Dragoni:
Design of QoS-aware Provisioning Systems. - Vida Dujmovic, Stefan Langerman:
A Center Transversal Theorem for Hyperplanes and Applications to Graph Drawing. - Lane A. Hemaspaandra:
A Note on Nonuniform versus Uniform ACC^k Circuits for NE. - Andrey Yu. Rumyantsev:
Infinite computable version of Lovasz Local Lemma. - Michael Hoffmann, Micha Sharir, Adam Sheffer, Csaba D. Tóth, Emo Welzl:
Counting Plane Graphs: Flippability and its Applications. - Charlotte Hucher, Parastoo Sadeghi:
Towards a Low-Complexity Dynamic Decode-and-Forward Relay Protocol. - Alexandros G. Dimakis, Roxana Smarandache, Pascal O. Vontobel:
LDPC Codes for Compressed Sensing. - Dhinaharan Nagamalai, Beatrice Cynthia Dhinakaran, Jae-Kwang Lee:
Novel Mechanism to Defend DDoS Attacks Caused by Spam. - Radwa El Shawi, Joachim Gudmundsson, Christos Levcopoulos:
Quickest Path Queries on Transportation Network. - Amin Milani Fard, Ke Wang:
An Effective Clustering Approach to Web Query Log Anonymization. - Denis V. Efimov, Tarek Raïssi, Ali Zolghadri:
Adaptive Set Observers Design for Nonlinear Continuous-Time Systems: Application to Fault Detection and Diagnosis. - John Kit Tang, Cecilia Mascolo, Mirco Musolesi, Vito Latora:
Exploiting Temporal Complex Network Metrics in Mobile Malware Containment. - Vitaly Feldman, Venkatesan Guruswami, Prasad Raghavendra, Yi Wu:
Agnostic Learning of Monomials by Halfspaces is Hard. - José L. Balcázar, Cristina Tîrnauca:
Closed-set-based Discovery of Representative Association Rules Revisited. - José L. Balcázar, Cristina Tîrnauca:
Border Algorithms for Computing Hasse Diagrams of Arbitrary Lattices. - Mark Kaminski, Sigurd Schneider, Gert Smolka:
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies. - Ernesto Damiani, Francesco Pagano:
Handling Confidential Data on the Untrusted Cloud: An Agent-based Approach. - Matthias Hein, Thomas Bühler:
An Inverse Power Method for Nonlinear Eigenproblems with Applications in 1-Spectral Clustering and Sparse PCA. - Piotr Frackiewicz:
Application of the EWL protocol to decision problems with imperfect recall. - Gus Gutoski:
Interactive proofs with competing teams of no-signaling provers. - Yves Moinard:
Using ASP with recent extensions for causal explanations. - Pekka Malo, Pyry-Antti Siitari, Ankur Sinha:
Automated Query Learning with Wikipedia and Genetic Programming. - Pekka Malo, Pyry-Antti Siitari, Oskar Ahlgren, Jyrki Wallenius, Pekka J. Korhonen:
Semantic Content Filtering with Wikipedia and Ontologies. - Alok Kumar Jagadev, Binod Kumar Pattanayak, Manoj Kumar Mishra, Manojranjan Nayak:
Power and Delay Aware On-Demand Routing For Ad Hoc Networks. - Nan Li, Ivor W. Tsang, Zhi-Hua Zhou:
Efficiently Learning Nonlinear Classifiers for Domain Specific Performance Measures. - Benjamin Doerr, Daniel Johannsen, Timo Kötzing, Per Kristian Lehre, Markus Wagner, Carola Winzen:
Faster Black-Box Algorithms Through Higher Arity Operators. - Soheil Feizi-Khankandi, Muriel Médard, Michelle Effros:
Compressive Sensing Over Networks. - Ioannis K. Paparrizos:
A tight bound on the worst-case number of comparisons for Floyd's heap construction algorithm. - (Withdrawn) Hash function based on arithmetic coding and public-key cryptography.
- Dongning Guo, Jun Luo, Lei Zhang, Kai Shen:
Compressed Neighbor Discovery for Wireless Networks. - Benedikt Ahrens, Julianna Zsido:
Initial Semantics for higher-order typed syntax. - Huy Nguyen, Guanbo Zheng, Zhu Han, Rong Zheng:
Binary Inference for Primary User Separation in Cognitive Radio Networks. - Victor Poupet:
Yet another aperiodic tile set. - Danièle Gardy, Yann Ponty:
Weighted random generation of context-free languages: Analysis of collisions in random urn occupancy models. - Hien Thi Thu Truong, Claudia-Lavinia Ignat:
A Log Auditing Approach for Trust Management in Peer-to-Peer Collaboration. - Patrick Schneider, Heiko Rossnagel, Jan Zibuschka:
Mobiles ortsbezogenes Projektmanagement. - Tobias Brunsch, Heiko Röglin:
Lower Bounds for the Smoothed Number of Pareto optimal Solutions. - Gilda Ferreira, Paulo Oliva:
Functional Interpretations of Intuitionistic Linear Logic. - Weisheng Dong, Lei Zhang, Guangming Shi, Xiaolin Wu:
Image Deblurring and Super-resolution by Adaptive Sparse Domain Selection and Adaptive Regularization. - Bo Peng, Lei Zhang, David Zhang:
Automatic Image Segmentation by Dynamic Region Merging. - Prasad Chebolu, Leslie Ann Goldberg, Russell A. Martin:
The Complexity of Approximately Counting Stable Roommate Assignments. - János Pach, Gábor Tardos:
Tight lower bounds for the size of epsilon-nets. - Predrag Janicic:
Uniform Reduction to SAT. - Ram Rajagopal, XuanLong Nguyen, Sinem Coleri Ergen, Pravin Varaiya:
Simultaneous Sequential Detection of Multiple Interacting Faults. - Alexander Shen:
Decomposition Complexity. - Dohan Kim:
Representations of task assignments in distributed systems using Young tableaux and symmetric groups. - Siddhartan Govindasamy, Daniel W. Bliss:
On the Spectral Efficiency of Links with Multi-antenna Receivers in Non-homogenous Wireless Networks. - Bruno Durand, Alexander Shen, Andrei E. Romashchenko:
1D Effectively Closed Subshifts and 2D Tilings. - Emmanuel Jeandel, Pascal Vanier:
Slopes of Tilings. - Andrés Moreira, Anahí Gajardo:
Time-Symmetric Cellular Automata. - Laurent Boyer, Martin Delacourt, Mathieu Sablik:
Construction of μ-Limit Sets. - Pablo Arrighi, Vincent Nesme:
The Block Neighborhood. - Daniel M. Kane:
Unary Subset-Sum is in Logspace. - Domenico Cantone, Simone Faro:
On Tuning the Bad-Character Rule: the Worst-Character Rule. - Hermann Gruber:
On Balanced Separators, Treewidth, and Cycle Rank. - Ofer Dekel, Ran Gilad-Bachrach, Ohad Shamir, Lin Xiao:
Optimal Distributed Online Prediction using Mini-Batches. - Ofer Dekel, Ran Gilad-Bachrach, Ohad Shamir, Lin Xiao:
Robust Distributed Online Prediction. - Fanping Du:
Negative frequency communication. - David Burshtein, Idan Goldenberg:
Improved linear programming decoding of LDPC codes and bounds on the minimum and fractional distance. - Francis R. Bach:
Shaping Level Sets with Submodular Functions. - A. Karim Abu-Affash:
An Approximation Algorithm for the Euclidean Bottleneck Steiner Tree Problem. - Ferdinando Cicalese, Martin Milanic, Ugo Vaccaro:
Hardness, approximability, and exact algorithms for vector domination and total vector domination in graphs. - Laurent Bartholdi, Pedro V. Silva:
Groups defined by automata. - Laurent Bartholdi, Pedro V. Silva:
Rational subsets of groups. - Wenyi Zhang:
A Unified Analysis of Transmission with Transceiver Distortion and Some Applications. - Martin Hoefer, Michal Penn, Maria Polukarov, Alexander Skopalik, Berthold Vöcking:
Considerate Equilibrium. - Emad Saad:
Bridging the Gap between Reinforcement Learning and Knowledge Representation: A Logical Off- and On-Policy Framework. - Wided Oueslati, Jalel Akaichi:
A Survey on Data Warehouse Evolution. - Daniel M. Kane, Jelani Nelson:
A Sparser Johnson-Lindenstrauss Transform. - Rafael Berlanga Llavori, Ernesto Jiménez-Ruiz, Victoria Nebot:
Building conceptual spaces for exploring and linking biomedical resources. - Daniel M. Kane:
k-Independent Gaussians Fool Polynomial Threshold Functions. - Kenneth McLeod, Gus Ferguson, Albert Burger:
Argudas: arguing with gene expression information. - Sylvie Ranwez, Vincent Ranwez, Mohameth-François Sy, Jacky Montmain, Michel Crampes:
User Centered and Ontology Based Information Retrieval System for Life Sciences. - Pablo López-García:
Are SNOMED CT Browsers Ready for Institutions? Introducing MySNOM. - Maria Rüther, Thomas Bandholtz, Antoine Logean:
Linked Environment Data for the Life Sciences. - Abdelaali Briache, Kamar Marrakchi, Amine Kerzazi, Ismael Navas-Delgado, José Francisco Aldana Montes, Badr Din Rossi Hassani, Khalid Lairini:
YeastMed: an XML-Based System for Biological Data Integration of Yeast. - Theodore Dalamagas, Tryfon Farmakakis, Manolis Maragkakis, Artemis G. Hatzigeorgiou:
FreePub: Collecting and Organizing Scientific Material Using Mindmaps. - Vladimir Mironov, Nirmala Seethappan, Ward Blondé, Erick Antezana, Bjorn Lindi, Martin Kuiper:
Benchmarking triple stores with biological data. - He Tan:
A study on the relation between linguistics-oriented and domain-specific semantics. - Iker Huerga, Ainhoa Serna, Jon Kepa Gerrikagoitia:
Fundamentals of Semantic Web Technologies in Medical Environments: a case in breast cancer risk estimation. - Pedro Almeida, Paulo Gomes, Francisco Sales, Ana Nogueira, António Dourado:
Ontology and Knowledge Management System on Epilepsy and Epileptic Seizures. - Anna-Lena Lamprecht, Stefan Naujokat, Bernhard Steffen, Tiziana Margaria:
Constraint-Guided Workflow Composition Based on the EDAM Ontology. - Yibing Wang:
A Generalized Streaming Model for Concurrent Computing. - Adrian Paschke, Zhili Zhao:
Process Makna - A Semantic Wiki for Scientific Workflows. - Alexandru Todor, Adrian Paschke, Stephan Heineke:
ChemCloud: Chemical e-Science Information Cloud. - Richard Huber, Kirsten Hantelmann, Alexandru Todor, Sebastian Krebs, Ralf Heese, Adrian Paschke:
Use of semantic technologies for the development of a dynamic trajectories generator in a Semantic Chemistry eLearning platform. - Matthew Holford, Jamie P. McCusker, Kei-Hoi Cheung, Michael Krauthammer:
Analysis Of Cancer Omics Data In A Semantic Web Framework. - Samuel Croset, Christoph Grabmüller, Chen Li, Silvestras Kavaliauskas, Dietrich Rebholz-Schuhmann:
The CALBC RDF Triple Store: retrieval over large literature content. - Adrian Paschke, Zhili Zhao:
The Rule Responder eScience Infrastructure. - Paul Boekschoten, Kees Burger, Barend Mons, Christine Chichester:
Import of ENZYME data into the ConceptWiki and its representation as RDF. - Adrian Groza, Radu Balaj:
Using Semantic Wikis for Structured Argument in Medical Domain. - Julia Dmitrieva, Fons J. Verbeek:
Creating a new Ontology: a Modular Approach. - Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Rafael Berlanga Llavori, Dietrich Rebholz-Schuhmann:
First steps in the logic-based assessment of post-composed phenotypic descriptions. - Jerven T. Bolleman, Alain Gateau, Sebastien Gehant, Nicole Redaschi:
Provenance and evidence in UniProtKB. - Catherine Canevet, Artem Lysenko, Andrea Splendiani, Matthew R. Pocock, Christopher J. Rawlings:
Analysis and visualisation of RDF resources in Ondex. - Ning Kang, Rogier Barendse, Zubair Afzal, Bharat Singh, Martijn J. Schuemie, Erik M. van Mulligen, Jan A. Kors:
A Concept Annotation System for Clinical Records. - Falko Krause, Marvin Schulz, Timo Lubitz, Wolfram Liebermeister:
semanticSBML 2.0 - A Collection of Online Services for SBML Models. - Dhinaharan Nagamalai, Beatrice Cynthia Dhinakaran, Jae-Kwang Lee:
An In-depth Analysis of Spam and Spammers. - E. Luke McCarthy, Benjamin P. Vandervalk, Mark D. Wilkinson:
SPARQL Assist Language-Neutral Query Composer. - María Pérez Catalán, Rafael Berlanga Llavori, Ismael Sanz:
A semantic approach for the requirement-driven discovery of web services in the Life Sciences. - Kazutaka Kurihara, Naoshi Nagano, Yuta Watanabe, Yuichi Fujimura, Akinori Minaduki, Hidehiko Hayashi, Yohei Tsuchiya:
Localizing Audiences' Gaze using a Multi-touch Electronic Whiteboard with sPieMenu. - Jaeok Park, Mihaela van der Schaar:
Designing Incentive Schemes Based on Intervention: The Case of Imperfect Monitoring. - Jaeok Park, Mihaela van der Schaar:
Designing Incentive Schemes Based on Intervention: The Case of Perfect Monitoring. - Binod Kumar Pattanayak, Alok Kumar Jagadev, Manoj Kumar Mishra, Manojranjan Nayak:
A Distributed Cluster Scheme For Bandwidth Management In Multi-hop MANETs. - Éric Leclercq, Marinette Savonnet:
Scientific Collaborations: principles of WikiBridge Design. - Simon Jupp, Matthew Horridge, Luigi Iannone, Julie Klein, Stuart Owen, Joost Schanstra, Robert Stevens, Katy Wolstencroft:
Populous: A tool for populating ontology templates. - Mark de Berg, Bettina Speckmann, Vincent van der Weele:
Treemaps with Bounded Aspect Ratio. - Marcel Wild:
Compactly generating all satisfying truth assignments of a Horn formula. - Elloá B. Guedes, Francisco Marcos de Assis, Bernardo Lula Jr.:
Examples of the Generalized Quantum Permanent Compromise Attack to the Blum-Micali Construction. - Md. Jahangir Hossain, Alex Alvarado, Leszek Szczecinski:
Towards Fully Optimized BICM Transceivers. - Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner:
Equality Saturation: A New Approach to Optimization. - Massimo Torquati:
Single-Producer/Single-Consumer Queues on Shared Cache Multi-Core Systems. - Inge Li Gørtz, Marco Molinaro, Viswanath Nagarajan, R. Ravi:
Capacitated Vehicle Routing with Non-Uniform Speeds. - Jasmin Opitz, Bijan Parsia, Ulrike Sattler:
Evaluating Modelling Approaches for Medical Image Annotations. - Ely Porat, Martin J. Strauss:
Sublinear Time, Measurement-Optimal, Sparse Recovery For All. - Arya Mazumdar, Alexander Barg, Navin Kashyap:
Coding for High-Density Recording on a 1-D Granular Magnetic Medium. - Douglas G. Howe, Christian Pich:
Ontology Usage at ZFIN. - Halit Erdogan, Umut Öztok, Yelda Erdem, Esra Erdem:
Querying Biomedical Ontologies in Natural Language using Answer Set. - Manar Mohaisen, KyungHi Chang:
On Transmit Antenna Selection for Multiuser MIMO Systems with Dirty Paper Coding. - Giacomo Como, Serdar Yüksel:
On the Capacity of Memoryless Finite-State Multiple-Access Channels with Asymmetric State Information at the Encoders. - Yue Deng, Qionghai Dai, Zengke Zhang:
Sparsity tracking for low rank matrix recovery from noise. - Tobias Harks, Max Klimm:
Congestion Games with Variable Demands. - Shi Aolan, Loet Leydesdorff:
What the Cited and Citing Environments Reveal of "Advances in Atmospheric Sciences"? - Anatoly Pashkevich, Alexandr Klimchik, Damien Chablat:
Stiffness Analysis of Parallel Manipulators with Preloaded Passive Joints. - Anatoly Pashkevich, Alexandr Klimchik, Sébastien Briot, Damien Chablat:
Performance evaluation of parallel manipulators for milling application. - Yordan Kalmukov, Boris Rachev:
Comparative Analysis of Existing Methods and Algorithms for Automatic Assignment of Reviewers to Papers. - Lance Fortnow, Rahul Santhanam:
Robust Simulations and Significant Separations. - George Giannakopoulos, George A. Vouros, Vangelis Karkaletsis:
MUDOS-NG: Multi-document Summaries Using N-gram Graphs (Tech Report). - Daniel Gayo-Avello, David J. Brenes, Diego Fernández-Fernández, María E. Fernández-Menéndez, Rodrigo García-Suárez:
De retibus socialibus et legibus momenti. - M. Heidari Khoozani, A. Rashidinejad, M. H. Lotfi Froushani, Pedram Pad, Farrokh Marvasti:
Almost-Optimum Signature Matrices in Binary-Input Synchronous Overloaded CDMA. - Yuval Peres, Anthony Quas:
Entropy Rate for Hidden Markov Chains with rare transitions. - Roxana Albu, Yann Labit, Thierry Gayraud, Pascal Berthou:
An Energy-efficient Clock Synchronization Protocol for Wireless Sensor Networks. - Richard Cole, Lisa Fleischer, Ashish Rastogi:
Discrete Price Updates Yield Fast Convergence in Ongoing Markets with Finite Warehouses. - Vasileios Zografos, Klas Nordberg, Liam F. Ellis:
Sparse motion segmentation using multiple six-point consistencies. - Sujogya Banerjee, Shahrzad Shirazipourazad, Pavel Ghosh, Arunabha Sen:
NP-completeness Proof: RBCDN Reduction Problem. - Yongzhi Cao, Guoqing Chen, Etienne E. Kerre:
Bisimulations for fuzzy transition systems. - Eleanor Gilbert Rieffel, Jacob T. Biehl, William van Melle, Adam J. Lee:
Secured histories: computing group statistics on encrypted data while preserving individual privacy. - Yongzhi Cao, Yoshinori Ezawa:
Nondeterministic fuzzy automata. - Chin Choy Chai, Chau Yuen:
On Two-way Communications for Cooperative Multiple Source Pairs Through a Multi-antenna Relay. - Jaydip Sen:
A Robust and Efficient Trust Management Scheme for Peer-to-Peer Networks. - (Withdrawn) Privacy Preservation Technologies in Internet of Things.
- Liang Ma, Damien Chablat, Fouad Bennis, Bo Hu, Wei Zhang:
Integrating digital human modeling into virtual environment for ergonomic oriented design. - Anatoly Pashkevich, Alexandr Klimchik, Stéphane Caro, Damien Chablat:
Stiffness modelling of parallelogram-based parallel manipulators. - Nicolaos Matsakis:
Transforming a random graph drawing into a Lombardi drawing. - Oleksiy Kurganskyy:
A collective of stateless automata in a $n$-dimensional environment as a distributed dynamic automaton-like object: a model and its corollaries. - Marek Jawurek, Martin Johns, Florian Kerschbaum:
Plug-in privacy for Smart Metering billing. - P. Venkata Subba Reddy, K. Viswanathan Iyer:
Conditional coloring of some parameterized graphs. - Anne-Cécile Orgerie, Laurent Lefèvre:
A year in the life of a large scale experimental distributed system: the Grid'5000 platform in 2008. - Tomás Oberhuber, Atsushi Suzuki, Jan Vacata:
New Row-grouped CSR format for storing the sparse matrices on GPU with implementation in CUDA. - D. T. Hasta, A. B. Mutiara:
Performance Evaluation of Parallel Message Passing and Thread Programming Model on Multicore Architectures. - Friedrich Eisenbrand, Nicolai Hähnle, Martin Niemeier:
Covering Cubes and the Closest Vector Problem. - Steven Obua:
Syntax and Semantics of Babel-17. - Wlodzimierz Drabent:
A Simple Correctness Proof for Magic Transformation. - Violetta Lonati, Dino Mandrioli, Matteo Pradella:
Precedence Automata and Languages. - Jeong-woo Cho, Yung Yi:
On the Payoff Mechanism in Peer-Assisted Services with Multiple Content Providers. - Tiangao Gou, Syed Ali Jafar, Sang-Woon Jeon, Sae-Young Chung:
Aligned Interference Neutralization and the Degrees of Freedom of the 2x2x2 Interference Channel. - Bin Fu:
Multivariate Polynomial Integration and Derivative Are Polynomial Time Inapproximable unless P=NP. - Bin Fu:
NE is not NP Turing Reducible to Nonexpoentially Dense NP Sets. - Ioannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Andreas Pavlogiannis, Paul G. Spirakis:
Passively Mobile Communicating Machines that Use Restricted Space. - Karmeshu, Shachi Sharma:
Long Tail Behavior of Queue Lengths in Broadband Networks: Tsallis Entropy Framework. - Daniel Amyot, Ali Echihabi, Yong He:
UCMExporter: Supporting Scenario Transformations from Use Case Maps. - Vasileios Zografos, Bernard F. Buxton:
Affine Invariant, Model-Based Object Recognition Using Robust Metrics and Bayesian Statistics. - Daniel Diaz, Salvador Abreu, Philippe Codognet:
On the Implementation of GNU Prolog. - Zaenal Akbar, Iman Firmansyah, Bambang Hermanto, Laksana Tri Handoko:
openPC : a toolkit for public cluster with full ownership. - Arthur U. Asuncion, Michael T. Goodrich:
Nonadaptive Mastermind Algorithms for String and Vector Databases, with Case Studies. - Kamaljit I. Lakhtaria:
Analyzing Zone Routing Protocol in MANET Applying Authentic Parameter. - Jaydip Sen, P. Balamuralidhar, M. Girish Chandra, Harihara S. G., Harish Reddy:
Context Aware End-to-End Connectivity Management. - Jaydip Sen:
An Efficient Security Mechanism for High-Integrity Wireless Sensor Networks. - Jaydip Sen, Shomik Bhattacharya:
A Survey on Cross-Layer Design Frameworks for Multimedia Applications over Wireless Networks. - Jaydip Sen:
A Distributed Trust and Reputation Framework for Mobile Ad Hoc Networks. - Jaydip Sen:
A Trust-Based Detection Algorithm of Selfish Packet Dropping Nodes in a Peer-to-Peer Wireless Mesh Network. - Jaydip Sen, Munir Sayyad, Basavaraj Hooli:
Convergence and Next Generation Networks. - Nicolaos Matsakis:
Solving the Rural Postman problem using the Adleman-Lipton model. - Jaydip Sen:
A Secure Aggregation Protocol for Wireless Sensor Networks. - Jaydip Sen:
A Survey on Reputation and Trust-Based Systems for Wireless Communication Networks. - Simone Faro, Thierry Lecroq:
The Exact String Matching Problem: a Comprehensive Experimental Evaluation. - Jianhua Zhao, Xuandong Li:
Scope Logic with Local Reasoning and Pre/Post-State Properties. - Jean Cardinal, Marek Karpinski, Richard Schmied, Claus Viehmann:
Approximating Vertex Cover in Dense Hypergraphs. - Ferkan Yilmaz, Mohamed-Slim Alouini:
A Unified MGF-Based Capacity Analysis of Diversity Combiners over Generalized Fading Channels. - Ferkan Yilmaz, Mohamed-Slim Alouini:
Extended Generalized-K (EGK): A New Simple and General Model for Composite Fading Channels. - Eric Brochu, Vlad M. Cora, Nando de Freitas:
A Tutorial on Bayesian Optimization of Expensive Cost Functions, with Application to Active User Modeling and Hierarchical Reinforcement Learning. - Hanxi Li, Chunhua Shen, Qinfeng Shi:
Real-time Visual Tracking Using Sparse Representation. - Deqing Wang, Hui Zhang, Wenjun Wu, Mengxiang Lin:
Inverse Category Frequency based supervised term weighting scheme for text categorization. - Nima Torabkhani, Badri N. Vellambi, Faramarz Fekri:
Throughput and Latency of Acyclic Erasure Networks with Feedback in a Finite Buffer Regime. - Nima Torabkhani, Badri N. Vellambi, Faramarz Fekri:
Study of Throughput and Latency in Finite-buffer Coded Networks. - Badri N. Vellambi, Nima Torabkhani, Faramarz Fekri:
Throughput and Latency in Finite-Buffer Line Networks. - Vishal Gupta, Ashutosh Saxena:
Personalized Data Set for Analysis. - Serge Abiteboul, Georg Gottlob, Marco Manna:
Distributed XML Design. - Maxime Amblard, Alain Lecomte, Christian Retoré:
Categorial Minimalist Grammar. - Guillaume Moroz, Damien Chablat, Philippe Wenger, Fabrice Rouillier:
Cusp points in the parameter space of RPR-2PRR parallel manipulator. - Damien Chablat:
Joint space and workspace analysis of a two-DOF closed-chain manipulator. - Guillaume Moroz, Fabrice Rouillier, Damien Chablat, Philippe Wenger:
On the determination of cusp points of 3-R\underline{P}R parallel manipulators. - Jesper H. Sørensen, Petar Popovski, Jan Østergaard:
On the Role of Feedback in LT Codes. - Jerome Guterl, Jean-Philippe Braeunig, Nicolas Crouseilles, Virginie Grandgirard, Guillaume Latu, Michel Mehrenberger, Eric Sonnendrücker:
Test of some numerical limiters for the conservative PSM scheme for 4D Drift-Kinetic simulations. - Pankaj K. Agarwal, Rinat Ben Avraham, Micha Sharir:
The 2-Center Problem in Three Dimensions. - Stefan Z. Stefanov:
Prognostic Watch of the Electric Power System. - Junping Zhou, Minghao Yin:
Phase Transitions of Plan Modification in Conformant Planning. - Meriam Ben-Ghorbel-Talbi, Frédéric Cuppens, Nora Cuppens-Boulahia, Adel Bouhoula:
Managing Delegation in Access Control Models. - Irit Dinur, Tali Kaufman:
Dense locally testable codes cannot have constant rate and distance. - Yuval Lomnitz, Meir Feder:
Universal Communication over Modulo-additive Channels with an Individual Noise Sequence. - Maurice Margenstern:
Bacteria inspired patterns grown with hyperbolic cellular automata. - Dajie Liu, Norbert Blenn, Piet Van Mieghem:
Modeling Social Networks with Overlapping Communities Using Hypergraphs and Their Line Graphs. - Oren Shoval, Uri Alon, Eduardo D. Sontag:
Symmetry invariance for adapting biological systems. - Damien Chablat, Stéphane Caro, Raza Ur-Rehman, Philippe Wenger:
Comparison of Planar Parallel Manipulator Architectures based on a Multi-objective Design Optimization Approach. - Xiaoyue Wang, Hui Ding, Goce Trajcevski, Peter Scheuermann, Eamonn J. Keogh:
Experimental Comparison of Representation Methods and Distance Measures for Time Series Data. - Greg Kochanski, Chilin Shih, Ryan Shosted:
Should Corpora be Big, Rich, or Dense? - Yahav Nussbaum:
Improved distance queries in planar graphs. - Hang Yu, Lin Zhong, Ashutosh Sabharwal:
Beamsteering on Mobile Devices: Network Capacity and Client Efficiency. - Mian Dong, Lin Zhong:
Sesame: Self-Constructive System Energy Modeling for Battery-Powered Mobile Systems. - Ahmad Rahmati, Lin Zhong:
A Longitudinal Study of Non-Voice Mobile Phone Usage by Teens from an Underserved Urban Community. - Anil N. Hirani, Kaushik Kalyanaraman, Han Wang, Seth Watts:
Real Homology Cohomology and Harmonic Cochains, Least Squares, and Diagonal Dominance. - Tom J. Ameloot, Frank Neven, Jan Van den Bussche:
Relational transducers for declarative networking. - Yi Ji, Serguei A. Mokhov, Joey Paquet:
Towards Refactoring the DMF to Support Jini and JMS DMS in GIPSY. - Ana Busic, Bruno Gaujal, Furcy Pin:
Perfect Sampling of Markov Chains with Piecewise Homogeneous Events. - Rashmi Agarwal, R. Krishnan, M. S. Santhanam, K. Srinivas, K. Venugopalan:
Digital watermarking : An approach based on Hilbert transform. - Debajyoti Mukhopadhyay, Byung-Jun Oh, Sang-Heon Shim, Young-Chon Kim:
A Study on Recent Approaches in Handling DDoS Attacks. - Mads Dam, Andreas Lundblad:
A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode. - Stefan Kiefer, Dominik Wojtczak:
On Probabilistic Parallel Programs with Process Creation and Synchronisation. - Massimo Santini:
Random Generation and Approximate Counting of Combinatorial Structures. - Nir Ailon, Noa Avigdor-Elgrabli, Edo Liberty:
An Improved Algorithm for Bipartite Correlation Clustering. - Paolo Liberatore, Marco Schaerf:
On the size of data structures used in symbolic model checking. - Lionel Tabourier, Camille Roth, Jean-Philippe Cointet:
Generating constrained random graphs using multiple edge switches. - Paolo Boldi, Sebastiano Vigna:
E = I + T: The internal extent formula for compacted tries. - Nathan M. Dunfield, Anil N. Hirani:
The Least Spanning Area of a Knot and the Optimal Bounding Chain Problem. - Jie Ding, Jane Hillston:
Numerically Representing A Stochastic Process Algebra. - (Withdrawn) Speeding Up the 3D Surface Generator VESTA.
- Boris Ryabko, Daniil Ryabko:
Confidence Sets in Time--Series Filtering. - Ahmad Rahmati, Clayton Shepard, Chad Tossell, Angela Nicoara, Lin Zhong, Philip T. Kortum, Jatinder Pal Singh:
Seamless Flow Migration on Smartphones without Network Support. - Per Kristian Lehre, Xin Yao:
On the Impact of Mutation-Selection Balance on the Runtime of Evolutionary Algorithms. - Cong Sun, Liyong Tang, Zhong Chen:
Secure Information Flow by Model Checking Pushdown System. - C. Maor:
Cooperation under Incomplete Information on the Discount Factors. - Vladimir Braverman, Ran Gelles, Rafail Ostrovsky:
How to Catch L_2-Heavy-Hitters on Sliding Windows. - Kush Agrawal:
To study the phenomenon of the Moravec's Paradox. - Pu Wang, Marta C. González, Ronaldo Menezes, Albert-László Barabási:
New generation of mobile phone viruses and corresponding countermeasures. - Jian Li, Amol Deshpande:
Utility Maximization under Uncertainty. - Hoon Huh, Antonia M. Tulino, Giuseppe Caire:
Network MIMO with Linear Zero-Forcing Beamforming: Large System Analysis, Impact of Channel Estimation and Reduced-Complexity Scheduling. - Qin Huang, Qiuju Diao, Shu Lin, Khaled A. S. Abdel-Ghaffar:
Cyclic and Quasi-Cyclic LDPC Codes on Row and Column Constrained Parity-Check Matrices and Their Trapping Sets. - Zhengdong Zhang, Arvind Ganesh, Xiao Liang, Yi Ma:
TILT: Transform Invariant Low-rank Textures. - Christian Blum:
Iterative Beam Search for Simple Assembly Line Balancing with a Fixed Number of Work Stations. - Victor Odumuyiwa, Amos David:
Collaborative Knowledge Creation and Management in Information Retrieval. - Samuel Nowakowski, Cédric Bernier, Anne Boyer:
A new Recommender system based on target tracking: a Kalman Filter approach. - Tansu Alpcan:
Incentive Games and Mechanisms for Risk Management. - Friedrich Eisenbrand, Naonori Kakimura, Thomas Rothvoß, Laura Sanità:
Set Covering with Ordered Replacement -- Additive and Multiplicative Gaps. - Christian Konrad, Frédéric Magniez:
The Streaming Complexity of Validating XML Documents. - Bolanle Oladejo, Victor Odumuyiwa, Amos David:
Dynamic Capitalization and Visualization Strategy in Collaborative Knowledge Management System for EI Process. - Itai Arad:
A note about a partial no-go theorem for quantum PCP. - Wolfgang Gatterbauer, Dan Suciu:
Data Conflict Resolution Using Trust Mappings. - Francois Bentosela, Horia D. Cornean, Bernard H. Fleury, Nicola Marchetti:
On the transfer matrix of a MIMO system. - Olusoji Okunoye, Bolanle Oladejo, Victor Odumuyiwa:
Dynamic Knowledge Capitalization through Annotation among Economic Intelligence Actors in a Collaborative Environment. - Koji Nuida:
Short collusion-secure fingerprint codes against three pirates. - (Withdrawn) An Architectural Design for Brokered Collaborative Content Delivery System.
- Pratik Shah, Samaresh Chatterji:
Curve Reconstruction in Riemannian Manifolds: Ordering Motion Frames. - Stéphane Lengrand, Roy Dyckhoff, James McKinna:
A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems. - László Kovács, Joel Ratsaby:
Descriptive-complexity based distance for fuzzy sets. - Daniel Augot, Morgan Barbier, Alain Couvreur:
List-decoding of binary Goppa codes up to the binary Johnson bound. - Daniel Z. Turner, K. B. Nakshatrala, P. K. Notz:
On the performance of the variational multiscale formulation for subsurface flow and transport in heterogeneous porous media. - Annick Valibouze:
Théorie de Galois effective : aide mémoire. - Mohammad R. Nikseresht, Anil Somayaji, Anil Maheshwari:
Customer Appeasement Scheduling. - Wolfgang Gatterbauer:
Rules of Thumb for Information Acquisition from Large and Redundant Data. - Widad Machmouchi:
Local-Testability and Self-Correctability of q-ary Sparse Linear Codes. - Ferdinand Peper, Laszlo B. Kish:
Instantaneous, non-squeezed, noise-based logic. - Philippe Moser:
On the polynomial depth of various sets of random strings. - Karsten Fyhn, Rasmus M. Jacobsen, Petar Popovski, Anna Scaglione, Torben Larsen:
Fast and Power Efficient Sensor Arbitration: Physical Layer Collision Recovery of Passive RFID Tags. - Salvador Javier Haboba, Riccardo Rovatti, Gianluca Setti:
Determination of the Integrated Sidelobe Level of Sets of Rotated Legendre Sequences. - Stephen P. Luttrell:
Adaptive Cluster Expansion (ACE): A Multilayer Network for Estimating Probability Density Functions. - Marcel R. Ackermann, Johannes Blömer, Daniel Kuntze, Christian Sohler:
Analysis of Agglomerative Clustering. - Janardan Misra, Suman Roy:
A Decidable Timeout based Extension of Propositional Linear Temporal Logic. - Stephen P. Luttrell:
Stochastic Vector Quantisers. - Christiane Frougny, Anna Chiara Lai:
Negative bases and automata. - Robert Jan Labeur, Garth N. Wells:
Energy stable and momentum conserving interface stabilised finite element method for the incompressible Navier-Stokes equations. - Stephen P. Luttrell:
The Development of Dominance Stripes and Orientation Maps in a Self-Organising Visual Cortex Network (VICON). - Imran Shafique Ansari, Saad Al-Ahmadi, Ferkan Yilmaz, Mohamed-Slim Alouini, Halim Yanikomeroglu:
A New Formula for the BER of Binary Modulations with Dual-Branch Selection over Generalized-K Composite Fading Channels. - Yichuan Hu, Jianzhong (Charlie) Zhang, Farooq Khan, Ying Li:
Improving PPM Using Dictionaries. - Yanbo Zhou, Ting Lei, Tao Zhou:
A robust ranking algorithm to spamming. - Lin Wu, Yang Wang:
Detecting Image Forgeries using Geometric Cues. - Yang Wang, Zhikui Chen, Xiaodi Huang:
Element Retrieval using Namespace Based on keyword search over XML Documents. - Martin Mundhenk, Felix Weiss:
The Model Checking Problem for Propositional Intuitionistic Logic with One Variable is AC1-Complete. - Olivier Bailleux:
On the CNF encoding of cardinality constraints and beyond. - Qiang Li, Wing-Kin Ma:
Optimal and Robust Transmit Designs for MISO Channel Secrecy by Semidefinite Programming. - Ying Cui, Qingqing Huang, Vincent K. N. Lau:
Queue-Aware Dynamic Clustering and Power Allocation for Network MIMO Systems via Distributive Stochastic Learning. - Bruno Escoffier, Laurent Gourvès, Jérôme Monnot:
Minimum regulation of uncoordinated matchings. - Antonios Antoniadis, Falk Hüffner, Pascal Lenzner, Carsten Moldenhauer, Alexander Souza:
Balanced Interval Coloring. - Dov M. Gabbay, David Pearce, Agustín Valverde:
Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case. - Roee Litman, Alexander M. Bronstein, Michael M. Bronstein:
Diffusion-geometric maximally stable component detection in deformable shapes. - Esther Montes, Raúl Isea, Rafael Mayo:
PhyloGrid: a development for a workflow in Phylogeny. - Vicente Hernández, Ignacio Blanquer, Gabriel Aparício, Raúl Isea, Juan Luis Chavés, Álvaro Hernández, Henry Ricardo Mora, Manuel Fernández, Alicia Acero, Esther Montes, Rafael Mayo:
Advances in the Biomedical Applications of the EELA Project. - Janusz A. Brzozowski, Bo Liu:
Quotient Complexity of Star-Free Languages. - Joseph O'Rourke:
A Note on Solid Coloring of Pure Simplicial Complexes. - Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron:
Subject reduction in a Curry-style polymorphic type system with a vectorial structure. 1-15 - George Anderson, Tshilidzi Marwala, Fulufhelo Vincent Nelwamondo:
Application of Global and One-Dimensional Local Optimization to Operating System Scheduler Tuning. - Bo Xing, Wen-jing Gao, Kimberly Battle, Tshilidzi Marwala, Fulufhelo V. Nelwamondo:
Artificial Intelligence in Reverse Supply Chain Management: The State of the Art. - Abhishek Srivastava:
Motif Analysis in the Amazon Product Co-Purchasing Network. - Zeyuan Allen Zhu:
Survey & Experiment: Towards the Learning Accuracy. - Arnab Bhattacharyya, Konstantin Makarychev:
Improved Approximation for the Directed Spanner Problem. - Gregor Schaffrath, Stefan Schmid, Anja Feldmann:
Generalized and Resource-Efficient VNet Embeddings with Migrations. - Kaibin Huang, Vincent K. N. Lau, Dong Ku Kim:
Stochastic Control of Event-Driven Feedback in Multi-Antenna Interference Channels. - Woong-Kee Loh, Yang-Sae Moon, Wookey Lee:
A fast divide-and-conquer algorithm for indexing human genome sequences. - Laurent Poinsot:
Non Abelian Bent Functions. - Michel Habib, Thu-Hien To:
Structure and Recognition of 3,4-leaf Powers of Galled Phylogenetic Networks in Polynomial Time. - Khaled Dridi, Nadeem Javaid, Karim Djouani, Boubaker Daachi:
Performance Study of IEEE802.11e QoS in EDCF-Contention-based Static and Dynamic Scenarios. - Stephen P. Luttrell:
Self-Organising Stochastic Encoders. - Zhenghao Zhang, Wei Hu, Jin Xie:
Employing Coded Relay in Multi-hop Wireless Networks. - Jean-Claude Belfiore, Frédérique E. Oggier:
Lattice Code Design for the Rayleigh Fading Wiretap Channel. - (Withdrawn) Removing Barriers to Interdisciplinary Research.
- Stephen P. Luttrell:
A Self-Organising Neural Network for Processing Data from Multiple Sensors. - Niels Menke, Kai Reinhard:
Compliance of POLYAS with the Common Criteria Protection Profile. - Ofer Shayevitz, Eado Meron, Meir Feder, Ram Zamir:
Delay and Redundancy in Lossless Source Coding. - Michael W. Mahoney:
Computation in Large-Scale Scientific and Internet Data Applications is a Focus of MMDS 2010. - Joachim Schimpf, Kish Shen:
ECLiPSe - from LP to CLP. - Udita N. Katugampola:
A New Technique for Text Data Compression. - Raffi Sevlian, Ram Rajagopal:
Travel Time Estimation Using Floating Car Data. - Mário S. Alvim, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi:
Differential Privacy versus Quantitative Information Flow. - Simon Gog, Enno Ohlebusch:
Lightweight LCP-Array Construction in Linear Time. - Andrea Mennucci:
Bit recycling for scaling random number generators. - Hisham Bin Zubair, Bram Reps, Wim Vanroose:
A preconditioned iterative solver for the scattering solutions of the Schrödinger equation. - Liang Ma, Ruina Ma, Damien Chablat, Fouad Bennis:
Using virtual human for an interactive customer-oriented constrained environment design. - Damianos Gavalas, Dominic A. P. Greenwood, Mohammed Ghanbari, Mike O'Mahony:
A Progressive Network Management Architecture Enabled By Java Technology. - Denis Vautrin, Matthieu Voorons, Jérôme Idier, Yves Goussard:
Régularisation et optimisation pour l'imagerie sismique des fondations de pylônes. - Walter Quattrociocchi, Frédéric Amblard:
Selection in Scientific Networks. - Ofer Shayevitz:
A Note on a Characterization of Rényi Measures and its Relation to Composite Hypothesis Testing. - Sara Brunetti, Elena Lodi, Walter Quattrociocchi:
Multicolored Dynamos on Toroidal Meshes. - Rohith Singi Reddy:
Encryption of Binary and Non-Binary Data Using Chained Hadamard Transforms. - Damianos Gavalas:
An Experimental Approach for Optimising Mobile Agent Migrations. - Konstantina Zafeiri, Damianos Gavalas, Aikaterini Balla:
Selling Culture: Implementation of e-Commerce and WAP-based Prototypes. - Philip Schniter:
Belief-propagation-based joint channel estimation and decoding for spectrally efficient communication over unknown sparse channels. - Chunhua Geng, Yukui Pei, Jiaqi Zhang, Ning Ge:
Impact of Mistiming on the Achievable Information Rate of Rake Receivers in DS-UWB Systems. - Xiangyun Zhou, Radha Krishna Ganti, Jeffrey G. Andrews, Are Hjørungnes:
The Throughput Cost of Information-Theoretic Security in Decentralized Wireless Networks. - Maribel Fernández:
Proceedings 24th International Workshop on Unification, UNIF 2010, Edinburgh, United Kingdom, 14th July 2010. EPTCS 42, 2010 [contents] - Ana Bove, Ekaterina Komendantskaya, Milad Niqui:
Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, PAR 2010, Edinburgh, UK, 15th July 2010. EPTCS 43, 2010 [contents] - Chunhua Geng, Yukui Pei, Ning Ge:
Selective Multipath Interference Canceller with Linear Equalization for DS-UWB Systems with Low Spreading Factor. - Peter Eades, Weidong Huang, Seok-Hee Hong:
A Force-Directed Method for Large Crossing Angle Graph Drawing. - Yann Ponty:
Non-redundant random generation from weighted context-free languages. - Arne Kesting, Martin Treiber:
Online traffic state estimation based on floating car data. - Yannis Sismanis:
How I won the "Chess Ratings - Elo vs the Rest of the World" Competition. - Christophe Guyeux, Qianxue Wang, Jacques M. Bahi:
Improving random number generators by chaotic iterations. Application in data hiding. - Zhao Zhuo, Shi-Min Cai, Zhong-Qian Fu, Wen-Xu Wang:
Self-organized Emergence of Navigability on Small-World Networks. - Christophe Guyeux, Qianxue Wang, Jacques M. Bahi:
A Pseudo Random Numbers Generator Based on Chaotic Iterations. Application to Watermarking. - Dragana Bajovic, Dusan Jakovetic, João Manuel Freitas Xavier, Bruno Sinopoli, José M. F. Moura:
Distributed Detection over Random Networks: Large Deviations Performance Analysis. - Nadeem Javaid, Akmal Javaid, Imran Ali Khan, Karim Djouani:
Performance Study of ETX based Wireless Routing Metrics. - Steffen Godskesen, Thomas Sejr Jensen, Niels Kjeldsen, Rune Larsen:
Solving a real-life large-scale energy management problem. - Bart M. P. Jansen, Hans L. Bodlaender:
Vertex Cover Kernelization Revisited: Upper and Lower Bounds for a Refined Parameter. - Wenguang Wang, Weiping Wang, Yifan Zhu, Qun Li:
Service-Oriented Simulation Framework: An Overview and Unifying Methodology. - Anatoly Khina, Yuval Kochman, Uri Erez:
Joint Unitary Triangularization for MIMO Networks. - Phani Nandan K., Pavan Kumar K.:
Software Oriented Data Monitoring System. - Ying Ding:
Semantic Web: Who is who in the field - A bibliometric analysis. - Emmanuel Abbe:
Mutual information, matroids and extremal dependencies. - Bin Chen, David J. Wild, Qian Zhu, Ying Ding, Xiao Dong, Madhuvanthi Sankaranarayanan, Huijun Wang, Yuyin Sun:
Chem2Bio2RDF: A Linked Open Data Portal for Chemical Biology. - Moritz Hardt, Katrina Ligett, Frank McSherry:
A simple and practical algorithm for differentially private data release. - Yahav Nussbaum:
Multiple-source multiple-sink maximum flow in planar graphs. - Nicolas Saunier, Sophie Midenet:
Automatic Estimation of the Exposure to Lateral Collision in Signalized Intersections using Video Sensors. - Pranav Agrawal, Anurag Kumar, Joy Kuri, Manoj Kumar Panda:
Analytical Modeling of Saturation Throughput in Power Save Mode of an IEEE 802.11 Infrastructure WLAN. - Taufik Abrão, Leonardo D. Oliveira, Bruno A. Angelico, Paul Jean Etienne Jeszensky:
Input Parameters Optimization in Swarm DS-CDMA Multiuser Detectors. - Xiaolei Zhang, Yi Shen, Zhenhua Wang:
Directed factor graph based fault diagnosis model construction for mode switching satellite power system. - Salvatore Raunich, Erhard Rahm:
Target-driven merging of Taxonomies. - Erjia Yan, Ying Ding:
Applying centrality measures to impact analysis: A coauthorship network analysis. - Erjia Yan, Ying Ding:
Discovering author impact: A PageRank perspective. - Ying Ding, Blaise Cronin:
Popular and/or Prestigious? Measures of Scholarly Esteem. - Ying Ding, Erjia Yan, Arthur R. Frazho, James Caverlee:
PageRank for ranking authors in co-citation networks. - Xiao-Xin Zhang, Liang Chen, Jianwei Huang, Minghua Chen, Yuping Zhao:
Distributed and Optimal Reduced Primal-Dual Algorithm for Uplink OFDM Resource Allocation. - Ying Ding, Elin K. Jacob, Michael A. H. Fried, Ioan Toma, Erjia Yan, Schubert Foo:
Upper Tag Ontology (UTO) For Integrating Social Tagging Data. - Erjia Yan, Ying Ding:
Weighted citation: An indicator of an article's prestige. - Deniz Sariöz:
Generalized Delaunay Graphs with respect to any Convex Set are Plane Graphs. - Hossein Jowhari, Mert Saglam, Gábor Tardos:
Tight Bounds for Lp Samplers, Finding Duplicates in Streams, and Related Problems. - Christian Urban:
Nominal Unification Revisited. 1-11 - Deepak Kapur, Andrew M. Marshall, Paliath Narendran:
Unification modulo a partial theory of exponentiation. 12-23 - Sunil Kothari, James L. Caldwell:
A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints. 24-38 - Conrad Rau, Manfred Schmidt-Schauß:
Towards Correctness of Program Transformations Through Unification and Critical Pair Computation. 39-53 - Paliath Narendran, Andrew M. Marshall, Bibhu Mahapatra:
On the Complexity of the Tiden-Arnborg Algorithm for Unification modulo One-Sided Distributivity. 54-63 - Alexander Krauss:
Recursive Definitions of Monadic Functions. 1-13 - Andreas Abel:
MiniAgda: Integrating Sized and Dependent Types. 14-28 - Issam Maamria, Michael J. Butler:
Rewriting and Well-Definedness within a Proof System. 49-64 - Nils Anders Danielsson:
Beating the Productivity Checker Using Embedded Languages. 29-48 - Claudio Sacerdoti Coen, Silvio Valentini:
General Recursion and Formal Topology. 65-75 - Aaron Stump, Vilhelm Sjöberg, Stephanie Weirich:
Termination Casts: A Flexible Approach to Termination with General Recursion. 76-93 - José Ignacio Iglesias Curto, J. M. Muñoz Porras, Francisco J. Plaza Martín, G. Serrano Sotelo:
Convolutional Goppa codes defined on fibrations. - Arne Kesting, Martin Treiber, Dirk Helbing:
Connectivity statistics of store-and-forward inter-vehicle communication. - Venkat Anantharam, François Baccelli:
Information-Theoretic Capacity and Error Exponents of Stationary Point Processes under Random Additive Displacements. - Reza Parhizkar, Amin Karbasi, Sewoong Oh, Martin Vetterli:
Calibration for Ultrasound Breast Tomography Using Matrix Completion. - Loukas Georgiadis, Stavros D. Nikolopoulos, Leonidas Palios:
Join-Reachability Problems in Directed Graphs. - Kochetkova Nina Alexandrovna:
Experience in applying remote technology in the secondary education institutions in Russia, located in rural areas (From the experience of Podolsky municipal district schools). - Anupam Gupta, Viswanath Nagarajan, R. Ravi:
Robust and MaxMin Optimization under Matroid and Knapsack Uncertainty Sets. - Sándor P. Fekete, Tom Kamphans, Michael Stelzer:
Shortest Paths with Pairwise-Distinct Edge Labels: Finding Biochemical Pathways in Metabolic Networks. - Martin Wimmer, Jesper Larsson Träff:
Work-stealing for mixed-mode parallelism by deterministic team-building. - Pablo Sánchez-Moreno, Alejandro Zarzo, Jesús Sánchez-Dehesa:
Jensen divergence based on Fisher's information. - Jan A. Bergstra, Alban Ponse:
On Hoare-McCarthy algebras. - Iddo Naiss, Haim H. Permuter:
Extension of the Blahut-Arimoto algorithm for maximizing directed information. - Lucas Dias H. Sampaio, Moisés F. Lima, Mario Lemes Proença Jr., Taufik Abrão:
Power-Rate Allocation in DS/CDMA Based on Discretized Verhulst Equilibrium. - Christoffer Sloth, Rafael Wisniewski:
Timed Game Abstraction of Control Systems. - Terrance Swift, David Scott Warren:
XSB: Extending Prolog with Tabled Logic Programming. - Naoyuki Kamiyama:
A Relation between the Protocol Partition Number and the Quasi-Additive Bound. - Krzysztof R. Apt, Jonathan A. Zvesper:
Public Announcements in Strategic Games with Arbitrary Strategy Sets. - Salah A. Aly, Nirwan Ansari, H. Vincent Poor:
SNEED: Enhancing Network Security Services Using Network Coding and Joint Capacity. - Subir Kumar Ghosh, Partha P. Goswami:
Unsolved Problems in Visibility Graphs of Points, Segments and Polygons. - Xiao Ma, Xiujie Huang, Lei Lin, Baoming Bai:
Accessible Capacity of Secondary Users. - Anthony F. J. van Raan, Thed N. van Leeuwen, Martijn S. Visser:
Severe Language Effect in University Rankings: Particularly Germany and France are wronged in citation-based rankings. - Nadia Baaziz, Omar Abahmane, Rokia Missaoui:
Texture feature extraction in the spatial-frequency domain for content-based image retrieval. - Maximilien Gadouleau, Søren Riis:
Max-Flow Min-Cut Theorems for Communication Networks Based on Equational Logic. - Christian Icking, Tom Kamphans, Rolf Klein, Elmar Langetepe:
Exploring Grid Polygons Online. - Ion Petre, Sergey Verlan:
Matrix Insertion-Deletion Systems. - Daniel Herrmann, Tom Kamphans, Elmar Langetepe:
Exploring Simple Triangular and Hexagonal Grid Polygons Online. - Tom Kamphans, Elmar Langetepe:
Optimal competitive online ray search with an error-prone robot. - Jiapu Zhang:
Effective hybrid evolutionary computational algorithms for global optimization and applied to construct prion AGAAAAGA fibril models. - Filippo Radicchi, Claudio Castellano:
Rescaling citations of publications in Physics. - Sergei Viznyuk:
Condensation into ground state in binary string models. - Paulo Urriza, Eric Rebeiz, Przemyslaw Pawelczak, Danijela Cabric:
Computationally Efficient Modulation Level Classification Based on Probability Distribution Distance Functions. - Sándor P. Fekete, Tom Kamphans, Nils Schweer, Christopher Tessars, Jan van der Veen, Josef Angermeier, Dirk Koch, Jürgen Teich:
No-Break Dynamic Defragmentation of Reconfigurable. - Hélène Kirchner, César A. Muñoz:
Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming, IWS 2010, Edinburgh, UK, 9th July 2010. EPTCS 44, 2010 [contents] - Hongchao Zhou, Jehoshua Bruck:
Efficient Generation of Random Bits from Finite State Markov Chains. - Jun Zhang, Jun Wang, Guangwu Xu:
Relations between $\beta$ and $\delta$ for QP and LP in Compressed Sensing Computations. - Benjamin Doerr, Tobias Friedrich, Thomas Sauerwald:
Quasirandom Rumor Spreading. - Hiromasa Nakayama, Nobuki Takayama:
Computing Differential Equations for Integrals Associated to Smooth Fano Polytopes. - Benjamin Doerr, Tobias Friedrich, Marvin Künnemann, Thomas Sauerwald:
Quasirandom Rumor Spreading: An Experimental Analysis. - Wim Vanroose, Bram Reps, Hisham Bin Zubair:
A polynomial multigrid smoother for the iterative solution of the heterogeneous Helmholtz problem. - Maria Biryukov, Cailing Dong:
Analysis of Computer Science Communities Based on DBLP. - Lei Huang:
A new conception for computing gröbner basis and its applications. - Anxiao Jiang, Michael Langberg, Moshe Schwartz, Jehoshua Bruck:
Trajectory Codes for Flash Memory. - Ahmet Kara, Tony Tan:
Extending Büchi Automata with Constraints on Data Values. - (Withdrawn) Compressed Sensing for Feedback Reduction in MIMO Broadcast Channels.
- Ash Mohammad Abbas:
Generalized Linear Weights for Sharing Credits Among Multiple Authors. - Marc Baboulin, Serge Gratton:
A contribution to the conditioning of the total least squares problem. - Serguei A. Mokhov:
Contents of COMP6411 Summer 2011 Final Reports on Comparative Studies of Programming Languages. - Somphong Jitman, San Ling, Hongwei Liu, Xiaoli Xie:
Checkable Codes from Group Rings. - Alejandra N. González-Beltrán, Ben Tagger, Anthony Finkelstein:
Ontology-based Queries over Cancer Data. - Mohamed Salah Gouider, Amine Farhat:
Mining Multi-Level Frequent Itemsets under Constraints. - Or Ordentlich, Uri Erez:
Cyclic-Coded Integer-Forcing Equalization. - Maribel Fernández, Olivier Namet:
Strategic programming on graph rewriting systems. 1-20 - Alex Gerdes, Bastiaan Heeren, Johan Jeuring:
Properties of Exercise Strategies. 21-34 - Bernhard Gramlich, Felix Schernhammer:
Termination of Rewriting with and Automated Synthesis of Forbidden Patterns. 35-50 - René Thiemann, Christian Sternagel, Jürgen Giesl, Peter Schneider-Kamp:
Loops under Strategies ... Continued. 51-65 - Goutam Paul, Imon Mukherjee:
Image Sterilization to Prevent LSB-based Steganographic Transmission. - (Withdrawn) The El-Gamal AA_β Public Key Cryptosystem - A new approach utilizing the subset sum problem in designing an asymmetric cryptosystem.
- Tim Januschowski, Barbara M. Smith, Marc R. C. van Dongen:
Symmetry Breaking with Polynomial Delay. - Ranise Armando, Silvio Ranise:
Automated Symbolic Analysis of ARBAC-Policies (Extended Version). - Kush Agrawal:
The Ethics of Robotics. - Eran Gur, Zeev Zalevsky:
Manipulating Multistage Interconnection Networks Using Fundamental Arrangements. - Paolo Magrassi:
Free and Open-Source Software is not an Emerging Property but Rather the Result of Studied Design. - Jin-yi Cai, Xi Chen, Pinyan Lu:
Non-negative Weighted #CSPs: An Effective Complexity Dichotomy. - Adrian Dumitrescu, André Schulz, Adam Sheffer, Csaba D. Tóth:
Bounds on the maximum multiplicity of some common geometric graphs. - Guoqiang Mao, Brian D. O. Anderson:
On the Asymptotic Connectivity of Random Networks under the Random Connection Model. - Santhi Baskaran, P. Thambidurai:
Dynamic Scheduling of Skippable Periodic Tasks with Energy Efficiency in Weakly Hard Real-Time System. - Sebastian Maneth, Tom Sebastian:
Fast and Tiny Structural Self-Indexes for XML. - Wan Ahmad Tajuddin Wan Abdullah:
Looking for plausibility. - Guoqiang Mao, Brian D. O. Anderson:
Towards a Better Understanding of Large Scale Network Models. - Loet Leydesdorff:
"Structuration" by Intellectual Organization: The Configuration of Knowledge in Relations among Structural Components in Networks of Science. - Jan A. Bergstra, S. F. M. van Vlijmen:
Business Mereology: Imaginative Definitions of Insourcing and Outsourcing Transformations. - Amir Shachar:
Textbook of Semi-discrete Calculus. - Shan Mei, Rick Quax, David A. van de Vijver, Yifan Zhu, Alexander Boukhanovsky, Peter M. A. Sloot:
Increasing risk behavior can outweigh the benefits of anti-retroviral drug treatment on the HIV incidence among men-having-sex-with-men in Amsterdam. - Efi Papatheocharous, Harris Papadopoulos, Andreas S. Andreou:
Software Effort Estimation with Ridge Regression and Evolutionary Attribute Selection. - Makrina Viola Kosti, Nikolaos Mittas, Lefteris Angelis:
DD-EbA: An algorithm for determining the number of neighbors in cost estimation by analogy using distance distributions. - Yimin Pang, Thomas Honold:
Towards the Capacity Region of Multiplicative Linear Operator Broadcast Channels. - Jules Desharnais, Bernhard Möller, Georg Struth:
Algebraic Notions of Termination. - Algirdas Antano Maknickas:
Finding of k in Fagin's R. Theorem 24. - (Withdrawn) Neural Network Influence in Group Technology: A Chronological Survey and Critical Analysis.
- Tamal Ghosh, Pranab K. Dan:
Soft Computing Technique to Solve Part Family Identification Problems Using Classification and Coding System. - (Withdrawn) Maximum Lifetime for Data Regeneration in Wireless Sensor Networks.
- Serban E. Vlad:
Universal regular autonomous asynchronous systems: omega-limit sets, invariance and basins of attraction. - Serban E. Vlad:
The dependence on the initial states and the transitivity of the regular autonomous asynchronous systems. - Serban E. Vlad:
The model of the ideal rotary element of Morita. - Ghosheh Abed Hodtani:
Improvement of the Han-Kobayashi Rate Region for General Interference Channel-v2. - Martin Gebser, Joohyung Lee, Yuliya Lierler:
On Elementary Loops of Logic Programs. - Eitan Altman, Arnaud Legout, Yuedong Xu:
Network Non-neutrality Debate: An Economic Analysis. - Shay Mozes:
Multiple-Source Multiple-Sink Maximum Flow in Directed Planar Graphs in $O(n^{1.5} \log n)$ Time. - Miodrag J. Mihaljevic, Frédérique E. Oggier, Hideki Imai:
Homophonic Coding Design for Communication Systems Employing the Encoding-Encryption Paradigm. - János Pach, Deniz Sariöz:
Small (2,s)-colorable graphs without 1-obstacle representations. - Cui Di, Andrzej Lingas:
Near approximation of maximum weight matching through efficient weight reduction. - Daniel Gayo-Avello:
All liaisons are dangerous when all your friends are known to us. - Joël Goossens, Patrick Meumeu Yomsi:
Exact Schedulability Test for global-EDF Scheduling of Periodic Hard Real-Time Tasks on Identical Multiprocessors. - Dan Raviv, Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel, Nir A. Sochen:
Affine-invariant diffusion geometry for the analysis of deformable 3D shapes. - Dan Raviv, Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel, Nir A. Sochen:
Affine-invariant geodesic geometry of deformable 3D shapes. - (Withdrawn) Orthogonal symmetric Toeplitz matrices for compressed sensing: Statistical isometry property.
- Sunjoo Moon, Cong Ling:
A New Noncoherent Decoder for Wireless Network Coding. - Reinhard Moratz:
Extending Binary Qualitative Direction Calculi with a Granular Distance Concept: Hidden Feature Attachment. - José Hernández-Orallo:
Annotated English. - Kristin Glass, Richard Colbaugh:
Toward Emerging Topic Detection for Business Intelligence: Predictive Analysis of 'Meme' Dynamics. - S. K. Gupta, Sahil Singla, Akash Khandelwal, Apurv Tiwari, Srilekha:
Exhaustive Verification of Weak Reconstruction For Self Complementary Graphs. - Salah A. Aly, Nirwan Ansari, H. Vincent Poor, Anwar I. Walid:
Protection Over Asymmetric Channels, S-MATE: Secure Multipath Adaptive Traffic Engineering. - Rahmat Widia Sembiring, Jasni Mohamad Zain:
Cluster Evaluation of Density Based Subspace Clustering. - Ofer Shayevitz, Michèle A. Wigger:
On the Capacity of the Discrete Memoryless Broadcast Channel with Feedback. - Fabien Tencé, Cédric Buche, Pierre De Loor, Olivier Marc:
Learning a Representation of a Believable Virtual Character's Environment with an Imitation Algorithm. - Jaroslaw Adam Miszczak:
Introduction to models of quantum computation and quantum programming languages. - Renio S. Mendes, Haroldo V. Ribeiro, F. C. M. Freire, A. A. Tateishi, Ervin K. Lenzi:
Universal patterns in sound amplitudes of songs and music genres. - An Zeng, Linyuan Lu:
Efficient Topology-aware Coarse Graining for Synchronization in Directed Networks. - Mathias Raschke, Markus Schläpfer, Konstantinos Trantopoulos:
Copula-based generation of degree-associated networks. - An Zeng, Seung-Woo Son, Chi Ho Yeung, Ying Fan, Zengru Di:
Enhancing synchronization by directionality in complex networks. - Shlomo Havlin, N. A. M. Araujo, Sergey V. Buldyrev, C. S. Dias, Roni Parshani, Gerald Paul, Harry Eugene Stanley:
Catastrophic Cascade of Failures in Interdependent Networks. - Roberto Ammendola, Andrea Biagioni, Ottorino Frezza, Francesca Lo Cicero, Alessandro Lonardo, Pier Stanislao Paolucci, Roberto Petronzio, Davide Rossetti, Andrea Salamon, Gaetano Salina, Francesco Simula, Nazario Tantalo, Laura Tosoratto, Piero Vicini:
APEnet+: a 3D toroidal network enabling Petaflops scale Lattice QCD simulations on commodity clusters. - James P. Crutchfield, Christopher J. Ellison:
The Past and the Future in the Present. - Roman V. Belavkin:
Optimal measures and transition kernels. - Wessam Afifi, Ahmed K. Sultan, Mohammed Nafie:
Adaptive Sensing and Transmission Durations for Cognitive Radios. - Henrik Schulz, Géza Ódor, Gergely Ódor, Máté Ferenc Nagy:
Simulation of 1+1 dimensional surface growth and lattices gases using GPUs. - Alexander K. Vidybida:
Testing of information condensation in a model reverberating spiking neural network. - Elyot Grant:
On Avoiding Sufficiently Long Abelian Squares. - Reimer Kühn, Jort van Mourik:
Spectra of Modular and Small-World Matrices. - Jacob D. Biamonte, Stephen R. Clark, Dieter Jaksch:
Categorical Tensor Network States. - Dionysios Barmpoutis, Richard M. Murray:
Quantification and Minimization of Crosstalk Sensitivity in Networks. - Venkat Chandrasekaran, Pablo A. Parrilo, Alan S. Willsky:
Convex Graph Invariants. - Dora Giammarresi:
Tiling-Recognizable Two-Dimensional Languages: From Non-Determinism to Determinism through Unambiguity. - Thomas Worsch, Hidenosuke Nishio:
Real-Time Sorting of Binary Numbers on One-Dimensional CA. - Edoardo M. Airoldi, Federico Bassetti, Michele Guindani, Fabrizio Leisen:
Generalized Species Sampling Priors with Latent Beta reinforcements. - Masaaki Harada, Akihiro Munemasa:
Classification of quaternary Hermitian self-dual codes of length 20. - Henry Yuen, Fuyuki Shimojo, Kevin J. Zhang, Ken-ichi Nomura, Rajiv K. Kalia, Aiichiro Nakano, Priya Vashishta:
DNA Sequencing via Quantum Mechanics and Machine Learning. - Danko Ilik:
Delimited control operators prove Double-negation Shift. - Gui-Bo Ye, Jian-Feng Cai, Xiaohui Xie:
Split Bregman Method for Sparse Inverse Covariance Estimation with Matrix Iteration Acceleration. - Giulio Cimini, Matús Medo, Tao Zhou, Dong Wei, Yi-Cheng Zhang:
Heterogeneity, quality, and reputation in an adaptive recommendation model. - Renaud Lambiotte, Roberta Sinatra, Jean-Charles Delvenne, T. S. Evans, Mauricio Barahona, Vito Latora:
Flow graphs: interweaving dynamics and structure. - Gesa A. Böhme, Thilo Gross:
Analytical calculation of fragmentation transitions in adaptive networks. - Alex Borello:
A Simulation of Oblivious Multi-Head One-Way Finite Automata by Real-Time Cellular Automata. - Silvio Capobianco, Tarmo Uustalu:
A Categorical Outlook on Cellular Automata. - Fabien Givors, Grégory Lafitte, Nicolas Ollinger:
Infinite Time Cellular Automata: A Real Computation Model. - Alexis Ballier, Emmanuel Jeandel:
Computing (or not) Quasi-Periodicity Functions of Tilings. - Mohamed Amin Ben Sassi, Antoine Girard:
Polytopic Invariant Verification and Synthesis for Polynomial Dynamical Systems via Linear Programming. - Frank Havemann, Michael Heinz, Alexander Struck, Jochen Gläser:
Identification of overlapping communities and their hierarchy by locally calculating community-changing resolution levels. - Adriano Barra, Elena Agliari:
A statistical mechanics approach to Granovetter theory. - Oliver Richters, Tiago P. Peixoto:
Trust transitivity in social networks. - Daniel M. Abrams, Haley A. Yaple, Richard J. Wiener:
A mathematical model of social group competition with application to the growth of religious non-affiliation. - Jan Foniok, Bernd Gärtner, Lorenz Klaus, Markus Sprecher:
Counting Unique-Sink Orientations. - Alexander Scheidler:
Dynamics of Majority Rule with Differential Latencies. - Haozhi Xiong, Ruogu Li, Atilla Eryilmaz, Eylem Ekici:
Delay-Aware Cross-Layer Design for Network Utility Maximization in Multi-hop Networks. - Maria Grazia Pia, Tullio Basaglia, Zane W. Bell, Paul V. Dressendorfer:
The Butterfly Effect: Correlations Between Modeling in Nuclear-Particle Physics and Socioeconomic Factors. - Sebastiano de Franciscis, Samuel Johnson, Joaquín J. Torres:
Enhancing neural-network performance via assortativity. - Samer A. Abdallah, Mark D. Plumbley:
A measure of statistical complexity based on predictive information. - Amir Ali Ahmadi, Alexander Olshevsky, Pablo A. Parrilo, John N. Tsitsiklis:
NP-hardness of Deciding Convexity of Quartic Polynomials and Related Problems. - Laurent Decreusefond, Philippe Martins, Than-Tung Vu:
On noise limited cellular networks. - Ian Fisk:
First Experiences with LHC Grid Computing and Distributed Analysis. - Claudio Castellano, Romualdo Pastor-Satorras:
Irrelevance of information outflow in opinion dynamics models. - Marc Lelarge:
Diffusion and Cascading Behavior in Random Networks. - Harm Derksen:
The Graph Isomorphism Problem and approximate categories. - Bostjan Bresar, Frantisek Kardos, Ján Katrenic, Gabriel Semanisin:
Minimum k-path vertex cover. - Andris Ambainis, Loïck Magnin, Martin Roetteler, Jérémie Roland:
Symmetry-assisted adversaries for quantum state generation. - Serge Galam, André C. R. Martins:
Artifacts of opinion dynamics at one dimension. - Jürg Wullschleger:
Bitwise Quantum Min-Entropy Sampling and New Lower Bounds for Random Access Codes. - Andrea Lancichinetti, Filippo Radicchi, José J. Ramasco, Santo Fortunato:
Finding statistically significant communities in networks. - Manuel Bodirsky, Michael Pinsker, Todor Tsankov:
Decidability of definability. - David V. Foster, Jacob G. Foster, Peter Grassberger, Maya Paczuski:
Clustering Drives Assortativity and Community Structure in Ensembles of Networks. - Dimitris I. Tsomokos:
Community Detection in Complex Networks with Quantum Random Walks. - Shuai Jiang, Max A. Alekseyev:
Weighted genomic distance can hardly impose a bound on the proportion of transpositions. - Henning Thielemann:
Polynomial functions are refinable. - Marcin Kaminski, Daniël Paulusma, Dimitrios M. Thilikos:
Contracting planar graphs to contractions of triangulations. - Naoki Masuda, Sidney Redner:
Can Partisan Voting Lead to Truth? - Laetitia Gauvin, Annick Vignes, Jean-Pierre Nadal:
Modeling urban housing market dynamics: can the socio-spatial segregation preserve some social diversity? - Kathryn Cooper, Mauricio Barahona:
Role-based similarity in directed networks. - Bertrand Guenin, Robin Thomas:
Packing directed circuits exactly. - Andrzej Gecow:
The differences between natural and artificial life. Towards a definition of life. - Yi Gai, Bhaskar Krishnamachari, Mingyan Liu:
On the Combinatorial Multi-Armed Bandit Problem with Markovian Rewards. - Ch. Helling, Ettore Pedretti, S. Berdyugina, A. A. Vidotto, B. Beeck, Eddie Baron, A. P. Showman, Eric Agol, Derek Homeier:
Aspects of Multi-Dimensional Modelling of Substellar Atmospheres. - Jacob Fox, Choongbum Lee, Benny Sudakov:
Maximum union-free subfamilies. - Andris Ambainis, Andrew M. Childs, Yi-Kai Liu:
Quantum property testing for bounded-degree graphs. - Regino Criado, Julio Flores, Alejandro García del Amo, Jesús Gómez-Gardeñes, Miguel Romance:
A mathematical model for networks with structures in the mesoscale. - Niek Bouman, Sem C. Borst, Johan van Leeuwaarden:
Stability of Random Admissible-Set Scheduling in Spatial Wireless Systems. - Paul Expert, Tim Evans, Vincent D. Blondel, Renaud Lambiotte:
Beyond Space For Spatial Networks. - Guillaume Desjardins, Aaron C. Courville, Yoshua Bengio:
Adaptive Parallel Tempering for Stochastic Maximum Likelihood Learning of RBMs. - Francesca Tria, Animesh Mukherjee, Andrea Baronchelli, Andrea Puglisi, Vittorio Loreto:
A fast no-rejection algorithm for the Category Game. - Jose M. G. Vilar:
Accurate prediction of gene expression by integration of DNA sequence statistics with detailed modeling of transcription regulation. - Adam Hackett, Sergey Melnik, James P. Gleeson:
Cascades on a class of clustered random networks. - Dan Burghelea, Tamal K. Dey:
Defining and Computing Topological Persistence for 1-cocycles. - Esther Hänggi:
Device-independent quantum key distribution. - Andrew Gillette, Chandrajit L. Bajaj:
Dual Formulations of Mixed Finite Element Methods. - Andrew M. Childs, David Jao, Vladimir Soukharev:
Constructing elliptic curve isogenies in quantum subexponential time. - Chao Fan, Jin-Li Guo, Yi-Long Zha:
Fractal Analysis on Human Behaviors Dynamics. - Gilad Lerman, Teng Zhang:
lp-Recovery of the Most Significant Subspace among Multiple Subspaces with Outliers. - Andrei Gagarin, Vadim E. Zverovich:
Upper bounds for the bondage number of graphs on topological surfaces. - Patrizio Frosini:
Stable comparison of multidimensional persistent homology groups with torsion. - Constantinos I. Siettos:
Equation-Free Multiscale Computational Analysis of Individual-Based Epidemic Dynamics on Networks. - Tsuyoshi Ito, Hirotada Kobayashi, John Watrous:
Quantum interactive proofs with weak error bounds. - Aaron S. Keys, Christopher R. Iacovella, Sharon C. Glotzer:
Characterizing Structure Through Shape Matching and Applications to Self Assembly. - Joerg Reichardt, Roberto Alamino, David Saad:
The interplay of microscopic and mesoscopic structure in complex networks. - Aaron S. Keys, Christopher R. Iacovella, Sharon C. Glotzer:
Harmonic Order Parameters for Characterizing Complex Particle Morphologies. - Hirotada Kobayashi, François Le Gall, Harumichi Nishimura, Martin Roetteler:
Constructing Quantum Network Coding Schemes from Classical Nonlinear Protocols. - Xin-Jian Xu, Xiao-Long Peng, Michael Small, Xinchu Fu:
Fitness-driven deactivation in network evolution. - Ottmar Bochardt, Jeffrey K. Uhlmann:
On the Equivalence of the General Covariance Union (GCU) and Minimum Enclosing Ellipsoid (MEE) Problems. - Joseph M. Renes, Renato Renner:
Noisy channel coding via privacy amplification and information reconciliation. - Yakov M. Karandashev, Boris Kryzhanovsky, Leonid B. Litinskii:
Local Minima of a Quadratic Binary Functional with a Quasi-Hebbian Connection Matrix. - Shengyu Zhang:
Quantum Strategic Game Theory. - Cristina Bertone:
Modular absolute decomposition of equidimensional polynomial ideals. - Isaac Campos-Cantón, J. A. Pecina-Sánchez, Eric Campos-Cantón, Haret C. Rosu:
A simple circuit with dynamic logic architecture of basic logic gates. - Avas V. Khugaev, Renat A. Sultanov, Dennis Guster:
Iteration Procedure for the N-Dimensional System of Linear Equations. - Masaaki Harada, Akihiro Munemasa:
Classification of self-dual codes of length 36. - Cinzia Bisi, Giampiero Chiaselotti:
Extension results for boolean maps and a class of systems of linear inequalities. - Zhen Wang, Wenbo Du, Xianbin Cao, Lian-Zhong Zhang:
Integrating neighborhoods in the evaluation of fitness promotes cooperation in the spatial prisoner's dilemma game. - Prabhu Manyem:
Duality Gap, Computational Complexity and NP Completeness: A Survey. - Matthew McKague:
BQP interactive proof for recursive Fourier sampling. - Patrizio Frosini, Claudia Landi:
Uniqueness of models in persistent homology: the case of curves. - Xin Zhang, Jianliang Wu, Jin Yan:
Degree conditions for the partition of a graph into triangles and quadrilaterals. - Xin Zhang, Guizhen Liu, Jianliang Wu:
Edge Coloring of Triangle-Free 1-Planar Graphs. - Serdar Çolak, Hilmi Lus, Ali Rana Atilgan:
Vulnerability of Networks Against Critical Link Failures. - Jing He, Hongyu Liang:
On Rainbow-k-Connectivity of Random Graphs. - Nikolai Dokuchaev:
On sub-ideal causal smoothing filters. - Paolo Frasca, Fabio Fagnani:
The asymptotical error of broadcast gossip averaging algorithms. - W. Ross Morrow, Steven J. Skerlos:
On the Existence of Bertrand-Nash Equilibrium Prices Under Logit Demand.
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.