science.io - Formal sciences

Topic: Formal sciences

Sort: New & recommended · Active · Top Recommended · New

	Separate Source-Channel Coding for Broadcasting Correlated Gaussians. (arXiv:1104.0230v2 [cs.IT] UPDATED) By Yang Gao,Ertem Tuncel 1 · 0 · from ArXiv:cs.IT · published 05/2011
	A theory of intelligence: networked problem solving in animal societies. (arXiv:0909.0173v6 [cs.AI] UPDATED) By Robert Shour 1 · 0 · from ArXiv:cs.AI · published 05/2011
	Universally Typical Sets for Ergodic Sources of Multidimensional Data. (arXiv:1105.0393v2 [cs.IT] UPDATED) By Tyll Krueger,Guido Montufar,Ruedi Seiler,Rainer Siegmund-Schultze 1 · 0 · from ArXiv:cs.IT · published 05/2011
	Universally Typical Sets for Ergodic Sources of Multidimensional Data. (arXiv:1105.0393v1 [cs.IT]) By Tyll Krüger,Guido Montufar,Ruedi Seiler,Rainer Siegmund-Schultze 1 · 0 · from ArXiv:cs.IT · published 05/2011
	Improved Redundancy Bounds for Exponential Objectives. (arXiv:1102.2641v2 [cs.IT] UPDATED) By Michael B. Baer 1 · 0 · from ArXiv:cs.IT · published 05/2011
	Minimum Redundancy Coding for Uncertain Sources. (arXiv:1102.2678v2 [cs.IT] UPDATED) By Michael B. Baer,Farzad Rezaei,Charalambos D. Charalambous 1 · 0 · from ArXiv:cs.IT · published 05/2011
	Optimal Delay-Reconstruction Tradeoffs in Peer-to-Peer Networks By Ahmed, Ebad;Wagner, Aaron B.; 1 · 0 · from J-SAC · published 05/2011
	Noisy Network Coding By Lim, S. H.;Kim, Y.-H.;El Gamal, A.;Chung, S.-Y.; 1 · 0 · from TIT · published 05/2011
	On Macroscopic Complexity and Perceptual Coding. (arXiv:1005.1684v8 [cs.IT] UPDATED) By John Scoville 1 · 0 · from ArXiv:cs.AI · published 04/2011
	Algorithms and complexity results for persuasive argumentation☆☆☆ By 1 · 0 · from AIJ · published 03/2011
	Computational techniques for a simple theory of conditional preferences By 1 · 0 · from AIJ · published 12/2010
	Separate Source-Channel Coding for Broadcasting Correlated Gaussians By Gao, Yang, Tuncel, Ertem 1 · 0 · from ArXiv-CS · published 04/2011
	Achievable Rates for Multiple Descriptions With Feed-Forward By Venkataramanan, R.;Pradhan, S. S.; 1 · 0 · from TIT · published 04/2011
	Redundancy-Related Bounds for Generalized Huffman Codes By Baer, M. B.; 1 · 0 · from TIT · published 04/2011
	Beyond the Cut Set Bound: Uncertainty Computations in Network Coding with Correlated Sources By Gohari, Amin Aminzadeh, Yang, Shenghao, Jaggi, Sidharth 1 · 0 · from ArXiv-CS · published 03/2011
	MDP Optimal Control under Temporal Logic Constraints By Ding, Xu Chu, Smith, Stephen L., Belta, Calin, Rus, Daniela 1 · 0 · from ArXiv-CS · published 03/2011
	Discovering evolutionary theme patterns from text: an exploration of temporal text mining By Qiaozhu Mei 1 · 0 · User Submitted · published 01/2005
	A separation logic for refining concurrent objects By Aaron Joseph Turon, Mitchell Wand 2 · 0 · from POPL 2010 · published 01/2011
	Distributed Source Coding Using Abelian Group Codes: A New Achievable Rate-Distortion Region By Krithivasan, D.;Pradhan, S. S.; 1 · 0 · from TIT · published 03/2011
	Middle History of Logic Programming: Resolution, Planner, Edinburgh LCF, Prolog and the Japanese Fifth Generation Project By Hewitt, Carl 1 · 0 · from ArXiv-CS · published 04/2009
	Statistics of statisticians: Critical mass of statistics and operational research groups in the UK By Kenna, Ralph, Berche, Bertrand 1 · 0 · from ArXiv-Stat · published 02/2011
	Rate-Constrained Simulation and Source Coding IID Sources By Mao, Mark Z., Gray, Robert M., Linder, Tamas 1 · 0 · from ArXiv-CS · published 08/2010
	Physical-Layer Security: Combining Error Control Coding and Cryptography By Harrison, Willie K, McLaughlin, Steven W. 1 · 0 · from ArXiv-CS · published 01/2009
	Tandem Coding and Cryptography on Wiretap Channels: EXIT Chart Analysis By Harrison, Willie K, McLaughlin, Steven W. 1 · 0 · from ArXiv-CS · published 05/2009
	Coding for Cryptographic Security Enhancement using Stopping Sets By Harrison, W. K., Almeida, J., McLaughlin, S. W., Barros, J. 1 · 0 · from ArXiv-CS · published 02/2011
	The Dispersion of Lossy Source Coding By Ingber, Amir, Kochman, Yuval 1 · 0 · from ArXiv-CS · published 02/2011
	Improved Redundancy Bounds for Exponential Objectives By Baer, Michael B. 1 · 0 · from ArXiv-CS · published 02/2011
	Minimum Redundancy Coding for Uncertain Sources By Baer, Michael B., Rezaei, Farzad, Charalambous, Charalambos D. 1 · 0 · from ArXiv-CS · published 02/2011
	Quantifying the Fraction of Missing Information for Hypothesis Testing in Statistical and Genetic Studies By Nicolae, Dan L., Meng, Xiao-Li, Kong, Augustine 1 · 0 · from ArXiv-Stat · published 02/2011
	Computation using Noise-based Logic: Efficient String Verification over a Slow Communication Channel By Kish, Laszlo B., Khatri, Sunil, Horvath, Tamas 1 · 0 · from ArXiv-CS · published 05/2010

more ->

Topic Editors:

This topic is currently unedited. To recommend someone for editor or apply yourself email editors@science.io.