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.

A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

New simple and efficient heuristics for the uncapacitated single allocation hub location problem

Hub-and-spoke networks are widely studied in the area of location theory. They arise in several contexts, including passenger airlines, postal and parcel delivery, and computer and telecommunication networks. Hub location problems usually involve three simultaneous decisions to be made: the optimal number of hub nodes, their locations and the allocation of the non-hub nodes to the hubs. In the uncapacitated single allocation hub location problem (USAHLP) hub nodes have no capacity constraints and non-hub nodes must be assigned to only one hub. In this paper, we propose three variants of a simple and efficient multi-start tabu search heuristic as well as a two-stage integrated tabu search heuristic to solve this problem. With multi-start heuristics, several different initial solutions are constructed and then improved by tabu search, while in the two-stage integrated heuristic tabu search is applied to improve both the locational and allocational part of the problem. Computational experiments using typical benchmark problems (Civil Aeronautics Board (CAB) and Australian Post (AP) data sets) as well as new and modified instances show that our approaches consistently return the optimal or best-known results in very short CPU times, thus allowing the possibility of efficiently solving larger instances of the USAHLP than those found in the literature. We also report the integer optimal solutions for all 80 CAB data set instances and the 12 AP instances up to 100 nodes, as well as for the corresponding new generated AP instances with reduced fixed costs. Published by Elsevier Ltd.

Stability property of matchings is a natural solution concept in coalitional market games

Stability of matchings was proved to be a new cooperative equilibrium concept in Sotomayor (Dynamics and equilibrium: essays in honor to D. Gale, 1992). That paper introduces the innovation of treating as multi-dimensional the payoff of a player with a quota greater than one. This is done for the many-to-many matching model with additively separable utilities, for which the stability concept is defined. It is then proved, via linear programming, that the set of stable outcomes is nonempty and it may be strictly bigger than the set of dual solutions and strictly smaller than the core. The present paper defines a general concept of stability and shows that this concept is a natural solution concept, stronger than the core concept, for a much more general coalitional game than a matching game. Instead of mutual agreements inside partnerships, the players are allowed to make collective agreements inside coalitions of any size and to distribute his labor among them. A collective agreement determines the level of labor at which the coalition operates and the division, among its members, of the income generated by the coalition. An allocation specifies a set of collective agreements for each player.

On the generalized eigenvalue method for energies and matrix elements in lattice field theory

We discuss the generalized eigenvalue problem for computing energies and matrix elements in lattice gauge theory, including effective theories such as HQET. It is analyzed how the extracted effective energies and matrix elements converge when the time separations are made large. This suggests a particularly efficient application of the method for which we can prove that corrections vanish asymptotically as exp(-(E(N+1) - E(n))t). The gap E(N+1) - E(n) can be made large by increasing the number N of interpolating fields in the correlation matrix. We also show how excited state matrix elements can be extracted such that contaminations from all other states disappear exponentially in time. As a demonstration we present numerical results for the extraction of ground state and excited B-meson masses and decay constants in static approximation and to order 1/m(b) in HQET.

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.

Analyzing the n→π* Electronic Transition of Formaldehyde in Water. A Sequential Monte Carlo/Time-Dependent Density Functional Theory

The n→π* absorption transition of formaldehyde in water is analyzed using combined and sequential classical Monte Carlo (MC) simulations and quantum mechanics (QM) calculations. MC simulations generate the liquid solute-solvent structures for subsequent QM calculations. Using time-dependent density functional theory in a localized set of gaussian basis functions (TD-DFT/6-311++G(d,p)) calculations are made on statistically relevant configurations to obtain the average solvatochromic shift. All results presented here use the electrostatic embedding of the solvent. The statistically converged average result obtained of 2300 cm-1 is compared to previous theoretical results available. Analysis is made of the effective dipole moment of the hydrogen-bonded shell and how it could be held responsible for the polarization of the solvent molecules in the outer solvation shells.

Análise de atitudes de professoras do ensino fundamental no que se refere à educação inclusiva

Este artigo, que tem como referência a teoria crítica, relata o resultado de uma pesquisa sobre atitudes em relação à educação inclusiva, realizada com doze professoras do 5º ano do ensino fundamental; dentre elas, seis tinham experiência de ter em sala de aula alunos com deficiência, e seis não tinham. A análise qualitativa dos dados decorrentes do levantamento realizado em seis escolas da rede municipal de Campo Grande (MS) demonstrou que, de modo geral, as professoras foram favoráveis à educação inclusiva. Contudo, ficou evidente a expressão de atitudes preconceituosas veladas ou explícitas no âmbito escolar. A formação para experiência com quem é "diferente" ainda encontra barreiras por conta do preconceito e da discriminação presentes nesta sociedade que tem como lógica uma "inclusão marginal". Em suas manifestações, apontaram dificuldades de trabalhar com alunos com deficiência intelectual severa; assinalaram que a responsabilidade de trabalhar sob a predominância da educação centrada no desempenho, com foco na inserção das pessoas no mercado de trabalho, gerava um "sentimento de impotência". Diante das contradições existentes, a educação inclusiva não deixa de evidenciar a presença das injustiças que ainda se apresentam no processo educativo. Apesar disso, foram indicados vários elementos favoráveis a essa forma de educação, que não é dissociada de movimentos sociais mais amplos.

Efficient synthesis of benzothiazine and acrylamide compounds

This article describes the synthesis of the new (2Z)-2-(4-methoxybenzylidene)-6-nitro-4H -benzo[1,4]thiazin-3-one, (2Z)-2-(4-methoxybenzylidene)-4-methyl-6-nitro-4H-benzo[1,4]thiazin-3-one, (2Z)-6-amino-2-(4-methoxybenzylidene)-4H -benzo[1,4]thiazin-3-one, (2Z)-6-butylamino-2-(4-methoxybenzylidene)-4-methyl-4H-benzo[1,4]-thiazin-3-one and (2E)-N-alkyl-N-(2-hydroxy-5-nitrophenyl)-3-phenylacrylamides and the spectroscopic data. The arylidenebenzothiazine compounds were prepared using the Knoevenagel condensation with substituted benzaldehydes in the presence of sodium methoxide in DMF. The presence of a nitro substituent in the 4-position, water and a slightly acid reaction medium in this condensation caused the rupture of the benzothiazine ring and subsequent formation of the phenylacrylamide compounds. A crystallographic data was presented for (2E)-3-(4-bromophenyl)-N-dodecyl-N -(2-hydroxy-5-nitrophenyl) acrylamide.

Africanized honey bees are efficient at detecting, uncapping and removing dead brood

The hygienic behavior of honey bees is based on a two-step process, including uncapping and removing diseased, dead, damaged, or parasitized brood inside the cell. We evaluated during periods of 1 h the time that hygienic and non-hygienic colonies of Africanized honey bees spend to detect, uncap and remove pin-killed brood using comb inserts with transparent walls placed in observation hives. We observed that hygienic colonies are significantly faster in detecting, uncapping and removing dead brood in the cells (P < 0.001).

Density functional theory study of Fe(3)Ga

First-principles scalar relativistic calculations in supercells of 16 atoms are used to represent disordered B2 ordering of Fe(3)Ga in order to observe the effect of Ga-Ga pairs on the electronic structure of this alloy. From a comparison with pure bcc Fe it is observed that the energy position and occupation of e(g) and t(2g) states are largely affected by the Ga-Ga pairs and strengthened intraplane interactions takes place. The results show that a larger hybridization of the conduction band is in the source of the magnetostriction enhancement experimentally observed in Galfenol. (C) 2011 American Institute of Physics. [doi:10.1063/1.3525609]

A new constitutive theory extending Hypoplasticity

The purpose of the present theory is to improve Hypoplasticity, especially in relation to reloading processes. This is done by means of two hypoplastic equations (a classical equation along with a new one containing a so-called mnemonic tensor), a cone in stress space and a criterion defining loading, unloading and reloading. (C) 2010 Elsevier Ltd. All rights reserved.

Decision theory applied to image quality control in radiology

Background: The present work aims at the application of the decision theory to radiological image quality control ( QC) in diagnostic routine. The main problem addressed in the framework of decision theory is to accept or reject a film lot of a radiology service. The probability of each decision of a determined set of variables was obtained from the selected films. Methods: Based on a radiology service routine a decision probability function was determined for each considered group of combination characteristics. These characteristics were related to the film quality control. These parameters were also framed in a set of 8 possibilities, resulting in 256 possible decision rules. In order to determine a general utility application function to access the decision risk, we have used a simple unique parameter called r. The payoffs chosen were: diagnostic's result (correct/incorrect), cost (high/low), and patient satisfaction (yes/no) resulting in eight possible combinations. Results: Depending on the value of r, more or less risk will occur related to the decision-making. The utility function was evaluated in order to determine the probability of a decision. The decision was made with patients or administrators' opinions from a radiology service center. Conclusion: The model is a formal quantitative approach to make a decision related to the medical imaging quality, providing an instrument to discriminate what is really necessary to accept or reject a film or a film lot. The method presented herein can help to access the risk level of an incorrect radiological diagnosis decision.

Determination of the Most Efficient Temperature for Radiofrequency Ablation of Renal Cells: A Prospective Study in Dogs

Background and Purpose: Radiofrequency (RF) ablation of renal tumors is a major technique for tumor cell destruction while preserving healthy renal parenchyma. There is no consensus in the literature regarding the optimal temperature, impedance, and time for RF application for effective cell destruction. This study investigated two variables while keeping time unchanged: Temperature for RF cell destruction and tissue impedance in dog kidneys. Materials and Methods: Sixteen dogs had renal punctures through videolaparoscopy for RF interstitial tissue ablation. A RF generator was applied for 10 minutes to the dog's kidney at different target temperatures: 80 degrees C, 90 degrees C, and 100 degrees C. On postoperative day14, the animals were sacrificed and nephrectomized. All lesions were macroscopically and microscopically examined. The bioelectrical impedance was evaluated at three different temperatures. Results: Renal injuries were wider and deeper at 90 degrees C (P < 0.001), and they were similar at 80 degrees C and 100 degrees C. The bioelectrical impedance was lower at 90 degrees C than at the temperatures of 80 degrees C and 100 degrees C (P < 0.001). Viable cells in the RF ablation tissue area were not found in the microscopic examination. Conclusion: The most effective cell destruction in terms of width and depth was achieved at 90 degrees C, which was also the optimal temperature for tissue impedance. RF ablation of renal cells eliminated all viable cells.