Algebraic Theory of Minimal Nondeterministic Finite Automata with Applications

Since the 1950s, the theory of deterministic and nondeterministic finite automata (DFAs and NFAs, respectively) has been a cornerstone of theoretical computer science. In this dissertation, our main object of study is minimal NFAs. In contrast with minimal DFAs, minimal NFAs are computationally challenging: first, there can be more than one minimal NFA recognizing a given language; second, the problem of converting an NFA to a minimal equivalent NFA is NP-hard, even for NFAs over a unary alphabet. Our study is based on the development of two main theories, inductive bases and partials, which in combination form the foundation for an incremental algorithm, ibas, to find minimal NFAs. An inductive basis is a collection of languages with the property that it can generate (through union) each of the left quotients of its elements. We prove a fundamental characterization theorem which says that a language can be recognized by an n-state NFA if and only if it can be generated by an n-element inductive basis. A partial is an incompletely-specified language. We say that an NFA recognizes a partial if its language extends the partial, meaning that the NFA's behavior is unconstrained on unspecified strings; it follows that a minimal NFA for a partial is also minimal for its language. We therefore direct our attention to minimal NFAs recognizing a given partial. Combining inductive bases and partials, we generalize our characterization theorem, showing that a partial can be recognized by an n-state NFA if and only if it can be generated by an n-element partial inductive basis. We apply our theory to develop and implement ibas, an incremental algorithm that finds minimal partial inductive bases generating a given partial. In the case of unary languages, ibas can often find minimal NFAs of up to 10 states in about an hour of computing time; with brute-force search this would require many trillions of years.

Emotional Theory of Rationality

In recent decades, it has been definitely established the existence of a close relationship between the emotional phenomena and rational processes, but we still do not have a unified definition, or effective models to describe any of them well. To advance our understanding of the mechanisms governing the behavior of living beings we must integrate multiple theories, experiments and models from both fields. In this paper we propose a new theoretical framework that allows integrating and understanding, from a functional point of view, the emotion-cognition duality. Our reasoning, based on evolutionary principles, add to the definition and understanding of emotion, justifying its origin, explaining its mission and dynamics, and linking it to higher cognitive processes, mainly with attention, cognition, decision-making and consciousness. According to our theory, emotions are the mechanism for brain function optimization, besides being the contingency and stimuli prioritization system. As a result of this approach, we have developed a dynamic systems-level model capable of providing plausible explanations for some psychological and behavioral phenomena, and establish a new framework for scientific definition of some fundamental psychological terms.

Atomic Charge Transfer-counter Polarization Effects Determine Infrared Ch Intensities Of Hydrocarbons: A Quantum Theory Of Atoms In Molecules Model.

Atomic charge transfer-counter polarization effects determine most of the infrared fundamental CH intensities of simple hydrocarbons, methane, ethylene, ethane, propyne, cyclopropane and allene. The quantum theory of atoms in molecules/charge-charge flux-dipole flux model predicted the values of 30 CH intensities ranging from 0 to 123 km mol(-1) with a root mean square (rms) error of only 4.2 km mol(-1) without including a specific equilibrium atomic charge term. Sums of the contributions from terms involving charge flux and/or dipole flux averaged 20.3 km mol(-1), about ten times larger than the average charge contribution of 2.0 km mol(-1). The only notable exceptions are the CH stretching and bending intensities of acetylene and two of the propyne vibrations for hydrogens bound to sp hybridized carbon atoms. Calculations were carried out at four quantum levels, MP2/6-311++G(3d,3p), MP2/cc-pVTZ, QCISD/6-311++G(3d,3p) and QCISD/cc-pVTZ. The results calculated at the QCISD level are the most accurate among the four with root mean square errors of 4.7 and 5.0 km mol(-1) for the 6-311++G(3d,3p) and cc-pVTZ basis sets. These values are close to the estimated aggregate experimental error of the hydrocarbon intensities, 4.0 km mol(-1). The atomic charge transfer-counter polarization effect is much larger than the charge effect for the results of all four quantum levels. Charge transfer-counter polarization effects are expected to also be important in vibrations of more polar molecules for which equilibrium charge contributions can be large.

Comparative Study Of Planned And Unplanned Excisions For The Treatment Of Soft Tissue Sarcoma Of The Extremities.

Unplanned excision of soft tissue sarcomas is common because benign soft tissue lesions are very frequent. This study evaluated the impact of unplanned resections on overall survival, local recurrence and distant metastasis in patients with soft tissue sarcomas of the extremities. In total, 52 patients who were diagnosed with soft tissue sarcomas between May 2001 and March 2011 were analyzed in a retrospective study. Of these patients, 29 (55.8%) had not undergone previous treatment and the remaining 23 (44.2%) patients had undergone prior resection of the tumor without oncological planning. All subsequent surgical procedures were performed at the same cancer referral center. The follow-up ranged from 6 to 122 months, with a mean of 39.89 months. Age, lesion size and depth, histological grade, surgical margins, overall survival, local and distant recurrence and adjuvant therapies were compared. Residual disease was observed in 91.3% of the re-resected specimens in the unplanned excision group, which exhibited greater numbers of superficial lesions, low histological grades and contaminated surgical margins compared with the re-resected specimens in the planned excision group. No differences were observed in local recurrence and 5-year overall survival between the groups, but distant metastases were significantly associated with planned excision after adjustment for the variables. There was no difference between patients undergoing unplanned excision and planned excision regarding local recurrence and overall survival. The planned excision group had a higher risk of distant metastasis, whereas there was a high rate of residual cancer in the unplanned excision group.

Pulsar binary systems in a nonsymmetric theory of gravitation II. Dipole radiation

This paper deals with the emission of gravitational radiation in the context of a previously studied metric nonsymmetric theory of gravitation. The part coming from the symmetric part of the metric coincides with the mass quadrupole moment result of general relativity. The one associated to the antisymmetric part of the metric involves the dipole moment of the fermionic charge of the system. The results are applied to binary star systems and the decrease of the period of the elliptical motion is calculated.

Nonexistence of regular stationary solution in a metric nonsymmetric theory of gravitation

It is proven that the field equations of a previously studied metric nonsymmetric theory of gravitation do not admit any non-singular stationary solution which represents a field of non-vanishing total mass and non-vanishing total fermionic charge.

Theory of small-signal ac response of a dielectric liquid containing two groups of ions

The analysis of Macdonald for electrolytes is generalized to the case in which two groups of ions are present. We assume that the electrolyte can be considered as a dispersion of ions in a dielectric liquid, and that the ionic recombination can be neglected. We present the differential equations governing the ionic redistribution when the liquid is subjected to an external electric field, describing the simultaneous diffusion of the two groups of ions in the presence of their own space charge fields. We investigate the influence of the ions on the impedance spectroscopy of an electrolytic cell. In the analysis, we assume that each group of ions have equal mobility, the electrodes perfectly block and that the adsorption phenomena can be neglected. In this framework, it is shown that the real part of the electrical impedance of the cell has a frequency dependence presenting two plateaux, related to a type of ambipolar and free diffusion coefficients. The importance of the considered problem on the ionic characterization performed by means of the impedance spectroscopy technique was discussed. (c) 2008 American Institute of Physics.

Theory of near-gap second harmonic generation in centrosymmetric magnetic semiconductors: Europium chalcogenides

Second harmonic generation is strictly forbidden in centrosymmetric materials, within the electric dipole approximation. Recently, it was found that the centrosymmetric magnetic semiconductors EuTe and EuSe can generate near-gap second harmonics, if the system is submitted to an external magnetic field. Here, a theoretical model is presented, which well describes the observed phenomena. The model shows that second harmonic generation becomes efficient when the magnetic dipole oscillations between the band-edge excited states of the system, induced by the excitation light, enter the in-phase regime, which can be achieved by applying a magnetic field to the material.

Theory of nitride oxide adsorption on transition metal (111) surfaces: a first-principles investigation

In this work, we report a density functional theory study of nitric oxide (NO) adsorption on close-packed transition metal (TM) Rh(111), Ir(111), Pd(111) and Pt(111) surfaces in terms of adsorption sites, binding mechanism and charge transfer at a coverage of Theta(NO) = 0.25, 0.50, 0.75 monolayer (ML). Based on our study, an unified picture for the interaction between NO and TM(111) and site preference is established, and valuable insights are obtained. At low coverage (0.25 ML), we find that the interaction of NO/TM(111) is determined by an electron donation and back-donation process via the interplay between NO 5 sigma/2 pi* and TM d-bands. The extent of the donation and back-donation depends critically on the coordination number (adsorption sites) and TM d-band filling, and plays an essential role for NO adsorption on TM surfaces. DFT calculations shows that for TMs with high d-band filling such as Pd and Pt, hollow-site NO is energetically the most favorable, and top-site NO prefers to tilt away from the normal direction. While for TMs with low d-band filling (Rh and Ir), top-site NO perpendicular to the surfaces is energetically most favorable. Electronic structure analysis show that irrespective of the TM and adsorption site, there is a net charge transfer from the substrate to the adsorbate due to overwhelming back-donation from the TM substrate to the adsorbed NO molecules. The adsorption-induced change of the work function with respect to bare surfaces and dipole moment is however site dependent, and the work function increases for hollow-site NO, but decreases for top-site NO, because of differences in the charge redistribution. The interplay between the energetics, lateral interaction and charge transfer, which is element dependent, rationalizes the structural evolution of NO adsorption on TM(111) surfaces in the submonolayer regime.

Analysis of the behavior of transverse walls of socket base connections

This paper presents a theoretical and experimental analysis of socket base connections of precast concrete structures with regard to the behavior of transverse walls. The experimental program included seven specimens, for which the type of interface in contact with cast-in-place concrete, the load eccentricities and the embedded lengths were all varied, A design model was proposed to calculate the reinforcements of the transverse walls. Based on the obtained results, some conclusions can be drawn: (a) The top of the transverse wall on the compression side of the smooth connections and the top of the two transverse walls of the rough connections are submitted to a bending-tension and this tension prevails on the bending; (b) The design model proposed for the calculation of the reinforcement of the transverse wall on the compression side provides the best prediction of the experimental results for all specimens when compared to the current design models; (c) For rough interfaces, the top of the transverse wall on the tension side is more requested than the top of transverse wall on the compression side; (d) The results of the proposed design model for the reinforcement of the transverse wall on the tension side of rough connections were in close agreement with the experimental results. (C) 2008 Elsevier Ltd. All rights reserved.

Experiments on stress-triaxiality dependence of material behavior of aluminum alloys

The paper presents and discusses experimental procedures, visual observations and test results considered important to obtain data that can be used in validation of constitutive relations and failure criteria. The aim is to investigate the combined effects of stress intensity, stress-triaxiality and Lode parameter on the material response and failure behavior of aluminum alloys. Smooth and pre-notched tensile and shear specimens were manufactured from both very thin sheets and thicker plates to cover a wide range of stress triaxialities and Lode parameters. In addition, modified Arcan specimens were designed allowing investigation of the effect of sudden changes in stress states and deformation modes on the material behavior. (C) 2009 Elsevier Ltd. All rights reserved.

Half-Filled Layered Organic Superconductors and the Resonating-Valence-Bond Theory of the Hubbard-Heisenberg Model

We present a resonating-valence-bond theory of superconductivity for the Hubbard-Heisenberg model on an anisotropic triangular lattice. Our calculations are consistent with the observed phase diagram of the half-filled layered organic superconductors, such as the beta, beta('), kappa, and lambda phases of (BEDT-TTF)(2)X [bis(ethylenedithio)tetrathiafulvalene] and (BETS)(2)X [bis(ethylenedithio)tetraselenafulvalene]. We find a first order transition from a Mott insulator to a d(x)(2)-y(2) superconductor with a small superfluid stiffness and a pseudogap with d(x)(2)-y(2) symmetry.

Prevention of child behavior problems through universal implementation of a group behavioral family intervention.

The aim of this mental health promotion initiative was to evaluate the effectiveness of a universally delivered group behavioral family intervention (BFI) in preventing behavior problems in children. This study investigates the transferability of an efficacious clinical program to a universal prevention intervention delivered through child and community health services targeting parents of preschoolers within a metropolitan health region. A quasiexperimental two-group (BFI, n=804 vs. Comparison group, n=806) longitudinal design followed preschool aged children and their parents over a 2-year period. BFI was associated with significant reductions in parent-reported levels of dysfunctional parenting and parent-reported levels of child behavior problems. Effect sizes on child behavior problems ranged from large (.83) to moderate (.47). Positive and significant effects were also observed in parent mental health, marital adjustment, and levels of child rearing conflict. Findings are discussed with respect to their implication for significant population reductions in child behavior problems as well as the pragmatic challenges for prevention science in encouraging both the evaluation and uptake of preventive initiatives in real world settings.