نتایج جستجو برای: preclosure functions

تعداد نتایج: 490726  

2012
Hervé Pournot François Bieuzen Julien Louis Jean-Robert Fillard Etienne Barbiche Christophe Hausswirth

1998

Purpose . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1-1 1Scope . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2 1Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ....

2014
Simon Suchomel Michal Brandejs

This paper describes an architecture of the source retrieval system used at PAN 2014 lab on uncovering plagiarism, authorship, and social software misuse. The system is based on the systems used in past years at PAN 13 [6] and PAN 12 [5]. The majority of features were adapted with some improvements described in this paper. The source retrieval subsystem forms an integral part of a modern system...

Journal: :Discrete Mathematics 2009
Stephan Brandt Jozef Miskuf Dieter Rautenbach

Confirming a conjecture by Ivančo and Jendrol’ for a large class of graphs we prove that for every graph G = (V,E) of order n, size m and maximum degree ∆ with m > 111000∆ there is a function f : V ∪ E → { 1, 2, ..., ⌈ m+2 3 ⌉} such that f(u) + f(uv) + f(v) 6= f(u′) + f(u′v′) + f(v′) for every uv, u′v′ ∈ E with uv 6= u′v′. Furthermore, we prove the existence of such a function with values up to...

2015
Keiichi Tajima Mafuyu Kitahara Kiyoko Yoneyama

A speech production experiment was conducted to investigate how well native Japanese speakers can produce a non-contrastive sound in American English, namely, intervocalic alveolar flaps, and how their production varies as a function of language experience. Native Japanese speakers who have prior experience living in the US produced English sentences containing potentially flappable segments. R...

1994
Wei Chen

We study a relativistic anyon model with a spin-j matter field minimally coupled to a statistical gauge potential governed by the Chern-Simons dynamics with a statistical parameter α. A spin and statistics transmutation is shown in terms of a continuous random walk method. An integer or odd-half-integer part of α can be reabsorbed by change of j. We discuss the equivalence of a large class of (...

Journal: :Formalized Mathematics 2010
Magdalena Jastrzebska

One can prove the following propositions: (1) For all real numbers a, b and for every natural number c holds (ab ) c = a c bc . (2) For every real number a and for all integer numbers b, c such that a 6= 0 holds ab+c = ab · ac. (3) For every natural number n and for every real number a such that n is even and a 6= 0 holds (−a)n = an. (4) For every natural number n and for every real number a su...

2013
Thomas Wies

/*@ public normal_behavior @ requires !isEmpty(); @ ensures \old(queue).has(\result) && @ queue.equals(\old(queue).remove(\result)) && @ (\forall Comparable o; queue.has(o); @ \result.compareTo(o) <= 0); @ modifies queue; @*/ public Comparable removeFirst() { Comparable first = elems[0]; Comparable last = elems[--numElems]; int pos = 0; int child = 1; while (child < numElems) { if (child + 1 < ...

Journal: :Graphs and Combinatorics 2018
Jessica Fuller Ronald J. Gould

Given a graph H, we say a graph G is H-saturated if G does not contain H as a subgraph and the addition of any edge e′ 6∈ E(G) results in H as a subgraph. In this paper, we construct (K4 − e)-saturated graphs with |E(G)| either the size of a complete bipartite graph, a 3-partite graph, or in the interval [ 2n− 4, ⌊ n 2 ⌋ ⌈ n 2 ⌉ − n+ 6 ] . We then extend the (K4−e)-saturated graphs to (Kt − e)-...

Journal: :The American Mathematical Monthly 2004
Geoffrey R. Grimmett

Geoffrey Grimmett Abstra t. The problem of how to allocate to states the seats in the US House of Representatives is the most studied instance of what is termed the ‘apportionment problem’. We propose a new method of apportionment which is stochastic, which meets the quota condition, and which is fair in the sense of expectations. Two sources of systematic unfairness are identified, firstly the...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید