~ilmu/library

7305ae08b3b8b9d204469cfd3da9e5bcb11a0ce2 — ilmu 2 months ago
moving useful stuff from munet, beware: poorly organized.
366 files changed, 195042 insertions(+), 0 deletions(-)

A books/(Cambridge tracts in theoretical computer science 5) Steven Vickers - Topology via logic-Cambridge University Press.djvu
A books/Jesse Schell - The art of game design_ a book of lenses-Morgan Kaufmann (2008).pdf
A books/Residuation Theory (1972).pdf
A books/mpc-secret-sharing.pdf
A papers/974938.pdf
A papers/Chris Hanson_ Gerald Jay Sussman - Software Design for Flexibility_ How to Avoid Programming Yourself into a Corner-MIT Press (2021).pdf
A papers/EECS-2012-167.pdf
A papers/Hawthorne--Bayesian_Confirmation_Theory.pdf
A papers/LSP82.pdf
A papers/SLEEP.pdf
A papers/SipesWilliam.pdf
A papers/TDANotes.pdf
A papers/algebra.pdf
A papers/almeida2014.pdf
A papers/auth-datastructures/Tamassia-2003-ADS.pdf
A papers/auth-datastructures/Valiant2008_Chapter_IncrementallyVerifiableComputa.pdf
A papers/auth-datastructures/ads-based-on-lattices.pdf
A papers/auth-datastructures/boneh-rsa_accumulators.pdf
A papers/auth-datastructures/cads.pdf
A papers/auth-datastructures/coll-free-accum.pdf
A papers/auth-datastructures/dyn-acc-for-creds.pdf
A papers/auth-datastructures/frontrunning-grinding-and-reordering-attacks.pdf
A papers/auth-datastructures/gpads-full.pdf
A papers/auth-datastructures/indexing-foundational-proof-carrying-code.pdf
A papers/auth-datastructures/key-value-commitments-in-zero-knowledge.pdf
A papers/auth-datastructures/proof-carrying_data_and_hearsay_arguments_from_signature_cards.pdf
A papers/auth-datastructures/proof-carrying_data_from_accumulation_schemes.pdf
A papers/auth-datastructures/proof-carrying_data_without_succinct_arguments.pdf
A papers/auth-datastructures/recursive_zk_arguments_from_folding_schemes.pdf
A papers/auth-datastructures/terminusdb.pdf
A papers/auth-datastructures/universal-atomic-swaps.pdf
A papers/auth-datastructures/vdf.pdf
A papers/compiler/continuations-from-category-theory.pdf
A papers/compiler/dfs-for-dags.pdf
A papers/compiler/download.pdf
A papers/compiler/dung1995_argument.pdf
A papers/compiler/esop2013.pdf
A papers/compiler/flexible-incremental-parsing.pdf
A papers/compiler/freeco11-piumarta-abmdb.pdf
A papers/compiler/handlers.pdf
A papers/compiler/how-to-incrementally-build-a-compiler.pdf
A papers/compiler/macros-felleisen-fexprs.pdf
A papers/compiler/matrixtree.pdf
A papers/compiler/piumarta-open-extensible-composition-models.pdf
A papers/compiler/spampinato2019.pdf
A papers/compiler/txforest.pdf
A papers/compiler/type-analysis-of-logic-programs.pdf
A papers/compiler/type-class-morphisms-long.pdf
A papers/compiler/type-theory-in-ludics.pdf
A papers/compiler/wambook.pdf
A papers/consensus/anon-in-coop-boargames.pdf
A papers/consensus/bayesian-multi-truth-discovery.pdf
A papers/consensus/bayesian-truth-discover-conflicting-source.pdf
A papers/consensus/byz-gen-permissionless.pdf
A papers/consensus/data-synthesis-integration.pdf
A papers/consensus/domain-aware-multi-truth-discovery.pdf
A papers/consensus/everything-is-a-race.pdf
A papers/consensus/foundational-proof-carrying-code.pdf
A papers/consensus/player-of-games.pdf
A papers/consensus/raft.pdf
A papers/consensus/simple-proofs-of-sequential-work.pdf
A papers/consensus/stanford-montanari-notes.pdf
A papers/consensus/truth-discovery.pdf
A papers/consensus/truth-finding-in-deep-web.pdf
A papers/consensus/ugo-bayes-petri.pdf
A papers/consensus/unifying-inference-for-bayesian-and-petri-nets.pdf
A papers/consensus/wait-free-zookeeper.pdf
A papers/convex_market_makers.pdf
A papers/ctbn-inf.pdf
A papers/datalog/2SAT.pdf
A papers/datalog/50-years-of-prolog.pdf
A papers/datalog/Lecture-21-Datalog.pdf
A papers/datalog/William F. Clocksin, Christopher S. Mellish - Programming in Prolog, using the ISO standard- Springer (2003).djvu
A papers/datalog/algorithm.pdf
A papers/datalog/alice_book-reading_in_database_systems_has_chapter_on_datalog.pdf
A papers/datalog/cdatalog_padl03.pdf
A papers/datalog/datalog2011-dedalus.pdf
A papers/datalog/datalog_linear_logic.pdf
A papers/datalog/dbreformulation.pdf
A papers/datalog/declarativeNets.pdf
A papers/datalog/declarenet_cacm09.pdf
A papers/datalog/differential_datalog_vmware.pdf
A papers/datalog/disjunction.pdf
A papers/datalog/formulog-smt.pdf
A papers/datalog/ic3-pdr-and-friends.pdf
A papers/datalog/icreformulation.pdf
A papers/datalog/inversemethod-genesehreth+duschka.pdf
A papers/datalog/large-scale-program-analysis.pdf
A papers/datalog/linear-algebra-approach-to-datalog-evaluation.pdf
A papers/datalog/overlog-decl-routing.pdf
A papers/datalog/overview-of-all-the-stuff.Ameloot.pdf
A papers/datalog/query-combinators.pdf
A papers/datalog/quicksand-cidr2009.pdf
A papers/datalog/recursivequeryplans.pdf
A papers/datalog/sigmod906t-huang-slides.pdf
A papers/datalog/sigmod906t-huang.pdf
A papers/datalog/trichotomy_and_linear_datalog_rewriteability.pdf
A papers/datalog/warren_machine_book.pdf
A papers/dijkstra-shortest-path.pdf
A papers/egg_library.pdf
A papers/egg_optimization.pdf
A papers/egg_original.pdf
A papers/entropy-metric-on-latt.pdf
A papers/extension-contraction-TSE-March-1979.pdf
A papers/hardware/implementing-lambda.pdf
A papers/info-geom/04.qi-minka-picard-ghahramani.pdf
A papers/info-geom/Berger - Statistical Decision Theory and Bayesian Analysis-Springer (1985).pdf
A papers/info-geom/Diard03a.pdf
A papers/info-geom/Fima C. Klebner - Introduction to stochastic calculus with applications-Imperial College Press (2005).pdf
A papers/info-geom/KoganThesis-measure-automata.pdf
A papers/info-geom/NIPS-2013-learning-to-pass-expectation-propagation-messages-Paper.pdf
A papers/info-geom/NIPS-2014-just-in-time-learning-for-fast-and-flexible-inference-Paper.pdf
A papers/info-geom/bayes-diff-geo.pdf
A papers/info-geom/bayes-point-machines.pdf
A papers/info-geom/bayes-synthesis-of-prob-progs.pdf
A papers/info-geom/bayesian_methods_for_neural_nets.pdf
A papers/info-geom/bayesian_model_comparison_backprop_nets.pdf
A papers/info-geom/belief-revision-and-minimal-change.pdf
A papers/info-geom/blockchain-security.pdf
A papers/info-geom/cantor-scott.pdf
A papers/info-geom/chapter1_rao_infgeo.pdf
A papers/info-geom/chapter2_raodiffgeo.pdf
A papers/info-geom/denotional-validation-of-higher-order-bayesian-inference.pdf
A papers/info-geom/distbayes.pdf
A papers/info-geom/elo_for_mmos.pdf
A papers/info-geom/elo_generalized_via_bayes.pdf
A papers/info-geom/ep-in-practice.pdf
A papers/info-geom/ep_life_jmlr.pdf
A papers/info-geom/ep_summary.pdf
A papers/info-geom/expectation-propagation.pdf
A papers/info-geom/frenetic-event-driven-pldi16.pdf
A papers/info-geom/geom-of-interaction.pdf
A papers/info-geom/gkat.pdf
A papers/info-geom/how-to-drink-from-a-firehose.pdf
A papers/info-geom/info-geom-for-nn.pdf
A papers/info-geom/information_geometry.pdf
A papers/info-geom/kernel-based-jit-learning.pdf
A papers/info-geom/mcnetkat.pdf
A papers/info-geom/minka-aspect.pdf
A papers/info-geom/minka-diagrams.ps.gz
A papers/info-geom/minka-dirtree.pdf
A papers/info-geom/minka-divergence.pdf
A papers/info-geom/minka-ep-energy.pdf
A papers/info-geom/minka-ep-quickref.pdf
A papers/info-geom/minka-ep-uai.pdf
A papers/info-geom/minka-eptree.pdf
A papers/info-geom/minka-errorbars.pdf
A papers/info-geom/minka-gates-tr.pdf
A papers/info-geom/minka-gaussian.pdf
A papers/info-geom/minka-infinite-abstract.pdf
A papers/info-geom/minka-linear.pdf
A papers/info-geom/minka-thesis.pdf
A papers/info-geom/minka-uniform.pdf
A papers/info-geom/netkat-automata.pdf
A papers/info-geom/player-of-games.pdf
A papers/info-geom/power_expectation_propagation.pdf
A papers/info-geom/probnetkat.pdf
A papers/info-geom/snep-distributed-bayesian-learning.pdf
A papers/info-geom/snep.pdf
A papers/info-geom/stochastic_feedforward_networks.pdf
A papers/info-geom/trueskill.pdf
A papers/info-geom/trueskill2.pdf
A papers/info-geom/tutorial_bayesian_model_avging.pdf
A papers/lattices/(Cambridge Tracts in Theoretical Computer Science 44) Jon Barwise, Jerry Seligman - Information Flow_ The Logic of Distributed Systems-Cambridge University Press (1997).pdf
A papers/lattices/(Discrete Mathematics and Theoretical Computer Science) Jürg Kohlas (auth.) - Information Algebras_ Generic Structures For Inference-Springer-Verlag London (2003).pdf
A papers/lattices/Dylan Johnson Graph Theory and Linear Algebra.pdf
A papers/lattices/LogicGamesPhilosophy.pdf
A papers/lattices/MultiTrees.pdf
A papers/lattices/Tsementzis2017FirstOrderLogicWithIsomorphism.pdf
A papers/lattices/affine-logic-for-constructive-math.pdf
A papers/lattices/aho-corasick-for-pattern-lattice.pdf
A papers/lattices/algo-find-module-of-lattice.pdf
A papers/lattices/all-i-want-to-know-about-knowledge-spaces-and-fca.pdf
A papers/lattices/all-i-want-to-know-about-knowledge-spaces-and-fca2.pdf
A papers/lattices/all-regular-matroids-seymour-1980.pdf
A papers/lattices/analysing-verbs-via-fca.pdf
A papers/lattices/anti-monotone-analysis.pdf
A papers/lattices/categories-with-folds.pdf
A papers/lattices/cats-for-compsci.pdf
A papers/lattices/computability-logic-in-the-beginning-there-were-games.pdf
A papers/lattices/concept-lattice-2018.pdf
A papers/lattices/connecting-many-valued-contexts-to-general-geometric-structures.pdf
A papers/lattices/crdts.pdf
A papers/lattices/datalog-lattice-program-analysis.pdf
A papers/lattices/decomposing-lattices-and-bigraphs.pdf
A papers/lattices/decomposition-methods.pdf
A papers/lattices/delta-state-crdt.pdf
A papers/lattices/dependency-structures.pdf
A papers/lattices/designing-crdt.pdf
A papers/lattices/distributivity-in-formal-concept-analysis.pdf
A papers/lattices/domain-knowledge-w-concept-lattice-and-expert-constraints.pdf
A papers/lattices/erdweg2021-type-safe-structural-diff.pdf
A papers/lattices/extracting-decision-tree-from-interval-pattern-in-concept-lattice.pdf
A papers/lattices/factorizing-boolean-matrices.pdf
A papers/lattices/finding-complete-sublattice-of-lattice.pdf
A papers/lattices/formal-concept-analysis-2021.pdf
A papers/lattices/fresh-view-on-fuzzy-fca-and-math-morphology.pdf
A papers/lattices/fundamental-proof-of-arithmetic.pdf
A papers/lattices/fuzzy-domain-galois-adjunction.pdf
A papers/lattices/game-lattices-new-perspective-on-shapley.pdf
A papers/lattices/games-on-lattices-intent-core.pdf
A papers/lattices/generate-planar-lattices.pdf
A papers/lattices/graded-fca-continuous-degree-of-connectedness.pdf
A papers/lattices/graded-fca-continuous-degree-of-connectedness2.pdf
A papers/lattices/how-to-assess-boolean-matrix-factorization-algorithms.pdf
A papers/lattices/how-to-assess-boolean-matrix-factorization-algorithms2.pdf
A papers/lattices/illustration-of-fca.pdf
A papers/lattices/incremental-stream-processing-with-crdts.pdf
A papers/lattices/interaction-challenges-in-poset-construction.pdf
A papers/lattices/interval-structures-analyzed-using-fca.pdf
A papers/lattices/intro-to-cats-and-cat-logics.pdf
A papers/lattices/intro-to-computability-logic.pdf
A papers/lattices/knowledge-spaces-3.pdf
A papers/lattices/knowledge-spaces-lattices.pdf
A papers/lattices/knowledge-spaces-lattices2.pdf
A papers/lattices/lattice-access.pdf
A papers/lattices/lattice-based-consensus-clustering.pdf
A papers/lattices/lattice-info-theory-of-communication.pdf
A papers/lattices/latviz.pdf
A papers/lattices/local-search-and-hypergraphs.pdf
A papers/lattices/mapreduce.pdf
A papers/lattices/modal-logic-coalgebra.pdf
A papers/lattices/more-boolean-matrix-factorization.pdf
A papers/lattices/motivation-for-binary-decomposition.pdf
A papers/lattices/names-should-mean-what-not-where.pdf
A papers/lattices/optimized-crdt-set.pdf
A papers/lattices/order-embedded-lattices.pdf
A papers/lattices/partial-dub-of-convex-sets-in-lattices.pdf
A papers/lattices/pattern-structures-and-their-morphisms.pdf
A papers/lattices/planar-lattices-via-additivity.pdf
A papers/lattices/practical-coinduction.pdf
A papers/lattices/properties-of-fca-wrt-chu.pdf
A papers/lattices/querying-relational-concept-lattices.pdf
A papers/lattices/quotient-lenses.pdf
A papers/lattices/reconfigurable-lattices.pdf
A papers/lattices/scaffolding-of-lattice.pdf
A papers/lattices/scalable-grow-only-counter-crdt.pdf
A papers/lattices/scale-of-lattices-clique-analogue.pdf
A papers/lattices/semantics-of-package-management.pdf
A papers/lattices/semantics-of-version-control.pdf
A papers/lattices/spectral-lattices-of-reducible-matrices-over-completed-idempotent-semifields.pdf
A papers/lattices/stone-rep-thrm-from-fca-ppl.pdf
A papers/lattices/tensor-prod-complete-lattices.pdf
A papers/lattices/thesis_versioning-trees.pdf
A papers/lattices/truth-degrees-over-similarity-degrees.pdf
A papers/lattices/type-safe-diff.pdf
A papers/lattices/uipq.ps
A papers/lattices/universal_coalgebra.pdf
A papers/lattices/weak-dicomplementation-and-the-pattern.pdf
A papers/lattices/ziplist-based-on-treap.pdf
A papers/lattices/zoom-out-lattice.pdf
A papers/logic-and-lattices.pdf
A papers/meiklejohn2015.pdf
A papers/multi-adjoint-fca.pdf
A papers/network/honda-pi-calc-eq-proof-nets.pdf
A papers/network/local-vs-higher-order.pdf
A papers/network/net-opt-datalog.pdf
A papers/network/nyquistoverview-web.pdf
A papers/network/social-sensorfusion.pdf
A papers/network/spkisdsi_csfw03.pdf
A papers/p643-Dijkstra.pdf
A papers/petrinets/(Lecture Notes in Computer Science 3465 _ Programming and Software Engineering) Ugo Montanari, Marco Pistore (auth.), Marco Bernardo, Alessandro Bogliolo (eds.) - Formal Methods for Mobile Computing_ .pdf
A papers/petrinets/(Lecture Notes in Computer Science 5065 _ Theoretical Computer Science and General Issues) Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (e.pdf
A papers/petrinets/19_shirahata-interaction-calculus-exposition.pdf
A papers/petrinets/Lemanski-MeansorEnd.OntheValuationofLogicDiagrams.pdf
A papers/petrinets/algebraic-semantics-for-structured-transition-systems-logic-programming-ugo.pdf
A papers/petrinets/art.pdf
A papers/petrinets/bialgebraic-semantics-for-logic-programming.pdf
A papers/petrinets/categories-of-nets.pdf
A papers/petrinets/coimbra-chu-spaces.pdf
A papers/petrinets/concur02.pdf
A papers/petrinets/cyclic-reference-counting.pdf
A papers/petrinets/dialectica.pdf
A papers/petrinets/event-structures-for-pns-w-persistence.pdf
A papers/petrinets/graphical-languages-for-monoid-cats.pdf
A papers/petrinets/henry-baker-pn-langs.ps.Z
A papers/petrinets/history-of-trees-in-math.pdf
A papers/petrinets/interactive-semantic-of-logic-programming-ugo.pdf
A papers/petrinets/kock_elements_of_pn.pdf
A papers/petrinets/logic-programming-laxness-and-saturation.pdf
A papers/petrinets/modelling-concurrency-with-geometry.pdf
A papers/petrinets/modelling-concurrency-with-partial-orders.pdf
A papers/petrinets/petri-nets-are-monoids-ugo.pdf
A papers/petrinets/picturing-resources-in-concurrency.pdf
A papers/petrinets/removing-confusion.pdf
A papers/petrinets/seqconc.pdf
A papers/petrinets/sigma_nets_categories_of_nets.pdf
A papers/petrinets/some-quantum-thing.pdf
A papers/petrinets/stone-coalgebra.pdf
A papers/petrinets/systems-generative-effects.pdf
A papers/petrinets/ugo-course-1.lambda.pdf
A papers/petrinets/ugo-course-3.conc.pdf
A papers/petrinets/ugo-course-4.CCS.pdf
A papers/petrinets/ugo-course-5.picalcolo.pdf
A papers/petrinets/ugo-course-6.HDAutomata.pdf
A papers/petrinets/ugo-course-7.LogicProgramming.pdf
A papers/petrinets/ugo-course-italian-2.types.pdf
A papers/petrinets/ugo_important_paper.pdf
A papers/phd-thesis.pdf
A papers/plt/(Lecture Notes in Computer Science 5486 _ Theoretical Computer Science and General Issues) Michael Altenhofen, Egon Börger (auth.), Andrea Corradini, Ugo Montanari (eds.) - Recent Trends in Algebraic .pdf
A papers/plt/(Texts in Theoretical Computer Science. An EATCS Series) Roberto Bruni, Ugo Montanari (auth.) - Models of Computation-Springer International Publishing.pdf
A papers/plt/From_Applicative_to_Environmental_Bisimulation.pdf
A papers/plt/Lapointe.pdf
A papers/plt/PPS2016.pdf
A papers/plt/Roberto Bruni, Ugo Montanari - Models of Computation-Springer.pdf
A papers/plt/_- ISO Prolog standard, part 1_ General core, ISO-IEC-13211-1 (1995).djvu
A papers/plt/_- ISO Prolog standard, part 2_ Modules, ISO-IEC-13211-2 (2000).djvu
A papers/plt/abramsky-mccusker-game-semantics.pdf
A papers/plt/bisimulation-for-type-abstraction-and-recursion.pdf
A papers/plt/categorical-programming-language.pdf
A papers/plt/chu-spaces-quantum-logic-ph94.pdf
A papers/plt/complementary-ssgip12.pdf
A papers/plt/delim-control-logic.pdf
A papers/plt/delimited-dynamic-binding.pdf
A papers/plt/equality-saturation.pdf
A papers/plt/expressivity-of-higher-dim-automata.pdf
A papers/plt/frenetic-lada12.pdf
A papers/plt/gasbichler2002-shift-reset.pdf
A papers/plt/handlers-tutorial.pdf
A papers/plt/hott-vcs.pdf
A papers/plt/hyland-effectivetopos.pdf
A papers/plt/icfp07-fyff.pdf
A papers/plt/icfp2019.pdf
A papers/plt/idris-qtt.pdf
A papers/plt/intro-to-game-semantics.pdf
A papers/plt/intro-to-prob-programming.pdf
A papers/plt/intro-to-shift-reset.pdf
A papers/plt/jshutt.pdf
A papers/plt/lasc1990-sf.pdf
A papers/plt/lazy-lambdas.pdf
A papers/plt/lebotlan-ML-to-F.pdf
A papers/plt/logic.scm
A papers/plt/monadic-fw-for-delimcont-2007.pdf
A papers/plt/monadicDC.pdf
A papers/plt/netcore-popl12.pdf
A papers/plt/notes-on-game-semantics-2015.pdf
A papers/plt/open-systems-for-mathematicians.pdf
A papers/plt/pldi93-sitaram.pdf
A papers/plt/ppv.pdf
A papers/plt/programming-collaborative-ref.pdf
A papers/plt/rosetta.pdf
A papers/plt/shift-reset-direct.pdf
A papers/plt/shonan-113-report.pdf
A papers/plt/shonan-handlers-report.pdf
A papers/plt/short-paper-applied-game-semantics.pdf
A papers/plt/small-step-typechecking.tar.gz
A papers/plt/structural-diffing.pdf
A papers/plt/swierstra2014.pdf
A papers/plt/two-dim-type-theory.pdf
A papers/plt/type-inference.scm
A papers/reed2008.pdf
A papers/seplogix/iris-from-the-ground-up.pdf
A papers/seplogix/primer-on-sep-logic.pdf
A papers/slab-spike.pdf
A papers/techreport.pdf
A papers/ui/api-design.pdf
A papers/ui/henderson1982-functional-grahics.pdf
A papers/ui/mcclim.pdf
A papers/uniqueCS.pdf
A papers/whitepaper/datalisp.aux
A papers/whitepaper/datalisp.log
A papers/whitepaper/datalisp.pdf
A papers/whitepaper/datalisp.tex
A papers/whitepaper/missfont.log
A papers/whitepaper/sed1line.txt
A papers/wpsds-2015-preprint.pdf
This diff is too large to display. Try viewing the raw diff instead.