On-the-Fly Maintenance of Series-Parallel Relationships in Fork-Join Multithreaded Programs

A key capability of data-race detectors is to determine whether one thread executes logically in parallel with another or whether the threads must operate in series. This paper provides two algorithms, one serial and one parallel, to maintain series-parallel (SP) relationships "on the fly" for fork-join multithreaded programs. The serial SP-order algorithm runs in O(1) amortized time per operation. In contrast, the previously best algorithm requires a time per operation that is proportional to Tarjan’s functional inverse of Ackermann’s function. SP-order employs an order-maintenance data structure that allows us to implement a more efficient "English-Hebrew" labeling scheme than was used in earlier race detectors, which immediately yields an improved determinacy-race detector. In particular, any fork-join program running in T₁ time on a single processor can be checked on the fly for determinacy races in O(T₁) time. Corresponding improved bounds can also be obtained for more sophisticated data-race detectors, for example, those that use locks. By combining SP-order with Feng and Leiserson’s serial SP-bags algorithm, we obtain a parallel SP-maintenance algorithm, called SP-hybrid. Suppose that a fork-join program has n threads, T₁ work, and a critical-path length of T[subscript ∞]. When executed on P processors, we prove that SP-hybrid runs in O((T₁/P + PT[subscript ∞]) lg n) expected time. To understand this bound, consider that the original program obtains linear speed-up over a 1-processor execution when P = O(T₁/T[subscript ∞]). In contrast, SP-hybrid obtains linear speed-up when P = O(√T₁/T[subscript ∞]), but the work is increased by a factor of O(lg n).

Design and Development of 3-DOF Modular Micro Parallel Kinematic Manipulator

This paper presents the research and development of a 3-legged micro Parallel Kinematic Manipulator (PKM) for positioning in micro-machining and assembly operations. The structural characteristics associated with parallel manipulators are evaluated and the PKMs with translational and rotational movements are identified. Based on these identifications, a hybrid 3-UPU (Universal Joint-Prismatic Joint-Universal Joint) parallel manipulator is designed and fabricated. The principles of the operation and modeling of this micro PKM is largely similar to a normal size Stewart Platform (SP). A modular design methodology is introduced for the construction of this micro PKM. Calibration results of this hybrid 3-UPU PKM are discussed in this paper.

Optimal Methodology for Synchronized Scheduling of Parallel Station Assembly with Air Transportation

We present an optimal methodology for synchronized scheduling of production assembly with air transportation to achieve accurate delivery with minimized cost in consumer electronics supply chain (CESC). This problem was motivated by a major PC manufacturer in consumer electronics industry, where it is required to schedule the delivery requirements to meet the customer needs in different parts of South East Asia. The overall problem is decomposed into two sub-problems which consist of an air transportation allocation problem and an assembly scheduling problem. The air transportation allocation problem is formulated as a Linear Programming Problem with earliness tardiness penalties for job orders. For the assembly scheduling problem, it is basically required to sequence the job orders on the assembly stations to minimize their waiting times before they are shipped by flights to their destinations. Hence the second sub-problem is modelled as a scheduling problem with earliness penalties. The earliness penalties are assumed to be independent of the job orders.

Proposal of a parallel architecture for a motion detection algorithm

This paper proposes a parallel architecture for estimation of the motion of an underwater robot. It is well known that image processing requires a huge amount of computation, mainly at low-level processing where the algorithms are dealing with a great number of data. In a motion estimation algorithm, correspondences between two images have to be solved at the low level. In the underwater imaging, normalised correlation can be a solution in the presence of non-uniform illumination. Due to its regular processing scheme, parallel implementation of the correspondence problem can be an adequate approach to reduce the computation time. Taking into consideration the complexity of the normalised correlation criteria, a new approach using parallel organisation of every processor from the architecture is proposed

Functional Upregulation of Ca2+ -Activated K+ Channels in the Development of Substantia Nigra Dopamine Neurons

Many connections in the basal ganglia are made around birth when animals are exposed to a host of new affective, cognitive, and sensori-motor stimuli. It is thought that dopamine modulates cortico-striatal synapses that result in the strengthening of those connections that lead to desired outcomes. We propose that there must be a time before which stimuli cannot be processed into functional connections, otherwise it would imply an effective link between stimulus, response, and reward in uterus. Consistent with these ideas, we present evidence that early in development dopamine neurons are electrically immature and do not produce high-frequency firing in response to salient stimuli. We ask first, what makes dopamine neurons immature? and second, what are the implications of this immaturity for the basal ganglia? As an answer to the first question, we find that at birth the outward current is small (3nS-V), insensitive to Ca2+, TEA, BK, and SK blockers. Rapidly after birth, the outward current increases to 15nS-V and becomes sensitive to Ca2+, TEA, BK, and SK blockers. We make a detailed analysis of the kinetics of the components of the outward currents and produce a model for BK and SK channels that we use to reproduce the outward current, and to infer the geometrical arrangement of BK and Ca2+ channels in clusters. In the first cluster, T-type Ca2+ and BK channels are coupled within distances of similar to 20 nm (200 parallel to). The second cluster consists of L-type Ca2+ and BK channels that are spread over distances of at least 60 nm. As for the second question, we propose that early in development, the mechanism of action selection is in a "locked-in" state that would prevent dopamine neurons from reinforcing cortico-striatal synapses that do not have a functional experiential-based value.

The NAFTA investment dispute settlement mechanism and the admissibility of amicus curiae briefs by NGOs

--

Molecular mechanism involved in the mutagenicity induced by Aflatoxin B1

The aflatoxin B1 (AFB1) is a mycotoxin that has been identified as the most potent hepatocarcinogen. The metabolite resulting from detoxification process of AFB1 in liver, has the ability to react with the genomic DNA, generating AFB1-DNA adducts; during DNA replication process, this adduct induced the G:C→T:A transversion. Polymorphism in genes encoding for enzymes involved in the activation and detoxification of AFB1 and DNA repair enzymes has been associated with the risk of hepatocellular carcinoma (HCC) development. Additionally, in populations of high exposure to aflatoxin and high prevalence of hepatitis B virus (HBV) infection, has been demonstrated a synergism between these two risk factors for the development of HCC.

The parallel diplomacy and the International Relations of the regions

The inclusion of subnational entities in international politics, breaks with the exclusive privilege of handling external relations by the States. Regions and municipalities have developed international policies that strengthen local affairs in cultural, economic, politic, security and strategic cooperation aspects, through the so-called parallel diplomacy activities. The influence of regional institutions in global affairs is growing; however paradiplomacy practice is not institutionalized and received little attention in international relation studies.

Eficacia del diagnóstico prenatal no invasivo por células fetales libres en sangre materna 1990-2014. Revisión sistemática

ANTECEDENTES: El aislamiento de células fetales libres o ADN fetal en sangre materna abre una ventana de posibilidades diagnósticas no invasivas para patologías monogénicas y cromosómicas, además de permitir la identificación del sexo y del RH fetal. Actualmente existen múltiples estudios que evalúan la eficacia de estos métodos, mostrando resultados costo-efectivos y de menor riesgo que el estándar de oro. Este trabajo describe la evidencia encontrada acerca del diagnóstico prenatal no invasivo luego de realizar una revisión sistemática de la literatura. OBJETIVOS: El objetivo de este estudio fue reunir la evidencia que cumpla con los criterios de búsqueda, en el tema del diagnóstico fetal no invasivo por células fetales libres en sangre materna para determinar su utilidad diagnóstica.  MÉTODOS: Se realizó una revisión sistemática de la literatura con el fin de determinar si el diagnóstico prenatal no invasivo por células fetales libres en sangre materna es efectivo como método de diagnóstico.  RESULTADOS: Se encontraron 5,893 artículos que cumplían con los criterios de búsqueda; 67 cumplieron los criterios de inclusión: 49.3% (33/67) correspondieron a estudios de corte transversal, 38,8% (26/67) a estudios de cohortes y el 11.9% (8/67) a estudios casos y controles. Se obtuvieron resultados de sensibilidad, especificidad y tipo de prueba. CONCLUSIÓN: En la presente revisión sistemática, se evidencia como el diagnóstico prenatal no invasivo es una técnica feasible, reproducible y sensible para el diagnóstico fetal, evitando el riesgo de un diagnóstico invasivo.

Modelling official and parallel exchange rates in Colombia under alternative regimes: a non-linear approach

We examine the long-run relationship between the parallel and the official exchange rate in Colombia over two regimes; a crawling peg period and a more flexible crawling band one. The short-run adjustment process of the parallel rate is examined both in a linear and a nonlinear context. We find that the change from the crawling peg to the crawling band regime did not affect the long-run relationship between the official and parallel exchange rates, but altered the short-run dynamics. Non-linear adjustment seems appropriate for the first period, mainly due to strict foreign controls that cause distortions in the transition back to equilibrium once disequilibrium occurs

The use of insect cells to identify potent and selective inhibitors of the replication of the Dengue and Chikungunya viruses and unravel their molecular mechanism of action

Dengue and Chikungunya viruses cause the most important arthropod-borne viral infections for humans. These viruses are predominant in tropical and subtropical regions. In addition, these viruses are predominant in tropical and subtropical regions. Dengue mortality rate is around 1.2 to 3.5% and deaths due to chikungunya fever are around 1 in 1000; however, half of chikungunya-infected patients evolve into a chronic state that can persist for months up to years. There are no antiviral drugs available for DENV and CHIKV treatment and prevention. Moreover, vector control strategies have failed so far. Thus, the development of potent inhibitors for a broad spectrum of RNA viruses is urgently needed. We established and characterized a new embryonic insect cell line from Culex quinquefasciatus mosquito. Also we established the flaviviruses and alphavirus replication, both in C6/36 and Lulo insect cell lines, as well as in Vero cell line. In addition we carried out a reference compound library and reference panel of assays and data for DENV, which provides a benchmark for further studies. During this study, a panel of 9 antiviral molecules, with proven in vitro anti-dengue virus activity and that act at different stages of the DENV life cycle, was selected. Finally, Favipiravir or T-705, was identified as inhibitor in vitro and in vivo of alphaviruses and the mutation K291R in nsP4, which is responsible of the polymerase activity, was found as the mode of action in CHIKV. Interestingly, lysine in motif F1 is also highly conserved in positive-stranded RNA viruses and this might explain the broad spectrum of T-705 antiviral activity.

Self-deception as a mechanism for the maintenance of drug addiction

Resumen tomado de la publicaci??n