Forced retroevolution of an RNA bacteriophage

The operator hairpin ahead of the replicase gene in RNA bacteriophage MS2 contains overlapping signals for binding the coat protein and ribosomes. Coat protein binding inhibits further translation of the gene and forms the first step in capsid formation. The hairpin sequence was partially randomized to assess the importance of this structure element for the bacteriophage and to monitor alternative solutions that would evolve on the passaging of mutant phages. The evolutionary reconstruction of the operator failed in the majority of mutants. Instead, a poor imitation developed containing only some of the recognition signals for the coat protein. Three mutants were of particular interest in that they contained double nonsense codons in the lysis reading frame that runs through the operator hairpin. The simultaneous reversion of two stop codons into sense codons has a very low probability of occurring. Therefore the phage solved the problem by deleting the nonsense signals and, in fact, the complete operator, except for the initiation codon of the replicase gene. Several revertants were isolated with activities ranging from 1% to 20% of wild type. The operator, long thought to be a critical regulator, now appears to be a dispensable element. In addition, the results indicate how RNA viruses can be forced to step back to an attenuated form.

FRAMEWORK SYNTHESIS FOR SYMBOLIC EXECUTION OF EVENT-DRIVEN FRAMEWORKS

Symbolic execution is a powerful program analysis technique, but it is very challenging to apply to programs built using event-driven frameworks, such as Android. The main reason is that the framework code itself is too complex to symbolically execute. The standard solution is to manually create a framework model that is simpler and more amenable to symbolic execution. However, developing and maintaining such a model by hand is difficult and error-prone. We claim that we can leverage program synthesis to introduce a high-degree of automation to the process of framework modeling. To support this thesis, we present three pieces of work. First, we introduced SymDroid, a symbolic executor for Android. While Android apps are written in Java, they are compiled to Dalvik bytecode format. Instead of analyzing an app’s Java source, which may not be available, or decompiling from Dalvik back to Java, which requires significant engineering effort and introduces yet another source of potential bugs in an analysis, SymDroid works directly on Dalvik bytecode. Second, we introduced Pasket, a new system that takes a first step toward automatically generating Java framework models to support symbolic execution. Pasket takes as input the framework API and tutorial programs that exercise the framework. From these artifacts and Pasket's internal knowledge of design patterns, Pasket synthesizes an executable framework model by instantiating design patterns, such that the behavior of a synthesized model on the tutorial programs matches that of the original framework. Lastly, in order to scale program synthesis to framework models, we devised adaptive concretization, a novel program synthesis algorithm that combines the best of the two major synthesis strategies: symbolic search, i.e., using SAT or SMT solvers, and explicit search, e.g., stochastic enumeration of possible solutions. Adaptive concretization parallelizes multiple sub-synthesis problems by partially concretizing highly influential unknowns in the original synthesis problem. Thanks to adaptive concretization, Pasket can generate a large-scale model, e.g., thousands lines of code. In addition, we have used an Android model synthesized by Pasket and found that the model is sufficient to allow SymDroid to execute a range of apps.

The future obligations of "project manager" as construction integral director (DIPE) in the law of buildings construction in spain (LOE)

In the year 1999 approves the Law of Construction Building (LOE, in Spanish) to regulate a sector such as construction, which contained some shortcomings from the legal point of view. Currently, the LOE has been in force 12 years, changing the spanish world of the construction, due to influenced by internationalization. Within the LOE, there regulating the different actors involved in the construction building, as the Projects design, the Director of Construction, the developer, The builder, Director of execution of the construction (actor only in Spain, similar as construcion engineer and abroad in), control entities and the users, but lacks figure Project manager will assume the delegation of the promoter helping and you organize, direct and management the process. This figure assumes that the market and contracts are not legally regulated in Spain, then should define and establish its regulation in the LOE. (Spain Construction Law) The translation in spanish of the words "Project Manager is owed to Professor Rafael de Heredia in his book Integrated Project Management, as agent acting on behalf of the organization and promoter assuming control of the project, ie Integraded Project Management . Already exist in Spain, AEDIP (Spanish Association Integrated of Project Construction management) which comprises the major companies in “Project Management” in Spain, and MeDIP (Master in Integrated Construction Project) the largest and most advanced studies at the Polytechnic University of Madrid, in "Construction Project Management" they teach which is also in Argentina. The Integrated Project ("Project Management") applied to the construction process is a methodological technique that helps to organize, control and manage the resources of the promoters in the building process. When resources are limited (which is usually most situations) to manage them efficiently becomes very important. Well, we find that in this situation, the resources are not only limited, but it is limited, so a comprehensive control and monitoring of them becomes not only important if not crucial. The alternative of starting from scratch with a team that specializes in developing these follow directly intervening to ensure that scarce resources are used in the best possible way requires the use of a specific methodology (Manual DIP, Matrix Foreign EDR breakdown structure EDP Project, Risk Management and Control, Design Management, et ..), that is the methodology used by "Projects managers" to ensure that the initial objectives of the promoters or investors are met and all actors in process, from design to construction company have the mind aim of the project will do, trying to get their interests do not prevail over the interests of the project. Among the agents listed in the building process, "Project Management" or DIPE (Director Comprehensive building process, a proposed name for possible incorporation into the LOE, ) currently not listed as such in the LOE (Act on Construction Planning ), one of the agents that exist within the building process is not regulated from the legal point of view, no obligations, ie, as is required by law to have a project, a builder, a construction management, etc. DIPE only one who wants to hire you as have been advanced knowledge of their services by the clients they have been hiring these agents, there being no legal obligation as mentioned above, then the market is dictating its ruling on this new figure, as if it were necessary, he was not hired and eventually disappeared from the building process. As the aim of this article is regular the process and implement the name of DIPE in the Spanish Law of buildings construction (LOE)

Enduring powers of attorney : promoting attorneys' accountability as substitute decision makers

Aim The misuse and abuse of Enduring Powers of Attorney (EPAs) by attorneys, particularly in relation to financial decision-making, is a growing concern. This paper explores the opportunities to enhance accountability of attorneys at the time of the execution of the document in Queensland. Method A four stage multi-method design comprised a critical reference group; semi-structured interviews with 32 principals or potential principals, attorneys and witnesses; two focus groups with service providers and a state wide survey of 76 principals, attorneys and witnesses. Results Across all methods and user groups, understanding the role and obligations of the attorney in an EPA was consistently identified as problematic. Conclusions Promoting accountability and understanding can be addressed by greater attention to the role of the attorney in the forms/ guidelines and in the structure and witnessing of the forms, increased direction about record keeping and access to appropriate advice and support.

Automatic Compilation of MATLAB Programs for Synergistic Execution on Heterogeneous Processors

MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typical MATLAB programs have abundant data parallelism. These programs also have control flow dominated scalar regions that have an impact on the program's execution time. Today's computer systems have tremendous computing power in the form of traditional CPU cores and throughput oriented accelerators such as graphics processing units(GPUs). Thus, an approach that maps the control flow dominated regions to the CPU and the data parallel regions to the GPU can significantly improve program performance. In this paper, we present the design and implementation of MEGHA, a compiler that automatically compiles MATLAB programs to enable synergistic execution on heterogeneous processors. Our solution is fully automated and does not require programmer input for identifying data parallel regions. We propose a set of compiler optimizations tailored for MATLAB. Our compiler identifies data parallel regions of the program and composes them into kernels. The problem of combining statements into kernels is formulated as a constrained graph clustering problem. Heuristics are presented to map identified kernels to either the CPU or GPU so that kernel execution on the CPU and the GPU happens synergistically and the amount of data transfer needed is minimized. In order to ensure required data movement for dependencies across basic blocks, we propose a data flow analysis and edge splitting strategy. Thus our compiler automatically handles composition of kernels, mapping of kernels to CPU and GPU, scheduling and insertion of required data transfer. The proposed compiler was implemented and experimental evaluation using a set of MATLAB benchmarks shows that our approach achieves a geometric mean speedup of 19.8X for data parallel benchmarks over native execution of MATLAB.

Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors

MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typical MATLAB programs have abundant data parallelism. These programs also have control flow dominated scalar regions that have an impact on the program's execution time. Today's computer systems have tremendous computing power in the form of traditional CPU cores and throughput oriented accelerators such as graphics processing units(GPUs). Thus, an approach that maps the control flow dominated regions to the CPU and the data parallel regions to the GPU can significantly improve program performance. In this paper, we present the design and implementation of MEGHA, a compiler that automatically compiles MATLAB programs to enable synergistic execution on heterogeneous processors. Our solution is fully automated and does not require programmer input for identifying data parallel regions. We propose a set of compiler optimizations tailored for MATLAB. Our compiler identifies data parallel regions of the program and composes them into kernels. The problem of combining statements into kernels is formulated as a constrained graph clustering problem. Heuristics are presented to map identified kernels to either the CPU or GPU so that kernel execution on the CPU and the GPU happens synergistically and the amount of data transfer needed is minimized. In order to ensure required data movement for dependencies across basic blocks, we propose a data flow analysis and edge splitting strategy. Thus our compiler automatically handles composition of kernels, mapping of kernels to CPU and GPU, scheduling and insertion of required data transfer. The proposed compiler was implemented and experimental evaluation using a set of MATLAB benchmarks shows that our approach achieves a geometric mean speedup of 19.8X for data parallel benchmarks over native execution of MATLAB.

Illicit Cycle of Narcotics from a Human Rights Perspective

The purpose of this article is to analyse the illicit cycle of narcotics within a human rights framework. It begins by illustrating the benefits of adopting a human rights framework, such as its ability to promote victim-centred and holistic approaches. The article then identifies key human rights issues such as poverty, forced labour, law enforcement practices and addiction to narcotics. It continues with an analysis of the nature and the extent of obligations imposed upon States. This article focuses on three categories of human rights obligations to address: 1) the supply of narcotics; 2) narcotics trafficking; and 3) the demand for narcotics. The main conclusion reached is that a human rights framework can strengthen the global action against the illicit cycle of narcotics.

The Obligations of Transnational Corporations in the Global Context

Dans cet article nous défendrons l'idée que la notion courante d'obligation s'avère inadéquate pour régler des problèmes globaux. Nous ferions mieux de reconnaitre des acteurs collectifs, spécialement des multinationales, comme des agents importants dans le domaine des droits de l'homme puisqu'ils sont beaucoup mieux préparés pour traiter des problèmes complexes que les individus. Deuxièmement, cet article défends l'idée que ceci n'est pas particulièrement idealiste, car elle prend sa source dans des phénomènes politiques actuels. Le droit international et les arrangements extra-juridiques peuvent être interprétés comme un cadre institutionnel suscitant une contrainte de justification. Néanmoins, toutes les initiatives d'auto-régulation privée ne sont pas souhaitables ou légitimes.

Models agree on forced response pattern of precipitation and temperature extremes

Model projections of heavy precipitation and temperature extremes include large uncertainties. We demonstrate that the disagreement between individual simulations primarily arises from internal variability, whereas models agree remarkably well on the forced signal, the change in the absence of internal variability. Agreement is high on the spatial pattern of the forced heavy precipitation response showing an intensification over most land regions, in particular Eurasia and North America. The forced response of heavy precipitation is even more robust than that of annual mean precipitation. Likewise, models agree on the forced response pattern of hot extremes showing the greatest intensification over midlatitudinal land regions. Thus, confidence in the forced changes of temperature and precipitation extremes in response to a certain warming is high. Although in reality internal variability will be superimposed on that pattern, it is the forced response that determines the changes in temperature and precipitation extremes in a risk perspective.

Dissociation of circadian and light inhibition of melatonin release through forced desynchronization in the rat

Pineal melatonin release exhibits a circadian rhythm with a tight nocturnal pattern. Melatonin synthesis is regulated by the master circadian clock within the hypothalamic suprachiasmatic nucleus (SCN) and is also directly inhibited by light. The SCN is necessary for both circadian regulation and light inhibition of melatonin synthesis and thus it has been difficult to isolate these two regulatory limbs to define the output pathways by which the SCN conveys circadian and light phase information to the pineal. A 22-h light-dark (LD) cycle forced desynchrony protocol leads to the stable dissociation of rhythmic clock gene expression within the ventrolateral SCN (vlSCN) and the dorsomedial SCN (dmSCN). In the present study, we have used this protocol to assess the pattern of melatonin release under forced desynchronization of these SCN subregions. In light of our reported patterns of clock gene expression in the forced desynchronized rat, we propose that the vlSCN oscillator entrains to the 22-h LD cycle whereas the dmSCN shows relative coordination to the light-entrained vlSCN, and that this dual-oscillator configuration accounts for the pattern of melatonin release. We present a simple mathematical model in which the relative coordination of a single oscillator within the dmSCN to a single light-entrained oscillator within the vlSCN faithfully portrays the circadian phase, duration and amplitude of melatonin release under forced desynchronization. Our results underscore the importance of the SCN`s subregional organization to both photic input processing and rhythmic output control.

Formation of colloidal particles of hydrous iron oxide by forced hydrolysis

The mechanism of formation and growth of hydrous iron oxide (FeOOH) during the initial stages of forced hydrolyses of ferric chloride aqueous solution was studied by small angle X-ray scattering (SAXS). The effect of the hydrolysis temperature (60°C, 70°C and 80°C) and of the addition of urea on the formation of colloidal particles under isothermal conditions were investigated. Based on the experimental scattering functions in the Guinier range, we suggest the presence of elongated colloidal particles. The particle diameter and length, and their variation with time, were determined by fitting the form factor of prolate ellipsoids to the experimental scattering functions. We have assumed that our solutions are in a dilute state and that all colloidal particles are approximately of the same size. The colloidal particles have geometrical shapes similar to those of the subcrystals that build up the superstructure of β-FeOOH crystals, indicating that the formation of this hydrous iron oxide is governed by an aggregation process. Otherwise, the addition of urea hinders the growth and yields smaller particles, with a reduction in size greater than 50%. © 2000 Elsevier Science B.V. All rights reserved.

The role of the human posterior parietal cortex in memory-guided saccade execution: a double-pulse transcranial magnetic stimulation study

The present study investigated the role of the right posterior parietal cortex (PPC) in the triggering of memory-guided saccades by means of double-pulse transcranial magnetic stimulation (dTMS). Shortly before saccade onset, dTMS with different interstimulus intervals (ISI; 35, 50, 65 or 80 ms) was applied. For contralateral saccades, dTMS significantly decreased saccadic latency with an ISI of 80 ms and increased saccadic gain with an ISI of 65 and 80 ms. Together with the findings of a previous study during frontal eye field (FEF) stimulation the present results demonstrate similarities and differences between both regions in the execution of memory-guided saccades. Firstly, dTMS facilitates saccade triggering in both regions, but the timing is different. Secondly, dTMS over the PPC provokes a hypermetria of contralateral memory-guided saccades that was not observed during FEF stimulation. The results are discussed within the context of recent neurophysiological findings in monkeys.

An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel.

The term "Logic Programming" refers to a variety of computer languages and execution models which are based on the traditional concept of Symbolic Logic. The expressive power of these languages offers promise to be of great assistance in facing the programming challenges of present and future symbolic processing applications in Artificial Intelligence, Knowledge-based systems, and many other areas of computing. The sequential execution speed of logic programs has been greatly improved since the advent of the first interpreters. However, higher inference speeds are still required in order to meet the demands of applications such as those contemplated for next generation computer systems. The execution of logic programs in parallel is currently considered a promising strategy for attaining such inference speeds. Logic Programming in turn appears as a suitable programming paradigm for parallel architectures because of the many opportunities for parallel execution present in the implementation of logic programs. This dissertation presents an efficient parallel execution model for logic programs. The model is described from the source language level down to an "Abstract Machine" level suitable for direct implementation on existing parallel systems or for the design of special purpose parallel architectures. Few assumptions are made at the source language level and therefore the techniques developed and the general Abstract Machine design are applicable to a variety of logic (and also functional) languages. These techniques offer efficient solutions to several areas of parallel Logic Programming implementation previously considered problematic or a source of considerable overhead, such as the detection and handling of variable binding conflicts in AND-Parallelism, the specification of control and management of the execution tree, the treatment of distributed backtracking, and goal scheduling and memory management issues, etc. A parallel Abstract Machine design is offered, specifying data areas, operation, and a suitable instruction set. This design is based on extending to a parallel environment the techniques introduced by the Warren Abstract Machine, which have already made very fast and space efficient sequential systems a reality. Therefore, the model herein presented is capable of retaining sequential execution speed similar to that of high performance sequential systems, while extracting additional gains in speed by efficiently implementing parallel execution. These claims are supported by simulations of the Abstract Machine on sample programs.

Agency theory problems behind the fall of shopping centers

The present article assesses agency theory related problems contributing to the fall of shopping centers. The negative effects of the financial and economic downturn started in 2008 were accentuated in emerging markets like Romania. Several shopping centers were closed or sold through bankruptcy proceedings or forced execution. These failed shopping centers, 10 in number, were selected in order to assess agency theory problems contributing to the failure of shopping centers; as research method qualitative multiple cases-studies is used. Results suggest, that in all of the cases the risk adverse behavior of the External Investor- Principal, lead to risk sharing problems and subsequently to the fall of the shopping centers. In some of the cases Moral Hazard (lack of Developer-Agent’s know-how and experience) as well as Adverse Selection problems could be identified. The novelty of the topic for the shopping center industry and the empirical evidences confer a significant academic and practical value to the present article.

Legal consideration on Convention for the Prevention of Dumping of Wastes and Other Matter (at sea) and assessment of its implementation in Iran (The London [dumping] Convention)

Making use of sea, as a place for dumping of wastes and other materials from human activities wasn’t forbidden before creation of the convention on the prevention of marine pollution by dumping of wastes and other matters (London Convention). Therefore, industrial countries, without any specific consideration, were dumping their wastes into the world’s seas. Many years and before the beginning of rapid development of industry, the great self- purification of seas were preventing some of discharging problems. But gradually, the increase of industrial development activities, exceeded the production of wastes and other matters, and this led to the misuse of world’s seas and oceans as a dump site. One of the most important consequences of 1972 Stockholm World Conference was to focusing world attention on threats have jeopardized marine environment balance. World countries` leaders committed in Stockholm to begin protecting the environment. Finally, this movement at marine environment section led to the creation of London Convention in the same year. London Convention was concluded for cooperating between countries at December 29, 1972 to promote effective control of all marine environment polluting resources and to prevent marine pollution by dumping wastes and other matters. Then it was opened for signature to other countries. At last, after 15 states signature, this convention was entered in to force at August 30.1975. Ratification and execution of London Convention resulted in coordinated performance of countries in marine waste management. Common actions with supports and cooperation of different international, regional, governmental and non-governmental organizations and agencies prevent marine pollution by dumping of wastes and other matters. Due to the importance of wastes in our marine and coastal areas, investigation of the performance of London Convention can identify the lack of regulations and lack of regulation supports about marine pollution prevention by dumping of wastes and other matters in Iran. Considering this issue, proper protection of seas will be achieved. London Convention has been studied here to achieve intended purposes. In first chapter, generalities about marine environment, including the importance and necessity of marine environment protection, with the focus on some internal and international resources of environmental law accompanying with marine pollution and its recourses, and finally, due to the study theme, dumping of wastes and other matters at seas with its impacts have been investigated .In the section of international measures, a brief history of marine pollution and marine environment international law with international law framework, exclusively for controlling of wastes and other material discharge at seas and oceans has been reviewed. In second chapter, obligations, amendments, and annexes of London Convention have been investigated and classified. The obligations have been categorized in to legal obligations and technical and organizational obligations. In former section, subject ,purpose, territory, exceptions, rights and duties of parties, convention amendments,… and in latter, special requirements for wastes assessment, determination of pollutants` permissible limit, site selection and type of discharge selection, design principles for marine environment quality monitoring program, and discharge license issuance mechanism have been studied. In third chapter, due to the examination of convention performance in Iran, the internal law system for marine environment conservation and its pollution has been mentioned in detail. Considering this, two issues have been compared .firstly, convention obligations with regional treaties that Iran as a party to them and secondly, Iranian internal law there of .Finally, common and different aspects of these issues have been determined. At last, recommendations and strategies for convention enforcement and conformity of its obligations with internal regulations have been presented. Furthermore, translation of convention English text has been reviewed and its protocol has been translated.