نتایج جستجو برای: cuts method and non
تعداد نتایج: 17220092 فیلتر نتایج به سال:
We introduce the notion of exploitability in cut-and-choose protocols for repeated cake cutting. If a cut-and-choose protocol is repeated, the cutter can possibly gain information about the chooser from her previous actions, and exploit this information for her own gain, at the expense of the chooser. We define a generalization of cut-and-choose protocols—forced-cut protocols—in which some cuts...
A new cut elimination method is obtained here by “proof mining” (unwinding) from the following non-effective proof that begins with extracting an infinite branch B when the canonical search tree T for a given formula E of first order logic is not finite. The branch B determines a semivaluation so that B |= Ē and (*) every semivaluation can be extended to a total valuation. Since for every deriv...
a novel silver (ag) nanocomposite electrode was proposed that fabricated from metal nanostructures and ionic liquids. the combined application of unique properties of nanomaterials and ionic liquids in the design of this ag nanocomposite results in electrodes with interesting advantages compared to the conventional metal disk electrode. in the first part of this thesis, the elecrocatalytic eff...
Two main forms of COPD (Chronic Obstructive Pulmonary Disease) refer to a group of lung diseases that block airflow and cause a huge degree of human suffering. A new method for identifying and estimating the severity of COPD from three-dimensional (3-D) pulmonary X-ray CT images would be helpful for evaluation of treatment effects and early diagnosing is presented in this paper. This method has...
today the image of a permanent skeletal space of cities affected by some forces or mechanisms is put in time with social-economic development and while imposes a new face and perspective to physical anatomy of cities, and prepares field to changes in content and social- economic structures of cities too. simultaneously with quitting villages in order to settle in cities by villagers, the phen...
seismic retrofit strategies have been developed in the past few decades following the introduction of new seismic provisions and the availability of advanced materials and methods. it can be observed that new approaches to deal with more lateral forces are more innovative and more energy absorbent. in line with this, there is a growing trend toward the use of steel shear walls as a system with ...
reinsurance is widely recognized as an important instrument in the capital management of an insurance company as well as its risk management tool. this thesis is intended to determine premium rates for different types of reinsurance policies. also, given the fact that the reinsurance coverage of every company depends upon its reserves, so different types of reserves and the method of their calc...
in this thesis, a better reaction conditions for the synthesis of spirobarbiturates catalyzed by task-specific ionic liquid (2-hydroxy-n-(2-hydroxyethyl)-n,n-dimethylethanaminium formate), calcium hypochlorite ca(ocl)2 or n-bromosuccinimide (nbs) in the presence of water at room temperature by ultrasonic technique is provided. the design and synthesis of spirocycles is a challenging task becaus...
the purpose of this study was to investigate how english language teachers in mashhad who teach students in the pre-university cycle perceived the impact of the efltee on their teaching. the target population was nearly all pre-university english language teachers in seven districts of mashhad in the scholastic year 2008/2009. a survey questionnaire which consisted of (36) likert type items, wa...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید