In this paper we are concerned with cuts in models of Samuel Buss' theories of bounded arithmetic, i.e. theories like $S_{2}^i$ and $T_{2}^i$. In correspondence with polynomial induction, we consider a rather new notion of cut that we call p-cut. We also consider small cuts, i.e. cuts that are bounded above by a small element. We study the basic properties of p-cuts and small cuts. In particula...

We have discovered a new restriction endonuclease, MfeI, in nuclear extracts from T cells contaminated with Mycoplasma fermentans. This endonuclease was identified while studying proteins binding to the interleukin-2 receptor alpha chain gene promoter. MfeI cuts at the recognition sequence C'AATTG generating EcoRI compatible cohesive ends. Potential applications are discussed.

Some properties of fuzzy formal languages associated to Chomsky, Petri and Lindenmayer formal languages will be presented. Generalized alpha cuts lead to the generation of sets of crisp languages of different type within their hierarchies of origin. A fuzzy formal language may serve as a model for several apparently different phenomena of the real world.

This inquiry into the nature of feminist solidarity in academic sciences is guided by intra-activity gendered bodies teaching-intensive faculty positions. It uses diffractive methodology to examine how response-able research practice can account for enactment social discourse through agential cuts. Over course a two-year ethnography university with high activity, gender performativity contested...

In some cases, our uncertainty about about a quantity can be described by an interval of its possible values. If we have two or more pieces of interval information about the same quantity, then we can conclude that the actual value belongs to the intersection of these intervals. In general, we may need a fuzzy number to represent our partial knowledge. A fuzzy number can be viewed as a collecti...

Non-rigid image registration is an ill-posed yet challenging problem due to its supernormal high degree of freedoms and inherent requirement of smoothness. Graph-cuts method is a powerful combinatorial optimization tool which has been successfully applied into image segmentation and stereo matching. Under some specific constraints, graph-cuts method yields either a global minimum or a local min...

due to the special nature of agricultural activities and results of decisions influenced by the risk and uncertainty of these activities, consideration risk is essential in planning for agriculture sector. interval-valued fuzzy programming approach is advantage of in this study for considering the conditions of uncertainty and additionally emphasizing on the limitation of water resources in def...

I present a systematic study of all possible four leptons final states from γγ collisions. It is given a detailed account of fermion masses effects which are sizable since several collinear and t channel enancements occur. The effects of angular cuts on the final charged leptons are also discussed. To perform the computation I have used the recently developed ALPHA algorithm (and the resulting ...