321 Hits in 2.9 sec

Distributed Sliding Mode Fault-Tolerant LFC for Multiarea Interconnected Power Systems under Sensor Fault

Xichao Zhou, Zhenlan Dou, Weiming Zhang, Yiwei Zhang, Deyi Wang, Chunyan Zhang, Dezhi Xu, Yue Song
2022 Complexity  
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


2019 Bulletin of Symbolic Logic  
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  
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

Zizhong Chen, J. Dongarra, P. Luszczek, K. Roche
2004 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the  
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  
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  
aaaeeree * 68021 LogicalFoundations 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  
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]

Oisń Creaner, Kevin Nolan, John Walsh, Eugene Hickey
2020 arXiv   pre-print
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  
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

Andrew D. Gordon, Robert Harper, John Harrison, Alan Jeffrey, Peter Sewell
2011 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11  
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  
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]

Dimitris Fotakis, Paraschos Koutris
2012 Lecture Notes in Computer Science  
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  
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]

Siyun Yan, Chuanhuang Li, Ming Gao, Weiming Wang, Ligang Dong, Bin Zhuge
2014 Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering  
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  
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