This article presents a formulation of the fan theorem in Martin-Löf’s type theory. Starting from one of the standard versions of the fan theorem we gradually introduce reformulations leading to a final version which is easy to interpret in type theory. Finally we describe a formal proof of that final version of the fan theorem.

In this paper, on the basis of some recent works of Fan, Jiang and Jia, we establish a representation theorem in the space of processes for generators of BSDEs with monotonic and polynomialgrowth generators, which generalizes the corresponding results in Fan (2006, 2007), and Fan and Hu (2008).

In this paper, we study one class of Ky Fan-type inequalities, which has ties with the original Ky Fan inequality. Our result extends the known ones.

the aim of this paper is to evaluate the effect of tectonic on the volume of alluvial fans around danehkhoshk anticline. to achieve the purpose of this study, at first, borders, sweep angle(s) and radius(r) of alluvial fans were obtained based on quick bird satellite image and then difference in the altitude between the apex and toe of alluvial fans (h) were calculated based on topographic map ...

The recent increase in the generated polygonal dataset sizes has outpaced the performance of graphics hardware. Several solutions such as multiresolution hierarchies and level-of-detail rendering have been developed to bridge the increasing gap. However, the discrete levels of detail generate annoying popping effects, the preliminaries multiresolution schemes cannot perform drastic changes on t...

Great interest has recently been focused on dating and interpreting alluvial-fan surfaces. As a complement to the radiometric methods often used for surface-exposure dating, this paper illustrates a rapid method for correlating and dating fan surfaces using the cross-sectional shape of gullies incised into fan surfaces. The method applies a linear hillslope-diffusion model to invert for the dif...

Factor associated with neutral sphingomyelinase activation (FAN) represents a p55 TNFR (TNF-R55)-associated protein essential for the activation of neutral sphingomyelinase. By means of the yeast interaction trap system, we have identified the scaffolding protein receptor for activated C-kinase (RACK)1 as an interaction partner of FAN. Mapping studies in yeast revealed that RACK1 is recruited t...

This paper analyzes the coal mine of things to be solved key technical problems in order to improve things in the coal mine the diagnostic accuracy of fan failure, the use of mechanical failure analysis UCI database data sets for analysis. According to the coal mine of things to determine the characteristics of the fan through the vertical amplitude of the frequency, the base rate of vertical v...

This paper discusses size-optimal solutions for implementing arbitrary Boolean functions using threshold gates. After presenting the state-of-the-art, we start from the result of Horne and Hush [12], which shows that threshold gate circuits restricted to fan-in 2 can implement arbitrary Boolean functions, but require O(2/n) gates in 2n layers. This result will be generalized to arbitrary fan-in...

The hard X-ray pulsar GX 1+4 was observed several times in the last few years with a pair of balloon-borne Xenon filled Multi-cell Proportional Counters (XMPC). In a balloon flight made on 22 March 1995, the source was detected in a bright state, the average observed source count rate being 8.0 ± 0.2 s −1 per detector. X-ray pulsations with a period of 121.9 ± 0.1 s were detected in the source ...