![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
CoRR, October 2012
- Guangming Lang, Qingguo Li:
An algorithm for constructing the homomorphism between fuzzy relation information systems. - Denis S. Krotov:
A partition of the hypercube into cosets of maximally nonparallel Hamming codes. - Artiom Kovnatsky, Michael M. Bronstein, Alexander M. Bronstein, Klaus Glashoff, Ron Kimmel:
Coupled quasi-harmonic bases. - Parikshit Gopalan, Raghu Meka, Omer Reingold, Luca Trevisan, Salil P. Vadhan:
Better Pseudorandom Generators from Milder Pseudorandom Restrictions. - Elkebir Sarhrouni, Ahmed Hammouch, Driss Aboutajdine:
Dimensionality Reduction and Classification feature using Mutual Information applied to Hyperspectral Images : A Filter strategy based algorithm. - Sander Wozniak, Michael Rossberg, Franz Girlich, Guenter Schaefer:
Geocast into the Past: Towards a Privacy-Preserving Spatiotemporal Multicast for Cellular Networks. - (Withdrawn) Granular association rule mining through parametric rough sets for cold start recommendation.
- Jing Zhang:
A Literature Survey of Cooperative Caching in Content Distribution Networks. - Aiping Huang, William Zhu:
Topological characterizations to three types of covering approximation operators. - Aiping Huang, William Zhu:
Geometric lattice structure of covering-based rough sets through matroids. - Peter Sunehag, Marcus Hutter:
Optimistic Agents are Asymptotically Optimal. - Hajime Matsui:
Decoding a Class of Affine Variety Codes with Fast DFT. - Hamed Pezeshki, Xiangyun Zhou, Behrouz Maham:
Jamming Energy Allocation in Training-Based Multiple Access Systems. - (Withdrawn) Test-cost-sensitive attribute reduction of data with normal distribution measurement errors.
- Imran Shafique Ansari
, Ferkan Yilmaz, Mohamed-Slim Alouini
:
On the Sum of Squared η-μRandom Variates With Application to the Performance of Wireless Communication Systems. - (Withdrawn) Demosaicing and Superresolution for Color Filter Array via Residual Image Reconstruction and Sparse Representation.
- Jürgen Schmidhuber:
Self-Delimiting Neural Networks. - Till Hoffmann, Renaud Lambiotte, Mason A. Porter:
Decentralized Routing on Spatial Networks with Stochastic Edge Weights. - Vincent D. Blondel, Markus Esch, Connie Chan, Fabrice Clérot, Pierre Deville, Etienne Huens, Frédéric Morlot, Zbigniew Smoreda, Cezary Ziemlicki:
Data for Development: the D4D Challenge on Mobile Phone Data. - Jiadong Wang, Guiqiang Dong, Thomas A. Courtade, Hari Shankar, Tong Zhang, Richard D. Wesel:
LDPC Decoding with Limited-Precision Soft Information in Flash Memories. - Yu-Wei Chu, Chih-Hua Tai, Ming-Syan Chen, Philip S. Yu:
Implementation of Privacy-preserving SimRank over Distributed Information Network. - Mohammed Y. Aalsalem, Wazir Zada Khan, Quratul-Ain Arshad:
A Low Cost Vision Based Hybrid Fiducial Mark Tracking Technique for Mobile Industrial Robots. - Avishay Maya, Noam Nisan:
Incentive Compatible Two Player Cake Cutting. - Song-Nam Hong, Giuseppe Caire:
Lattice Coding Strategies for Cooperative Distributed Antenna Systems. - A. A. Waskita, Heru Suhartanto, Zaenal Akbar, Laksana Tri Handoko:
Exhaustive Search-based Model for Hybrid Sensor Network. - Rohini S. Hallikar, Uttara Kumari, K. Padmaraju:
A novel method for obtaining a better quality speech signal for cochlear Implants using kalman with drnl and ssb technique. - Sandeep Gupta:
External Memory based Distributed Generation of Massive Scale Social Networks on Small Clusters. - Ning Chen, Xiaotie Deng, Paul W. Goldberg, Jinshan Zhang:
On Revenue Maximization with Sharp Multi-Unit Demands. - Sanjay Singh, M. Sathish Kumar, H. S. Mruthyunjaya:
A New Generalized Closed Form Expression for Average Bit Error Probability Over Rayleigh Fading Channel. - Xujin Chen, Benjamin Doerr, Xiaodong Hu, Weidong Ma, Rob van Stee, Carola Winzen:
The Price of Anarchy for Selfish Ring Routing is Two. - (Withdrawn) A Linguistic Model for Terminology Extraction based Conditional Random Fields.
- Fedor V. Fomin, Daniel Lokshtanov, Saket Saurabh, Dimitrios M. Thilikos:
Linear kernels for (connected) dominating set on graphs with excluded topological subgraphs. - Mark Jones, Daniel Lokshtanov, M. S. Ramanujan, Saket Saurabh, Ondrej Suchý:
Parameterized Complexity of Directed Steiner Tree on Sparse Graphs. - Christopher Griffin, Douglas Mercer, James Fan, Anna Cinzia Squicciarini:
Two Species Evolutionary Game Model of User and Moderator Dynamics. - Roy Timo, Gottfried Lechner, Lawrence Ong, Sarah J. Johnson:
Multi-Way Relay Networks: Orthogonal Uplink, Source-Channel Separation and Code Design. - Balasubramanian Sivan, Vasilis Syrgkanis, Omer Tamuz:
Lower Bounds on Revenue of Approximately Optimal Auctions. - Vasileios Ntranos, Viveck R. Cadambe, Bobak Nazer, Giuseppe Caire:
Feedback Interference Alignment: Exact Alignment for Three Users in Two Time Slots. - Md. Sahidullah, Goutam Saha:
Comparison of Speech Activity Detection Techniques for Speaker Recognition. - Jürgen Bokowski, Vincent Pilaud:
Enumerating topological $(n_k)$-configurations. - Rahele Kafieh, Hossein Rabbani, Michael D. Abràmoff, Milan Sonka:
Intra-Retinal Layer Segmentation of 3D Optical Coherence Tomography Using Coarse Grained Diffusion Map. - Andrzej Lingas, Mia Persson:
A fast parallel algorithm for minimum-cost small integral flows. - D. Sasirekha, E. Chandra:
Enhanced Techniques for PDF Image Segmentation and Text Extraction. - Daniel Trivellato, Nicola Zannone, Sandro Etalle:
GEM: a Distributed Goal Evaluation Algorithm for Trust Management. - Thomas Philip Runarsson, Marc Schoenauer, Michèle Sebag:
Pilot, Rollout and Monte Carlo Tree Search Methods for Job Shop Scheduling. - Junlin Hu, Ping Guo:
Combined Descriptors in Spatial Pyramid Domain for Image Classification. - Arpit Sharma:
A Two Step Perspective for Kripke Structure Reduction. - Manuel Bodirsky
, Peter Jonsson, Timo von Oertzen:
Essential Convexity and Complexity of Semi-Algebraic Constraints. - Jørgen Villadsen, Andreas Schmidt Jensen, Mikko Berggren Ettienne, Steen Vester, Kenneth Balsiger Andersen, Andreas Frøsig:
Multi-Agent Programming Contest 2012 - The Python-DTU Team. - Nees Jan van Eck, Ludo Waltman, Anthony F. J. van Raan, Robert J. M. Klautz, Wilco C. Peul:
Citation analysis may severely underestimate the impact of clinical research as compared to basic research. - Audrey Lee-St. John, Jessica Sidman:
Combinatorics and the Rigidity of CAD Systems. - Maciej Kurant, Carter T. Butts, Athina Markopoulou:
Graph Size Estimation. - Andrea Campagna, Konstantin Kutzkov, Rasmus Pagh:
On Parallelizing Matrix Multiplication by the Column-Row Method. - Giovanni Cavallanti, Nicolò Cesa-Bianchi:
Memory Constraint Online Multitask Classification. - Peter Sanders, Christian Schulz:
Think Locally, Act Globally: Perfectly Balanced Graph Partitioning. - Todd L. Veldhuizen:
Leapfrog Triejoin: a worst-case optimal join algorithm. - Vijayvaradharaj T. Muralidharan, B. Sundar Rajan:
Physical Layer Network Coding for the Multiple Access Relay Channel. - Rustem Takhanov, Vladimir Kolmogorov:
Inference algorithms for pattern-based CRFs on sequence data. - Tayeb Lemlouma, Yoann Lefebvre, Frédéric Cespedes:
PCNM: A New Platform for Cellular Networks Measurements and Optimization. - Tayeb Lemlouma, Julien Luciana, Bastien Oza, Leandro Sierra, Mikaël Salaün:
An Easy Cellular Gateway for Providing Shared Services and Data. - Walid Abediseid, Mohamed-Slim Alouini
:
On Lattice Sequential Decoding for The Unconstrained AWGN Channel. - Elkebir Sarhrouni, Ahmed Hammouch, Driss Aboutajdine:
Band Selection and Classification. - Dhavide A. Aruliah, C. Titus Brown, Neil P. Chue Hong, Matt Davis, Richard T. Guy, Steven H. D. Haddock, Katy Huff, Ian Mitchell, Mark D. Plumbley, Ben Waugh, Ethan P. White, Greg Wilson, Paul Wilson:
Best Practices for Scientific Computing. - (Withdrawn) Performance of Multi-Antenna Linear MMSE Receivers in Non-homogeneous Poisson and Poisson Cluster Networks.
- Tao Hu, Dmitri B. Chklovskii:
Sparse LMS via Online Linearized Bregman Iteration. - Tao Hu, Juan Nunez-Iglesias, Shiv Naga Prasad Vitaladevuni, Lou Scheffer, Shan Xu, Mehdi Bolorizadeh, Harald F. Hess, Richard Fetter, Dmitri B. Chklovskii:
Super-resolution using Sparse Representations over Learned Dictionaries: Reconstruction of Brain Structure using Electron Microscopy. - Ozgun Y. Bursalioglu, Giuseppe Caire, Dariush Divsalar:
Joint Source-Channel Coding for Deep-Space Image Transmission using Rateless Codes. - Lars Kuhtz, Bernd Finkbeiner:
Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds. - Jaswinder Singh Dilawari, Gurpreet Singh Sandhu:
A Review Paper on Microprocessor Based Controller Programming. - Harbir Antil, Scott E. Field, Frank Herrmann, Ricardo H. Nochetto, Manuel Tiglio:
Two-step greedy algorithm for reduced order quadratures. - Amir H. Asiaee, Prashant Doshi, Todd Minning, Satya Sanket Sahoo, Priti Parikh, Amit P. Sheth, Rick L. Tarleton:
From Questions to Effective Answers: On the Utility of Knowledge-Driven Querying Systems for Life Sciences Data. - Victor Milenkovic, Elisha Sacks, Steven Trac:
Planar shape manipulation using approximate geometric primitives. - John V. Corbett:
A Topos Theory Foundation for Quantum Mechanics. 37-53 - Ugo Dal Lago, Claudia Faggian:
On Multiplicative Linear Logic, Modality and Quantum Circuits. 55-66 - Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan, Ittoop Vergheese Puthoor:
Analysis of a Quantum Error Correcting Code using Quantum Process Calculus. 67-80 - Bertfried Fauser, Guillaume Raynaud, Steven Vickers:
The Born rule as structure of spectral bundles (extended abstract). 81-90 - Chris Heunen, Sergio Boixo:
Completely positive classical structures and sequentializable quantum protocols. 91-101 - Kentaro Honda:
Graphical Classification of Entangled Qutrits. 123-141 - Peter Janotta:
Generalizations of Boxworld. 183-192 - Joost Nuiten:
Bohrification of local nets. 211-218 - Robert Raussendorf, Pradeep Kiran Sarvepalli, Tzu-Chieh Wei, Poya Haghnegahdar:
Symmetry constraints on temporal order in measurement-based quantum computation. 219-250 - Susan Stepney, Viv Kendon
, Peter Hines, Angelika Sebald:
A Framework for Heterotic Computing. 263-273 - Lexing Xie, Apostol Natsev, Xuming He, John R. Kender, Matthew L. Hill, John R. Smith:
Tracking Large-Scale Video Remix in Real-World Events. - Yingzhen Yang, Xinqi Chu, Thomas S. Huang:
Generalization Analysis for Classification. - Tien Tuan Anh Dinh, Anwitaman Datta
:
Stream on the Sky: Outsourcing Access Control Enforcement for Stream Data to the Cloud. - Ashish Goel, David Lee:
Triadic Consensus: A Randomized Algorithm for Voting in a Crowd. - Cedomir Stefanovic, Kasper F. Trillingsgaard, Nuno K. Pratas, Petar Popovski:
Joint Estimation and Contention-Resolution Protocol for Wireless Random Access. - Xavier Bresson, Ruiliang Zhang:
TV-SVM: Total Variation Support Vector Machine for Semi-Supervised Data Classification. - Yongming Luo, George H. L. Fletcher, Jan Hidders, Yuqing Wu, Paul De Bra:
I/O-efficient algorithms for localized bisimulation partition construction and maintenance on massive graphs. - Mohamed Khalil El Mahrsi, Fabrice Rossi:
Graph-Based Approaches to Clustering Network-Constrained Trajectory Data. - Yanfang Liu, William Zhu:
Relationship between the second type of covering-based rough set and matroid via closure operator. - Nahla Jlaiel, Khouloud Madhbouh, Mohamed Ben Ahmed:
A Semantic Approach for Automatic Structuring and Analysis of Software Process Patterns. - Jan Verschelde, Genady Yoffe:
Orthogononalization on a general purpose graphics processing unit with double double and quad double arithmetic. - Harbi AlMahafzah, Mohammad Imran, H. S. Sheshadri:
Multibiometric: Feature Level Fusion Using FKP Multi-Instance biometric. - Zoltán Szabó, András Lörincz:
Distributed High Dimensional Information Theoretical Image Registration via Random Projections. - Joachim Kock:
Data types with symmetries and polynomial functors over groupoids. - Harbi AlMahafzah, Maen Zaid AlRwashdeh:
A Survey of Multibiometric Systems. - Son Doan, Lucila Ohno-Machado, Nigel Collier:
Enhancing Twitter Data Analysis with Simple Semantic Filtering: Example in Tracking Influenza-Like Illnesses. - Winfried Gödert:
Detecting multiword phrases in mathematical text corpora. - Siu On Chan, Ilias Diakonikolas, Rocco A. Servedio, Xiaorui Sun:
Learning mixtures of structured distributions over discrete domains. - Aaron Adcock, Daniel L. Rubin, Gunnar Carlsson:
Classification of Hepatic Lesions using the Matching Metric. - José A. Iglesias, Ron Kimmel:
Schrödinger Diffusion for Shape Analysis with Texture. - Dimiter Dobrev
:
The Definition of AI in Terms of Multi Agent Systems. - Anirudha Majumdar, Amir Ali Ahmadi, Russ Tedrake:
Control Design along Trajectories with Sums of Squares Programming. - George C. Alexandropoulos, Constantinos B. Papadias:
An Interference-Adjustable Distributed Algorithm for K-user MIMO Interference Networks. - Domenico Ciuonzo, Gianmarco Romano, Pierluigi Salvo Rossi:
Optimality of Received Energy in Decision Fusion over Rayleigh Fading Diversity MAC with Non-Identical Sensors. - Guo-Jun Qi, Charu C. Aggarwal, Pierre Moulin, Thomas S. Huang:
Learning from Collective Intelligence in Groups. - Zhenxin Feng, Kwan-Wu Chin:
A Survey of Delay Tolerant Networks Routing Protocols. - Thomas Palfray, David Hebert, Stéphane Nicolas, Pierrick Tranouez, Thierry Paquet:
Logical segmentation for article extraction in digitized old newspapers. - Tao Wang, Luc Vandendorpe:
On the SCALE Algorithm for Multiuser Multicarrier Power Spectrum Management. - Nguyen Quang-Hung, Nam Thoai, Nguyen Thanh Son:
Performance Constraint and Power-Aware Allocation For User Requests In Virtual Computing Lab. - Guangling Sun, Guoqing Li, Jie Yin:
Blurred Image Classification based on Adaptive Dictionary. - Guangling Sun, Guoqing Li, Xinpeng Zhang:
Robust Degraded Face Recognition Using Enhanced Local Frequency Descriptor and Multi-scale Competition. - Huasen Wu, Youguang Zhang, Xin Liu:
Laxity-Based Opportunistic Scheduling with Flow-Level Dynamics and Deadlines. - Julien Ponge, Frédéric Le Mouël:
JooFlux: Hijacking Java 7 InvokeDynamic To Support Live Code Modifications. - Sharon Christa, K. Lakshmi Madhuri, V. Suma:
A Comparative Analysis of Data Mining Tools in Agent Based Systems. - Vincent Y. F. Tan:
The Capacity of the General Gel'fand-Pinsker Channel and Achievable Second-Order Coding Rates. - Yun Shang, Xian Lu, Ruqian Lu:
Turing machines based on unsharp quantum logic. 251-261 - Harald Zankl:
Confluence by Decreasing Diagrams -- Formalized. - Arturo Ribes, Jesús Cerquides, Yiannis Demiris, Ramón López de Mántaras:
Sensory Anticipation of Optical Flow in Mobile Robotics. - Pengfei Huang, Xudong Wang:
Cross-layer Scheduling in Multi-user System with Delay and Secrecy Constraints. - James W. Hanlon, Simon J. Hollis, David May:
Scalable data abstractions for distributed parallel computations. - James W. Hanlon, Simon J. Hollis, David May:
Emulating a large memory sequential machine with a collection of small memory ones. - Efi Papatheocharous, Harris Papadopoulos, Andreas S. Andreou:
Feature Subset Selection for Software Cost Modelling and Estimation. - Abdel-Hameed A. Badawy:
Students Perceptions of the Effectiveness of Discussion Boards What can we get from our students for a freebie point. - Bacem Wali, Bernard Gibaud:
Extending OWL-S for the Composition of Web Services Generated With a Legacy Application Wrapper. - Christopher L. Simons, Ian C. Parmee:
Elegant Object-oriented Software Design via Interactive, Evolutionary Computation. - Bita Azimdoost, Cédric Westphal, Hamid R. Sadjadpour:
On the Throughput Capacity of Information-Centric Networks. - Sukhpal Singh:
Reduction of Blocking Artifacts In JPEG Compressed Image. - Bernhard Haeupler:
Simple, Fast and Deterministic Gossip and Rumor Spreading. - Marc Bezem, Keiko Nakata, Tarmo Uustalu
:
On streams that are finitely red. - Hema Swetha Koppula, Rudhir Gupta, Ashutosh Saxena:
Learning Human Activities and Object Affordances from RGB-D Videos. - Abdel-Hameed A. Badawy, Michelle M. Hugue:
Evaluating Discussion Boards on BlackBoard as a Collaborative Learning Tool A Students Survey and Reflections. - Mariya Ishteva, Haesun Park, Le Song:
Unfolding Latent Tree Structures using 4th Order Tensors. - Charalambos D. Charalambous, Photios A. Stavrou, Nasir Uddin Ahmed:
Nonanticipative Rate Distortion Function and Relations to Filtering Theory. - Daniel M. Kane:
A Pseudorandom Generator for Polynomial Threshold Functions of Gaussian with Subpolynomial Seed Length. - Raghavi K. Bhujang, Suma V.:
Graphical Visualization of Risk Assessment for Effective Risk Management during Software Development Process. - Ahmed Mehedi Nizam, Md. Nasim Adnan, Md. Rashedul Islam, Mohammad Akbar Kabir:
Properties of Stochastic Kronecker Graph. - Xi Peng, Lei Zhang, Zhang Yi, Kok Kiong Tan:
Learning Locality-Constrained Collaborative Representation for Face Recognition. - Phong Nguyen, Jun Wang, Melanie Hilario, Alexandros Kalousis:
Learning Heterogeneous Similarity Measures for Hybrid-Recommendations in Meta-Mining. - Mohammad Hamed Firooz, Zhiyong Chen, Sumit Roy, Hui Liu:
Wireless Network Coding via Modified 802.11 MAC/PHY: Design and Implementation on SDR. - Jun Qin, Hongrun Wu, Xiaonian Tong, Bojin Zheng:
A quantitative method for determining the robustness of complex networks. - Arkadiusz Biernacki:
Methods of QoS improvement for P2P IPTV based on traffic modelling. - Doris Schiöberg, Fabian Schneider, Gilles Trédan, Steve Uhlig, Anja Feldmann:
Revisiting Content Availability in Distributed Online Social Networks. - Marta Bílková, Alexander Kurz, Daniela Petrisan, Jirí Velebil:
Relation Liftings on Preorders and Posets. - Bruno Grenet
, Pascal Koiran, Natacha Portier:
On the Complexity of the Multivariate Resultant. - Gagan Goel, Vahab S. Mirrokni, Renato Paes Leme:
Clinching Auctions with Online Supply. - Shusen Wang, Zhihua Zhang, Jian Li:
A Scalable CUR Matrix Decomposition Algorithm: Lower Time Complexity and Tighter Bound. - Adriano Pastore, Michael Joham, Javier Rodríguez Fonollosa:
A Framework for Joint Design of Pilot Sequence and Linear Precoder. - Frank van Harmelen, George Kampis, Katy Börner, Peter van den Besselaar, Erik A. Schultes, Carole A. Goble, Paul Groth, Barend Mons, Stuart Anderson, Stefan Decker, Conor Hayes, Thierry Buecheler, Dirk Helbing:
Theoretical And Technological Building Blocks For An Innovation Accelerator. - Yang Hong, Changcheng Huang, James Yan:
A Comparative Study of SIP Overload Control Algorithms. - Mingyi Hong, Qiang Li, Ya-Feng Liu, Zhi-Quan Luo:
Decomposition by Successive Convex Approximation: A Unifying Approach for Linear Transceiver Design in Heterogeneous Networks. - Ayad Ghany Ismaeel
:
An Emergency System for Succoring Children using Mobile GIS. - Tao Hu, Alexander Genkin, Dmitri B. Chklovskii:
A network of spiking neurons for computing sparse representations in an energy efficient way. - Curt Schieler, Eva C. Song, Paul Cuff, H. Vincent Poor:
Source-Channel Secrecy with Causal Disclosure. - Dimiter Dobrev
:
A Definition of Artificial Intelligence. - Hector Zenil:
Turing Patterns with Turing Machines: Emergence and Low-level Structure Formation. - Lukasz Swierczewski
:
The Distributed Computing Model Based on The Capabilities of The Internet. - Neng-Fa Zhou, Christian Theil Have:
Efficient Tabling of Structured Data with Enhanced Hash-Consing. - Swarnendu Kar, Pramod K. Varshney:
Controlled Collaboration for Linear Coherent Estimation in Wireless Sensor Networks. - Hengshuai Yao:
Discovering and Leveraging the Most Valuable Links for Ranking. - Jie Fu, Herbert G. Tanner, Jeffrey Heinz, Jane Chandlee, Konstantinos Karydis, Cesar Koirala:
Symbolic Planning and Control Using Game Theory and Grammatical Inference. - Wei Bao, Ben Liang:
On the Insensitivity of User Distribution in Multicell Networks under General Mobility and Session Patterns. - Melissa Duarte, Ashutosh Sabharwal, Vaneet Aggarwal, Rittwik Jana, K. K. Ramakrishnan, Christopher W. Rice, N. K. Shankaranarayanan:
Design and Characterization of a Full-duplex Multi-antenna System for WiFi networks. - Adeyemi R. Ikuesan, Shukor Abd Razak, Nor Amira Nor Azhan:
Identifying critical features for network forensics investigation perspectives. - Paul Ormerod, Bassel Tarbush, R. Alexander Bentley:
Social network markets: the influence of network structure when consumers face decisions over many similar choices. - Adeyemi R. Ikuesan, Norafida Ithnin:
Users Authentication and Privacy control of RFID Card. - Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl:
Conflict-driven ASP Solving with External Sources. - Iliano Cervesato:
An Improved Proof-Theoretic Compilation of Logic Programs. - Germán Vidal:
Annotation of Logic Programs for Independent AND-Parallelism by Partial Evaluation. - Jakob Ablinger, Johannes Blümlein, Mark Round, Carsten Schneider
:
Advanced Computer Algebra Algorithms for the Expansion of Feynman Integrals. - Mohammad H. Al Shayeji, AbdulRahman R. Al-Azmi, AbdulAziz R. Al-Azmi, M. D. Samrajesh:
Analysis and Enhancements of Leader Elections algorithms in Mobile Ad Hoc Networks. - Yaoqing Yang, Keqin Liu, Qing Zhao:
Distributed Flow Scheduling in Unknown Environment. - Ravi Murugesan
:
Promising outcomes of an online course in research writing at a Rwandan university. - Andrew N. Jackson:
Formats over Time: Exploring UK Web History. - Arash Ghorbannia Delavar, Golnoosh Keshani:
Providing an Object Allocation Algorithm in Distributed Databases Using Efficient Factors. - Farbod Kayhan, Guido Montorsi:
Constellation Design for Channels Affected by Phase Noise. - Murphy Choy, Michelle L. F. Cheong:
Intelligent Search Heuristics for Cost Based Scheduling. - Avinatan Hassidim, Haim Kaplan, Yishay Mansour, Noam Nisan:
The AND-OR game: Equilibrium Characterization (Working Paper). - Farbod Kayhan, Guido Montorsi:
Constellation Design for Transmission over Nonlinear Satellite Channels. - Djamal Belazzougui, Travis Gagie, Gonzalo Navarro:
Better Space Bounds for Parameterized Range Majority and Minority. - Jun Zhu, Ning Chen, Eric P. Xing:
Bayesian Inference with Posterior Regularization and Infinite Latent Support Vector Machines. - A. Emre Cetin:
In-place associative permutation sort. - Michael J. Maher:
Relative Expressiveness of Defeasible Logics. - Azadeh Sheikholeslami, Dennis Goeckel, Hossein Pishro-Nik:
Everlasting Secrecy by Exploiting Non-Idealities of the Eavesdropper's Receiver. - Jasper De Bock, Gert de Cooman:
An efficient algorithm for estimating state sequences in imprecise hidden Markov models. - Tomasz Jurdzinski, Dariusz R. Kowalski, Grzegorz Stachowiak:
Distributed Deterministic Broadcasting in Wireless Networks under the SINR Model. - Konstantin Makarychev:
Local Search is Better than Random Assignment for Bounded Occurrence Ordering k-CSPs. - Zhiyu Cheng, Natasha Devroye:
On Constant Gaps for the Two-way Gaussian Interference Channel. - Yun Fan, Guanghui Zhang:
Self-dual Permutation Codes of Finite Groups in Semisimple Case. - Yuan Li:
The Limitation of Random Network Coding. - Meftah Ur Rahman:
A comparative study on face recognition techniques and neural network. - Artan Berisha, Behar Baxhaku, Artan Alidema:
A Class of Non Invertible Matrices in GF (2) for Practical One Way Hash Algorithm. - Bernhard Bliem, Michael Morak, Stefan Woltran:
D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming. - Chung-Chieh Fang:
Saddle-Node Bifurcation Associated with Parasitic Inductor Resistance in Boost Converters. - Kondwani Magamba, Solomon Kadaleka, Ansley Kasambara:
Variable-length Hill Cipher with MDS Key Matrix. - Chung-Chieh Fang:
Modeling and Instability of Average Current Control. - Dorian Aur:
Reply to Comments on Neuroelectrodynamics: Where are the Real Conceptual Pitfalls? - Sabah Al-Fedaghi:
Diagrammatization of the Transmission Control Protocol. - John Prpic, Prashant Shukla:
The Theory of Crowd Capital. - Zhong-Yuan Zhang:
Semi-Supervised Community Structure Detection in Social Networks Based on Matrix De-noising. - Charalambos D. Charalambous, Photios A. Stavrou:
On the relation of nonanticipative rate distortion function and filtering theory. - Abdul Razaque, Khaled M. Elleithy, Nyembo Salama:
Novel Framework for Mobile Collaborative learning (MCL)to substantiate pedagogical activities. - Wafa Elmannai, Abdul Razaque, Khaled M. Elleithy:
TCP-UB: A New congestion aware transmission control protocolvariant. - Marco Faella, Aniello Murano:
Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012. EPTCS 96, 2012 [contents] - Abdul Razaque, Khaled M. Elleithy:
Multi-frame Signature-cum Anomaly-based Intrusion Detection Systems (MSAIDS) to Protect Privacy of Users over Mobile Collaborative Learning (MCL). - Clemens Wiltsche, Ufuk Topcu, Richard M. Murray:
Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication. - Lukasz Czajka:
Partiality and Recursion in Higher-order Logic. - Miranda Zhang, Rajiv Ranjan, Surya Nepal, Michael Menzel, Armin Haller:
A Declarative Recommender System for Cloud Infrastructure Services Selection. - Mohammud Z. Bocus, Carl P. Dettmann, Justin P. Coon:
An Approximation of the Marcum Q-Function with Application to the Performance Analysis of Communication Systems. - Alain Bernard, Jean-Charles Delplace, Nicolas Perry, Serge Gabriel:
Integration of CAD and rapid manufacturing for sand casting optimisation. - Niek du Preez, Nicolas Perry
, Alexandre Candlot, Alain Bernard, Wilhelm Uys, Louis Louw:
Customised high-value document generation. - Magali Mauchand
, Ali Siadat, Nicolas Perry
, Alain Bernard:
VCS: Value Chains Simulator, a Tool for Value Analysis of Manufacturing Enterprise Processes (A Value-Based Decision Support Tool). - Danko Ilik
:
A formalized type-directed partial evaluator for shift and reset. 86-100 - Alex Alvarado, Alexandre Graell i Amat, Fredrik Brannstrom, Erik Agrell:
On Optimal TCM Encoders. - Oktay Ölmez, Aditya Ramamoorthy:
Repairable Replication-based Storage Systems Using Resolvable Designs. - Saman Ashkiani, Anna Scaglione:
Discrete Dithered Desynchronization. - Flávio du Pin Calmon, Nadia Fawaz:
Privacy Against Statistical Inference. - Guoxin Su, Mingsheng Ying, Chengqi Zhang:
Session Communication and Integration. - Flávio du Pin Calmon, Muriel Médard, Linda M. Zeger, João Barros, Mark M. Christiansen, Ken R. Duffy:
Lists that are smaller than their parts: A coding approach to tunable secrecy. - Ilan Shomorony, Amir Salman Avestimehr:
Degrees of Freedom of Two-Hop Wireless Networks: "Everyone Gets the Entire Cake''. - Ahmad Beirami, Faramarz Fekri:
Network Compression: Memory-Assisted Universal Coding of Sources with Correlated Parameters. - Yafei Tian, Songtao Lu, Chenyang Yang:
Amplitude Space Sharing among the Macro-Cell and Small-Cell Users. - Shams Zawoad, Ragib Hasan:
The Enemy Within: The Emerging Threats to Healthcare from Malicious Mobile Devices. - Matthieu R. Bloch, Laura Luzzi, Jörg Kliewer:
Strong Coordination with Polar Codes. - Peter Welinder, Max Welling, Pietro Perona:
Semisupervised Classifier Evaluation and Recalibration. - (Withdrawn) ET-LDA: Joint Topic Modeling For Aligning, Analyzing and Sensemaking of Public Events and Their Twitter Feeds.
- Arkadiusz Biernacki:
Analysis of the flooding search algorithm with OPNET. - Jia Zeng, Zhi-Qiang Liu, Xiao-Qin Cao:
Online Belief Propagation for Topic Modeling. - Sang-Woon Jeon, Chien-Yi Wang, Michael Gastpar:
Approximate Ergodic Capacity of a Class of Fading 2-user 2-hop Networks. - Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits:
Annotating Answer-Set Programs in LANA? - J. Martin van Zyl, Sean van der Merwe:
An empirical study to order citation statistics between subject fields. - David Stotz, Helmut Bölcskei:
Degrees of Freedom in Vector Interference Channels. - Rustem Takhanov:
Extensions of the Minimum Cost Homomorphism Problem. - Reinhard Heckel, Helmut Bölcskei:
Joint Sparsity with Different Measurement Matrices. - Vojtech Forejt, Petr Jancar, Stefan Kiefer, James Worrell:
Bisimilarity of Probabilistic Pushdown Automata. - Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci:
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software. - Miguel Areias, Ricardo Rocha:
Towards Multi-Threaded Local Tabling Using a Common Table Space. - Max Ostrowski, Torsten Schaub:
ASP modulo CSP: The clingcon system. - Annie I. Chen, Asuman E. Ozdaglar:
A Fast Distributed Proximal-Gradient Method. - Rémy Haemmerlé:
Diagrammatic confluence for Constraint Handling Rules. - Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna:
Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues. - Luke Schaeffer:
Ostrowski Numeration and the Local Period of Sturmian Words. - Tamir Hazan, Raquel Urtasun:
Efficient Learning of Structured Predictors in General Graphical Models. - Felix Krahmer, Rachel A. Ward:
Compressive imaging: stable and robust recovery from variable density frequency samples. - Shiva Prasad Kasiviswanathan, Mark Rudelson, Adam D. Smith:
The Power of Linear Reconstruction Attacks. - Yadong Mu, Wei Liu, Shuicheng Yan:
Video De-fencing. - Biao Xu, Ruairí de Fréin, Eric Robson, Mícheál Ó Foghlú:
Distributed Formal Concept Analysis Algorithms Based on an Iterative MapReduce Framework. - Ali Tajer, H. Vincent Poor:
Quick Search for Rare Events. - M. A. El-Dosuky, Magdi Zakria Rashad, T. T. Hamza, A. H. El-Bassiouny:
Simulated Tom Thumb, the Rule Of Thumb for Autonomous Robots. - Mario Frank, Ben Dong, Adrienne Porter Felt, Dawn Song:
Mining Permission Request Patterns from Android and Facebook Applications (extended author version). - Marta Capiluppi, Roberto Segala
:
Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata. 1-14 - Chung-Hao Huang, Doron A. Peled, Sven Schewe
, Farn Wang:
Rapid Recovery for Systems with Scarce Faults. 15-28 - Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna
:
Interface Simulation Distances. 29-42 - Martin Lange, Étienne Lozes, Manuel Vargas Guzmán:
Model-Checking Process Equivalences. 43-56 - Stephan Barth, Martin Hofmann:
Learn with SAT to Minimize Büchi Automata. 71-84 - Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini:
Automata-based Static Analysis of XML Document Adaptation. 85-98 - Aleksandar S. Dimovski
:
Symbolic Representation of Algorithmic Game Semantics. 99-112 - Julian Gutierrez, Felix Klaedtke, Martin Lange:
The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity. 113-126 - Ricardo Almeida
, Sabine Broda
, Nelma Moreira
:
Deciding KAT and Hoare Logic with Derivatives. 127-140 - Daniel Neider, Roman Rabinovich, Martin Zimmermann
:
Down the Borel Hierarchy: Solving Muller Games via Safety Games. 169-182 - Wladimir Fridman, Martin Zimmermann
:
Playing Pushdown Parity Games in a Hurry. 183-196 - Felix Canavoi, Erich Grädel, Roman Rabinovich:
The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs. 197-209 - Pawel Parys:
Higher-Order Pushdown Systems with Data. 210-223 - Domenico Cantone, Cristiano Longo:
A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions. 224-237 - Alex Kruckman, Sasha Rubin
, John Sheridan, Ben Zax:
A Myhill-Nerode theorem for automata with advice. 238-246 - Szczepan Hummel:
Unambiguous Tree Languages Are Topologically Harder Than Deterministic Ones. 247-260 - Zhong-Yuan Zhang, Kai-Di Sun, Si-Qi Wang:
Enhanced Community Structure Detection in Social Networks. - Akshay Soni, Jarvis D. Haupt:
Level Set Estimation from Compressive Measurements using Box Constrained Total Variation Regularization. - Davide Bresolin
, Dario Della Monica
, Angelo Montanari, Pietro Sala
, Guido Sciavicco
:
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture. 155-168 - Jakub Michaliszyn, Jan Otop
, Piotr Witkowski
:
Satisfiability vs. Finite Satisfiability in Elementary Modal Logics. 141-154 - Amin Emad, Olgica Milenkovic:
Semi-Quantitative Group Testing: a General Paradigm with Applications in Genotyping. - Jitendra Mohan, Sudhanshu Maheshwari, Durg Singh Chauhan:
Minimum Component Based First-Order Inverting and Non-inverting Outputs of All-Pass Filter at the Same Circuit. - Rakshith Rajashekar, K. V. S. Hari, Lajos Hanzo:
Structured Dispersion Matrices from Space-Time Block Codes for Space-Time Shift Keying. - Sukhpal Singh, Inderveer Chana:
Enabling Reusability in Agile Software Development. - Jitendra Mohan, Sudhanshu Maheshwari, Durg Singh Chauhan:
Minimum Grounded Component Based Voltage-Mode Quadrature Oscillator using DVCC. - Ting Huang, Peijun Zhu, Zengyou He:
Protein Inference and Protein Quantification: Two Sides of the Same Coin. - Mashad Eslamifar, Woon Hau Chin, Chau Yuen, Yong Liang Guan:
Performance Analysis of Two-Step Bi-Directional Relaying with Multiple Antennas. - Jiajia Li, Xiuxia Zhang, Guangming Tan, Mingyu Chen:
SMAT: An Input Adaptive Sparse Matrix-Vector Multiplication Auto-Tuner. - Søren Bøg, Morten Stöckel, Hjalte Wedel Vildhøj:
The Hardness of the Functional Orientation 2-Color Problem. - Loris Marchal, Oliver Sinnen, Frédéric Vivien:
Scheduling tree-shaped task graphs to minimize memory and makespan. - Adrian Agustin, Josep Vidal:
Degrees of Freedom Region of the MIMO X channel with an Arbitrary Number of Antennas. - Mansour Moufid:
Sudoku as a special transportation problem. - Michal Nánási, Tomás Vinar, Brona Brejová:
Sequence Annotation with HMMs: New Problems and Their Complexity. - Ryuhei Mori, Toshiyuki Tanaka:
New Generalizations of the Bethe Approximation via Asymptotic Expansion. - Assalé Adjé, Jean Goubault-Larrecq:
Concrete Semantics of Programs with Non-Deterministic and Random Inputs. - Katarzyna Grygiel, Pierre Lescanne:
Counting and generating lambda terms. - Vittorio Perduca, Grégory Nuel:
Measuring the Influence of Observations in HMMs through the Kullback-Leibler Distance. - Amélie Gheerbrant, Balder ten Cate:
Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees. - Dimitris Arabadjis, Panayiotis Rousopoulos, Constantin Papaodysseus, Mihalis Exarhos, Mihalis Panagopoulos, Lena Papazoglou-Manioudaki:
Optimization in Differentiable Manifolds in Order to Determine the Method of Construction of Prehistoric Wall-Paintings. - Eric Eaton, Marie desJardins, Sara Jacob:
Multi-view constrained clustering with an incomplete mapping between views. - Dimitris Arabadjis, Panayiotis Rousopoulos, Constantin Papaodysseus, Mihalis Panagopoulos, Panayiota Loumou, Georgios Theodoropoulos:
A General Methodology for the Determination of 2D Bodies Elastic Deformation Invariants. Application to the Automatic Identification of Parasites. - Ruchi Chaudhary, J. Gordon Burleigh, David Fernández-Baca:
Inferring Species Trees from Incongruent Multi-Copy Gene Trees Using the Robinson-Foulds Distance. - George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren:
Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations. - Mikael Gast, Mathias Hauptmann, Marek Karpinski:
Improved Approximation Lower Bounds for Vertex Cover on Power Law Graphs and Some Generalizations. - Hamed Mirghasemi, Aslan Tchamkerten:
On the Capacity of the One-Bit Deletion and Duplication Channel. - Dimiter Dobrev
:
AI in arbitrary world. - Suayb S. Arslan:
Minimum Distortion Variance Concatenated Block Codes for Embedded Source Transmission. - Anne Collard, Silvère Bonnabel, Christophe Phillips, Rodolphe Sepulchre:
An anisotropy preserving metric for DTI processing. - Stefan Seer, Norbert Brändle, Carlo Ratti:
Kinects and Human Kinetics: A New Approach for Studying Crowd Behavior. - Nasrin Jaberi:
An Introduction on Dependency Between Hardware Life Time Components and Dynamic Voltage Scaling. - José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo:
Lightweight compilation of (C)LP to JavaScript. - Tipawan Silwattananusarn
, Kulthida Tuamsuk:
Data Mining and Its Applications for Knowledge Management: A Literature Review from 2007 to 2012. - Constantin Papaodysseus, Dimitris Arabadjis, Mihalis Exarhos, Panayiotis Rousopoulos, Solomon Zannos, Michail Panagopoulos, Lena Papazoglou-Manioudaki:
Efficient Solution to the 3D Problem of Automatic Wall Paintings Reassembly. - Oumair Naseer, Rana Atif Ali Khan:
Online Adaptive Fault Tolerant based Feedback Control Scheduling Algorithm for Multiprocessor Embedded Systems. - Herman Geuvers, Ugo de'Liguoro:
Proceedings Fourth Workshop on Classical Logic and Computation, CL&C 2012, Warwick, England, 8th July 2012. EPTCS 97, 2012 [contents] - Francis J. O'Brien Jr., Nathan Johnnie, Susan Maloney, Aimee Ross:
A Proposed General Method for Parameter Estimation of Noise Corrupted Oscillator Systems. - Venkatesan T. Chakaravarthy, Arindam Pal, Sambuddha Roy, Yogish Sabharwal:
Scheduling Resources for Executing a Partial Set of Jobs. - Mahdieh Ghazvini, Naser Movahhedinia, Kamal Jamshidi:
Carrier Sense Multiple Access Tuning Parameters using Game Theory. - Balachandra Muniyal, K. V. Prema, Mamatha Balachandra:
Comparison of Certificate Policies for Merging Public Key Infrastructures during Merger and Acquisition of Companies. - Chung-Chieh Fang, Eyad H. Abed:
Local Bifurcations in DC-DC Converters. - Neha Rathi, Jyoti Saraswat, Partha Pratim Bhattacharya:
A review on routing protocols for application in wireless sensor networks. - Hiromu Mori, Yoshihiro Matsumito, Shoji Makino, Victor V. Kryssanov, Tomasz M. Rutkowski:
Vibrotactile Stimulus Frequency Optimization for the Haptic BCI Prototype. - Yoshihiro Matsumoto, Nozomu Nishikawa, Takeshi Yamada, Shoji Makino, Tomasz M. Rutkowski:
Auditory Steady-State Response Stimuli based BCI Application - The Optimization of the Stimuli Types and Lengths. - Nozomu Nishikawa, Yoshihiro Matsumoto, Shoji Makino, Tomasz M. Rutkowski:
The Spatial Real and Virtual Sound Stimuli Optimization for the Auditory BCI. - Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger:
Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases. - Anja Korporal, Georg Regensburger, Markus Rosenkranz:
Regular and Singular Boundary Problems in Maple. - Moonjeong Chang, Nozomu Nishikawa, Zhenyu Cai, Shoji Makino, Tomasz M. Rutkowski:
Psychophysical Responses Comparison in Spatial Visual, Audiovisual, and Auditory BCI-Spelling Paradigms. - Mario Goldenbaum, Slawomir Stanczak:
Robust Analog Function Computation via Wireless Multiple-Access Channels. - K. Saravanan, C. Saranya, M. Saranya:
A new application of Multi modal Biometrics in home and office security system. - Philippe Darondeau, Stéphane Demri, Roland Meyer, Christophe Morvan:
Petri Net Reachability Graphs: Decidability Status of First Order Properties. - K. Saravanan, S. Akshaya, R. Pavithra, K. Pushpavalli:
An Effective Fusion Technique of Cloud Computing and Networking Series. - Francesca A. Lisi:
Learning Onto-Relational Rules with Inductive Logic Programming. - Johan Thapper, Stanislav Zivný:
The complexity of finite-valued CSPs. - Gauri Joshi, Yanpei Liu, Emina Soljanin:
Coding for Fast Content Download. - Sanjoy Das
, D. K. Lobiyal:
A Performance Analysis of LAR Protocol for Vehicular Ad Hoc Networks in City Scenarios. - Abbas Nargesi, Mehdi Ghasemi:
Using Orthogonal Channels for Supporting Multicast Service in Multi-channel Wireless Mesh Networks. - Pierre Leone, Elad Michael Schiller:
Self-Stabilizing TDMA Algorithms for Dynamic Wireless Ad-hoc Networks. - Boris S. Tsybakov, Alexandre B. Tsybakov:
On Walsh code assignment. - Miranda Zhang, Rajiv Ranjan, Armin Haller, Dimitrios Georgakopoulos, Peter Strazdins:
Investigating Decision Support Techniques for Automating Cloud Service Selection. - Wan Mohd. Yaakob Wan Bejuri, Mohd Murtadha Mohamad, Maimunah Sapri, Mohd Adly Rosly:
Performance Evaluation of Mobile U-Navigation based on GPS/WLAN Hybridization. - Dong Du:
Contributions to Persistence Theory. - Kwankyu Lee, Maria Bras-Amorós, Michael E. O'Sullivan:
Unique Decoding of General AG Codes. - Han Lai, Rong Peng, Dong Sun, Jia Liu:
A lightweight forum-based distributed requirement elicitation process for open source community. - Federico Aschieri, Margherita Zorzi
:
Interactive Realizability and the elimination of Skolem functions in Peano Arithmetic. 1-18 - Robbert Krebbers:
A call-by-value lambda-calculus with lists and control. 19-33 - Koji Nakazawa, Shin-ya Katsumata
:
Extensional Models of Untyped Lambda-mu Calculus. 35-47 - Thomas Powell
:
Applying Gödel's Dialectica Interpretation to Obtain a Constructive Proof of Higman's Lemma. 49-62 - Bojin Zheng, Hongrun Wu, Jun Qin, Wenhua Du, Jianmin Wang, Deyi Li:
A simple model clarifies the complicated relationships of complex networks. - Joonwoo Bae
:
Distinguishability, Ensemble Steering, and the No-Signaling Principle. 26-32 - Shekoofeh Ghiam, Alireza Nemaney Pour:
A Survey on Web Spam Detection Methods: Taxonomy. - Xiangrui Meng, Michael W. Mahoney:
Low-distortion Subspace Embeddings in Input-sparsity Time and Applications to Robust Linear Regression. - Pardeep Kumar, Nitin, Vivek Kumar Sehgal, Durg Singh Chauhan:
A Benchmark to Select Data Mining Based Classification Algorithms For Business Intelligence And Decision Support Systems. - Krishnendu Chatterjee, Yaron Velner:
Finite-State and Pushdown Games with Multi-dimensional Mean-Payoff Objectives. - S. Nithya Rekha, C. Chandrasekar:
Performance Analysis of Probabilistic Rebroadcasting in Grid FSR for MANET. - Ayatullah Faruk Mollah, Subhadip Basu, Mita Nasipuri:
Computationally Efficient Implementation of Convolution-based Locally Adaptive Binarization Techniques. - Hadassa Daltrophe, Shlomi Dolev, Zvi Lotker:
Data Interpolation: An Efficient Sampling Alternative for Big Data Aggregation. - Vasuki Narasimha Swamy, Srikrishna Bhashyam, Rajesh Sundaresan, Pramod Viswanath:
An asymptotically optimal push-pull method for multicasting over a random network. - Martin Babka, Jan Bulánek, Vladimír Cunát, Michal Koucký, Michael E. Saks:
On Online Labeling with Polynomially Many Labels. - Matthew Crossley, Andy Nisbet, Martyn Amos:
Fitness Landscape-Based Characterisation of Nature-Inspired Algorithms. - Cuneyt Gurcan Akcora, Barbara Carminati, Elena Ferrari:
Risks of Friendships on Social Networks. - Vít Novácek:
Distributional Framework for Emergent Knowledge Acquisition and its Application to Automated Document Annotation. - Mohammad Esmalifalak, Ge Shi, Zhu Han, Lingyang Song:
Bad Data Injection Attack and Defense in Electricity Market using Game Theory Study. - Martin Gebser, Benjamin Kaufmann, Torsten Schaub:
Multi-threaded ASP Solving with clasp. - Marco Pellegrini, Filippo Geraci, Miriam Baglioni:
Detecting dense communities in large social and information networks with the Core & Peel algorithm. - Jarek Nabrzyski, Krzysztof Kurowski, Daniel S. Katz, André Merzky
:
Grid Computing: The Next Decade -- Report and Summary. - Arnaud Casteigts, Paola Flocchini, Bernard Mans, Nicola Santoro:
A Strict Hierarchy of Dynamic Graphs for Shortest, Fastest, and Foremost Broadcast. - Pradeep Chathuranga Weeraddana, George Athanasiou, Martin Jakobsson, Carlo Fischione, John S. Barras:
Per-se Privacy Preserving Distributed Optimization. - Yasaman Keshtkarjahromi, Rashid Ansari, Ashfaq A. Khokhar:
Energy Efficient Decentralized Detection. - Saeid Pashazadeh, Maryam Pashazadeh:
Modelling an Automatic Proof Generator for Functional Dependency Rules Using Colored Petri Net. - Juan-Manuel Torres-Moreno:
Artex is AnotheR TEXt summarizer. - Shaun N. Joseph, Lisa Cingiser DiPippo:
Pseudo-scheduling: A New Approach to the Broadcast Scheduling Problem. - Keyvan Mohebbi
, Suhaimi Ibrahim, Norbik Bashah Idris:
Contemporary Semantic Web Service Frameworks: An Overview and Comparisons. - Johannes Ebbing, Juha Kontinen
, Julian-Steffen Müller, Heribert Vollmer
:
A Fragment of Dependence Logic Capturing Polynomial Time. - Hervé Fournier, Anas Ismail, Antoine Vigneron
:
Computing the Gromov hyperbolicity of a discrete metric space. - Andrei A. Bulatov, Amir Hedayaty:
Galois correspondence for counting quantifiers. - Virginia Estellers, Jean-Philippe Thiran, Xavier Bresson:
Enhanced Compressed Sensing Recovery with Level Set Normals. - Annette Bieniusa, Marek Zawirski, Nuno M. Preguiça, Marc Shapiro, Carlos Baquero, Valter Balegas, Sérgio Duarte:
An optimized conflict-free replicated set. - Magnús M. Halldórsson, Stephan Holzer, Pradipta Mitra, Roger Wattenhofer:
The Power of Non-Uniform Wireless Power. - Ezzeddine Benaissa, Abdellatif BenAbdelhafid, Mounir Benaissa:
An Agent-based framework for cooperation in Supply Chain. - Wei Jiao, Shankar Vembu, Amit G. Deshwar, Lincoln Stein, Quaid Morris:
Modeling the Clonal Evolution of Cancer from Next Generation Sequencing Data. - Armin Eftekhari, Han Lun Yap, Christopher J. Rozell, Michael B. Wakin:
The Restricted Isometry Property for Random Block Diagonal Matrices. - Stéfan van der Walt, Ben M. Herbst:
A polygon-based interpolation operator for super-resolution imaging. - Bin Zhang, Andrew C. Thomas, Patrick Doreian, David Krackhardt, Ramayya Krishnan:
Contrasting Multiple Social Network Autocorrelations for Binary Outcomes, With Applications To Technology Adoption. - Cheuk Ting Li:
On Multi-rate Sequential Data Transmission. - R. Kaniezhil, C. Chandrasekar:
Multiple Service providers sharing Spectrum using Cognitive Radio in Wireless Communication Networks. - R. Kaniezhil, C. Chandrasekar:
Comparing Spectrum Utilization using Fuzzy Logic System for Heterogeneous Wireless Networks via Cognitive Radio. - Vaibhav Srivastava, Fabio Pasqualetti, Francesco Bullo:
Stochastic Surveillance Strategies for Spatial Quickest Detection. - Adela Barriuso, Antonio Torralba:
Notes on image annotation. - G. R. Jithamithra, B. Sundar Rajan:
Construction of Block Orthogonal STBCs and Reducing Their Sphere Decoding Complexity. - Joydeep Basu, Tarun Kanti Bhattacharyya:
Microelectromechanical system cantilever-based frequency doublers. - Ali Soltani Tehrani, Hossein Mashad Nemati, Haiying Cao, Thomas Eriksson, Christian Fager:
Varactor-Based Dynamic Load Modulation of High Power Amplifiers. - Zhi Chen, Teng Joon Lim, Mehul Motani:
Digital Network Coding Aided Two-way Relaying: Energy Minimization and Queue Analysis. - Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Jean-François Raskin:
Synthesis from LTL Specifications with Mean-Payoff Objectives. - Thomas Brihaye, Julie De Pril, Sven Schewe:
Multiplayer Cost Games with Simple Nash Equilibria. - Magnus Skjegstad, Brage Ellingsæter, Torleiv Maseng, Jon Crowcroft:
Large-Scale Peer-to-Peer Discovery Mechanism and Architecture for Frequency Allocation. - Yang Cai, Zhiyi Huang:
Simple and Nearly Optimal Multi-Item Auctions. - Zhao Wang, Ming Xiao, Chao Wang, Mikael Skoglund:
Degrees of Freedom of Multi-hop MIMO Broadcast Networks with Delayed CSIT. - Sohrob Kazerounian, Matthew D. Luciw, Mathis Richter, Yulia Sandamirskaya:
Autonomous Reinforcement of Behavioral Sequences in Neural Dynamics. - Rodrigo Cabral Farias, Jean-Marc Brossier:
Adaptive Quantizers for Estimation. - Bo Zong, Yinghui Wu, Ambuj K. Singh, Xifeng Yan:
Inferring the Underlying Structure of Information Cascades. - Ondrej Bílka:
Pattern matching in compilers. - Marton Trencseni, István Csabai:
Plane-Sweep Incremental Algorithm: Computing Delaunay Tessellations of Large Datasets. - François Pellegrini
, Sébastien Canevet:
Le droit du numérique : une histoire à préserver. - Jaume Barceló, Núria Garcia, Azadeh Faridi, Simon Oechsner, Boris Bellalta:
Modelling a Decentralized Constraint Satisfaction Solver for Collision-Free Channel Access. - Vincent Padovani:
Decidability of All Minimal Models (Revised Version - 2012). - Mahdi Bakhshi, Mohsen Hashemi:
User-Centric Optimization for Constraint Web Service Composition using a Fuzzy-guided Genetic Algorithm System. - Wei Jiang, Junhua Tang, Bhaskar Krishnamachari:
Optimal Power Allocation Policy over Two Identical Gilbert-Elliott Channels. - Robert Wahlstedt:
Quick Summary. - A. Al-Neaimi, S. Qatawneh, Nedhal Al Saiyd:
Conducting Verification And Validation Of Multi-Agent Systems. - Murphy Choy, Michelle L. F. Cheong:
A Flexible Mixed Integer Programming framework for Nurse Scheduling. - Onur Ozan Koyluoglu, Ankit Singh Rawat, Sriram Vishwanath:
Secure Cooperative Regenerating Codes for Distributed Storage Systems. - Matthew C. Valenti, Don J. Torrieri, Salvatore Talarico:
A New Analysis of the DS-CDMA Cellular Downlink Under Spatial Constraints. - Daniel Karapetyan, Abraham P. Punnen:
Heuristic algorithms for the bipartite unconstrained 0-1 quadratic programming problem. - Tarun Kumar Juluru, Anitha Sheela Kankacharla:
Estimation and compensation of inter carrier interference in wimax physical layer under various channel models. - Mariano Tepper, Pablo Musé, Andrés Almansa:
On the Role of Contrast and Regularity in Perceptual Boundary Saliency. - Divya Gupta, Amit Sahai:
On Constant-Round Concurrent Zero-Knowledge from a Knowledge Assumption. - Tanmoy Chakraborty, Sivaji Bandyopadhyay:
Inference of Fine-grained Attributes of Bengali Corpus for Stylometry Detection. - Kishore Kothapalli, Sriram V. Pemmaraju, Vivek Sardeshmukh:
On the Analysis of a Label Propagation Algorithm for Community Detection. - Basem Y. Alkazemi:
A Conceptual Framework to Analyze Enterprise Business Solutions from a Software Architecture Perspective. - Basem Y. Alkazemi:
On verification of software components. - Panagiotis Manolios, Vasilis Papavasileiou:
ILP Modulo Theories. - Sudheer Vakati, David Fernández-Baca:
On Two Graph-Theoretic Characterizations of Tree Compatibility. - Shih-Jung Wu, Shih-Yi Huang, Kuo-Feng Huang:
Adaptive Priority-Based Downlink Scheduling for WiMAX Networks. - Ranjan Bala Jain, Mahima Mehta, Abhay Karandikar:
Analysis of Blocking Probability in a Relay-based Cellular OFDMA Network. - Ibrahim Missaoui, Zied Lachiri:
Blind speech separation based on undecimated wavelet packet-perceptual filterbanks and independent component analysis. - Lorenzo Ntogramatzidis, Roberto Zanasi, Stefania Cuoghi:
A Unified Analytical Design Method of Standard Controllers using Inversion Formulae. - Abhinav Ganesan, B. Sundar Rajan:
On Precoding for Constant K-User MIMO Gaussian Interference Channel with Finite Constellation Inputs. - Idan Ram, Michael Elad, Israel Cohen:
Image Processing using Smooth Ordering of its Patches. - Md. Shafiul Alam, Asish Mukhopadhyay:
Improved upper and lower bounds for the point placement problem. - YuLong Zou, Jia Zhu, Rui Zhang:
Exploiting Network Cooperation in Green Wireless Communication. - Annu John, Igor Konnov
, Ulrich Schmid, Helmut Veith, Josef Widder:
Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms. - Annu John, Igor Konnov
, Ulrich Schmid, Helmut Veith, Josef Widder:
Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms. - Peiran Wu, Robert Schober, Vijay K. Bhargava:
Transceiver Design For SC-FDE Based MIMO Relay Systems. - Fethi Fkih, Kais Haddar:
Application of classical compilation techniques for syntactic and semantic analysis of specification written in Object Z. - Chien-Liang Chen, Chao-Lin Liu, Yuan-Chen Chang, Hsiang-Ping Tsai:
Opinion Mining for Relating Subjective Expressions and Annual Earnings in US Financial Statements. - (Withdrawn) Traffic-Aware Relay Sleep Control to Improve Energy Efficiency in Joint Macro-Relay Networks.
- Xi Xu, Rashid Ansari, Ashfaq A. Khokhar:
Power-efficient Hierarchical Data Aggregation using Compressive Sensing in WSN. - Andrew Winslow:
Inapproximability of the Smallest Superpolyomino Problem. - Hosung Park, Seokbeom Hong, Jong-Seon No, Dong-Joon Shin:
Design of Multiple-Edge Protographs for QC LDPC Codes Avoiding Short Inevitable Cycles. - Julian J. McAuley, Jure Leskovec, Dan Jurafsky:
Learning Attitudes and Attributes from Multi-Aspect Reviews. - Agostino Dovier, Vítor Santos Costa:
Introduction to the 28th International Conference on Logic Programming Special Issue. - Rodolfo Baggio, Giacomo Del Chiappa:
Tourism destinations as digital business ecosystems. - Fabio Daolio, Sébastien Vérel, Gabriela Ochoa, Marco Tomassini:
Local optima networks and the performance of iterated local search. - Srishti Shukla, B. Sundar Rajan:
Wireless Network-Coded Four-Way Relaying Using Latin Hyper-Cubes. - Jason Crampton, Robert Crowston, Gregory Z. Gutin, Mark Jones, M. S. Ramanujan:
Fixed-Parameter Tractability of Workflow Satisfiability in the Presence of Seniority Constraints. - Maayan Harel, Shie Mannor:
The Perturbed Variation. - Xin Liu, Tsuyoshi Murata, Ken Wakita:
Extending modularity by incorporating distance functions in the null model. - Augusto Dias Pereira dos Santos, Leandro Krug Wives, Luis Otávio Alvares:
Location-Based Events Detection on Micro-Blogs. - Laurent Fournier:
Économie des biens immatériels - Economics of Intangible Goods. - Francisco Chicano, Fabio Daolio, Gabriela Ochoa, Sébastien Vérel, Marco Tomassini, Enrique Alba:
Local Optima Networks, Landscape Autocorrelation and Heuristic Search Performance. - Avinatan Hassidim, Haim Kaplan, Omry Tuval:
Joint Cache Partition and Job Assignment on Multi-Core Processors. - Bogdan Savchynskyy, Stefan Schmidt:
Getting Feasible Variable Estimates From Infeasible Ones: MRF Local Polytope Study. - Deepak Ponvel Chermakani:
NP-Completeness of deciding the feasibility of Linear Equations over binary-variables with coefficients and constants that are 0, 1, or -1. - Vladimir Lifschitz, Karl Pichotta, Fangkai Yang:
Relational Theories with Null Values and Non-Herbrand Stable Models. - Sacha Sokoloski:
A Biologically Realistic Model of Saccadic Eye Control with Probabilistic Population Codes. - Sotirios P. Chatzis, Dimitrios Korkinof, Yiannis Demiris:
The Kernel Pitman-Yor Process. - Wei Lu, Laks V. S. Lakshmanan:
Profit Maximization over Social Networks. - Alban Grastien:
An example illustrating the imprecision of the efficient approach for diagnosis of Petri nets via integer linear programming. - Ioannis Poulakakis, Luca Scardovi, Naomi Ehrich Leonard:
Node Classification in Networks of Stochastic Evidence Accumulators. - Bappi Barua, Mehran Abolhasan, Daniel Robert Franklin
, Farzad Safaei:
Outage Probability Analysis of Dual Hop Relay Networks in Presence of Interference. - Nicholas D. Larusso, Brian E. Ruttenberg, Ambuj K. Singh:
A Latent Parameter Node-Centric Model for Spatial Networks. - Jun-Young Woo, Hyun-Seung Joo, Kee-Hoon Kim, Jong-Seon No, Dong-Joon Shin:
Deterministic Selection of Phase Sequences in Low Complexity SLM Scheme. - Heru Suhartanto, Arry Yanuar, Ari Wibisono:
Performance Analysis Cluster and GPU Computing Environment on Molecular Dynamic Simulation of BRV-1 and REM2 with GROMACS. - Matthieu Boutier, Gabriel Kerneis:
Generating events with style. - Christian Schou Oxvig, Patrick Steffen Pedersen, Thomas Arildsen, Torben Larsen:
Improving Smoothed l0 Norm in Compressive Sensing Using Adaptive Parameter Selection. - Pierre Ganty, Radu Iosif, Filip Konecný:
Underapproximation of Procedure Summaries for Integer Programs. - Jun Fang, Yanning Shen, Hongbin Li:
A Fast Iterative Algorithm for Recovery of Sparse Signals from One-Bit Quantized Measurements. - Ángel M. Bravo-Santos, Petar M. Djuric:
Communications with decode-and-forward relays in mesh networks. - Ruchir Gupta, Yatindra Nath Singh:
Trust Estimation and Aggregation in Peer-to-Peer Network Using Differential Gossip Algorithm. - (Withdrawn) A quantum algorithm for solving the 3-SAT problem.
- Vincent Boussemart, Loris Marini, Matteo Berioli:
Impact of Scheduling in the Return-Link of Multi-Beam Satellite MIMO Systems. - George B. Mertzios:
The Recognition of Simple-Triangle Graphs and of Linear-Interval Orders is Easy. - Themistoklis Charalambous, Christoforos N. Hadjicostis:
Distributed Formation of Balanced and Bistochastic Weighted Diagraphs in Multi-Agent Systems. - Loet Leydesdorff, Øivind Strand:
The Swedish System of Innovation: Regional Synergies in a Knowledge-Based Economy. - Hywel B. Carver, Derek Groen, James Hetherington, Rupert W. Nash, Miguel O. Bernabeu, Peter V. Coveney:
Coalesced communication: a design pattern for complex parallel scientific software. - Hong Sun, Kristof Depraetere, Jos De Roo, Boris De Vloed, Giovanni Mels, Dirk Colaert:
Semantic integration and analysis of clinical data. - Marius Zimand:
On efficient constructions of short lists containing mostly Ramsey graphs. - Giovanni Marro:
A Direct Proof of a Theorem Concerning Singular Hamiltonian Systems. - Eyjolfur Ingi Asgeirsson, Magnús M. Halldórsson, Pradipta Mitra:
Wireless Network Stability in the SINR Model. - Johannes Lindblom, Eleftherios Karipidis, Erik G. Larsson:
Efficient Computation of Pareto Optimal Beamforming Vectors for the MISO Interference Channel with Multiuser Decoding. - Yingzhen Yang, Xinqi Chu, Tian-Tsong Ng, Alex Yong Sang Chia, Shuicheng Yan, Thomas S. Huang:
Epitome for Automatic Image Colorization. - Remi A. Chou, Matthieu R. Bloch:
Separation of Reliability and Secrecy in Rate-Limited Secret Key-Distillation. - Camelia-Mihaela Pintea, Cristian Pascan, Mara Hajdu-Macelaru:
Comparing several heuristics for a packing problem. - Alberto Gil C. P. Ramos, Miguel R. D. Rodrigues:
Coherent Fading Channels Driven by Arbitrary Inputs: Asymptotic Characterization of the Constrained Capacity and Related Information- and Estimation-Theoretic Quantities. - Zhenliang Zhang, Edwin K. P. Chong, Ali Pezeshki, William Moran, Stephen D. Howard:
Submodularity and Optimality of Fusion Rules in Balanced Binary Relay Trees. - Konstantinos Pelechrinis, Prashant Krishnamurthy, Ke Zhang
:
Gaming the Game: Honeypot Venues Against Cheaters in Location-based Social Networks. - Samson Abramsky, Viktor Winschel:
Coalgebraic Analysis of Subgame-perfect Equilibria in Infinite Games without Discounting. - Michael Baudin, Robert L. Smith:
A Robust Complex Division in Scilab. - David Bamman, Jacob Eisenstein, Tyler Schnoebelen:
Gender in Twitter: Styles, stances, and social networks. - Vijay V. Vazirani:
An Improved Definition of Blossoms and a Simpler Proof of the MV Matching Algorithm. - Bernd Bandemer, Abbas El Gamal, Young-Han Kim:
Simultaneous Nonunique Decoding Is Rate-Optimal. - Chunhua Shen, Sakrapee Paisitkriangkrai, Anton van den Hengel:
A Direct Approach to Multi-class Boosting and Extensions. - Subhash C. Kak:
Random Sequences Based on the Divisor Pairs Function. - Alexandre Maurer, Sébastien Tixeuil:
A Scalable Byzantine Grid. - Yashpal Singh, Kapil Gulati, S. Niranjan:
Dimensions and issues of mobile agent technology. - Hamidou Tembine, Raúl Tempone, Pedro Vilanova:
Mean-Field Learning: a Survey. - José N. Oliveira:
Functions as types or the "Hoare logic" of functional dependencies. - A. A. Karawia:
A New Recursive Algorithm For Inverting A General Comrade Matrix. - A PRQ Search Method for Probabilistic Objects (Probabilistic Range Query over Uncertain Moving Objects in Constrained 2D Space).
- Guillaume Aupy, Anne Benoit:
Approximation algorithms for energy, reliability and makespan optimization problems. - Stephan Arlt, Evren Ermis, Sergio Feo-Arenis, Andreas Podelski:
Black-Box Verification for GUI Applications. - Nikzad Babaii Rizvandi, Albert Y. Zomaya:
A Primarily Survey on Energy Efficiency in Cloud and Distributed Computing Systems. - László A. Végh, Bernhard von Stengel:
Oriented Euler Complexes and Signed Perfect Matchings. - Narayana P. Santhanam, Dharmendra S. Modha:
Optimal Lempel-Ziv based lossy compression for memoryless data: how to make the right mistakes. - Zeev Nutov:
A unified approach to source location via rooted network augmentation. - Tor Helleseth, Alexander Kholosha, Sihem Mesnager:
Niho Bent Functions and Subiaco/Adelaide Hyperovals. - Yuan Liu, Meixia Tao, Jianwei Huang:
An Auction Approach to Distributed Power Allocation for Multiuser Cooperative Networks. - Aliaksei Sandryhaila, José M. F. Moura:
Discrete Signal Processing on Graphs. - Christoforos N. Hadjicostis, Themistoklis Charalambous:
Average Consensus in the Presence of Delays and Dynamically Changing Directed Graph Topologies. - Hongfei Fu:
Approximating Acceptance Probabilities of CTMC-Paths on Multi-Clock Deterministic Timed Automata. - Roger Andrew Sauer, Thang X. Duong, Callum J. Corbett:
A computational formulation for constrained solid and liquid membranes considering isogeometric finite elements. - S. Ali A. Fakoorian, A. Lee Swindlehurst:
Full Rank Solutions for the MIMO Gaussian Wiretap Channel with an Average Power Constraint. - Christopher J. Lee, Marc Harper:
Basic Experiment Planning via Information Metrics: the RoboMendel Problem. - Jakub Lacki, Yahav Nussbaum, Piotr Sankowski, Christian Wulff-Nilsen:
Single Source - All Sinks Max Flows in Planar Digraphs. - (Withdrawn) Whole Genome Sequencing: Innovation Dream or Privacy Nightmare?
- Shay Kutten, Gopal Pandurangan, David Peleg, Peter Robinson, Amitabh Trehan:
Sublinear Bounds for Randomized Leader Election. - Xingyu Xiang, Matthew C. Valenti:
Closing the Gap to the Capacity of APSK: Constellation Shaping and Degree Distributions. - Yiling Chen, Mike Ruberry, Jennifer Wortman Vaughan:
Designing Informative Securities. - Hau Chan, Michael Ceyko, Luis E. Ortiz:
Interdependent Defense Games: Modeling Interdependent Security under Deliberate Attacks. - Stéphane Caron, Branislav Kveton, Marc Lelarge, Smriti Bhagat:
Leveraging Side Observations in Stochastic Bandits. - Guy Van den Broeck, Arthur Choi, Adnan Darwiche:
Lifted Relax, Compensate and then Recover: From Approximate to Exact Lifted Probabilistic Inference. - Dhruv Batra:
An Efficient Message-Passing Algorithm for the M-Best MAP Problem. - Elias Bareinboim, Judea Pearl:
Causal Inference by Surrogate Experiments: z-Identifiability. - Raman Arora, Ofer Dekel, Ambuj Tewari:
Deterministic MDPs with Adversarial Rewards and Bandit Feedback. - Udi Apsel, Ronen I. Brafman:
Exploiting Uniform Assignments in First-Order MPE. - Saeed Amizadeh, Bo Thiesson, Milos Hauskrecht:
Variational Dual-Tree Framework for Large-Scale Transition Matrix Approximation. - Kareem Amin, Michael J. Kearns, Peter B. Key, Anton Schwaighofer:
Budget Optimization for Sponsored Search: Censored Learning in MDPs. - Asrar Ahmed, Pradeep Varakantham, Shih-Fen Cheng:
Uncertain Congestion Games with Assorted Human Agent Populations. - Lucas Agussurja, Hoong Chuin Lau:
Toward Large-Scale Agent Guidance in an Urban Taxi Service. - Raja Hafiz Affandi, Alex Kulesza, Emily B. Fox:
Markov Determinantal Point Processes. - Sreangsu Acharyya, Oluwasanmi Koyejo, Joydeep Ghosh:
Learning to Rank With Bregman Divergences and Monotone Retargeting. - Judea Pearl:
The Do-Calculus Revisited. - Joseph Y. Halpern, Samantha Leung:
Weighted Sets of Probabilities .and MinimaxWeighted Expected Regret: New Approaches for Representing Uncertainty and Making Decisions. - Hannaneh Hajishirzi, Mohammad Rastegari, Ali Farhadi, Jessica K. Hodgins:
Semantic Understanding of Professional Soccer Commentaries. - Sunil Kumar Gupta, Dinh Q. Phung, Svetha Venkatesh:
A Slice Sampler for Restricted Hierarchical Beta Process with Applications to Shared Subspace Learning. - Roger B. Grosse, Ruslan Salakhutdinov, William T. Freeman, Joshua B. Tenenbaum:
Exploiting compositionality to explore a large space of model structures. - Andrew Gelfand, Max Welling:
Generalized Belief Propagation on Tree Robust Structured Region Graphs. - Nicola Gatti, Giorgio Patrini, Marco Rocco, Tuomas Sandholm:
Combining local search techniques and path following for bimatrix games. - Dinesh Garg, Sourangshu Bhattacharya, S. Sundararajan, Shirish K. Shevade:
Mechanism Design for Cost Optimal PAC Learning in the Presence of Strategic Noisy Annotators. - Antonino Freno, Mikaela Keller, Gemma C. Garriga, Marc Tommasi:
Spectral Estimation of Conditional Random Graph Models for Large-Scale Network Data. - Stefano Ermon, Carla P. Gomes, Bart Selman:
Uniform Solution Sampling Using a Constraint Solver As an Oracle. - Miroslav Dudík, Dumitru Erhan, John Langford, Lihong Li:
Sample-efficient Nonstationary Policy Evaluation for Contextual Bandits. - Séverine Dubuisson, Christophe Gonzales, Xuan Son Nguyen:
DBN-Based Combinatorial Resampling for Articulated Object Tracking. - Wen Dong, Alex Pentland, Katherine A. Heller:
Graph-Coupled HMMs for Modeling the Spread of Infection. - Jilles Steeve Dibangoye, Christopher Amato, Arnaud Doniec:
Scaling Up Decentralized MDPs Through Heuristic Search. - Tom Claassen, Tom Heskes:
A Bayesian Approach to Constraint Based Causal Inference. - Jaesik Choi, Eyal Amir:
Lifted Relational Variational Inference. - Guang Ling, Haiqin Yang, Michael R. Lyu, Irwin King:
Response Aware Model-Based Collaborative Filtering. - Christopher H. Lin, Mausam, Daniel S. Weld:
Crowdsourcing Control: Moving Beyond Multiple Choice. - Hui Lin, Jeff A. Bilmes:
Learning Mixtures of Submodular Shells with Application to Document Summarization. - Lingbo Li, XianXing Zhang, Mingyuan Zhou, Lawrence Carin:
Nested Dictionary Learning for Hierarchical Organization of Imagery and Text. - Joshua Letchford, Yevgeniy Vorobeychik:
Computing Optimal Security Strategies for Interdependent Assets. - Hoong Chuin Lau, William Yeoh, Pradeep Varakantham, Duc Thien Nguyen, HuaXing Chen:
Dynamic Stochastic Orienteering Problems for Risk-Aware Applications. - Andrey Kolobov, Mausam, Daniel S. Weld:
A Theory of Goal-Oriented MDPs with Dead Ends. - Kshitij Judah, Alan Fern, Thomas G. Dietterich:
Active Imitation Learning via Reduction to I.I.D. Active Learning. - Sashank Jakkam Reddi, Emma Brunskill:
Incentive Decision Processes. - Alexander Ihler, Natalia Flerova, Rina Dechter, Lars Otten:
Join-graph based cost-shifting schemes. - Jesse Hostetler, Ethan W. Dereszynski, Thomas G. Dietterich, Alan Fern:
Inferring Strategies from Limited Reconnaissance in Real-time Strategy Games. - Tamir Hazan, Jian Peng, Amnon Shashua:
Tightening Fractional Covering Upper Bounds on the Partition Function for High-Order Region Graphs. - Ariel D. Procaccia, Sashank Jakkam Reddi, Nisarg Shah:
A Maximum Likelihood Approach For Selecting Sets of Alternatives. - Leonard K. M. Poon, April H. Liu, Tengfei Liu, Nevin Lianwen Zhang:
A Model-Based Approach to Rounding in Spectral Clustering. - Ankur P. Parikh, Le Song, Mariya Ishteva, Gabi Teodoru, Eric P. Xing:
A Spectral Algorithm for Latent Junction Trees. - Lars Otten, Rina Dechter:
A Case Study in Complexity Estimation: Towards Parallel Branch-and-Bound over Graphical Models. - Frans A. Oliehoek, Shimon Whiteson, Matthijs T. J. Spaan:
Exploiting Structure in Cooperative Bayesian Games. - Yu Nishiyama, Abdeslam Boularias, Arthur Gretton, Kenji Fukumizu:
Hilbert Space Embeddings of POMDPs. - Teppo Niinimaki, Pekka Parviainen:
Local Structure Discovery in Bayesian Networks. - Kira Mourão, Luke Zettlemoyer, Ronald P. A. Petrick, Mark Steedman:
Learning STRIPS Operators from Noisy and Incomplete Observations. - Denis Deratani Mauá, Cassio Polpo de Campos, Marco Zaffalon:
The Complexity of Approximately Solving Influence Diagrams. - Sergiy Matusevych, Alexander J. Smola, Amr Ahmed:
Hokusai - Sketching Streams in Real Time. - Marwan A. Mattar, Allen R. Hanson, Erik G. Learned-Miller:
Unsupervised Joint Alignment and Clustering using Bayesian Nonparametrics. - Sridhar Mahadevan, Bo Liu:
Sparse Q-learning with Mirror Descent. - Thomas Lukasiewicz, Maria Vanina Martinez, Giorgio Orsi, Gerardo I. Simari:
Heuristic Ranking in Tightly Coupled Probabilistic Description Logics. - Tyler Lu, Pingzhong Tang, Ariel D. Procaccia, Craig Boutilier:
Bayesian Vote Manipulation: Optimal Strategies and Impact on Welfare. - Daniel Lowd:
Closed-Form Learning of Markov Networks from Dependency Networks. - Qiang Liu, Alexander Ihler:
Belief Propagation for Structured Decision Making. - Gavin Taylor, Ronald Parr:
Value Function Approximation in Noisy Environments Using Locally Smoothed Regularized Approximate Linear Programs. - Daniel Tarlow, Kevin Swersky, Richard S. Zemel, Ryan Prescott Adams, Brendan J. Frey:
Fast Exact Inference for Recursive Cardinality Models. - Wei Sun, Robin Hanson, Kathryn Blackmond Laskey, Charles Twardy:
Probability and Asset Updating using Bayesian Networks for Combinatorial Prediction Markets. - David A. Sontag, Do Kook Choe, Yitao Li:
Efficiently Searching for Frustrated Cycles in MAP Inference. - Ajit P. Singh, John T. Halloran, Jeff A. Bilmes, Katrin Kirchhoff, William Stafford Noble:
Spectrum Identification using a Dynamic Bayesian Network Model of Tandem Mass Spectra. - Bogdan Savchynskyy, Stefan Schmidt, Jörg Hendrik Kappes, Christoph Schnörr:
Efficient MRF Energy Minimization via Adaptive Diminishing Smoothing. - Giuseppe Sanfilippo:
From imprecise probability assessments to conditional probabilities with quasi additive classes of conditioning events. - Jens Röder, Boaz Nadler, Kevin Kunzmann, Fred A. Hamprecht:
Active Learning with Distributional Estimates. - Khaled S. Refaat, Arthur Choi, Adnan Darwiche:
New Advances and Theoretical Insights into EDML. - Radu Marinescu, Abdul Razak, Nic Wilson:
Multi-objective Influence Diagrams. - Zongzhang Zhang, Xiaoping Chen:
FHHOP: A Factored Hybrid Heuristic Online Planning Algorithm for Large POMDPs. - Changhe Yuan, Brandon M. Malone:
An Improved Admissible Heuristic for Learning Optimal Bayesian Networks. - Jason Weston, John Blitzer:
Latent Structured Ranking. - Michael P. Wellman, Eric Sodomka, Amy Greenwald:
Self-Confirming Price Prediction Strategies for Simultaneous One-Shot Auctions. - Max Welling, Andrew E. Gelfand, Alexander Ihler:
A Cluster-Cumulant Expansion at the Fixed Points of Belief Propagation. - Jun Wang, Yinglong Xia:
Fast Graph Construction Using Auction Algorithm. - Thomas J. Walsh, Sergiu Goschin:
Dynamic Teaching in Sequential Decision Making Environments. - Mirwaes Wahabzada, Kristian Kersting, Christian Bauckhage, Christoph Römer, Agim Ballvora, Francisco Pinto, Uwe Rascher, Jens Leon, Lutz Ploemer:
Latent Dirichlet Allocation Uncovers Spectral Characteristics of Drought Stressed Plants. - Seppo Virtanen, Yangqing Jia, Arto Klami, Trevor Darrell:
Factorized Multi-Modal Topic Model. - Andrew Arnold:
A new in-place truncated Fourier transform algorithm. - Sliman Arrag, Abdellatif Hamdoun, Abderrahim Tragha, Salah eddine Khamlich:
Several AES Variants under VHDL language In FPGA. - Mikolaj Bojanczyk, Slawomir Lasota:
Minimization of semilinear automata. - David Garlan, Vishal Dwivedi, Ivan Ruchkin, Bradley R. Schmerl:
Foundations and Tools for End-User Architecting. - Sérgio Medeiros, Fabio Mascarenhas, Roberto Ierusalimschy:
From Regexes to Parsing Expression Grammars. - Sha Hua, Xuejun Zhuo, Shivendra S. Panwar:
A Truthful Auction based Incentive Framework for Femtocell Access. - Venkatesan N. Ekambaram, Giulia Fanti, Kannan Ramchandran:
Semi-Definite Programming Relaxation for Non-Line-of-Sight Localization. - Pierre Machart, Sandrine Anthoine, Luca Baldassarre:
Optimal Computational Trade-Off of Inexact Proximal Methods. - Thomas Maugey, Ismaël Daribo, Gene Cheung, Pascal Frossard:
Navigation domain partitioning for interactive multiview imaging. - Jean-Louis Krivine:
Realizability algebras III: some examples. - Wajeb Gharibi:
An Improved Lower Bound of The Spark With Application. - Yousun Ko, Minyoung Jung, Yo-Sub Han, Bernd Burgstaller:
A Speculative Parallel DFA Membership Test for Multicore, SIMD and Cloud Computing Environments. - Harald Burchardt, Sinan Sinanovic, Zubin Bharucha, Harald Haas:
Distributed and Autonomous Resource and Power Allocation for Wireless Networks. - Matthew Butler, Dimitar Kazakov:
Creating a level playing field for all symbols in a discretization. - Yu Wang, Weikang Qian, Shuchang Zhang, Bo Yuan:
A Novel Learning Algorithm for Bayesian Network and Its Efficient Implementation on GPU. - Yang Lu, Mengying Wang, Menglu Li, Qili Zhu, Bo Yuan:
LSBN: A Large-Scale Bayesian Structure Learning Framework for Model Averaging. - Hui Zhou, Donglin Hu, Shiwen Mao, Prathima Agrawal, Saketh Anuma Reddy:
Cell Association and Handover Management in Femtocell Networks. - Piotr Bródka, Przemyslaw Kazienko, Bartosz Koloszczyk:
Predicting Group Evolution in the Social Network. - Stanislaw Saganowski, Piotr Bródka, Przemyslaw Kazienko:
Influence of the Dynamic Social Network Timeframe Type and Size on the Group Evolution Discovery. - Bogdan Gliwa, Stanislaw Saganowski, Anna Zygmunt, Piotr Bródka, Przemyslaw Kazienko, Jaroslaw Kozlak:
Identification of Group Changes in Blogosphere. - Piotr Bródka, Pawel Stawiak, Przemyslaw Kazienko:
Shortest Path Discovery in the Multi-layered Social Network. - Stefano Rosati, Stefano Tomasin, Matteo Butussi, Bixio Rimoldi:
LLR Compression for BICM Systems Using Large Constellations. - Piotr Bródka, Krzysztof Skibicki, Przemyslaw Kazienko, Katarzyna Musial:
A degree centrality in multi-layered social network. - Shachar Shayovitz, Dan Raphaeli:
Multiple Hypotheses Iterative Decoding of LDPC in the Presence of Strong Phase Noise. - Brage Ellingsæter, Torleiv Maseng:
The Domino Effect in Decentralized Wireless Networks. - Joseph Babb, Joohyung Lee:
Module Theorem for The General Theory of Stable Models. - Jose Texier, Marisa R. De Giusti, Nestor Oviedo, Gonzalo L. Villarreal, Ariel Jorge Lira:
Use of Repositories and its Significance for Engineering Education / El Uso de Repositorios y su Importancia para la Educación en Ingeniería. - Gary L. Miller, Richard Peng:
Approximate Maximum Flow on Separable Undirected Graphs. - Piotr Bródka, Stanislaw Saganowski, Przemyslaw Kazienko:
Tracking Group Evolution in Social Networks. - Colin A. Kerr:
Hands-Off Spreadsheets. - Jacob Eisenstein, Brendan O'Connor, Noah A. Smith, Eric P. Xing:
Mapping the geographical diffusion of new words. - Amit Sahai, Brent Waters:
Attribute-Based Encryption for Circuits from Multilinear Maps. - Nurcan Durak, Tamara G. Kolda, Ali Pinar, C. Seshadhri:
A scalable directed graph model with reciprocal edges. - K. B. Nakshatrala, Maruti Kumar Mudunuru, Albert J. Valocchi:
A numerical framework for diffusion-controlled bimolecular-reactive systems to enforce maximum principles and non-negative constraint. - (Withdrawn) Low-Complexity Demodulation for Interleaved OFDMA Downlink System Using Circular Convolution.
- Muhammad Nazmul Islam, Raviraj Adve:
Adaptive Differential Feedback in Time-Varying Multiuser MIMO Channels. - Gregory J. Duck:
SMCHR: Satisfiability Modulo Constraint Handling Rules. - Renu Jose, K. V. S. Hari:
Maximum Likelihood Algorithms for Joint Estimation of Synchronization Impairments and Channel in MIMO-OFDM System. - Koji Ohnishi:
The origin of Mayan languages from Formosan language group of Austronesian. - Zhiqiang Xu:
The performance of orthogonal multi-matching pursuit under RIP. - Rahul Sinha, Sonika Arora:
Design & Simulation of 128x Interpolator Filter. - Michal Pilipczuk:
Computing cutwidth and pathwidth of semi-complete digraphs via degree orderings. - Sabri Mtibaa, Moncef Tagina:
Timing Constraints Support on Petri-Net Model for Healthcare System Design. - Romain Guillaume, Przemyslaw Kobylanski, Pawel Zielinski:
A Robust Lot Sizing Problem with Ill-known Demands. - Rachit Agarwal, Vincent Gauthier, Monique Becker:
Enhancing Information Dissemination in Dynamic Wireless Network using Stability and Beamforming. - Arash Amini, Ulugbek Kamilov, Emrah Bostan, Michael Unser:
Bayesian Estimation for Continuous-Time Sparse Stochastic Processes. - Andreas Schwarte, Peter Haase, Michael Schmidt, Katja Hose, Ralf Schenkel:
An Experience Report of Large Scale Federations. - Muhammad Nazmul Islam, Shantharam Balasubramanian, Narayan B. Mandayam, Ivan Seskar, Sastry Kompella:
Implementation of Distributed Time Exchange Based Cooperative Forwarding. - Robbert van Renesse, Håvard D. Johansen, Nihar Naigaonkar, Dag Johansen:
Secure Abstraction with Code Capabilities. - Mina Guirguis, George K. Atia:
Stuck in Traffic (SiT) Attacks: A Framework for Identifying Stealthy Attacks that Cause Traffic Congestion. - Xinping Yi, Paul de Kerret, David Gesbert:
The DoF of Network MIMO with Backhaul Delays. - Francisco Escalona, Ruy Fabila Monroy, Jorge Urrutia:
Hamiltonian Tetrahedralizations with Steiner Points. - Juhi Ameta, Nisheeth Joshi, Iti Mathur:
A Lightweight Stemmer for Gujarati. - Marta Soto, Yasser González-Fernández, Carlos Alberto Ochoa Ortíz Zezzatti:
Modeling with Copulas and Vines in Estimation of Distribution Algorithms. - Ping Xia, Chun-Hung Liu, Jeffrey G. Andrews:
Downlink Coordinated Multi-Point with Overhead Modeling in Heterogeneous Cellular Networks. - Sabri Mtibaa, Moncef Tagina:
Quality of Service Support on High Level Petri-Net Based Model for Dynamic Configuration of Web Service Composition. - Sabri Mtibaa, Moncef Tagina:
Managing Changes in Citizen-Centric Healthcare Service Platform using High Level Petri Net. - Nisheeth Joshi, Iti Mathur:
Design of English-Hindi Translation Memory for Efficient Translation. - Matthijs Ruijgrok:
A single-item continuous double auction game. - Changbo Chen, Marc Moreno Maza:
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions. - Cem Tekin, Mingyan Liu:
Online Learning in Decentralized Multiuser Resource Sharing Problems. - Santiago Moisés Mola-Velasco:
Wikipedia Vandalism Detection Through Machine Learning: Feature Review and New Proposals: Lab Report for PAN at CLEF 2010. - Pietro Codara, Ottavio M. D'Antona:
On the independent subsets of powers of paths and cycles. - Chia-Chi Tsai, Chao-Lin Liu, Wei-Jie Huang, Man-Kwan Shan:
Hidden Trends in 90 Years of Harvard Business Review. - Przemyslaw Spurek, Jacek Tabor:
Cross-Entropy Clustering. - (Withdrawn) Pragmatic Physical Layer Encryption for Achieving Perfect Secrecy.
- Na Deng, Sihai Zhang, Wuyang Zhou, Jinkang Zhu:
A Stochastic Geometry Approach to Energy Efficiency in Relay-Assisted Cellular Networks. - Nazim Burak Karahanoglu, Hakan Erdogan:
Compressed Sensing Signal Recovery via Forward-Backward Pursuit. - Philipp Krähenbühl, Vladlen Koltun:
Efficient Inference in Fully Connected CRFs with Gaussian Edge Potentials. - Per Austrin, Ryan O'Donnell, Li-Yang Tan, John Wright:
New NP-hardness results for 3-Coloring and 2-to-1 Label Cover. - Samir Kumar Bandyopadhyay, Biswajita Datta, Sudipta Roy:
Identifications of concealed weapon in a Human Body. - Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane:
Weighted Modal Transition Systems. - (Withdrawn) Linear Physical-layer Network Coding in Galois Field for Rayleigh fading 2-Way Relay Channels.
- Reza Bosagh Zadeh, Gunnar Carlsson:
Characterizing Properties for Q-Clustering. - Chitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez, Aaron Gottesman:
Typed Answer Set Programming and Inverse Lambda Algorithms. - Noga Alon, Amit Weinstein:
Local Correction with Constant Error Rate. - Mathew C. Francis, Pavol Hell, Juraj Stacho:
Obstructions to chordal circular-arc graphs of small independence number. - Guangming Lang, Qingguo Li:
The construction of characteristic matrixes of dynamic coverings using an incremental approach. - Tuvi Etzion, Alexander Vardy, Eitan Yaakobi:
Coding for the Lee and Manhattan Metrics with Weighing Matrices. - Hao-Hsiang Hung:
Survival Network Design of Doubling Dimension Metrics. - Jaswinder Singh Dilawari, Ravinder Khanna:
Developing ICC Profile Using Gray Level Control In Offset Printing Process. - (Withdrawn) Tableaux for multi-modal hybrid logic with binders, transitive relations and relation hierarchies.
- Estelle Delpech, Béatrice Daille, Emmanuel Morin, Claire Lemaire:
Extraction of domain-specific bilingual lexicon from comparable corpora: compositional translation and ranking. - Rui Wang, Meixia Tao, Yuan Liu:
Optimal Linear Transceiver Designs for Cognitive Two-Way Relay Networks. - Shree Krishna Sharma, Symeon Chatzinotas, Björn E. Ottersten:
Eigenvalue Based Sensing and SNR Estimation for Cognitive Radio in Presence of Noise Correlation. - Christoph Lenzen, Boaz Patt-Shamir:
Fast Routing Table Construction Using Small Messages. - Josep Silva
, Francesco Tiezzi:
Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, WWV 2012, Stockholm, Sweden, 16th July 2012. EPTCS 98, 2012 [contents] - Ho-Lin Chen, Ming-Yang Kao:
Optimizing Tile Concentrations to Minimize Errors and Time for DNA Tile Self-Assembly Systems. - Ryan A. Rossi, David F. Gleich, Assefaw Hadish Gebremedhin, Md. Mostofa Ali Patwary:
What if CLIQUE were fast? Maximum Cliques in Information Networks and Strong Components in Temporal Networks. - Zhengzheng Xiang, Meixia Tao, Xiaodong Wang:
Coordinated Multicast Beamforming in Multicell Networks. - Zhengzheng Xiang, Meixia Tao:
Robust Beamforming for Wireless Information and Power Transmission. - Emrah Bostan, Ulugbek Kamilov, Masih Nilchian, Michael Unser:
Sparse Stochastic Processes and Discretization of Linear Inverse Problems. - Purushottam Kar, Prateek Jain:
Supervised Learning with Similarity Functions. - Giovanni Chierchia, Nelly Pustelnik, Jean-Christophe Pesquet, Béatrice Pesquet-Popescu:
Epigraphical Projection and Proximal Tools for Solving Constrained Convex Optimization Problems: Part I. - Carlos A. Araújo, Italo J. Dejter, Peter Horák:
A Generalization of Lee Codes. - Bruno Grenet
, Thierry Monteil, Stéphan Thomassé
:
Symmetric Determinantal Representations in Characteristic 2. - Artur Janicki, Wojciech Mazurczyk, Krzysztof Szczypiorski:
Steganalysis of Transcoding Steganography. - Chao-Lin Liu, Guantao Jin, Qingfeng Liu, Wei-Yun Chiu, Yih-Soong Yu:
Some Chances and Challenges in Applying Language Technologies to Historical Studies in Chinese. - Nils Bertschinger, Johannes Rauh, Eckehard Olbrich, Jürgen Jost:
Shared Information -- New Insights and Problems in Decomposing Information in Complex Systems. - Keith Douglas Farnsworth, John Nelson, Carlos Gershenson:
Living is information processing; from molecules to global systems. - Minati Mishra, Priyadarsini Mishra, M. C. Adhikary, Sunit Kumar:
Image Encryption Using Fibonacci-Lucas Transformation. - Adeyemi R. Ikuesan, Norafida Ithnin:
Bio-Thentic Card: Authentication concept for RFID Card. - Charbel Nicolas, Michel Marot:
Dynamic Link adaptation Based on Coexistence-Fingerprint Detection for WSN. - Vijayvaradharaj T. Muralidharan, B. Sundar Rajan:
Physical Layer Network Coding for the K-user Multiple Access Relay Channel. - Gabriel Scherer, Didier Rémy:
GADT meet Subtyping. - Benjamin Camus, Julien Siebert, Christine Bourjot, Vincent Chevrier:
Modélisation multi-niveaux dans AA4MM. - J. Veerappan, G. Pitchammal:
Multilayer image watermarking scheme for providing high security. - Roberto Maieli:
Bipolar Proof Nets for MALL. - Ricardo C. Corrêa, Pablo Mayckon Silva Farias, Críston P. de Souza:
Insertion and Sorting in a Sequence of Numbers Minimizing the Maximum Sum of a Contiguous Subsequence. - Bohdan M. Pavlyshenko:
Classification Analysis Of Authorship Fiction Texts in The Space Of Semantic Fields. - Tomislav Petrovic:
Algorithm that constructs two sequence-set betting strategies that predict all compressible sequences. - Adamu Murtala Zungeru, Jonathan Gana Kolo, Ijarotimi Olumide:
A Simple and Reliable Touch Sensitive Security System. - Héctor Castillo-Andreu:
An MML-based tool for evaluating the complexity of (stochastic) logic theories. - Tasha Frankie, Gordon F. Hughes, Kenneth Kreutz-Delgado:
Solid State Disk Object-Based Storage with Trim Commands. - Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi, Christian Schallhart:
The Ontological Key: Automatically Understanding and Integrating Forms to Access the Deep Web. - Tim Furche, Georg Gottlob, Giovanni Grasso, Giorgio Orsi, Christian Schallhart, Cheng Wang:
AMBER: Automatic Supervision for Multi-Attribute Extraction. - Nazim Burak Karahanoglu, Hakan Erdogan:
On the Theoretical Analysis of Orthogonal Matching Pursuit with Termination Based on the Residue. - Daniil Ryabko, Jérémie Mary:
Reducing statistical time-series problems to binary classification. - Nicolas Kourtellis, Adriana Iamnitchi:
Leveraging Peer Centrality in the Design of Socially-Informed Peer-to-Peer Systems. - Sabri Mtibaa, Moncef Tagina:
An Automated Petri-Net Based Approach for Change Management in Distributed Telemedicine Environment. - Richard L. Churchill:
Interplay: Dispersed Activation in Neural Networks. - Salam Akoum, Robert W. Heath Jr.:
Interference Coordination: Random Clustering and Adaptive Limited Feedback. - Leonidas Lampropoulos, Konstantinos Sagonas
:
Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services. 3-16 - Jesús Manuel Almendros-Jiménez
, Luis Iribarne
:
Model Validation in Ontology Based Transformations. 17-30 - James Smith:
The Jasper Framework: Towards a Platform Independent, Formal Treatment ofWeb Programming. 31-45 - Sergio López, Josep Silva
, David Insa:
Using the DOM Tree for Content Extraction. 46-59 - Jonathan Michaux, Elie Najm, Alessandro Fantechi:
Adding Sessions to BPEL. 60-76 - Irum Rauf, Ali Hanzala Khan, Ivan Porres:
Analyzing Consistency of Behavioral REST Web Service Interfaces. 77-92 - Anton Wijs, Dragan Bosnacki, Stefan Edelkamp:
Proceedings First Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2012, Tallinn, Estonia, 1st April 2012. EPTCS 99, 2012 [contents] - Francis George Cabarle, Kelvin C. Buño, Henry N. Adorna:
Time After Time: Notes on Delays In Spiking Neural P Systems. - Hazarath Munaga, Venkata Jarugumalli:
Performance Evaluation: Ball-Tree and KD-Tree in the Context of MST. - Daoshun Wang, Tao Song, Lin Dong, Ching-Nung Yang:
Optimal Contrast Greyscale Visual Cryptography Schemes with Reversing. - Tarun Kumar Sharma, Millie Pant, Ved Pal Singh:
Improved Local Search in Artificial Bee Colony using Golden Section Search. - Pooja Vyavahare, Nutan Limaye, D. Manjunath:
In-Network Estimation of Frequency Moments. - Federico-Vladimir Gutiérrez Corea, Adolfo-Javier Urrutia-Zambrana:
Propuesta de sistema GeoInformático con representación de escenarios para auxiliar en la nueva metodología propuesta por INETER y la UNI para el estudio a gran escala de la vulnerabilidad y daños debido a sismos en las edificaciones. - Vibekananda Dutta, Nishtha Kesswani, Deepti Gahalot:
Novel Architecture for 3D model in virtual communities from detected face. - Keigo Takeuchi:
Accelerating Iterative Detection for Spatially Coupled Systems by Collaborative Training. - Emanuele Giaquinta, Szymon Grabowski:
New algorithms for binary jumbled pattern matching. - Rachita Misra, Kasturika B. Ray:
Textural Approach to Palmprint Identification. - Marx Boopathi:
Game Theory in Oligopoly. - Gabriele Oliva, Stefano Panzieri, Federica Pascucci, Roberto Setola:
Network Localization by Shadow Edges. - Yanfang Liu, William Zhu:
Characteristic of partition-circuit matroid through approximation number. - Benlafkih Abdessamad, Krit Salah-ddine, Chafik Elidrissi Mohamed:
Designing a High Efficiency Pulse Width Modulation Step-Down DC/DC Converter for Mobile Phone Applications. - Maël Le Treust, Samson Lasaulce:
Transforming Monitoring Structures with Resilient Encoders. Application to Repeated Games. - Lena Wiese:
Enhancing Algebraic Query Relaxation with Semantic Similarity. - Arif Önder Isikman, Hani Mehrpouyan, Alexandre Graell i Amat:
Phase Noise Estimation for Uncoded/Coded SISO and MIMO Systems. - (Withdrawn) Affinity-based XML Fragmentation.
- João Eugenio Marynowski:
Ambiente de Planejamento Ipê. - Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Ralf Mitschke, Tillmann Rendel, Christian Kästner:
Reify Your Collection Queries for Modularity and Speed! - James Aspnes:
A one-bit swap object using test-and-sets and a max register. - Ryan R. Curtin, Parikshit Ram, Alexander G. Gray:
Fast Exact Max-Kernel Search. - Álvaro Martínez-Pérez:
A density-sensitive hierarchical clustering method. - Ryan R. Curtin, James R. Cline, N. P. Slagle, William B. March, Parikshit Ram, Nishant A. Mehta, Alexander G. Gray:
MLPACK: A Scalable C++ Machine Learning Library. - Maël Le Treust, Samson Lasaulce:
Resilient Source Coding. - Guido Stolfi:
A Ternary Digital to Analog Converter with High Power Output and 170-dB Dynamic Range. - Maël Le Treust, Abdellatif Zaidi, Samson Lasaulce:
An Achievable Rate Region for the Broadcast Wiretap Channel with Asymmetric Side Information. - Maël Le Treust, Samson Lasaulce:
The price of re-establishing perfect, almost perfect or public monitoring in games with arbitrary monitoring. - Maël Le Treust, Yezekael Hayel, Samson Lasaulce, Mérouane Debbah:
"To sense" or "not to sense" in energy-efficient power control games. - Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez
, Gianluigi Zavattaro:
Adaptable processes. - Nicolas Kourtellis, Adriana Iamnitchi, Cristian Borcea, Robin R. Murphy:
Data Survivability in Networks of Mobile Robots in Urban Disaster Environments. - Rafaelli de C. Coutinho, Lúcia M. A. Drummond, Yuri Frota:
A Distributed Transportation Simplex Applied to a Content Distribution Network Problem. - Guodong Liu, Zhihua Li, Yuefeng Lin, Bino John:
Automated family-based naming of small RNAs for next generation sequencing data using a modified MD5-digest algorithm. - Pierre-Évariste Dagand, Conor McBride:
Elaborating Inductive Definitions. - Pawandeep S. Taluja, Brian L. Hughes:
Diversity Limits of Compact Broadband Multi-Antenna Systems. - Maël Le Treust, Samson Lasaulce, Mérouane Debbah:
Implicit cooperation in distributed energy-efficient networks. - Andreas Beckmann, Jaroslaw Fedorowicz, Jörg Keller, Ulrich Meyer:
A structural analysis of the A5/1 state transition graph. 5-19 - Elise Cormie-Bowins:
A Comparison of Sequential and GPU Implementations of Iterative Methods to Compute Reachability Probabilities. 20-34 - Eduardo Zambon, Arend Rensink:
Graph Subsumption in Abstract State Space Exploration. 35-49 - Gijs Kant, Jaco van de Pol:
Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games. 50-65 - Stefan Edelkamp, Peter Kissmann, Álvaro Torralba
:
Lex-Partitioning: A New Option for BDD Search. 66-82 - Ali Mohammad Fouladgar, Osvaldo Simeone:
On the Transfer of Information and Energy in Multi-User Systems. - Jie Chen, Hoon Wei Lim, San Ling, Le Su, Huaxiong Wang:
Anonymous and Adaptively Secure Revocable IBE with Constant Size Public Parameters. - S. Yashvir, Om Prakash:
Disk Scheduling: Selection of Algorithm. - Amjed Shareef:
Short Report on: Possible directions to Auctions with Cryptographic pre-play. - Loet Leydesdorff, Duncan Kushnir, Ismael Ràfols:
Interactive Overlay Maps for US Patent (USPTO) Data Based on International Patent Classifications (IPC). - Benjamin Doerr, Carola Winzen:
Black-Box Complexity: Breaking the $O(n \log n)$ Barrier of LeadingOnes. - Mazen Alamir:
A New Identification Framework For Off-Line Computation of Moving-Horizon Observers. - Vasiliy Usatyuk:
Short review of lattice basis reduction types and his applications. (Russian). - Daifeng Li, Ying Ding, Xin Shuai, Golden Guo-Zheng Sun, Jie Tang, Zhipeng Luo, Jingwei Zhang, Guo Zhang:
Topic-Level Opinion Influence Model(TOIM): An Investigation Using Tencent Micro-Blogging. - Vasiliy Usatyuk:
Block Korkin-Zolotarev algorithm generalization and their practical implementation. (Russian). - Stéphane Cordier:
A measure of similarity between scientific journals and of diversity of a list of publications. - Marie Cottrell, Madalina Olteanu, Fabrice Rossi, Joseph Rynkiewicz, Nathalie Villa-Vialaneix:
Neural Networks for Complex Data. - Heiko Hamann:
Towards Swarm Calculus: Urn Models of Collective Decisions and Universal Properties of Swarm Performance. - Hanna Furmanczyk, Marek Kubale, Vahan V. Mkrtchyan:
Equitable Colorings of Corona Multiproducts of Graphs. - Daniel Sigalov, Tomer Michaeli, Yaakov Oshman:
Linear Optimal Estimation in Feedback Hybrid Systems with Application to Tracking in Clutter. - Jaap-Henk Hoepman:
Privacy Design Strategies. - Lorenzo Clemente, Richard Mayr:
Advanced Automata Minimization. - Jan A. Bergstra:
Informaticology: combining Computer Science, Data Science, and Fiction Science. - Héctor J. García, Igor L. Markov, Andrew W. Cross:
Efficient Inner-product Algorithm for Stabilizer States. - Cong Ling, Laura Luzzi, Jean-Claude Belfiore, Damien Stehlé:
Semantically Secure Lattice Codes for the Gaussian Wiretap Channel. - Guodong Shi, Alexandre Proutière, Karl Henrik Johansson:
Distributed Optimization: Convergence Conditions from a Dynamical System Perspective. - Mortuza Ali, M. Manzur Murshed:
Modified Rice-Golomb Code for Predictive Coding of Integers with Real-valued Predictions. - Emanuele Coviello, Antoni B. Chan, Gert R. G. Lanckriet:
Clustering hidden Markov models with variational HEM. - Jun Muramatsu, Shigeki Miyake:
Construction of Multiple Access Channel Codes Based on Hash Property. - Olav Geil, Ryutaroh Matsumoto, Diego Ruano:
Feng-Rao decoding of primary codes. - Sérgio Daniel Pequito, Soummya Kar
, A. Pedro Aguiar
:
A Structured Systems Approach for Optimal Actuator-Sensor Placement in Linear Time-Invariant Systems. - Thomas Strohmer:
Measure What Should be Measured: Progress and Challenges in Compressive Sensing. - Feng Xue:
An upper bound on relaying over capacity based on channel simulation. - Hossain Mahmud, Ashfaq Mahmood Amin, Mohammed Eunus Ali, Tanzima Hashem:
Shared Execution of Path Queries on Road Networks. - Neri Merhav:
Universal decoding for arbitrary channels relative to a given class of decoding metrics. - Afsaneh Asaei, Mohammad Golbabaee, Hervé Bourlard, Volkan Cevher:
Structured Sparsity Models for Multiparty Speech Recovery from Reverberant Recordings. - Miguel Rodrigues:
Multiple-antenna fading coherent channels with arbitrary inputs: Characterization and optimization of the reliable information transmission rate. - Jannik Dreier, Jean-Guillaume Dumas
, Pascal Lafourcade
:
Attacking Privacy in a Fully Private Auction Protocol. - Eric Buffenoir, Isabelle Bourdon:
Reconciling complex organizations and data management: the Panopticon paradigm. - Thierry Lecomte
, Lilian Burdy, Michael Leuschel:
Formally Checking Large Data Sets in the Railways. - (Withdrawn) On Feasibility of Generalized Interference Alignment with Partial Interference Cancelation.
- Aharon Ben-Tal, Arkadi Nemirovski:
Solving large scale polynomial convex problems on ℓ1/nuclear norm balls by randomized first-order algorithms. - Michal Cáp, Peter Novák, Jirí Vokrínek, Michal Pechoucek:
Asynchronous Decentralized Algorithm for Space-Time Cooperative Pathfinding. - Ugo Dal Lago, Barbara Petit:
The Geometry of Types (Long Version). - Jessica G. Neff, David Laniado, Karolin Kappler, Yana Volkovich, Pablo Aragón, Andreas Kaltenbrunner:
Jointly they edit: examining the impact of community identification on political interaction in Wikipedia. - Clifton Phua, Hong Cao, João Bártolo Gomes, Minh Nhut Nguyen:
Predicting Near-Future Churners and Win-Backs in the Telecommunications Industry. - Florent R. Madelaine, Barnaby Martin:
On the complexity of the model checking problem. - Fotis Foukalas, George T. Karetsos, George K. Karagiannidis:
Adaptive Modulation in OSA-based Cognitive Radio Networks. - Eli Ben-Sasson, Noga Ron-Zewi, Madhur Tulsiani, Julia Wolf:
Sampling-based proofs of almost-periodicity results and algorithmic applications. - Vadim E. Levit, David Tankus:
Well-Covered Graphs Without Cycles of Lengths 4, 5 and 6. - Ankit Pat:
On Construction of a Class of Orthogonal Arrays (Thesis). - Stefano Riverso, Marcello Farina, Giancarlo Ferrari-Trecate:
Plug-and-Play Model Predictive Control based on robust control invariant sets. - Ankit Singh Rawat, Onur Ozan Koyluoglu, Natalia Silberstein, Sriram Vishwanath:
Optimal Locally Repairable and Secure Codes for Distributed Storage Systems. - Jorn H. Baayen:
Vortexje - An Open-Source Panel Method for Co-Simulation. - Lane A. Hemaspaandra, Rahman Lavaee, Curtis Menton:
Schulze and Ranked-Pairs Voting are Fixed-Parameter Tractable to Bribe, Manipulate, and Control. - Reda Mohamed Hamou, Abdelmalek Amine, Ahmed Chaouki Lokbani:
A Biomimetic Approach Based on Immune Systems for Classification of Unstructured Data. - Jordan Hashemi, Thiago Vallin Spina, Mariano Tepper, Amy Esler, Vassilios Morellas, Nikolaos Papanikolopoulos, Guillermo Sapiro:
Computer vision tools for the non-invasive assessment of autism-related behavioral markers. - Renato Silva:
Lessons Learned/Sharing the Experience of Developing a Metro System Case Study. - Elena Troubitsyna:
Dependability-Explicit Engineering with Event-B: Overview of Recent Achievements. - Andrew Edmunds, Michael J. Butler, John Colley:
Building on the DEPLOY Legacy: Code Generation and Simulation. - Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis:
Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B. - Tsutomu Kobayashi, Shinichi Honiden:
Towards Refinement Strategy Planning for Event-B. - Reza Oji, Farshad Tajeripour:
Full Object Boundary Detection by Applying Scale Invariant Features in a Region Merging Segmentation Algorithm. - Frédéric Badeau, Marielle Petit-Doche:
Formal Data Validation with Event-B. - Frédérique E. Oggier, B. A. Sethuraman:
Quotients of Orders in Cyclic Algebras and Space-Time Codes. - Daifeng Li, Zhipeng Luo, Golden Guo-Zheng Sun, Jie Tang, Jingwei Zhang:
User-level Weibo Recommendation incorporating Social Influence based on Semi-Supervised Algorithm. - Zhongqi Lu, Erheng Zhong, Lili Zhao, Evan Wei Xiang, Weike Pan, Qiang Yang:
Selective Transfer Learning for Cross Domain Recommendation. - Bahman Bahmani, Ashish Goel, Rajendra Shinde:
Efficient Distributed Locality Sensitive Hashing. - Shai Bagon, Meirav Galun:
A Multiscale Framework for Challenging Discrete Optimization. - Corentin Burnay, Ivan Jureta, Stéphane Faulkner:
Influence of Context on Decision Making during Requirements Elicitation. - B. H. Shekar, N. Harivinod, M. Sharmila Kumari, K. Raghurama Holla:
3D Face Recognition using Significant Point based SULD Descriptor. - Arie Bos:
Index notation of grid graphs. - Moria Ben-Ner, André Schulz, Adam Sheffer:
On Numbers of Pseudo-Triangulations. - Romain Péchoux
:
Synthesis of sup-interpretations: a survey. - Nicolas Anquetil
, Jannik Laval
:
Legacy Software Restructuring: Analyzing a Concrete Case. - Patrick Lambrix, Zlatan Dragisic, Valentina Ivanova:
Get my pizza right: Repairing missing is-a relations in ALC ontologies (extended version). - Alessandro Checco, Douglas J. Leith:
Learning-Based Constraint Satisfaction With Sensing Restrictions. - Gentian Kasa:
Hypercomputation: Towards an extension of the classical notion of Computability? - Kyle Marshall, Joachim Rosenthal, Davide Schipani, Anna-Lena Trautmann:
Subspace Fuzzy Vault. - Marina Groshaus, Francisco J. Soulignac, Pablo Terlisky:
The star and biclique coloring and choosability problems. - Robert Bishop Jr., Ruggero Micheletto:
The Hangulphabet: A Descriptive Alphabet. - David A. Basin, Andreas Fürst, Thai Son Hoang, Kunihiko Miyazaki, Naoto Sato:
Abstract Data Types in Event-B - An Application of Generic Instantiation. - Matthias Messner, Bérenger Bramas, Olivier Coulaud, Eric Darve:
Optimized M2L Kernels for the Chebyshev Interpolation based Fast Multipole Method. - Chung-Chieh Fang, Eyad H. Abed:
Analysis and Control of Period-Doubling Bifurcation in Buck Converters Using Harmonic Balance. - Diego Fabregat-Traver, Yurii S. Aulchenko, Paolo Bientinesi:
Solving Sequences of Generalized Least-Squares Problems on Multi-threaded Architectures. - Mladen Kovacevic, Dejan Vukobratovic:
Subset Codes for Packet Networks. - Maria Chudnovsky, Katherine Edwards, Ken-ichi Kawarabayashi, Paul D. Seymour:
Edge-colouring seven-regular planar graphs. - Gilad Mishne, Jeff Dalton, Zhenghua Li, Aneesh Sharma, Jimmy Lin:
Fast Data in the Era of Big Data: Twitter's Real-Time Related Query Suggestion Architecture. - Shai Bagon:
Discrete Energy Minimization, beyond Submodularity: Applications and Approximations. - Omer Khalid, Arsalaan Sheikh, Brice Copy:
Optimizing Infrastructures for Testing Using Virtualization. - Mahdy Nabaee, Fabrice Labeau:
One-Step Quantized Network Coding for Near Sparse Gaussian Messages. - Huiyue Yi:
Joint Doppler frequency shift compensation and data detection method using 2-D unitary ESPRIT algorithm for SIMO-OFDM railway communication systems. - Arnav V. Bhavsar:
Resolution Enhancement of Range Images via Color-Image Segmentation. - Shiyu Zhao, Feng Lin, Kemao Peng, Ben M. Chen, Tong Heng Lee:
Distributed Control of Angle-constrained Circular Formations using Bearing-only Measurements. - Roohallah Rastaghi, Hamid R. Dalili Oskouei:
Cryptanalysis of a Public-key Cryptosystem Using Lattice Basis Reduction Algorithm. - Camelia-Mihaela Pintea, Petrica C. Pop:
Sensor networks security based on sensitive robots agents. A conceptual model. - Emanuel H. Rubensson, Elias Rudberg:
Chunks and Tasks: a programming model for parallelization of dynamic algorithms. - Konstantinos S. Arkoudogiannis, Christos E. Dimakis, Konstantinos V. Koutsouvelis:
A Better Understanding of the Performance of Rate-1/2 Binary Turbo Codes that Use Odd-Even Interleavers. - César Roberto de Souza, Ednaldo Brigante Pizzolato, Mauro dos Santos Anjo:
Recognizing Static Signs from the. - César Roberto de Souza:
A Tutorial on Principal Component Analysis with the Accord.NET Framework. - Antonios Argyriou:
Link Scheduling in Cooperative Wireless Networks. - Velimir M. Ilic, Miomir S. Stankovic:
Comments on "Nonextensive Entropies derived from Form Invariance of Pseudoadditivity". - Nader Ale Ebrahim, Shamsuddin Ahmed, Zahari Taha:
Modified Stage-Gate: A Conceptual Model of Virtual Product Development Process. - Delaram Kahrobaei, Charalambos Koupparis:
Non-commutative Digital Signatures. - (Withdrawn) Convolutional Compressed Sensing Using Deterministic Sequences.
- Eitan Yaakobi, Hessam Mahdavifar, Paul H. Siegel, Alexander Vardy, Jack K. Wolf:
Rewriting Codes for Flash Memories. - Xin Li, Huarui Yin, Zhiyong Wang, Zhengdao Wang:
Joint Viterbi Decoding and Decision Feedback Equalization for Monobit Digital Receivers. - Harish Ganapathy, Siddhartha Banerjee, Nedialko B. Dimitrov, Constantine Caramanis:
Feedback Allocation For OFDMA Systems With Slow Frequency-domain Scheduling. - Harish Ganapathy, Constantine Caramanis, Lei Ying:
Exploiting Sparse Dynamics For Bandwidth Reduction In Cooperative Sensing Systems. - Anima Anandkumar, Rong Ge, Daniel J. Hsu, Sham M. Kakade, Matus Telgarsky:
Tensor decompositions for learning latent variable models. - Krunoslav Zubrinic, Damir Kalpic, Mario Milicevic:
The automatic creation of concept maps from documents written using morphologically rich languages. - Lingzhong Meng:
Study on the Availability Prediction of the Reconfigurable Networked Software System. - Zdenek Dvorák, Ken-ichi Kawarabayashi:
List-coloring embedded graphs. - Stefano Bilotta, Elisabetta Grazzini, Elisa Pergola, Renzo Pinzani:
Generation of binary words avoiding alternating patterns. - Vivek Chalotra, Anju Bhasin, Anik Gupta, Sanjeev Singh Sambyal:
HEP Analysis Facility An Approach to Grid Computing. - Vivek Chalotra, Anju Bhasin, Anik Gupta, Sanjeev Singh Sambyal:
Hep Cluster First Step Towards Grid Computing. - Amelia Carolina Sparavigna:
The fortresses of Ejin: an example of outlining a site from satellite images. - Finding Efficient Region in The Plane with Line segments (Finding Achievable Region for Line Segments Obstacles).
- Nicolas de Rugy-Altherre:
A Dichotomy Theorem for Homomorphism Polynomials. - Heba Ezzat Ibrahim, Sherif M. Badr, Mohamed A. Shaheen:
Adaptive Layered Approach using Machine Learning Techniques with Gain Ratio for Intrusion Detection Systems. - Assaf Naor, Oded Regev, Thomas Vidick:
Efficient rounding for the noncommutative Grothendieck inequality. - Antonio Giuliano Zippo:
Text Classification with Compression Algorithms. - Pooja Maknikar:
Performance Evaluation of Different Techniques for texture Classification. - Iti Mathur, Nisheeth Joshi:
Plagiarism Detection: Keeping Check on Misuse of Intellectual Property. - Diego Fabregat-Traver, Paolo Bientinesi:
Computing Petaflops over Terabytes of Data: The Case of Genome-Wide Association Studies. - Babak Farzad, Majid Karimi:
Square-Root Finding Problem In Graphs, A Complete Dichotomy Theorem. - Michael Benedikt, Stefan Göller, Stefan Kiefer, Andrzej S. Murawski:
Bisimilarity of Pushdown Systems is Nonelementary. - Benjamin Ricaud, Bruno Torrésani:
Refined support and entropic uncertainty inequalities. - Boris Alexeev, Afonso S. Bandeira, Matthew Fickus, Dustin G. Mixon:
Phase retrieval with polarization. - Maura B. Paterson, Douglas R. Stinson, Jalaj Upadhyay:
A coding theory foundation for the analysis of general unconditionally secure proof-of-retrievability schemes for cloud storage. - Mads Ruben Burgdorff Kristensen, Simon Andreas Frimann Lund, Troels Blum, Brian Vinter:
cphVB: A System for Automated Runtime Optimization and Parallelization of Vectorized Applications. - Gordana Dodig-Crnkovic, Raffaela Giovagnoli:
Computing Nature: A Network of Networks of Concurrent Information Processes. - Marcelo Zanchetta do Nascimento, Valério Ramos Batista, Wendhel Raffa Coimbra:
An interactive programme for Steiner trees. - Ioannis Avramopoulos:
Architectural innovation: A game-theoretic approach. - Bahman Kalantari:
Solving Linear System of Equations Via A Convex Hull Algorithm. - Prashant Narayanan, Vinod Sharma:
Stochastic Games on a Multiple Access Channel. - Yuan Lu, Alexandra Duel-Hallen:
Channel-Adaptive Sensing Strategy for Cognitive Radio Ad Hoc Networks. - Nader Ale Ebrahim, Shamsuddin Ahmed, Salwa Hanim Abdul-Rashid, Zahari Taha, M. A. Wazed:
Virtual Collaborative R&D Teams in Malaysia Manufacturing SMEs. - Atta Ul Mustafa, Ghulam Murtaza:
Synthesis-by-analysis of BCH Codes. - Bohdan M. Pavlyshenko:
The Model of Semantic Concepts Lattice For Data Mining Of Microblogs. - N. S. Narayanaswamy, G. Ramakrishna:
Linear Time Algorithm for Tree t-spanner in Outerplanar Graphs via Supply-Demand Partition in Trees. - Frantisek Matús:
Polymatroids and polyquantoids. - Vivek Chalotra, Anju Bhasin, Anik Gupta, Sanjeev Singh Sambyal, Sanjay Mahajan:
Energy Efficient Algorithms and Power Consumption Techniques in High Performance Computing. - Pavlos Kazakopoulos, Aris L. Moustakas:
Transmission of information via the non-linear Scroedinger equation: The random Gaussian input case. - Jakarin Chawachat, Jittat Fakcharoenphol:
A simpler load-balancing algorithm for range-partitioned data in peer-to-peer systems. - Roger Achkar, Michel Owayjan:
Implementation of a Vision System for a Landmine Detecting Robot Using Artificial Neural Network. - Lars Kotthoff:
Algorithm Selection for Combinatorial Search Problems: A Survey. - Pascal Lenzner:
Greedy Selfish Network Creation. - Sukhpal Singh, Rishideep Singh:
Reusability Framework for Cloud Computing. - Marc Labadens, Daniel Pomarède, Damien Chapon, Romain Teyssier, Frédéric Bournaud, Florent Renaud, Nicolas Grandjouan:
Volume Rendering of AMR Simulations. - Lok Ming Lui, Ka Chun Lam, Tsz Wai Wong, Xianfeng Gu:
Beltrami Representation and its applications to texture map and video compression. - John O. Campbell:
Bayesian inference and the world mind. - Sudhindu Bikash Mandal, Amlan Chakrabarti, Susmita Sur-Kolay:
A Synthesis Method for Quaternary Quantum Logic Circuits. - Lukasz Struski, Jacek Tabor:
Strict localization of eigenvectors and eigenvalues. - Giovanni Marro:
A Note on the Dimensions of the Structural Invariant Subspaces of the Discrete-Time Singular Hamiltonian Systems. - Barbara Kordy, Sjouke Mauw, Patrick Schweitzer:
Quantitative Questions on Attack-Defense Trees. - Lane A. Hemaspaandra, Ryan Williams:
An Atypical Survey of Typical-Case Heuristic Algorithms. - Jan Kratochvíl, Michal Vaner:
A note on planar partial 3-trees. - Boaz Tsaban:
Polynomial time cryptanalysis of noncommutative-algebraic key exchange protocols. - Fabian Lim, Vladimir Marko Stojanovic:
On U-Statistics and Compressed Sensing I: Non-Asymptotic Average-Case Analysis. - Fabian Lim, Vladimir Stojanovic:
On U-Statistics and Compressed Sensing II: Non-Asymptotic Worst-Case Analysis. - Fatemeh Rajabi-Alni, Alireza Bagheri:
Limited-Capacity Many-To-Many Point Matching in One Dimension. - Habib Dhahri, Mohamed Adel Alimi:
Hierarchical Learning Algorithm for the Beta Basis Function Neural Network. - Sunil K. Narang, Antonio Ortega:
Compact Support Biorthogonal Wavelet Filterbanks for Arbitrary Undirected Graphs. - J. Scott Provan, Marcus Brazil, Doreen A. Thomas, Jia F. Weng:
Minimum Opaque Covers for Polygonal Regions. - Madhur Srivastava, Prasanta K. Panigrahi:
Non-uniform Quantization of Detail Components in Wavelet Transformed Image for Lossy JPEG2000 Compression. - Yassine Gargouri, Vincent Larivière, Yves Gingras, Tim Brody, Les Carr, Stevan Harnad:
Testing the Finch Hypothesis on Green OA Mandate Ineffectiveness. - Paulo Urriza, Eric Rebeiz, Danijela Cabric:
Eigenvalue-based Cyclostationary Spectrum Sensing Using Multiple Antennas. - Jeroen van den Hoven, Dirk Helbing, Dino Pedreschi, Josep Domingo-Ferrer, Fosca Giannotti, Markus Christen:
FuturICT - The Road towards Ethical ICT. - Julian J. McAuley, Jure Leskovec:
Discovering Social Circles in Ego Networks. - Jaideep Ray, Ali Pinar, C. Seshadhri:
A stopping criterion for Markov chains when generating independent random graphs. - Miguel Raggi:
Forbidden Configurations: Finding the number predicted by the Anstee-Sali Conjecture is NP-hard. - Eren Eraslan, Babak Daneshrad, Chung-Yu Lou:
Performance Indicator for MIMO MMSE Receivers in the Presence of Channel Estimation Error. - Anish Acharya, Saptarshi Das, Indranil Pan, Shantanu Das:
Extending the Concept of Analog Butterworth Filter for Fractional Order Systems. - Anindya Pakhira, Saptarshi Das, Anish Acharya, Indranil Pan, Suman Saha:
Optimized Quality Factor of Fractional Order Analog Filters with Band-Pass and Band-Stop Characteristics. - Avijit Routh, Sourav Das, Saptarshi Das, Indranil Pan:
Stabilization Based Networked Predictive Controller Design for Switched Plants. - H. K. Jnanamurthy, Vishesh H. V., Vishruth Jain, Preetham Kumar, Radhika M. Pai:
Top Down Approach to find Maximal Frequent Item Sets using Subset Creation. - Frank Nielsen, Richard Nock:
The hyperbolic Voronoi diagram in arbitrary dimension. - Sandeep Gupta:
Pipelined Workflow in Hybrid MPI/Pthread runtime for External Memory Graph Construction. - Nicola Rebagliati, Albert Solé-Ribalta, Marcello Pelillo, Francesc Serratosa:
On the Relation Between the Common Labelling and the Median Graph. - Arti D. Yardi, Saravanan Vijayakumaran:
Detecting Linear Block Codes in Noise using the GLRT. - Arkadius G. Kalka:
Non-associative public-key cryptography. - Huanhuan Chen, Peter Tiño, Xin Yao, Ali Rodan:
Learning in the Model Space for Fault Diagnosis. - (Withdrawn) Lyapunov Control of Quantum Systems with Applications to Quantum Computing.
- Jing Zhang, Han-Fu Chen:
Parameter Estimation of Switched Hammerstein Systems. - Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra:
The logical content of triangular bases of fuzzy sets in Lukasiewicz infinite-valued logic. - Loukas Georgiadis, Robert Endre Tarjan:
Dominator Tree Certification and Independent Spanning Trees. - H. R. Chennamma, Lalitha Rangarajan:
Mugshot Identification from Manipulated Facial Images. - Mikhail Ivanov, Fredrik Brännström, Alex Alvarado, Erik Agrell:
General BER Expression for One-Dimensional Constellations. - Sourav Chakraborty, Eldar Fischer, Yonatan Goldhirsh, Arie Matsliah:
On the Power of Conditional Samples in Distribution Testing. - Peter Bürgisser, Christian Ikenmeyer:
Explicit Lower Bounds via Geometric Complexity Theory. - Roohallah Rastaghi:
Cryptanalysis of a New Knapsack Type Public-Key Cryptosystem. - Adamu Murtala Zungeru, Mahmud Shehu Ahmed:
Development of a Dual Sensor Heat Control System. - Rupesh Kumar Srivastava, Bas R. Steunebrink, Jürgen Schmidhuber:
First Experiments with PowerPlay. - Travis Gagie:
Grammar-Based Construction of Indexes for Binary Jumbled Pattern Matching. - Sandeep Hosangadi, Subhash C. Kak:
An Alignment Algorithm for Sequences. - John Z. Sun, Vivek K. Goyal:
Distributed Quantization Networks. - Kirana Kumara P.:
Demonstrating the Usefulness of CAELinux for Computer Aided Engineering using an Example of the Three Dimensional Reconstruction of a Pig Liver. - Predrag R. Jelenkovic, Evangelia D. Skiani:
Distribution of the Number of Retransmissions of Bounded Documents. - Ender Ayanoglu:
Green Cellular Wireless Networks: Where to Begin? - Maryam Kamvar, Ciprian Chelba:
Optimal size, freshness and time-frame for voice search vocabulary. - Mohsen Ghaffari, Bernhard Haeupler:
Near Optimal Leader Election in Multi-Hop Radio Networks. - Ciprian Chelba, Dan Bikel, Maria Shugrina, Patrick Nguyen, Shankar Kumar:
Large Scale Language Modeling in Automatic Speech Recognition. - Erdem Koyuncu, Hamid Jafarkhani:
Very Low-Rate Variable-Length Channel Quantization for Minimum Outage Probability. - Louis Yuanlong Shao:
Linear-Nonlinear-Poisson Neurons Can Do Inference On Deep Boltzmann Machines. - Xiao Li, Anna Scaglione:
Convergence and Applications of a Gossip-based Gauss-Newton Algorithm. - Lucas D. Valdez, Pablo A. Macri, Lidia A. Braunstein:
Temporal percolation of a susceptible adaptive network. - Zhaosong Lu:
Iterative Reweighted Minimization Methods for $l_p$ Regularized Unconstrained Nonlinear Programming. - Zhongzhi Zhang, Bin Wu, Francesc Comellas:
The Number of Spanning Trees in Apollonian Networks. - Francesc Comellas, Alicia Miralles, Hongxiao Liu, Zhongzhi Zhang:
The Number of Spanning Trees of an Infinite Family of Outerplanar, Small-World and Self-Similar Graphs. - Sergio R. López-Permouth, Hakan Özadam, Ferruh Özbudak, Steve Szabo:
Polycyclic codes over Galois rings with applications to repeated-root constacyclic codes. - Andrzej Buda, Andrzej Jarynowski:
Network structure of phonographic market with characteristic similarities between musicians. - Nabarun Mondal, Partha P. Ghosh:
Invariance And Inner Fractals In Polynomial And Transcendental Fractals. - Jacob Herlin, Anna Nelson, Marion Scheepers:
Can ciliates compute evolutionary distance? - Antonius B. Dieker, Jinwoo Shin:
From Local to Global Stability in Stochastic Processing Networks through Quadratic Lyapunov Functions. - Pentti Haukkanen:
Discrete Ramanujan-Fourier Transform of Even Functions (mod $r$). - Bart Jacobs, Peter Selinger, Bas Spitters
:
Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011. EPTCS 95, 2011 [contents] - Peter Csermely, Tamás Korcsmáros, Huba J. M. Kiss, Gabor London, Ruth Nussinov:
Structure and dynamics of molecular networks: A novel paradigm of drug discovery. A comprehensive review. - Benjamin Doerr:
A Lower Bound for the Discrepancy of a Random Point Set. - James Barratt:
On the Automation of Encoding Processes in the Quantum IO Monad. 15-19 - Alexander Wilce:
Symmetry and Self-Duality in Categories of Probabilistic Models. 275-279 - Anne Hillebrand:
Superdense Coding with GHZ and Quantum Key Distribution with W in the ZX-calculus. 103-121 - Rodolphe Jenatton, Rémi Gribonval, Francis R. Bach:
Local stability and robustness of sparse dictionary learning in the presence of noise. - Santiago Videla, Carito Guziolowski, Federica Eduati, Sven Thiele, Niels Grabe, Julio Saez-Rodriguez, Anne Siegel:
Revisiting the Training of Logic Models of Protein Signaling Networks with a Formal Approach based on Answer Set Programming. - Kojiro Higuchi, Takayuki Kihara:
Inside the Muchnik Degrees: Discontinuity, Learnability, and Constructivism. - Tommi Vornanen:
Open Science Project in White Dwarf Research. - Olesya Mryglod, Ralph Kenna, Yurij Holovatch, Bertrand Berche:
Absolute and specific measures of research group excellence. - Artemy Kolchinsky, Anália Lourenço, Lang Li, Luis M. Rocha:
Evaluation of linear classifiers on articles containing pharmacokinetic evidence of drug-drug interactions. - Tony Lindeberg:
Invariance of visual operations at the level of receptive fields. - Michael Golosovsky, Sorin Solomon:
Stochastic dynamical model of a growing network based on self-exciting point process. - Daniele Cerra, Mihai Datcu:
A fast compression-based similarity measure with applications to content-based image retrieval. - Przemyslaw A. Grabowicz, José J. Ramasco, Víctor M. Eguíluz:
Dynamics in online social networks. - Victor Bapst, Laura Foini, Florent Krzakala, Guilhem Semerjian, Francesco Zamponi:
The Quantum Adiabatic Algorithm applied to random optimization problems: the quantum spin glass perspective. - Martin Rumpf, Benedikt Wirth:
Discrete geodesic calculus in the space of viscous fluidic objects. - Edwin A. Henneken, Donna M. Thompson:
ADS Labs - Supporting Information Discovery in Science Education. - Qian Li, Lidia A. Braunstein, Huijuan Wang, Jia Shao, Harry Eugene Stanley, Shlomo Havlin:
Non-consensus opinion models on complex networks. - Dana Chandler, Adam Kapelner:
Breaking Monotony with Meaning: Motivation in Crowdsourcing Markets. - Peter Selinger:
Quantum circuits of T-depth one. - Roger Guimerà, Alejandro Llorente, Esteban Moro Egido, Marta Sales-Pardo:
Predicting human preferences using the block structure of complex social networks. - Francesco Vezzi, Giuseppe Narzisi, Bud Mishra:
Reevaluating Assembly Evaluations with Feature Response Curves: GAGE and Assemblathons. - Krishnakumar Balasubramanian, Kai Yu, Guy Lebanon:
Smooth Sparse Coding via Marginal Regression for Learning Sparse Representations. - Giacomo Albi, Lorenzo Pareschi:
Modeling self-organized systems interacting with few individuals: from microscopic to macroscopic dynamics. - Abhishek Kumar, Vikas Sindhwani, Prabhanjan Kambadur:
Fast Conical Hull Algorithms for Near-separable Non-negative Matrix Factorization. - R. Neswold, C. King:
Further developments in generating type-safe messaging. - Daniel M. Kane:
The Correct Exponent for the Gotsman-Linial Conjecture. - Hirotada Kobayashi, François Le Gall, Harumichi Nishimura:
Stronger Methods of Making Quantum Interactive Proofs Perfectly Complete. - Stefan Wieland, Andrea Parisi, Ana Nunes:
Detecting and Describing Dynamic Equilibria in Adaptive Networks. - Pawel Dlotko, Hubert Wagner:
Computing homology and persistent homology using iterated Morse decomposition. - Duanbing Chen, An Zeng, Giulio Cimini, Yi-Cheng Zhang:
Adaptive social recommendation in a multiple category landscape. - Josh Ericson, Pietro Poggi-Corradini, Hainan Zhang:
Effective resistance on graphs and the Epidemic quasimetric. - Chetan D. Pahlajani, Ioannis Poulakakis, Herbert G. Tanner:
Networked Decision Making for Poisson Processes: Application to nuclear detection. - Naman Turakhia, Nilay Chheda, Manish K. Gupta, Ruchin Shah, Jigar Raisinghani:
Biospectrogram: a tool for spectral analysis of biological sequences. - Dmitry Gavinsky, Tsuyoshi Ito, Guoming Wang:
Shared Randomness and Quantum Communication in the Multi-Party Model. - Tao Hu, Dmitri B. Chklovskii:
Reconstruction of Sparse Circuits Using Multi-neuronal Excitation (RESCUME). - Hari Krovi, Alexander Russell:
Quantum Fourier Transforms and the Complexity of Link Invariants for Quantum Doubles of Finite Groups. - Sasikanth Manipatruni, Dmitri E. Nikonov, Ian A. Young:
All Spin Nano-magnetic State Elements. - Salman Beigi:
A New Quantum Data Processing Inequality. - Stephan Foldes, Eszter K. Horváth, Sándor Radeleczki, Tamás Waldhauser:
A general framework for island systems. - Paul B. Slater:
A Further (Itakura-Saito/beta=0) Bi-stochaticization and Associated Clustering/Regionalization of the 3,107-County 1995-2000 U. S. Migration Network. - John C. Lang, Hans De Sterck:
The Arab Spring: A Simple Compartmental Model for the Dynamics of a Revolution. - Varun Shankar, Grady B. Wright, Aaron L. Fogelson, Robert M. Kirby:
A Study of Different Modeling Choices For Simulating Platelets Within the Immersed Boundary Method. - Shrihari Vasudevan, Arman Melkumyan, Steven Scheding:
Information fusion in multi-task Gaussian processes. - (Withdrawn) A presentation of general multipersistence modules computable in polynomial time?
- Wittawat Jitkrittum, Hirotaka Hachiya, Masashi Sugiyama:
Feature Selection via L1-Penalized Squared-Loss Mutual Information. - Bojin Zheng, Dan Huang, Deyi Li, Guisheng Chen, Wenfei Lan:
Some scale-free networks could be robust under the selective node attacks. - Guillaume Duclos-Cianci, Krysta M. Svore:
A State Distillation Protocol to Implement Arbitrary Single-qubit Rotations. - César Hernández-Vélez, Carolina Medina, Gelasio Salazar:
The optimal drawings of K_{5,n}. - Arda Halu, Kun Zhao, Andrea Baronchelli, Ginestra Bianconi:
Connect and win: The role of social networks in political elections. - Achilles Beros:
Anomalous Vacillatory Learning. - John C. Duchi, Michael I. Jordan, Martin J. Wainwright:
Privacy Aware Learning. - Bojin Zheng, Wenhua Du, Wanneng Shu, Jianmin Wang, Deyi Li:
Equalitarian Societies are Economically Impossible. - Raul J. Mondragón:
Network Null Model based on Maximal Entropy and the Rich-Club. - Hartmut Lentz, Thomas Selhorst, Igor M. Sokolov:
Unfolding accessibility provides a macroscopic approach to temporal networks. - Valerio Capraro:
A notion of continuity in discrete spaces and applications. - Sueli I. Rodrigues Costa, Sandra A. Santos, João Strapasson:
Fisher information distance: a geometrical reading? - Manlio De Domenico, Antonio Lima, Mirco Musolesi:
Interdependence and Predictability of Human Mobility and Social Interactions. - Waheed U. Bajwa, Dustin G. Mixon:
Group Model Selection Using Marginal Correlations: The Good, the Bad and the Ugly. - Stefka Bouyuklieva, Javier de la Cruz, Wolfgang Willems:
On the Automorphism Group of a Binary Self-dual [120, 60, 24] Code. - Ji Li, Thomas J. Peters, John A. Roulier:
Angular Convergence during Bezier Curve Approximation. - Mariana S. C. Almeida, Mário A. T. Figueiredo:
Deconvolving Images with Unknown Boundaries Using the Alternating Direction Method of Multipliers. - Jakob Runge
, Jobst Heitzig, Norbert Marwan, Jürgen Kurths:
Quantifying Causal Coupling Strength: A Lag-specific Measure For Multivariate Time Series Related To Transfer Entropy. - Andrea Capocci, Andrea Baldassarri, Vito Domenico Pietro Servedio, Vittorio Loreto:
Statistical Properties of Inter-arrival Times Distribution in Social Tagging Systems. - Zhixiang Eddie Xu, Matt J. Kusner, Kilian Q. Weinberger, Minmin Chen:
Cost-Sensitive Tree of Classifiers. - Suyu Liu, Andrea Baronchelli, Nicola Perra:
Contagion dynamics in time-varying metapopulation networks. - Hamidou Tembine, Quanyan Zhu, Tamer Basar:
Risk-Sensitive Mean Field Games. - Krasimir Yordzhev:
Disjoint S-permutation Matrices. - Sándor Imre:
Quantum Hyperdense Coding for Distributed Communications. - Yuri Bocharov, Vladimir Butuzov, Dmitry Osipov:
A Low-Power 9-bit Pipelined CMOS ADC with Amplifier and Comparator Sharing Technique. - Zhenyu Cai, Shoji Makino, Takeshi Yamada, Tomasz M. Rutkowski:
Spatial Auditory BCI Paradigm Utilizing N200 and P300 Responses. - (Withdrawn) Sequential Convex Programming Methods for A Class of Structured Nonlinear Programming.
- Deanna Needell, Rachel A. Ward:
Total variation minimization for stable multidimensional signal recovery. - Jarkko Peltomäki:
Introducing Privileged Words: Privileged Complexity of Sturmian Words. - Leo van Iersel, Steven Kelk, Nela Lekic, Leen Stougie:
Computing nonbinary agreement forests. - Francesco Picciolo, Tiziano Squartini, Franco Ruzzenenti, Riccardo Basosi, Diego Garlaschelli:
The role of distances in the World Trade Web. - Aleksandrs Belovs:
On the Power of Non-Adaptive Learning Graphs. - Willie Neiswanger, Frank D. Wood:
Unsupervised Detection and Tracking of Arbitrary Objects with Dependent Dirichlet Process Mixtures. - Aran Nayebi:
Plausible hypercomputability. - Kai Bürger, Marc Treib, Rüdiger Westermann, Suzanne Werner, Cristian Constantin Lalescu, Alexander S. Szalay, Charles Meneveau, Gregory L. Eyink:
Vortices within vortices: hierarchical nature of vortex tubes in turbulence. - Frédéric Verpillat, Fadwa Joud, Pierre Desbiolles, Michel Gross:
Three dimensional tracking of gold nanoparticles using digital holographic microscopy. - Xiaojie Chen, Attila Szolnoki, Matjaz Perc:
Averting group failures in collective-risk social dilemmas. - Loo Kang Wee, Sze Yee Lye:
Designing Open Source Computer Models for Physics by Inquiry using Easy Java Simulation. - Mingjun Zhong, Rong Liu, Bo Liu:
Bayesian Analysis for miRNA and mRNA Interactions Using Expression Data. - Juan Bermejo-Vega, Maarten Van den Nest:
A Gottesman-Knill theorem for all finite Abelian groups. - Weimin Miao, Shaohua Pan, Defeng Sun:
A Rank-Corrected Procedure for Matrix Completion with Fixed Basis Coefficients. - Stasa Milojevic:
How are academic age, productivity and collaboration related to citing behavior of researchers? - Tao Hu, Dmitri B. Chklovskii:
Online computation of sparse representations of time varying stimuli using a biologically motivated neural network. - Christophe Ley, Yvik Swan:
A new perspective on Stein's density approach with applications to information inequalities. - Xiaojun Zhou:
Improved Canonical Dual Algorithms for the Maxcut Problem. - Bertrand Lebichot, Ilkka Kivimäki, Kevin Françoisse, Marco Saerens:
Semi-Supervised Classification Through the Bag-of-Paths Group Betweenness. - (Withdrawn) Improved bounds on the sandpile diffusions on Grid graphs.
- Krikamol Muandet:
Hilbert Space Embedding for Dirichlet Process Mixtures. - Florian Speelman:
Position-Based Quantum Cryptography and the Garden-Hose Game. - Laurent Evain, Mathias Lederer, Bjarke Hammersholt Roune:
Connect Four and Graph Decomposition. - Sofia C. Olhede, Patrick J. Wolfe:
Order statistics of observed network degrees. - Huda Chuangpishit, Mahya Ghandehari, Matt Hurshman, Jeannette C. M. Janssen, Nauzer Kalyaniwalla:
Linear embeddings of graphs and graph limits. - Yaman Aksu:
A Fast SVM-based Feature Elimination Utilizing Data Radius, Hard-Margin, Soft-Margin. - Felipe Núñez, Cesar Ravello, Hector Urbina, Tomás Pérez-Acle:
A Rule-based Model of a Hypothetical Zombie Outbreak: Insights on the role of emotional factors during behavioral adaptation of an artificial population. - Paul Horn, Gabor Lippner:
Two Layer 3D Floor Planning. - Aki-Hiro Sato:
Econoinformatics meets Data-Centric Social Sciences. - David Balduzzi:
Regulating the information in spikes: a useful bias. - Niraj Khare:
Graphs whose edge set can be partitioned into maximum matchings. - Kenji Kashiwabara, Tadashi Sakuma:
On ideal minimally non-packing clutters. - Tobias Kretz, Andree Große:
From Balanced Initial Occupant Distribution to Balanced Exit Usage in a Simulation Model of Pedestrian Dynamics. - Vikas Sindhwani, Aurélie C. Lozano, Ha Quang Minh:
Scalable Matrix-valued Kernel Learning and High-dimensional Nonlinear Causal Inference. - Jie Liu, Chunming Zhang, Catherine A. McCarty, Peggy L. Peissig, Elizabeth S. Burnside, David Page:
Graphical-model Based Multiple Testing under Dependence, with Applications to Genome-wide Association Studies. - Antti Hyttinen, Frederick Eberhardt, Patrik O. Hoyer:
Causal Discovery of Linear Cyclic Models from Multiple Experimental Data Sets with Overlapping Variables. - Marek Petrik, Dharmashankar Subramanian:
An Approximate Solution Method for Large Risk-Averse Markov Decision Processes. - Mathieu Sinn, Ali Ghodsi, Karsten Keller:
Detecting Change-Points in Time Series by Maximum Mean Discrepancy of Ordinal Pattern Distributions. - Ricardo Bezerra de Andrade e Silva:
Latent Composite Likelihood Learning for the Structured Canonical Correlation Model. - Tanya Khovanova, Dai Yang:
Halving Lines and Their Underlying Graphs. - Xiaojun Zhou
:
A Comparative Study of State Transition Algorithm with Harmony Search and Artificial Bee Colony. - Andrew C. Doherty, Stephanie Wehner:
Convergence of SDP hierarchies for polynomial optimization on the hypersphere. - Peter Gmeiner:
Properties of Persistent Mutual Information and Emergence. - (Withdrawn) A few properties of the eigenvalues of normalized graph Laplacian.
- Zsolt Szilágyi:
Computation of Jeffrey-Kirwan residue using Gröbner basis. - Miguel Angel Fiol, J. Vilaltella:
A simple and fast heuristic algorithm for edge-coloring of graphs. - Rina Foygel, Nathan Srebro, Ruslan Salakhutdinov:
Matrix reconstruction with the local max norm. - Markus Schläpfer, Luís M. A. Bettencourt, Mathias Raschke, Rob Claxton, Zbigniew Smoreda, Geoffrey B. West, Carlo Ratti:
The Scaling of Human Interactions with City Size. - Yiqing Cai, Robert Ghrist:
Cyclic Network Automata and Cohomological Waves. - Cyril Furtlehner, Yufei Han, Jean-Marc Lasgouttes, Victorin Martin:
Pairwise MRF Calibration by Perturbation of the Bethe Reference Point. - Guillaume Desjardins, Aaron C. Courville, Yoshua Bengio:
Disentangling Factors of Variation via Generative Entangling. - Quentin Geissmann:
OpenCFU, a New Free and Open-Source Software to Count Cell Colonies and Other Circular Objects. - Marc Harper, Dashiell E. A. Fryer:
Stability of Evolutionary Dynamics on Time Scales. - Jennifer Nguyen, Mu Zhu:
Content-boosted Matrix Factorization Techniques for Recommender Systems. - Álvaro Pelayo, Michael A. Warren:
Homotopy type theory and Voevodsky's univalent foundations. - Stéphan Clémençon, Héctor de Arazoza, Fabrice Rossi, Viet-Chi Tran:
Hierarchical clustering for graph visualization. - Stéphan Clémençon, Héctor de Arazoza, Fabrice Rossi, Viet-Chi Tran:
Visual Mining of Epidemic Networks. - Jan Goedgebeur, Stanislaw P. Radziszowski:
New Computational Upper Bounds for Ramsey Numbers R(3,k). - Ertugrul Bayraktar, Ayse Hümeyra Bilge:
Determination the Parameters of Markowitz Portfolio Optimization Model. - A. A. Akinduko, Evgeny M. Mirkes:
Initialization of Self-Organizing Maps: Principal Components Versus Random Initialization. A Case Study. - George K. Guskov, Faina I. Solov'eva:
Properties of perfect transitive binary codes of length 15 and extended perfect transitive binary codes of length 16. - Fabio Caccioli, Munik Shrestha, Cristopher Moore, J. Doyne Farmer:
Stability analysis of financial contagion due to overlapping portfolios. - Liliana Borcea, Thomas Callaghan, George Papanicolaou:
Motion Estimation and Imaging of Complex Scenes with Synthetic Aperture Radar. - Andrew Lucas, Ching Hua Lee:
Multistable binary decision making on networks. - Wei Pan, Gourab Ghoshal, Coco Krumme, Manuel Cebrián, Alex Pentland:
Urban characteristics attributable to density-driven tie formation. - Yong Min, Ying Ge, Xiaogang Jin, Jie Chang:
Cooperating epidemics of foodborne diseases with diverse trade networks. - Luciano Pandolfi:
Traction, deformation and velocity of deformation in a viscoelastic string. - Anna E. Frid, Svetlana Puzynina, Luca Q. Zamboni:
On minimal factorizations of words as products of palindromes. - Cristina Dalfó, Miguel Angel Fiol:
The (Δ,D) and (Δ,N) problems for New Amsterdam and Manhattan digraphs. - Guillermo A. Ludueña, Claudius Gros:
A Self-Organized Neural Comparator. - Christian Focke, Dieter Bothe, Matthias Kuschel, Martin Sommerfeld:
Experiments and Direct Numerical Simulations of binary collisions of miscible liquid droplets with different viscosities. - Rahul S. Sampath, Bobby Philip, Srikanth Allu, Srdjan Simunovic:
Recursive Schur Decomposition. - Ryohei Hisano, Didier Sornette, Takayuki Mizuno, Takaaki Ohnishi, Tsutomu Watanabe:
High quality topic extraction from business news explains abnormal financial market volatility. - Shaoshi Chen, Michael F. Singer:
On the Summability of Bivariate Rational Functions. - Fernando G. S. L. Brandão, Aram W. Harrow:
Quantum de Finetti Theorems under Local Measurements with Applications. - Sergei M. Ermakov, Nikolai K. Krivulin:
Efficient algorithms for tandem queueing system simulation. - Neil I. Gillespie:
A note on binary completely regular codes with large minimum distance. - Nikolai Krivulin:
An algebraic approach to project schedule development under precedence constraints. - Nikhil Bansal, Rudi Pendavingh, Jorn G. van der Pol:
An entropy argument for counting matroids. - Xiaojie Chen, Attila Szolnoki, Matjaz Perc:
Risk-driven migration and the collective-risk social dilemma. - Roberto Baena Gallé
, Jorge Núñez de Murga, Szymon Gladysz:
Extended object reconstruction in adaptive-optics imaging: the multiresolution approach. - Hung-Hsun Chen, Wen-Guei Hu, De-Jan Lai, Song-Sun Lin:
Decidability of plane edge coloring with three colors. - Amitabh Basu, Robert Hildebrand, Matthias Köppe:
Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. II. The Unimodular Two-Dimensional Case. - John W. Paisley, Chong Wang, David M. Blei, Michael I. Jordan:
Nested Hierarchical Dirichlet Processes. - Filippo Disanto, Thomas Wiehe:
Some instances of a sub-permutation problem on pattern avoiding permutations. - Gaurav Pandey, Sahil Manocha, Gowtham Atluri, Vipin Kumar:
Enhancing the functional content of protein interaction networks. - Nilanjana Datta, Min-Hsiu Hsieh, Mark M. Wilde, Andreas J. Winter:
Quantum-to-classical rate distortion coding. - Mark A. Iwen, Fadil Santosa, Rachel A. Ward:
A symbol-based algorithm for decoding bar codes. - Oswin Aichholzer, Ruy Fabila Monroy, Thomas Hackl, Clemens Huemer, Jorge Urrutia:
Empty Monochromatic Simplices. - Khoat Than, Tu Bao Ho:
Managing sparsity, time, and quality of inference in topic models. - Youwei Zhang, Laurent El Ghaoui:
Large-Scale Sparse Principal Component Analysis with Application to Text Data. - Bernard Ycart:
Alberti's letter counts. - K. K. K. R. Perera, Yoshihiro Mizoguchi:
Bipartition of graphs based on the normalized cut and spectral methods. - Luís M. A. Bettencourt, Horacio Samaniego, Hyejin Youn:
Professional diversity and the productivity of cities. - Arun Chandrasekhar, Matthew O. Jackson:
Tractable and Consistent Random Graph Models. - Shiyu Zhao, Ben M. Chen, Tong Heng Lee:
Optimal Sensor Placement for Target Localization and Tracking in 2D and 3D. - Amir Ali Ahmadi, Anirudha Majumdar, Russ Tedrake:
Complexity of Ten Decision Problems in Continuous Time Dynamical Systems. - Ali Ghiasian, Behnaz Omoomi, Hossein Saidi:
A generalization of line graphs via link scheduling in wireless networks. - Eduardo Mizraji:
The neural computation of Sherlock Holmes' old maxim. - Kun Zhao, Ginestra Bianconi:
Percolation on interacting, antagonistic networks. - B. S. Kochkarev:
About one class polynomial problems with not polynomial certificates. - Antoine Deza, Tamon Stephen, Feng Xie:
Computational Lower Bounds for Colourful Simplicial Depth. - Tomasz Bartnicki, Zofia Miechowicz:
Total Game Coloring of Graphs. - David P. Ellerman:
The Objective Indefiniteness Interpretation of Quantum Mechanics. - Johannes Rauh, Nihat Ay:
Robustness, Canalyzing Functions and Systems Design. - Agata Fronczak:
Exponential random graph models. - Santanu Mondal, Vinod Sharma:
Scheduling Under Fading and Partial Channel Information. - Clive Elphick, Pawel Wocjan:
New spectral bounds on the chromatic number combining eigenvalues of the Laplacian and signless Laplacian. - Mikael Vejdemo-Johansson:
Interleaved equivalence of categories of persistence modules. - Liljana Babinkostova, Kevin W. Bombardier, Matthew C. Cole, Thomas A. Morrell, Cory B. Scott:
A generalized treatment of AES-like ciphers. - Johan P. Hansen:
Osculating Spaces of Varieties and Linear Network Codes. - Andrew M. Steane:
Threat, support and dead edges in the Shannon game. - Ella Gale, Ben de Lacy Costello, Andrew Adamatzky:
Observation of Spontaneous Bursting Spike Patterns Simple Three Memristor Circuits. - Alberto Accomazzi, Tamas Budavari, Christopher J. Fluke, Norman Gray, Robert G. Mann, William O'Mullane, Andreas Wicenec, Michael Wise
:
Astronomy and Computing: a New Journal for the Astronomical Computing Community. - Marién Abreu, Domenico Labbate, Romeo Rizzi, John Sheehan:
Odd 2-factored snarks. - Ari Arapostathis, Vivek S. Borkar, K. Suresh Kumar:
Relative Value Iteration for Stochastic Differential Games. - Carlos Rodríguez-Lucatero, Luis Alarcón, Roberto Bernal Jaquez, Alexander Schaum:
Decision dynamics in complex networks subject to mass media and social contact transmission mechanisms. - Travis E. Gibson, Anuradha M. Annaswamy, Eugene Lavretsky:
Closed-loop Reference Models for Output-Feedback Adaptive Systems. - Ian M. Wanless, Xiande Zhang:
On the Existence of Retransmission Permutation Arrays. - George K. Guskov, Ivan Yu. Mogilnykh, Faina I. Solov'eva:
Ranks of propelinear perfect binary codes. - Marc Massar, Serge Massar:
Mean Field Theory of Dynamical Systems Driven by External Signals. - Piotr Gawron, Dariusz Kurzyk, Zbigniew Puchala:
A model for quantum queue. - Chris Häusler, Alex K. Susemihl:
Temporal Autoencoding Restricted Boltzmann Machine. - Maw-Shang Chang, Ling-Ju Hung, Ton Kloks, Sheng-Lung Peng:
On the threshold-width of graphs. - Anirban Banerjee, Ranjit Mehatari:
Effect on normalized graph Laplacian spectrum by motif joining and duplication. - Venugopal V. Veeravalli, Taposh Banerjee:
Quickest Change Detection. - Sylvain Arlot, Matthieu Lerasle:
Choice of V for V-Fold Cross-Validation in Least-Squares Density Estimation.
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.