Any discipline when it gets some popularity also becomes the subject of a constant review and even critical assessment. This can be positive sign of its growth and potentiality. It draws more attention. Pressure starts mounting up for ongoing improvements within its own framework. If it cannot keep it up with the pressure that energy will be diverted to development of alternatives. This is very natural. Now Microfinance is also going through this. It has become one of the important components of development initiatives. Over time microfinance has become very successful. At the same time, it has also generated some challenges. Broadly the challenges of microfinance can be categorized into three areas-outreach, effectiveness, and diversificat...
We discuss a class of semilinear PDE's with obstacle, of the form (_t+L)u+f(t,- x,u,^*u)+=0,uh,u_T=g...
This paper is dedicated to a new binomial lattice method (MSM) consistent with the Black-Scholes mod...
We present Coca, an automated debugger for C, where the breakpoint mechanism is based on events rela...
In this report we point out the reasons that lead us to distribute modular applications, why we thin...
Most computer programs store elements of a given nature into container-based data structures such as...
Field Programmable Gate Arrays (FPGAs) are usually programmed using languages and methods inherited ...
The general Petri net reachability problem is shown to be decidable in double exponential space. The...
Projet GALLIUMWe propose a benchmark to compare theorem-proving systems on their ability to express ...
Les techniques issues du traitement automatique des langues (TAL) permettent de mettre au jour des i...
Dans ce rapport nous décrivons la façon de réaliser une tâche particulière de positionnement par ass...
What is the telecommunications industry? How does it relate to other activities in areas such as com...
This paper defines a new framework for fast prototyping of static analyzers based on rewriting techn...
We present a stratification of geometric information available from stereo in three levels: Euclidea...
This paper investigates structural properties of occurrence (Petri) nets and their interpretation as...
This paper presents a combination of verification and conformance testing techniques for the formal ...
We discuss a class of semilinear PDE's with obstacle, of the form (_t+L)u+f(t,- x,u,^*u)+=0,uh,u_T=g...
This paper is dedicated to a new binomial lattice method (MSM) consistent with the Black-Scholes mod...
We present Coca, an automated debugger for C, where the breakpoint mechanism is based on events rela...
In this report we point out the reasons that lead us to distribute modular applications, why we thin...
Most computer programs store elements of a given nature into container-based data structures such as...
Field Programmable Gate Arrays (FPGAs) are usually programmed using languages and methods inherited ...
The general Petri net reachability problem is shown to be decidable in double exponential space. The...
Projet GALLIUMWe propose a benchmark to compare theorem-proving systems on their ability to express ...
Les techniques issues du traitement automatique des langues (TAL) permettent de mettre au jour des i...
Dans ce rapport nous décrivons la façon de réaliser une tâche particulière de positionnement par ass...
What is the telecommunications industry? How does it relate to other activities in areas such as com...
This paper defines a new framework for fast prototyping of static analyzers based on rewriting techn...
We present a stratification of geometric information available from stereo in three levels: Euclidea...
This paper investigates structural properties of occurrence (Petri) nets and their interpretation as...
This paper presents a combination of verification and conformance testing techniques for the formal ...
We discuss a class of semilinear PDE's with obstacle, of the form (_t+L)u+f(t,- x,u,^*u)+=0,uh,u_T=g...
This paper is dedicated to a new binomial lattice method (MSM) consistent with the Black-Scholes mod...
We present Coca, an automated debugger for C, where the breakpoint mechanism is based on events rela...