Abstract One of the most fundamental properties a proof system is analyticity , expressing fact that given formula F only uses subformulas . In sequent calculus, this property usually proved by showing $\mathsf{cut}$ rule admissible, i.e., introduction auxiliary lemma H in reasoning “if follows from G and then ” can be eliminated. The cut admissibility tedious, error-prone process through sever...

the output error of the globoidal cam mechanism can be considered as a relevant indicator ofmechanism performance, because it determines kinematic and dynamical behavior of mechanicaltransmission. based on the differential geometry and the rigid body transformations, themathematical model of surface geometry of the globoidal cam is established. then we present theanalytical expression of the ou...

The determination of a cut-off value for a continuous prognostic test is an important problem, which is statistically challenging and practically important for risk assessment. We propose in this paper a method to estimate the optimal cut-off from this type of longitudinal data with censored failure times. The principle is to combine the prognostic error rates of false positives and false negat...

We supplement WordNet entries with information on the subjectivity of its word senses. Supervised classifiers that operate on word sense definitions in the same way that text classifiers operate on web or newspaper texts need large amounts of training data. The resulting data sparseness problem is aggravated by the fact that dictionary definitions are very short. We propose a semi-supervised mi...

A technique for manufacturing precise custom blocks is described. Using the tracing stylus of the mold making machine, reference markers are cut into the lateral borders of the polystyrene mold after the cavities for the blocks have been made. These markers are aligned with the central ray cross hair of the shadow tray when the blocks are mounted on the tray. The ability of the technique to enh...

Given a tree with nonnegative edge cost and nonnegative vertex weight, and a number k ≥ 0, we consider the following four cut problems: cutting vertices of weight at most or at least k from the tree by deleting some edges such that the remaining part of the graph is still a tree and the total cost of the edges being deleted is minimized or maximized. The MinMstCut problem (cut vertices of weigh...

a new parametric model was developed for predicting cut point of hydraulic classifiers. the model directly uses operating parameters including pulp flowrate, feed particle size characteristics, pulp solids content, solid density and particles retention time in the classification chamber and also covers uncontrollable errors using calibration constants. the model applicability was first verified...

Several numerical methods for measuring the bending rigidity and the spontaneous curvature of fluid membranes are studied using two types of meshless membrane models. The bending rigidity is estimated from the thermal undulations of planar and tubular membranes and the axial force of tubular membranes. We found a large dependence of its estimate value from the thermal undulation analysis on the...

The Normalized Cut is a widely used measure of separation between clusters in a graph. In this paper we provide a novel probabilistic perspective on this measure. We show that for a partition of a graph into two weakly connected sets, V = A ⊎ B, in fact Ncut(V ) = 1/τA→B + 1/τB→A, where τA→B is the uni-directional characteristic exit time of a random walk from subset A to subset B. Using matrix...