Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,154,067 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Andrew D. Gordon
Chris Tofts
Davide Sangiorgi
Don Sannella
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
PLATAFORMA DE INVESTIGACIÓN DE REDES ELÉCTRICAS RECONFIGURABLES DE ENERGÍAS RENOVABLES APLICANDO MODELOS LFSR
C. Sandoval-Ruiz
2019
Corpus ID: 212962614
En esta investigacion se presenta una plataforma para adaptacion modular de redes electricas, con el objetivo de optimizar la…
Expand
2018
2018
Control de Micro-Redes de Energía Renovable a través de estructuras LFCS Reconfigurables en VHDL
C. Sandoval-Ruiz
Ciencia y Tecnología
2018
Corpus ID: 149649993
Esta investigación presenta el diseño de un control basado en arquitectura LFCS (Linear Feedback Concurrent Structure), sobre…
Expand
2016
2016
years of oral lipid-based formulations : Provenance , progress and future perspectives ☆
O. Feeney
,
M. Crum
,
+6 authors
C. Porter
2016
Corpus ID: 49322799
a Drug Delivery, Disposition and Dynamics, Monash Institute of Pharmaceutical Sciences, Monash University, 381 Royal Parade…
Expand
2013
2013
On the controllability and weight controllability of double integrator consensus systems
Darina Goldin
IEEE Conference on Decision and Control
2013
Corpus ID: 19402821
We consider controllability of leader-follower networks running a double integrator consensus algorithm, communicating over…
Expand
2013
2013
Magnetfeldoptimierung des LFCS Luftspulensystems für das KATRIN Hauptspektrometer
N. Stallkamp
2013
Corpus ID: 191956144
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 All Rights Reserved Iii an Unmanned…
QU Yan
,
W. Potter
,
Y. Qu
,
K. Rasheed
,
S. Bhandarkar
,
Maureen Grasso
2011
Corpus ID: 10070789
AN UNMANNED AERIAL VEHICLE CONTROLLER BASED ON A LEARNING FUZZY CLASSIFIER SYSTEM by YAN QU (Under the Direction of Walter D…
Expand
2004
2004
Information Engineering in Support of Multilateral Joint Operational Interoperability
Eric Dorion
,
A. Boury-Brisset
2004
Corpus ID: 264719852
Abstract : In the information age era, there never has been a better time to reflect upon the fact that information in itself is…
Expand
2003
2003
Performance modelling with the Unified Modelling Language and stochastic process algebras
C. Canevet
,
S. Gilmore
,
J. Hillston
,
Matthew Prowse
,
P. Stevens
2003
Corpus ID: 62750668
A software toolset which allows unified modelling language (UML) modellers to annotate models with performance information is…
Expand
1991
1991
The church-rosser property for pure type systems with |?|?-reduction
A. Salvesen
1991
Corpus ID: 15632442
The main content of this paper is to give a proof of the Church-Rosser property (or confluence) with respect to βη -reduction for…
Expand
1988
1988
The definition of standard ML Version 2: LFCS report ECS-LFCS-88-62
R. Milner
,
R. Harper
,
M. Tofte
1988
Corpus ID: 126095428
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE