Sciweavers

922 search results - page 82 / 185
» On a Generalization of the Stone-Weierstrass Theorem
Sort
View
LICS
2000
IEEE
15 years 10 months ago
Complete Axioms for Categorical Fixed-Point Operators
We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operator is defined, embodying the equational properties of iteration theories. We p...
Alex K. Simpson, Gordon D. Plotkin
CONCUR
2000
Springer
15 years 10 months ago
Typed Mobile Objects
We describe a general model for embedding object-oriented constructs into calculi of mobile agents. The model results from extending agents with methods and primitives for message ...
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
CRYPTO
2000
Springer
145views Cryptology» more  CRYPTO 2000»
15 years 10 months ago
Nonlinearity Bounds and Constructions of Resilient Boolean Functions
In this paper we investigate the relationship between the nonlinearity and the order of resiliency of a Boolean function. We first prove a sharper version of McEliece theorem for ...
Palash Sarkar, Subhamoy Maitra
INFORMATICALT
2000
90views more  INFORMATICALT 2000»
15 years 6 months ago
Two Population Dynamics Models with Child Care
Two models for an age-structured nonlimited population dynamics with maternal care of offspring are presented. One of them deals with a bisexual population and includes a harmonic ...
Vladas Skakauskas
INFORMATICALT
1998
89views more  INFORMATICALT 1998»
15 years 6 months ago
A Mathematical Analysis of an Age-sex-space-structured Population Dynamics Model with Random Mating and Females' Pregnancy
We discuss an age-sex-structured population dynamics deterministic model taking into account random mating of sexes, females’ pregnancy and its dispersal in whole space. This mod...
Vladas Skakauskas