13,422 research outputs found
Male mice emit distinct ultrasonic vocalizations when the female leaves the social interaction arena.
Adult male mice emit large number of complex ultrasonic vocalizations (USVs) when interacting with adult females. Call numbers and call categories differ greatly among inbred mouse strains. Little is known about USV emissions when the social partner departs. To investigate whether call repertoires and call rates are different when the male is interacting with a female and after the removal of the female, we designed a novel male-female social interaction test in which vocalizations were recorded across three phases. During phase 1, the male subject freely interacts with an unfamiliar estrus female mouse in a clean cage for 5 min. During phase 2, the female is removed while the male remains in the cage for 3 min. During phase 3, the same female is returned to the cage to rejoin the male subject mouse for 3 min. C57BL/6J (B6), FVB.129P2-Pde6b(+) Tyr(c-ch)/Ant (FVB), and BTBR T+ tf/J (BTBR) male subject mice were tested in this paradigm. All three strains emitted USVs during their initial interaction with the female partner. When the female was reintroduced in phase 3, numbers of USVs were similar to the initial introductory phase 1. Strain comparisons indicated fewer calls in pairs of BTBR males and stimulus females than in pairs of B6 males and stimulus females and pairs of FVB males and stimulus females. In the absence of the female, all FVB males vocalized, while only one third of B6 males and one third of BTBR males vocalized. In all three strains, changes in call category repertoires were detected after the female was removed. Call categories reverted to the phase 1 pattern when the female was returned in phase 3. Present findings indicate that males of commonly used inbred strains emit USVs when a partner female leaves the testing arena, suggesting that removing a salient social stimulus may be a unique approach to elicit USVs from mice. Our three-phase paradigm may also be useful for studying attention to social cues, and qualitative differences in vocalizations when a social partner is present vs. suddenly absent
IMMIGRATION AND DISCRIMINATION IN A FORMER EMIGRANT COUNTRY: THE CASE OF SPAIN
This article analyses the immigrant-native wage differentials in Spain, which only recently has become a host country. The paper exploits the Earnings Structure Survey 2006, which is the first nationally representative sample of both foreign and Spanish employees. Using the Machado-Mata econometric procedure, wage differentials between locals and foreigners are decomposed into the gap related to characteristics and the one due to different returns on endowments (i.e., discrimination). We find that, in absolute terms, the latter component grows across wage distribution, reflecting the existence of a kind of glass ceiling consistent with the evidence of over-education found by previous research.Immigration, Wage differentials, Spain, Quantile regression
Deductive Verification of Unmodified Linux Kernel Library Functions
This paper presents results from the development and evaluation of a
deductive verification benchmark consisting of 26 unmodified Linux kernel
library functions implementing conventional memory and string operations. The
formal contract of the functions was extracted from their source code and was
represented in the form of preconditions and postconditions. The correctness of
23 functions was completely proved using AstraVer toolset, although success for
11 functions was achieved using 2 new specification language constructs.
Another 2 functions were proved after a minor modification of their source
code, while the final one cannot be completely proved using the existing memory
model. The benchmark can be used for the testing and evaluation of deductive
verification tools and as a starting point for verifying other parts of the
Linux kernel.Comment: 18 pages, 2 tables, 6 listings. Accepted to ISoLA 2018 conference.
Evaluating Tools for Software Verification trac
Are disaggregate industrial returns sensitive to economic policy uncertainty
© 2019 Elsevier B.V. This study investigates the impact of economic policy uncertainty on disaggregate US sector based returns. Our work is motivated by the presence of non-linear relationship between US economic policy uncertainty and equity returns of sampled US sectors. The paper uses weekly data from January 1995 to December 2015 for all the return indices and economic policy uncertainty data mainly based on policy issues, provision set for the US federal tax code and disagreement among economic forecasters. Our results indicate that information technology, utilities, industrial and telecommunication sectors remain insensitive to changes in the US economic policy uncertainty. However, financial and the consumer discretionary sectors show significant long run asymmetric relationship with the EPU.Accepted versio
Low Scale Non-universal, Non-anomalous U(1)'_F in a Minimal Supersymmetric Standard Model
We propose a non-universal U(1)'_F symmetry combined with the Minimal
Supersymmetric Standard Model. All anomaly cancellation conditions are
satisfied without exotic fields other than three right-handed neutrinos.
Because our model allows all three generations of chiral superfields to have
different U(1)'_F charges, upon the breaking of the U(1)'_F symmetry at a low
scale, realistic masses and mixing angles in both the quark and lepton sectors
are obtained. In our model, neutrinos are predicted to be Dirac fermions and
their mass ordering is of the inverted hierarchy type. The U(1)'_F charges of
the chiral super-fields also naturally suppress the mu term and automatically
forbid baryon number and lepton number violating operators. While all
flavor-changing neutral current constraints in the down quark and charged
lepton sectors can be satisfied, we find that constraint from D0-D0bar turns
out to be much more stringent than the constraints from the precision
electroweak data.Comment: 21 pages, 2 figures; v2: discussion on sparticle mass spectrum
included, 27 pages, 2 figure
Antara Profesi, Kompetensi Dan Tugas Kependidikan Seorang Guru
Experts of education introduce various theory of learning, so that learning can run effective and effiient, and it is no needs many times. In fact, there is no any theory that shows strategy of learning completely. There are many factors that must be considered, both of internal and external factors. The most inflential of external factors is teacher. Whetherstudents able to receive material well or not is inflenced by teacher. At home, the responsibility of student in the hand of parents, but at school the responsibility of student taken by teacher. In the daily activity, society put high expectation to teacher, since they want their children experience positive -constructive changes
Suppression of backward scattering of Dirac fermions in iron pnictides Ba(FeRuAs)
We report electronic transport of Dirac cones when Fe is replaced by Ru,
which has an isoelectronic electron configuration to Fe, using single crystals
of Ba(FeRuAs). The electronic transport of parabolic bands is
shown to be suppressed by scattering due to the crystal lattice distortion and
the impurity effect of Ru, while that of the Dirac cone is not significantly
reduced due to the intrinsic character of Dirac cones. It is clearly shown from
magnetoresistance and Hall coefficient measurements that the inverse of average
mobility, proportional to cyclotron effective mass, develops as the square root
of the carrier number (n) of the Dirac cones. This is the unique character of
the Dirac cone linear dispersion relationship. Scattering of Ru on the Dirac
cones is discussed in terms of the estimated mean free path using experimental
parameters.Comment: 6 pages, 3 figures, To be published in Phys. Rev.
Spin-Polarized Transport in Ferromagnet-Marginal Fermi Liquid Systems
Spin-polarized transport through a marginal Fermi liquid (MFL) which is
connected to two noncollinear ferromagnets via tunnel junctions is discussed in
terms of the nonequilibrium Green function approach. It is found that the
current-voltage characteristics deviate obviously from the ohmic behavior, and
the tunnel current increases slightly with temperature, in contrast to those of
the system with a Fermi liquid. The tunnel magnetoresistance (TMR) is observed
to decay exponentially with increasing the bias voltage, and to decrease slowly
with increasing temperature. With increasing the coupling constant of the MFL,
the current is shown to increase linearly, while the TMR is found to decay
slowly. The spin-valve effect is observed.Comment: 5 pages, 6 figures, Phys. Rev. B 71, 064412 (2005
General Quantum Key Distribution in Higher Dimension
We study a general quantum key distribution protocol in higher dimension. In
this protocol, quantum states in arbitrary () out of all
mutually unbiased bases in a d-dimensional system can be used for the key
encoding. This provides a natural generalization of the quantum key
distribution in higher dimension and recovers the previously known results for
and . In our investigation, we study Eve's attack by two slightly
different approaches. One is considering the optimal cloner for Eve, and the
other, defined as the optimal attack, is maximizing Eve's information. We
derive results for both approaches and show the deviation of the optimal cloner
from the optimal attack. With our systematic investigation of the quantum key
distribution protocols in higher dimension, one may balance the security gain
and the implementation cost by changing the number of bases in the key
encoding. As a side product, we also prove the equivalency between the optimal
phase covariant quantum cloning machine and the optimal cloner for the
quantum key distribution
Notch signaling is associated with ALDH activity and an aggressive metastatic phenotype in murine osteosarcoma cells
Osteosarcoma (OS) is the most common primary malignancy of bone, and pulmonary metastatic disease accounts for nearly all mortality. However, little is known about the biochemical signaling alterations that drive the progression of metastatic disease. Two murine OS cell populations, K7M2 and K12, are clonally related but differ significantly in their metastatic phenotypes and therefore represent excellent tools for studying metastatic OS molecular biology. K7M2 cells are highly metastatic, whereas K12 cells display limited metastatic potential. Here we report that the expression of Notch genes (Notch1, 2, 4) are up-regulated, including downstream targets Hes1 and Stat3, in the highly metastatic K7M2 cells compared to the less metastatic K12 cells, indicating that the Notch signaling pathway is more active in K7M2 cells. We have previously described that K7M2 cells exhibit higher levels of aldehyde dehydrogenase (ALDH) activity. Here we report that K7M2 cell ALDH activity is reduced with Notch inhibition, suggesting that ALDH activity may be regulated in part by the Notch pathway. Notch signaling is also associated with increased resistance to oxidative stress, migration, invasion, and VEGF expression in vitro. However, Notch inhibition did not significantly alter K7M2 cell proliferation. In conclusion, we provide evidence that Notch signaling is associated with ALDH activity and increased metastatic behavior in OS cells. Both Notch and ALDH are putative molecular targets for the treatment and prevention of OS metastasis. © 2013 Mu, Isaac, Greco, Huard and Weiss
- …
