default search action
CoRR, January 2012
- Plamen P. Fiziev, Denitsa R. Staicova:
Solving systems of transcendental equations involving the Heun functions. - Jeremy G. Siek, Michael M. Vitousek, Jonathan D. Turner:
Effects for Funargs. - Erik Silkensen, Jeremy G. Siek:
Well-typed Islands Parse Faster. - Jeremy G. Siek:
The C++0x "Concepts" Effort. - Vladimir S. Lerner:
The information path functional approach for a dynamic modeling of a controllable stochastic process. - Marian Grendár Jr., Jana Skutová, Vladimír Spitalský:
Spam filtering by quantitative profiles. - Mathew C. Francis, Daniel Gonçalves, Pascal Ochem:
The Maximum Clique Problem in Multiple Interval Graphs. - Md. Jawaherul Alam, Therese Biedl, Stefan Felsner, Michael Kaufmann, Stephen G. Kobourov, Torsten Ueckerdt:
Computing Cartograms with Optimal Complexity. - Rohith Dwarakanath Vallam, C. A. Subramanian, Ramasuri Narayanam, Yadati Narahari, Srinath Narasimha:
Topologies and Price of Stability of Complex Strategic Networks with Localized Payoffs : Analytical and Simulation Studies. - Wenni Zheng, Pengbo Bo, Yang Liu, Wenping Wang:
Fast B-spline Curve Fitting by L-BFGS. - (Withdrawn) On Truncated-SVD-like Sparse Solutions to Least-Squares Problems of Arbitrary Dimensions.
- Hao Zhang, Yuan Liu, Meixia Tao:
Resource Allocation with Subcarrier Pairing in OFDMA Two-Way Relay Networks. - Joonwoo Shin, Jaekyun Moon:
Weighted-Sum-Rate-Maximizing Linear Transceiver Filters for the K-User MIMO Interference Channel. - Chi Lin, Guowei Wu, Feng Xia, Mingchu Li, Lin Yao, Zhongyi Pei:
Energy Efficient Ant Colony Algorithms for Data Aggregation in Wireless Sensor Networks. - Zhikui Chen, Feng Xia, Tao Huang, Fanyu Bu, Haozhe Wang:
A Localization Method for the Internet of Things. - Haim Avron, Christos Boutsidis:
Faster Subset Selection for Matrices and Applications. - Vijendra Singh Bhadauria, Sanjeev Sharma
, Ravindra Patel:
A Comparative Study of Location Management Schemes: Challenges and Guidelines. - Hong Ju Park, Ender Ayanoglu:
An Upper Bound to the Marginal PDF of the Ordered Eigenvalues of Wishart Matrices. - Shan Mei, Xuan Zhou, Yifan Zhu, Zhenghu Zu, Tao Zheng, Alexander Boukhanovsky, Peter M. A. Sloot:
Simulating City-level Airborne Infectious Diseases. - Salah A. Aly:
Distributed Data Collection and Storage Algorithms for Collaborative Learning Vision Sensor Devices with Applications to Pilgrimage. - Guowei Wu, Dongze Lu, Feng Xia, Lin Yao:
A Fault-Tolerant Emergency-Aware Access Control Scheme for Cyber-Physical Systems. - Tie Qiu, Wei Wang, Feng Xia, Guowei Wu, Yu Zhou:
A Failure Self-recovery Strategy with Balanced Energy Consumption for Wireless Ad Hoc Networks. - Guowei Wu, Feng Xia, Lin Yao, Yan Zhang, Yanwei Zhu:
A Hop-by-hop Cross-layer Congestion Control Scheme for Wireless Sensor Networks. - Feng Xia, Ruixia Gao, Linqiang Wang, Ruonan Hao:
Real-Time Performance Analysis of Infrastructure-based IEEE 802.11 Distributed Coordination Function. - Jin Wang, Hassan Abid, Sungyoung Lee, Lei Shu, Feng Xia:
A Secured Health Care Application Architecture for Cyber-Physical Systems. - Feng Xia, Ruonan Hao, Yang Cao, Lei Xue:
ART-GAS: An Adaptive and Real-Time GTS Allocation Scheme for IEEE 802.15.4. - Feng Xia, Jianhua Ma:
Building Smart Communities with Cyber-Physical Systems. - Fangwei Ding, Feng Xia, Wei Zhang, Xuhai Zhao, Chengchuan Ma:
Monitoring Energy Consumption of Smartphones. - Feng Xia, Wei Zhang, Fangwei Ding, Ruonan Hao:
A-GPS Assisted Wi-Fi Access Point Discovery on Mobile Devices for Energy Saving. - Ning Zhang, Jun'ichi Tatemura, Jignesh M. Patel, Hakan Hacigümüs:
Towards Cost-Effective Storage Provisioning for DBMSs. - Hongchan Roh, Sanghyun Park, Sungho Kim, Mincheol Shin, Sang-Won Lee:
B+-tree Index Optimization by Exploiting Internal Parallelism of Flash-based Solid State Drives. - Per-Åke Larson, Spyros Blanas, Cristian Diaconu, Craig Freedman, Jignesh M. Patel, Mike Zwilling:
High-Performance Concurrency Control Mechanisms for Main-Memory Databases. - Shuai Ma, Yang Cao, Wenfei Fan, Jinpeng Huai, Tianyu Wo:
Capturing Topology in Graph Pattern Matching. - Mateusz Pawlik, Nikolaus Augsten:
RTED: A Robust Algorithm for the Tree Edit Distance. - Yael Amsterdamer, Susan B. Davidson, Daniel Deutch, Tova Milo, Julia Stoyanovich, Val Tannen:
Putting Lipstick on Pig: Enabling Database-style Workflow Provenance. - Jun Gao, Ruoming Jin, Jiashuai Zhou, Jeffrey Xu Yu, Xiao Jiang, Tengjiao Wang:
Relational Approach for Shortest Path Discovery over Large Graphs. - Marina Barsky, Sangkyum Kim, Tim Weninger, Jiawei Han:
Mining Flipping Correlations from Large Datasets with Taxonomies. - Arnd Christian König, Bolin Ding, Surajit Chaudhuri, Vivek R. Narasayya:
A Statistical Approach Towards Robust Progress Estimation. - Sumit Ganguly:
A Lower Bound for Estimating High Moments of a Data Stream. - Julián Urbano, Mónica Marrero, Diego Martín, Jorge Morato:
Overview of EIREX 2010: Computing. - Vincent Graziano, Faustino J. Gomez, Mark B. Ring, Jürgen Schmidhuber:
T-Learning. - Janusz A. Brzozowski, Hellis Tamm:
Quotient Complexities of Atoms of Regular Languages. - Honggang Zhang, Sudarshan Vasudevan:
Design and Analysis of Coalitions in Data Swarming Systems. - Yin Sun, Zhoujia Mao, Xiaofeng Zhong, Yuanzhang Xiao, Shidong Zhou, Ness B. Shroff:
Optimal Distributed Power Allocation for Decode-and-Forward Relay Networks. - Emanuel Diamant:
Let us first agree on what the term "semantics" means: An unorthodox approach to an age-old debate. - Arnab Bhattacharyya, Eldar Fischer, Shachar Lovett:
Testing Low Complexity Affine-Invariant Properties. - Jean-Yves Marion:
Proceedings Second Workshop on Developments in Implicit Computational Complexity, Saarbrücken, DICE 2011, Germany, April 2nd and 3rd, 2011. EPTCS 75, 2011 [contents] - Thomas C. Schmidt, Matthias Wählisch:
Why We Shouldn't Forget Multicast in Name-oriented Publish/Subscribe. - Simon Bogner, Ulrich Rüde:
Liquid-gas-solid flows with lattice Boltzmann: Simulation of floating bodies. - Toni Stojanovski, Marko Vuckovic, Ivan Velinov:
Empirical study of performance of data binding in ASP.NET web applications. - Toni Stojanovski, Ljupco Krstevski:
On the Performance of Exhaustive Search with Cooperating agents. - Venceslav Kafedziski, Toni Stojanovski:
Compressive sampling with chaotic dynamical systems. - Anthony Labarre:
Lower bounding edit distances between permutations. - Mursel Tasgin, Haluk Bingol:
Gossip on Weighted Networks. - Martin Doerr, Yannis Tzitzikas:
Information Carriers and Identification of Information Objects: An Ontological Approach. - Elena Purcaru, Cristian Toma:
2D Barcode for DNA Encoding. - Marius Popa:
Methods and Techniques of Quality Management for ICT Audit Processes. - Dan-Sabin Popescu:
Hiding Malicious Content in PDF Documents. - Adrian Marius Chiuta:
AES Encryption and Decryption Using Direct3D 10 API. - Gagan Goel, Vahab S. Mirrokni, Renato Paes Leme:
Polyhedral Clinching Auctions and the Adwords Polytope. - Arvind Yedla, Henry D. Pfister, Krishna R. Narayanan:
Code Design for the Noisy Slepian-Wolf Problem. - Zhigang Cao, Xiaoguang Yang:
A note on anti-coordination and social interactions. - Xuechong Guan, Yongming Li:
Continuity in Information Algebras. - Yuxin Deng, Yuan Feng:
Open Bisimulation for Quantum Processes. - Feng Jiang, Jianqi Wang, A. Lee Swindlehurst:
Interference-Aware Scheduling for Connectivity in MIMO Ad Hoc Multicast Networks. - Najmeh Kamyabpour, Doan B. Hoang:
A Task Based Sensor-Centeric Model for overall Energy Consumption. - Feng Jiang, Jie Chen, A. Lee Swindlehurst:
Phase-Only Analog Encoding for a Multi-Antenna Fusion Center. - Praveen Likhar, Ravi Shankar Yadav, M. Keshava Rao:
Securing IEEE 802.11G WLAN Using OpenVPN and Its Impact Analysis. - Haris Aziz, Markus Brill, Paul Harrenstein:
Testing Substitutability of Weak Preferences. - Yuan Li, Yue Zhao, Haibin Kan:
Capacity Factors of a Point-to-point Network. - Swapnil Dhamal, Satyanath Bhat, K. R. Anoop, Varun R. Embar:
Pattern Clustering using Cooperative Game Theory. - Kin Cheong Sou, Henrik Sandberg, Karl Henrik Johansson:
Computing Critical $k$-tuples in Power Networks. - Wolfgang Dvorák:
Technical Note: Exploring Σ^P_2 / Π^P_2-hardness for Argumentation Problems with fixed distance to tractable classes. - Mark Braverman, Alexander Grigo, Cristobal Rojas:
Noise vs computational intractability in dynamics. - Fabian Pedregosa, Gaël Varoquaux, Alexandre Gramfort, Vincent Michel, Bertrand Thirion, Olivier Grisel, Mathieu Blondel, Peter Prettenhofer, Ron Weiss, Vincent Dubourg, Jake VanderPlas, Alexandre Passos, David Cournapeau, Matthieu Brucher, Matthieu Perrot, Edouard Duchesnay:
Scikit-learn: Machine Learning in Python. - Jan Verschelde, Genady Yoffe:
Evaluating polynomials in several variables and their derivatives on a GPU computing processor. - Steven Obua:
ProofPeer - A Cloud-based Interactive Theorem Proving System. - Markus Schläpfer, Tom Kessler, Wolfgang Kröger:
Reliability Analysis of Electric Power Systems Using an Object-oriented Hybrid Modeling Approach. - Libor Barto, Marcin Kozik:
Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem. - Ronald de Haan, Nina Narodytska, Toby Walsh:
The RegularGcc Matrix Constraint. - Ivana Tosic, Sarah Drewes:
Learning joint intensity-depth sparse representations. - Deepak Ponvel Chermakani:
Expressing Reachability in Linear Recurrences, as Infinite Determinants and Rational Polynomial Equations. - Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Swarup Mohalik, Jean-Vivien Millo:
Formalizing Traceability and Derivability in Software Product Lines. - Mikolaj Bojanczyk, Slawomir Lasota:
An extension of data automata that captures XPath. - Thomas Maugey, Pascal Frossard:
Interactive multiview video system with non-complex navigation at the decoder. - Steven Weber, Jeffrey G. Andrews:
Transmission capacity of wireless networks. - Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek:
LTL to Büchi Automata Translation: Fast and More Deterministic. - Ming Liu, Matthieu Crussière, Jean-François Hélard:
A Novel Data-Aided Channel Estimation with Reduced Complexity for TDS-OFDM Systems. - Pablo M. Olmos, Juan José Murillo-Fuentes, Fernando Pérez-Cruz:
Tree-Structure Expectation Propagation for LDPC Decoding over the BEC. - Manel Khelifi, Assia Djabelkhir:
LMEEC: Layered Multi-Hop Energy Efficient Cluster-based Routing Protocol for Wireless Sensor Networks. - Lu Wei, Olav Tirkkonen:
Spectrum Sensing in the Presence of Multiple Primary Users. - Gary McGuire, Bastian Tugemann, Gilles Civario:
There is no 16-Clue Sudoku: Solving the Sudoku Minimum Number of Clues Problem. - Dirk Hesselbach:
Umgebungserfassungssystem fuer mobile Roboter (environment logging system for mobile autonomous robots). - Hector Zenil:
On the Dynamic Qualitative Behaviour of Universal Computation. - Hector Zenil:
Computer Runtimes and the Length of Proofs: On an Algorithmic Probabilistic Application to Waiting Times in Automatic Theorem Proving. - Srishti Shukla, Vijayvaradharaj T. Muralidharan, B. Sundar Rajan:
Wireless Network-Coded Accumulate-Compute and Forward Two-Way Relaying. - Yuval Shavitt, Udi Weinsberg:
Topological Trends of Internet Content Providers. - Jia Zeng:
TMBP: A Topic Modeling Toolbox Using Belief Propagation. - Mohammad Siraj, Soumen Kanrar
Performance of Modeling wireless networks in realistic environment. - Jordan Vrtanoski, Toni Stojanovski:
Order Handling in Convergent Environments. - Toni Stojanovski, Tomislav Dzekov:
Rapid Application Development Using Software Factories. - Manuel Bodirsky:
Complexity Classification in Infinite-Domain Constraint Satisfaction. - Dariusz Biernacki, Sergueï Lenglet:
Applicative Bisimulations for Delimited-Control Operators. - András Hajdu, Lajos Hajdu, Robert Tijdeman:
Approximations of the Euclidean distance by chamfer distances. - Alois Paulin:
Towards Self-Service Governance by Means of Information Technology. - Weiwei Han:
Weaknesses of a dynamic identity based authentication protocol for multi-server architecture. - Yangjia Li, Nengkun Yu, Mingsheng Ying:
Termination of Nondeterministic Quantum Programs. - Jan Kratochvíl, Torsten Ueckerdt:
Non-crossing Connectors in the Plane. - Mathilde Bouvel, Cédric Chauve, Marni Mishna, Dominique Rossin:
Average-case analysis of perfect sorting by reversals (Journal Version). - Eliska Janouchova, Anna Kucerová:
Competitive Comparison of Optimal Designs of Experiments for Sampling-based Sensitivity Analysis. - Wajeb Gharibi:
Symbian 'vulnerability' and Mobile Threats. - Athanasios Kehagias, Dieter Mitsche, Pawel Pralat:
Cops and Invisible Robbers: the Cost of Drunkenness. - Wajeb Gharibi:
Some Recommended Protection Technologies for Cyber Crime Based on Social Engineering Techniques -- Phishing. - Vladimir Hahanov, Wajeb Gharibi, Eugenia Litvinova, Svetlana Chumachenko:
Information Analysis Infrastructure for Diagnosis. - Sanjit A. Seshia:
Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis. - Manel Khelifi, Assia Djabelkhir:
Un protocole de routage à basse consomation d'énergie selon l'approche de clustering pour les réseaux de capteurs sans fils. - Nada M. Alamri, Nadine Akkari Adra:
UMTS-WiMAX Vertical Handover in Next Generation Wireless Networks. - Terence H. Chan, Alex J. Grant:
Network Coding Capacity Regions via Entropy Functions. - Vo Tam Van, Seiichi Mita:
A Novel Error Correcting System Based on Product Codes for Future Magnetic Recording Channels. - Alois Paulin:
Secure SQL Server - Enabling Secure Access to Remote Relational Data. - (Withdrawn) Distributed Multiuser Sequential Channel Sensing Schemes in Multichannel Cognitive Radio Networks.
- Krasimir Yordzhev:
An Entertaining Example of Using the Concepts of Context-Free Grammar and Pushdown Automation. - Garimella Rama Murthy:
Gibbs-Shannon Entropy and Related Measures: Tsallis Entropy. - Sergueï Lenglet, Joe B. Wells:
Expansion for Universal Quantifiers. - Daniel Leivant, Ramyaa Ramyaa:
Implicit complexity for coinductive data: a characterization of corecurrence. 1-14 - Clément Aubert
Sublogarithmic uniform Boolean proof nets. 15-27 - Evgeny Makarov:
Provably Total Functions of Arithmetic with Basic Terms. 28-32 - Lucien Capedevielle:
A type system for PSPACE derived from light linear logic. 33-46 - Jesus Diaz, David Arroyo, Francisco de Borja Rodríguez
Formal security analysis of registration protocols for interactive systems: a methodology and a case of study. - Krasimir Yordzhev, Ana Markovska:
Method of the Multidimensional Sieve in the Practical Realization of some Combinatorial Algorithms. - Yongjun Liao, Wei Du, Pierre Geurts, Guy Leduc:
DMFSGD: A Decentralized Matrix Factorization Algorithm for Network Distance Prediction. - Mehmet Karaca, Özgür Erçetin:
Throughput Optimal Multi-user Scheduling via Hierarchical Modulation. - Edinah K. Gnang:
Computational Tutorial on Gröbner bases embedding Sage in LaTeX with SageTEX. - (Withdrawn) Autenticazione biometrica: Realtà e fantasia.
- Oleg Bisikalo, Irina Kravchuk:
Formalization of semantic network of image constructions in electronic content. - Hee-Kap Ahn, Sang-Sub Kim, Christian Knauer, Lena Schlipf, Chan-Su Shin, Antoine Vigneron
Covering and Piercing Disks with Two Centers. - Noam Wagner, Yonina C. Eldar, Arie Feuer, Zvi Friedman:
Compressed Beamforming Applied to B-Mode Ultrasound Imaging. - Sylvain Gravier, Matjaz Kovse, Michel Mollard, Julien Moncel, Aline Parreau:
New results on variants of covering codes in Sierpinski graphs. - Lachhman Das Dhomeja, Yasir Arfat Malkani, Asad Ali Shaikh, Ayaz Keerio:
Transparent caching of virtual stubs for improved performance in ubiquitous environments. - Vitaly Feldman, Elena Grigorescu, Lev Reyzin, Santosh S. Vempala:
The Complexity of Statistical Algorithms. - Pierre-Yves Burgi, Alan L. Yuille, Norberto M. Grzywacz:
Probabilistic Motion Estimation Based on Temporal Coherence. - Paul M. B. Vitányi:
Information Distance: New Developments. - Paul M. B. Vitányi:
Turing Machines and Understanding Computational Complexity. - Romain Boulet, Pierre Mazzega, Danièle Bourcier:
Network Analysis of the French Environmental Code. - Romain Boulet:
A Network Approach to the French System of Legal codes - Part I: Analysis of a Dense Network. - Bart Jacobs, Jorik Mandemaker:
Relating Operator Spaces via Adjunctions. - Mark Marron:
Structural Analysis: Shape Information via Points-To Computation. - Ferkan Yilmaz, Mohamed-Slim Alouini
Novel Relations between the Ergodic Capacity and the Average Bit Error Rate. - Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich:
Abstracting Runtime Heaps for Program Understanding. - Ved Prakash Bhardwaj, Nitin, Vipin Tyagi:
Minimizing the Switch and Link Conflicts in an Optical Multi-stage Interconnection Network. - Atish Das Sarma, Anisur Rahaman Molla, Gopal Pandurangan:
Near-Optimal Random Walk Sampling in Distributed Networks. - Chinmoy Dutta, Jaikumar Radhakrishnan:
More on a Problem of Zarankiewicz. - Muhammad Fahad Khan, Saira Beg:
Stereo image Transference & Retrieval over SMS. - Takashi Isozaki:
A Thermodynamical Approach for Probability Estimation. - Ranch Y. Q. Lai, Pong C. Yuen, Kelvin K. W. Lee, Jian-Huang Lai:
Interactive Character Posing by Sparse Coding. - Kirstin Peters, Uwe Nestmann:
Is it a "Good" Encoding of Mixed Choice? (Technical Report). - Hesam Ekhtiyar, Mahdi Sheida, Mahmood Amintoosi:
Picture Collage with Genetic Algorithm and Stereo vision. - Roli Bansal, Priti Sehgal, Punam Bedi:
Minutiae Extraction from Fingerprint Images - a Review. - Élise Garrot-Lavoué:
Interconnection of Communities of Practice: A Web Platform for Knowledge Management. - Marc Aoun, Paul Beekhuizen, Antonios Argyriou, Dee Denteneer, Peter van der Stok:
Packet Skipping and Network Coding for Delay-Sensitive Network Communication. - Yaser Sadra, Sodeif Ahadpour, Zahra Arasteh-Fard:
A novel chaotic encryption scheme based on pseudorandom bit padding. - Xudong Ma:
Symbol-Index-Feedback Polar Coding Schemes for Low-Complexity Devices. - Krasimir Yankov Yordzhev:
An Example for the Use of Bitwise Operations in Programming. - Hristina Kostadinova, Krasimir Yordzhev:
A Representation of Binary Matrices. - Fatima-Zahra Belouadha, Hajar Omrana, Ounsa Roudiès:
A MDA approach for defining WS-Policy semantic non-functional properties. - James P. Ferry, J. Oren Bumgarner:
Community detection and tracking on networks from a data fusion perspective. - Eric Berberich, Pavel Emeliyanenko, Alexander Kobel, Michael Sagraloff:
Exact Symbolic-Numeric Computation of Planar Algebraic Curves. - Hongyu Lu, Shanglian Bao:
A United Image Force for Deformable Models and Direct Transforming Geometric Active Contorus to Snakes by Level Sets. - Houtao Deng, George C. Runger:
Feature Selection via Regularized Trees. - Chong Li, Nicola Elia:
Upper Bound on the Capacity of Gaussian Channels with Noisy Feedback. - Luis M. Vaquero, Manuel Cebrián:
The Weakness of Weak Ties in the Classroom. - Xiaolin Wu, Guangtao Zhai:
Temporal Psychovisual Modulation: a new paradigm of information display. - A. Ananda Rao, K. Narendar Reddy:
Identifying Clusters of Concepts in a Low Cohesive Class for Extract Class Refactoring Using Metrics Supplemented Agglomerative Clustering Technique. - Cyril Voyant, Marc Muselli, Christophe Paoli, Marie-Laure Nivet:
Numerical Weather Prediction (NWP) and hybrid ARMA/ANN model to predict global radiation. - Sergio Gómez, Alberto Fernández, Justo Montiel, David Torres:
MultiDendrograms: Variable-Group Agglomerative Hierarchical Clustering. - Parsa Bakhtary, Othman Echi:
On the minimality of Hamming compatible metrics. - Saif Khan Mohammed, Erik G. Larsson:
Per-antenna Constant Envelope Precoding for Large Multi-User MIMO Systems. - Sarah Cannon, Erik D. Demaine, Martin L. Demaine, Sarah Eisenstat, Matthew J. Patitz, Robert T. Schweller, Scott M. Summers, Andrew Winslow:
Two Hands Are Better Than One (up to constant factors). - Sylvie Gibet, Pierre-François Marteau, Kyle Duarte:
Toward a Motor Theory of Sign Language Perception. - (Withdrawn) A MacWilliams type identity for m-spotty generalized Lee weight enumerators over Zq q.
- Giang T. K. Nguyen, Rachit Agarwal, Junda Liu, Matthew Caesar, Brighten Godfrey, Scott Shenker:
Slick Packets. - Rahul Jain, Attila Pereszlényi, Penghui Yao:
A direct product theorem for bounded-round public-coin randomized communication complexity. - Ashraf Sadat Jabari, Mohammadreza Keyvanpour:
Identifying and Analysis of Scene Mining Methods Beased on Scenes Extracted Features. - Siavash Emtiyaz, Mohammadreza Keyvanpour:
Customers Behavior Modeling by Semi-Supervised Learning in Customer Relationship Management. - Décio Luiz Gazzoni Filho, Taufik Abrão, Marcelo C. Tosin, Francisco Granziera Jr.:
Error-Correcting Codes for Reliable Communications in Microgravity Platforms. - Zainab Ashari, Anis Nurashikin Nordin:
Theoretical Modeling and Simulation of Phase-Locked Loop (PLL) for Clock Data Recovery (CDR). - Swapnil Dhamal, Y. Narahari:
Sufficient Conditions for Formation of a Network Topology by Self-interested Agents. - Lawrence Ong, Roy Timo, Gottfried Lechner, Sarah J. Johnson, Christopher M. Kellett:
The Three-User Finite Field Multi-Way Relay Channel with Correlated Sources. - Nikzad Babaii Rizvandi, Javid Taheri, Albert Y. Zomaya:
Some Observations on Optimal Frequency Selection in DVFS-based Energy Consumption Minimization. - Denis Cousineau:
On completeness of reducibility candidates as a semantics of strong normalization. - Mark Sh. Levin
Morphological methods for design of modular systems (a survey). - Tomasz Mazur, Gavin Lowe:
A type reduction theory for systems with replicated components. - Wei Chen, Wenjie Fang, Guangda Hu, Michael W. Mahoney:
On the Hyperbolicity of Small-World Networks and Tree-Like Graphs. - Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
On Conditional Decomposability. - Tomás Masopust:
A Note on Undecidability of Observation Consistency for Non-Regular Languages. - George Kesidis, Youngmi Jin:
Stochastic Loss Aversion for Random Medium Access. - Stéphane Martin, Mehdi Ahmed-Nacer, Pascal Urso:
Abstract unordered and ordered trees CRDT. - Jiun-Hung Yu, Hans-Andrea Loeliger:
On Polynomial Remainder Codes. - Enrico Paolini, Gianluigi Liva, Marco Chiani:
Graph-Based Random Access for the Collision Channel without Feedback: Capacity Bound. - Gang Xiong, Shalinee Kishore, Aylin Yener:
Spectrum Sensing in Cognitive Radio Networks: Performance Evaluation and Optimization. - Marek Cygan, Marcin Pilipczuk, Michal Pilipczuk, Jakub Onufry Wojtaszczyk:
Sitting closer to friends than enemies, revisited. - András Sebö, Jens Vygen:
Shorter Tours by Nicer Ears: 7/5-approximation for graphic TSP, 3/2 for the path version, and 4/3 for two-edge-connected subgraphs. - Sean Costigan, Chris Pallaris:
Knowledge Ecologies in International Affairs: A New Paradigm for Dialog and Collaboration. - Anantharaman Balasubramanian, Hung D. Ly, Shuo Li, Tie Liu, Scott L. Miller:
Secure Symmetrical Multilevel Diversity Coding. - Ye Tian, Aylin Yener:
Relaying for Multiuser Networks in the Absence of Codebook Information. - Shaoshi Chen, Manuel Kauers, Michael F. Singer:
Telescopers for Rational and Algebraic Functions via Residues. - Anita Garhwal, Partha Pratim Bhattacharya:
A Survey on Dynamic Spectrum Access Techniques for Cognitive Radio. - Manoj Kumar, Sandeep Kumar Arya, Sujata Pandey:
Single bit full adder design using 8 transistors with novel 3 transistors XNOR gate. - Faudziah Ahmad, Fauziah Baharom, Moath Husni:
Investigating the Awareness of Applying the Important Web Application Development and Measurement Practices in Small Software Firms. - Herman Kabetta, Yudi Dwiandiyanta, Suyoto:
Information Hiding in CSS : A Secure Scheme Text-Steganography using Public Key Cryptosystem. - Neha Gupta, Sapna Singh, Meenakshi Suthar, Priyanka Soni:
Low Power Low Voltage Bulk Driven Balanced OTA. - Abdelhakim Khlifi, Ridha Bouallegue:
Hybrid LS-LMMSE Channel Estimation Technique for LTE Downlink Systems. - Shaoshi Chen, Manuel Kauers:
Order-Degree Curves for Hypergeometric Creative Telescoping. - Xiongping Dai:
Criteria of stabilizability for switching-control systems with solvable linear approximations. - K. Pavan Srinath, B. Sundar Rajan:
DMT-optimal, Low ML-Complexity STBC-Schemes for Asymmetric MIMO Systems. - Petr Hlinený, Ondrej Moris:
Dynamic Scope-Based Dijkstra's Algorithm. - Md. Amjad Hossain, Pintu Chandra Shill, Bishnu Sarker, Kazuyuki Murase:
Optimal Fuzzy Model Construction with Statistical Information using Genetic Algorithm. - Saravanan Kumarasamy, R. Asokan:
Distributed Denial of Service (DDoS) Attacks Detection Mechanism. - K. M. Azharul Hasan, Al-Mahmud, Amit Mondal, Amit Saha:
Recognizing Bangla Grammar using Predictive Parser. - Mohsen Zare Baghbidi, Kamal Jamshidi, Ahmad Reza Naghsh-Nilchi, Saeid Homayouni:
Improvement of Anomoly Detection Algorithms in Hyperspectral Images using Discrete Wavelet Transform. - Ch. Ram Mohan Reddy, D. Evangelin Geetha, K. G. Srinivasa, T. V. Suresh Kumar, K. Rajani Kanth:
General Methodology for developing UML models from UI. - Ch. Ram Mohan Reddy, D. Evangelin Geetha, K. G. Srinivasa, T. V. Suresh Kumar, K. Rajani Kanth:
Early Performance Prediction of Web Services. - Mehdi Ghasemi, Mohammad Hossein Moaiyeri, Keivan Navi:
A New Full Adder Cell for Molecular Electronics. - Tina Gebreyohannes, Dong-Yoon Kim:
Adaptive Noise Reduction Scheme for Salt and Pepper. - Alexander O'Neill, Marcus Hutter, Wen Shao, Peter Sunehag:
Adaptive Context Tree Weighting. - Mehwish Aziz, Muhammad Rafi:
Pbm: A new dataset for blog mining. - Jan Wrobel:
Reflection Scan: an Off-Path Attack on TCP. - Jing Xu, Rémy Houssin, Emmanuel Caillaud, Mickael Gardoni:
Fostering continuous innovation in design with an integrated knowledge management approach. - Mehwish Aziz, Muhammad Rafi:
Sentence based semantic similarity measure for blog-posts. - Giovanni Viglietta:
Partial Searchlight Scheduling is Strongly PSPACE-complete. - Raja Mohamed S., P. Raviraj:
Biologically inspired design framework for Robot in Dynamic Environments using Framsticks. - Yasir Malik, Kishwer Abdul Khaliq, Bessam Abdulrazak, Usman Tariq:
Mobile node localization in cellular networks. - Saravanan Kumarasamy, A. Gowrishankar:
An Active Defense Mechanism for TCP SYN flooding attacks. - Naagesh S. Bhat:
Design and ASIC implementation of DUC/DDC for communication systems. - Marek Blazewicz, Steven R. Brandt, Peter Diener, David M. Koppelman, Krzysztof Kurowski, Frank Löffler, Erik Schnetter
A Massive Data Parallel Computational Framework for Petascale/Exascale Hybrid Computer Systems. - P. Suresh Kumar, P. Sateesh Kumar, Ramachandram Sirandas:
Purging of untrustworthy recommendations from a grid. - Davar Giveki, Hamid Salimi, GholamReza Bahmanyar, Younes Khademian:
Automatic Detection of Diabetes Diagnosis using Feature Weighted Support Vector Machines based on Mutual Information and Modified Cuckoo Search. - Ignacio Gomez Portillo:
Emergence of cooperation in growing systems with cultural reproduction. - Ahmad Beirami, Faramarz Fekri:
Memory-Assisted Universal Source Coding. - Ahmad Beirami, Hamid Nejati, Yehia Massoud:
A Performance Metric for Discrete-Time Chaos-Based Truly Random Number Generators. - Mihir Bellare, Stefano Tessaro, Alexander Vardy:
A Cryptographic Treatment of the Wiretap Channel. - Janyl Jumadinova, Prithviraj Dasgupta:
Multi-sensor Information Processing using Prediction Market-based Belief Aggregation. - Xiaoli Xu, Satyajit Thakor, Yong Liang Guan:
Reduced Functional Dependence Graph and Its Applications. - Abdelrahman Elleithy, Gonhsin Liu:
A simulation model for the lifetime of wireless sensor networks. - Kamal Sarkar:
Bengali text summarization by sentence extraction. - Martin Pelikan, Mark Hauschild:
Distance-Based Bias in Model-Directed Optimization of Additively Decomposable Problems. - Yuxin Deng, Alwen Tiu:
Characterisations of Testing Preorders for a Finite Probabilistic pi-Calculus. - Dan Petrovic:
Relationships in Large-Scale Graph Computing. - Wolfgang Mulzer, Daniel Werner:
A Lower Bound for Shallow Partitions. - Andrey Kan, Jeffrey Chan, Conor Hayes, Bernie Hogan, James Bailey, Christopher Leckie:
A Time Decoupling Approach for Studying Forum Dynamics. - Vijay Dhir, Rattan K. Datta, Maitreyee Dutta:
Nimble@ITCEcnoGrid: A Grid in Research Domain for Weather Forecasting. - P. Chitra, R. Baskaran, K. Sarukesi:
Query sensitive comparative summarization of search results using concept based segmentation. - B. Seetha Lakshmi, C. D. Balapriya, R. Soniya:
Actor Garbage Collection in Distributed Systems using Graph Transformation. - Joffrey Villard, Pablo Piantanida, Shlomo Shamai:
Secure Transmission of Sources over Noisy Channels with Side Information at the Receivers. - Jiantao Jiao, Haim H. Permuter, Lei Zhao, Young-Han Kim, Tsachy Weissman:
Universal Estimation of Directed Information. - László Toka, Pasquale Cataldi, Matteo Dell'Amico, Pietro Michiardi:
Redundancy Management for P2P Backup. - Kousha Etessami, Alistair Stewart, Mihalis Yannakakis:
Polynomial Time Algorithms for Multi-Type Branching Processes and Stochastic Context-Free Grammars. - Rumi Ghosh, Kristina Lerman:
The Role of Dynamic Interactions in Multi-scale Analysis of Network Structure. - Dashiell E. A. Fryer:
On the Existence of General Equilibrium in Finite Games and General Game Dynamics. - Brian K. Butler, Paul H. Siegel:
Bounds on the Minimum Distance of Punctured Quasi-Cyclic LDPC Codes. - Marie-José Montpetit, Cédric Westphal, Dirk Trossen:
Network Coding Meets Information-Centric Networking. - Sheeba Armoogum, Vinaye Armoogum, Jayprakash Gopaul:
The Development of a LAN for DVB-T Transmission and DVB-S Reception with Designed QAM Modulators and COFDM in the Island Mauritius. - Pierre Machart, Thomas Peel, Liva Ralaivola, Sandrine Anthoine, Hervé Glotin:
Stochastic Low-Rank Kernel Learning for Regression. - Li Tan:
A Well-typed Lightweight Situation Calculus. - Tao Yang, Xiaojun Yuan, Li Ping, Iain B. Collings, Jinhong Yuan:
Eigen-Direction Alignment Based Physical-Layer Network Coding for MIMO Two-Way Relay Channels. - Md. Sazzad Hossain, Md. Rashedul Hasan Rakib, Md. Motiur Rahman, A. S. M. Delowar Hossain, Md. Minul Hasan:
A New Design Technique of Reversible BCD Adder Based on NMOS With Pass Transistor Gates. - Yibei Ling, Scott Alexander, Richard Lau:
On Quantification of Anchor Placement. - K. Munivara Prasad, A. Rama Mohan Reddy, M. Ganesh Karthik:
Flooding attacks to internet threat monitors (ITM): Modeling and counter measures using botnet and honeypots. - Yonghui Li, Md. Shahriar Rahman, Branka Vucetic:
Duality of Channel Encoding and Decoding - Part I: Rate-1 Convolutional Codes. - Haitham Hassanieh, Piotr Indyk, Dina Katabi, Eric Price:
Nearly Optimal Sparse Fourier Transform. - Miaomiao Tian, Liusheng Huang, Wei Yang:
On the Security of an identity-based short signature scheme. - (Withdrawn) Improved Strategies for Enhanced Business Performance in Cloud based IT Industries.
- Mohammad Reza Gholami, Erik G. Ström, Henk Wymeersch, Mats Rydström:
On Geometric Upper Bounds for Positioning Algorithms in Wireless Sensor Networks. - Daniel Hienert, Frank Sawitzki, Philipp Schaer, Philipp Mayr:
Integrating Interactive Visualizations in the Search Process of Digital Libraries and IR Systems. - Tobias Koch, Amos Lapidoth:
At Low SNR Asymmetric Quantizers Are Better. - Gergely Ács, Claude Castelluccia:
DREAM: DiffeRentially privatE smArt Metering. - S. Allin Christe, M. Vignesh, A. Kandaswamy:
An efficient FPGA implementation of MRI image filtering and tumor characterization using Xilinx system generator. - Maria Axenovich, Marcus Krug, Georg Osang, Ignaz Rutter:
Fork-forests in bi-colored complete bipartite graphs. - Martin Avanzini, Naohi Eguchi, Georg Moser:
A New Order-theoretic Characterisation of the Polytime Computable Functions. - Christos Dimitrakakis:
Sparse Reward Processes. - Linh Anh Nguyen, Son Thanh Cao:
Query-Subquery Nets. - Sung-eok Jeon, Chuanyi Ji:
Joint Approximation of Information and Distributed Link-Scheduling Decisions in Wireless Networks. - Shuping Gong, Zhenghao Zhang, Husheng Li, Aleksandar D. Dimitrovski:
Time Stamp Attack in Smart Grid: Physical Mechanism and Damage Analysis. - Zhenwen Dai, Jörg Lücke:
Autonomous Cleaning of Corrupted Scanned Documents - A Generative Modeling Approach. - Mohammad A. Al-Khedher:
Hybrid GPS-GSM Localization of Automobile Tracking System. - Frank Li, Prateek Mittal, Matthew Caesar, Nikita Borisov:
SybilControl: Practical Sybil Defense with Computational Puzzles. - Gerth Stølting Brodal, Alexis C. Kaporis, Apostolos N. Papadopoulos, Spyros Sioutas, Konstantinos Tsakalidis, Kostas Tsichlas:
Dynamic 3-sided Planar Range Queries with Expected Doubly Logarithmic Time. - Rachit Agarwal, Brighten Godfrey, Sariel Har-Peled:
Faster Approximate Distance Queries and Compact Routing in Sparse Graphs. - Atilim Günes Baydin, Ramón López de Mántaras:
Evolution of Ideas: A Novel Memetic Algorithm Based on Semantic Networks. - Fionn Murtagh:
Ultrametric Model of Mind, I: Review. - Thomas Sauerwald, He Sun:
Tight Bounds for Randomized Load Balancing on Arbitrary Network Topologies. - Fionn Murtagh:
Ultrametric Model of Mind, II: Application to Text Content Analysis. - Qun Mo, Yi Shen:
A remark on the Restricted Isometry Property in Orthogonal Matching Pursuit. - Karim Habak, Moustafa Youssef, Khaled A. Harras:
DBAS: A Deployable Bandwidth Aggregation System. - Spyros Sioutas, Peter Triantafillou, George Papaloukopoulos, Evangelos Sakkopoulos, Kostas Tsichlas, Yannis Manolopoulos:
ART : Sub-Logarithmic Decentralized Range Query Processing with Probabilistic Guarantees. - Alexander Langer, Felix Reidl, Peter Rossmanith, Somnath Sikdar:
Linear Kernels on Graphs Excluding Topological Minors. - Tom Britton, Pieter Trapman:
Inferring global network properties from egocentric data with applications to epidemics. - Jiangao Zhang, Weitao Wang:
Event Space Theory and Its Application. - Krishnendu Chatterjee, Yaron Velner:
Mean-Payoff Pushdown Games. - Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Strategy Improvement for Concurrent Reachability and Safety Games. - Mahmoud Ramezani Mayiami, Babak Seyfe:
Nonparametric Sparse Representation. - Bin Dai:
Degraded Broadcast Channel with Side Information, Confidential Messages and Noiseless Feedback. - Shih-Chun Lin, Pin-Hsun Lin:
On Ergodic Secrecy Capacity of Multiple Input Wiretap Channel with Statistical CSIT. - Marian George, Moustafa Youssef:
Acoustical Quality Assessment of the Classroom Environment. - Qiyang Zhao:
NegCut: Automatic Image Segmentation based on MRF-MAP. - Jie Xu, Mihaela van der Schaar:
Social Norm Design for Information Exchange Systems with Limited Observations. - (Withdrawn) Combining Heterogeneous Classifiers for Relational Databases.
- Stanley Tzeng, John D. Owens:
Finding Convex Hulls Using Quickhull on the GPU. - Wael Jaafar, Wessam Ajib, David Haccoun:
Opportunistic Adaptive Relaying in Cognitive Radio Networks. - Matthieu Perrinel:
Strong polynomial bound for light linear logic by levels. - Ghazi Al-Naymat, Sanjay Chawla, Javid Taheri:
SparseDTW: A Novel Approach to Speed up Dynamic Time Warping. - Xuechong Guan, Yongming Li:
Information algebra system of soft sets. - Chengwen Xing, Shaodan Ma, Zesong Fei, Yik-Chung Wu, Jingming Kuang:
Joint Robust Weighted LMMSE Transceiver Design for Dual-Hop AF Multiple-Antenna Relay Systems. - Chengwen Xing, Zesong Fei, Yik-Chung Wu, Shaodan Ma, Jingming Kuang:
Robust Transceiver Design for AF MIMO Relay Systems with Column Correlations. - B. Rajathilagam, Murali Rangarajan, K. P. Soman:
G-Lets: Signal Processing Using Transformation Groups. - Shrinivas Kudekar, Tom Richardson, Rüdiger L. Urbanke:
Spatially Coupled Ensembles Universally Achieve Capacity under Belief Propagation. - Rachit Srivastava, Anurag Kumar:
Performance Analysis of Beacon-Less IEEE 802.15.4 Multi-Hop Networks. - Stephen G. Kobourov:
Spring Embedders and Force Directed Graph Drawing Algorithms. - Mohammad Ashraful Anam, Yiannis Andreopoulos:
Throughput Scaling Of Convolution For Error-Tolerant Multimedia Applications. - Qian Cao, H. Vicky Zhao, Yindi Jing:
Power Allocation and Pricing in Multi-User Relay Networks Using Stackelberg and Bargaining Games. - Feng Wang, Jianwei Huang, Yuping Zhao:
Delay Sensitive Communications over Cognitive Radio Networks. - Sungsu Lim, Kyomin Jung, Matthew Andrews:
Stability of the Max-Weight Protocol in Adversarial Wireless Networks. - Jerome K. Vanclay, Lutz Bornmann:
Metrics to evaluate research performance in academic institutions: A critique of ERA 2010 as applied in forestry and the indirect H2 index as a possible alternative. - Sylvain Martin, Laurent Chiarello, Guy Leduc:
DISco: a Distributed Information Store for network Challenges and their Outcome. - Jerome K. Vanclay:
Impact Factor: outdated artefact or stepping-stone to journal certification? - Joseph Yossi Gil, David Allen Scott:
A Bijective String Sorting Transform. - Joseph Gil, Maayan Goldstein, Dany Moshkovich:
Empirical Confirmation (and Refutation) of Presumptions on Software. - Fumiya Okubo, Satoshi Kobayashi, Takashi Yokomori:
On the Properties of Language Classes Defined by Bounded Reaction Automata. - Sudipta Kundu, B. Sundar Rajan:
An Adaptive Modulation Scheme for Two-user Fading MAC with Quantized Fade State Feedback. - Robert Ganian:
Using Neighborhood Diversity to Solve Hard Problems. - Savvas Gitzenis, Georgios S. Paschos, Leandros Tassiulas:
Asymptotic Laws for Joint Content Replication and Delivery in Wireless Networks. - Li Yang, Yuhui Wang:
Tacit knowledge mining algorithm based on linguistic truth-valued concept lattice. - Wesley Nunes Gonçalves, Odemir Martinez Bruno:
Automatic system for counting cells with elliptical shape. - Anderson Gonçalves Marco, Alexandre Souto Martinez, Odemir Martinez Bruno:
Fast, parallel and secure cryptography algorithm using Lorenz's attractor. - João Batista Florindo, Mário de Castro, Odemir Martinez Bruno:
Enhancing Volumetric Bouligand-Minkowski Fractal Descriptors by using Functional Data Analysis. - José A. García Gutiérrez, Carlos Cotta, Antonio José Fernández Leiva:
Design of Emergent and Adaptive Virtual Players in a War RTS Game. - Adeline Pierrot, Dominique Rossin:
Simple permutations poset. - Mahdi Zamani, Amir K. Khandani:
Maximum Throughput in Multiple-Antenna Systems. - Yonghui Li, Branka Vucetic:
Distributed Soft Coding with a Soft Input Soft Output (SISO) Relay Encoder in Parallel Relay Channels. - André Ricardo Backes, Odemir Martinez Bruno:
Fractal and Multi-Scale Fractal Dimension analysis: a comparative study of Bouligand-Minkowski method. - Mihir Bellare, Stefano Tessaro:
Polynomial-Time, Semantically-Secure Encryption Achieving the Secrecy Capacity. - Uma Murthy, David Boardman, Chirag Garg:
Assessing the Value of 3D Reconstruction in Building Construction. - Krasimir Yordzhev, Lilyana Totina:
Matrix representation of a solution of a combinatorial problem of the group theory. - Vikraman Arvind, Partha Mukhopadhyay, Prajakta Nimbhorkar, Yadu Vasudev:
Near-Optimal Expanding Generating Sets for Solvable Permutation Groups. - Peng Zhang:
Partial Degree Bounded Edge Packing Problem. - Javier Esparza, Pierre Ganty, Rupak Majumdar:
A Perfect Model for Bounded Verification. - Toshinori Oaku:
An algorithm to compute the differential equations for the logarithm of a polynomial. - Akihiro Kishimoto, Alex Fukunaga, Adi Botea:
Evaluation of a Simple, Scalable, Parallel Best-First Search Strategy. - Fredrik Rusek, Daniel Persson, Buon Kiong Lau, Erik G. Larsson, Thomas L. Marzetta, Ove Edfors, Fredrik Tufvesson:
Scaling up MIMO: Opportunities and Challenges with Very Large Arrays. - Niccolò Cavazza, Marc Ethier, Patrizio Frosini, Tomasz Kaczynski, Claudia Landi:
Comparison of Persistent Homologies for Vector Functions: from continuous to discrete and back. - Amelia Carolina Sparavigna:
Variations of images to increase their visibility. - Gerard David Howard, Larry Bull, Pier Luca Lanzi:
A Spiking Neural Learning Classifier System. - Alexander Kartzow, Pawel Parys:
Strictness of the Collapsible Pushdown Hierarchy. - Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss:
Automatic Sequences and Zip-Specifications. - Ajit A. Diwan, Soumitra Pal, Abhiram Ranade:
Component Coloring of Proper Interval Graphs and Split Graphs. - Abdellatif Zaidi, Pablo Piantanida, Shlomo Shamai:
Capacity Region of Multiple Access Channel with States Known Noncausally at One Encoder and Only Strictly Causally at the Other Encoder. - Richard J. Lipton, Kenneth W. Regan, Atri Rudra:
Simulating Special but Natural Quantum Circuits. - Erwan Le Martelot, Chris Hankin:
Multi-scale Community Detection using Stability Optimisation within Greedy Algorithms. - Gahyun Park:
A Generalization of Multiple Choice Balls-into-Bins: Tight Bounds. - Murat Güzeltepe:
Perfect Mannheim, Lipschitz and Hurwitz weight codes. - Murat Güzeltepe:
Codes over Hurwitz integers. - Marcin Kik:
Notes on Bit-reversal Broadcast Scheduling. - Yuanzhang Xiao, Mihaela van der Schaar:
Dynamic Spectrum Sharing Among Repeatedly Interacting Selfish Users With Imperfect Monitoring. - Ramya Menon C., Vinod Pangracious:
A Novel Methodology for Thermal Aware Silicon Area Estimation for 2D & 3D MPSoCs. - Fatemeh Alamdar, Mohammad Reza Keyvanpour:
A New Color Feature Extraction Method Based on Dynamic Color Distribution Entropy of Neighborhoods. - Danko Adrovic, Jan Verschelde:
Computing Puiseux Series for Algebraic Surfaces. - Milos B. Djuric, Velimir M. Ilic, Miomir S. Stankovic:
The computation of first order moments on junction trees. - Omar I. Al-Bataineh, Mark Reynolds, Tim French, Terry Woodings:
Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology. - Brijesh Kumar Baradwaj, Saurabh Pal
Mining Educational Data to Analyze Students' Performance. - Brijesh Kumar Bhardwaj, Saurabh Pal
Data Mining: A prediction for performance improvement using classification. - Omar Baqueiro Espinosa:
A Genetic Algorithm for the Calibration of a Micro-Simulation Model. - Krasimir Yordzhev, Hristina Kostadinova:
On Some Entertaining Applications of the Concept of Set in Computer Science Course. - Di Wu, Yiping Ke, Jeffrey Xu Yu, Zheng Liu:
Detecting Priming News Events. - Alena Zemanová, Jan Zeman, Michal Sejnoha:
Simple Numerical Model of Laminated Glass Beams. - Ingo Scholtes, Claudio Juan Tessone:
Organic Design of Massively Distributed Systems: A Complex Networks Perspective. - Tareq M. Malas, Aron J. Ahmadia, Jed Brown, John A. Gunnels, David E. Keyes
Optimizing the Performance of Streaming Numerical Kernels on the IBM Blue Gene/P PowerPC 450 Processor. - Thomas Dueholm Hansen, Rasmus Ibsen-Jensen, Peter Bro Miltersen:
A Faster Algorithm for Solving One-Clock Priced Timed Games. - Larry Bull:
On Natural Genetic Engineering: Structural Dynamism in Random Boolean Networks. - Hiroki Sayama, Jin Akaishi:
Characterizing Interdisciplinarity of Researchers and Research Topics Using Web Search Engines. - Freek Wiedijk:
A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving. - Jérémy Barbay, Francisco Claude, Gonzalo Navarro:
Compact Binary Relation Representations with Rich Functionality. - Wesley Nunes Gonçalves, Bruno Brandoli Machado, Odemir Martinez Bruno:
Spatiotemporal Gabor filters: a new method for dynamic texture recognition. - Dheeraj Singaraju, Ehsan Elhamifar, Roberto Tron, Allen Y. Yang, S. Shankar Sastry:
On the Lagrangian Biduality of Sparsity Minimization Problems. - Jie Xu, Ling Qiu, Shunqing Zhang:
Energy Efficient Iterative Waterfilling for the MIMO Broadcasting Channels. - Jie Xu, Ling Qiu:
Energy Efficiency Scaling Law for MIMO Broadcasting Channels. - Aamir Khan, Muhammad Farhan, Aasim Khurshid, Muhammad Adeel Akram:
A Multimodal Biometric System Using Linear Discriminant Analysis For Improved Performance. - Hadi Poormohammadi, Changiz Eslahchi, Ruzbeh Tusserkani:
TripNet: A Heuristic Algorithm for Constructing Rooted Phylogenetic Networks from Triplets. - Premkumar Karumbu, Xiaomin Chen, Douglas J. Leith:
Proportional Fair Coding for Wireless Mesh Networks. - Joseph Cheriyan, Olivier Durand de Gevigney, Zoltán Szigeti:
Packing of Rigid Spanning Subgraphs and Spanning Trees. - Cyril Cohen, Assia Mahboubi:
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination. - Hamid Reza Feyzmahdavian, Mikael Johansson:
Contractive Interference Functions and Rates of Convergence of Distributed Power Control Laws. - Mohammad Soryani, Behrooz Minaei:
Social Networks Research Aspects: A Vast and Fast Survey Focused on the Issue of Privacy in Social Network Sites. - Marcelo Serrano Zanetti, Frank Schweitzer:
A Network Perspective on Software Modularity. - Francesco Versaci, Keshav Pingali:
Processor Allocation for Optimistic Parallelization of Irregular Programs. - Abeer Ghandar, Eman Shabaan, Zaky Taha Fayed:
Performance Analysis of Observation Based Cooperation Enforcement in Ad Hoc Networks. - Derek O'Callaghan, Martin Harrigan, Joe Carthy, Pádraig Cunningham:
Network Analysis of Recurring YouTube Spam Campaigns. - Hristina Kostadinova, Krasimir Yordzhev:
An Entertaining Example for the Usage of Bitwise Operations in Programming. - Manoj K. Vairalkar, Sonali Nimbhorkar:
Image Labeling and Segmentation using Hierarchical Conditional Random Field Model. - Mads Ruben Burgdorff Kristensen, Brian Vinter:
Managing Communication Latency-Hiding at Runtime for Parallel Programming Languages and Libraries. - Carlos Miravet, Francisco de Borja Rodríguez:
A PCA-Based Super-Resolution Algorithm for Short Image Sequences. - Joachim Rosenthal, Anna-Lena Trautmann:
A Complete Characterization of Irreducible Cyclic Orbit Codes and their Plücker Embedding. - Vibha Gaur, Neeraj Kumar Sharma, Punam Bedi:
A Dynamic Model for Sharing Reputation of Sellers among Buyers for Enhancing Trust in Agent Mediated e-market. - Jinli Hu:
Combinatorial Modelling and Learning with Prediction Markets. - Martin C. Cooper, Guillaume Escamocher:
A Dichotomy for 2-Constraint Forbidden CSP Patterns. - Narayan Prasad, Honghai Zhang, Hao Zhu, Sampath Rangarajan:
Multi-User Scheduling in the 3GPP LTE Cellular Uplink. - Alain-Jérôme Fougères:
Modelling and simulation of complex systems: an approach based on multi-level agents. - Alain-Jérôme Fougères:
Agent-Based μ-Tools Integrated into a Co-Design Platform. - Jing Peng, Alain-Jérôme Fougères, Samuel Deniaud, Michel Ferney:
Dynamic Shared Context Processing in an E-Collaborative Learning Environment. - Massimiliano Dal Mas:
Elasticity on Ontology Matching of Folksodriven Structure Network. - Vincent Y. F. Tan, Oliver Kosut:
On the Dispersions of Three Network Information Theory Problems. - Stephen Chang, Matthias Felleisen:
The Call-by-need Lambda Calculus, Revisited. - Peter Kornerup, Jean-Michel Muller, Adrien Panhaleux:
Floating-Point Arithmetic on Round-to-Nearest Representations. - Jaewook Kang, Heung-No Lee, Kiseon Kim:
On Detection-Directed Estimation Approach On Detection-Directed Estimation Approach for Noisy Compressive Sensing. - Jan A. Bergstra:
About Instruction Sequence Testing. - Mohammed-Amine Koulali, Mohammed El Koutbi, Abdellatif Kobbane, Mostafa Azizi:
QGRP: A Novel QoS-Geographic Routing Protocol for Multimedia Wireless Sensor Networks. - Jung Ryu:
Congestion Control and Routing over Challenged Networks. - Kapil Kumar Gupta
A Novel Approach to Fast Image Filtering Algorithm of Infrared Images based on Intro Sort Algorithm. - Souvik Sengupta, Sandipan Sahu, Ranjan Dasgupta:
Construction of Learning Path Using Ant Colony Optimization from a Frequent Pattern Graph. - Souvik Sengupta, Nabendu Chaki, Ranjan Dasgupta:
Learners' Quanta based Design of a Learning Management System. - Souvik Sengupta, Saurabh Pal, Nilanjan Banerjee:
A comparison algorithm to check LTSA Layer 1 and SCORM compliance in e-Learning sites. - Hassan Mehri:
Min-Sum algorithm for lattices constructed by Construction D. - A. Askarunisa, T. Manju, B. Giri Babu:
Fault Localization for Java Programs using Probabilistic Program Dependence Graph. - Justin P. Coon, Carl P. Dettmann, Orestis Georgiou:
Connectivity of Confined Dense Networks: Boundary Effects and Scaling Laws. - Bojana V. Rosic, Anna Kucerová, Jan Sykora, Oliver Pajonk, Alexander Litvinenko, Hermann G. Matthies:
Parameter Identification in a Probabilistic Setting. - Juan Gerardo Alcázar, Gema María Díaz-Toca:
On the Shape of Curves that are Rational in Polar Coordinates. - Asaf Cohen, Shlomi Dolev, Guy Leshem:
Sensor Networks: from Dependence Analysis Via Matroid Bases to Online Synthesis. - Ingmar Steiner
Progress in animation of an EMA-controlled tongue model for acoustic-visual speech synthesis. - Markus Krötzsch, Frantisek Simancik, Ian Horrocks:
A Description Logic Primer. - Benjamin P. Smith, Arash Farhood, Andrew Hunt, Frank R. Kschischang, John H. Lodge:
Staircase Codes: FEC for 100 Gb/s OTN. - Benjamin P. Smith, Frank R. Kschischang:
A Pragmatic Coded Modulation Scheme for High-Spectral-Efficiency Fiber-Optic Communications. - Nevroz Sen, Fady Alajaji, Serdar Yüksel, Giacomo Como:
On the Multiple Access Channel with Asymmetric Noisy State Information at the Encoders. - Iana Siomina, Di Yuan:
Analysis of Cell Load Coupling for LTE Network Planning and Optimization. - Bruno Brandoli Machado, Wesley Nunes Gonçalves, Odemir Martinez Bruno:
Image decomposition with anisotropic diffusion applied to leaf-texture analysis. - Chintan Amrit, Jos van Hillegersberg, Kuldeep Kumar:
Identifying Coordination Problems in Software Development: Finding Mismatches between Software and Project Team Structures. - Eytan Bakshy, Itamar Rosenn, Cameron Marlow, Lada A. Adamic:
The Role of Social Networks in Information Diffusion. - Konstantin Avrachenkov, Alexander N. Dudin, Valentina I. Klimenok, Philippe Nain, Olga V. Semenova:
Optimal Threshold Control by the Robots of Web Search Engines with Obsolescence of Documents. - Nitin H. Vaidya, Lewis Tseng, Guanfeng Liang:
Iterative Approximate Byzantine Consensus in Arbitrary Directed Graphs. - Soumya Sen, Carlee Joe-Wong, Sangtae Ha, Mung Chiang:
Pricing Data: A Look at Past Proposals, Current Plans, and Future Trends. - Ragesh Jaiswal, Amit Kumar, Sandeep Sen:
A simple D^2-sampling based PTAS for k-means and other Clustering Problems. - Harita Mehta, Shveta Kundra Bhatia, Punam Bedi, Veer Sain Dixit:
Collaborative Personalized Web Recommender System using Entropy based Similarity Measure. - Zhou Zhang, Hai Jiang, Peng Tan, Jim Slevinsky:
Channel Exploration and Exploitation with Imperfect Spectrum Sensing in Cognitive Radio Networks. - Zhengfeng Yang, Min Wu, Wang Lin:
Exact Verification of Hybrid Systems Based on Bilinear SOS Representation. - Gérard Maze:
Analysis of a Key Distribution Scheme in Secure Multicasting. - Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson:
Secondary use of data in EHR systems. - Alain Joubert, Mathieu Lafourcade, Didier Schwab, Michael Zock:
Évaluation et consolidation d'un réseau lexical via un outil pour retrouver le mot sur le bout de la langue. - Jithin Vachery, Ambedkar Dukkipati:
On Shore and Johnson properties for a Special Case of Csiszár f-divergences. - John Whitbeck, Yoann Lopez, Jeremie Leguay, Vania Conan, Marcelo Dias de Amorim:
Push-and-Track: Saving Infrastructure Bandwidth Through Opportunistic Forwarding. - Chitra Kiran N., G. Narendra Kumar:
A Robust Client Verification in cloud enabled m-Commerce using Gaining Protocol. - Mohammad Zabihi, Ramin Shaghaghi, Mohammad Esmail Kalantari:
Improving Security Levels of IEEE 802.16e Authentication By Diffie-Hellman Method. - Aloïs Brunel:
Quantitative classical realizability. - Souvik Naskar, Avishek Ghosh, Pabitra Pal Choudhury:
Application of Integral Value Transformation (IVT) in a Specialized Computer Network Design. - Stefka Bouyuklieva, Nikolay I. Yankov, Jon-Lark Kim:
Classification of Binary Self-Dual [48,24,10] Codes with an Automorphism of Odd Prime Order. - Tobias Buer, Herbert Kopfer:
A Pareto-metaheuristic for a bi-objective winner determination problem in a combinatorial reverse auction. - Joos Heintz, Bart Kuijpers, Andres Rojas Paredes:
On the intrinsic complexity of elimination problems in effective Algebraic Geometry. - Emiliano De Cristofaro, Claudio Soriente:
Participatory Privacy: Enabling Privacy in Participatory Sensing. - Masato Tajima, Koji Okino:
Error-Trellis Construction for Tailbiting Convolutional Codes. - Claudiu-Florinel Bisu, Alain Gérard, Miron Zapciu, Olivier Cahuc:
The milling process monitoring using 3D envelope method. - Claudiu-Florinel Bisu, Mehdi Chérif, Alain Gérard, Jean-Yves K'Nevez:
Dynamic behavior analysis for a six axis industrial machining robot. - Jean-Yves K'Nevez, Mehdi Chérif, Miron Zapciu, Alain Gérard:
Experimental Characterization of Robot Arm Rigidity in Order to Be Used in Machining Operation. - Claudiu-Florinel Bisu, Miron Zapciu, Alain Gérard, V. Vijelea, Marin Anica:
New Approach of Envelope Dynamic Analysis for Milling Process. - Krishnendu Chatterjee, Siddhesh Chaubal, Pritish Kamath:
Faster Algorithms for Alternating Refinement Relations. - Fatemeh Keshavarz-Kohjerdi, Alireza Bagheri:
An efficient parallel algorithm for the longest path problem in meshes. - Dan R. Ghica, Nikos Tzevelekos:
A System-Level Semantics. - Kaisa Matomäki, Kalle Saari:
A new geometric approach to Sturmian words. - Johan Karlsson, Tryphon T. Georgiou:
Uncertainty Bounds for Spectral Estimation. - Vahan V. Mkrtchyan:
A remark on Petersen coloring conjecture of Jaeger. - Vijayvaradharaj T. Muralidharan, B. Sundar Rajan:
Wireless Network Coding for MIMO Two-way Relaying using Latin Rectangles. - Saber Jafarizadeh, Abbas Jamalipour:
Distributed Data Storage in Large-Scale Sensor Networks Based on LT Codes. - Saber Jafarizadeh, Abbas Jamalipour:
A Solution to Fastest Distributed Consensus Problem for Generic Star & K-cored Star Networks. - Alvaro Juan Ojeda Garcia:
Mathematical and computational modeling for describing the basic behavior of free radicals and antioxidants within epithelial cells. - M. Rizwan Jameel Qureshi:
Requirements and the baseline plan. - Rajkumar Buyya, Saurabh Kumar Garg, Rodrigo N. Calheiros:
SLA-Oriented Resource Provisioning for Cloud Computing: Challenges, Architecture, and Solutions. - Vance Faber:
Livelock free routing schemes. - (Withdrawn) An Attack on Privacy Preserving Data Aggregation Protocol for Wireless Sensor Networks.
- Jaydip Sen:
A Multi-Path Certification Protocol for Mobile Ad Hoc Networks. - Loet Leydesdorff:
The Knowledge-Based Economy and the Triple Helix Model. - Harleen Kaur, Omid Mahdi Ebadati E., Mohd. Afshar Alam:
Implementation of Portion Approach in Distributed Firewall Application for Network Security Framework. - Norman Danner, James S. Royer:
Ramified Structural Recursion and Corecursion. - Gérald Kembellec:
Technologie et pratiques bibliographiques associées à l'écriture scientifique en milieu universitaire. - Ming-Jun Lai, Wotao Yin:
Augmented L1 and Nuclear-Norm Models with a Globally Linearly Convergent Algorithm. - Loet Leydesdorff:
Alternatives to the Journal Impact Factor: I3 and the Top-10% (or Top-25%?) of the Most-Highly Cited Papers. - Vicente P. Guerrero-Bote, Félix de Moya-Anegón:
A further step forward in measuring journals' scientific prestige: The SJR2 indicator. - Nicolas Perry
Collaborative knowledge networks emergence for innovation: Factors of success analysis and comparison. - Angelos Antonopoulos, Christos V. Verikoukis:
Network Coding-Based Cooperative ARQ Scheme. - Sridhar Sowmiyanarayanan:
Reengineering multi tiered enterprise business applications for performance enhancement and reciprocal or rectangular hyperbolic relation of variation of data transportation time with row pre-fetch size of relational database drivers. - Jianfeng Yao, Abla Kammoun, Jamal Najim
Estimation of the Covariance Matrix of Large Dimensional Data. - Huyen Do, Alexandros Kalousis, Jun Wang, Adam Woznica:
A metric learning perspective of SVM: on the relation of SVM and LMNN. - Marek Trtík:
Compact Symbolic Execution. - Jiri Slaby, Jan Strejcek, Marek Trtík:
On Synergy of Metal, Slicing, and Symbolic Execution. - Urs Wagner:
Solving the LPN problem in cube-root time. - Michael Zock, Guy Lapalme:
Du TAL au TIL. - Larry Bull:
Production System Rules as Protein Complexes from Genetic Regulatory Networks. - Haris Aziz, Florian Brandl:
Existence of Stability in Hedonic Coalition Formation Games. - Robert Kleinberg, S. Matthew Weinberg:
Matroid Prophet Inequalities. - Sameh Sorour, Shahrokh Valaee:
Completion Delay Minimization for Instantly Decodable Network Codes. - Alfonso E. Romero, Luis M. de Campos:
A probabilistic methodology for multilabel classification. - Marco Di Renzo, Dario De Leonardis, Fabio Graziosi, Harald Haas:
Space Shift Keying (SSK-) MIMO with Practical Channel Estimates. - Pierre-Évariste Dagand, Conor McBride:
Transporting Functions across Ornaments. - Matthew S. Bauer:
A PSPACE-Complete First Order Fragment of Computability Logic. - Gilles Geeraerts, Alexander Heußner, Jean-François Raskin:
Queue-Dispatch Asynchronous Systems. - Aswin C. Sankaranarayanan, Pavan K. Turaga, Rama Chellappa, Richard G. Baraniuk:
Compressive Acquisition of Dynamic Scenes. - Maria-Florina Balcan, Christian Borgs, Mark Braverman, Jennifer T. Chayes, Shang-Hua Teng:
I Like Her more than You: Self-determined Communities. - Keqin Liu, Qing Zhao:
Adaptive Shortest-Path Routing under Unknown and Stochastically Varying Link States. - Gerard Briscoe, Philippe De Wilde:
Self-Organisation of Evolving Agent Populations in Digital Ecosystems. - T. Chandrasekhar, K. Thangavel, E. Elayaraja:
Effective Clustering Algorithms for Gene Expression Data. - Deepali Virmani, Satbir Jain:
Decentralized Lifetime Maximizing Tree with Clustering for Data Delivery in Wireless Sensor Networks. - Deepali Virmani, Satbir Jain:
Real Time Communication Capacity for Data Delivery in Wireless Sensor Networks. - Andreas Müller, Dino Sejdinovic, Robert J. Piechocki:
Approximate Message Passing under Finite Alphabet Constraints. - Giovanni Viglietta:
Gaming is a hard job, but someone has to do it! - (Withdrawn) A study of distributed QoS adapter in large-scale wireless networks.
- Nicolas Perry, Samar Ammar-Khodja:
A Knowledge Engineering Method for New Product Development. - Guy Even, Moti Medina:
Online Multi-Commodity Flow with High Demands. - Martin Huschenbett:
Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable. - Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin:
Strategy Synthesis for Multi-dimensional Quantitative Objectives. - Marc Moreno Maza, Rong Xiao:
Generating Program Invariants via Interpolation. - Ghalia Merzougui, Mahieddine Djoudi, Amel Behaz:
Conception and Use of Ontologies for Indexing and Searching by Semantic Contents of Video Courses. - Richard Peng, Kanat Tangwongsan:
Faster and Simpler Width-Independent Parallel Algorithms for Positive Semidefinite Programming. - Robby G. McKilliam, Alex J. Grant:
Finding short vectors in a lattice of Voronoi's first kind. - Jin Meng, En-Hui Yang:
Interactive Encoding and Decoding Based on Binary LDPC Codes with Syndrome Accumulation. - Sina Lashgari, Amir Salman Avestimehr:
Timely Throughput of Heterogeneous Wireless Networks: Fundamental Limits and Algorithms. - Umesh Kumar Pandey, Brijesh Kumar Bhardwaj, Saurabh Pal:
Data Mining as a Torch Bearer in Education Sector. - Mohammad Tarek Al-Muallim, Rand El-Kouatly:
Unsupervised Classification Using Immune Algorithm. - T. Romen Singh, Sudipta Roy, O. Imocha Singh, Tejmani Sinam, Kh. Manglem Singh:
A New Local Adaptive Thresholding Technique in Binarization. - Cyrille Jégourel, Axel Legay, Sean Sedwards:
Cross-entropy optimisation of importance sampling parameters for statistical model checking. - Julien Cohen, Rémi Douence, Akram Ajouli:
Invertible Program Restructurings for Continuing Modular Maintenance. - James Cheney
A dependent nominal type theory. - Terence H. Chan, Dongning Guo, Raymond W. Yeung:
Entropy functions and determinant inequalities. - Tianbao Yang, Rong Jin, Mehrdad Mahdavi, Shenghuo Zhu:
An Efficient Primal-Dual Prox Method for Non-Smooth Optimization. - Ghalia Merzougui, Mahieddine Djoudi:
An Authoring System for Editing Lessons in Phonetic English in SMIL3.0. - Michael Lampis, Valia Mitsou, Karolina Soltys:
Scrabble is PSPACE-Complete. - Xiang Wang, Buyue Qian, Ian Davidson:
On Constrained Spectral Clustering and Its Applications. - Marek Szykula, Andrzej Kisielewicz:
Rainbow Induced Subgraphs in Replication Graphs. - Mai Ajspur, Valentin Goranko, Dmitry Shkatov:
Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge. - Serdar Yüksel:
Characterization of Information Channels for Asymptotic Mean Stationarity and Stochastic Stability of Non-stationary/Unstable Linear Systems. - Mustafa Elsheikh, Mark Giesbrecht, Andy Novocin, B. David Saunders:
Fast Computation of Smith Forms of Sparse Matrices Over Local Rings. - Julio Martin Duarte-Carvajalino, Guoshen Yu, Lawrence Carin, Guillermo Sapiro:
Task-Driven Adaptive Statistical Compressive Sensing of Gaussian Mixture Models. - Marco Dalai:
Sphere Packing and Zero-Rate Bounds to the Reliability of Classical-Quantum Channels. - Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz:
A Transformation-based Implementation for CLP with Qualification and Proximity. - Hans-Andrea Loeliger, Pascal O. Vontobel:
A Factor-Graph Representation of Probabilities in Quantum Mechanics. - A. Nait Abdallah, M. H. van Emden:
Constraint Propagation as Information Maximization. - Arshdeep S. Kahlon, Sebastian S. Szyszkowicz, Shalini S. Periyalwar, Halim Yanikomeroglu:
Separating the Effect of Independent Interference Sources with Rayleigh Faded Signal Link: Outage Analysis and Applications. - Sohail Abid, Shahid Abid:
Dynamic Session Key Exchange Method using Two S-Boxes. - Cyril Roussillon, Aurélien Gonzalez, Joan Solà, Jean-Marie Codol, Nicolas Mansard, Simon Lacroix, Michel Devy:
RT-SLAM: A Generic and Real-Time Visual SLAM Implementation. - Pierrick Tranouez, Éric Daudé, Patrice Langlois:
A multiagent urban traffic simulation. - Martin Huschenbett, Alexander Kartzow, Jiamou Liu
Tree-Automatic Well-Founded Trees. - Aïda Ouangraoua, Mathieu Raffinot:
Faster and Simpler Minimal Conflicting Set Identification. - Pablo Arrighi, Vincent Nesme:
A simple block representation of reversible cellular automata with time-symmetry. - Igor Nesiolovskiy, Artem Nesiolovskiy:
BIN@ERN: Binary-Ternary Compressing Data Coding. - Richard Preen, Larry Bull:
Discrete and Fuzzy Dynamical Genetic Programming in the XCSF Learning Classifier System. - Robert J. Piechocki, Dino Sejdinovic:
Combinatorial Channel Signature Modulation for Wireless ad-hoc Networks. - Vineet Abhishek, Ian A. Kash, Peter B. Key:
Fixed and Market Pricing for Cloud Services. - Eugene Goldberg, Panagiotis Manolios:
Quantifier Elimination by Dependency Sequents. - Jesus Diaz, David Arroyo, Francisco de Borja Rodríguez:
A formal methodology for integral security design and verification of network protocols. - (Withdrawn) T2Ku: Building a Semantic Wiki of Mathematics.
- Sanjeev Gangwar, Saurabh Pal
Mobile Ad Hoc Networks: A Comparative Study of QoS Routing Protocols. - Yoonjin Lee, Jon-Lark Kim:
An Efficient Construction of Self-Dual Codes. - Daniel Borchmann:
Deciding Entailment of Implications with Support and Confidence in Polynomial Space. - Yusuf Moosa Motara:
Functional Programming and Security. - Jean-Luc Fouquet, Jean-Marie Vanherpe:
On Compatible Normal Odd Partitions in Cubic Graphs. - Igor Kusakov:
Deconcentration of Attention: Addressing the Complexity of Software Engineering. - Don V. Black:
A toolkit to describe and interactively display three-manifolds embedded in four-space. - Mohammad Javad Abdoli, Akbar Ghasemi, Amir K. Khandani:
Full-duplex Transmitter Cooperation, Feedback, and the Degrees of Freedom of SISO Gaussian Interference and X Channels. - Ioannis Z. Emiris:
A General Solver Based on Sparse Resultants. - Marek Karpinski, Richard Schmied:
On Approximation Lower Bounds for TSP with Bounded Metrics. - Alexandre Maurer, Sébastien Tixeuil:
Limiting Byzantien Influence in Multihop Asynchronous Networks. - Navot Blits:
Rateless Codes for Finite Message Set. - Alexandre de Castro:
The thermodynamic cost of fast thought. - Etienne Grandjean, Frédéric Olive, Gaétan Richard:
Descriptive complexity for pictures languages (extended abstract). - Margreta Kuijper, Raquel Pinto:
An iterative algorithm for parametrization of shortest length shift registers over finite rings. - Hajar Moradmand, Saeed Setayeshi, Hossein Khazaei Targhi:
Comparing Methods for segmentation of Microcalcification Clusters in Digitized Mammograms. - Alex Pappachen James, Sima Dimitrijev:
Cognitive Memory Network. - Alex Pappachen James, Fayaz Shariff, Akshay Kumar Maan:
A Neuron Based Switch: Application to Low Power Mixed Signal Circuits. - Alex Pappachen James, Sima Dimitrijev:
Feature selection using nearest attributes. - Alex Pappachen James, Sima Dimitrijev:
Examplers based image fusion features for face recognition. - Mnacho Echenim, Nicolas Peltier:
A Calculus for Generating Ground Explanations (Technical Report). - Abhijin Adiga, Jasine Babu, L. Sunil Chandran:
Parameterized and Approximation Algorithms for Boxicity. - Alex Pappachen James:
Memory Based Machine Intelligence Techniques in VLSI hardware. - Daniel Dadush, Santosh S. Vempala:
Deterministic 2^{O(n)} Algorithms for M-Ellipsoids, Lattice Problems and Volume Estimation. - Glauco Masotti:
Floating-Point Numbers with Error Estimates (revised). - Pascal Berthomé, Jean-François Lalande, Vincent Levorato:
Implementation of exponential and parametrized algorithms in the AGAPE project. - Jean-Luc Fouquet, Jean-Marie Vanherpe:
Tools for parsimonious edge-colouring of graphs with maximum degree three. - Sunghyu Han, Jon-Lark Kim, Heisook Lee, Yoonjin Lee:
Construction of quasi-cyclic self-dual codes. - Yuval Domb, Meir Feder:
A Distance Spectrum Based, Upper Error Bound for Lattices. - Jan A. Bergstra, Cornelis A. Middelburg:
Turing Impossibility Properties for Stack Machine Programming. - Marek Trtík:
Compact Symbolic Execution (technical report). - Tanumay Datta, N. Ashok Kumar, Ananthanarayanan Chockalingam, B. Sundar Rajan:
A Novel MCMC Based Receiver for Large-Scale Uplink Multiuser MIMO Systems. - Alex Druinsky, Sivan Toledo:
How Accurate is inv(A)*b? - Adel Alahmadi, Robert E. L. Aldred, Romar dela Cruz, Patrick Solé, Carsten Thomassen:
The maximum number of minimal codewords in long codes. - Lucas Boczkowski:
Extended Extremes of Information Combining. - Golriz Amooee, Behrouz Minaei-Bidgoli, Malihe Bagheri-Dehnavi:
A Comparison Between Data Mining Prediction Algorithms for Fault Detection(Case study: Ahanpishegan co.). - Ralf Lämmel, Simon J. Thompson, Markus Kaiser:
Programming errors in traversal programs over structured data. - Qingsi Wang, Mingyan Liu:
Throughput Optimal Switching in Multi-channel WLANs. - (Withdrawn) @tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies.
- Rahul Jain, Penghui Yao:
A parallel approximation algorithm for mixed packing and covering semidefinite programs. - Lingfei Wu, Robert Ackland:
How Web 1.0 Fails: The Mismatch Between Hyperlinks and Clickstreams. - Seyed Aliakbar Mousavi, Muhammad Rafie Hj. Arshad, Hasimah Hj. Mohamed, Saleh Ali Alomari:
An Efficient Method for Mining Event-Related Potential Patterns. - Ioana Ivan, Michael Mitzenmacher, Justin Thaler, Henry S. Yuen:
Continuous Time Channels with Interference. - Nino Antulov-Fantulin, Matko Bosnjak, Vinko Zlatic, Miha Grcar, Tomislav Smuc:
Memory biased random walk approach to synthetic clickstream generation. - Merugu Gopichand, A. Ananda Rao:
Four Layered Approach to Non-Functional Requirements Analysis. - (Withdrawn) Conditional and Unique Coloring of Graphs (revised resubmission).
- (Withdrawn) Decomposition of the h-index.
- Tobias Jung, Sylvain Martin, Damien Ernst, Guy Leduc:
Contextual Multi-armed Bandits for the Prevention of Spam in VoIP Networks. - Massimo Bartoletti, Emilio Tuosto, Roberto Zunino:
On the realizability of contracts in dishonest systems. - Tobias Jung, Sylvain Martin, Mohamed Nassar, Damien Ernst, Guy Leduc:
Outbound SPIT Filter with Optimal Performance Guarantees. - (Withdrawn) k-Probe DH-graphs.
- Artur Janicki, Wojciech Mazurczyk, Krzysztof Szczypiorski:
Influence of Speech Codecs Selection on Transcoding Steganography. - Marek Krcál, Jirí Matousek, Francis Sergeraert:
Polynomial-time homology for simplicial Eilenberg-MacLane spaces. - Yannis Haralambous, Vitaly Klyuev:
Arborification de Wikipédia et analyse sémantique explicite stratifiée - Wikipedia Arborification and Stratified Explicit Semantic Analysis. - Olav Geil, Ryutaroh Matsumoto, Diego Ruano:
List Decoding Algorithms based on Gröbner Bases for General One-Point AG Codes. - Panagiotis Tigkas:
Real-time jam-session support system. - Mahdy Nabaee, Fabrice Labeau:
Quantized Network Coding for Sparse Messages. - Anatolij Zubow, Johannes Marotzke:
On the Frequency-Selective Scheduling Gain in SDMA-OFDMA Systems. - Hubie Chen:
Meditations on Quantified Constraint Satisfaction. - Ravi Tandon, Soheil Mohajer, H. Vincent Poor, Shlomo Shamai:
On X-Channels with Feedback and Delayed CSI. - Eyal Regev, Yaniv Altshuler, Alfred M. Bruckstein:
The Cooperative Cleaners Problem in Stochastic Dynamic Environments. - Ming-Yang Kao, Henry C. M. Leung, He Sun, Yong Zhang:
Deterministic Polynomial-Time Algorithms for Designing Short DNA Words. - Elad Dokow, Dvir Falik:
Models of Manipulation on Aggregation of Binary Evaluations. - Fernando Hernando, Tom Høholdt, Diego Ruano:
List Decoding of Matrix-Product Codes from nested codes: an application to Quasi-Cyclic codes. - Tarik Kaced, Andrei E. Romashchenko:
Conditional and unconditional information inequalities: an algebraic example. - Neil J. Gunther:
A Note on Disk Drag Dynamics. - Ton Kloks:
The black-and-white coloring problem on permutation graphs. - Gowtham Kumar, Alexandros Manolakos:
No input symbol should occur more frequently than 1-1/e. - Ioannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos, Maria Kyropoulou, Brendan Lucier, Renato Paes Leme, Éva Tardos:
On the efficiency of equilibria in generalized second price auctions. - Keigo Takeuchi, Tsutomu Kawabata:
A Greedy Algorithm of Data-Dependent User Selection for Fast Fading Gaussian Vector Broadcast Channels. - Prasad Krishnan, B. Sundar Rajan:
A Matroidal Framework for Network-Error Correcting Codes. - Nir Ailon, Ron Begleiter:
Active Learning of Custering with Side Information Using $\eps$-Smooth Relative Regret Approximations. - Lei Lin, Xiao Ma, Xiujie Huang, Baoming Bai:
An Information-Spectrum Approach to the Capacity Region of General Interference Channel. - Shun Watanabe, Yasutada Oohama:
Broadcast Channels with Confidential Messages by Randomness Constrained Stochastic Encoder. - Ilya Safro, Peter Sanders, Christian Schulz:
Advanced Coarsening Schemes for Graph Partitioning. - Naqueeb Ahmad Warsi:
Power Control in Multiuser Mulicarrier Wireless Data Networks. - Claudine Métral, Gilles Falquet, Kostas D. Karatzas:
Ontologies for the Integration of Air Quality Models and 3D City Models. - Wing Shing Wong, John Baillieul:
Control Communication Complexity of Distributed Actions. - Purushottam Kar, Harish Karnick:
Random Feature Maps for Dot Product Kernels. - Adel Alahmadi, Patrick Solé, Houda Sboui, Olfa Yemen:
Cyclic codes over $M_2(\F_2)$. - Andrea Abrardo, Gianluigi Ferrari, Marco Martalò, Michele Franceschini, Riccardo Raheli:
Orthogonal Multiple Access with Correlated Sources: Feasible Region and Pragmatic Schemes. - Yizhou Sun, Charu C. Aggarwal, Jiawei Han:
Relation Strength-Aware Clustering of Heterogeneous Information Networks with Incomplete Attributes. - Lingkun Wu, Xiaokui Xiao, Dingxiong Deng, Gao Cong, Andy Diwen Zhu, Shuigeng Zhou:
Shortest Path and Distance Queries on Road Networks: An Experimental Evaluation. - Dóra Erdös, Vatche Ishakian, Andrei Lapets, Evimaria Terzi, Azer Bestavros:
The Filter-Placement Problem and its Application to Minimizing Information Multiplicity. - Yasuhiro Fujiwara, Makoto Nakatsuji, Makoto Onizuka, Masaru Kitsuregawa:
Fast and Exact Top-k Search for Random Walk with Restart. - Bahman Bahmani, Ravi Kumar, Sergei Vassilvitskii:
Densest Subgraph in Streaming and MapReduce. - Arlei Silva, Wagner Meira Jr., Mohammed J. Zaki:
Mining Attribute-structure Correlated Patterns in Large Attributed Graphs. - Robert Fink, Larisa Han, Dan Olteanu:
Aggregation in Probabilistic Databases via Knowledge Compilation. - Hannah Alpert, Jennifer Iglesias:
Length 3 Edge-Disjoint Paths and Partial Orientation. - Tobias Jung, Daniel Polani, Peter Stone:
Empowerment for Continuous Agent-Environment Systems. - Tobias Jung, Peter Stone:
Gaussian Processes for Sample Efficient Reinforcement Learning with RMAX-like Exploration. - Tobias Jung, Peter Stone:
Feature Selection for Value Function Approximation Using Bayesian Model Selection. - Tobias Jung, Daniel Polani:
Learning RoboCup-Keepaway with Kernels. - Danny Dolev, Christoph Lenzen, Shir Peled:
"Tri, Tri again": Finding Triangles and Small Subgraphs in a Distributed Setting. - Alina Beygelzimer, John Langford, David M. Pennock:
Learning Performance of Prediction Markets with Kelly Bettors. - Mika Göös, Juho Hirvonen, Jukka Suomela:
Lower Bounds for Local Approximation. - Mikhail Luboschinsky:
Nonlinear Planning Model With a Gaussian Criterion of Optimization (Gaussian Programming Model). - Sangwoo Park, Erchin Serpedin, Khalid A. Qaraqe:
An Alternative Proof of an Extremal Inequality. - Aitzaz Ahmad, Davide Zennaro, Erchin Serpedin, Lorenzo Vangelista:
A Factor Graph Approach to Clock Offset Estimation in Wireless Sensor Networks. - Ivan Savov, Mark M. Wilde, Mai Vu:
Partial decode-forward for quantum relay channels. - Lotfi Chaâri, Sébastien Mériaux, Solveig Badillo, Jean-Christophe Pesquet, Philippe Ciuciu:
Multidimensional Wavelet-based Regularized Reconstruction for Parallel Acquisition in Neuroimaging. - Zhu Cheng, Zhan Wang, Haitao Liu, Majid Ahmadi:
Amendment on DPM and OJA Class Subspace Tracking Methods. - Xiaodong Xu, Stanislaw P. Radziszowski:
Bounds on Shannon Capacity and Ramsey Numbers from Product of Graphs. - Zoltán Szabó, Barnabás Póczos, András Lörincz:
Collaborative Filtering via Group-Structured Dictionary Learning. - Ahmed Roman, Shivakumar Jolad, Mahesh C. Shastry:
Bounded divergence measures based on Bhattacharyya coefficient. - Awani Kumar
Magic Knight's Tours in Higher Dimensions. - Igal Sason:
Tightened Exponential Bounds for Discrete Time, Conditionally Symmetric Martingales with Bounded Jumps. - Daniel S. Shetler, Michael A. Wurtz, Stanislaw P. Radziszowski:
On Some Multicolor Ramsey Numbers Involving $K_3+e$ and $K_4-e$. - Naohi Eguchi:
A term-rewriting characterization of PSPACE. - Catherine Péquegnat, Raphael Jacquot, Philippe Guéguen, Stéphanie Godey, Laurent Frobert:
Distributed archive and single access system for accelerometric event data : a NERIES initiative. - Caiming Xiong, David M. Johnson, Ran Xu, Jason J. Corso:
Random Forests for Metric Learning with Implicit Pairwise Position Dependence. - Olle Häggström, Johan Wästlund:
Rigorous computer analysis of the Chow-Robbins game. - Gerrit Ansmann, Klaus Lehnertz:
Constrained Randomisation of Weighted Networks. - Nikolay K. Vitanov, Marcel Ausloos:
Knowledge epidemics and population dynamics models for describing idea diffusion. - James P. Bagrow
Are communities just bottlenecks? Trees and treelike networks have high modularity. - John D. Lafferty, Han Liu, Larry A. Wasserman:
Sparse Nonparametric Graphical Models. - Harry Buhrman, Matthias Christandl, Christian Schaffner:
Complete Insecurity of Quantum Protocols for Classical Two-Party Computation. - Andrew Suk:
Coloring intersection graphs of x-monotone curves in the plane. - Filippo Pompili, Nicolas Gillis, Pierre-Antoine Absil, François Glineur:
Two Algorithms for Orthogonal Nonnegative Matrix Factorization with Application to Clustering. - Na-Rae Kim, Chan-Byoung Chae:
Novel Modulation Techniques using Isomers as Messenger Molecules for Molecular Communication via Diffusion. - Bijan Afsari, Roberto Tron, René Vidal:
On The Convergence of Gradient Descent for Finding the Riemannian Center of Mass. - Fabrice Rossi, Yves Lechevallier:
Constrained variable clustering and the best basis problem in functional data analysis. - Giuliano Andrea Pagani, Marco Aiello:
Power Grid Network Evolutions for Local Energy Trading. - Alzennyr Da Silva, Yves Lechevallier, Fabrice Rossi, Francisco de A. T. de Carvalho:
Clustering Dynamic Web Usage Data. - Urban Larsson:
Impartial games emulating one-dimensional cellular automata and undecidability. - Gergely Tibély, Péter Pollner, Tamás Vicsek, Gergely Palla:
Ontologies and tag-statistics. - Oliver Knill:
A graph theoretical Poincare-Hopf Theorem. - Kunihisa Okano, Hideaki Ishii:
Data Rate Limitations for Stabilization of Uncertain Systems over Lossy Channels. - Tiziano Squartini, Diego Garlaschelli:
Triadic motifs and dyadic self-organization in the World Trade Network. - William Pence, Rob Seaman
A Tiled-Table Convention for Compressing FITS Binary Tables. - Rob Seaman
FITS Checksum Proposal. - Jerzy Kocik:
Harmonic evolutions on graphs. - Jean-François Sadoc, Nicolas Rivier, Jean Charvolin:
Phyllotaxis: a non conventional crystalline solution to packing efficiency in situations with radial symmetry. - Casey Bennett:
The Interaction of Entropy-Based Discretization and Sample Size: An Empirical Study. - Krasimir Yordzhev, Hristina Kostadinova:
Mathematical Modeling of the Weaving Structure Design. - Seung-Woo Son, Claire Christensen, Golnoosh Bizhani, David V. Foster, Peter Grassberger, Maya Paczuski:
Sampling properties of directed networks. - Richard Li-Yang Chen, Amy Cohn, Neng Fan, Ali Pinar:
N-k-e Survivable Power System Design. - Noemi L. Olivera, Araceli N. Proto, Marcel Ausloos:
Information Society: Modeling A Complex System With Scarce Data. - S. R. Souza, S. Goncalves:
A dynamical model for competing opinions. - Youngmi Hur:
Committee Algorithm: An Easy Way to Construct Wavelet Filter Banks. - Ed Wynn:
Constructing circuit codes by permuting initial sequences. - Chong Wang, David M. Blei:
A Split-Merge MCMC Algorithm for the Hierarchical Dirichlet Process. - Erhan Bayraktar, Ross Kravitz:
Quickest Search over Brownian Channels. - James M. Chappell, M. A. Lohe, Lorenz von Smekal, Azhar Iqbal, Derek Abbott:
An improved formalism for the Grover search algorithm. - Italo J. Dejter:
Worst-case efficient dominating sets in digraphs. - Stephan Bialonski, Martin Wendler, Klaus Lehnertz:
Unraveling Spurious Properties of Interaction Networks with Tailored Random Networks. - Christine Bachoc, Martin Ehler:
Tight p-fusion frames. - Timo Dewenter, Alexander K. Hartmann:
Phase transition for cutting-plane approach to vertex-cover problem. - Nelson Zarate, Rob Seaman
FITS Foreign File Encapsulation Convention. - Zhen Wang, Attila Szolnoki, Matjaz Perc:
Evolution of public cooperation on interdependent networks: The impact of biased utility functions. - Clara Granell, Sergio Gómez, Alex Arenas:
Hierarchical multiresolution method to overcome the resolution limit in complex networks. - Stefan Hennemann:
Evaluating the performance of geographical locations in scientific networks with an aggregation - randomization - re-sampling approach (ARR). - Edgar Costa, David Harvey:
Faster deterministic integer factorization. - Ricardo López-Ruiz, Jaime Sanudo, Elvira Romera, Xavier Calbet:
Statistical Complexity and Fisher-Shannon Information. Applications. - Sem C. Borst, Neil S. Walton, A. P. Zwart:
Network iso-elasticity and weighted α-fairness. - (Withdrawn) Solving the minimum labelling spanning tree problem using intelligent optimization.
- Jacob D. Hinkle, Prasanna Muralidharan, P. Thomas Fletcher, Sarang C. Joshi:
Polynomial Regression on Riemannian Manifolds. - Adel Javanmard, Li Zhang:
The minimax risk of truncated series estimators for symmetric convex polytopes. - Iasson Karafyllis, Zhong-Ping Jiang:
Global stabilization of nonlinear systems based on vector control lyapunov functions. - Branimir Anic, Christopher A. Beattie, Serkan Gugercin, Athanasios C. Antoulas:
Interpolatory Weighted-H2 Model Reduction. - Mihail Cocos, Kent Kidman:
Musical Modes, Their Associated Chords and Their Musicality. - Osman Yagan, Dajun Qian, Junshan Zhang, Douglas Cochran:
Optimal Allocation of Interconnecting Links in Cyber-Physical Systems: Interdependence, Cascading Failures and Robustness. - Andrew Shallue:
Division algorithms for the fixed weight subset sum problem. - Ueli Rutishauser, Jean-Jacques E. Slotine, Rodney J. Douglas:
Competition through selective inhibitory synchrony. - Andrea Cangiani, John Chapman, Emmanuil H. Georgoulis, Max Jensen:
Implementation of the Continuous-Discontinuous Galerkin Finite Element Method. - Amir Ali Ahmadi:
Algebraic Relaxations and Hardness Results in Polynomial Optimization and Lyapunov Analysis. - Mark M. Wilde, Joseph M. Renes:
Quantum polar codes for arbitrary channels. - Giuseppe Jurman, Roberto Visintainer, Samantha Riccadonna, Michele Filosi, Cesare Furlanello:
A glocal distance for network comparison. - Qiao Li, Tao Cui, Yang Weng, Rohit Negi, Franz Franchetti, Marija D. Ilic:
An Information-Theoretic Approach to PMU Placement in Electric Power Systems. - Milan Bradonjic, Iraj Saniee:
Bootstrap Percolation on Random Geometric Graphs. - Victor A. Shcherbacov:
Quasigroup based crypto-algorithms. - Carlos Gracia-Lázaro, José A. Cuesta, Ángel Sánchez, Yamir Moreno:
Human behavior in Prisoner's Dilemma experiments suppresses network reciprocity. - Bartlomiej Dybiec, Namiko Mitarai, Kim Sneppen:
Information spreading and development of cultural centers. - Ebrahim Ghorbani, Ali Mohammadian, Behruz Tayfeh-Rezaie:
On Order and Rank of Graphs. - João Batista Florindo, Odemir Martinez Bruno:
Closed Contour Fractal Dimension Estimation by the Fourier Transform. - Tullio Ceccherini-Silberstein, Michel Coornaert, Francesca Fiorenzi, Paul E. Schupp:
Groups, Graphs, Languages, Automata, Games and Second-order Monadic Logic. - André Ricardo Backes, João Batista Florindo, Odemir Martinez Bruno:
Shape analysis using fractal dimension: a curvature based approach. - Michele Benzi, Ernesto Estrada, Christine Klymko:
Ranking hubs and authorities using matrix functions. - Justin P. Coon, Carl P. Dettmann, Orestis Georgiou:
Full Connectivity: Corners, edges and faces. - João Batista Florindo, Odemir Martinez Bruno:
Fractal Descriptors in the Fourier Domain Applied to Color Texture Analysis. - Joseph W. Norman:
The Logic of Parametric Probability. - Akash Baid, Ritesh Madan, Ashwin Sampath:
Delay Estimation and Fast Iterative Scheduling Policies for LTE Uplink. - Amir Ali Ahmadi, Raphaël M. Jungers, Pablo A. Parrilo, Mardavij Roozbehani:
When is a set of LMIs a sufficient condition for stability? - Piotr Zawadzki, Zbigniew Puchala, Jaroslaw Adam Miszczak:
Increasing the security of the ping-pong protocol by using mutually unbiased bases. - Kun Zhao, Márton Karsai, Ginestra Bianconi:
Entropy of dynamical social networks. - Jezabel Curbelo, Ana M. Mancho:
Spectral numerical schemes for time-dependent convection with viscosity dependent on temperature. - Stavros Garoufalidis, Christoph Koutschan
Twisting q-holonomic sequences by complex roots of unity. - Ian J. Goodfellow, Aaron C. Courville, Yoshua Bengio:
Spike-and-Slab Sparse Coding for Unsupervised Feature Discovery. - João Batista Florindo, Mariana S. Sikora, Ernesto C. Pereira, Odemir Martinez Bruno:
Multiscale Fractal Descriptors Applied to Nanoscale Images. - Bowen Yan, Steve Gregory:
Detecting community structure in networks using edge prediction methods. - Arman Kiani, Anuradha M. Annaswamy:
Perturbation Analysis of the Wholesale Energy Market Equilibrium in the Presence of Renewables. - Stas M. Avdoshenko, Claudia Gomes da Rocha, Gianaurelio Cuniberti:
Nanoscale ear drum: Graphene based nanoscale sensors. - Jean-Luc Marichal, Pierre Mathonet:
Influence and interaction indexes for pseudo-Boolean functions: a unified least squares approach. - Toni Ernvall:
The existence of fractional repetition codes. - Leonardo Ermann, Dima Shepelyansky:
Ecological analysis of world trade. - Ioannis D. Schizas, Georgios B. Giannakis:
Covariance Eigenvector Sparsity for Compression and Denoising. - Simon Kramer:
A Logic of Interactive Proofs. - Don V. Black, M. Gopi, Frank J. Wessel, Renato Pajarola, Falko Kuester:
Visualizing Flat Spacetime: Viewing Optical versus Special Relativistic Effects. - Fuchun Lin, Frédérique E. Oggier:
A Classification of Unimodular Lattice Wiretap Codes in Small Dimensions. - Yoriyuki Yamagata
Bounded Arithmetic in Free Logic. - Jeong Han Kim:
Finding Weighted Graphs by Combinatorial Search. - Steven Awodey, Nicola Gambino, Kristina Sojakova:
Inductive types in homotopy type theory. - Claire Mathieu, David B. Wilson:
The min mean-weight cycle in a random network. - Zhengjun Xi, Heng Fan, Yongming Li:
The one-way unlocalizable quantum discord. - Apostolos Burnetas, Odysseas Kanavetas:
Adaptive Policies for Sequential Sampling under Incomplete Information and a Cost Constraint. - Heiko Bauke, Cristopher Moore, Jean-Baptiste Rouquier, David Sherrington:
Topological phase transition in a network model with preferential attachment and node removal. - Glen A. Coppersmith, Carey E. Priebe:
Vertex Nomination via Content and Context. - Vance Faber:
Global sum on symmetric networks. - Rastislav Telgarsky:
Applications of topology in computer algorithms. - (Withdrawn) Dynamic Decision Making for Graphical Models Applied to Oil Exploration.
- Iraj Saniee, Gabriel H. Tucci:
Scaling of Congestion in Small World Networks. - Víctor Álvarez, José Andrés Armario, María Dolores Frau, Félix Gudiel, María-Belén Güemes, Elena Martín, Amparo Osuna:
GA based robust blind digital watermarking. - Madhusudan Manjunath, Bernd Sturmfels:
Monomials, Binomials, and Riemann-Roch. - Murray Elder, Gillian Z. Elston, Gretchen Ostheimer:
On groups that have normal forms computable in logspace. - Antoine Allard, Laurent Hébert-Dufresne, Pierre-André Noël, Vincent Marceau, Louis J. Dubé:
Exact solution of bond percolation on small arbitrary graphs. - Matthew P. Szudzik:
Is Turing's Thesis the Consequence of a More General Physical Principle? - Alexander K. Kelmans, Anatoliy Rubinov:
On Convex Polytopes in the d-dimensional Space Containing and Avoiding Zero. - Yann Bramoullé, Sergio Currarini, Matthew O. Jackson, Paolo Pin, Brian W. Rogers:
Homophily and Long-Run Integration in Social Networks. - André C. R. Martins:
Discrete Opinion models as a limit case of the CODA model. - João Batista Florindo, Odemir Martinez Bruno:
Fractal Descriptors Based on Fourier Spectrum Applied to Texture Analysis. - Antoine Allard, Laurent Hébert-Dufresne, Pierre-André Noël, Vincent Marceau, Louis J. Dubé:
Bond percolation on a class of correlated and clustered random graphs. - Charalampos E. Tsourakakis:
Perfect Reconstruction of Oncogenetic Trees. - Sreejith Das, Iead Rezek:
Voting Power : A Generalised Framework. - Adrian Jacobo, Damià Gomila, Manuel A. Matias, Pere Colet:
Logical operations with Localized Structures. - Garret M. Flagg, Serkan Gugercin:
On the ADI method for the Sylvester Equation and the optimal-$\mathcal{H}_2$ points. - Seung-Woo Son, Claire Christensen, Peter Grassberger, Maya Paczuski:
PageRank and rank-reversal dependence on the damping factor. - Kenneth J. Mighell:
Benchmarking CRBLASTER on the 350-MHz 49-core Maestro Development Board. - Travis E. Gibson, Anuradha M. Annaswamy, Eugene Lavretsky:
Properties of Closed-Loop Reference Models in Adaptive Control: Part I Full States Accessible. - Ramsharan Rangarajan, Adrian J. Lew:
Universal Meshes: A new paradigm for computing with nonconforming triangulations. - Anne-Ly Do, Lars Rudolf, Thilo Gross:
Coordination, Differentiation and Fairness in a population of cooperating agents. - Kin Cheong Sou, Henrik Sandberg, Karl Henrik Johansson:
Exact LASSO Solutions for a Class of Constrained Cardinality Minimization Problems. - David Fernández-Duque:
A sound and complete axiomatization for Dynamic Topological Logic. - Gesa A. Böhme, Thilo Gross:
Fragmentation transitions in multi-state voter models. - Masao Ishikawa, Christoph Koutschan
Zeilberger's Holonomic Ansatz for Pfaffians. - Urs Wagner, Gérard Maze:
Improvements in closest point search based on dual HKZ-bases. - Marc Lelarge:
A new approach to the orientation of random hypergraphs. - Jakub Cerný, Jan Kyncl, Géza Tóth:
Improvement on the decay of crossing numbers. - Nail A. Gumerov, Ramani Duraiswami:
Efficient FMM accelerated vortex methods in three dimensions via the Lamb-Helmholtz decomposition. - H. C. Spruit:
The relative significance of the H-index. - Julian Sienkiewicz, Marcin Skowron, Georgios Paltoglou, Janusz A. Holyst:
Entropy-growth-based model of emotionally charged online dialogues. - Luca Barzanti, Marcello Mastroleo:
On the Actual Inefficiency of Efficient Negotiation Methods. - Piotr Pohorecki, Julian Sienkiewicz, Marija Mitrovic, Georgios Paltoglou, Janusz A. Holyst:
Statistical analysis of emotions and opinions at Digg website. - Dan Brumleve, Joel David Hamkins, Philipp Schlicht:
The mate-in-n problem of infinite chess is decidable. - Attila Szolnoki, Matjaz Perc:
Conditional strategies and the evolution of cooperation in spatial public goods games. - Vasyl Palchykov, Kimmo Kaski, János Kertész, Albert-László Barabási, Robin I. M. Dunbar:
Sex differences in intimate relationships. - Bian He, Lei Gu, Xiao-Dong Zhang:
Nodal domain partition and the number of communities in networks. - Mario Ullrich:
Swendsen-Wang is faster than single-bond dynamics. - Emil Jerábek:
Sequence encoding without induction. - Oliver Knill:
The theorems of Green-Stokes,Gauss-Bonnet and Poincare-Hopf in Graph Theory. - Dario Bauso, Ehud Lehrer, Eilon Solan:
Attainability in Repeated Games with Vector Payoffs. - Michalis Christou, Maxime Crochemore, Costas S. Iliopoulos:
Quasiperiodicities in Fibonacci strings. - François Le Gall:
Improved Time-Efficient Output-Sensitive Quantum Algorithms for Boolean Matrix Multiplication. - Kevin G. Hare, Ian D. Morris, Nikita Sidorov:
Extremal sequences of polynomial complexity. - Pierre Buesser, Marco Tomassini:
Supercooperation in Evolutionary Games on Correlated Weighted Networks. - Jian-Guo Liu, Kerui Shi, Qiang Guo:
Solving the accuracy-diversity dilemma via directed random walks. - Mark Dickison, Shlomo Havlin, Harry Eugene Stanley:
Epidemics on Interconnected Networks. - Marcelo Sobottka:
Standard decomposition of expansive ergodically supported dynamics. - Saugata Basu, Marie-Françoise Roy, Mohab Safey El Din, Éric Schost:
A baby step-giant step roadmap algorithm for general algebraic sets. - Patrick Bindjeme, James Allen Fill:
The limiting distribution for the number of symbol comparisons used by QuickSort is nondegenerate (extended abstract). - Patrick Bindjeme, James Allen Fill:
Exact L^2-distance from the limit for QuickSort key comparisons (extended abstract). - Volker Gebhardt:
Counting vertex-labelled bipartite graphs and computing growth functions of braid monoids. - Patrick O. Perry, Patrick J. Wolfe:
Null models for network data. - Alan M. Frieze, Charalampos E. Tsourakakis:
Rainbow Connectivity of Sparse Random Graphs. - Dimitri Hendriks, Frits Dannenberg, Jörg Endrullis, Mark Dow, Jan Willem Klop:
Arithmetic Self-Similarity of Infinite Sequences. - Tiago P. Peixoto, Stefan Bornholdt:
No need for conspiracy: Self-organized cartel formation in a modified trust game. - Ruiyue Ouyang, Vincent Andrieu, Bayu Jayawardhana:
On the Characterization of the Duhem Hysteresis Operator with Clockwise Input-Output Dynamics. - John Rhodes, Pedro V. Silva:
A new notion of vertex independence and rank for finite graphs. - Cyril Banderier, Pawel Hitczenko:
Enumeration and asymptotics of restricted compositions having the same number of parts.
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 2024-10-31 20:05 CET 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: