Echinococcus metacestodes as laboratory models for the screening of drugs against cestodes and trematodes

Among the cestodes, Echinococcus granulosus, Echinococcus multilocularis and Taenia solium represent the most dangerous parasites. Their larval stages cause the diseases cystic echinococcosis (CE), alveolar echinococcosis (AE) and cysticercosis, respectively, which exhibit considerable medical and veterinary health concerns with a profound economic impact. Others caused by other cestodes, such as species of the genera Mesocestoides and Hymenolepis, are relatively rare in humans. In this review, we will focus on E. granulosus and E. multilocularis metacestode laboratory models and will review the use of these models in the search for novel drugs that could be employed for chemotherapeutic treatment of echinococcosis. Clearly, improved therapeutic drugs are needed for the treatment of AE and CE, and this can only be achieved through the development of medium-to-high throughput screening approaches. The most recent achievements in the in vitro culture and genetic manipulation of E. multilocularis cells and metacestodes, and the accessability of the E. multilocularis genome and EST sequence information, have rendered the E. multilocularis model uniquely suited for studies on drug-efficacy and drug target identification. This could lead to the development of novel compounds for the use in chemotherapy against echinococcosis, and possibly against diseases caused by other cestodes, and potentially also trematodes.

Racism, Youth Violence and the New Right: A Comparative Study of the Political Transformation of Extremism in Hungary and Romania

This research focused on the re-emerging of national and minority identities and the concomitant hostilities emerging from them in Hungary and in Romania. In particular the findings indicate that extremist incidents against members of minority groups on the local level seem to follow patterns in publicised media events. Violent attacks by skinheads against Gypsies in Hungary are often isolated incidents but are also inadvertently supported by biased media coverage, hostile majority attitudes and stereotyped behaviour reproduced in the media. The research also indicates that extremism both in Hungary against Gypsies and in Romania against Hungarians is of three kinds: organised within the framework of extremist groups, state-supported violence (both real and symbolic), and isolated, local instances with a few perpetrators committing atrocities. However, and this is a positive development, with rising interethnic tensions and extremist attacks prevalent in Hungary and Romania, there is also a parallel emergence of a more sophisticated human and minority rights campaign to combat them.

Dispersal and seed limitation affect diversity and productivity of montane grasslands

So far, seed limitation as a local process, and dispersal limitation as a regional process have been largely neglected in biodiversity-ecosystem functioning research. However, these processes can influence both local plant species diversity and ecosystem processes, such as biomass production. We added seeds of 60 species from the regional species pool to grassland communities at 20 montane grassland sites in Germany. In these sites, plant species diversity ranged from 10 to 34 species m(-2) and, before manipulation, diversity was not related to aboveground biomass, which ranged from 108 to 687 g m(-2). One year after seed addition, local plant species richness had increased on average by six species m(-2) (29%) compared with control plots, and this increase was highest in grasslands with intermediate productivity. The increased diversity after adding seeds was associated with an average increase of aboveground biomass of 36 g m(-2) (14.8%) compared with control plots. Thus, our results demonstrate that a positive relationship between changes in species richness and productivity, as previously reported from experimental plant communities, also holds for natural grassland ecosystems. Our results show that local plant communities are dispersal limited and a hump-shaped model appears to be the limiting outline of the natural diversity-productivity relationship. Hence, the effects of dispersal on local diversity can substantially affect the functioning of natural ecosystems.

A physiological and behavioral mechanism for leaf-herbivore induced systemic root resistance

Indirect plant-mediated interactions between herbivores are important drivers of community composition in terrestrial ecosystems. Among the most striking examples are the strong indirect interactions between spatially separated leaf- and root-feeding insects sharing a host plant. Although leaf feeders generally reduce the performance of root herbivores, little is known about the underlying systemic changes in root physiology and the associated behavioral responses of the root feeders. We investigated the consequences of maize (Zea mays) leaf infestation by Spodoptera littoralis caterpillars for the root-feeding larvae of the beetle Diabrotica virgifera virgifera, a major pest of maize. D. virgifera strongly avoided leaf-infested plants by recognizing systemic changes in soluble root components. The avoidance response occurred within 12 h and was induced by real and mimicked herbivory, but not wounding alone. Roots of leaf-infested plants showed altered patterns in soluble free and soluble conjugated phenolic acids. Biochemical inhibition and genetic manipulation of phenolic acid biosynthesis led to a complete disappearance of the avoidance response of D. virgifera. Furthermore, bioactivity-guided fractionation revealed a direct link between the avoidance response of D. virgifera and changes in soluble conjugated phenolic acids in the roots of leaf-attacked plants. Our study provides a physiological mechanism for a behavioral pattern that explains the negative effect of leaf attack on a root-feeding insect. Furthermore, it opens up the possibility to control D. virgifera in the field by genetically mimicking leaf herbivore-induced changes in root phenylpropanoid patterns.

European mobility and local political incorporation: The case of British and Romanian residents in Spain

This paper analyses the impact of European mobility in the field of the political nomination of intra-EU migrants in local elections. The study contributes to the debates in the literature related to immigrant nomination and representation by showing how group resources and political opportunities in the country of residence interact with the political opportunities of the European citizenship regime. It argues that the symbolic and legal status of European identity, representation in the European Parliament and strong links between political institutions in the countries of destination and origin play a positive role in boosting immigrant political entrepreneurs’ visibility vis-à-vis host country political actors. In order to illustrate these findings, the paper provides a qualitative comparison of British and Romanian residents in Spain.

Impact of hormonal therapy on survival and racial disparities in a large community-based cohort of older men with local/regional prostate cancer

Prostate cancer (CaP) is the most diagnosed non-cutaneous malignancy and the second leading cause of cancer mortality among United States males. Major racial disparities in incidence, survival, as well as treatment persist. The mortality is three times higher among African Americans (AAs) compared with Caucasians. Androgen carcinogenesis has been persistently implicated but results are inconsistent; and hormone manipulation has been the main stay of treatment for metastatic disease, supportive of the androgen carcinogenesis. The survival disadvantage of AAs has been attributed to the differences in socioeconomic factors (SES), tumor stage, and treatment. We hypostasized that HT prolongs survival in CaP and that the racial disparities in survival is influenced by variation in HT and primary therapies as well as SES. To address these overall hypothesis, we first utilized a random-effect meta-analytic design to examine evidence from randomized trials on the efficacy of androgen deprivation therapy in localized and metastatic disease, and assessed, using Cox proportional hazards models, the effectiveness of HT in prolonging survival in a large community-based cohort of older males diagnosed with local/regional CaP. Further we examined the role of HT and primary therapies on the racial disparities in CaP survival. The results indicated that adjuvant HT compared with standard care alone is efficacious in improving overall survival, whereas HT has no significant benefit in the real world experience in increasing the overall survival of older males in the community treated for local/regional disease. Further, racial differences in survival persist and were explained to some extent by the differences in the primary therapies (radical prostatectomy, radiation and watchful waiting) and largely by SES. Therefore, given the increased used of hormonal therapy and the cost-effectiveness today, more RCTs are needed to assess whether or not survival prolongation translates to improved quality of life, and to answer the research question on whether or not the decreased use of radical prostatectomy by AAs is driven by the Clinicians bias or AAs's preference of conservative therapy and to encourage AAs to seek curative therapies, thus narrowing to some degree the persistent mortality disparities between AAs and Caucasians. ^

Unimanual and Bimanual Weight Perception of Virtual Objects with a new Multi-finger Haptic Interface

Accurate weight perception is important particularly in tasks where the user has to apply vertical forces to ensure safe landing of a fragile object or precise penetration of a surface with a probe. Moreover, depending on physical properties of objects such as weight and size we may switch between unimanual and bimanual manipulation during a task. Research has shown that bimanual manipulation of real objects results in a misperception of their weight: they tend to feel lighter than similarly heavy objects which are handled with one hand only [8]. Effective simulation of bimanual manipulation with desktop haptic interfaces should be able to replicate this effect of bimanual manipulation on weight perception. Here, we present the MasterFinger-2, a new multi-finger haptic interface allowing bimanual manipulation of virtual objects with precision grip and we conduct weight discrimination experiments to evaluate its capacity to simulate unimanual and bimanual weight. We found that the bimanual ‘lighter’ bias is also observed with the MasterFinger-2 but the sensitivity to changes of virtual weights deteriorated.

A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers

Olivier Danvy and others have shown the syntactic correspondence between reduction semantics (a small-step semantics) and abstract machines, as well as the functional correspondence between reduction-free normalisers (a big-step semantics) and abstract machines. The correspondences are established by program transformation (so-called interderivation) techniques. A reduction semantics and a reduction-free normaliser are interderivable when the abstract machine obtained from them is the same. However, the correspondences fail when the underlying reduction strategy is hybrid, i.e., relies on another sub-strategy. Hybridisation is an essential structural property of full-reducing and complete strategies. Hybridisation is unproblematic in the functional correspondence. But in the syntactic correspondence the refocusing and inlining-of-iterate-function steps become context sensitive, preventing the refunctionalisation of the abstract machine. We show how to solve the problem and showcase the interderivation of normalisers for normal order, the standard, full-reducing and complete strategy of the pure lambda calculus. Our solution makes it possible to interderive, rather than contrive, full-reducing abstract machines. As expected, the machine we obtain is a variant of Pierre Crégut s full Krivine machine KN.

Formal Verification of Temporal Properties for Parametrized Concurrent Programs and Concurrent Data Structures

Los tipos de datos concurrentes son implementaciones concurrentes de las abstracciones de datos clásicas, con la diferencia de que han sido específicamente diseñados para aprovechar el gran paralelismo disponible en las modernas arquitecturas multiprocesador y multinúcleo. La correcta manipulación de los tipos de datos concurrentes resulta esencial para demostrar la completa corrección de los sistemas de software que los utilizan. Una de las mayores dificultades a la hora de diseñar y verificar tipos de datos concurrentes surge de la necesidad de tener que razonar acerca de un número arbitrario de procesos que invocan estos tipos de datos de manera concurrente. Esto requiere considerar sistemas parametrizados. En este trabajo estudiamos la verificación formal de propiedades temporales de sistemas concurrentes parametrizados, poniendo especial énfasis en programas que manipulan estructuras de datos concurrentes. La principal dificultad a la hora de razonar acerca de sistemas concurrentes parametrizados proviene de la interacción entre el gran nivel de concurrencia que éstos poseen y la necesidad de razonar al mismo tiempo acerca de la memoria dinámica. La verificación de sistemas parametrizados resulta en sí un problema desafiante debido a que requiere razonar acerca de estructuras de datos complejas que son accedidas y modificadas por un numero ilimitado de procesos que manipulan de manera simultánea el contenido de la memoria dinámica empleando métodos de sincronización poco estructurados. En este trabajo, presentamos un marco formal basado en métodos deductivos capaz de ocuparse de la verificación de propiedades de safety y liveness de sistemas concurrentes parametrizados que manejan estructuras de datos complejas. Nuestro marco formal incluye reglas de prueba y técnicas especialmente adaptadas para sistemas parametrizados, las cuales trabajan en colaboración con procedimientos de decisión especialmente diseñados para analizar complejas estructuras de datos concurrentes. Un aspecto novedoso de nuestro marco formal es que efectúa una clara diferenciación entre el análisis del flujo de control del programa y el análisis de los datos que se manejan. El flujo de control del programa se analiza utilizando reglas de prueba y técnicas de verificación deductivas especialmente diseñadas para lidiar con sistemas parametrizados. Comenzando a partir de un programa concurrente y la especificación de una propiedad temporal, nuestras técnicas deductivas son capaces de generar un conjunto finito de condiciones de verificación cuya validez implican la satisfacción de dicha especificación temporal por parte de cualquier sistema, sin importar el número de procesos que formen parte del sistema. Las condiciones de verificación generadas se corresponden con los datos manipulados. Estudiamos el diseño de procedimientos de decisión especializados capaces de lidiar con estas condiciones de verificación de manera completamente automática. Investigamos teorías decidibles capaces de describir propiedades de tipos de datos complejos que manipulan punteros, tales como implementaciones imperativas de pilas, colas, listas y skiplists. Para cada una de estas teorías presentamos un procedimiento de decisión y una implementación práctica construida sobre SMT solvers. Estos procedimientos de decisión son finalmente utilizados para verificar de manera automática las condiciones de verificación generadas por nuestras técnicas de verificación parametrizada. Para concluir, demostramos como utilizando nuestro marco formal es posible probar no solo propiedades de safety sino además de liveness en algunas versiones de protocolos de exclusión mutua y programas que manipulan estructuras de datos concurrentes. El enfoque que presentamos en este trabajo resulta ser muy general y puede ser aplicado para verificar un amplio rango de tipos de datos concurrentes similares. Abstract Concurrent data types are concurrent implementations of classical data abstractions, specifically designed to exploit the great deal of parallelism available in modern multiprocessor and multi-core architectures. The correct manipulation of concurrent data types is essential for the overall correctness of the software system built using them. A major difficulty in designing and verifying concurrent data types arises by the need to reason about any number of threads invoking the data type simultaneously, which requires considering parametrized systems. In this work we study the formal verification of temporal properties of parametrized concurrent systems, with a special focus on programs that manipulate concurrent data structures. The main difficulty to reason about concurrent parametrized systems comes from the combination of their inherently high concurrency and the manipulation of dynamic memory. This parametrized verification problem is very challenging, because it requires to reason about complex concurrent data structures being accessed and modified by threads which simultaneously manipulate the heap using unstructured synchronization methods. In this work, we present a formal framework based on deductive methods which is capable of dealing with the verification of safety and liveness properties of concurrent parametrized systems that manipulate complex data structures. Our framework includes special proof rules and techniques adapted for parametrized systems which work in collaboration with specialized decision procedures for complex data structures. A novel aspect of our framework is that it cleanly differentiates the analysis of the program control flow from the analysis of the data being manipulated. The program control flow is analyzed using deductive proof rules and verification techniques specifically designed for coping with parametrized systems. Starting from a concurrent program and a temporal specification, our techniques generate a finite collection of verification conditions whose validity entails the satisfaction of the temporal specification by any client system, in spite of the number of threads. The verification conditions correspond to the data manipulation. We study the design of specialized decision procedures to deal with these verification conditions fully automatically. We investigate decidable theories capable of describing rich properties of complex pointer based data types such as stacks, queues, lists and skiplists. For each of these theories we present a decision procedure, and its practical implementation on top of existing SMT solvers. These decision procedures are ultimately used for automatically verifying the verification conditions generated by our specialized parametrized verification techniques. Finally, we show how using our framework it is possible to prove not only safety but also liveness properties of concurrent versions of some mutual exclusion protocols and programs that manipulate concurrent data structures. The approach we present in this work is very general, and can be applied to verify a wide range of similar concurrent data types.

Static and dynamic lengths of neutrophil microvilli

Containing most of the L-selectin and P-selectin glycoprotein ligand-1 (PSGL-1) on their tips, microvilli are believed to promote the initial arrest of neutrophils on endothelium. At the rolling stage following arrest, the lifetimes of the involved molecular bonds depend on the pulling force imposed by the shear stress of blood flow. With two different methods, electron microscopy and micropipette manipulation, we have obtained two comparable neutrophil microvillus lengths, both ≈0.3 μm in average. We have found also that, under a pulling force, a microvillus can be extended (microvillus extension) or a long thin membrane cylinder (a tether) can be formed from it (tether formation). If the force is ≤34 pN (± 3 pN), the length of the microvillus will be extended; if the force is >61 pN (± 5 pN), a tether will be formed from the microvillus at a constant velocity, which depends linearly on the force. When the force is between 34 pN and 61 pN (transition zone), the degree of association between membrane and cytoskeleton in individual microvilli will dictate whether microvillus extension or tether formation occurs. When a microvillus is extended, it acts like a spring with a spring constant of ≈43 pN/μm. In contrast to a rigid or nonextendible microvillus, both microvillus extension and tether formation can decrease the pulling force imposed on the adhesive bonds, and thus prolonging the persistence of the bonds at high physiological shear stresses.

Functional neuroanatomical double dissociation of mnemonic and executive control processes contributing to working memory performance

We used event-related functional MRI to investigate the neural bases of two categories of mental processes believed to contribute to performance of an alphabetization working memory task: memory storage and memory manipulation. Our delayed-response tasks required memory for the identity and position-in-the-display of items in two- or five-letter memory sets (to identify load-sensitive regions) or memory for the identity and relative position-in-the-alphabet of items in five-letter memory sets (to identify manipulation-sensitive regions). Results revealed voxels in the left perisylvian cortex of five of five subjects showing load sensitivity (as contrasted with alphabetization-sensitive voxels in this region in only one subject) and voxels of dorsolateral prefrontal cortex in all subjects showing alphabetization sensitivity (as contrasted with load-sensitive voxels in this region in two subjects). This double dissociation was reliable at the group level. These data are consistent with the hypothesis that the nonmnemonic executive control processes that can contribute to working memory function are primarily prefrontal cortex-mediated whereas mnemonic processes necessary for working memory storage are primarily posteriorly mediated. More broadly, they support the view that working memory is a faculty that arises from the coordinated interaction of computationally and neuroanatomically dissociable processes.

Altering the biochemical state of individual cultured cells and organelles with ultramicroelectrodes

We describe an efficient technique for the selective chemical and biological manipulation of the contents of individual cells. This technique is based on the electric-field-induced permeabilization (electroporation) in biological membranes using a low-voltage pulse generator and microelectrodes. A spatially highly focused electric field allows introduction of polar cell-impermeant solutes such as fluorescent dyes, fluorogenic reagents, and DNA into single cells. The high spatial resolution of the technique allows for design of, for example, cellular network constructions in which cells in close contact with each other can be made to possess different biochemical, biophysical, and morphological properties. Fluorescein, and fluo-3 (a calcium-sensitive fluorophore), are electroporated into the soma of cultured single progenitor cells derived from adult rat hippocampus. Fluo-3 also is introduced into individual submicrometer diameter processes of thapsigargin-treated progenitor cells, and a plasmid vector cDNA construct (pRAY 1), expressing the green fluorescent protein, is electroporated into cultured single COS 7 cells. At high electric field strengths, observations of dye-transfer into organelles are proposed.

Metabolic engineering of essential oil yield and composition in mint by altering expression of deoxyxylulose phosphate reductoisomerase and menthofuran synthase

Peppermint (Mentha × piperita L.) was independently transformed with a homologous sense version of the 1-deoxy-d-xylulose-5-phosphate reductoisomerase cDNA and with a homologous antisense version of the menthofuran synthase cDNA, both driven by the CaMV 35S promoter. Two groups of transgenic plants were regenerated in the reductoisomerase experiments, one of which remained normal in appearance and development; another was deficient in chlorophyll production and grew slowly. Transgenic plants of normal appearance and growth habit expressed the reductoisomerase transgene strongly and constitutively, as determined by RNA blot analysis and direct enzyme assay, and these plants accumulated substantially more essential oil (about 50% yield increase) without change in monoterpene composition compared with wild-type. Chlorophyll-deficient plants did not afford detectable reductoisomerase mRNA or enzyme activity and yielded less essential oil than did wild-type plants, indicating cosuppression of the reductoisomerase gene. Plants transformed with the antisense version of the menthofuran synthase cDNA were normal in appearance but produced less than half of this undesirable monoterpene oil component than did wild-type mint grown under unstressed or stressed conditions. These experiments demonstrate that essential oil quantity and quality can be regulated by metabolic engineering. Thus, alteration of the committed step of the mevalonate-independent pathway for supply of terpenoid precursors improves flux through the pathway that leads to increased monoterpene production, and antisense manipulation of a selected downstream monoterpene biosynthetic step leads to improved oil composition.

BigLaw Identity Capital: Pink and Blue, Black and White

This Article advances a new capital framework for understanding the bargain between large law firms and their lawyers, depicting BigLaw relationships not as basic labor-salary exchanges but rather as complex transactions in which large law firms and their lawyers exchange labor and various forms of capital — social, cultural, and identity. First, it builds on the work of Pierre Bourdieu regarding economic, cultural, symbolic, and social capital by examining the concepts of positive and negative capital, exploring the meaning of capital ownership by entities, and developing the notion of identity capital — the value individuals and institutions derive from their identities. Then, the Article advances a capital theory of BigLaw, in which large law firms and their lawyers engage in complex transactions trading labor, social, cultural, and identity capital for economic, social, cultural, and identity capital. Capital analysis sheds new light on the well-documented and troubling underrepresentation of diverse lawyers at BigLaw. It shows that the underrepresentation of women and minority lawyers is not solely the result of exogenous forces outside the control of large law firms such as implicit bias, but rather the outcome of the very exchanges in which BigLaw and its lawyers engage. Specifically, large law firms take into account the capital endowments of their lawyers in making hiring, retention and promotion decisions, and derive value from their lawyers’ capital, for example, by trading on the identity of women and minority lawyers in marketing themselves as being diverse and inclusive to clients and potential recruits. Yet, while BigLaw trades for the identity capital of women and minority lawyers, it fails to offer them opportunities in return to acquire the social and cultural capital necessary for attaining positions of power, resulting in underrepresentation. Moreover, these labor-capital exchanges are often implicit and made by uninformed participants, and therefore unjust. Exactly because the capital framework describes the underrepresentation of diverse lawyers at BigLaw as an endogenous outcome within the control of BigLaw and its lawyers, however, it is a cautiously optimistic model that offers hope for greater representation of diverse lawyers in positions of power and influence. The Article suggests policies and procedures BigLaw can and should adopt to improve the quality of the exchanges it offers to women and minority attorneys and to reduce the underrepresentation of diverse lawyers within its ranks. Employing the concepts of capital transparency, capital boundary, and capital infrastructure, it demonstrates how BigLaw can (1) explicitly recognize the roles social, cultural, and identity capital play in its hiring, retention and promotion apparatuses and (2) revise its policies and procedures to ensure that all of its lawyers have equal opportunities to develop the requisite capital and compete on equal and fair terms for positions of power and influence.

A Fair Day's Wages: Liberty, Legality, and Liability Among Denver's Day Laborers

Day laborers occupy an essential position in Denver’s booming construction industry. Day laborers make up a highly flexible, highly effective workforce able to respond to market changes. For day laborers, informal day-labor gathering points provide increased control over working hours and employee-employer relationships when compared to traditional wage labor. Still, recent legislation and policies around irregular migration has forced large numbers of workers who may have benefited from the stability of full-time regular employment into the informal sector. The day laborers’ flexibility also exposes them to employers constantly inventing ways to deny them the wages and benefits they are owed. Despite changes in Colorado law in attempts to strengthen workers’ recourse against their employers, and despite social and individual tactics day laborers employ to mitigate their vulnerability, systematic structural, symbolic, and everyday violence continue to advantage employers.