We compared reflex responses to static handgrip at 30% maximal voluntary contraction (MVC) in 10 women (mean age 24.1 +/- 1.7 yr) during two phases of their ovarian cycle: the menstrual phase (days 1-4) and the follicular phase (days 10-12). Changes in muscle sympathetic nerve activity (MSNA; microneurography) in response to static exercise were greater during the menstrual compared with follic...

Interpretation of FIFO Replacement Daniel Grund and Jan Reineke Saarland University, Saarbrücken, Germany Abstract. In hard real-time systems, the execution time of programs must be bounded by static timing analysis. For today’s embedded systems featuring caches, static analyses must predict cache hits and misses with high precision to obtain useful bounds. For caches with least-recentlyused (L...

This artifact is based on Weverca, a static analyzer framework for PHP applications. The aim of Weverca is to provide developers with a framework that would allow for an easy implementation of custom static analyses of PHP, while not coping with the dynamic language issues. The framework processes the input source code in two phases. In the first phase, the program-point graph is constructed, w...

In this letter we address the issue that whether the topological number of a static Hamiltonian can be measured from a dynamical quench process. We focus on a two-band Chern insulator in twodimension, for instance, the Haldane model, whose quantum state is a pseudo-spin on the Bloch sphere. The dynamical process is described by a mapping from the [kx, ky, t] space to the Bloch sphere, character...

Boron carbide is one of the lightest and hardest ceramics, but its applications are limited by its poor stability against a partial phase separation into separate boron and carbon. Phase separation is observed under high non-hydrostatic stress (both static and dynamic), resulting in amorphization. The phase separation is thought to occur in just one of the many naturally occurring polytypes in ...

BACKGROUND Emerging interventions that rely on and harness variability in behavior to adapt to individual performance over time may outperform interventions that prescribe static goals (e.g., 10,000 steps/day). The purpose of this factorial trial was to compare adaptive vs. static goal setting and immediate vs. delayed, non-contingent financial rewards for increasing free-living physical activi...

Hybrid type checking[5] is an approach to enforcing the welltypedness of programs that, where possible, uses static analysis to determine the types of expressions, and run-time checking when the precision of static analysis is insufficeint. This approach is useful for dependent type systems in which types are parameterized by run-time values of expressions. Deputy is a dependent type system for...

Many properties of chemicals depend on their streochemistry. Among these, the effects of streoisomerism on percutaneous absorption of drugs, which is subject of the present investigation, is not well studied yet. In this study, tretinoin (TT) and isotretinoin (ITT) (geometric isomers) were chosen and their permeations (alone or in the presence of each other) through enhancer-treated excised ...

We consider the problem of sliding motion of a charge-density-wave subject to static disorder within an elastic medium model. Starting with a field-theoretical formulation, which allows exact disorder averaging, we propose a self-consistent approximation scheme to obtain results beyond the standard large-velocity expansion. Explicit calculations are carried out in three spatial dimensions. For ...

Infrared spectra of a K4C60 single-phase thin film have been measured between room temperature and 20 K. At low temperatures, the two high-frequency T1u modes appear as triplets, indicating a static D2h crystal-field stabilized Jahn-Teller distortion of the C60 42 anions. The T1u(4) mode changes into a known doublet above 250 K, a pattern which could have three origins: a dynamic Jahn-Teller ef...