Sciweavers

436 search results - page 5 / 88
» A Note on Negligible Functions
Sort
View
IGPL
1998
86views more  IGPL 1998»
13 years 8 months ago
A Brief Note About Rott Contraction
One of the ways to model contraction functions for belief sets is epistemic entrenchment. The first step was provided by G¨ardenfors in [5], who defined epistemic entrenchment ...
Eduardo L. Fermé, Ricardo Oscar Rodrí...
JUCS
2002
79views more  JUCS 2002»
13 years 8 months ago
Some Notes on Fine Computability
: A metric defined by Fine induces a topology on the unit interval which is strictly stronger than the ordinary Euclidean topology and which has some interesting applications in Wa...
Vasco Brattka
APPML
2005
131views more  APPML 2005»
13 years 8 months ago
A note on Laplace's equation inside a cylinder
Two difficulties connected with the solution of Laplace's equation around an object inside an infinite circular cylinder are resolved. One difficulty is the nonconvergence of...
Silvana Ilie, David J. Jeffrey
AFP
2004
Springer
117views Formal Methods» more  AFP 2004»
14 years 1 months ago
Refactoring Functional Programs
Abstract. Refactoring is the process of improving the design of existing programs without changing their functionality. These notes cover refactoring in functional languages, using...
Simon Thompson
DCC
2010
IEEE
13 years 8 months ago
Geometric and design-theoretic aspects of semibent functions I
The two parts of this paper consider combinatorial and geometric aspects of semibent functions. In the first part of this note we obtain 2
Ulrich Dempwolff, Timo Neumann