in a voice conversion system speech signal of a speaker (i.e. source speaker) is modified so that it sounds as if it had been pronounced by b speaker (i.e. target speaker). this process, sometimes, is called speaker conversion (changing speaker identity). achieved signal from speaker conversion system is desired to have high quality and very natural. to satisfy this, three major methods are pro...

developing reliable yet flexible software is a hard problem. although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. formal modeling methods ensure reliability because they use a rigorous approach to software development. however, lack of knowledge and high cost practically fo...

With the emerging concept of model transformation, information can be extracted from one or more source models to produce the target models. The conversion of these models can be done automatically with specific transformation languages. This conversion requires mapping between both models with the help of dynamic hash tables. Hash tables store reference links between the elements of the source...

The financial transformation journey is often addressed through trying to avoid the pitfalls associated with the causes of failure while leveraging the critical success factors. At best, Chief Financial Officers adopting this approach are likely to improve the degree of customer service experienced by Finance department. This is unlikely to lead to sustainable financial transformation being ach...

background: alpha particle irradiation from radon progeny is one of the major natural sources of effective dose in the public population. oncogenic transformation is a biological effectiveness of radon progeny alpha particle hits. the biological effects which has caused by exposure to radon, were the main result of a complex series of physical, chemical, biological and physiological interaction...

Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...

in this paper wave transformation in a submerged sloped breakwater and its hydraulic performance was simulated by developing a numerical model in fortran. the code was established by combining porous flow and a two-phase model using vof method. modified navier-stokes and k-ε equations implemented to the model to simulate the flow in porous media. cut cell method was modified to simulate fluid t...