BarrosH's cs [68 articles] Export

Recent papers added to BarrosH's library classified by the tag cs. You can also see everyone's cs.

	The algorithm description language ALDES (report) [My Copy] SIGSAM Bull., Vol. 10, No. 1. (February 1976), pp. 14-38. by R&\#252;diger G. K. Loos posted to algorithm cs by BarrosH on 2006-05-04 10:46:58 as
	Logic for computer science: Foundations of automatic theorem proving [My Copy] by Jean H. Gallier posted to cs logic by BarrosH on 2006-04-30 09:31:20 as
	Computer Science and Computing : A Guide to the Literature [My Copy] (30 November 2005) by Michael Knee posted to cs study_method by BarrosH on 2006-04-29 21:06:08 as along with 1 person ansobol
	Interior Point Methods in Semidefinite Programming with Applications to Combinatorial Optimization [My Copy] SIAM J Optimization, Vol. 5, No. 1. (1995), pp. 13-51. by Farid Alizadeh posted to algorithm combinatorics computation cs math by BarrosH on 2006-04-26 14:12:33 as
	Evolutionary Socioeconomics: a Schumpeterian Computer Simulation [My Copy] (23 Apr 2006) by Michele Tucci posted to cs economics systems by BarrosH on 2006-04-26 09:17:32 as
	Parsing Techniques 2/e (Monographs in Computer Science) [My Copy] (31 May 2006) by Dick Grune, Ceriel J. H. Jacobs posted to algorithm cs by BarrosH on 2006-04-24 02:38:36 as
	Artificial Intelligence: A Modern Approach [My Copy] (30 December 2002) by Stuart Russell, Peter Norvig posted to algorithm cs systems by BarrosH on 2006-04-18 13:43:13 as along with 64 people and 7 groups bfraser Gargunzola kizzie grefab mircea longtop uri_patish hawkes tijszwinkels mchinen ombamawu breadshe eliang jorisslob billkidwell ruzel Benja egunn pprett brian tmancill JamieLewis rickiemakin paulclinger Maderlock korakot creswick kmregan harald leidner kutabar pajoma jounih gonium hansjoergmueller msn pilho majak aniak Nightscape d_burfoot fcamel ephel hukkinen PaulBHartzog roland_ewald fmarquar incognito lcigler 1like fdr serebryakov uniqueraihan waghsk boomi arasbm csacca spinaltap526 mapio napvasconcelos tkollar jasmithoffice cyph3r fongenae Philosophy_of_Information Blog_and_Wiki_Research FAL musil dIEMoSIRIS MuSAMA MoSi-Rostock
	Complexity analysis of term-rewriting systems [My Copy] Theoretical Computer Science, Vol. 67, No. 2-3. (3 October 1989), pp. 261-282. by C. Choppy, S. Kaplan, M. Soria posted to algorithm automata complexity computation cs symbolic by BarrosH on 2006-04-11 15:50:20 as
	Knowledge Representation: Logical, Philosophical, and Computational Foundations [My Copy] (17 August 1999) by John F. Sowa posted to cs logic math by BarrosH on 2006-04-09 03:01:08 as along with 15 people and 6 groups jasonzou chrwos jmaddi mxro hamish xamde wcrosbie pajoma caomo msn eduardocruz bug mzygmunt incognito Wurlitzer Information Integration Architecture Wikipedia CoP_CMS AI RiSE musil
	The Description Logic Handbook: Theory, Implementation and Applications [My Copy] (24 March 2003) posted to cs logic math by BarrosH on 2006-04-09 03:00:55 as along with 15 people and 3 groups mektas fongenae jorisslob liekeverhelst wcrosbie pajoma dullhunk karlh onlyme msn stephane-jean phoenix incognito josemgarcia ps_ttf Wikipedia CoP_CMS musil
	Knowledge Representation and Reasoning (The Morgan Kaufmann Series in Artificial Intelligence) [My Copy] (19 May 2004) by Ronald Brachman, Hector Levesque posted to cs information logic by BarrosH on 2006-04-09 02:54:51 as along with 7 people and 2 groups jasonzou vlasto ryanshaw dullhunk karlh mircea slavkovik sims_phd_cohort_2005 digital_youth
	Nonmonotonic Reasoning [My Copy] (04 April 1997) by Grigoris Antoniou posted to cs logic by BarrosH on 2006-04-09 02:53:39 as along with 2 people leechuck nmaudet
	Handbook of Automated Reasoning [My Copy] (01 September 2001) by J. Robinson posted to cs logic by BarrosH on 2006-04-09 02:52:38 as along with 1 person florianfischer
	Automata and Computability (Undergraduate Texts in Computer Science) [My Copy] (28 December 1999) by Dexter C. Kozen posted to automata computation cs by BarrosH on 2006-04-06 14:34:18 as along with 2 people tmarscha svozil
	A Note on the Approximation of a Minimum-Weight Maximal Independent Set [My Copy] Computational Optimization and Applications, Vol. 14, No. 1. (July 1999), pp. 157-169. by Marc Demange posted to algorithm approximation cs graph by BarrosH on 2006-03-29 18:41:10 as
	A simple proof that finding a maximal independent set in a graph is in NC [My Copy] Information Processing Letters, Vol. 92, No. 4. (30 November 2004), pp. 185-187. by Aaron Windsor posted to algorithm complexity computation cs graph parallel by BarrosH on 2006-03-29 18:37:31 as
	On the parallel complexity of computing a maximal independent set in a hypergraph [My Copy] In STOC '92: Proceedings of the twenty-fourth annual ACM symposium on Theory of computing (1992), pp. 339-350. by Pierre Kelsen posted to algorithm cs graph parallel by BarrosH on 2006-03-29 18:27:36 as
	Sparse dynamic programming II: convex and concave cost functions [My Copy] J. ACM, Vol. 39, No. 3. (July 1992), pp. 546-567. by David Eppstein, Zvi Galil, Raffaele Giancarlo, Giuseppe F. Italiano posted to algorithm cs by BarrosH on 2006-03-15 14:30:11 as
	Simulation of Discrete Systems using Probabilistic Sequential Systems [My Copy] (13 Mar 2006) by Maria A. Avino-Diaz, Gabriela Bulancea, Oscar Moreno posted to algorithm combinatorics complexity computation cs pre-print probability systems by BarrosH on 2006-03-14 13:19:04 as
	Automatic Complexity Analysis for Programs Extracted from Coq Proof [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering (CLASE 2005), Vol. 153, No. 1. (30 March 2006), pp. 35-53. by Jean-Pierre Jouannaud, Weiwen Xu posted to algorithm complexity computation cs math by BarrosH on 2006-03-13 11:58:43 as
	Computability, Complexity, and Languages, Second Edition : Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing) [My Copy] (03 February 1994) by Martin Davis, Ron Sigal, Elaine J. Weyuker posted to cs logic math by BarrosH on 2006-02-21 15:42:47 as
	Computability and Unsolvability (Mcgraw-Hill Series in Information Processing and Computers.) [My Copy] (01 December 1985) by Martin Davis posted to computation cs logic by BarrosH on 2006-02-21 15:42:17 as along with 1 person and 1 group mattjb DSTO-CAS
	Complexity and Approximation: Combinatorial Optimization Problems and Their Approximability Properties [My Copy] (07 January 2000) by G. Ausiello, P. Crescenzi, V. Kann, Marchetti-Sp, Giorgio Gambosi, Alberto M. Spaccamela posted to algorithm combinatorics cs math by BarrosH on 2006-02-17 04:32:13 as along with 3 people and 1 group ansobol gdv cybrpunk dopsy
	Classical physics and the Church--Turing Thesis [My Copy] J. ACM, Vol. 50, No. 1. (January 2003), pp. 100-105. by Andrew C. Yao posted to complexity computation cs physics by BarrosH on 2006-02-14 09:21:40 as along with 9 people and 3 groups ansobol jrw djhda estrabd arnia dmitri83 gane5h camu huangxl cogent_computing Crypto Randomness
	Probability, Random Processes, and Ergodic Properties [My Copy] (22 January 1990) by Robert M. Gray posted to cs information math probability by BarrosH on 2006-02-12 06:21:39 as along with 1 person ansobol
	Computational Mechanics: Pattern and Prediction, Structure and Simplicity [My Copy] (19 June 2000) by Cosma R. Shalizi, James P. Crutchfield posted to complexity cs math physics pre-print systems by BarrosH on 2006-02-12 02:36:25 as along with 8 people and 2 groups Bochmann ansobol jrw jack scis0000001 livingthingdan qwermish abominable Vision livingthing
	A theoretician's guide to the experimental analysis of algorithms [My Copy] (1996) by D. Johnson posted to algorithm cs programming study_method by BarrosH on 2006-02-09 17:07:52 as along with 9 people and 1 group ansobol DineshGaitonde jrw imouthesmp rahul wnpx estrabd meatball eswar_physics SRL
	Phase Transitions in Combinatorial Optimization Problems : Basics, Algorithms and Statistical Mechanics [My Copy] (04 November 2005) by Alexander K. Hartmann, Martin Weigt posted to algorithm cs graph physics systems by BarrosH on 2006-02-07 08:28:17 as along with 3 people ansobol fghorow rsantana
	Graph and Union of Graphs Compositions [My Copy] (31 Jan 2006) by Wieslaw Bajguz posted to algorithm cs graph by BarrosH on 2006-02-01 17:34:38 as along with 1 person ansobol
	Accelerated Force Computation for Physics-based . . . [My Copy] by Ming Hao, Et posted to algorithm cs graph by BarrosH on 2006-01-27 15:59:39 as along with 1 person hannes
	Packing r-Cliques in Weighted Chordal Graphs [My Copy] Annals of Operations Research, Vol. 138, No. 1. (September 2005), pp. 179-187. by P. Hell, S. Klein, L. Nogueira, F. Protti posted to cs graph by BarrosH on 2006-01-27 12:24:51 as along with 1 person ima
	Basic Category Theory for Computer Scientists (Foundations of Computing) [My Copy] (07 August 1991) by Benjamin C. Pierce posted to cs math by BarrosH on 2006-01-23 08:59:24 as along with 12 people and 1 group pedagand fvogels olegus draganigajic ansobol jrw proportional bonotake devnull Scis0000002 ds jimburton Lambda the Ultimate
	Categories and Computer Science (Cambridge Computer Science Texts) [My Copy] (27 August 1992) by R. F. C. Walters posted to cs math by BarrosH on 2006-01-23 08:59:20 as along with 6 people and 1 group ansobol jrw pajoma proportional bonotake incognito musil
	Methods and Techniques of Complex Systems Science: An Overview [My Copy] (24 Mar 2006) by Cosma R. Shalizi posted to complexity cs math systems by BarrosH on 2006-01-21 10:51:36 as along with 10 people and 5 groups freesci noel ansobol jrw shibu184 yish ddahlem pverstra livingthingdan abominable mathgamespatterns dtl vds-arg eni macc
	Ideals, Varieties, and Algorithms : An Introduction to Computational Algebraic Geometry and Commutative Algebra (Undergraduate Texts in Mathematics) [My Copy] (22 July 2005) by David Cox, John Little, Donal O'Shea posted to algebra algorithm cs math by BarrosH on 2006-01-21 09:28:55 as along with 3 people cdnewbee danielaugot mbaric
	Dynamics, Computation, and the [My Copy] (11 Jun 1993) by M. Mitchell, J. P. Crutchfield, P. T. Hraber posted to complexity computation cs information math physics by BarrosH on 2006-01-21 07:32:20 as
	Combinatorial Optimization : Theory and Algorithms (Algorithms and Combinatorics) [My Copy] (29 April 2002) by Bernhard Korte, Jens Vygen posted to algorithm combinatorics cs math by BarrosH on 2006-01-20 23:56:49 as along with 2 people ansobol jrw
	Arithmetic, Proof Theory, and Computational Complexity (Oxford Logic Guides) [My Copy] (10 June 1993) by Peter Clote, Jan Kraj'icek posted to algorithm complexity computation cs logic math by BarrosH on 2006-01-20 12:55:23 as
	Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science) [My Copy] (27 July 2000) by A. S. Troelstra, H. Schwichtenberg, Anne S. Troelstra posted to algorithm computation cs logic by BarrosH on 2006-01-20 12:55:10 as along with 2 people mperalta kontakte
	Algebraic Theory of Automata & Languages [My Copy] by Masami Ito posted to algebra combinatorics cs math by BarrosH on 2006-01-20 12:43:43 as
	New Constructions in Cellular Automata (Santa Fe Institute Studies on the Sciences of Complexity) [My Copy] (27 March 2003) by David Griffeath, Cristopher Moore posted to algebra combinatorics cs math by BarrosH on 2006-01-20 12:42:59 as along with 3 people and 2 groups ansobol scholz jrw Sociology MASSS
	Combinatorial Optimization : Networks and Matroids [My Copy] (02 March 2001) by Eugene Lawler posted to algorithm combinatorics cs by BarrosH on 2006-01-20 11:48:07 as along with 2 people ansobol djlin
	Combinatorial Optimization : Algorithms and Complexity [My Copy] (07 July 1998) by Christos H. Papadimitriou, Kenneth Steiglitz posted to algorithm combinatorics complexity cs by BarrosH on 2006-01-20 11:47:54 as along with 12 people djlin danielamaral gale82 ansobol dariusb gdv greenw pcarbo fghorow gagliol rsantana nilton
	Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics) [My Copy] (28 May 1973) by Chin-Liang Chang, Richard C. Lee posted to computation cs logic math by BarrosH on 2006-01-20 11:45:27 as along with 1 person mperalta
	Handbook of Computational Group Theory (Discrete Mathematics and Its Applications) [My Copy] (13 January 2005) by Derek F. Holt posted to algebra algorithm computation cs math by BarrosH on 2006-01-19 02:29:32 as along with 4 people ansobol jrw proportional Scis0000002
	Universality and complexity in cellular automata [My Copy] Physica D: Nonlinear Phenomena, Vol. 10, No. 1-2. (January 1984), pp. 1-35. by Stephen Wolfram posted to complexity computation cs math by BarrosH on 2006-01-18 04:40:59 as along with 6 people tg1w mrkn muraken ansobol jrw Koh
	An Introduction to Kolmogorov Complexity and Its Applications (Texts in Computer Science) [My Copy] (27 February 1997) by Ming Li, Paul Vitanyi posted to complexity cs information by BarrosH on 2006-01-16 18:16:34 as along with 9 people and 1 group gogoasa ansobol stanley ddahlem scis0000001 rgb michaelmampaey robertoalamino robotact pileWorks
	The Design and Analysis of Algorithms (Monographs in Computer Science) [My Copy] (03 December 1991) by Dexter C. Kozen posted to algorithm complexity cs by BarrosH on 2006-01-02 08:21:00 as
	Communication Complexity [My Copy] (28 December 1996) by Eyal Kushilevitz, Noam Nisan posted to algorithm complexity cs information by BarrosH on 2005-12-29 13:39:51 as along with 2 people and 1 group AbnerCYH Lara CSBBGraphTheory
	Statecharts: A Visual Formalism for Complex Systems [My Copy] Science of Computer Programming, Vol. 8, No. 3. (June 1987), pp. 231-274. by David Harel posted to algebra algorithm complexity cs by BarrosH on 2005-12-28 07:22:38 as along with 2 people brady Davor

Note: You may cite this page as: http://www.citeulike.org/user/BarrosH/tag/cs

Result page: 1 2 Next

algorithm	133
math	120
graph	92
complexity	86
combinatorics	77
computation	72
cs	68
systems	44
algebra	43
probability	39
biology	34
approximation	31
random	26
logic	25
physics	25
automata	22
information	17
programming	16
of	15
pre-print	15
functions	15
discrete	14
graphs	13
symbolic	13
generating	12
dynamical	12
geometry	12
algorithms	11
topology	11
tree	11
cellular	11
walk	10
parallel	10
analysis	10
trees	10
lattice	10
lie	9
group	9
function	8
permutations	7
model	7
search	7
study_method	7
decomposition	7
theory	6
binary	6
theorem	6
symmetric	6
tilings	5
set	5
permutation	5
walks	5
linear	5
word	4
convergence	4
problem	4
system	4
brownian	4
paths	4
data	4
markov	4
game	4
formula	4
operator	4
cycle	4
economics	4
numbers	4
modular	4
basis	4
height	4
sequence	4
polynomials	4
motion	4
algebras	4
polynomial	4
perfect	4
processes	4
np-completeness	4
words	4
partition	4
lyndon	3
generalized	3
central	3
surface	3
path	3
patterns	3
convex	3
groups	3
models	3
classification	3
phase	3
process	3
circuit	3
transition	3
method	3
matrices	3
finite	3
percolation	3
free	3
and	3
on	3
tableaux	3
closure	3
simple	3
tiling	3
structures	3
representation	3
sparse	3
cayley	3
history	3
series	3
proof	3
branching	2
distance	2
schur	2
boolean	2
pile	2
languages	2
limit	2
arrangements	2
sand	2
bijective	2
q-analogue	2
criteria	2
hyperplane	2
moments	2
subword	2
communications	2
planar	2
processing	2
critical	2
sieve	2
catalan	2
singularity	2
simplicial	2
overlap-free	2
conjecture	2
partitions	2
interval	2
grammars	2
q-analogs	2
recurrence	2
enumeration	2
circuits	2
constant	2
structure	2
statistical	2
matrix	2
ring	2
firing	2
decidability	2
networks	2
coloring	2
broken	2
saddle	2
algebraic	2
homogeneous	2
point	2
computational	2
network	2
weak	2
modulus	2
interacting	2
young	2
shuffle	2
pathwidth	2
chip	2
polyominoes	2
p_4-structure	2
number	2
fields	2
queue	2
methods	2
composite	2
transfer	2
average-case	2
mechanics	2
invariant	2
functional	2
poset	2
d0l	2
kernel	2
bounds	2
computations	2
dynamics	2
multicast	2
integer	2
rational	2
quasicrystals	2
distributive	2
lower	2
drawing	2
length	2
gas	2
matching	2
asymptotic	2
scheduling	2
bernoulli	2
forbidden	2
environment	2
recursive	2
uniform	2
factorization	2
complex	2
strong	2
asymptotics	2
rewriting	2
reconstruction	2
hilbert	2
decompositions	1
transforms	1
bi-infinite	1
second-order	1
sum	1
curves	1
monadic	1
embedding	1
non-crossing	1
resolution	1
heat	1
time	1
ratio	1
timing	1
harness	1
elias	1
transitive	1
treewidth	1
minimal	1
non-colliding	1
harmonic	1
moment	1
prediction	1
consistency	1
friendly	1
extremality	1
chebyshev	1
generic	1
rooted	1
robinson-schensted-knuth	1
scattering	1
catv	1
k-sat	1
descent	1
direct	1
one	1
routing	1
specification	1
re-indexation	1
lagrange	1
ramanujan	1
light	1
term	1
monomer-dimer	1
perfection	1
contexts	1
translations	1
burning	1
matroid	1
expanders	1
zeilbergers	1
the	1
sets	1
orientation	1
effect	1
normality	1
subgroups	1
estimates	1
self	1
polytechnic	1
recognition	1
sagbi-grobner	1
immune	1
page-number	1
urns	1
domino	1
design	1
hamming	1
queues	1
secret	1
maxima	1
p-fold	1
norm	1
strategies	1
blockcodes	1
signal	1
theories	1
partitioning	1
wz	1
subexceedant	1
q-binomial	1
cograph	1
karamatas	1
projection	1
degree	1
hypercubic	1
symmetry	1
van	1
dirichlet	1
schroder	1
block	1
permuvar	1
sources	1
summation	1
strip	1
balancing	1
bellman-harris	1
complete	1
distribution	1
magnus	1
multi-scale	1
ordered	1
well-spread	1
morphisms	1
t-design	1
granular	1
dyck	1
space-filling	1
tandem	1
symbols	1
identifying	1
lorentz	1
arrays	1
hexagon	1
special	1
substitution	1
reasoning	1
hypercube	1
b-chromatic	1
locating-dominating	1
mobile	1
polytope	1
implementation	1
p_4-indifference	1
spanning	1
definition	1
stanleys	1
thresholds	1
internal	1
coefficient	1
first-passage	1
bijections	1
bandwidth	1
finitely	1
sandpile	1
acceptance	1
sorting	1
ramified	1
persistence	1
claw-free	1
automatic	1
entropy	1
reliability	1
closed	1
stack-number	1
quasi-closed	1
trie	1
report	1
fibonacci	1
worst-case	1
fumctions	1
m-ary	1
clusterization	1
allocation	1
p-connected	1
chromatic	1
fault-tolerance	1
undecidability	1
case	1
datatypes	1
burkes	1
estimation	1
sour	1
hardy	1
non	1
size	1
scheme	1
3-colourability	1
large	1
recurrences	1
explicit	1
urn	1
identity	1
saturated	1
shape	1
markovian	1
lp	1
entropic	1
polyas	1
arrow	1
hard-core	1
piecewise	1
factorizing	1
locality	1
rules	1
unification	1
limiting	1
diameter	1
digits	1
maps	1
thermodynamics	1
queue-number	1
life	1
atomic	1
pseudo	1
diagonalization	1
deviations	1
media	1
predecessor	1
right-invariant	1
doubling	1
poissonization	1
clustering	1
genome	1
sums	1
compact	1
martingales	1
composition	1
blob	1
derangements	1
affine	1
university	1
implicational	1
presented	1
rhombus	1
parity	1
nested	1
matchings	1
streams	1
colorful	1
abelian	1
sidon	1
binomial	1
catalytic	1
bisection	1
histograms	1
california	1
existence	1
mellin	1
sufficient	1
nonlinear	1
gibbs	1
defect	1
constructions	1
first	1
analytic	1
shephard	1
first-order	1
noncommutative	1
labelling	1
denfants	1
formulae	1
randomization	1
string	1
hook-length	1
reciprocity	1
server	1
hd0l	1
transposition	1
inverse	1
latin	1
streaming	1
temporal	1
luis	1
rank-2	1
density	1
hurwitz	1
task	1
exponential	1
hironaka	1
anti-exchange	1
quicksort	1
numeration	1
q-equations	1
space-time	1
comparison	1
theoryanalysis	1
expanding	1
maximum	1
san	1
homology	1
discovery	1
codes	1
combinatorial	1
performance	1
cut	1
analytical	1
observational	1
toppling	1
reversibility	1
hamiltonian	1
eccentricity	1
self-organization	1
dual	1
cascades	1
stack	1
classes	1
carlitz	1
cubic	1

BarrosH's cs [68 articles] Export

BarrosH's tags