Results 291 to 300 of about 29,764,931 (332)
Some of the next articles are maybe not open access.
SMT-Based Bounded Model Checking of C plus plus Programs
2013Bounded model checking of C++ programs presents greater challenges than that of C programs due to the more complex features that the language offers, such as templates, containers, and exception handling. We present ESBMC++, a bounded model checker for C++ programs.
Ramalho, Mikhail +5 more
openaire +1 more source
Modeling Speech Based on Harmonic Plus Noise Models
2005Hybrid models of speech have received increasing interest from the speech processing community. Splitting the speech signal into a periodic and a non-periodic part increases the quality of prosodic modifications necessary in concatenative speech synthesis systems.
openaire +1 more source
Classical-type temporary positions: a "cost-plus" model
Journal of Post Keynesian Economics, 2002Within Hicks’s temporary equilibrium method, the paper explores the possibility of supporting the Sraffian theory of prices with a cost-plus explanation of pricing. The model proposed assumes that all firms take their investment decisions with reference to an accounting period, constituted by various production periods, within which cost-plus prices ...
openaire +2 more sources
The General Model Equation Plus Noise
1988The results of the previous chapter already represent progress on the spectral analysis problem because we were able to remove consideration of the amplitude, phase and noise level, and find what probability theory has to say about the frequency alone. In addition, it has given us an indication about how to proceed to more general problems.
openaire +1 more source
Generalized Caldeira-Leggett system plus reservoir model
Physical Review A, 2004Interaction between system and reservoir is considered to be linear in the coordinates of heat bath but nonlinear in the system coordinate and velocity. The reduced partition function of the system is presented and the corresponding effective classical potential is calculated by using the path-integral Monte Carlo method.
openaire +1 more source
AQUEOUS ELECTROLYTE MODELING IN ASPEN PLUS
Proceeding of Physical Chemistry of Aqueous Systems: Meeting the Needs of Industry, 2023G.F. Bloomingburg +4 more
openaire +1 more source