We have investigated the use of multimode fiber in optical coherence tomography (OCT) with a mode filter that selectively suppresses the power of the high-order modes (HOMs). A large-core fiber (LCF) that has a moderate number of guiding modes was found to be an attractive alternative to the conventional single-mode fiber for its large mode area and the consequentially wide Rayleigh range of th...

We contribute a general apparatus for dependenttactic-based proof refinement in the LCF tradition, in which thestatements of subgoals may express a dependency on the proofs ofother subgoals; this form of dependency is extremely useful andcan serve as an algorithmic alternative to extensions of LCF basedon non-local instantiation of schematic variables. Additionally,we in...

Density and biomass of live trees >10 cm DBHandsaplings 1-9.9 cm DBH, coarse woody debris (LCG—diameter > 10 cm), fine woody debris (LCF — diameter 2.5-9.9 cm), and standing dead trees (>10 cm DBH) were quantified in 56permanent, 1-ha sample plots. These plots are located in four 1(4plots), three 10(12 plots) and two 100(14plots) forestfagments in size and nearby continuous forests (19 plots) a...

This study investigates the effect of different link beam lengths in the Reinforced Concrete (RC) frame retrofitted with the Linked Column Frame (LCF) system. It also investigates the ratio of the link beam length (e) to the span length of the RC frame (L) from 0 to 1.5 for the 9 models of the RC frame retrofitted by the LCF system has been investigated. In addition, it studies the formation of...

Probably the most popular ITP systems these days are Isabelle [4a] and Coq [5]. Isabelle is a descendant of Edinburgh LCF. Its declarative extension Isabelle/Isar [4b] has been heavily influenced by Mizar. Coq can be viewed as a descendant of the Automath system in that both systems are based on the Curry-Howard correspondence [6] (a proof is a program, the formula it proves is a type for the p...

Cholecystokinin (CCK), peptide YY (PYY), and ghrelin have been proposed to act as satiety hormones. CCK and PYY are stimulated during meal intake by the presence of nutrients in the small intestine, especially fat, whereas ghrelin is inhibited by eating. The sequence of events (fat intake followed by fat hydrolysis and CCK release) suggests that this process is crucial for triggering the effect...

OBJECTIVE This was a cross-sectional study of the ability of independently living healthy elders to follow a medication regimen. Participants were divided into a group with High Cognitive Function (HCF) or Low Cognitive Function (LCF) based on their scores on the ADAS-Cog. METHOD Thirty-eight participants aged 65 or older and living independently in the community followed a twice-daily vitami...