We investigate the complexity of preorder checking when the specification is a flat finite-state system whereas the implementation is either a non-flat finite-state system or a standard timed automaton. In both cases, we show that simulation checking is EXPTIME-hard, and for the case of a non-flat implementation, the result holds even if there is no synchronization between the parallel componen...

The aim of the study was to compare the EMG activity performing 6RM competition style bench press (flat bench-wide grip) with 1) medium and narrow grip widths on a flat bench and 1) inclined and declined bench positions with a wide grip. Twelve bench press athletes competing at national and international level participated in the study. EMG activity was measured in the pectoralis major, anterio...

OBJECTIVE To evaluate the clinical results of surgical treatment of intraarticular fractures of the calcaneus, comparing the use of calcaneal plate and flat plate. METHODS This was a retrospective study assessing the postoperative results of 25 patients between 2013 and 2015. Patients undergoing surgical treatment of intraarticular fractures of the calcaneus without concomitant surgical lesio...

Imaging fiber bundles can map the curved image surface formed by some high-performance lenses onto flat focal plane detectors. The relative alignment between the focal plane array pixels and the quasi-periodic fiber-bundle cores can impose an undesirable space variant moiré pattern, but this effect may be greatly reduced by flat-field calibration, provided that the local responsivity is known. ...

Photoluminescence (PL) phosphor can be divided into different types according to the different excitation wavelengths, and they have different applications. The region from 100 to 200 nm is the vacuum ultraviolet (VUV) region and the phosphors excited by VUV light are usually used for plasma display panels (PDPs) and Hg-free lamps.1 Nowadays, the PDP and liquid-crystal displays (LCDs) are the t...

Two-dimensional computational fluid dynamics (CFD) is applied to better understand the effects of wing cross-sectional morphology on flow field and force production. This study investigates the influence of wing cross-section on insect scale flapping flight performance, for the first time, using a morphologically representative model of a bee (Bombus pensylvanicus) wing. The bee wing cross-sect...

Laboratory experiments and numerical simulation reveal that a submerged intruder dragged horizontally at a constant velocity within a granular medium experiences a lift force whose sign and magnitude depend on the intruder shape. Comparing the stress on a flat plate at varied inclination angle with the local surface stress on the intruders at regions with the same orientation demonstrates that ...

We analyse the steady state regime of a one dimensional Ising model under a tapping dynamics recently introduced by analogy with the dynamics of mechanically perturbed granular media. The idea that the steady state regime may be described by a flat measure over metastable states of fixed energy is tested by comparing various steady state time averaged quantities in extensive numerical simulatio...

In this paper‎, ‎we study the class of rings in which every $P$-flat‎ ‎ideal is flat and which will be called $PFF$-rings‎. ‎In particular‎, ‎Von Neumann regular rings‎, ‎hereditary rings‎, ‎semi-hereditary ring‎, ‎PID and arithmetical rings are examples of $PFF$-rings‎. ‎In the context domain‎, ‎this notion coincide with‎ ‎Pr"{u}fer domain‎. ‎We provide necessary and sufficient conditions for‎...