Automated design of self-stabilization

Self-stabilization is a property of a distributed system such that, regardless of the legitimacy of its current state, the system behavior shall eventually reach a legitimate state and shall remain legitimate thereafter. The elegance of self-stabilization stems from the fact that it distinguishes distributed systems by a strong fault tolerance property against arbitrary state perturbations. The difficulty of designing and reasoning about self-stabilization has been witnessed by many researchers; most of the existing techniques for the verification and design of self-stabilization are either brute-force, or adopt manual approaches non-amenable to automation. In this dissertation, we first investigate the possibility of automatically designing self-stabilization through global state space exploration. In particular, we develop a set of heuristics for automating the addition of recovery actions to distributed protocols on various network topologies. Our heuristics equally exploit the computational power of a single workstation and the available parallelism on computer clusters. We obtain existing and new stabilizing solutions for classical protocols like maximal matching, ring coloring, mutual exclusion, leader election and agreement. Second, we consider a foundation for local reasoning about self-stabilization; i.e., study the global behavior of the distributed system by exploring the state space of just one of its components. It turns out that local reasoning about deadlocks and livelocks is possible for an interesting class of protocols whose proof of stabilization is otherwise complex. In particular, we provide necessary and sufficient conditions – verifiable in the local state space of every process – for global deadlock- and livelock-freedom of protocols on ring topologies. Local reasoning potentially circumvents two fundamental problems that complicate the automated design and verification of distributed protocols: (1) state explosion and (2) partial state information. Moreover, local proofs of convergence are independent of the number of processes in the network, thereby enabling our assertions about deadlocks and livelocks to apply on rings of arbitrary sizes without worrying about state explosion.

ANKLE IMPEDANCE AND ANKLE ANGLES DURING STEP TURN AND STRAIGHT WALK: IMPLICATIONS FOR THE DESIGN OF A STEERABLE ANKLE-FOOT PROSTHETIC ROBOT

During locomotion, turning is a common and recurring event which is largely neglected in the current state-of-the-art ankle-foot prostheses, forcing amputees to use different steering mechanisms for turning, compared to non-amputees. A better understanding of the complexities surrounding lower limb prostheses will lead to increased health and well-being of amputees. The aim of this research is to develop a steerable ankle-foot prosthesis that mimics the human ankle mechanical properties. Experiments were developed to estimate the mechanical impedance of the ankle and the ankles angles during straight walk and step turn. Next, this information was used in the design of a prototype, powered steerable ankle-foot prosthesis with two controllable degrees of freedom. One of the possible approaches in design of the prosthetic robots is to use the human joints’ parameters, especially their impedance. A series of experiments were conducted to estimate the stochastic mechanical impedance of the human ankle when muscles were fully relaxed and co-contracting antagonistically. A rehabilitation robot for the ankle, Anklebot, was employed to provide torque perturbations to the ankle. The experiments were performed in two different configurations, one with relaxed muscles, and one with 10% of maximum voluntary contraction (MVC). Surface electromyography (sEMG) was used to monitor muscle activation levels and these sEMG signals were displayed to subjects who attempted to maintain them constant. Time histories of ankle torques and angles in the lateral/medial (LM) directions, inversion-eversion (IE), and dorsiflexionplantarflexion (DP) were recorded. Linear time-invariant transfer functions between the measured torques and angles were estimated providing an estimate of ankle mechanical impedance. High coherence was observed over a frequency range up to 30 Hz. The main effect of muscle activation was to increase the magnitude of ankle mechanical impedance in all degrees of freedom of the ankle. Another experiment compared the three-dimensional angles of the ankle during step turn and straight walking. These angles were measured to be used for developing the control strategy of the ankle-foot prosthesis. An infrared camera system was used to track the trajectories and angles of the foot and leg. The combined phases of heel strike and loading response, mid stance, and terminal stance and pre-swing were determined and used to measure the average angles at each combined phase. The Range of motion (ROM) in IE increased during turning while ML rotation decreased and DP changed the least. During the turning step, ankle displacement in DP started with similar angles to straight walk and progressively showed less plantarflexion. In IE, the ankle showed increased inversion leaning the body toward the inside of the turn. ML rotation initiated with an increased medial rotation during the step turn relative to the straight walk transitioning to increased lateral rotation at the toe off. A prototype ankle-foot prosthesis capable of controlling both DP and IE using a cable driven mechanism was developed and assessed as part of a feasibility study. The design is capable of reproducing the angles required for straight walk and step turn; generates 712N of lifting force in plantarflexion, and shows passive stiffness comparable to a nonload bearing ankle impedance. To evaluate the performance of the ankle-foot prosthesis, a circular treadmill was developed to mimic human gait during steering. Preliminary results show that the device can appropriately simulate human gait with loading and unloading the ankle joint during the gait in circular paths.

Anticancer drugs from nature--natural products as a unique source of new microtubule-stabilizing agents

This review article provides an overview on the current state of research in the area of microtubule-stabilizing agents from natural sources, with a primary focus on the biochemistry, biology, and pharmacology associated with these compounds. A variety of natural products have been discovered over the last decade to inhibit human cancer cell proliferation through a taxol-like mechanism. These compounds represent a whole new range of structurally diverse lead structures for anticancer drug discovery.

Teaching Information Literacy to Undergraduate Students: Reflecting on the Past, Present and Future of Library Instruction

The need to teach information literacy skills to undergraduate students is often framed as a 21st century concern, but debate over the value and practice of teaching this set of skills can be found as far back as the early 1900’s. This article reviews the history of information literacy instruction in academic libraries from its origins to the present, examines the current state of information literacy instruction in academic libraries, and explores possible future directions that this instruction may take. Looking to the past, present and future shows that while library instruction has evolved, many central concerns remain unanswered.

Influential Social Workers: A Preliminary Exploration of Social Work Faculty

The profession of social work in the U.S. has been influenced and is being influenced by a wide-range of advocates, politicians, practitioners, and educators. This paper is a preliminary attempt to systematically examine who social work faculty consider influential in shaping the field. Identifying influential social workers is an important step in understanding the history of a profession, its current state, and its future trajectory.

How the Entrepreneurial Top Management Team Setup Influences Firm Performance and the Ability to Raise Capital: A Literature Review

This paper reviews research findings on entrepreneurial top management teams within the last 20 years. It concentrates on team-based management factors and their influence on a new venture’s growth and ability to raise capital. This paper integrates recent findings and provides an overview of the current state of research. Moreover, it contributes to the overall topic by proposing five clusters of major team-specific influences, derives determinants of success and failure, and reveals recommendations for further research.

Mobile Learning – Begriff, Modelle, Forschung

Der vorliegende Übersichtsartikel betrachtet Mobile Learning aus einer pädagogisch-psychologischen und didaktischen Perspektive. Mobile Learning (M-Learning), das seit Mitte der 1990er in unterschiedlichsten Kontexten Einzug in den Bildungssektor hielt, ist ein dynamisches und interdisziplinäres Feld. Dynamisch, weil M-Learning durch die rasche Entwicklung im Bereich der Informations- und Kommunikationstechnologie, wie kaum ein anderes Forschungsfeld, einem derart großen Wandel unterworfen ist. Interdisziplinär, weil durch das Zusammentreffen von mobiler Technik und Lernen auch unterschiedliche Fachdisziplinen betroffen sind. Die verschiedenen Sichtweisen und auch die Komplexität des Feldes haben dazu geführt, dass bis heute keine einheitliche Definition des Begriffs besteht. Ziel dieses Übersichtsartikels ist es, den aktuellen Forschungsstand aus didaktischer und pädagogisch-psychologischer Sicht aufzuzeigen. Dazu werden zunächst wichtige Komponenten des M-Learning-Begriffs herausgearbeitet und daran anschließend didaktisch bedeutsame theoretische Ansätze und Modelle vorgestellt sowie kritisch betrachtet. Basierend auf dieser theoretischen Ausgangslage wird dann ein Rahmen gezeichnet, der verdeutlichen soll, wo empirische Forschung aus didaktischer und pädagogisch-psychologischer Sicht ansetzen kann. Entsprechende empirische Studien werden ebenfalls vorgestellt, um einen Eindruck des aktuellen empirischen Forschungsstandes zu geben. Dies alles soll als Ausgangspunkt für den zukünftigen Forschungsbedarf dienen.

myTU - Neue Ideen und Konzepte

myTU, eine persönliche Lernplattform für Smartphones, die seit 2011 an der Technischen Universität Bergakademie Freiberg im Einsatz ist, wird zukünftig mit neuen und erweiterten Funktionen ausgestattet. Ziel ist es eine generalisierte Lernplattform für alle Hochschulen anzubieten, die das BYOD-Konzept konsequent umsetzt. Ausgehend von der derzeitigen Struktur und Umfang des Projektes wird eine Verbindung mit OPAL geschaffen, das Layout und die Schnittstellen generalisiert, Funktionen erweitert und ein mehrstufiges Authentisierungskonzept entwickelt und integriert. Im Folgenden wird der Status Quo erläutert und neue Konzepte des Projektes vorgestellt.

Finale Fixationen, sportmotorische Leistung und eine Inhibitionshypothese. Mechanismen des "Quiet Eye"

Vielfach konnte in den letzten Jahren die Bedeutung einer langen letzten Fixation vor Bewegungsbeginn – des sogenannten "Quiet Eye" – für die sportmotorische Leistung aufgezeigt werden. Obgleich dieses Phänomens breit untersucht wurde, mangelt es bislang an einer zufriedenstellenden Erklärung. In diesem Beitrag werden daher aktuelle Erklärungsversuche diskutiert. Es zeigt sich, dass vorliegende Beiträge aus der Kognitions- und der ökologischen Psychologie konzeptuelle oder methodische Mängel aufweisen. Aus diesen Gründen wird – zunächst für Aufgaben mit hohen Präzisionsanforderungen – ein Inhibitionsmechanismus zur Erklärung des Quiet-Eye-Phänomens vorgeschlagen mit der zentralen Aussage, dass die Verarbeitung leistungsrelevanter Hinweisreize durch ein "ruhiges Auge" von Störungen abgeschirmt wird. Abschließend kann gezeigt werden, dass sich der vorgeschlagene Mechanismus mit der bestehenden Befundlage als kompatibel erweist und er die Ableitung weitergehender Vorhersagen erlaubt.

Heart failure gene therapy: the path to clinical practice

Gene therapy, aimed at the correction of key pathologies being out of reach for conventional drugs, bears the potential to alter the treatment of cardiovascular diseases radically and thereby of heart failure. Heart failure gene therapy refers to a therapeutic system of targeted drug delivery to the heart that uses formulations of DNA and RNA, whose products determine the therapeutic classification through their biological actions. Among resident cardiac cells, cardiomyocytes have been the therapeutic target of numerous attempts to regenerate systolic and diastolic performance, to reverse remodeling and restore electric stability and metabolism. Although the concept to intervene directly within the genetic and molecular foundation of cardiac cells is simple and elegant, the path to clinical reality has been arduous because of the challenge on delivery technologies and vectors, expression regulation, and complex mechanisms of action of therapeutic gene products. Nonetheless, since the first demonstration of in vivo gene transfer into myocardium, there have been a series of advancements that have driven the evolution of heart failure gene therapy from an experimental tool to the threshold of becoming a viable clinical option. The objective of this review is to discuss the current state of the art in the field and point out inevitable innovations on which the future evolution of heart failure gene therapy into an effective and safe clinical treatment relies.

From "magic bullets" to specific cancer immunotherapy

The immune system is able to specifically target antigen-expressing cancer cells. The promise of immunotherapy was to eliminate cancer cells without harming normal tissue and, therefore, with no or very few side effects. Immunotherapy approaches have, for several decades, been tested against several tumours, most often against malignant melanoma. However, although detectable immune responses have regularly been induced, the clinical outcome has often been disappointing. The development of molecular methods and an improved understanding of tumour immunosurveillance led to novel immunotherapy approaches in the last few years. First randomised phase III trials proved that immunotherapy can prolong survival of patients with metastatic melanoma or prostate cancer. The development in the field is very rapid and various molecules (mainly monoclonal antibodies) that activate the immune system are currently being tested in clinical trials and will possibly change our treatment of cancer. The ultimate goal of any cancer therapy and also immunotherapy is to cure cancer. However, this depends on the elimination of the disease originating cancer stem cells. Unfortunately, cancer stem cells seem resistant to most available treatment options. Recent developments in immunotherapy may allow targeting these cancer stem cells specifically in the future. In this review, we summarise the current state of immunotherapy in clinical routine and the expected developments in the near future.

Treatment of chronic venous disease with flavonoids: recommendations for treatment and further studies.

OBJECTIVES A variety of studies have suggested that flavonoids are effective for the treatment of CVD. However, many questions remain about their mechanism of action and when, how, and for what signs and symptoms they should be used. METHOD A panel of experts in CVD met in Budapest, Hungary in December 2011 to discuss the current state of knowledge of CVD and the role of flavonoids in its treatment. The discussion was based on a literature search in the current databases. The goals of this paper are recommendations for further studies on the use of flavonoids in the treatment of CVD. RESULTS There is good evidence to recommend the use of flavonoids in the treatment of CVD. However, because of the poor quality of some older clinical trials, inadequate reporting, and insufficient information, much work is still needed to firmly establish their clinical efficacy and to determine when and how they should be employed. In particular, long-term randomized, placebo-controlled, double-blind studies are needed to establish the efficacy and safety of flavonoids. Additional studies are also needed to establish their mechanism of action, pharmacokinetics, toxicity, and cost-effectiveness. CONCLUSIONS Aside from good evidence for the use of flavonoids in CVD further studies are indicated to establish long term treatment in this indication.

From school to work: A comprehensive model of work-related motivation in the transition to working life.

Motivation is a core concept to understand work related outcomes and vocational pursuits. However, existing research mostly focused on specific aspects of motivation, such as goals or self-efficacy beliefs, while falling short of adequately addressing more complex and integrative notions of motivation. Advancing the current state of research, we draw from Motivational Systems Theory and a model of proactive motivation to propose a comprehensive model of work-related motivation. Specifically, we define motivation as a system of mutually related factors consisting of goals, emotions, and personal agency beliefs, comprised by capability beliefs and context evaluations. Adapting this model of motivation to the school-to-work transition, we postulate that this motivational system is affected by different social, personal, and environmental variables, for example social support, the presence of role-models, personality traits, and scholastic achievement. We further expect that students with more autonomous work-related goals, expectations of more positive emotional experiences in their future working life, fewer perceived barriers to their career development, and higher work-related self-efficacy beliefs would be more successful in their transition from school to work. We also propose that goal-directed engagement acts as a partial mediator in the relationship between motivation and a successful transition. Finally, we hypothesize that work-related motivation while in school will have meaningful effects on positive outcomes while in vocational training, as represented by more work engagement, higher career commitment, job satisfaction, and lower intentions to quit training. In sum, we advance the point that the adaptation of a broader concept of work-related motivation in the school-to-work transition would result in more powerful predictions of success in this transition and would enhance scientific research and interventions in career development and counselling practice.

Advances in progenitor cell therapy using scaffolding constructs for central nervous system injury.

Traumatic brain injury (TBI) is a major cause of morbidity and mortality in the United States. Current clinical therapy is focused on optimization of the acute/subacute intracerebral milieu, minimizing continued cell death, and subsequent intense rehabilitation to ameliorate the prolonged physical, cognitive, and psychosocial deficits that result from TBI. Adult progenitor (stem) cell therapies have shown promise in pre-clinical studies and remain a focus of intense scientific investigation. One of the fundamental challenges to successful translation of the large body of pre-clinical work is the delivery of progenitor cells to the target location/organ. Classically used vehicles such as intravenous and intra arterial infusion have shown low engraftment rates and risk of distal emboli. Novel delivery methods such as nanofiber scaffold implantation could provide the structural and nutritive support required for progenitor cell proliferation, engraftment, and differentiation. The focus of this review is to explore the current state of the art as it relates to current and novel progenitor cell delivery methods.

Site- and species-specific responses of forest growth to climate across the European continent

Aim To evaluate the climate sensitivity of model-based forest productivity estimates using a continental-scale tree-ring network. Location Europe and North Africa (30–70° N, 10° W–40° E). Methods We compiled close to 1000 annually resolved records of radial tree growth for all major European tree species and quantified changes in growth as a function of historical climatic variation. Sites were grouped using a neural network clustering technique to isolate spatiotemporal and species-specific climate response patterns. The resulting empirical climate sensitivities were compared with the sensitivities of net primary production (NPP) estimates derived from the ORCHIDEE-FM and LPJ-wsl dynamic global vegetation models (DGVMs). Results We found coherent biogeographic patterns in climate response that depend upon (1) phylogenetic controls and (2) ambient environmental conditions delineated by latitudinal/elevational location. Temperature controls dominate forest productivity in high-elevation and high-latitude areas whereas moisture sensitive sites are widespread at low elevation in central and southern Europe. DGVM simulations broadly reproduce the empirical patterns, but show less temperature sensitivity in the boreal zone and stronger precipitation sensitivity towards the mid-latitudes. Main conclusions Large-scale forest productivity is driven by monthly to seasonal climate controls, but our results emphasize species-specific growth patterns under comparable environmental conditions. Furthermore, we demonstrate that carry-over effects from the previous growing season can significantly influence tree growth, particularly in areas with harsh climatic conditions – an element not considered in most current-state DGVMs. Model–data discrepancies suggest that the simulated climate sensitivity of NPP will need refinement before carbon-cycle climate feedbacks can be accurately quantified.