Sciweavers

5544 search results - page 31 / 1109
» Three Inadequate Models
Sort
View
MMAS
2010
Springer
13 years 2 months ago
Gyrokinetic Vlasov Equation in Three Dimensional Setting. Second Order Approximation
One of the main applications in plasma physics concerns the energy production through thermo-nuclear fusion. The controlled fusion requires the confinement of the plasma into a bo...
Mihai Bostan
NC
2011
219views Neural Networks» more  NC 2011»
12 years 10 months ago
Complexity-preserving simulations among three variants of accepting networks of evolutionary processors
In this paper we consider three variants of accepting networks of evolutionary processors. It is known that two of them are equivalent to Turing machines. We propose here a direct ...
Paolo Bottoni, Anna Labella, Florin Manea, Victor ...
ITC
2003
IEEE
126views Hardware» more  ITC 2003»
14 years 26 days ago
Deformations of IC Structure in Test and Yield Learning
This paper argues that the existing approaches to modeling and characterization of IC malfunctions are inadequate for test and yield learning of Deep Sub-Micron (DSM) products. Tr...
Wojciech Maly, Anne E. Gattiker, Thomas Zanon, Tho...
CORR
2006
Springer
88views Education» more  CORR 2006»
13 years 7 months ago
The Power and Perils of MDL
Practical use of MDL is full of pitfalls in which the practitioners tend to fall head over heels. We analyse the power and the perils in the use of MDL. Generally, the classical a...
Pieter W. Adriaans, Paul M. B. Vitányi
DAC
2002
ACM
14 years 8 months ago
A comparison of three verification techniques: directed testing, pseudo-random testing and property checking
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...
Mike Bartley, Darren Galpin, Tim Blackmore