We construct three (large, reduced) incidence algebras whose semigroups of multiplicative functions, under convolution, are anti-isomorphic, respectively, to the semigroups of what we call partitional, permutational and exponential formal power series without constant term, in infinitely many variables x = (x,, x2,...), under plethysm. We compute the Mobius function in each case. These three in...

We propose a model of self-organization of synaptic connections in V1, emphasizing lateral interactions. Subject to Hebbian learning with decay, evolution of synaptic strengths proceeds to a stable state in which all synapses are either saturated, or have minimum pre/post-synaptic coincidence. The most stable configuration gives rise to anatomically realistic "local maps", each of macro-columna...

let $n$ be any positive integer, the friendship graph $f_n$ consists of $n$ edge-disjoint triangles that all of them meeting in one vertex. a graph $g$ is called cospectral with a graph $h$ if their adjacency matrices have the same eigenvalues. recently in href{http://arxiv.org/pdf/1310.6529v1.pdf}{http://arxiv.org/pdf/1310.6529v1.pdf} it is proved that if $g$ is any graph cospectral with $f_n$...

This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of sequential Java bytecode that is suitable for representing both, features found in high-level specification language JML as well as interpretations of high-level type systems. To this end, we introduce a fine-grained co...

With the advent of ever-larger FPGAs, both software algorithm developers and hardware designers must become more productive. Given the frequent lack of resources (time, money, developers) and often unmanageable complexity, today’s complex software systems require an increase in abstraction level. A new generation of methodologies that describe algorithms at a level higher than RTL are collectiv...

Conformal transformations are of much interest to modelers of physical phenomena as they provide many attractive mathematical properties such as locally preserving the isotropy of scales, invariance of the structure of the operators such as Laplacian under the transformation. It is known to atmosphere and ocean modelers as to generate coordinate transformations on the sphere using the analytic ...

We report an extremely rare disorder characterized by facial paralysis, Mobius Syndrome. Also clinical, radiological and electrophysiological findings are described, and management aspects are discussed. A 5-year-old boy with Mobius syndrome is presented. He applied to our center because of lacking facial expressions; inability to smile; eye sensitivity; hearing problems, speech difficulties an...