Enforcing precariousness: a comparative analysis of the limitations placed on the legal status of refugees

This thesis focuses on the manner in which the EU, the UK, and Canada respond to and engage with the refugee’s movement from a temporary to a more permanent legal status in the state. It is noted that this transition is increasingly problematized. A trend is noted in response to this among the jurisdictions examined, to exceptionalise refugee status through acts of legal categorisation and separation. These categorisations represent an attempt to re-assert control over refugees who arrived to the state in a spontaneous manner. I argue that this categorisation and fragmentation of refugee status is another means of managing life in the state and ultimately excluding refugees within the state. Refugees therefore experience a contradictory response to their presence. While they are continually reminded of the temporary nature of their legal status in the state, they are still required to demonstrate a willingness to integrate in to the host society. Their behaviour in the state is something that is once again recalled by the decision makers who determine whether they should ultimately be able to access citizenship status. In this thesis, I argue that in order to navigate a route to citizenship, the refugee must respond to the constant re-framing and re-contextualisation of her status in the state of asylum. As the thesis observes, this raises broader questions about the nature of citizenship and belonging

The Role of mRNA Translation in the Regulation of Ribosome Trafficking to the Endoplasmic Reticulum

The goal of this research is to identify the trafficking patterns that direct ribosomes to the endoplasmic reticulum (ER). It is widely believed that the SRP pathway is the only mechanism that cells use to localize mRNA and ribosomes to the ER, but this has been found not to be a sufficient explanation for the patterns of RNA localization in cells, namely that non-signal sequence-containing mRNA are translated on the ER and that ribosomes retain their membrane association after translation termination. First, a summary of the history of the field is presented to provide context for the key, unanswered questions in the field. Then, experiments employing [32Pi] pulse-chase labeling of HeLa cells over a time course to follow nascent ribosome trafficking are presented. The purpose of the cell labeling was to track rRNA processing and assembly into nascent ribosomes, followed by their export into the cytoplasm and recruitment into active polysomes. A detergent-based cell fractionation procedure was also utilized to separate the cytosol and ER compartments in order to observe ribosomes on their path as they exit the nucleus and either localize to the ER or cytosolic cellular compartment. Through this method, it was seen that ribosomes appear in both compartments at the same time, suggesting a mechanism may be occurring in addition to SRP-dependent ribosome trafficking. This research provides an understanding toward a mechanism that is not currently known, but will one day more fully explain the patterns of ribosomal localization.

The DLK-1 kinase promotes mRNA stability and local translation in C. elegans synapses and axon regeneration.

Growth cone guidance and synaptic plasticity involve dynamic local changes in proteins at axons and dendrites. The Dual-Leucine zipper Kinase MAPKKK (DLK) has been previously implicated in synaptogenesis and axon outgrowth in C. elegans and other animals. Here we show that in C. elegans DLK-1 regulates not only proper synapse formation and axon morphology but also axon regeneration by influencing mRNA stability. DLK-1 kinase signals via a MAPKAP kinase, MAK-2, to stabilize the mRNA encoding CEBP-1, a bZip protein related to CCAAT/enhancer-binding proteins, via its 3'UTR. Inappropriate upregulation of cebp-1 in adult neurons disrupts synapses and axon morphology. CEBP-1 and the DLK-1 pathway are essential for axon regeneration after laser axotomy in adult neurons, and axotomy induces translation of CEBP-1 in axons. Our findings identify the DLK-1 pathway as a regulator of mRNA stability in synapse formation and maintenance and also in adult axon regeneration.

Safety-critical medical device development using the UPP2SF model translation tool

Software-based control of life-critical embedded systems has become increasingly complex, and to a large extent has come to determine the safety of the human being. For example, implantable cardiac pacemakers have over 80,000 lines of code which are responsible for maintaining the heart within safe operating limits. As firmware-related recalls accounted for over 41% of the 600,000 devices recalled in the last decade, there is a need for rigorous model-driven design tools to generate verified code from verified software models. To this effect, we have developed the UPP2SF model-translation tool, which facilitates automatic conversion of verified models (in UPPAAL) to models that may be simulated and tested (in Simulink/Stateflow). We describe the translation rules that ensure correct model conversion, applicable to a large class of models. We demonstrate how UPP2SF is used in themodel-driven design of a pacemaker whosemodel is (a) designed and verified in UPPAAL (using timed automata), (b) automatically translated to Stateflow for simulation-based testing, and then (c) automatically generated into modular code for hardware-level integration testing of timing-related errors. In addition, we show how UPP2SF may be used for worst-case execution time estimation early in the design stage. Using UPP2SF, we demonstrate the value of integrated end-to-end modeling, verification, code-generation and testing process for complex software-controlled embedded systems. © 2014 ACM.

Legal Responsibilities When Hiring Migrant, Seasonal and H2-A Visa Workers

When farmers need to harvest a large amount of crops in a short period of time, migrant, seasonal, and H-2A Visa workers can often be the best solution to complete the job quickly and affordably. However, there are specific Federal and state legal duties and responsibilities for farmers who employ these types of workers and substantial criminal and civil penalties for failing to adhere to the law.

On legal systems

SCOPUS: ar.j

Expectativas de crecimiento sustentable de la producción agrícola de la Argentina y marco legal para lograrlo

p.205-212

Representing temporal knowledge in legal discourse

This paper presents a formalism for representing temporal knowledge in legal discourse that allows an explicit expression of time and event occurrences. The fundamental time structure is characterized as a well‐ordered discrete set of primitive times, i.e. non‐decomposable intervals with positive duration or points with zero duration), from which decomposable intervals can be constructed. The formalism supports a full representation of both absolute and relative temporal knowledge, and a formal mechanism for checking the temporal consistency of a given set of legal statements is provided. The general consistency checking algorithm which addresses both absolute and relative temporal knowledge turns out to be a linear programming problem, while in the special case where only relative temporal relations are involved, it becomes a simple question of searching for cycles in the graphical representation of the corresponding legal text.

The Jama legal narrative. Part II: A foray into concepts of improbability

In judicial decision making, the doctrine of chances takes explicitly into account the odds. There is more to forensic statistics, as well as various probabilistic approaches which taken together form the object of an enduring controversy in the scholarship of legal evidence. In this paper, we reconsider the circumstances of the Jama murder and inquiry (dealt with in Part I of this paper: "The Jama Model. On Legal Narratives and Interpretation Patterns"), to illustrate yet another kind of probability or improbability. What is improbable about the Jama story, is actually a given, which contributes in terms of dramatic underlining. In literary theory, concepts of narratives being probable or improbable date back from the eighteenth century, when both prescientific and scientific probability was infiltrating several domains, including law. An understanding of such a backdrop throughout the history of ideas is, I claim, necessary for AI researchers who may be tempted to apply statistical methods to legal evidence. The debate for or against probability (and especially bayesian probability) in accounts of evidence has been flouishing among legal scholars. Nowadays both the the Bayesians (e.g. Peter Tillers) and Bayesioskeptics (e.g. Ron Allen) among those legal scholars whoare involved in the controversy are willing to give AI researchers a chance to prove itself and strive towards models of plausibility that would go beyond probability as narrowly meant. This debate within law, in turn, has illustrious precedents: take Voltaire, he was critical of the application or probability even to litigation in civil cases; take Boole, he was a starry-eyed believer in probability applications to judicial decision making (Rosoni 1995). Not unlike Boole, the founding father of computing, nowadays computer scientists approaching the field may happen to do so without full awareness of the pitfalls. Hence, the usefulness of the conceptual landscape I sketch here.

Kappa calculus and evidential strength: A note on Åqvist's logical theory of legal evidence

Lennart Åqvist (1992) proposed a logical theory of legal evidence, based on the Bolding-Ekelöf of degrees of evidential strength. This paper reformulates Åqvist's model in terms of the probabilistic version of the kappa calculus. Proving its acceptability in the legal context is beyond the present scope, but the epistemological debate about Bayesian Law isclearly relevant. While the present model is a possible link to that lineof inquiry, we offer some considerations about the broader picture of thepotential of AI & Law in the evidentiary context. Whereas probabilisticreasoning is well-researched in AI, calculations about the threshold ofpersuasion in litigation, whatever their value, are just the tip of theiceberg. The bulk of the modeling desiderata is arguably elsewhere, if one isto ideally make the most of AI's distinctive contribution as envisaged forlegal evidence research.

[Book review] Handbook of Psychology in Legal Contexts

Review of: Handbook of Psychology in Legal Contexts. Ray Bull and David Carson (eds.) Wiley-Blackwell. 1999.

Acknowledgement [Special Issue - Formal Approaches to Legal Evidence]

This Acknowledgement refers to the special issue "Formal Approaches to Legal Evidence" of the Artificial Intelligence and Law, September 2001, Vol. 9, Issue 2-3, which was guest edited by Ephraim Nissan.