Buscar
Mostrando ítems 31-40 de 1066
Structural properties and reduction behavior of novel nanostructured pd/gadolinia-doped ceria catalysts with tubular morphology
(American Chemical Society, 2011-05)
In this work, nanostructured 1 wt % Pd/Gd2O3-CeO 2 (Pd/GDC) mixed oxide tubes with 90 mol % CeO2 were synthesized following a very simple, high yield procedure, and their properties were characterized by synchrotron radiation ...
Verification of symmetric models using semiautomatic abstractions
(Universidade Federal de Minas GeraisUFMG, 2010-06-21)
Model Checking is a powerful method for the formal verification of concurrent systems. It explores automatically the state-space of a model that represents the system to prove its correctness in relation to formal ...
MSA for Optimal Reconfiguration and Capacitor Allocation in Radial/Ring Distribution Networks
This work presents a hybrid heuristic search algorithm called Moth Swarm Algorithm (MSA) in the context of power loss minimization of radial distribution networks (RDN) through optimal allocation and rating of shunt ...
Análise e aplicações em redes de Petri temporais : uma abordagem via álgebra intervalar
(Universidade Tecnológica Federal do ParanáCuritibaPrograma de Pós-Graduação em Engenharia Elétrica e Informática Industrial, 2007)
The objective of this thesis is to establish formal conditions for time Petri nets analysis by interval algebra. The interval algebra is traditionally used as a mathematical tool in the solution of problems related to ...
Pontos de conexão entre ecologias e redução de danos: uma experiência no CAPS AD Cia do Recomeço de Santa Maria - RS
(Universidade Federal de Santa MariaBrasilUFSMCentro de Ciências Rurais, 2019-08-30)
An analysis of the experience from the vegetable garden workshop at the CAPS AD Cia do Recomeço (Psychossocial Attention Center for Drug and Alcohol Addiction) at the city of Santa Maria. The purpose of the workshop, ...
Quantum parameter space of dissipative directed transport
(American Physical Society, 2015-01)
Quantum manifestations of isoperiodic stable structures (QISSs) have a crucial role in the current behavior of quantum dissipative ratchets. In this context, the simple shape of the ISSs has been conjectured to be an almost ...
The origins of anterograde interference in visuomotor adaptation
(Oxford Univ Press Inc, 2020-03)
Anterograde interference refers to the negative impact of prior learning on the propensity for future learning. There is currently no consensus on whether this phenomenon is transient or long lasting, with studies pointing ...
Bayesian parameter estimation for space and time interacting earthquake rupture model using historical and physics-based simulated earthquake catalogs
(Seismological Society of America, 2021-12)
This article introduces a framework to supplement short historical catalogs with synthetic catalogs and determine large earthquakes’ recurrence. For this assessment, we developed a parameter estimation technique for a ...