A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
Distributed Sliding Mode Fault-Tolerant LFC for Multiarea Interconnected Power Systems under Sensor Fault
2022
Complexity
Preserved Fulltext
and ensure the reliable and stable operation of the power system. ...
The simulation results show the superiority of the proposed control strategy. ...
Acknowledgments is work was partially supported by the National Natural Science Foundation of China (61973140) and Beijing Natural Science Foundation (21JC0026). ...
doi:10.1155/2022/6271232
fatcat:2zsflxrdgnfrbaiyussuknwagu
NOTICES
2019
Bulletin of Symbolic Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
• Logical Foundations of Computer Science(LFCS 2020). January 4-7, 2020, Deerfield Beach, Florida. ...
The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. ...
doi:10.1017/bsl.2019.60
fatcat:jvc3wjnpzzct5j5feyndlhj5le
Page 6095 of Mathematical Reviews Vol. , Issue 98I
[page]
1998
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
of Computation Theory, | Ith International, FCT’97 Logical Foundations of Computer Science, 4th International, LFCS'97 Mandelbrot, Benoit B * 58003 Mathematical Analysis in Economics * 90007 Mathematical ...
Foundations of Computer Science, 21st MFCS ‘96 * 68010 Mathematical Physics, 29th * 00033 Number Theory, International * 11002 Singularities * 32001 Theoretical Aspects of Computer Software, 3rd International ...
The LAPACK for clusters project: an example of self adapting numerical software
2004
37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
This article describes the context, design, and recent development of the LAPACK for Clusters (LFC) project. ...
It has been developed in the framework of Self-Adapting Numerical Software (SANS) since we believe such an approach can deliver the convenience and ease of use of existing sequential environments bundled ...
Sciences at Oak Ridge National Laboratory (Cheetah and Eagle), resources of the Scalable Intracampus Research Grid (SInRG) Project at the University of Tennessee supported by the National Science Foundation ...
doi:10.1109/hicss.2004.1265664
dblp:conf/hicss/ChenDLR04
fatcat:63df5ipagzcfxhztxsluu2mazm
Curriculum Vitae of Zoltán Ésik
2017
Acta Cybernetica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Logic in Computer Science, Novi Sad, 1995. Mathematical Foundations of Computer Science, Kosice, 1994. IMYCS, Smolenice, 1988 . ...
COST Research Fellow, LFCS, Department of Computer Science, The University of Edinburgh, UK: September-November 1993. 13. ...
doi:10.14232/actacyb.23.1.2017.22
fatcat:23vz5jef6rflzftjmtlztnxsoa
Page 6405 of Mathematical Reviews Vol. , Issue 95j
[page]
1995
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
aaaeeree * 68021
Logical ‘Foundations of Computer Science, 3rd International, LFCS °94 ...
* 68004 Lecture Notes in Computer Science, 877 * 11119 Lecture Notes in Statistics, 88 * 62011 Linear operators and inequalities * 47001 Logical foundations of computer science .. * 03003 Logical investigations ...
Contents EATCS Bulletin number 62, June 1997
1997
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Reports and Publications
314
Laboratory for Foundations of Computer Science (LFCS), University of Edinburgh, Edinburgh,
Scotland ._.,......._.....................................
319
322 ...
.
.
.
277
Twenty-Second International Symposium on Mathematical Foundations of Computer Science
(MFCS '97) Bratislava, Slovakia, August 25-29, 1997 .
. . .
.
.
280
Annual European Conference ...
doi:10.1016/s0304-3975(97)84331-9
fatcat:ocvmdl444jf55ji6cv2d27bgii
The Locus Algorithm III: A Grid Computing system to generate catalogues of optimised pointings for Differential Photometry
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
The physical and logical structure of the National Grid computing Infrastructure informed the approach that was taken. ...
This paper discusses the hardware and software components of the Grid Computing system used to implement the Locus Algorithm to identify optimum pointings for differential photometry of 61,662,376 stars ...
Sloan Foundation, the Participating Institutions, the National Science Foundation, the U.S. ...
arXiv:2003.04565v2
fatcat:2arcttcukrck7kl2rt2p752mpm
Contents EATCS bulletin number 45, October 1991
1992
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Oxford,
United Kingdom,
29 June-3 July 1992
3rd Scandinavian
Workshop
on Algorithm
Theory (SWAT '92) Helsinki, Finland, 8-10
July 1992
Symposium on Logical Foundations
of Computer Science (LFCS ...
Gurevich: The Logic in Computer
Science Column
Forms of Semantic Specification
(by C.A. Gunter)
J. ...
doi:10.1016/0304-3975(92)90145-6
fatcat:byee5msp6rcipp6rztq22cntnq
Robin Milner 1934--2010
2011
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
During this period he co-founded the LFCS, the Laboratory for Foundations of Com-Copyright is held by the author/owner(s). POPL'11, January 26-28, 2011, Austin, Texas, USA. ...
He returned to England to occupy the first established Chair in Computer Science at the University of Cambridge. ...
doi:10.1145/1926385.1926439
dblp:conf/popl/GordonHHJS11
fatcat:ldruw4xajrhgdhzc6ptlg5cmoq
Contents EATCS bulletin number 47, June 1992
1992
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Petersburg,
Russia, 15-20 July 1992
Symposium on Logical Foundations
of Computer Science (LFCS '92) Tver, Russia, 20-24
July1992
. . . . . . . . . . . . . . . . . ...
LaBRI, Department of Computer Science, University of Bordeaux, Bordeaux, France Computer Science Department, Cornell University, Ithaca, NY, U.S.A. D.A. ...
doi:10.1016/0304-3975(92)90091-s
fatcat:74oilpfvuba2zhgz54woapx3xu
Online Sum-Radii Clustering
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Dan Suciu University of Washington, Seattle, USA M.Sc. in Computer Science & Engineering, July 2012 University of Athens, Athens, Greece M.Sc. in Logic, Algorithms and Computation (MPLA), July 2010 • M.Sc ...
of Washington, Seattle, USA
Education
Diploma, Electrical and Computer Engineering, June 2009
GPA: 9.70/10 (3 rd out of 530 students -top 1%)
• Major: Computer Science
• Diploma Thesis: "Broadcasting ...
doi:10.1007/978-3-642-32589-2_36
fatcat:mvxkdzrc5jg2lm6j5raiizbkvy
Page 3603 of Mathematical Reviews Vol. , Issue 2000e
[page]
2000
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Mackworth, Modeling and analysis of hybrid control systems (370-396).
{Some of the papers are being reviewed individually. }
2000e:68011 68-06 03B70 * Logical foundations of computer science. ...
Beklemishev, Parameter free induction and provably total computable functions (13-33); Bruno Cour-
68 COMPUTER SCIENCE
2000e:68013
celle, The monadic second-order logic of graphs. XI. ...
A Network Controller Supported Open Reconfigurable Technology
[chapter]
2014
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The hierarchical structure of reconfigurable network and architecture of control element software are discussed. ...
Then, core components of control element, which include protocol middleware and the development of user operating management system are introduced in details. ...
ForCES middleware does good job on encapsulation of protocol data package and associated logic relationship which ForC-ES protocol need to complete, and lay a good foundation for the development of all ...
doi:10.1007/978-3-319-13326-3_38
fatcat:bicevdenlfcjpc3ffjzhoegixq
Page 3150 of Mathematical Reviews Vol. , Issue 90F
[page]
1990
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
One such alternative is the Edinburgh logical framework (LF), currently under development at the Lab- oratory for Foundations of Computer Science. ...
Plotkin [in Symposium on Logic in Computer Science (Ithaca, NY, 1987), 194-204, IEEE Comput. Soc. ...
« Previous
Showing results 1 — 15 out of 321 results