Sciweavers

689 search results - page 35 / 138
» Encapsulation theory fundamentals
Sort
View
ACS
2008
13 years 8 months ago
Algebras Versus Coalgebras
Algebras and coalgebras are fundamental notions for large parts of mathematics. The basic constructions from universal algebra are now expressed in the language of categories and ...
Robert Wisbauer
JOLLI
2002
74views more  JOLLI 2002»
13 years 8 months ago
Referent Systems and Relational Grammar
Abstract. Relational Grammar (RG) was introduced in the 70's as a theory of grammatical relations and relation change, for example, passivization, dative shift, and raising. F...
Marcus Kracht
ISSAC
2005
Springer
77views Mathematics» more  ISSAC 2005»
14 years 2 months ago
Picard--Vessiot extensions for linear functional systems
Picard-Vessiot extensions for ordinary differential and difference equations are well known and are at the core of the associated Galois theories. In this paper, we construct fu...
Manuel Bronstein, Ziming Li, Min Wu
FOMI
2008
13 years 10 months ago
The Business of Ontology calls for a Formal Pragmatics
I develop a few suggestions how formal ontology can meet industry and practice. This is not just a matter of useful ontology-based applications. That is a necessary but also rather...
Hans Akkermans
SIGACT
2010
74views more  SIGACT 2010»
13 years 6 months ago
Typically-correct derandomization
A fundamental question in complexity theory is whether every randomized polynomial time algorithm can be simulated by a deterministic polynomial time algorithm (that is, whether B...
Ronen Shaltiel