O analýze neiniciálových automatov
Page 1 Next
Displaying 1 – 20 of 518
O biológii, matematike a výpočtoch - rozhovor s A. Lindenmayerom
Jozef Kelemen, Alica Kelemenová (1986)
Pokroky matematiky, fyziky a astronomie
O dynamické logice
Petr Hájek, Pavel Kalášek, Petr Kůrka (1980)
Kybernetika
O jednom typu konečného automatu
Václav Pinkava (1966)
Kybernetika
O možnostech matematického modelování sémantiky přirozeného jazyka
Nikolaj Savický (1967)
Kybernetika
O situácii v (európskej) matematickej informatike - rozhovor s Artom Salomaa
Alica Kelemenová, Jozef Kelemen (1988)
Pokroky matematiky, fyziky a astronomie
O složitosti
Pavel Pudlák (1988)
Pokroky matematiky, fyziky a astronomie
O základních pojmech kybernetiky
Karel Winkelbauer (1976)
Pokroky matematiky, fyziky a astronomie
O základních principech analogových matematických strojů
Stanislav Maloň (1960)
Aplikace matematiky
Object grammars and random generation.
Dutour, I., Fedou, J.M. (1998)
Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
Object library of algorithms for dynamic optimization problems: benchmarking SQP and nonlinear interior point methods
Jacek Błaszczyk, Andrzej Karbowski, Krzysztof Malinowski (2007)
International Journal of Applied Mathematics and Computer Science
The main purpose of this paper is to describe the design, implementation and possibilities of our object-oriented library of algorithms for dynamic optimization problems. We briefly present library classes for the formulation and manipulation of dynamic optimization problems, and give a general survey of solver classes for unconstrained and constrained optimization. We also demonstrate methods of derivative evaluation that we used, in particular automatic differentiation. Further, we briefly formulate...
Object oriented design philosophy for scientific computing
Philippe R. B. Devloo, Gustavo C. Longhin (2002)
ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique
This contribution gives an overview of current research in applying object oriented programming to scientific computing at the computational mechanics laboratory (LABMEC) at the school of civil engineering – UNICAMP. The main goal of applying object oriented programming to scientific computing is to implement increasingly complex algorithms in a structured manner and to hide the complexity behind a simple user interface. The following areas are current topics of research and documented within the...
Object oriented design philosophy for scientific computing
Philippe R.B. Devloo, Gustavo C. Longhin (2010)
ESAIM: Mathematical Modelling and Numerical Analysis
This contribution gives an overview of current research in applying object oriented programming to scientific computing at the computational mechanics laboratory (LABMEC) at the school of civil engineering – UNICAMP. The main goal of applying object oriented programming to scientific computing is to implement increasingly complex algorithms in a structured manner and to hide the complexity behind a simple user interface. The following areas are current topics of research and documented within the...
Object oriented institutions to specify symbolic computation systems
César Domínguez, Laureano Lambán, Julio Rubio (2007)
RAIRO - Theoretical Informatics and Applications
The specification of the data structures used in EAT, a software system for symbolic computation in algebraic topology, is based on an operation that defines a link among different specification frameworks like hidden algebras and coalgebras. In this paper, this operation is extended using the notion of institution, giving rise to three institution encodings. These morphisms define a commutative diagram which shows three possible views of the same construction, placing it in an equational algebraic...
Object-agent oriented programming.
Amandi, Analía, Iturregui, Ramiro, Zunino, Alejandro (1999)
Electronic Journal of SADIO [electronic only]
Objects in relational database schemes with functional, inclusion, and exclusion dependencies
Joachim Biskup, Pratul Dublish (1993)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Objects that Cannot Be Taken Apart with Two Hands.
J. Snoeyink, J. Stolfi (1994)
Discrete & computational geometry
Obtaining a 3D extension of Pascal theorem for non-degenerated quadrics and its complete configuration with the aid of a computer algebra system.
E. Roanes-Macías, E. Roanes-Lozano, J. Fernández-Biarge (2009)
RACSAM
Ogden's lemma for nonterminal bounded languages
R. Boonyavatana, G. Slutzki (1986)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
On 2PFA's and the Hadamard quotient of formal power series.
Anselmo, Marcella, Bertoni, Alberto (1994)
Bulletin of the Belgian Mathematical Society - Simon Stevin
Currently displaying 1 – 20 of 518
Page 1 Next