Multiopérateurs - Multiopérations
Natural quantum operational semantics with predicates
A general definition of a quantum predicate and quantum labelled transition systems for finite quantum computation systems is presented. The notion of a quantum predicate as a positive operator-valued measure is developed. The main results of this paper are a theorem about the existence of generalised predicates for quantum programs defined as completely positive maps and a theorem about the existence of a GSOS format for quantum labelled transition systems. The first theorem is a slight generalisation...
Négation constructive et axiomatique interne
Nondeterminism and fully abstract models
Non-deterministic behaviour of deterministic computer
Nonhomogeneous software error detection rate model : data analyses and applications
Nonserial dynamic programming for optimal register assignment
Note sur la sémantique des structures de contrôle
Note sur la suppression des étiquettes en programmation
Note sur l'algèbre des fonctions
Object library of algorithms for dynamic optimization problems: benchmarking SQP and nonlinear interior point methods
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
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
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-agent oriented programming.
On codes having no finite completion
On computer aided shape optimization
On decidability of skeletal sets [Abstract of thesis]
On information storage and retrieval systems
On Lamport's comparison between linear and branching time temporal logic
On schemata and systems for parallel algorithms