We provide a first order axiomatization of the expansion of the complex field by the exponential function restricted to the subring of integers modulo the first order theory of (Z, +, ·). 2000 Mathematics Subject Classification: 03C60

The Hunter–Saxton equation is the Euler equation for the geodesic flow on the quotient space of the infinite-dimensional group of orientation preserving diffeomorphisms of the unit circle modulo the subgroup of rigid rotations equipped with a right-invariant metric. We establish several properties of this quotient space: it has constant sectional curvature equal to 1, the Riemannian exponential...

In [15], Shiu proved that if a and q are arbitrary coprime integers, then there exist arbitrarily long strings of consecutive primes which are all congruent to a modulo q. We generalize Shiu’s theorem to imaginary quadratic fields, where we prove the existence of “bubbles” containing arbitrarily many primes which are all, up to units, congruent to a modulo q.

Let n binary numbers of length n be given. The Boolean function ``Multiple Product'' MPn asks for (some binary representation of ) the value of their product. It has been shown (K.-Y. Siu and V. Roychowdhury, On optimal depth threshold circuits for multiplication and related problems, SIAM J. Discrete Math. 7, 285 292 (1994)) that this function can be computed in polynomial-size threshold circu...

Research on dispatching rules has focused upon deterministic job shop situations or small assembly environments and ignored operational factors. This work uses data obtained from a capital goods company that produces complex products. The paper first explores the influence of the data update period and the minimum setup, machining and transfer times under stochastic infinite capacity conditions...

This paper aims to introduce a method for better designing of Distribution Center operation process so as to increase the operation efficiency at lower cost. Considering the current situation of a given Distribution Center, this paper designs the operation process and provides the layout chart based on a given number of equipment, operators and volume of goods, etc. Then the concrete actions in...

A novel device is described for efficiently harvesting bone marrow in bone marrow transplantation that uses a newly developed passive flexible drilling unit and suction mechanism. The device reduces the invasiveness of bone marrow harvesting by collecting stem cells from the iliac bone with minimal punctures and by reducing the operation time and the contamination by T cells. The device is inse...

background: the objectives of an educational system in a society are based on society's requirements. since personnel knowledge and skill are not qualified with the advantages of science and invention of new tools, new needs are arisen. comparing the curriculum of undergraduate course of operating room of our country with international societies, it seems that this curriculum is not a good one ...

In this article, we investigate multiple unmanned aerial vehicles (UAVs)-enabled data collection system in Internet of Things (IoT) networks with time windows, where rotary-wing UAVs are dispatched to collect from time-constrained terrestrial IoT devices. We aim jointly minimize the number and total operation by optimizing UAV trajectory hovering location. To end, an optimization problem is for...