Results 1  10
of
7,675
Toward Principles for the Design of Ontologies Used for Knowledge Sharing
 IN FORMAL ONTOLOGY IN CONCEPTUAL ANALYSIS AND KNOWLEDGE REPRESENTATION, KLUWER ACADEMIC PUBLISHERS, IN PRESS. SUBSTANTIAL REVISION OF PAPER PRESENTED AT THE INTERNATIONAL WORKSHOP ON FORMAL ONTOLOGY
, 1993
"... Recent work in Artificial Intelligence is exploring the use of formal ontologies as a way of specifying contentspecific agreements for the sharing and reuse of knowledge among software entities. We take an engineering perspective on the development of such ontologies. Formal ontologies are viewed a ..."
Abstract

Cited by 2003 (3 self)
 Add to MetaCart
are applied in case studies from the design of ontologies for engineering mathematics and bibliographic data. Selected design decisions are discussed, and alternative representation choices and evaluated against the design criteria.
Strongly Elliptic Systems and Boundary Integral Equations
, 2000
"... Partial differential equations provide mathematical models of many important problems in the physical sciences and engineering. This book treats one class of such equations, concentrating on methods involving the use of surface potentials. It provides the first detailed exposition of the mathematic ..."
Abstract

Cited by 501 (0 self)
 Add to MetaCart
Partial differential equations provide mathematical models of many important problems in the physical sciences and engineering. This book treats one class of such equations, concentrating on methods involving the use of surface potentials. It provides the first detailed exposition
The University of Florida sparse matrix collection
 NA DIGEST
, 1997
"... The University of Florida Sparse Matrix Collection is a large, widely available, and actively growing set of sparse matrices that arise in real applications. Its matrices cover a wide spectrum of problem domains, both those arising from problems with underlying 2D or 3D geometry (structural enginee ..."
Abstract

Cited by 536 (17 self)
 Add to MetaCart
engineering, computational fluid dynamics, model reduction, electromagnetics, semiconductor devices, thermodynamics, materials, acoustics, computer graphics/vision, robotics/kinematics, and other discretizations) and those that typically do not have such geometry (optimization, circuit simulation, networks
Genetic Programming
, 1997
"... Introduction Genetic programming is a domainindependent problemsolving approach in which computer programs are evolved to solve, or approximately solve, problems. Genetic programming is based on the Darwinian principle of reproduction and survival of the fittest and analogs of naturally occurring ..."
Abstract

Cited by 1056 (12 self)
 Add to MetaCart
genetic operations such as crossover (sexual recombination) and mutation. John Holland's pioneering Adaptation in Natural and Artificial Systems (1975) described how an analog of the evolutionary process can be applied to solving mathematical problems and engineering optimization problems using what
Intelligent agents: Theory and practice
 The Knowledge Engineering Review
, 1995
"... The concept of an agent has become important in both Artificial Intelligence (AI) and mainstream computer science. Our aim in this paper is to point the reader at what we perceive to be the most important theoretical and practical issues associated with the design and construction of intelligent age ..."
Abstract

Cited by 1441 (85 self)
 Add to MetaCart
agents. For convenience, we divide these issues into three areas (though as the reader will see, the divisions are at times somewhat arbitrary). Agent theory is concerned with the question of what an agent is, and the use of mathematical formalisms for representing and reasoning about the properties
An introduction to Kolmogorov Complexity and its Applications: Preface to the First Edition
, 1997
"... This document has been prepared using the L a T E X system. We thank Donald Knuth for T E X, Leslie Lamport for L a T E X, and Jan van der Steen at CWI for online help. Some figures were prepared by John Tromp using the xpic program. The London Mathematical Society kindly gave permission to reproduc ..."
Abstract

Cited by 2138 (120 self)
 Add to MetaCart
This document has been prepared using the L a T E X system. We thank Donald Knuth for T E X, Leslie Lamport for L a T E X, and Jan van der Steen at CWI for online help. Some figures were prepared by John Tromp using the xpic program. The London Mathematical Society kindly gave permission
Engineering Mathematical Knowledge
 Mathematical Knowledge Management, number 3863 in LNAI
, 2005
"... Abstract. Due to their rapidly increasing amount, maintaining mathematical documents more and more becomes an engineering task. In this paper, we combine the projects MMiSS 3 and CDET. 4 That way, we achieve major benefits for mathematical knowledge management: (1) Semantic annotations relate mathem ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Abstract. Due to their rapidly increasing amount, maintaining mathematical documents more and more becomes an engineering task. In this paper, we combine the projects MMiSS 3 and CDET. 4 That way, we achieve major benefits for mathematical knowledge management: (1) Semantic annotations relate
An Ontology for Engineering Mathematics Abstract
"... We describe an ontology for mathematical modeling in engineering. The ontology includes conceptual foundations for scalar, vector, and tensor quantities, physical dimensions, units of measure, functions of quantities, and dimensionless quantities. The conceptualization builds on abstract algebra and ..."
Abstract
 Add to MetaCart
We describe an ontology for mathematical modeling in engineering. The ontology includes conceptual foundations for scalar, vector, and tensor quantities, physical dimensions, units of measure, functions of quantities, and dimensionless quantities. The conceptualization builds on abstract algebra
Just Relax: Convex Programming Methods for Identifying Sparse Signals in Noise
, 2006
"... This paper studies a difficult and fundamental problem that arises throughout electrical engineering, applied mathematics, and statistics. Suppose that one forms a short linear combination of elementary signals drawn from a large, fixed collection. Given an observation of the linear combination that ..."
Abstract

Cited by 483 (2 self)
 Add to MetaCart
This paper studies a difficult and fundamental problem that arises throughout electrical engineering, applied mathematics, and statistics. Suppose that one forms a short linear combination of elementary signals drawn from a large, fixed collection. Given an observation of the linear combination
FACULTY OF ELECTRICAL ENGINEERING, MATHEMATICS AND
, 2012
"... I would like to express my special gratitude to Dr. Madeleine Gibescu who gave me the opportunity to work on such an interesting and challenging topic. Exceptionally, I would like to thank Jorrit Bos and Kees Jansen who gave me the chance to join TenneT TSO B.V for my MSc thesis project. I would lik ..."
Abstract
 Add to MetaCart
I would like to express my special gratitude to Dr. Madeleine Gibescu who gave me the opportunity to work on such an interesting and challenging topic. Exceptionally, I would like to thank Jorrit Bos and Kees Jansen who gave me the chance to join TenneT TSO B.V for my MSc thesis project. I would like to thank Jorrit for the patience he showed on problems related to PSSE. I learnt a lot from him and I am grateful for that. I would also like to thank all the grid strategists of TenneT for being always helpful and friendly during my stay. I would like to thank Johan Schuld for the guidance he gave me concerning the Fortran modeling in PSSE and for always being a good teacher. The project is made under the sincere guidance of Arjen A. Van der Meer, my daily supervisor in TU Delft. I would like to thank him for his interest in the success of this thesis. He has been always open and committed to give me the right guidance for the success of the MSc project. I would also like to thank Professor Mart A. M. M. Van der Meijden and Dr. P.Bauer for being the reviewers of my thesis. I would like to thank my parents for the support they gave me and Katerina for always making me look at the bright side of life. [5]
Results 1  10
of
7,675