Applicative theories for logarithmic complexity classes

We present applicative theories of words corresponding to weak, and especially logarithmic, complexity classes. The theories for the logarithmic hierarchy and alternating logarithmic time formalise function algebras with concatenation recursion as main principle. We present two theories for logarithmic space where the first formalises a new two-sorted algebra which is very similar to Cook and Bellantoni's famous two-sorted algebra B for polynomial time [4]. The second theory describes logarithmic space by formalising concatenation- and sharply bounded recursion. All theories contain the predicates WW representing words, and VV representing temporary inaccessible words. They are inspired by Cantini's theories [6] formalising B.

Post-Empire Imaginaries? Anglophone Literature, History, and the Demise of Empires

Empires as political entities may be a thing of the past, but as a concept, empire is alive and kicking. From heritage tourism and costume dramas to theories of the imperial idea(l): empire sells. Post-Empire Imaginaries? Anglophone Literature, History, and the Demise of Empires presents innovative scholarship on the lives and legacies of empires in diverse media such as literature, film, advertising, and the visual arts. Though rooted in real space and history, the post-empire and its twin, the post-imperial, emerge as ungraspable ideational constructs. The volume convincingly establishes empire as welcoming resistance and affirmation, introducing post-empire imaginaries as figurations that connect the archives and repertoires of colonial nostalgia, postcolonial critique, post-imperial dreaming.

A study of the time complexity of an Elitist Genetic Algorithm used for associating optical observations of MEO and GEO Space Debris

Currently several thousands of objects are being tracked in the MEO and GEO regions through optical means. The problem faced in this framework is that of Multiple Target Tracking (MTT). In this context both the correct associations among the observations, and the orbits of the objects have to be determined. The complexity of the MTT problem is defined by its dimension S. Where S stands for the number of ’fences’ used in the problem, each fence consists of a set of observations that all originate from dierent targets. For a dimension of S ˃ the MTT problem becomes NP-hard. As of now no algorithm exists that can solve an NP-hard problem in an optimal manner within a reasonable (polynomial) computation time. However, there are algorithms that can approximate the solution with a realistic computational e ort. To this end an Elitist Genetic Algorithm is implemented to approximately solve the S ˃ MTT problem in an e cient manner. Its complexity is studied and it is found that an approximate solution can be obtained in a polynomial time. With the advent of improved sensors and a heightened interest in the problem of space debris, it is expected that the number of tracked objects will grow by an order of magnitude in the near future. This research aims to provide a method that can treat the correlation and orbit determination problems simultaneously, and is able to e ciently process large data sets with minimal manual intervention.

Photometric monitoring of non-resolved space debris and databases of optical light curves.

The population of space debris increased drastically during the last years. Collisions involving massive objects may produce large number of fragments leading to significantly growth of the space debris population. An effective remediation measure in order to stabilize the population in LEO, is therefore the removal of large, massive space debris. To remove these objects, not only precise orbits, but also more detailed information about their attitude states will be required. One important property of an object targeted for removal is its spin period and spin axis orientation. If we observe a rotating object, the observer sees different surface areas of the object which leads to changes in the measured intensity. Rotating objects will produce periodic brightness vari ations with frequencies which are related to the spin periods. Photometric monitoring is the real tool for remote diagnostics of the satellite rotation around its center of mass. This information is also useful, for example, in case of contingency. Moreover, it is also important to take into account the orientation of non-spherical body (e.g. space debris) in the numerical integration of its motion when a close approach with the another spacecr aft is predicted. We introduce the two databases of light curves: the AIUB data base, which contains about a thousand light curves of LEO, MEO and high-altitude debris objects (including a few functional objects) obtained over more than seven years, and the data base of the Astronomical Observatory of Odessa University (Ukraine), which contains the results of more than 10 years of photometric monitoring of functioning satellites and large space debris objects in low Earth orbit. AIUB used its 1m ZIMLAT telescope for all light curves. For tracking low-orbit satellites, the Astronomical Observatory of Odessa used the KT-50 telescope, which has an alt-azimuth mount and allows tracking objects moving at a high angular velocity. The diameter of the KT-50 main mirror is 0.5 m, and the focal length is 3 m. The Odessa's Atlas of light curves includes almost 5,5 thousand light curves for ~500 correlated objects from a time period of 2005-2014. The processing of light curves and the determination of the rotation period in the inertial frame is challenging. Extracted frequencies and reconstructed phases for some interesting targets, e.g. GLONASS satellites, for which also SLR data were available for confirmation, will be presented. The rotation of the Envisat satellite after its sudden failure will be analyzed. The deceleration of its rotation rate within 3 years is studied together with the attempt to determine the orientation of the rotation axis.

Comparison of actual surgical outcomes and 3-dimensional surgical simulations

PURPOSE: The advent of imaging software programs has proved to be useful for diagnosis, treatment planning, and outcome measurement, but precision of 3-dimensional (3D) surgical simulation still needs to be tested. This study was conducted to determine whether the virtual surgery performed on 3D models constructed from cone-beam computed tomography (CBCT) can correctly simulate the actual surgical outcome and to validate the ability of this emerging technology to recreate the orthognathic surgery hard tissue movements in 3 translational and 3 rotational planes of space. MATERIALS AND METHODS: Construction of pre- and postsurgery 3D models from CBCTs of 14 patients who had combined maxillary advancement and mandibular setback surgery and 6 patients who had 1-piece maxillary advancement surgery was performed. The postsurgery and virtually simulated surgery 3D models were registered at the cranial base to quantify differences between simulated and actual surgery models. Hotelling t tests were used to assess the differences between simulated and actual surgical outcomes. RESULTS: For all anatomic regions of interest, there was no statistically significant difference between the simulated and the actual surgical models. The right lateral ramus was the only region that showed a statistically significant, but small difference when comparing 2- and 1-jaw surgeries. CONCLUSIONS: Virtual surgical methods were reliably reproduced. Oral surgery residents could benefit from virtual surgical training. Computer simulation has the potential to increase predictability in the operating room.

Lamellar body ultrastructure revisited: high-pressure freezing and cryo-electron microscopy of vitreous sections

Lamellar bodies are the storage sites for lung surfactant within type II alveolar epithelial cells. The structure-function models of lamellar bodies are based on microscopic analyses of chemically fixed tissue. Despite available alternative fixation methods that are less prone to artifacts, such as cryofixation by high-pressure freezing, the nature of the lung, being mostly air filled, makes it difficult to take advantage of these improved methods. In this paper, we propose a new approach and show for the first time the ultrastructure of intracellular lamellar bodies based on cryo-electron microscopy of vitreous sections in the range of nanometer resolution. Thus, unspoiled by chemical fixation, dehydration and contrasting agents, a close to native structure is revealed. Our approach uses perfluorocarbon to substitute the air in the alveoli. Lung tissue was subsequently high-pressure frozen, cryosectioned and observed in a cryo-electron microscope. The lamellar bodies clearly show a tight lamellar morphology. The periodicity of these lamellae was 7.3 nm. Lamellar bifurcations were observed in our cryosections. The technical approach described in this paper allows the examination of the native cellular ultrastructure of the surfactant system under near in vivo conditions, and therefore opens up prospectives for scrutinizing various theories of lamellar body biogenesis, exocytosis and recycling.

Vertical bias in neglect: A question of time?

Neglect is defined as the failure to attend and to orient to the contralesional side of space. A horizontal bias towards the right visual field is a classical finding in patients who suffered from a right-hemispheric stroke. The vertical dimension of spatial attention orienting has only sparsely been investigated so far. The aim of this study was to investigate the specificity of this vertical bias by means of a search task, which taps a more pronounced top-down attentional component. Eye movements and behavioural search performance were measured in thirteen patients with left-sided neglect after right hemispheric stroke and in thirteen age-matched controls. Concerning behavioural performance, patients found significantly less targets than healthy controls in both the upper and lower left quadrant. However, when targets were located in the lower left quadrant, patients needed more visual fixations (and therefore longer search time) to find them, suggesting a time-dependent vertical bias.

Treatment of hemispatial neglect by means of rTMS--a review

Hemispatial neglect - defined as the failure to attend, explore, and act upon the contralesional side of space - is a frequent and disabling neurological syndrome. Interhemispheric rivalry is considered as a major pathophysiological mechanism underlying hemispatial neglect. According to this account, the contralesional, intact hemisphere undergoes a pathological hyperactivity due to a deficient transcallosal inhibition from the damaged hemisphere. This model offers a framework for possible therapeutic interventions with repetitive transcranial magnetic stimulation (rTMS), i.e. a reduction of the pathological hyperactivity with a rTMS protocol that has lasting inhibitory effects. In the present work, we will first review evidence for the interhemispheric rivalry account coming from animals and humans. We will then describe studies showing the possibility to perturb and to restore interhemispheric balance in healthy subjects as a proof of concept for therapeutic rTMS application. Finally, we will consider studies applying rTMS as a therapeutic approach in hemispatial neglect. We conclude that rTMS is a promising approach to reduce the interhemispheric imbalance in neglect patients and to ameliorate symptoms. Newly developed protocols such as Theta Burst Stimulation (TBS) - with short stimulation times and long offline effects - seem to be particularly convenient. However, future studies should assess stimulation effects not only in clinical testing, but also on disability, considering combination with traditional therapies as well.

Western Hindus and 'Global Hinduism' - Discourses on Conversion to 'Hindu-Religions', Acceptance of Converts and Social Engagement

The paper deals with the problem of (the often supposedly impossible) conversion to “Hinduism”. I start with an outline of what I call the ‘no conversion possible’ paradigm, and briefl y point to the lack of refl ection on acceptance of converts in most theories of religious conversion. Then, two examples are presented: Firstly, I consider conversion to ISKCON and the discourse on the Hare Krishna movement’s Hinduness. Secondly, I give a brief outline of the globalsanatana dharmamovement as inaugurated by Satguru Siva Subramuniyaswami, a converted American Hindu based in Hawai’i. In the conclusion, I refl ect on (civic) social capital and engagement in global networks as a means to gain acceptance as converts to Hinduism. I argue in line with Stepick, Rey and Mahler (2009) that the religious movements’ civic engagement (in these cases engagement in favour of the Indian diasporic communities and of Hindus in India) provides a means for the individual, non-Indian converts to acquire the social capital that is necessary for gaining acceptance as ‘Hindus’ in certain contexts.

fMRI of Emotion

Recent brain imaging work has expanded our understanding of the mechanisms of perceptual, cognitive, and motor functions in human subjects, but research into the cerebral control of emotional and motivational function is at a much earlier stage. Important concepts and theories of emotion are briefly introduced, as are research designs and multimodal approaches to answering the central questions in the field. We provide a detailed inspection of the methodological and technical challenges in assessing the cerebral correlates of emotional activation, perception, learning, memory, and emotional regulation behavior in healthy humans. fMRI is particularly challenging in structures such as the amygdala as it is affected by susceptibility-related signal loss, image distortion, physiological and motion artifacts and colocalized Resting State Networks (RSNs). We review how these problems can be mitigated by using optimized echo-planar imaging (EPI) parameters, alternative MR sequences, and correction schemes. High-quality data can be acquired rapidly in these problematic regions with gradient compensated multiecho EPI or high resolution EPI with parallel imaging and optimum gradient directions, combined with distortion correction. Although neuroimaging studies of emotion encounter many difficulties regarding the limitations of measurement precision, research design, and strategies of validating neuropsychological emotion constructs, considerable improvement in data quality and sensitivity to subtle effects can be achieved. The methods outlined offer the prospect for fMRI studies of emotion to provide more sensitive, reliable, and representative models of measurement that systematically relate the dynamics of emotional regulation behavior with topographically distinct patterns of activity in the brain. This will provide additional information as an aid to assessment, categorization, and treatment of patients with emotional and personality disorders.

Moving along the mental time line influences the processing of future related words

Abstract concepts like numbers or time are thought to be represented in the more concrete domain of space and the sensorimotor system. For example, thinking of past or future events has a physical manifestation in backward or forward body sway, respectively. In the present study, we investigated the reverse effect: can passive whole-body motion influence the processing of temporal information? Participants were asked to categorize verbal stimuli to the concepts future or past while they were displaced forward and backward (Experiment 1), or upward and downward (Experiment 2). The results showed that future related verbal stimuli were categorized faster during forward as compared to backward motion. This finding supports the view that temporal events are represented along a mental time line and that the sensorimotor system is linked to that representation. We showed that body motion is not just an epiphenomenon of temporal thoughts. Passive whole-body motion can influence higher-order temporal cognition.

Perceived malleability of self versus the world and its impact on youths’ control orientation and well-being in the US, Germany, and India

Primary control is defined as changing the world to fit the self, while secondary control is defined as changing the self to fit the world. To understand why different individuals prefer different kinds of control processes, we proposed a research project looking at US, German and Indian young adults. We hypothesize that theories of self and the world (fixed vs. malleable; Dweck, 1999) affect the prevailing mode of control used. Furthermore, adolescents’ cultural background is assumed to affect their self-world theories as well as the adaptiveness of specific modes of control. For example, in the US, where the self is tended to be seen as fixed and the world as malleable, primary control prevails and is more adaptive than secondary control while the reverse is expected for India. We present the theoretical outline and methodology of the study as well as first results.

The Nature of Sustainable Consumption and How to Achieve it. Results from the Focal Topic "From Knowledge to Action – New Paths towards Sustainable Consumption"

Is the online trade with second-hand products changing individual consumer behaviour? What is the sustainability potential of this activity? How can daily energy-consuming routines at the workplace be changed? Do major changes in the course of people's lives represent opportunities to modify their consumer behaviour towards greater sustainability? These are only some of the research questions studied in the focal topic "From Knowledge to Action - New Paths towards Sustainable Consumption" which is funded by the German Federal Ministry of Education and Research (BMBF) as part of the "Social-ecological Research Programme" (SÖF). This book gives an insight into the research results of the ten project groups. Their diversity highlights that there is much more to "sustainable consumption" than the simple purchase of organic or fair trade products.In addition, overarching conceptual and normative issues were treated across the project groups of the focal topic. Developed collaboratively and moderated by the accompanying research project, the results of the synthesis process are also presented here, as for example how the sustainability of individual consumer behaviour can be evaluated,or which theories of action are particularly useful for specific consumer behaviour phenomena.

Does Social Support Really Help to Eat a Low-Fat Diet? Main Effects and Gender Differences of Received Social Support within the Health Action Process Approach

BACKGROUND: Most theories of health-behavior change focus exclusively on individual self-regulation without taking social factors, such as social support, into account. This study's first aim was to systematically test the added value of received instrumental and emotional social support within the Health Action Process Approach (HAPA) in the context of dietary change. In the social support literature, gender effects emerge with regard to the effectiveness of social support. Thus, a second aim was the examination of gender differences in the association of social support with dietary behavior. METHODS: Participants were 252 overweight and obese individuals. At baseline and 12 months later, participants completed questionnaires on HAPA variables; diet-specific received social support and low-fat diet. RESULTS: For the prediction of intentions 12 months later, instrumental support was more beneficial for men than for women over and above individual self-regulation. In terms of dietary behavior at T2, a moderate main effect of instrumental support emerged. Moreover, received emotional social support was beneficial for men, but not for women in terms of a low-fat diet 12 months later. CONCLUSIONS: Effects of received instrumental social support found in this study provide new evidence for the added value of integrating social support into the HAPA.