Abramsky - PDFSEARCH.IO - Document Search Engine

Abramsky
Results: 42

#	Item
21	InspiredResearch Winter 2013 Issue 4 Research News from the Department of Computer Science, University of Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2014-01-21 12:54:58 Bacteria Biofilm Biological matter Environmental microbiology Environmental soil science Samson Abramsky Department of Computer Science University of Oxford Berkeley Open Infrastructure for Network Computing Computer science Microbiology Biology Theoretical computer science
22	Algorithmic Game Semantics and its Applications: Final Report S. Abramsky C.-H. L. Ong 31 January 2006 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-01-14 04:37:24 Logic Game semantics Denotational semantics Formal verification Programming language International Colloquium on Automata Languages and Programming Formal methods Mathematical logic Model checking Theoretical computer science Logic in computer science Applied mathematics
23	Thyroid Federation International Established in September 1995 in Toronto, Canada Founder Diana Meltzer Abramsky, CM BA (Canada[removed] Add to Reading List Source URL: www.thyroid-fed.org Language: English - Date: 2012-03-20 11:17:04 Endocrinology Desiccated thyroid extract Thyroid hormone Hypothyroidism Thyroid Hyperthyroidism Thyroxine Triiodothyronine Iodine deficiency Thyroid disease Medicine Endocrine system
24	Abernethy, Tami Abramsky, Elizabeth Adams, Linsy Agic, Alen Al-Yasserg, Esam Andersen, Heidi Add to Reading List Source URL: www.state.ia.us Language: English - Date: 2014-09-19 10:41:54
25	A TALK BY SASHA ABRAMSKY FREELANCE JOURNALIST & AUTHOR Add to Reading List Source URL: communication.ucsd.edu Language: English - Date: 2014-04-07 19:05:17 Abramsky Surnames The Other America
26	16. Energy and Social Reproduction Kolya Abramsky “Listen! We ought to be in a wood choppers union! Chop wood for breakfast! Chop wood, wash his clothes! Chop wood, heat the iron! Add to Reading List Source URL: www.commoner.org.uk Language: English - Date: 2012-03-21 09:14:41 Energy Capital accumulation Energy industry Reproduction Energy crisis Energy development Marxist theory Economics Technology
27	Domain Theory and the Logic of Observable Properties Samson Abramsky Submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-03-07 07:28:20 Logic in computer science Programming language semantics Formal sciences Model theory Denotational semantics Operational semantics Semantics Proof theory Interpretation Logic Mathematical logic Theoretical computer science
28	Computing Science Group Coalgebras, Chu Spaces, and Representations of Physical Systems Samson Abramsky Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:36:15 Mathematics Coalgebra F-coalgebra Functor Chu space Natural transformation Fibred category Concrete category Sheaf Category theory Abstract algebra Algebra
29	A Cook’s Tour of the Finitary Non-Well-Founded Sets Samson Abramsky Oxford University Computing Laboratory 1 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:32:32 Boolean algebra Order theory Algebraic structures General topology Algebraic logic Metric space Ultrafilter Filter Algebra Mathematics Structure Mathematical logic
30	A Compositional Game Semantics for Multi-Agent Logics of Partial Information Samson Abramsky Oxford University Computing Laboratory Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:36:07 Semantics Formal languages Predicate logic Independence-friendly logic Game semantics Interpretation First-order logic Model theory Entailment Logic Philosophical logic Metalogic