This study explores the ways in which the affordances of social media not only increase open communication and knowledge sharing, but also promote covert behavior, creating dialectical tensions for distributed workers that must be communicatively managed. Drawing on a case study of the engineering division of a distributed high tech start-up, we find our participants navigate tensions in visibi...

This paper presents a program transformation that removes square roots and divisions from functional programs without recursion, producing code that can be exactly computed. This transformation accepts different subsets of languages as input and it provides a certifying mechanism when the targeted language is Pvs. In this case, we provide a relation between every function definition in the outp...

In this paper we define the a posteriori probability W . This quantity is introduced with the aim of suggesting a reliable interpretation of the actual threat posed by a newly discovered Near Earth Asteroid (NEA), for which impacting orbital solutions (now commonly known as Virtual Impactors or VIs) can not be excluded on the basis of the available astrometric observations. The probability W is...

In vitro antioxidant properties of 3 different extracts of black mulberry (Morus nigra L.) were investigated. Acidified methanol, acidified water, and non-acidified methanol/water solutions were used to prepare extracts. Different solvents caused different protonation on black mulberry anthocyanin structures, which were predicted according to their UV-VIS spectrum. Extracts indicated 2 main pea...

Landsat 8, the most recently launched satellite of the series, promises to maintain the continuity of Landsat 7. However, in addition to subtle differences in sensor characteristics and vegetation index (VI) generation algorithms, VIs respond differently to the seasonality of the various types of vegetation cover. The purpose of this study was to elucidate the effects of these variations on VIs...

We define a nest of reguli to be a collection P of reguli in a regular spread S of PG(3, q) such that every line of S is contained in exactly zero or two reguli of P. This generalizes the notion of a chain of reguli first introduced by Bruen. If U denotes the lines of S contained in the reguli of P and V is a partial spread of PG(3, q) covering the same points as U, then (S\U) U Vis a spread of...

the set of all non-increasing non-negative integer sequences $pi=(d_1‎, ‎d_2,ldots,d_n)$ is denoted by $ns_n$‎. ‎a sequence $piin ns_{n}$ is said to be graphic if it is the degree sequence of a simple graph $g$ on $n$ vertices‎, ‎and such a graph $g$ is called a realization of $pi$‎. ‎the set of all graphic sequences in $ns_{n}$ is denoted by $gs_{n}$‎. ‎the complete product split graph on $l‎ ...

Impervious surfaces (IS) are a key indicator of environmental quality, and mapping of urban IS is important for a wide range of applications including hydrological modelling, water management, urban and environmental planning and urban climate studies. This paper addresses the accuracy and applicability of vegetation indices (VI), from Landsat imagery, to estimate IS fractions for European citi...

Effect of the strengthened western Pacific subtropical high on summer visibility decrease over eastern China since 1973" (2013). [1] Daily visibility (Vis) data from 354 meteorological stations are used to evaluate the seasonal Vis trends over China from 1973 to 2009, which show that Vis decline is most distinct over eastern China in summer, with a trend of À1.4 km per decade or À34% in the 37 ...