In this contribution a new method for artificial bandwidth extension of telephone speech towards frequencies below 300 Hz is proposed. The method defines a self-contained module which can be applied to any artificial bandwidth extension system, designed for extending the bandwidth only to frequencies above the telephone-band. At this, the amplification of a separate ARMA filter with a pass-band...

 Let $R$ be a ring‎, ‎and let $n‎, ‎d$ be non-negative integers‎. ‎A right $R$-module $M$ is called $(n‎, ‎d)$-projective if $Ext^{d+1}_R(M‎, ‎A)=0$ for every $n$-copresented right $R$-module $A$‎. ‎$R$ is called right $n$-cocoherent if every $n$-copresented right $R$-module is $(n+1)$-coprese-nted‎, ‎it is called a right co-$(n,d)$-ring if every right $R$-module is $(n‎, ‎d)$-projective‎. ‎$R$...

This paper presents a system developed at unicamp for automatically maintaining topological constraints in a geographic database. This system is based on extending to spatial data the notion of standard integrity maintenance through active databases. Topological relations, deened by the user, are transformed into spatial integrity constraints, which are stored in the database as production rule...

In this paper we describe our experience of using Microsoft Azure cloud computing platform for static analysis. We start by extending Static Driver Verifier to operate in the Microsoft Azure cloud with significant improvements in performance and scalability. We present our results of using SDV on single drivers and driver suites using various configurations of the cloud relative to a local mach...

Since the use of mobile devices spreads increasingly, mobile systems also play a major role for distributed business processes. In such scenarios, extending workflow management support to mobile systems offers potential to seamlessly integrate field staff into business processes, even if executing devices are disconnected from the company's server. However, the heterogeneity of current mobile s...

The space of functions A over the phase space of KdV-hierarchy is studied as a module over the ring D generated by commuting derivations. A D-free resolution of A is constructed by Babelon, Bernard and Smirnov by taking the classical limit of the construction in quantum integrable models assuming a certain conjecture. We propose another D-free resolution of A by extending the construction in th...

We extend the ordinary concept of theory morphism in institutions to extra theory morphisms. Extra theory morphism map theories belonging to different institutions across institution morphisms. We investigate the basic mathematical properties of extra theory morphisms supporting the semantics of logical multiparadigm languages, especially structuring specifications (module systems) á la OBJ-Cle...