default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, April 2014
- Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy:
Factoring Differential Operators in n Variables. - Rodrigo Bongers:
EPICS process variables in different subnetworks and different IOCs without the use of the CaGateway. - Jeremiah Blocki, Manuel Blum, Anupam Datta:
Human Computable Passwords. - Neri Mickael, Denis Mestivier:
An efficient GPU acceptance-rejection algorithm for the selection of the next reaction to occur for Stochastic Simulation Algorithms. - Jihua Lu, Xiangming Li, Dan Liu:
Asynchronous Transmission of Wireless Multicast System with Genetic Joint Antennas Selection. - Immanuel Trummer, Christoph Koch:
Approximation Schemes for Many-Objective Query Optimization. - Ivana Maric, Dennis Hui:
Short Message Noisy Network Coding with Rate Splitting. - Maryam Hosseini, Narayana Santhanam:
On redundancy of memoryless sources over countable alphabets. - Abeer S. Al-Humaimeedy, Maribel Fernández:
General dynamic recovery for compensating CSP. 3-16 - Ed Blakey:
Ray tracing - computing the incomputable? 32-40 - Eugen Jiresch:
Towards a GPU-based implementation of interaction nets. 41-53 - Elvira Mayordomo
:
Effective dimension in some general metric spaces. 67-75 - Benedek Nagy, Sándor Vályi:
Computing discrete logarithm by interval-valued paradigm. 76-86 - Arno Pauly, Matthew de Brecht:
Non-deterministic computation and the Jayne-Rogers Theorem. 87-96 - Sam Sanders:
Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis. 97-109 - Alejandro Díaz-Caro, Gilles Dowek:
The probability of non-confluent systems. 1-15 - Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev:
Proof-graphs for Minimal Implicational Logic. 16-29 - Pablo Arrighi, Simon Martiel, Zizhu Wang:
Causal Dynamics of Discrete Surfaces. 30-40 - Adriana B. Compagnoni, Paola Giannini, Catherine Kim, Matthew Milideo, Vishakha Sharma:
A Calculus of Located Entities. 41-56 - Carlos Alberto Ramírez Restrepo, Jorge A. Pérez, Jesús Aranda, Juan Francisco Díaz:
Towards Formal Interaction-Based Models of Grid Computing Infrastructures. 57-72 - Mario R. F. Benevides, Isaque Lima, Rafael Nader, Pedro Rougemont:
Using HMM in Strategic Games. 73-84 - Karin Quaas:
MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable. 5-17 - Youcheng Sun, Giuseppe Lipari, Étienne André, Laurent Fribourg:
Toward Parametric Timed Interfaces for Real-Time Components. 49-64 - Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth:
Worst-case Throughput Analysis for Parametric Rate and Parametric Actor Execution Time Scenario-Aware Dataflow Graphs. 65-79 - Iaakov Exman:
Interestingness a Unifying Paradigm Bipolar Function Composition. - Hongbo Si, Haris Vikalo, Sriram Vishwanath:
Haplotype Assembly: An Information Theoretic View. - Vikash Mansinghka, Daniel Selsam, Yura N. Perov:
Venture: a higher-order probabilistic programming platform with programmable inference. - Chan Dai Truyen Thai, Marion Berbineau:
Quantization for Uplink Transmissions in Two-tier Networks with Femtocells. - John Matta, Jeffrey Borwey, Gunes Ercal:
Comparative Resilience Notions and Vertex Attack Tolerance of Scale-Free Networks. - Shiu Kumar, Eun Sik Ham, Seong Ro Lee:
Traffic Monitoring Using M2M Communication. - Josep Díaz, George B. Mertzios:
Minimum Bisection is NP-hard on Unit Disk Graphs. - Bharat Adsul, Jinesh Machchhar, Milind A. Sohoni:
A Computational Framework for Boundary Representation of Solid Sweeps. - Siyi Wang, Weisi Guo, Mark D. McDonnell:
Downlink Interference Estimation without Feedback for Heterogeneous Network Interference Avoidance. - Siyi Wang, Weisi Guo, Song Qiu, Mark D. McDonnell:
Performance of Macro-Scale Molecular Communications with Sensor Cleanse Time. - Shusen Wang, Zhihua Zhang:
Efficient Algorithms and Error Analysis for the Modified Nystrom Method. - Albert Y. S. Lam, Yanhui Geng, Victor O. K. Li:
Information-Theoretic Bounds for Performance of Resource-Constrained Communication Systems. - Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer:
Modal Independence Logic. - O. O. Ogunduyile, Oludayo O. Olugbara, Lall Manoj:
Development of Wearable Systems for Ubiquitous Healthcare Service Provisioning. - David García, Ingmar Weber, Venkata Rama Kiran Garimella:
Gender Asymmetries in Reality and Fiction: The Bechdel Test of Social Media. - Mojtaba Soltanalian, Petre Stoica:
A Recursive Method for Enumeration of Costas Arrays. - Boris Bellalta, Alessandro Zocca, Cristina Cano, Alessandro Checco, Jaume Barceló, Alexey V. Vinel:
Throughput Analysis in CSMA/CA Networks using Continuous Time Markov Networks: A Tutorial. - Abidin Kaya, Bahattin Yildiz:
Extension theorems for self-dual codes over rings and new binary self-dual codes. - Andreas Veit, Christoph Goebel, Rohit Tidke, Christoph Doblander, Hans-Arno Jacobsen:
Household Electricity Demand Forecasting - Benchmarking State-of-the-Art Methods. - Peter Jung, Philipp Walk:
Sparse Model Uncertainties in Compressed Sensing with Application to Convolutions and Sporadic Communication. - Bassam A. Alqaralleh, Khaled Almiani:
Mobile Elements Scheduling for Periodic Sensor Applications. - Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto:
Symbolic Control Design of Nonlinear Networked Control Systems. - Sy-Quoc Le, Vincent Yan Fu Tan, Mehul Motani:
A Case Where Interference Does Not Affect The Channel Dispersion. - Victor Alvarez, Karl Bringmann, Saurabh Ray, Raimund Seidel:
Counting Triangulations and other Crossing-Free Structures Approximately. - Ahmed Douik, Sameh Sorour, Mohamed-Slim Alouini, Tareq Y. Al-Naffouri:
On Minimizing the Maximum Broadcast Decoding Delay for Instantly Decodable Network Coding. - Jingge Zhu, Michael Gastpar:
Lattice Codes for Many-to-One Interference Channels With and Without Cognitive Messages. - Chandan K. Dubey, Thomas Holenstein:
Sampling a Uniformly Random Solution of a Quadratic Equation over Quotient Rings. - Jack Kelly, William J. Knottenbelt:
'UK-DALE': A dataset recording UK Domestic Appliance-Level Electricity demand and whole-house demand. - David Eppstein, Michael T. Goodrich, Michael Mitzenmacher, Pawel Pszona:
Wear Minimization for Cuckoo Hashing: How Not to Throw a Lot of Eggs into One Basket. - Mostafizur Rahman, Pritish Narayanan, Csaba Andras Moritz:
Metal-Gated Junctionless Nanowire Transistors. - Matthias Schröder, Victor L. Selivanov:
Hyperprojective Hierarchy of QCB0-spaces. - (Withdrawn) A Kernel-Based Nonparametric Test for Anomaly Detection over Line Networks.
- David Darmon, Elisa Omodei, Joshua Garland:
Followers Are Not Enough: Beyond Structural Communities in Online Social Networks. - Abhisek Kundu, Petros Drineas:
A Note on Randomized Element-wise Matrix Sparsification. - Bei Yu, David Z. Pan:
Layout Decomposition for Quadruple Patterning Lithography and Beyond. - Menglong Zhu, Nikolay Atanasov, George J. Pappas, Kostas Daniilidis:
Active Deformable Part Models. - John S. H. Baxter, Martin Rajchl, Jing Yuan, Terry M. Peters:
A Continuous Max-Flow Approach to General Hierarchical Multi-Labelling Problems. - Paul S. Bonsma, Amer E. Mouawad:
The Complexity of Bounded Length Graph Recoloring. - Thomas Rothvoß:
Constructive discrepancy minimization for convex sets. - Andrew W. Eckford, Chan-Byoung Chae:
Scaling laws for molecular communication. - Ming Lei, Mohammad Reza Soleymani:
Performance of the Generalized Quantize-and-Forward Scheme over the Multiple-Access Relay Channel. - Lutz Bornmann:
Inter-rater reliability and convergent validity of F1000Prime peer review. - Sebastiano Vigna:
Further scramblings of Marsaglia's xorshift generators. - Chiyuan Zhang, Georgios Evangelopoulos, Stephen Voinea, Lorenzo Rosasco, Tomaso A. Poggio:
A Deep Representation for Invariance And Music Classification. - Xu Chen, Zeeshan Syed, Alfred O. Hero III:
EEG Spatial Decoding and Classification with Logit Shrinkage Regularized Directed Information Assessment (L-SODA). - Emil Björnson, Mats Bengtsson, Björn E. Ottersten:
Optimal Multiuser Transmit Beamforming: A Difficult Problem with a Simple Solution Structure. - Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014. EPTCS 146, 2014 [contents] - Miltiadis Allamanis, Charles Sutton:
Mining Idioms from Source Code. - Bei Yin, Michael Wu, Joseph R. Cavallaro, Christoph Studer:
Conjugate Gradient-based Soft-Output Detection and Precoding in Massive MIMO Systems. - Shuhang Wu, Shuangqing Wei, Yue Wang, Ramachandran Vaidyanathan, Jian Yuan:
Partition Information and its Transmission over Boolean Multi-Access Channels. - Ryutaroh Matsumoto:
New Asymptotic Metrics for Relative Generalized Hamming Weight. - Barbora Buhnova, Lucia Happe, Jan Kofron:
Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2014, Grenoble, France, 12th April 2014. EPTCS 147, 2014 [contents] - Robert Suderman, Daniel J. Lizotte, Nasser Mohieddin Abukhdeir:
Theory and Application of Shapelets to the Analysis of Surface Self-assembly Imaging. - Kevin Carlberg:
Adaptive $h$-refinement for reduced-order models. - Pokkuluri Kiran Sree, Inampudi Ramesh Babu, N. S. S. S. N. Usha Devi:
Cellular Automata and Its Applications in Bioinformatics: A Review. - Mohammed Zakarya Baba-Ahmed, Badr Benmammar, Fethi Tarik Bendimerad:
Self-protection and self-healing in the context of cognitive radio. - Loet Leydesdorff, Caroline S. Wagner, Lutz Bornmann:
The European Union, China, and the United States in the Top-1% and Top-10% Layers of Most-Frequently-Cited Publications: Competition and Collaborations. - Da Kuang, Raffay Hamid:
piCholesky: Polynomial Interpolation of Multiple Cholesky Factors for Efficient Approximate Cross-Validation. - Xin Kang, Chin Keong Ho, Sumei Sun:
Full-Duplex Wireless-Powered Communication Network with Energy Causality. - Haixin Zhang, Daijun Wei, Yong Hu, Xin Lan, Yong Deng:
Modelling the Self-similarity in Complex Networks Based on Coulomb's Law. - Jörg H. Kappes, Björn Andres, Fred A. Hamprecht, Christoph Schnörr, Sebastian Nowozin, Dhruv Batra, Sungwoong Kim, Bernhard X. Kausler, Thorben Kröger, Jan Lellmann, Nikos Komodakis, Bogdan Savchynskyy, Carsten Rother:
A Comparative Study of Modern Inference Techniques for Structured Discrete Energy Minimization Problems. - Li Gou, Yong Deng, Rehan Sadiq, Sankaran Mahadevan:
Modeling contaminant intrusion in water distribution networks based on D numbers. - Talal Rahwan, Victor Naroditskiy, Tomasz P. Michalak, Michael J. Wooldridge, Nicholas R. Jennings:
Towards a Fair Allocation of Rewards in Multi-Level Marketing. - Thomas Given-Wilson:
An Intensional Concurrent Faithful Encoding of Turing Machines. 21-37 - Paul J. Werbos:
From ADP to the Brain: Foundations, Roadmap, Challenges and Research Priorities. - Saeid Sahraei, Michael C. Gastpar:
New Shortest Lattice Vector Problems of Polynomial Complexity. - Goce Chadzitaskos, Lenka Háková, Ondrej Kajínek:
Weyl group orbit functions in image processing. - Rob Arthan, Paulo Oliva:
On Affine Logic and Łukasiewicz Logic. - Xinpei Ma, Hiroki Sayama:
Mental Disorder Recovery Correlated with Centralities and Interactions on an Online Social Network. - David Adjiashvili, Noy Rotbart:
Labeling Schemes for Bounded Degree Graphs. - Oscar Esteban, Gert Wollny, Subrahmanyam Gorthi, María J. Ledesma-Carbayo, Jean-Philippe Thiran, Andrés Santos, Meritxell Bach Cuadra:
MBIS: Multivariate Bayesian Image Segmentation Tool. - John Fearnley, Rahul Savani:
The Complexity of the Simplex Method. - André Frochaux, Martin Grohe, Nicole Schweikardt:
Monadic Datalog Containment on Trees. - Mostafizur Rahman, Santosh Khasanvis, Jiajun Shi, Mingyu Li, Csaba Andras Moritz:
Skybridge: 3-D Integrated Circuit Technology Alternative to CMOS. - Shai Vardi:
The secretary returns. - Mostafizur Rahman, Santosh Khasanvis, Csaba Andras Moritz:
Nanowire Volatile RAM as an Alternative to SRAM. - Mohammed Javed, P. Nagabhushan, B. B. Chaudhuri:
Extraction of Projection Profile, Run-Histogram and Entropy Features Straight from Run-Length Compressed Text-Documents. - Akin Osman Kazakci:
Conceptive Artificial Intelligence: Insights from design theory. - Julien Cassaigne, Vesa Halava, Tero Harju, François Nicolas:
Tighter Undecidability Bounds for Matrix Mortality, Zero-in-the-Corner Problems, and More. - Juan Carlos Cortés, Francisco-José Santonja, Ana C. Tarazona, Rafael J. Villanueva, Javier Villanueva-Oller:
A probabilistic estimation and prediction technique for dynamic continuous social science models: The evolution of the attitude of the Basque Country population towards ETA as a case study. - Gil Cohen, Avishay Tal:
Two Structural Results for Low Degree Polynomials and Applications. - Edwin Hammerich:
Waterfilling Theorems in the Time-Frequency Plane for the Heat Channel and a Related Source. - YounSun Cho:
Privacy-Preserving Social Network with Multigrained and Multilevel Access Control. - Yong Wang:
Entanglement in Quantum Process Algebra. - Hammurabi Mendes, Sorin Istrail:
Thermodynamic Hypothesis as Social Choice: An Impossibility Theorem for Protein Folding. - Xin-She Yang, Mehmet Karamanoglu, Xingshi He:
Multi-objective Flower Algorithm for Optimization. - Spyros Sioutas, Evangelos Sakkopoulos, Alexandros Panaretos, Dimitrios Tsoumakos, Panagiotis Gerolymatos, Giannis Tzimas, Yannis Manolopoulos:
D-P2P-Sim+: A Novel Distributed Framework for P2P Protocols Performance Testing. - Emanuela Merelli, Nicola Paoletti, Luca Tesei:
Adaptability Checking in Multi-Level Complex Systems. - Mahmoud Abo Khamis, Hung Q. Ngo, Christopher Ré, Atri Rudra:
Joins via Geometric Resolutions: Worst-case and Beyond. - Xin-She Yang, Slawomir Koziel, Leifur Þ. Leifsson:
Computational Optimization, Modelling and Simulation: Recent Trends and Challenges. - Deeparnab Chakrabarty, Kashyap Dixit, Madhav Jha, C. Seshadhri:
Property Testing on Product Distributions: Optimal Testers for Bounded Derivative Properties. - Emily Denton, Wojciech Zaremba, Joan Bruna, Yann LeCun, Rob Fergus:
Exploiting Linear Structure Within Convolutional Networks for Efficient Evaluation. - Geoffrey Irving:
Pentago is a First Player Win: Strongly Solving a Game Using Parallel In-Core Retrograde Analysis. - Serge Gaspers, Gregory B. Sorkin:
Separate, Measure and Conquer: Faster Algorithms for Max 2-CSP and Counting Dominating Sets. - Bertrand Wechsler, Dan Eilat, Nicolas Limal:
Information Flow Decompositions in Feedback Systems: General Case Study. - Mrinalkanti Ghosh, Satyadev Nandakumar, Atanu Pal:
Ornstein Isomorphism and Algorithmic Randomness. - Md. Enamul Haque, Abdullah Al Kaisan, Mahmudur R. Saniat, Aminur Rahman:
GPU Accelerated Fractal Image Compression for Medical Imaging in Parallel Computing Platform. - Mohsen Ghaffari, Bernhard Haeupler, Majid Khabbazian:
Randomized Broadcast in Radio Networks with Collision Detection. - Verica Bakeva, Aleksandra Popovska-Mitrovikj, Vesna Dimitrova:
Resistance of Statistical Attacks of Parastrophic Quasigroup Transformation. - Cem Evrendilek, Ismail Hakki Toroslu, Sasan Hashemi:
Task Assignment in Tree-Like Hierarchical Structures. - Oscar Stiffelman:
The Least Wrong Model Is Not in the Data. - Victor Marsault, Jacques Sakarovitch:
Breadth-first serialisation of trees and rational languages. - Allan Grønlund Jørgensen, Seth Pettie:
Threesomes, Degenerates, and Love Triangles. - Cosimo Anglano, Marco Guazzone, Matteo Sereno:
Maximizing Profit in Green Cellular Networks through Collaborative Games. - Daniel Lokshtanov, Marcin Pilipczuk, Michal Pilipczuk, Saket Saurabh:
Fixed-parameter tractable canonization and isomorphism test for graphs of bounded treewidth. - Tal Kopetz, Haim H. Permuter, Shlomo Shamai:
Multiple Access Channels with Combined Cooperation and Partial Cribbing. - Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin:
Expectations or Guarantees? I Want It All! A crossroad between games and MDPs. 1-8 - Lluís Godo, Enrico Marchioni:
Games for the Strategic Influence of Expectations. 9-15