Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, March 2008
- Keith Bishop:
Qtier-Rapor: Managing Spreadsheet Systems & Improving Corporate Performance, Compliance and Governance.
- Peter Schneider-Kamp, Jürgen Giesl, Alexander Serebrenik, René Thiemann:
Automated Termination Proofs for Logic Programs by Term Rewriting. - Simon Murphy:
EuSpRIG 2006 Commercial Spreadsheet Review. - Deepak Ponvel Chermakani:
Deciding Solvability of a Univariate Polynomial Equation with Integer Coefficients. - Srivatsava Ranjit Ganta, Shiva Prasad Kasiviswanathan, Adam D. Smith:
Composition Attacks and Auxiliary Information in Data Privacy. - Leonid Andreev:
From a set of parts to an indivisible whole. Part I: Operations in a closed mode. - Tamer AbuHmed
, Abedelaziz Mohaisen, DaeHun Nyang:
A Survey on Deep Packet Inspection for Intrusion Detection Systems. - Xin Dong, Gene Cooperman:
Scalable Task-Oriented Parallelism for Structure Based Incomplete LU Factorization. - Sabu M. Thampi, K. Chandra Sekaran:
Mobile Agents for Content-Based WWW Distributed Image Retrieval. - Alberto Dennunzio, Pierre Guillon, Benoît Masson:
A compact topology for sand automata. - Vahan V. Mkrtchyan, Samvel S. Petrosyan, Gagik N. Vardanyan:
TRACTATUS on disjoint matchings in cubic graphs. - Dorit S. Hochbaum:
Polynomial time algorithms for bi-criteria, multi-objective and ratio problems in clustering and imaging. Part I: Normalized cut and ratio regions. - V. R. Vemula, David Ball, Simon R. Thorne:
Towards a Spreadsheet Engineering. - Andrew Kumiega, Ben Van Vliet:
A Software Development Methodology for Research and Prototyping in Financial Markets. - Jocelyn Paine, Emre Tek, Duncan Williamson:
Rapid Spreadsheet Reshaping with Excelsior: multiple drastic changes to content and layout are easy when you represent enough structure. - Simon R. Thorne, David Ball:
Considering Functional Spreadsheet Operator Usage Suggests the Value of Example Driven Modelling for Decision Support Systems. - Raymond Payette:
Documenting Spreadsheets. - Richard Brath, Michael Peters:
Spreadsheet Validation and Analysis through Content Visualization. - Michael Purser, David Chadwick:
Does an awareness of differing types of spreadsheet errors aid end-users in identifying spreadsheets errors? - Kenneth R. Baker, Stephen G. Powell, Barry Lawson, Lynn Foster-Johnson:
Comparison of Characteristics and Practices amongst Spreadsheet Users with Different Levels of Experience. - Paul J. Blayney:
An Investigation of the Incidence and Effect of Spreadsheet Errors Caused by the Hard Coding of Input Data Values into Formulas. - Toshimitsu Masuzawa, Sébastien Tixeuil:
Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs. - Radu Arsinte, Costin Miron:
Acquisition Accuracy Evaluation in Visual Inspection Systems - a Practical Approach. - Radu Arsinte, Attila Ferencz, Costin Miron:
DSP Based System for Real time Voice Synthesis Applications Development. - Tsiriniaina Andriamampianina:
Random hypergraphs and algorithmics. - Ariel Daliot, Danny Dolev, Hanna Parnas:
Self-Stabilizing Pulse Synchronization Inspired by Biological Pacemaker Networks. - Augustin Chaintreau, Pierre Fraigniaud, Emmanuelle Lebhar:
Networks become navigable as nodes move and forget. - Ying Wang, Pierre Moulin:
Blind Fingerprinting. - Erik D. Demaine, Martin L. Demaine, Sándor P. Fekete, Mashhood Ishaque, Eynat Rafalin, Robert T. Schweller, Diane L. Souvaine:
Staged Self-Assembly:Nanomanufacture of Arbitrary Shapes with O(1) Glues. - Jan A. Bergstra, Cornelis A. Middelburg:
Thread algebra for sequential poly-threading. - Josep Freixas, Xavier Molinero, Martin Olsen, Maria J. Serna:
The Complexity of Testing Properties of Simple Games. - Marco Franciosi, Giulia Menconi:
Multi-dimensional sparse time series: feature extraction. - Sander Wahls, Holger Boche, Volker Pohl:
Optimum Zero-Forcing Precoder for Single-Carrier MIMO Systems. - Florent de Dinechin, Christoph Quirin Lauter:
Optimizing polynomials for floating-point implementation. - Debprakash Patnaik, P. S. Sastry, K. P. Unnikrishnan:
Inferring Neuronal Network Connectivity from Spike Data: A Temporal Datamining Approach. - Edith Cohen, Nick G. Duffield, Haim Kaplan, Carsten Lund, Mikkel Thorup:
Variance optimal sampling based estimation of subset sums. - Christopher Pearson, Celina Gibbs, Yvonne Coady:
Intuitive Source Code Visualization Tools for Improving Student Comprehension: BRICS. - Said Hoceini, Abdelhamid Mellouk, Hayet Hafi:
Une approche modulaire probabiliste pour le routage à Qualité de Service intégrée. - Mathieu Barcikowski, Philippe Pernelle, Arnaud Lefebvre, Michel Martinez, Jean Renaud:
Evaluation and exploitation of knowledge robustness in knowledge-based systems. - Leonardo S. Cardoso, Mérouane Debbah, Pascal Bianchi, Jamal Najim:
Cooperative Spectrum Sensing Using Random Matrix Theory. - Peter Jung:
On the Approximate Eigenstructure of Time-Varying Channels. - Alexandros G. Dimakis, Brighten Godfrey, Yunnan Wu, Martin J. Wainwright, Kannan Ramchandran:
Network Coding for Distributed Storage Systems. - Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia:
Aggregating and Deploying Network Access Control Policies. - Jakob Nordström, Johan Håstad:
Towards an Optimal Separation of Space and Length in Resolution. - Soumaya El Kadiri, Philippe Pernelle, Miguel Delattre, Abdelaziz Bouras:
An approach to control collaborative processes in PLM systems. - Noga Alon, Fedor V. Fomin, Gregory Z. Gutin, Michael Krivelevich, Saket Saurabh:
Spanning directed trees with many leaves. - Marie-Pierre Béal, Dominique Perrin:
A quadratic algorithm for road coloring. - Ning Chen, Zhiyuan Yan:
Complexity Analysis of Reed-Solomon Decoding over GF(2^m) Without Using Syndromes. - Florian M. Sebert, Leslie Ying, Yi Ming Zou:
Toeplitz Block Matrices in Compressed Sensing. - Maximilien Gadouleau, Zhiyuan Yan:
Constant-Rank Codes. - Bernhard Haeupler, Siddhartha Sen, Robert Endre Tarjan:
Incremental Topological Ordering and Strong Component Maintenance. - Husnain Mansoor Ali, Anthony Busson, Amina Meraihi Naimi, Véronique Vèque:
Un Algorithme de Gestion des Adjacences basé sur la Puissance du Signal. - Wei Dai, Olgica Milenkovic:
Subspace Pursuit for Compressive Sensing: Closing the Gap Between Performance and Complexity. - Biswajit Biswal:
Website Optimization through Mining User Navigational Pattern. - Laurent Evain:
Knapsack cryptosystems built on NP-hard instance. - Mihyun Kang, Oleg Pikhurko, Alexander Ravsky, Mathias Schacht, Oleg Verbitsky:
Obfuscated Drawings of Planar Graphs. - José M. Martín-García:
xPerm: fast index canonicalization for tensor computer algebra. - Milan Batista:
A Method for Solving Cyclic Block Penta-diagonal Systems of Linear Equations. - Leonardo S. Cardoso, Mari Kobayashi, Mérouane Debbah, Øyvind Ryan:
Vandermonde Frequency Division Multiplexing for Cognitive Radio. - Shiva Prasad Kasiviswanathan, Homin K. Lee, Kobbi Nissim, Sofya Raskhodnikova, Adam D. Smith:
What Can We Learn Privately? - Daniel A. Spielman, Nikhil Srivastava:
Graph Sparsification by Effective Resistances. - Vikram Chandrasekhar, Jeffrey G. Andrews, Alan Gatherer:
Femtocell Networks: A Survey. - Michael Hahsler, Christian Buchta, Kurt Hornik:
Selective association rule generation. - Benjamin Lévêque, Frédéric Maffray, Myriam Preissmann:
Characterizing path graphs by forbidden induced subgraphs. - Michael Hahsler, Kurt Hornik:
New probabilistic interest measures for association rules. - Samuel I. Daitch, Daniel A. Spielman:
Faster Approximate Lossy Generalized Flow via Interior Point Algorithms. - Tadashi Wadayama:
Asymptotic Concentration Behaviors of Linear Combinations of Weight Distributions on Random Linear Code Ensemble. - David Soloveichik:
Robust Stochastic Chemical Reaction Networks and Bounded Tau-Leaping. - Clement Vidal:
The Ultimate Future of Artificial Life: Towards Artificial Cosmogenesis. - Valentin Savin:
Self-Corrected Min-Sum decoding of LDPC codes. - Valentin Savin:
Min-Max decoding for non binary LDPC codes. - Valentin Savin:
Algebraic-geometric codes from vector bundles and their decoding. - Michael Hahsler:
Optimizing Web Sites for Customer Retention. - Abedelaziz Mohaisen, DaeHun Nyang, KyungHee Lee:
Hierarchical Grid-Based Pairwise Key Pre-distribution in Wireless Sensor Networks. - Tal Philosof, Ram Zamir:
The Rate Loss of Single-Letter Characterization: The "Dirty" Multiple Access Channel. - Nadia Fawaz, Keyvan Zarifi, Mérouane Debbah, David Gesbert:
Asymptotic Capacity and Optimal Precoding Strategy of Multi-Level Precode & Forward in Correlated Channels. - Deniz Gündüz, Elza Erkip, H. Vincent Poor:
Secure Lossless Compression with Side Information. - (Withdrawn) Serious Flaws in Korf et al.'s Analysis on Time Complexity of A*.
- Li Chen:
Hsiao-Code Check Matrices and Recursively Balanced Matrices. - Somitra Kumar Sanadhya, Palash Sarkar:
22-Step Collisions for SHA-2. - Mazen Zein, Philippe Wenger, Damien Chablat:
Non-Singular Assembly-mode Changing Motions for 3-RPR Parallel Manipulators. - Jean Creignou, Hervé Diet:
Linear programming bounds for unitary space time codes. - Steve Oudot:
On the Topology of the Restricted Delaunay Triangulation and Witness Complex in Higher Dimensions. - Fedor V. Fomin, Yngve Villanger:
Treewidth computation and extremal combinatorics. - Samir Medina Perlaza, Laura Cottatellucci, Mérouane Debbah:
A Game Theoretic Framework for Decentralized Power Allocation in IDMA Systems. - Nadja Kutz:
On the need for a global academic internet platform. - Robert Shour:
Lexical growth, entropy and the benefits of networking. - Ramachandran Rajesh, Vinod Sharma:
Distributed Joint Source-Channel Coding on a Multiple Access Channel with Side Information. - Satish Babu Korada, Nicolas Macris:
Tight Bounds on the Capacity of Binary Input random CDMA Systems. - Catherine Recanati:
Hybrid Reasoning and the Future of Iconic Representations. - Dean B. Krafft, Aaron Birkland, Ellen J. Cramer:
NCore: Architecture and Implementation of a Flexible, Collaborative Digital Library. - Ron Dabora, Andrea J. Goldsmith:
The Capacity Region of the Degraded Finite-State Broadcast Channel. - Wenbing Zhao:
Integrity-Enhancing Replica Coordination for Byzantine Fault Tolerant Systems. - Wenbing Zhao:
Proactive Service Migration for Long-Running Byzantine Fault Tolerant Systems. - Bart Kuijpers, Vanessa Lemmens, Bart Moelans, Karl Tuyls:
Privacy Preserving ID3 over Horizontally, Vertically and Grid Partitioned Data. - Qi Chen, Uwe Aickelin:
Dempster-Shafer for Anomaly Detection. - David Monniaux:
A Quantifier Elimination Algorithm for Linear Real Arithmetic. - Uwe Aickelin, Adrian Adewunmi:
Simulation Optimization of the Crossdock Door Assignment Problem. - Jarrad Springett, Jeroen Vendrig:
Spatio-activity based object detection. - Helen Celia, Christopher Clegg, Mark Robinson, Peer-Olaf Siebers, Uwe Aickelin, Christine Sprigg:
Using Intelligent Agents to understand organisational behaviour. - Peer-Olaf Siebers, Uwe Aickelin, Helen Celia, Christopher Clegg:
A Multi-Agent Simulation of Retail Management Practices. - Peer-Olaf Siebers, Uwe Aickelin, Helen Celia, Christopher Clegg:
Understanding Retail Productivity by Simulating Management Practise. - Peer-Olaf Siebers, Uwe Aickelin, Helen Celia, Christopher Clegg:
Using Intelligent Agents to Understand Management Practices and Retail Productivity. - Florian Simatos, Philippe Robert, Fabrice Guillemin:
A Queueing System for Modeling a File Sharing Principle. - Peer-Olaf Siebers, Uwe Aickelin, Helen Celia, Christopher Clegg:
An Agent-Based Simulation of In-Store Customer Experiences. - Amanda M. Whitbrook, Uwe Aickelin, Jonathan M. Garibaldi:
Genetic-Algorithm Seeding Of Idiotypic Networks For Mobile-Robot Navigation. - Matthew J. Patitz, Scott M. Summers:
Self-Assembly of Discrete Self-Similar Fractals. - S. Viznyuk:
Use of self-correlation metrics for evaluation of information properties of binary strings. - Lokman I. Meho, Yvonne Rogers:
Citation Counting, Citation Ranking, and h-Index of Human-Computer Interaction Researchers: A Comparison between Scopus and Web of Science. - A. P. Platonov, D. I. Sidelnikov, M. V. Strizhov, Andrei M. Sukhov:
Estimation of available bandwidth and measurement infrastructure for Russian segment of Internet. - Salwani Abdullah, Uwe Aickelin, Edmund K. Burke, Aniza Mohamed Din, Rong Qu:
Investigating a Hybrid Metaheuristic For Job Shop Rescheduling. - Chiachi Huang, Syed Ali Jafar:
Degrees of Freedom of the MIMO Interference Channel with Cooperation and Cognition. - Yusuf Jafry, Fredrika Sidoroff, Roger Chi:
A Computational Framework for the Near Elimination of Spreadsheet Risk. - John C. Nash, Andy Adler, Neil Smith:
TellTable Spreadsheet Audit: from Technical Possibility to Operating Prototype. - Simon R. Thorne, David Ball, Zoe Lawson:
A Novel Approach to Formulae Production and Overconfidence Measurement to Reduce Risk in Spreadsheet Modelling. - Thomas Watteyne, Dominique Barthel, Mischa Dohler, Isabelle Augé-Blum:
WiFly: experimenting with Wireless Sensor Networks and Virtual coordinates. - Ghassan M. Kraidy, Valentin Savin:
Minimum-Delay Decoding of Turbo-Codes for Upper-Layer FEC. - Olivier Finkel:
On Winning Conditions of High Borel Complexity in Pushdown Games. - Olivier Finkel:
On the Topological Complexity of Infinitary Rational Relations. - Olivier Finkel:
Closure Properties of Locally Finite Omega Languages. - Simon R. Thorne, David Ball:
Exploring Human Factors in Spreadsheet Development. - Deborah Cernauskas, Andrew Kumiega, Ben Van Vliet:
Risk Management for Complex Calculations: EuSpRIG Best Practices in Hybrid Applications. - Ziv Hellman:
Breaking Out of the Cell: On The Benefits of a New Spreadsheet User-Interaction Paradigm. - Fred Daneshgaran, Massimiliano Laddomada, Fabio Mesiti, Marina Mondin:
On the Throughput Allocation for Proportional Fairness in Multirate IEEE 802.11 DCF under General Load Conditions. - Pablo García-Sánchez, Juan Luis Jiménez Laredo, Juan P. Sevilla, Pedro A. Castillo, Juan Julián Merelo Guervós:
Improved evolutionary generation of XSLT stylesheets. - Luca Muscariello, Diego Perino:
Early Experiences in Traffic Engineering Exploiting Path Diversity: A Practical Approach. - Marco Lanucara, Riccardo Borghi:
Resampling and requantization of band-limited Gaussian stochastic signals with flat power spectrum. - Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy:
Compressed Modular Matrix Multiplication. - Adrian Adewunmi, Uwe Aickelin, Mike Byrne:
An Investigation of the Sequential Sampling Method for Crossdocking Simulation Output Variance Reduction. - Junwei Zhang, Mustafa Cenk Gursoy:
Achievable Rates and Optimal Resource Allocation for Imperfectly-Known Fading Relay Channels. - Uwe Aickelin, Edmund K. Burke, Jingpeng Li:
Improved Squeaky Wheel Optimisation for Driver Scheduling. - Jingpeng Li, Uwe Aickelin:
The Application of Bayesian Optimization and Classifier Systems in Nurse Scheduling. - Uwe Aickelin, Peter J. Bentley, Steve Cayzer, Jungwon Kim, Julie McLeod:
Danger Theory: The Link between AIS and IDS. - Jocelyn Paine:
Excelsior: Bringing the Benefits of Modularisation to Excel. - Yoann Pigné, Antoine Dutot, Frédéric Guinand, Damien Olivier:
GraphStream: A Tool for bridging the gap between Complex Systems and Dynamic Graphs. - Felix Fontein:
Groups from Cyclic Infrastructures and Pohlig-Hellman in Certain Infrastructures. - Natalia Osipova:
Comparison of the Discriminatory Processor Sharing Policies. - Jean-Luc Fouquet, Jean-Marie Vanherpe:
On $(P_5,\bar{P_5})$-sparse graphs and other families. - Mirela Damian