Kholkin, A.L.b, Martins Águas Ferreira Silva Smirnova Costa Vilarinho Fortunato Baptista R. a H. a. "
Metal-ferroelectric thin film devices."
Journal of Non-Crystalline Solids. 299-302 (2002): 1311-1315.
AbstractFerroelectric and high dielectric permittivity films are currently being investigated in view of their use as gate dielectrics in MIS structures. Along with the suppression of tunnelling currents at small gate thickness, they provide a memory function to MIS structures, which can be used in non-volatile memory applications. In this work we report fabrication and characterization of novel metal-ferroelectric-amorphous silicon structures. The structures consist of glass/ITO substrates coated with PZT 20/80 films (sol-gel) followed by an active layer (i-a-SiC:H, deposited by plasma enhanced chemical vapor deposition (PECVD)). A strong capacitance hysteresis is observed in C-V curves in electron accumulation region (VG > 0), accompanied with a large increase in the capacitance of ferroelectric-semiconductor structures at low frequencies. Threshold voltage for electron accumulation is about 10 V being dependent on the ferroelectric polarization switching. © 2002 Elsevier Science B.V. All rights reserved.
Leite, {João Alexandre}, and {José Júlio} Alferes. "
MINERVA - A dynamic Logic Programming agent architecture."
Intelligent Agents VIII: Agent Theories, Architectures, and Languages - 8th International Workshop, ATAL 2001, Revised Papers. Vol. 2333 LNAI. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2333 LNAI. Springer-Verlag, 2002. 141-157.
Abstractn/a
Amaral, P., and P. Barahona. "
On Optimal Correction of Inconsistent Linear Constraints."
Principles and Practice of Constraint Programming, CP'2002. Ed. Pascal Van Hentenryck. Vol. 2470. Lecture Notes in Computer Science, 2470. Springer, 2002. 33-46.
AbstractIn practice one has often to deal with the problem of inconsistency between constraints, as the result, among others, of the comple\-xi\-ty of real models. To overcome these conflicts we can outline two major \mbox{actions}: removal of constraints or changes in the coefficients of the model. This last approach, that can be generically described as ``model corre\-ction" is the problem we address in this paper. The correction of the right hand side alone was one of the first approaches. The correction of both the matrix of coefficients and the right hand side introduces non linearity in the constraints. The degree of difficulty in solving the problem of the optimal correction depends on the objective function, whose purpose is to measure the closeness between the original and corrected model. Contrary to other norms, the optimization of the important Frobenius was still an open problem. We have analyzed the problem using the KKT conditions and derived necessary and sufficient conditions which enabled us to unequivocally characterize local optima, in terms of the solution of the Total Least Squares and the set of active constraints. These conditions justify a set of pruning rules, which proved, in preliminary experimental results, quite successful in a tree search procedure for determining the global minimizer.