Scale-dependent to scale-free: daily behavioural switching and optimized searching in a marine predator

Highlights • We study diel behavioural differences in activity patterns in bigeye tuna. • Daytime activity patterns showed scale free movements consistent with searching. • Night-time activity showed simpler movements indicative of rich patch exploitation. • The results confirm predictions of the Lévy foraging hypothesis.

Searching for swept-up hydrogen and helium in the late-time spectra of 11 nearby Type Ia supernovae

The direct detection of a stellar system that explodes as a Type Ia supernova (SN Ia) has not yet been successful. Various indirect methods have been used to investigate SN Ia progenitor systems but none have produced conclusive results. A prediction of single-degenerate models is that H- (or He-) rich material from the envelope of the companion star should be swept up by the SN ejecta in the explosion. Seven SNe Ia have been analysed to date looking for signs of H-rich material in their late-time spectra and none were detected. We present results from new late-time spectra of 11 SNe Ia obtained at the Very Large Telescope using XShooter and FORS2. We present the tentative detection of Hα emission for SN 2013ct, corresponding to ∼0.007 M_⊙ of stripped/ablated companion star material (under the assumptions of the spectral modelling). This mass is significantly lower than expected for single-degenerate scenarios, suggesting that >0.1 M_⊙ of H-rich is present but not observed. We do not detect Hα emission in the other 10 SNe Ia. This brings the total sample of normal SNe Ia with non-detections (<0.001–0.058 M_⊙) of H-rich material to 17 events. The simplest explanation for these non-detections is that these objects did not result from the explosion of a CO white dwarf accreting matter from a H-rich companion star via Roche lobe overflow or symbiotic channels. However, further spectral modelling is needed to confirm this. We also find no evidence of He-emission features, but models with He-rich companion stars are not available to place mass limits.

Developing an engineering approach for migrating from prescriptive to performance-based specification for concrete

The integral variability of raw materials, lack of awareness and appreciation of the technologies for achieving quality control and lack of appreciation of the micro and macro environmental conditions that the structures will be subjected, makes modern day concreting a challenge. This also makes Designers and Engineers adhere more closely to prescriptive standards developed for relatively less aggressive environments. The data from exposure sites and real structures prove, categorically, that the prescriptive specifications are inadequate for chloride environments. In light of this shortcoming, a more pragmatic approach would be to adopt performance-based specifications which are familiar to industry in the form of specification for mechanical strength. A recently completed RILEM technical committee made significant advances in making such an approach feasible.
Furthering a performance-based specification requires establishment of reliable laboratory and on-site test methods, as well as easy to perform service-life models. This article highlights both laboratory and on-site test methods for chloride diffusivity/electrical resistivity and the relationship between these tests for a range of concretes. Further, a performance-based approach using an on-site diffusivity test is outlined that can provide an easier to apply/adopt practice for Engineers and asset managers for specifying/testing concrete structures.

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Neuronal Assembly Detection and Cell Membership Specification by Principal Component Analysis

LOPES-DOS-SANTOS, V. , CONDE-OCAZIONEZ, S. ; NICOLELIS, M. A. L. , RIBEIRO, S. T. , TORT, A. B. L. . Neuronal assembly detection and cell membership specification by principal component analysis. Plos One, v. 6, p. e20996, 2011.

Searching for Predictive Subgroups

Thesis (Ph.D.)--University of Washington, 2016-08

Searching for Masculine Capital: Experiences Leading to High Drive for Muscularity in Men

Studies on the drive for muscularity (DFM) have primarily been quantitative, focused on identifying correlates. Currently little is known about men’s experiences leading them to desire high levels of muscle and engage in behaviours to increase their masculine capital. Our purpose was to explore the stories of men with high DFM revealing the socio-cultural and personal factors leading to DFM and their search for masculine capital. In-depth life-history interviews and multiple in-the-field conversations were undertaken with twenty men (Mean age=28.45, SD=6.96, years) scoring ≥ 3 on the Drive for Muscularity Scale (Mean=4.30, SD=0.70). Men’s stories focused on a set of dysfunctional childhood and adolescent socio-cultural interactions, including forms of symbolic violence, between them and significant others. In these interactions men were exposed to dominant social narratives of masculinity, and through comparisons and reinforcement they identified discrepancies between themselves and these narratives. In late adolescence and early adulthood men came to believe that they lacked masculine capital. Men struggled to increase their masculine capital through engagement with other traditional masculine activities (e.g., sport) and driven by activating events, they compensated through DFM desires and behaviours. This study advances knowledge by revealing the socio-cultural and personal processes participants believed led to their high DFM. Findings disclose that men’s search for masculine capital may have led them to develop and maintain high levels of DFM.

Role for cell-to-cell communication in stem cell specification toward pancreatic progenitors: relevance to the design of novel therapies for diabetes.

Thesis (Ph.D.)--University of Washington, 2016-08

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.