A logic-based agent that plans for extended reachability goals

Planning to reach a goal is an essential capability for rational agents. In general, a goal specifies a condition to be achieved at the end of the plan execution. In this article, we introduce nondeterministic planning for extended reachability goals (i.e., goals that also specify a condition to be preserved during the plan execution). We show that, when this kind of goal is considered, the temporal logic CTL turns out to be inadequate to formalize plan synthesis and plan validation algorithms. This is mainly due to the fact that the CTL`s semantics cannot discern among the various actions that produce state transitions. To overcome this limitation, we propose a new temporal logic called alpha-CTL. Then, based on this new logic, we implement a planner capable of synthesizing reliable plans for extended reachability goals, as a side effect of model checking.

Signatures of doubly charged Higgs in the SU(3)(L) circle times U(1)(N) model at the CERN LHC

The scalar sector of the simplest version of the 3-3-1 electroweak model is constructed with three Higgs triplets only. We show that a relation involving two of the constants of the model, two vacuum expectation values of the neutral scalars, and the mass of the doubly charged Higgs boson leads to important information concerning the signals of this scalar particle.

Neutral Higgs bosons in the SU(3)(L)circle times U(1)(N) model

The SU(3)(L)circle times U(1)(N) electroweak model predicts new Higgs bosons beyond the one of the standard model. In this work we investigate the signature and production of neutral SU(3)(L)circle times U(1)(N) Higgs bosons in the e(-)e(+) Next Linear Collider and in the CERN Linear Collider . We compute the branching ratios of two of the SU(3)(L)circle times U(1)(N) neutral Higgs bosons and study the possibility to detect them and the Z' extra neutral boson of the model.

A model for Hopfions on the space-time S(3)xR

We construct static and time dependent exact soliton solutions for a theory of scalar fields taking values on a wide class of two dimensional target spaces, and defined on the four dimensional space-time S-3 X R. The construction is based on an ansatz built out of special coordinates on S3. The requirement for finite energy introduce boundary conditions that determine an infinite discrete spectrum of frequencies for the oscillating solutions. For the case where the target space is the sphere S-2, we obtain static soliton solutions with nontrivial Hopf topological charges. In addition, such Hopfions can oscillate in time, preserving their topological Hopf charge, with any of the frequencies belonging to that infinite discrete spectrum. (C) 2005 American Institute of Physics.

Chargino and neutralino production in the 3-3-1 supersymmetric model in e(-)e(-) scattering

The goal of this article is to derive the Feynman rules involving single charginos, neutralinos, double charged gauge bosons, and sleptons in a 3-3-1 supersymmetric model. Using these Feynman rules we calculate the production of double charged charginos with neutralinos and also the production of a pair of single charged charginos, both in an electron-electron linear collider.

Kinetic model of poly(3-hydroxybutyrate) thermal degradation from experimental non-isothermal data

The non-isothermal data given by TG curves for poly(3-hydroxybutyrate) (PHB) were studied in order to obtain a consistent kinetic model that better represents the PHB thermal decomposition. Thus, data obtained from the dynamic TG curves were suitably managed in order to obtain the Arrhenius kinetic parameter E according to the isoconversional F-W-O method. Once the E parameters is found, a suitable logA and kinetic model (f(alpha)) could be calculated. Hence, the kinetic triplet (E +/- SD, logA +/- SD and f(alpha)) obtained for the thermal decomposition of PHB under non-isothermal conditions was E=152 +/- 4 kJ mol(-1), logA=14.1 +/- 0.2 s(-1) for the kinetic model, and the autocatalytic model function was: f(alpha)=alpha(m)(1-alpha)(n)=alpha(0.42)(1-alpha)(0.56).

Inflammation-induced modulation of cellular galectin-1 and-3 expression in a model of rat peritonitis

Objective and design: To investigate the effect of galectin-1 (Gal-1) and -3 (Gal-3) on leukocyte migration and analyze the expression of both galectins in inflammatory cells using a model of rat peritonitis.Material or Subjects: Sprague-Dawley rats (n = 4 per group).Treatment: Peritonitis was induced in animals through intraperitoneal injection of carrageenin (1.5 mg/kg) and rat mesenteries were analyzed at different time points (0, 4, 24 and 48h). For pharmacological treatment, rats received intravenous injection of Gal-1 or -3 (3 mu g/kg) followed by carrageenin.Methods: Western blotting and immunoelectron microscopy analysis. Statistical analysis was performed using ANOVA followed by Bonferroni test.Results: Pharmacological treatment with Gal-1, but not Gal-3, inhibited (similar to 50%) leukocyte recruitment into the peritoneal cavity at 4h time-point. In this early phase, immunogold staining of mesenteries showed a diminished Gal-3 expression in degranulated mast cells and Gal-1 in transmigrated neutrophils (similar to 20% reduction compared to intravascular cells). In the later phases (24 and 48 h), leukocyte turnover was associated with augmented Gal-1 expression in neutrophils and macrophages and Gal-3 in mast cells and macrophages.Conclusions: These results point to a balanced expression of cell-associated-Gal-1/Gal-3 and might impact on the development of new therapeutic strategies for inflammatory diseases.

LEPTON MASSES IN AN SU(3)L-CIRCLE-TIMES-U(1)N GAUGE-MODEL

The SU(3)cxSU(3)LxU(1)N model of Pisano and Pleitez extends the standard model in a particularly nice way, so that, for example, the anomalies cancel only when the number of generations is divisible by 3. The original version of the model has some problems accounting for the lepton masses. We resolve this problem by modifying the details of the symmetry-breaking sector in the model.