We use the almost normality approach to derive the models we use. Polynomial almost normality is presented in a first chapter. Thus we show that low degree polynomials on independent normal variables with small variation coefficients are very approximately normal distributed. This result is then used do derive models for series of studies assuming normality and independence for the initial observations and low variation coefficients. We then apply this models first for single series and then for matched series of studies. We will assume that the matched series are associated to the treatments and orthogonal design. The special case of prime basis factorials is considered.

n/a

Suppose \(\Gamma\) is a Carleson Jordan curve with logarithmic whirl points, \(\varrho\) is a Khvedelidze weight, \(p:\Gamma\to(1,\infty)\) is a continuous function satisfying \(|p(\tau)-p(t)|\le -\mathrm{const}/\log|\tau-t|\) for \(|\tau-t|\le 1/2\), and \(L^{p(\cdot)}(\Gamma,\varrho)\) is a weighted generalized Lebesgue space with variable exponent. We prove that all semi-Fredholm operators in the algebra of singular integral operators with \(N\times N\) matrix piecewise continuous coefficients are Fredholm on \(L_N^{p(\cdot)}(\Gamma,\varrho)\).

n/a

n/a

The emergence of multi-core processors is promoting the use of concurrency and multithreading. To raise the abstraction level of synchronization constructs is fundamental to ease the development of concurrent software, and Software Transactional Memory (STM) is a good approach towards such goal. However, execution environment issues such as the processor instruction set, caching policy, and memory model, may have strong influence upon the reliability of STM engines. This paper addresses the testing of STM engines aiming at improving their reliability and independence from execution environment. From our experience with porting and extending a specific STM engine, we report on some of the bugs found and synthesize some testing patterns that proved to be useful at testing STM engines.

n/a

n/a

Algebraic theories for modeling components and their interactions offer abstraction over the specifics of component states and interfaces. For example, such theories deal with forms of sequential composition of two components in a manner independent of the type of data stored in the states of the components, and independent of the number and types of methods offered by the interfaces of the combinators. General purpose programming languages do not offer this level of abstraction, which implies that a gap must be bridged when turning component models into implementations. In this paper, we present an approach to prototyping of component-based systems that employs so-called type-level programming (or compile-time computation) to bridge the gap between abstract component models and their type-safe implementation in a functional programming language. We demonstrate our approach using Barbosa's model of components as generalized Mealy machines. For this model, we develop a combinator library in Haskell, which uses type-level programming with two effects. Firstly, wiring between components is computed during compilation. Secondly, the well-formedness of the component compositions is guarded by Haskell's strong type system.

n/a

n/a

In the presentwork we have studied the properties of zinc oxide (ZnO) thin films grown by laser ablation of ZnO targets under different substrate temperature and background oxygen conditions. The ZnO layers were deposited with a Pulsed Laser Deposition (PLD) system on pre-nitrided (0001) sapphire (Al2O3), using the base line of a Nd:YAG laser at 1064 nm. The films were characterized by different structural and optical methods, including X-ray diffraction (XRD), scanning electron microscopy (SEM), optical transmission spectroscopy, and steady-state photoluminescence (PL). XRD analysis with rocking curves and $þeta$–2$þeta$ scans indicates preferential growth along the c-axis direction with a full width at half maximum (FWHM) smaller than 1.5◦. Low-temperature photoluminescence (PL) showed strong excitonic emission near 3.36 eV between 9 and 65 K

In this work we investigate the properties of a polymorphous silicon (pm-Si:H) metal-insulator-semiconductor (MIS) structure used in 3D position sensitive detectors (PSD). For the first time a 3D sensor made-up by pm-Si:H/SiO2/Au layers is presented. MIS structures present several advantages over p-i-n structures, such as easier fabrication, fast response time and higher resolution. The 1D MIS PSD that constitute the array were extensively studied aiming its application in 3D pattern recognition. The results obtained show that MIS PSD can achieve non-linearities below 2% and sensitivities of 3.2 μA/cm over 6 mm length sensors. The miniaturization of the sensors length to arrays of 6 and 16 mm, respectively showed average non-linearities of about 1.9% for the 16 mm sensor which proved to be the best solution for this MIS structure. © 2006 Elsevier B.V. All rights reserved.

n/a