Sciweavers

3328 search results - page 99 / 666
» On Plateaued Functions and Their Constructions
Sort
View
DM
2008
110views more  DM 2008»
13 years 10 months ago
A novel algorithm enumerating bent functions
By the relationship between the Walsh spectra at partial points and the Walsh spectra of its sub-functions, by the action of general linear group on the set of Boolean functions, ...
Qingshu Meng, Min Yang, Huanguo Zhang, Jingsong Cu...
ENTCS
2006
162views more  ENTCS 2006»
13 years 10 months ago
Continuous Functions on Final Coalgebras
It can be traced back to Brouwer that continuous functions of type StrA B, where StrA is the type of infinite streams over elements of A, can be represented by well founded, Abra...
Neil Ghani, Peter Hancock, Dirk Pattinson
SIAMCO
2008
127views more  SIAMCO 2008»
13 years 10 months ago
Control Lyapunov Functions and Zubov's Method
For finite dimensional nonlinear control systems we study the relation between asymptotic null-controllability and control Lyapunov functions. It is shown that control Lyapunov fun...
Fabio Camilli, Lars Grüne, Fabian Wirth
IPMI
2011
Springer
13 years 1 months ago
Learning an Atlas of a Cognitive Process in Its Functional Geometry
In this paper we construct an atlas that captures functional characteristics of a cognitive process from a population of individuals. The functional connectivity is encoded in a lo...
Georg Langs, Danial Lashkari, Andrew Sweet, Yanmei...

Book
290views
15 years 8 months ago
Type Theory and Functional Programming
"Constructive Type theory has been a topic of research interest to computer scientists, mathematicians, logicians and philosophers for a number of years. For computer scient...
Simon Thompson