First-order formalism for dark energy and dust

This work deals with a first-order formalism for dark energy and dust in standard cosmology, for models described by a real scalar field in the presence of dust in spatially flat space. The field dynamics may be standard or tachyonic, and we show how the equations of motion can be solved by first-order differential equations. We investigate a model to illustrate how the dustlike matter may affect the cosmic evolution using this framework.

Hamilton-Jacobi approach for first order actions and theories with higher derivatives

In this work, we analyze systems described by Lagrangians with higher order derivatives in the context of the Hamilton-Jacobi formalism for first order actions. Two different approaches are studied here: the first one is analogous to the description of theories with higher derivatives in the hamiltonian formalism according to [D.M. Gitman, S.L. Lyakhovich, I.V. Tyutin, Soviet Phys. J. 26 (1983) 730; D.M. Gitman, I.V. Tyutin, Quantization of Fields with Constraints, Springer-Verlag, New York, Berlin, 1990] the second treats the case where degenerate coordinate are present, in an analogy to reference [D.M. Gitman, I.V. Tyutin, Nucl. Phys. B 630 (2002) 509]. Several examples are analyzed where a comparison between both approaches is made. (C) 2007 Elsevier B.V. All rights reserved.

First order reversal curve analysis of nanocrystalline Pd80Co20 alloy films

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

Fish assemblage structure in a first order stream, southeastern Brazil: longitudinal distribution, seasonality, and microhabitat diversity

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

First-order decay models to describe soil C-CO2 Loss after rotary tillage

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

Electromagnetic field in Lyra manifold: a first order approach

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

Resonance and chaos .1. First-order interior resonances

Analytical models for studying the dynamical behaviour of objects near interior, mean motion resonances are reviewed in the context of the planar, circular, restricted three-body problem. The predicted widths of the resonances are compared with the results of numerical integrations using Poincare surfaces of section with a mass ratio of 10(-3) (similar to the Jupiter-Sun case). It is shown that for very low eccentricities the phase space between the 2:1 and 3:2 resonances is predominantly regular, contrary to simple theoretical predictions based on overlapping resonance. A numerical study of the 'evolution' of the stable equilibrium point of the 3:2 resonance as a function of the Jacobi constant shows how apocentric libration at the 2:1 resonance arises; there is evidence of a similar mechanism being responsible for the centre of the 4:3 resonance evolving towards 3:2 apocentric libration. This effect is due to perturbations from other resonances and demonstrates that resonances cannot be considered in isolation. on theoretical grounds the maximum libration width of first-order resonances should increase as the orbit of the perturbing secondary is approached. However, in reality the width decreases due to the chaotic effect of nearby resonances.

First-order-like transition in salt-induced macroion-polyelectrolyte desorption

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

DNA hybridization mechanism in an interfacial environment: What hides beneath first order k (s(-1)) kinetic constant?

The scientific question addressed in this work is: what hides beneath first order kinetic constant k (s(-1)) measured for hybridization of a DNA target on a biosensor surface. Kinetics hybridization curves were established with a 27 MHz quartz microbalance (9 MHz, third harmonic) biosensor, constituted of a 20-base probe monolayer deposited on a gold covered quartz surface. Kinetics analysis, by a known two-step adsorption-hybridization mechanism, is well appropriate to fit properly hybridization kinetics curves, for complementary 20-base to 40-base targets over two concentration decades. It was found that the K-1 (M-1) adsorption constant, relevant to the first step, concerns an equilibrium between non hybridized targets and hybridized pre-complex and increases with DNA target length. It was established that k(2) (s(-1)), relevant to irreversible formation of a stable duplex, varies in an opposite way to K-1 with DNA target length. (C) 2012 Published by Elsevier B.V.

Resonance and chaos: I. First-order interior resonances

Analytical models for studying the dynamical behaviour of objects near interior, mean motion resonances are reviewed in the context of the planar, circular, restricted threebody problem. The predicted widths of the resonances are compared with the results of numerical integrations using Poincaré surfaces of section with a mass ratio of 10-3 (similar to the Jupiter-Sun case). It is shown that for very low eccentricities the phase space between the 2:1 and 3:2 resonances is predominantly regular, contrary to simple theoretical predictions based on overlapping resonance. A numerical study of the 'evolution' of the stable equilibrium point of the 3:2 resonance as a function of the Jacobi constant shows how apocentric libration at the 2:1 resonance arises; there is evidence of a similar mechanism being responsible for the centre of the 4:3 resonance evolving towards 3:2 apocentric libration. This effect is due to perturbations from other resonances and demonstrates that resonances cannot be considered in isolation. On theoretical grounds the maximum libration width of first-order resonances should increase as the orbit of the perturbing secondary is approached. However, in reality the width decreases due to the chaotic effect of nearby resonances.

First-order perturbed Korteweg-de Vries solitons

We consider the Korteweg-de Vries equation with a perturbation arising naturally in many physical situations. Although being asymptotically integrable, we show that the corresponding perturbed solitons do not have the usual scattering properties. Specifically, we show that there is a solution, correct up to O(ε), where ε is the perturbative parameter, consisting, at t→ -∞ of two superposed deformed solitons characterized by wave numbers k1 and k2 that give rise, for t→ +∞, to the same but phase-shifted superposed solitons plus a coupling term depending on k1, and k2. We also find the condition on the original equation for which this coupling vanishes.

Double sampling X̄ control chart for a first order autoregressive process

In this paper we propose the Double Sampling X̄ control chart for monitoring processes in which the observations follow a first order autoregressive model. We consider sampling intervals that are sufficiently long to meet the rational subgroup concept. The Double Sampling X̄ chart is substantially more efficient than the Shewhart chart and the Variable Sample Size chart. To study the properties of these charts we derived closed-form expressions for the average run length (ARL) taking into account the within-subgroup correlation. Numerical results show that this correlation has a significant impact on the chart properties.

DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approach

Bio-molecular computing, 'computations performed by bio-molecules', is already challenging traditional approaches to computation both theoretically and technologically. Often placed within the wider context of ´bio-inspired' or 'natural' or even 'unconventional' computing, the study of natural and artificial molecular computations is adding to our understanding of biology, physical sciences and computer science well beyond the framework of existing design and implementation paradigms. In this introduction, We wish to outline the current scope of the field and assemble some basic arguments that, bio-molecular computation is of central importance to computer science, physical sciences and biology using HOL - Higher Order Logic. HOL is used as the computational tool in our R&D work. DNA was analyzed as a chemical computing engine, in our effort to develop novel formalisms to understand the molecular scale bio-chemical computing behavior using HOL. In our view, our focus is one of the pioneering efforts in this promising domain of nano-bio scale chemical information processing dynamics.

Rounding of a first-order quantum phase transition to a strong-coupling critical point

We investigate the effects of quenched disorder on first-order quantum phase transitions on the example of the N-color quantum Ashkin-Teller model. By means of a strong-disorder renormalization group, we demonstrate that quenched disorder rounds the first-order quantum phase transition to a continuous one for both weak and strong coupling between the colors. In the strong-coupling case, we find a distinct type of infinite-randomness critical point characterized by additional internal degrees of freedom. We investigate its critical properties in detail and find stronger thermodynamic singularities than in the random transverse field Ising chain. We also discuss the implications for higher spatial dimensions as well as unusual aspects of our renormalization-group scheme. DOI: 10.1103/PhysRevB.86.214204

Implementation of a non ground meta interpreter for defeasible logic

Human reasoning is a fascinating and complex cognitive process that can be applied in different research areas such as philosophy, psychology, laws and financial. Unfortunately, developing supporting software (to those different areas) able to cope such as complex reasoning it’s difficult and requires a suitable logic abstract formalism. In this thesis we aim to develop a program, that has the job to evaluate a theory (a set of rules) w.r.t. a Goal, and provide some results such as “The Goal is derivable from the KB5 (of the theory)”. In order to achieve this goal we need to analyse different logics and choose the one that best meets our needs. In logic, usually, we try to determine if a given conclusion is logically implied by a set of assumptions T (theory). However, when we deal with programming logic we need an efficient algorithm in order to find such implications. In this work we use a logic rather similar to human logic. Indeed, human reasoning requires an extension of the first order logic able to reach a conclusion depending on not definitely true6 premises belonging to a incomplete set of knowledge. Thus, we implemented a defeasible logic7 framework able to manipulate defeasible rules. Defeasible logic is a non-monotonic logic designed for efficient defeasible reasoning by Nute (see Chapter 2). Those kind of applications are useful in laws area especially if they offer an implementation of an argumentation framework that provides a formal modelling of game. Roughly speaking, let the theory is the set of laws, a keyclaim is the conclusion that one of the party wants to prove (and the other one wants to defeat) and adding dynamic assertion of rules, namely, facts putted forward by the parties, then, we can play an argumentative challenge between two players and decide if the conclusion is provable or not depending on the different strategies performed by the players. Implementing a game model requires one more meta-interpreter able to evaluate the defeasible logic framework; indeed, according to Göedel theorem (see on page 127), we cannot evaluate the meaning of a language using the tools provided by the language itself, but we need a meta-language able to manipulate the object language8. Thus, rather than a simple meta-interpreter, we propose a Meta-level containing different Meta-evaluators. The former has been explained above, the second one is needed to perform the game model, and the last one will be used to change game execution and tree derivation strategies.