Non-commutative symbolic coding

We give a non-commutative generalization of classical symbolic coding in the presence of a synchronizing word. This is done by a scattering theoretical approach. Classically, the existence of a synchronizing word turns out to be equivalent to asymptotic completeness of the corresponding Markov process. A criterion for asymptotic completeness in general is provided by the regularity of an associated extended transition operator. Commutative and non-commutative examples are analysed.

On the spectrum of stochastic perturbations of the shift and Julia sets

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

EIGENVALUES of FIBONACCI STOCHASTIC ADDING MACHINE

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Integral equations of scattering in one dimension

A self-contained discussion of integral equations of scattering is presented in the case of centrally symmetric potentials in one dimension, which will facilitate the understanding of more complex scattering integral equations in two and three dimensions. The present discussion illustrates in a simple fashion the concept of partial-wave decomposition, Green's function, Lippmann-Schwinger integral equations of scattering for wave function and transition operator, optical theorem, and unitarity relation. We illustrate the present approach with a Dirac delta potential. (C) 2001 American Association of Physics Teachers.

Máquina de somar, conjuntos de Julia e fractais de Rauzy

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

SPECTRUM OF STOCHASTIC ADDING MACHINES AND FIBERED JULIA SETS

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

STOCHASTIC ADDING MACHINE AND 2-DIMENSIONAL JULIA SETS

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

State-to-state reaction probabilities within the quantum transition state framework

Rigorous quantum dynamics calculations of reaction rates and initial state-selected reaction probabilities of polyatomic reactions can be efficiently performed within the quantum transition state concept employing flux correlation functions and wave packet propagation utilizing the multi-configurational time-dependent Hartree approach. Here, analytical formulas and a numerical scheme extending this approach to the calculation of state-to-state reaction probabilities are presented. The formulas derived facilitate the use of three different dividing surfaces: two dividing surfaces located in the product and reactant asymptotic region facilitate full state resolution while a third dividing surface placed in the transition state region can be used to define an additional flux operator. The eigenstates of the corresponding thermal flux operator then correspond to vibrational states of the activated complex. Transforming these states to reactant and product coordinates and propagating them into the respective asymptotic region, the full scattering matrix can be obtained. To illustrate the new approach, test calculations study the D + H2(ν, j) → HD(ν′, j′) + H reaction for J = 0.

Contribution of the exact Breit operator plus the electron state-dependent screening to the multiplet and fine structure of muon-electron atoms

We investigate for very general cases the multiplet and fine structure splitting of muonelectron atoms arising from the coupling of the electron and muon angular momenta, including the effect of the Breit operator plus the electron state-dependent screening. Although many conditions have to be fulfilled simultaneously to observe these effeets, it should be possible to measure them in the 6h- 5g muonic transition in the Sn region.

Quantum critical scaling at a Bose-glass/superfluid transition: Theory and experiment for a model quantum magnet

In this paper we investigate the quantum phase transition from magnetic Bose Glass to magnetic Bose-Einstein condensation induced by amagnetic field in NiCl2 center dot 4SC(NH2)(2) (dichloro-tetrakis-thiourea-nickel, or DTN), doped with Br (Br-DTN) or site diluted. Quantum Monte Carlo simulations for the quantum phase transition of the model Hamiltonian for Br-DTN, as well as for site-diluted DTN, are consistent with conventional scaling at the quantum critical point and with a critical exponent z verifying the prediction z = d; moreover the correlation length exponent is found to be nu = 0.75(10), and the order parameter exponent to be beta = 0.95(10). We investigate the low-temperature thermodynamics at the quantum critical field of Br-DTN both numerically and experimentally, and extract the power-law behavior of the magnetization and of the specific heat. Our results for the exponents of the power laws, as well as previous results for the scaling of the critical temperature to magnetic ordering with the applied field, are incompatible with the conventional crossover-scaling Ansatz proposed by Fisher et al. [Phys. Rev. B 40, 546 (1989)]. However they can all be reconciled within a phenomenological Ansatz in the presence of a dangerously irrelevant operator.

Fast-timing study of the l-forbidden 1/2(+) -> 3/2(+) M1 transition in Sn-129

The levels in Sn-129 populated from the beta(-) decay of In-129 isomers were investigated at the ISOLDE facility of CERN using the newly commissioned ISOLDE Decay Station (IDS). The lowest 1/2(+) state and the 3/2(+) ground state in 129Sn are expected to have configurations dominated by the neutron s(1/2) (l = 0) and d(3/2) (l = 2) single-particle states, respectively. Consequently, these states should be connected by a somewhat slow l-forbidden M1 transition. Using fast-timing spectroscopy we havemeasured the half-life of the 1/2(+) 315.3-keV state, T-1/2 = 19(10) ps, which corresponds to a moderately fast M1 transition. Shell-model calculations using the CD-Bonn effective interaction, with standard effective charges and g factors, predict a 4-ns half-life for this level. We can reconcile the shell-model calculations to the measured T-1/2 value by the renormalization of the M1 effective operator for neutron holes.

Formalizing operator task analysis

Human operators are unique in their decision making capability, judgment and nondeterminism. Their sense of judgment, unpredictable decision procedures, susceptibility to environmental elements can cause them to erroneously execute a given task description to operate a computer system. Usually, a computer system is protected against some erroneous human behaviors by having necessary safeguard mechanisms in place. But some erroneous human operator behaviors can lead to severe or even fatal consequences especially in safety critical systems. A generalized methodology that can allow modeling and analyzing the interactions between computer systems and human operators where the operators are allowed to deviate from their prescribed behaviors will provide a formal understanding of the robustness of a computer system against possible aberrant behaviors by its human operators. We provide several methodology for assisting in modeling and analyzing human behaviors exhibited while operating computer systems. Every human operator is usually given a specific recommended set of guidelines for operating a system. We first present process algebraic methodology for modeling and verifying recommended human task execution behavior. We present how one can perform runtime monitoring of a computer system being operated by a human operator for checking violation of temporal safety properties. We consider the concept of a protection envelope giving a wider class of behaviors than those strictly prescribed by a human task that can be tolerated by a system. We then provide a framework for determining whether a computer system can maintain its guarantees if the human operators operate within their protection envelopes. This framework also helps to determine the robustness of the computer system under weakening of the protection envelopes. In this regard, we present a tool called Tutela that assists in implementing the framework. We then examine the ability of a system to remain safe under broad classes of variations of the prescribed human task. We develop a framework for addressing two issues. The first issue is: given a human task specification and a protection envelope, will the protection envelope properties still hold under standard erroneous executions of that task by the human operators? In other words how robust is the protection envelope? The second issue is: in the absence of a protection envelope, can we approximate a protection envelope encompassing those standard erroneous human behaviors that can be safely endured by the system? We present an extension of Tutela that implements this framework. The two frameworks mentioned above use Concurrent Game Structures (CGS) as models for both computer systems and their human operators. However, there are some shortcomings of this formalism for our uses. We add incomplete information concepts in CGSs to achieve better modularity for the players. We introduce nondeterminism in both the transition system and strategies of players and in the modeling of human operators and computer systems. Nondeterministic action strategies for players in \emph{i}ncomplete information \emph{N}ondeterministic CGS (iNCGS) is a more precise formalism for modeling human behaviors exhibited while operating a computer system. We show how we can reason about a human behavior satisfying a guarantee by providing a semantics of Alternating Time Temporal Logic based on iNCGS player strategies. In a nutshell this dissertation provides formal methodology for modeling and analyzing system robustness against both expected and erroneous human operator behaviors.

The Cratylia Mollis Seed Lectin Induces Membrane Permeability Transition In Isolated Rat Liver Mitochondria And A Cyclosporine A-insensitive Permeability Transition In Trypanosoma Cruzi Mitochondria.

Previous results provided evidence that Cratylia mollis seed lectin (Cramoll 1,4) promotes Trypanosoma cruzi epimastigotes death by necrosis via a mechanism involving plasma membrane permeabilization to Ca(2+) and mitochondrial dysfunction due to matrix Ca(2+) overload. In order to investigate the mechanism of Ca(2+) -induced mitochondrial impairment, experiments were performed analyzing the effects of this lectin on T. cruzi mitochondrial fraction and in isolated rat liver mitochondria (RLM), as a control. Confocal microscopy of T. cruzi whole cell revealed that Cramoll 1,4 binding to the plasma membrane glycoconjugates is followed by its internalization and binding to the mitochondrion. Electrical membrane potential (∆Ψm ) of T. cruzi mitochondrial fraction suspended in a reaction medium containing 10 μM Ca(2+) was significantly decreased by 50 μg/ml Cramoll 1,4 via a mechanism insensitive to cyclosporine A (CsA, membrane permeability transition (MPT) inhibitor), but sensitive to catalase or 125 mM glucose. In RLM suspended in a medium containing 10 μM Ca(2+) this lectin, at 50 μg/ml, induced increase in the rate of hydrogen peroxide release, mitochondrial swelling, and ∆Ψm disruption. All these mitochondrial alterations were sensitive to CsA, catalase, and EGTA. These results indicate that Cramoll 1, 4 leads to inner mitochondrial membrane permeabilization through Ca(2+) dependent mechanisms in both mitochondria. The sensitivity to CsA in RLM characterizes this lectin as a MPT inducer and the lack of CsA effect identifies a CsA-insensitive MPT in T. cruzi mitochondria.

Oxidative Stress And Susceptibility To Mitochondrial Permeability Transition Precedes The Onset Of Diabetes In Autoimmune Non-obese Diabetic Mice.

Beta cell destruction in type 1 diabetes (TID) is associated with cellular oxidative stress and mitochondrial pathway of cell death. The aim of this study was to determine whether oxidative stress and mitochondrial dysfunction are present in T1D model (non-obese diabetic mouse, NOD) and if they are related to the stages of disease development. NOD mice were studied at three stages: non-diabetic, pre-diabetic, and diabetic and compared with age-matched Balb/c mice. Mitochondria respiration rates measured at phosphorylating and resting states in liver and soleus biopsies and in isolated liver mitochondria were similar in NOD and Balb/c mice at the three disease stages. However, NOD liver mitochondria were more susceptible to calcium-induced mitochondrial permeability transition as determined by cyclosporine-A-sensitive swelling and by decreased calcium retention capacity in all three stages of diabetes development. Mitochondria H2O2 production rate was higher in non-diabetic, but unaltered in pre-diabetic and diabetic NOD mice. The global cell reactive oxygen species (ROS), but not specific mitochondria ROS production, was significantly increased in NOD lymphomononuclear and stem cells in all disease stages. In addition, marked elevated rates of 2',7'-dichlorodihydrofluorescein (H2DCF) oxidation were observed in pancreatic islets from non-diabetic NOD mice. Using matrix-assisted laser desorption/ionization (MALDI) mass spectrometry (MS) and lipidomic approach, we identified oxidized lipid markers in NOD liver mitochondria for each disease stage, most of them being derivatives of diacylglycerols and phospholipids. These results suggest that the cellular oxidative stress precedes the establishment of diabetes and may be the cause of mitochondrial dysfunction that is involved in beta cell death.

Transition From Glass To Digital Slide Microscopy In The Teaching Of Oral Pathology In A Brazilian Dental School.

Several medical and dental schools have described their experience in the transition from conventional to digital microscopy in the teaching of general pathology and histology disciplines; however, this transitional process has scarcely been reported in the teaching of oral pathology. Therefore, the objective of the current study is to report the transition from conventional glass slide to virtual microscopy in oral pathology teaching, a unique experience in Latin America. An Aperio ScanScope® scanner was used to digitalize histological slides used in practical lectures of oral pathology. The challenges and benefits observed by the group of Professors from the Piracicaba Dental School (Brazil) are described and a questionnaire to evaluate the students' compliance to this new methodology was applied. An improvement in the classes was described by the Professors who mainly dealt with questions related to pathological changes instead of technical problems; also, a higher interaction with the students was described. The simplicity of the software used and the high quality of the virtual slides, requiring a smaller time to identify microscopic structures, were considered important for a better teaching process. Virtual microscopy used to teach oral pathology represents a useful educational methodology, with an excellent compliance of the dental students.