Type Systems for a Network Specification Language With Multiple-Choice Let

When analysing the behavior of complex networked systems, it is often the case that some components within that network are only known to the extent that they belong to one of a set of possible "implementations" – e.g., versions of a specific protocol, class of schedulers, etc. In this report we augment the specification language considered in BUCSTR-2004-021, BUCS-TR-2005-014, BUCS-TR-2005-015, and BUCS-TR-2005-033, to include a non-deterministic multiple-choice let-binding, which allows us to consider compositions of networking subsystems that allow for looser component specifications.

Examining Relationships between Culture, Creativity and Business Stage in an Emerging Market: A Categorical Data Analysis of Vietnam’s Data Set

In this article, we offer a new way of exploring relationships between three different dimensions of a business operation, namely the stage of business development, the methods of creativity and the major cultural values. Although separately, each of these has gained enormous attention from the management research community, evidenced by a large volume of research studies, there have been not many studies that attempt to describe the logic that connect these three important aspects of a business; let alone empirical evidences that support any significant relationships among these variables. The paper also provides a data set and an empirical investigation on that data set, using a categorical data analysis, to conclude that examinations of these possible relationships are meaningful and possible for seemingly unquantifiable information. The results also show that the most significant category among all creativity methods employed in Vietnamese enterprises is the “creative disciplines” rule in the “entrepreneurial phase,” while in general creative disciplines have played a critical role in explaining the structure of our data sample, for both stages of development in our consideration.

Prevalence and predictors of HIV-related stigma among institutional- and community-based caregivers of orphans and vulnerable children living in five less-wealthy countries.

BACKGROUND: In the face of the HIV/AIDS epidemic that has contributed to the dramatic increase in orphans and abandoned children (OAC) worldwide, caregiver attitudes about HIV, and HIV-related stigma, are two attributes that may affect caregiving. Little research has considered the relationship between caregiver attributes and caregiver-reported HIV-related stigma. In light of the paucity of this literature, this paper will describe HIV-related stigma among caregivers of OAC in five less wealthy nations. METHODS: Baseline data were collected between May 2006 through February 2008. The sample included 1,480 community-based and 192 institution-based caregivers. Characteristics of the community-based and institution-based caregivers are described using means and standard deviations for continuous variables or counts and percentages for categorical variables. We fit logistic regression models, both for the full sample and separately for community-based and institution-based caregivers, to explore predictors of acceptance of HIV. RESULTS: Approximately 80% of both community-based and institution-based caregivers were female; and 84% of institution-based caregivers, compared to 66% of community-based caregivers, said that they would be willing to care for a relative with HIV. Similar proportions were reported when caregivers were asked if they were willing to let their child play with an HIV-infected child. In a multivariable model predicting willingness to care for an HIV-infected relative, adjusted for site fixed effects, being an institution-based caregiver was associated with greater willingness (less stigma) than community-based caregivers. Decreased willingness was reported by older respondents, while willingness increased with greater formal education. In the adjusted models predicting willingness to allow one's child to play with an HIV-infected child, female gender and older age was associated with less willingness. However, willingness was positively associated with years of formal education. CONCLUSIONS: The caregiver-child relationship is central to a child's development. OAC already face stigma as a result of their orphaned or abandoned status; the addition of HIV-related stigma represents a double burden for these children. Further research on the prevalence of HIV-related acceptance and stigma among caregivers and implications of such stigma for child development will be critical as the policy community responds to the global HIV/AIDS orphan crisis.

Geometry in preduals of spaces of 2-homogeneous polynomials on Hilbert spaces

Let H be a (real or complex) Hilbert space. Using spectral theory and properties of the Schatten–Von Neumann operators, we prove that every symmetric tensor of unit norm in HoH is an infinite absolute convex combination of points of the form xox with x in the unit sphere of the Hilbert space. We use this to obtain explicit characterizations of the smooth points of the unit ball of HoH .

On Osgood theorem in Banach spaces

Let $X$ be a real Banach space, $\omega:[0,+\infty)\to\R$ be an increasing continuous function such that $\omega(0)=0$ and $\omega(t+s)\leq\omega(t)+\omega(s)$ for all $t,s\in[0,+\infty)$. By the Osgood theorem, if $\int_{0}^1\frac{dt}{\omega(t)}=\infty$, then for any $(t_0,x_0)\in R\times X$ and any continuous map $f: R\times X\to X$ and such that $\|f(t,x)-f(t,y)\|\leq\omega(\|x-y\|)$ for all $t\in R$, $x,y\in X$, the Cauchy problem $\dot x(t)=f(t,x(t))$, $(t_0)=x_0$ has a unique solution in a neighborhood of $t_0$ . We prove that if $X$ has a complemented subspace with an unconditional Schauder basis and $\int_{0}^1\frac{dt}{\omega(t)}

Counterexample to Peano's theorem in infinite-dimensional F '-spaces

Let $E$ be a nonnormable Frechet space, and let $E'$ be the space of all continuous linear functionals on $E$ in the strong topology. A continuous mapping $f : E' \to E'$ such that for any $t_0\in R$ and $x_0\in E'$, the Cauchy problem $\dot x= f(x)$, x(t_0) = x_0$ has no solutions is constructed.

Some results on solvability of ordinary linear differential equations in locally convex spaces

Let $\Gamma$ be the class of sequentially complete locally convex spaces such that an existence theorem holds for the linear Cauchy problem $\dot x = Ax$, $x(0) = x_0$ with respect to functions $x: R\to E$. It is proved that if $E\in \Gamma$, then $E\times R^A$ is-an-element-of $\Gamma$ for an arbitrary set $A$. It is also proved that a topological product of infinitely many infinite-dimensional Frechet spaces, each not isomorphic to $\omega$, does not belong to $\Gamma$.

Let your feet do the walking: constraints on the stability of bipedal coordination

In this paper we consider whether the behaviour of the neural circuitry that controls lower limb movements in humans is shaped primarily by the spatiotemporal characteristics of bipedal gait patterns, or by selective pressures that are sensitive to considerations of balance and energetics. During the course of normal locomotion, the full dynamics of the neural circuitry are masked by the inertial properties of the limbs. In the present study, participants executed bipedal movements in conditions in which their feet were either unloaded or subject to additional inertial loads. Two patterns of rhythmic coordination were examined. In the in-phase mode, participants were required to flex their ankles and extend their ankles in synchrony. In the out-of-phase mode, the participants flexed one ankle while extending the other and vice versa. The frequency of movement was increased systematically throughout each experimental trial. All participants were able to maintain both the in-phase and the out-of-phase mode of coordination, to the point at which they could no longer increase their frequency of movement. Transitions between the two modes were not observed, and the stability of the out-of-phase and in-phase modes of coordination was equivalent at all movement frequencies. These findings indicate that, in humans, the behaviour of the neural circuitry underlying coordinated movements of the lower limbs is not constrained strongly by the spatiotemporal symmetries of bipedal gait patterns.

The redemption of the gaze: the crisis of observation in the "fin de siècle" and the advent of cinema

The intention of this article is not to affirm, but rather to question wether it is possible to speak of a loss of the ability to gaze in the context of the nineteenth century and especially in the context of the fin de siècle, in the bosom of the epistemological crisis that beset the Turn of the Century. And very especially, this article tries to question about the impact this crisis had, perhaps, in the birth of cinema. Is in this context that arises the work of Marey and the advent of the cinematograph of the Lumière brothers in the fin de siècle Europe, both of them showing a deep faith in a mechanical apparatus that would allow the redemption of a battered gaze. And it seems to be a dream that continues over time through the tradition of shooting the everyday life.

Bridging Jeffrey's Rule, AGM Revision and Dempster Conditioning in the Theory of Evidence

Belief revision characterizes the process of revising an agent’s beliefs when receiving new evidence. In the field of artificial intelligence, revision strategies have been extensively studied in the context of logic-based formalisms and probability kinematics. However, so far there is not much literature on this topic in evidence theory. In contrast, combination rules proposed so far in the theory of evidence, especially Dempster rule, are symmetric. They rely on a basic assumption, that is, pieces of evidence being combined are considered to be on a par, i.e. play the same role. When one source of evidence is less reliable than another, it is possible to discount it and then a symmetric combination operation
is still used. In the case of revision, the idea is to let prior knowledge of an agent be altered by some input information. The change problem is thus intrinsically asymmetric. Assuming the input information is reliable, it should be retained whilst the prior information should be changed minimally to that effect. To deal with this issue, this paper defines the notion of revision for the theory of evidence in such a way as to bring together probabilistic and logical views. Several revision rules previously proposed are reviewed and we advocate one of them as better corresponding to the idea of revision. It is extended to cope with inconsistency between prior and input information. It reduces to Dempster
rule of combination, just like revision in the sense of Alchourron, Gardenfors, and Makinson (AGM) reduces to expansion, when the input is strongly consistent with the prior belief function. Properties of this revision rule are also investigated and it is shown to generalize Jeffrey’s rule of updating, Dempster rule of conditioning and a form of AGM revision.

Response characteristics of optical sensors for oxygen: models based on a distribution in tau(o) or kappa(q)

The features of two popular models used to describe the observed response characteristics of typical oxygen optical sensors based on luminescence quenching are examined critically. The models are the 'two-site' and 'Gaussian distribution in natural lifetime, tau(o),' models. These models are used to characterise the response features of typical optical oxygen sensors; features which include: downward curving Stern-Volmer plots and increasingly non-first order luminescence decay kinetics with increasing partial pressures of oxygen, pO(2). Neither model appears able to unite these latter features, let alone the observed disparate array of response features exhibited by the myriad optical oxygen sensors reported in the literature, and still maintain any level of physical plausibility. A model based on a Gaussian distribution in quenching rate constant, k(q), is developed and, although flawed by a limited breadth in distribution, rho, does produce Stern-Volmer plots which would cover the range in curvature seen with real optical oxygen sensors. A new 'log-Gaussian distribution in tau(o) or k(q)' model is introduced which has the advantage over a Gaussian distribution model of placing no limitation on the value of rho. Work on a 'log-Gaussian distribution in tau(o)' model reveals that the Stern-Volmer quenching plots would show little degree in curvature, even at large rho values and the luminescence decays would become increasingly first order with increasing pO(2). In fact, with real optical oxygen sensors, the opposite is observed and thus the model appears of little value. In contrast, a 'log-Gaussian distribution in k(o)' model does produce the trends observed with real optical oxygen sensors; although it is technically restricted in use to those in which the kinetics of luminescence decay are good first order in the absence of oxygen. The latter model gives a good fit to the major response features of sensors which show the latter feature, most notably the [Ru(dpp)(3)(2+)(Ph4B-)(2)] in cellulose optical oxygen sensors. The scope of a log-Gaussian model for further expansion and, therefore, application to optical oxygen sensors, by combining both a log-Gaussian distribution in k(o) with one in tau(o) is briefly discussed.

Bystander responses induced by low LET radiation

Radiation-induced bystander responses are observed when cells respond to their neighbours being irradiated. Considerable evidence is now available regarding the importance of these responses in cell and tissue models. Most studies have utilized two approaches where either a media-transferable factor has been assessed or cells have been exposed to low fluences of charged particles, where only a few percent are exposed. The development of microbeams has allowed nontargeted responses such as bystander effects to be more carefully analysed. As well as charged particle microbeams, X-ray microprobes have been developed, and several groups are also developing electron microbeams. Using the Gray Cancer Institute soft X-ray microprobe, it has been possible to follow the response of individual cells to targeted low doses of carbon-characteristic soft X-rays. Studies in human fibroblasts have shown evidence of a significant radiation quality-dependent bystander effect, measured as chromosomal damage in the form of micronuclei which is radiation quality dependent. Other studies show that even under conditions when only a single cell is targeted with soft X-rays, significant bystander-mediated cell killing is observed. The observation of bystander responses with low LET radiation suggests that these may be important in understanding radiation risk from background levels of radiation, where cells observe only single electron track traversals. Also, the indirect evidence for these responses in vivo indicates that they may have a role to play in current radiotherapy approaches and future novel strategies involving modulating nontargeted responses.