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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
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
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 by YAN QU (Under the Direction of Walter D… (More)
Is this relevant?
2009
2009
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
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
History preserving (hp) and hereditary hp (hhp) bisimilarity are two equivalences for concurrent systems that reflect causal… (More)
Is this relevant?
2002
2002
  • 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
Recent works have proposed pushdown systems as a tool for analyzing programs with (recursive) procedures. In particular, the… (More)
Is this relevant?
2000
2000
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
Syntax and Variable Binding (Extended Abstract) Marcelo Fiore COGS Univ. of Sussex Gordon Plotkin LFCS Univ. of Edinburgh Daniele… (More)
Is this relevant?