FAQ

Laboratory for Foundations of Computer Science

Known as: LFCS 
The Laboratory for Foundations of Computer Science (LFCS) is a research institute within the School of Informatics at the University of Edinburgh, in… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1988-2016
02419882016

Related topics

Related topics

6 relations
Andrew D. GordonChris ToftsDavide SangiorgiDon Sannella
(More)

Related mentions per year

Related mentions per year

1983-2017
19801990200020102020
Laboratory for Foundations of Computer Science
Mark Jerrum
Matthew Hennessy
Don Sannella
Davide Sangiorgi
Andrew D. Gordon

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Semi-supervised saliency classifier based on a linear feedback control system model
Linear feedback control systems (LFCS) are amenable to numerous object recognition and detection tasks on account of its… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2016
2016
Measurement-device-independent quantum digital signatures
Ittoop Vergheese Puthoor, Ryan Amiri, Petros Wallden, Marcos Curty, and Erika Andersson SUPA, Institute of Photonics and Quantum… (More)
Is this relevant?
2011
2011
An Unmanned Aerial Vehicle Controller Based on a Learning Fuzzy Classifier System
AN UNMANNED AERIAL VEHICLE CONTROLLER BASED ON A LEARNING FUZZY CLASSIFIER SYSTEM by YAN QU (Under the Direction of Walter D… (More)
Is this relevant?
2009
2009
FCCS: File Classification Caching Service Based on RAM Grid
Memory intensive applications and I/O intensive applications often suffer from the poor performance of disk swapping when memory… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2008
2008
Probabilistic Conditionals are Almost Monotonic
We examine some old and new paradoxes of probability, give a rough account of probabilistic conditionals, and prove some new… (More)
Is this relevant?
Review
2004
Review
2004
Laboratory for Foundations of Computer Science Hereditary History Preserving Bisimilarity Coincides with History Preserving Bisimilarity for a Class of Live Free Choice Systems
History preserving (hp) and hereditary hp (hhp) bisimilarity are two equivalences for concurrent systems that reflect causal… (More)
Is this relevant?
2002
2002
Fuzzy Learning Classifier Systems for Classification Task
  • Helen Afanasyeva
  • 2002
The Fuzzy Learning Classifier System (FLCS) is a crossover between Learning Classifier System (LCS) and Fuzzy Logic controllers… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 3
Is this relevant?
2001
2001
Laboratory for Foundations of Computer Science Model-Checking LTL with Regular Valuations for Pushdown Systems
Recent works have proposed pushdown systems as a tool for analyzing programs with (recursive) procedures. In particular, the… (More)
Is this relevant?
2000
2000
Laboratory for Foundations of Computer Science Amalgamation of Transition Sequences in the PEPA Formalism
This report presents a proposed formal approach towards reduction of sequences in PEPA components. By performing the described… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Abstract Syntax and Variable Binding
Syntax and Variable Binding (Extended Abstract) Marcelo Fiore COGS Univ. of Sussex Gordon Plotkin LFCS Univ. of Edinburgh Daniele… (More)
Is this relevant?