robotact's introduction [16 articles] Export

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

	Introduction to linear logic and ludics, part II [My Copy] Advances in Mathematics (China), Vol. 35, No. 1. (19 Jan 2006), pp. 1-44. by Pierre-Louis Curien posted to ludics introduction 22 by robotact on 2009-10-01 13:02:58 as along with 1 person robertjohnsimmons
	Notes on game semantics [My Copy] (2006) by Pierre-Louis Curien posted to introduction game_semantics by robotact on 2009-09-21 17:25:40 as
	Naive Set Theory [My Copy] (16 January 1960) by Paul R. Halmos posted to textbooks set_theory introduction by robotact on 2009-09-12 01:47:20 as
	Conceptual mathematics: a first introduction to categories [My Copy] (1991) by F. William Lawvere, Stephen H. Schanuel posted to introduction category_theory 55555 by robotact on 2009-08-17 22:57:21 as
	Lecture notes on the lambda calculus [My Copy] (22 Apr 2008) by Peter Selinger posted to lambda_calculus introduction 22 by robotact on 2009-08-16 02:44:42 as along with 1 person ansobol
	Proofs and types [My Copy] (1989) by Jean Y. Girard, Paul Taylor, Yves Lafont posted to logic linear_logic introduction formal_semantics curry-howard computer_science 4444 by robotact on 2009-07-24 12:27:44 as along with 7 people and 1 group pedagand ddemange dimvar robertjohnsimmons alec AndreasSchropp jonathlela ConcertRG
	Domain theory [My Copy] In Handbook of Logic in Computer Science (1994), pp. 1-168. by Samson Abramsky, Achim Jung edited by S. Abramsky, D. Gabbay, T. S. E. Maibaum posted to 4444 denotational_semantics domain_theory introduction by robotact on 2009-06-04 16:32:24 as
	Semantics with Applications: An Appetizer [My Copy] (28 March 2007) by Hanne R. Nielson, Flemming Nielson posted to formal_semantics introduction textbooks by robotact on 2009-05-29 13:44:55 as along with 2 people yoriyuki leonardo
	Programming Language Semantics [My Copy] In CRC Handbook of Computer Science (1997), pp. 2237-2254. by David A. Schmidt edited by Allen Tucker posted to 333 formal_semantics introduction programming_languages by robotact on 2009-05-27 16:26:53 as
	Introduction to Coalgebra: Towards Mathematics of States and Observations [My Copy] (2005) by Bart Jacobs posted to 4444 coalgebra introduction by robotact on 2009-04-30 20:15:10 as
	Basic Concepts of Abstract Interpretation [My Copy] Building the Information Society In Building the Information Society (2004), pp. 359-366. by Patrick Cousot, Radhia Cousot edited by R. Jacquard posted to 22 abstract_interpretation introduction by robotact on 2009-04-09 18:32:04 as along with 1 person pedagand
	Abstract interpretation: a semantics-based tool for program analysis [My Copy] In Semantic modelling, Vol. 4 (1995), pp. 527-636. by Neil D. Jones, Flemming Nielson posted to abstract_interpretation denotational_semantics introduction by robotact on 2009-04-08 18:31:37 as along with 2 people mercutio bunge
	Program analysis as model checking of abstract interpretations [My Copy] Lecture Notes In Computer Science In Proceedings of the 5th International Symposium on Static Analysis, Vol. 1503 (September 1998), pp. 351-380. by D. A. Schmidt, B. Steffen edited by G. Levi posted to 4444 abstract_interpretation introduction model_checking by robotact on 2009-04-08 17:53:49 as
	Understanding belief propagation and its generalizations [My Copy] (2002), pp. 239-269. by Jonathan S. Yedidia, William T. Freeman, Yair Weiss posted to 4444 bayesian_networks belief_propagation factor_graphs free_energy introduction kikuchi_approximation markov_random_fields mean_field by robotact on 2009-01-28 09:47:23 as along with 12 people wasteland93 FMZ Quixote markusd bhaddow dowlingj rsantana ElQuijote42 zeppe lcigler mmcgloho matjes
	Category theory: a programming language-oriented introduction [My Copy] (2008) by Pierre-Louis Curien posted to category_theory introduction by robotact on 2009-01-11 00:54:29 as
	A Categorical Manifesto [My Copy] Mathematical Structures in Computer Science, Vol. 1, No. 1. (1991), pp. 49-67. by Joseph A. Goguen posted to 333 category_theory computer_science introduction by robotact on 2009-01-10 14:37:19 as along with 14 people and 1 group pedagand spl ansobol jrw bonotake scis0000001 pilho rgb kaqui ajk artur masteraka popx marcinzalewski pileWorks

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

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

22	70
books	68
333	59
neuroscience	50
machine_learning	47
fantasy	37
textbooks	33
4444	32
bayesian	29
bayesian_networks	29
review	25
category_theory	22
hippocampus	21
sci-fi	20
abstract_interpretation	19
place_cells	19
agi	18
cogsci	16
formal_semantics	16
linear_logic	16
introduction	16
grid_cells	14
symbol_grounding	14
information_theory	14
1	13
decision_theory	13
seminal	12
hebbian_learning	12
philosophy	12
malazan_series	12
markov_models	11
tutorial	11
ethshar_series	10
connectionism	10
oscillation	10
programming_languages	10
game_semantics	9
clustering	9
maximum_margin	9
concepts	9
model_checking	8
computer_science	8
analogy	8
coalgebra	8
compositionality	8
theta_precession	8
lambda_calculus	8
incremental_networks	8
episodic_memory	7
sequence_models	7
stdp	7
physics	7
science	7
neural_networks	7
utility_representation	7
logic	7
belief_propagation	7
denotational_semantics	7
cognitive_theory	7
complex_systems	6
transition_systems	6
entropy	6
to_close	6
online_learning	6
copycat	5
recurrent_networks	5
concurrency	5
friendly_ai	5
representation	5
ludics	5
galois_connection	5
bias	5
programming	5
curry-howard	5
farg	5
fiction	5
visual_processing	5
sparse_coding	5
prince_of_nothing	4
action	4
cognition	4
proper_scoring_rules	4
shruti	4
kikuchi_approximation	4
evolutionary_psychology	4
causality	4
relational_data	4
55555	4
algebra	4
bisimulation	4
domain_theory	4
polychrony	4
nlp	4
order_theory	4
short_story	4
conditional_random_fields	4
mean_field	3
termodynamics	3
type_systems	3
type_theory	3
probabilistic_databases	3
covenant_chronicles	3
memory	3
temporal_logics	3
epistemology	3
rationality	3
pi_calculus	3
markov_random_fields	3
discriminative_learning	3
reversibility	3
monte_carlo	3
spiking_networks	3
eurisko	3
history	3
survey	3
cox_theorem	2
prediction	2
spatiotemporal	2
logic_programming	2
model_theory	2
factor_graphs	2
cell_assemblies	2
quantum_mechanics	2
mdp	2
deep_networks	2
naive_bayes	2
linear_objects	2
generative_learning	2
reinforcement_learning	2
coinduction	2
robust_programs	2
forgetting	2
proof_search	2
logical_inference	2
genetic_algorithms	2
topos_theory	2
geometry_of_interaction	2
set_theory	2
attractors	2
generative_networks	2
real_numbers	2
nars	2
semi_supervised	2
neocortex	2
sme	2
raam	2
exposition	2
concept_blending	1
novamente	1
border_cells	1
temporal_reasoning	1
compression	1
feature_construction	1
subthreshold_oscillation	1
abstract_machines	1
classifiers	1
hrr	1
mathematics	1
classical_mechanics	1
view_cells	1
measurement_theory	1
automata	1
stellate_cells	1
probability_theory	1
frame_representation	1
cegar	1
cortical_columns	1
modular_analysis	1
input_derivatives	1
free_energy	1
tensors	1
frequentist	1
aczel_sets	1
computability	1
functional_programming	1
dimentionality_reduction	1
logistic_regression	1
probabilistic_grammars	1
subjective_probability	1
bucket_elimination	1
delayed_networks	1
intuitionistic_logic	1
time	1
viterbi_algorithm	1
neural_ensemble	1
relativity	1
mating	1
transfer_learning	1
compilers	1
process_algebra	1
ising_model	1
fairness	1
9_unavailable	1
lida	1
aixi	1
bayesian_programs	1
agnostic_learning	1
learning_networks	1
consciousness	1
academia	1
synchrony	1
parietal_cortex	1
overview	1
go	1
higher_categories	1
variational_methods	1
proof_theory	1
conjunction_fallacy	1
lisa	1
neural_map	1
proof_nets	1
biology	1
unsupervised_learning	1
fixed_point	1
dtp	1
operational_semantics	1
paradoxes	1
svd	1
ontology	1
axiomatic_semantics	1
boosting	1
statistics	1
svm	1
hilbert_space	1
perception	1
physical_probability	1
optimization	1
aspect_oriented_programming	1
particle_filters	1

robotact's introduction [16 articles] Export

robotact's tags