mp4man's library 98 articles Export

	Reducing the Dimensionality of Data with Neural Networks [My Copy] Science, Vol. 313, No. 5786. (28 July 2006), pp. 504-507. by G. E. Hinton, R. R. Salakhutdinov posted to inference memory neural by mp4man on 2007-07-12 11:53:28 as along with 26 people and 9 groups mthomure pascanur jdoconnell __andy__ euclid austincarp babakap dakelley zheaton brian pdlug ana barry garyfeng mrkrause yama_tah neilh sdvillal dwf jwdietrich rgb josepe marcusfrean robincha ygarb ancechu structural_bioinformatics ReadingLab MathBio Bioinformatics Cybernetics pileWorks S-Lab Biomedical_Cybernetics AQUA-FONTIS-Study
	Quantum Logic in Intuitionistic Perspective [My Copy] (22 Apr 2002) by Bob Coecke posted to intuitionistic logic property by mp4man on 2007-04-16 09:49:14 as along with 2 people jrw scis0000001
	Algebra and Sequent Calculus for Epistemic Actions [My Copy] by Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh posted to action epistemic logic quantale by mp4man on 2007-04-13 07:34:28 as
	Causality : Models, Reasoning, and Inference [My Copy] (13 March 2000) by Judea Pearl posted to action belief causality inference by mp4man on 2007-04-07 13:50:37 as along with 12 people brianprickett Borelli Benja cyberwulf czeller wnpx paulclinger helsley robotact soc597 pylikosk rrbarb
	Wired 12.10: The Long Tail [My Copy] by Chris Anderson posted to long-tail by mp4man on 2006-11-25 08:27:27 as along with 11 people and 4 groups hdz adeenaa zinp lumumba alisonruth dfrankow wcrosbie harperf rcornell jenmc zarthos GroupLens Wikipedia CoP_CMS SITCRC
	Power laws, Pareto distributions and Zipf's law [My Copy] Contemporary Physics (29 September 2005), pp. 323-351. by M. E. J. Newman posted to pareto power scale-free zipf by mp4man on 2006-11-25 08:19:48 as along with 61 people and 8 groups ddahlem jaspervoskuilen danilov Sergey_gerbek ingo Gorzomagnificent halukbingol makrehchi jotwin pdlug klouie tnhh diamantis flips jfelipe eisdur BelliOS nolodie pietrosperoni egh korakot sccook sriks6711 mafwood A_Olympia JeffreyPalmer derek_farn ansobol devzero nigini yaroslavvb lubrifix mague mapio ecolab garyfeng ChaTo yishuai Borelli bayesian lyongu scottmoody balicea mukundn proportional entropy scis0000001 bigbossman cristinaalp merazzle sugarexpletive MoritzStefaner mylit gi0rgi0ne ejazasi salvoscellato ruffini skheller ulmer quianominorleo dylanwalker Soslab Philosophy_of_Information Blog_and_Wiki_Research ReadingLab 18th-century_history_culture_and_society semantic-multicast-routing Web2 EntrepreneurialRisks
	Zipf´s law and the Internet [My Copy] Glottometrics, Vol. 3 (2002), pp. 143-150. by Lada Adamic, Bernardo Huberman edited by Gabriel Altmann posted to internet scale-free zipf by mp4man on 2006-11-25 08:12:40 as
	Zipf, Power-law, Pareto - a ranking tutorial [My Copy] (4 October 2000) by Lada A. Adamic posted to law pareto power scale-free zipf by mp4man on 2006-11-25 08:03:05 as along with 8 people and 1 group rogerdboyle chrisd ansobol ChaTo dfrankow tolosoft tuttle quianominorleo GroupLens
	The diameter of random massive graphs [My Copy] In Symposium on Discrete Algorithms (2001), pp. 912-921. by Linyuan Lu posted to diameter graph random by mp4man on 2006-11-24 07:53:12 as
	The Structure of Collaborative Tagging Systems [My Copy] (18 Aug 2005) by Scott Golder, Bernardo A. Huberman posted to folksonomy tag by mp4man on 2006-11-23 22:28:47 as along with 264 people and 62 groups wolejnr eustachediemert bundschu vellino aosbat lucybuykx pajoma borkurdotnet cisevol Lucavax nandipati jzm10nyc makrehchi xomic k12musicman mboehmer andreacapocci szymek arjen ekrsulov mxro zpinhead MariaChiaraP AJCann thegoose AnthonySoprano kevinemamy alhoori sirdjsmith mrt2k9 ganden maplover spiritjoy wmdeneve christianholz cgl janicewarner POPB jkstewart bluelena69 VGreiff cimbrone narroyo dullhunk eduardodiaz trisha karimlakhani draggin rabourn nettraq dmolla ericyu korakot jmankoff magnusenger A_Olympia rickl ansobol jomeyertons tyfn pdlug elsantosneto FG mcphee palakorn sabunome ecolab garyfeng xxc cc286 weimer nkorf takeha-e ChaTo pmounier alisonruth ldietz yishuai carolh12 sachac holidaynow wcrosbie libah jrsinclair jgodara jryall zelig ohkura cephas Jaykul Jenneke yish weelassie ctreude cyph3r scottmoody elainelally tolosoft davidleitner sids worksmarts kapil1312 luise darcyduke echi schade dartar meikipp technocrat ElFishski cveres robertodandi kaz24 claudioferreira tintos shilad beatty xrzhao ramonovelar ayanos jodi craigtalbert styliani entropy mbraly gphroh Sulpicus hopst901 wasp msn ianturton deynard fukken ak krisl ilya cavalo j_hsieh mettadata yanbe dk1357 lag omo rashford majak lanubile cristinaalp wrijneveld twetering shashikant PhilipEvans brusilovsky cronopio1979 fnarne myudelson pool avivagabriel itst rgb eduardocruz jrhode brunomelo dalooza vikx01 bug naufraghi KathrinJanke jstowe mzygmunt azygmunt astab GregorSuhr toben82 starchaser Tellima KYati searchy MoritzStefaner harryzou frankieta josepe timothee flavian_vasile simons mattlandau Bernd benhockenberry abetaha dpdearing mook3000 hqcspring mistermagister chirayu_kong bangb amarois pauldonner abonchen PaulBHartzog hanshee quinkell eitelman kaineci jenna ocool lnani anansi thorisalaptop GJNauta rastrol7 AlisonBabeu justaube laurobeltrao ricardoaraujo chiapet discopatrick telekas JimFolk ungethym menjo jima blamb jryall-tags JSicot yuyuyu mjchernyk cb9345 markymaypo RunningHorse PatParslow shirleyearley gconaldi cmschweda MarkLaurent Procyon alkal markasoper abellogin Skinner lxh468 choisyster ffloeck callatax kenneth1ny arasbm bluecricket Deathweaver cherhan acslab Mohan-S Tonsertorben gionis donade janetyc wangyiding paulovn azollers michellutz betaparticle fryanpan teddyyo randomname uhland KOKI0001 vanesam BergmanLab Information Integration Architecture eLearning in Leicester ssw CMU-HCII Philosophy_of_Information Blog_and_Wiki_Research Drexel-HCI ReadingLab CSCW Drexel-eVoting CHISEL Librarians Semantic-Social-Networks GroupLens Wikipedia utoronto-iml OpenArchive CoP_CMS mathgamespatterns semantic-multicast-routing folksonomy Sciences_communication_societe ETEC533 dtl vds-arg SFX-Verde-team-MITLibraries STS OpenVanilla AI eni SITCRC CDG WatzekLibrary social_navigation Web2 ComplexAdaptiveSystems EnvironmentalStudies localization ilyajune FAL Footprints RiSE nlab pileWorks kickOffTUG-Robocup SocialMedia EdTech FacDev TeachOnline AGH-IISG Adaptive-Web TaggingAndSemantics MeAggregator ARTFL oktave-labs Foresight CSU_School_of_Education Web2-0_Education Library 2.0 Social Web ACS
	Lecture Notes on Evasiveness of Graph Properties [My Copy] (18 May 2002) by Laszlo Lovasz, Neal E. Young posted to complexity evasive graph simplex topology by mp4man on 2006-11-01 11:23:35 as along with 2 people and 4 groups euclid iskaldur Algorithms metric_embeddings TCS Polytopes
	Spontaneous Order [My Copy] The Journal of Economic Perspectives, Vol. 3, No. 4. (1989), pp. 85-97. by Robert Sugden posted to economics information order organisation by mp4man on 2006-11-01 08:38:28 as along with 3 people iblee Serenus LuisSegoviano
	Propositional Reasoning [My Copy] In Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, Vol. 2031 (2003) by Michael P. Fourman edited by Tiziana Margaria, Wang Yi posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Formal verification: is it practical for realworld design [My Copy] (1989) by P. Camurati, S. Chin, M. Fourman, C. Pixley, P. Prinetto, A. Takahara posted to fourman by mp4man on 2006-11-01 06:32:21 as
	informatics [My Copy] In International Encyclopedia of Information and Library Science (second edition) (2002) by Michael P. Fourman edited by John Feather, Paul Sturges posted to definition encyclopedia informatics information by mp4man on 2006-11-01 06:32:21 as
	Dialog -- linking formal proof to the design environment [My Copy] (1989) by E. Mayger, M. Francis, R. Harris, G. Musgrave, M. Fourman posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Propositional Planning [My Copy] In Workshop on Model-Theoretic Aproaches to Planning, AIPS 2000 (April 2000) by Michael P. Fourman posted to adl ai bdd model planning strips by mp4man on 2006-11-01 06:32:21 as
	Reasoning about VHDL [My Copy] In Practical Formal Methods for Hardware Design, Vol. 1 (1996) by Nick Chapman, Simon Finn, Michael Fourman edited by Carlos D. Kloos, Werner Damm posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Book Review [My Copy] J. Functional Programming, Vol. 6, No. 1. (1996), pp. 189-193. by Michael P. Fourman posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Partial Functions in a Total Setting [My Copy] J. Automated Reasoning, Vol. 18, No. 1. (1997), pp. 85-104. by Simon Finn, Michael P. Fourman, John Longley posted to function partial reasoning by mp4man on 2006-11-01 06:32:21 as
	Proof and design [My Copy] In Deductive Program Design, Vol. 152 (1996), pp. 397-439. by Michael P. Fourman edited by Manfred Broy posted to design formal proof reasoning by mp4man on 2006-11-01 06:32:21 as
	A Proposed Categorical Semantics for ML Modules [My Copy] In Category Theory and Computer Science (1995), pp. 240-252. by Michael P. Fourman, Hayo Thieleke edited by David Pitt, David E. Rydeheard, Peter Johnstone posted to categorical module semantics sml topos by mp4man on 2006-11-01 06:32:21 as
	The CAD tool of the future [My Copy] In Information Processing 92 (1992) by Michael P. Fourman edited by J. van Leeuwen posted to fourman by mp4man on 2006-11-01 06:32:21 as
	A proposed categorical semantics for Pure ML [My Copy] In {ICALP} '92 International Colloquium on Automata, Languages, and Programming, Wien Austria (1992), pp. 533-544. by Wesley Phoa, Michael Fourman edited by W. Kuich posted to categorical module semantics sml topos by mp4man on 2006-11-01 06:32:21 as
	The LAMBDA Logic. Abstract Hardware Limited, September 1993. In LAMBDA 4.3 Reference Manuals. [My Copy] (1993) by S. Finn, M. Fourman posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Logic Manual for the LAMBDA System [My Copy] (1990) by S. Finn, Michael P. Fourman posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Datatypes in L2 [My Copy] In Higher Order Logic Theorem Proving and its Applications. 7th International Workshop Proceedings (September 1994), pp. 128-43. by N. Chapman, S. Finn, Michael P. Fourman edited by T. F. Melham, J. Camillieri posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Integration of Formal Methods with System Design [My Copy] In {IFIP TC 10/WG} 10.5 International Conference on Very Large Scale Integration (August 1991) by E. M. Mayger, Michael P. Fourman edited by A. Halaas, P. B. Denyer posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Formal Synthesis [My Copy] In IV Higher Order Workshop, Banff 1990 (1991), pp. 245-264. by Michael P. Fourman, R. Hexsel edited by Graham Birtwistle posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Formal Design [My Copy] In Formal Design Methods for {VLSI} (1992) by Michael P. Fourman edited by Jorgen Staunstrup posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Formal System Design [My Copy] In Formal Methods for {VLSI} Design (1990), pp. 191-236. by Michael P. Fourman edited by Jorgen Staunstrup posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Formal system design---interactive synthesis based on computer-assisted formal reasoning [My Copy] In IMEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, Volume 1 (November 1989), pp. 97-110. by S. Finn, M. Fourman, M. Francis, R. Harris edited by Luc Claesen posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Formally based systems design---Interactive hardware scheduling [My Copy] In Proceedings of {VLSI} '89 (1989), pp. 101-112. by Michael P. Fourman, Eleanor M. Mayger posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Interactive Behavioural Synthesis [My Copy] In Electronic Design Automation (1988), pp. 317-329. by Michael P. Fourman, R. Holte, W. J. Palmer, R. M. Zimmer edited by A. P. Ambler posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Proof and Synthesis [My Copy] In International Conference on Circuit Design (1988), pp. 600-603. by Michael P. Fourman, W. J. Palmer, R. M. Zimmer posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Core Tools for the Next Generation of Electronics CAD [My Copy] In Alvey Technical Conference (1988), pp. 428-430. by Michael P. Fourman, W. J. Palmer, R. M. Zimmer posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Core Tools for the Next Generation of Electronics CAD [My Copy] In Electronic Design Automation (1987), pp. 335-340. by Michael P. Fourman, R. Harris, G. Musgrave edited by A. P. Ambler posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Top-down Design as Bottom-up Proof [My Copy] In Electronic Design Automation (1987), pp. 617-628. by Michael P. Fourman, R. Holte, W. J. Palmer, R. M. Zimmer edited by A. P. Ambler posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Using Higher-Order Functions to Describe Hardware [My Copy] In Electronic Design Automation (1987), pp. 87-94. by Michael P. Fourman, W. J. Palmer, R. M. Zimmer edited by A. P. Ambler posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Modular Design as Algebraic Composition [My Copy] In Intelligent CAD Systems I: Theoretical and Methodological Aspects (1987), pp. 176-185. by Michael P. Fourman, R. M. Zimmer edited by Ten P. J. W. Hagen, T. Tomiyama posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Verification using Higher-order Specifications and Transformations [My Copy] In Proc. Silicon Design Conference (July 1986) by Michael P. Fourman edited by A. P. Ambler posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Theories as Categories [My Copy] In Category Theory and Computer Programming (1986), pp. 434-448. by Michael P. Fourman, S. Vickers edited by Pitt, Abramsky, Poigné, Rydeheard posted to category logic semantics by mp4man on 2006-11-01 06:32:21 as
	Strategies for redundancy in WSI [My Copy] In Proc. International Workshop on Wafer-Scale Integration (1986), pp. 72-81. by Michael P. Fourman edited by C. Jessop, W. Moore posted to fourman by mp4man on 2006-11-01 06:32:21 as
	An approach to hardware description for the VIDA [My Copy] In Proc. Silicon Design Conference (1985), pp. 67-85. by Michael P. Fourman, C. M. Fourman, G. Musgrave, A. P. Ambler edited by A. P. Ambler posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Compaction of Symbolic Layout using Genetic Algorithms [My Copy] In Proc. International Conference on Genetic Algorithms and their Applications (1985), pp. 141-153. by Michael P. Fourman edited by J. J. Grefenstette posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Evolving Layout [My Copy] I.E.E. Digest, Vol. 41 (1985) by Michael P. Fourman posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Toposes and modal logic [My Copy] J. Symbolic Logic, Vol. 49 (1984) by Michael P. Fourman, P. Freyd, A. Scedrov posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Continuous truth I, Non-constructive objects [My Copy] In Proc. Logic Colloquium, Florence 1982 (1984), pp. 161-180. by Michael P. Fourman edited by G. Lolli, G. Longo, A. Marcja posted to brouwer choice-sequence intuitionism intuitionistic logic model sheaf topos by mp4man on 2006-11-01 06:32:21 as
	T1 spaces over topological sites [My Copy] J. Pure and Applied Algebra, Vol. 27 (1983), pp. 223-224. by Michael P. Fourman posted to fourman by mp4man on 2006-11-01 06:32:21 as
	Formal Spaces [My Copy] In L.E.J. Brouwer Centenary Symposium (1982), pp. 107-122. by Michael P. Fourman, R. J. Grayson edited by D. van Dalen, A. Troelstra posted to fourman by mp4man on 2006-11-01 06:32:21 as

Note: You may cite this page as: http://www.citeulike.org/user/mp4man

Result page: 1 2 Next

fourman	38
memory	29
logic	10
topos	7
model	6
semantics	5
intuitionistic	4
sheaf	4
intuitionism	3
category	3
topology	3
independence	3
topoi	3
zipf	3
scale-free	3
graph	3
action	2
information	2
planning	2
choice-sequence	2
choice	2
axiom	2
set-theory	2
strips	2
adl	2
forcing	2
simplicial	2
module	2
poset	2
inference	2
ai	2
evasive	2
power	2
pareto	2
sml	2
categorical	2
reasoning	2
sheaves	2
complexity	1
formal	1
quantale	1
encyclopedia	1
epistemic	1
definition	1
partial	1
internet	1
function	1
random	1
bdd	1
simplex	1
organisation	1
brouwer	1
neural	1
order	1
kripke	1
counterexample	1
proof	1
folksonomy	1
causality	1
homotopy	1
property	1
economics	1
informatics	1
tag	1
design	1
g-sets	1
analysis	1
diameter	1
belief	1
long-tail	1
interpretation	1
law	1

mp4man's library 98 articles Export

mp4man's tags