What the Phub?

“Nobody talks to each other anymore.” When my grandfather said this as we sped down the highway, I wondered what to make of it. Is he simply being a negative elderly man, or is there some truth to the statement? Considering that I had been trying to tune out his questions with my headphones the whole drive, I guess I deserved some type of scolding. As his questions were repeated, my mother pointed out to my grandfather that I could not hear him, to which he shook his head and said, “Nobody talks to each other anymore.” Finally, I put aside my sour mood and took off my headphones, answering his questions about college life and my general wellbeing. [excerpt

Conflict and Cooperation Over Transboundary Waters

human development, water, sanitation

Detecting planets in protoplanetary disks: A prospective study

We investigate the possibility to find evidence for planets in circumstellar disks by infrared and submillimeter interferometry. We present simulations of a circumstellar disk around a solar-type star with an embedded planet of 1 Jupiter mass. The three-dimensional (3D) density structure of the disk results from hydrodynamical simulations. On the basis of 3D radiative transfer simulations, images of this system were calculated. The intensity maps provide the basis for the simulation of the interferometers VLTI (equipped with the mid-infrared instrument MIDI) and ALMA. While MIDI/VLTI will not provide the possibility to distinguish between disks with or without a gap on the basis of visibility measurements, ALMA will provide the necessary basis for a direct gap detection.Comment: 5 page

Middle East water conflicts and directions for conflict resolution:

In looking toward 2020, one of the most severe problems to be faced is an impending shortage of adequate supplies of fresh water essential for drinking and for growing crops. The Middle East, where a few waterways serve large areas of land belonging to a number of nations, is the place where strife over water is most likely to erupt. This paper examines the past how water in the Middle East came to be divided as it is today and looks at possible solutions for alleviating a water crisis and the resulting political tensions.Water resources development Middle East., Water-supply Middle East Management.,

Linear forms and higher-degree uniformity for functions on Fpn\mathbb{F}_p^n

In [GW09a] we conjectured that uniformity of degree $k-1$ is sufficient to control an average over a family of linear forms if and only if the $k$th powers of these linear forms are linearly independent. In this paper we prove this conjecture in $\mathbb{F}_p^n$, provided only that $p$ is sufficiently large. This result represents one of the first applications of the recent inverse theorem for the $U^k$ norm over $\mathbb{F}_p^n$ by Bergelson, Tao and Ziegler [BTZ09,TZ08]. We combine this result with some abstract arguments in order to prove that a bounded function can be expressed as a sum of polynomial phases and a part that is small in the appropriate uniformity norm. The precise form of this decomposition theorem is critical to our proof, and the theorem itself may be of independent interest.Comment: 40 page

Collision Rates in Charged Granular Gases

The dissipation rate due to inelastic collisions between equally charged, insulating particles in a granular gas is calculated. It is equal to the known dissipation rate for uncharged granular media multiplied by a Boltzmann-like factor, that originates from Coulomb repulsion. Particle correlations lead to an effective potential that replaces the bare Coulomb potential in the Boltzmann factor. Collisional cooling in a granular gas proceeds with the known t^-2 -law, until the kinetic energy of the grains becomes smaller than the Coulomb barrier. Then the granular temperature approaches a time dependence proportional to 1/ln(t). If the particles have different charges of equal sign, the collision rate can always be lowered by redistributing the charge, until all particles carry the same charge. Finally granular flow through a vertical pipe is briefly discussed. All results are confirmed by computer simulations.Comment: Submitted to "Granular Matter

Action Potential Onset Dynamics and the Response Speed of Neuronal Populations

The result of computational operations performed at the single cell level are coded into sequences of action potentials (APs). In the cerebral cortex, due to its columnar organization, large number of neurons are involved in any individual processing task. It is therefore important to understand how the properties of coding at the level of neuronal populations are determined by the dynamics of single neuron AP generation. Here we analyze how the AP generating mechanism determines the speed with which an ensemble of neurons can represent transient stochastic input signals. We analyze a generalization of the $\theta$-neuron, the normal form of the dynamics of Type-I excitable membranes. Using a novel sparse matrix representation of the Fokker-Planck equation, which describes the ensemble dynamics, we calculate the transmission functions for small modulations of the mean current and noise noise amplitude. In the high-frequency limit the transmission function decays as $\omega^{-\gamma}$, where $\gamma$ surprisingly depends on the phase $\theta_{s}$ at which APs are emitted. In a physiologically plausible regime up to 1kHz the typical response speed is, however, independent of the high-frequency limit and is set by the rapidness of the AP onset, as revealed by the full transmission function. In this regime modulations of the noise amplitude can be transmitted faithfully up to much higher frequencies than modulations in the mean input current. We finally show that the linear response approach used is valid for a large regime of stimulus amplitudes.Comment: Submitted to the Journal of Computational Neuroscienc

Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms

We present a straightforward source-to-source transformation that introduces justifications for user-defined constraints into the CHR programming language. Then a scheme of two rules suffices to allow for logical retraction (deletion, removal) of constraints during computation. Without the need to recompute from scratch, these rules remove not only the constraint but also undo all consequences of the rule applications that involved the constraint. We prove a confluence result concerning the rule scheme and show its correctness. When algorithms are written in CHR, constraints represent both data and operations. CHR is already incremental by nature, i.e. constraints can be added at runtime. Logical retraction adds decrementality. Hence any algorithm written in CHR with justifications will become fully dynamic. Operations can be undone and data can be removed at any point in the computation without compromising the correctness of the result. We present two classical examples of dynamic algorithms, written in our prototype implementation of CHR with justifications that is available online: maintaining the minimum of a changing set of numbers and shortest paths in a graph whose edges change.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854