We study the algebraic Gauss-Manin system and the algebraic Brieskorn module associated to a polynomial mapping with isolated singularities. Since the algebraic GaussManin system does not contain any information on the cohomology of singular fibers, we construct a non quasi-coherent sheaf which gives the cohomology of every fiber. Then we study the algebraic Brieskorn module by comparing it wit...

We establish a new Howe duality between a pair of two queer Lie superalgebras (q(m), q(n)). This gives a representation theoretic interpretation of a well-known combinatorial identity for Schur Q-functions. We further establish the equivalence between this new Howe duality and the Schur–Sergeev duality between q(n) and a central extension H̃k of the hyperoctahedral group Hk. We show that the zer...

We present a feed-forward network architecture for recognizing an unconstrained handwritten multi-digit string. This is an extension of previous work on recognizing isolated digits. In this architecture a single digit recognizer is replicated over the input. The output layer of the network is coupled to a Viterbi alignment module that chooses the best interpretation of the input. Training error...

Let OX (resp. DX) be the sheaf of holomorphic functions (resp. the sheaf of linear differential operators with holomorphic coefficients) on X = C. Let D ⊂ X be a locally weakly quasi-homogeneous free divisor defined by a polynomial f . In this paper we prove that, locally, the annihilating ideal of 1/f over DX is generated by linear differential operators of order 1 (for k big enough). For this...

This paper introduces the X32V configurable processor core. X32V is geared towards low-power, lowmemory embedded systems, such as cell phones, PDAs, and digital cameras. X32V uses a feature that allows for variable length instructions that ultimately decrease the amount of program memory required for applications. In addition, X32V supports additional modules that increase flexibility. Currentl...

There is a growing evidence that the human brain follows an environmentally-guided neural circuit building that increases its learning exibility. Similarly, it has been shown that artiicial neural networks with dynamic topologies attempt to overcome the problem of determining the appropriate topology to optimally solve a given application. This paper presents a modular structure-adaptable artii...

A new equipment of safety relevance has been developed to upgrade ageing relay-based railway interlocking systems in Hungary. In course of the design process formal methods have been used in the development of a module realising a well-separable function of the system. Namely, the UML-based design process was extended by model based analysis and validation. The first kind of analysis checked th...

Let X be a projective scheme; let M and N be two coherent OX modules. Given an integer m, we present an algorithm for computing the global extension module Ext(X;M,N ). In particular, this allows one to calculate the sheaf cohomology H(X,N ) and to construct the sheaf corresponding to an element of the module Ext(X;M,N ). This algorithm can be implemented using only the computation of Gröbner b...

This is the senior thesis I worked on in University of Washington, under the supervision of Prof. Ralph Greenberg. We intended to classify the torsion-free part of the unit group of a totally complex normal extension with Galois group S3 as a Z[S3]-module. We obtained a way to recognize the module structure based on the class numbers of the field extensions. Conversely we also showed that some ...

For an embedding of sufficiently high degree of a smooth projective variety X into projective space, we use residues to define a filtered holonomic D-module (M, F) on the dual projective space. This gives a concrete description of the intermediate extension to a Hodge module on P of the variation of Hodge structure on the middle-dimensional cohomology of the hyperplane sections of X . We also e...