A Foundational View on Integration Problems

The integration of reasoning and computation services across system and language boundaries is a challenging problem of computer science. In this paper, we use integration for the scenario where we have two systems that we integrate by moving problems and solutions between them. While this scenario is often approached from an engineering perspective, we take a foundational view. Based on the generic declarative language MMT, we develop a theoretical framework for system integration using theories and partial theory morphisms. Because MMT permits representations of the meta-logical foundations themselves, this includes integration across logics. We discuss safe and unsafe integration schemes and devise a general form of safe integration

Integrating Genomic Knowledge Sources through an Anatomy Ontology

Modern genomic research has access to a plethora of knowledge sources. Often, it is imperative that researchers combine and integrate knowledge from multiple perspectives. Although some technology exists for connecting data and knowledge bases, these methods are only just begin-ning to be successfully applied to research in modern cell biology. In this paper, we argue that one way to integrate multiple knowledge sources is through anatomy—both generic cellular anatomy, as well as anatomic knowledge about the tissues and organs that may be studied via microarray gene expression experiments. We present two examples where we have combined a large ontology of human anatomy (the FMA) with other genomic knowledge sources: the gene ontology (GO) and the mouse genomic databases (MGD) of the Jackson Labs. These two initial examples of knowledge integration provide a proof of concept that anatomy can act as a hub through which we can usefully combine a variety of genomic knowledge and data

Rethinking the Foundational Critiques of Lawyers in Social Movements

This Article argues that the current moment invites reconsideration of these critiques. The rise of new social movements—from marriage equality to Black Lives Matter to the recent mobilization against President Trump’s immigration order—and the response of a new generation of movement lawyers eager to lend support has refocused attention on the appropriate role that lawyers should play in advancing progressive social change. Rather than fall back on familiar critical themes, the time is ripe for developing a new affirmative vision

Rethinking the Foundational Critiques of Lawyers in Social Movements

This Article argues that the current moment invites reconsideration of these critiques. The rise of new social movements—from marriage equality to Black Lives Matter to the recent mobilization against President Trump’s immigration order—and the response of a new generation of movement lawyers eager to lend support has refocused attention on the appropriate role that lawyers should play in advancing progressive social change. Rather than fall back on familiar critical themes, the time is ripe for developing a new affirmative vision

An interprofessional, intercultural, immersive short-term study abroad program: public health and service systems in rome

The purpose of this paper is to describe a short-term study abroad program that exposes engineering and nursing undergraduate students from the United States and Italy to an intercultural and interprofessional immersion experience. Faculty from Purdue University and Sapienza Università di Roma collaborated to design a technical program that demonstrates the complementary nature of engineering and public health in the service sector, with Rome as an integral component of the program. Specifically, the intersection of topics including systems, reliability, process flow, maintenance management, and public health are covered through online lectures, in-class activities and case study discussions, field experiences, and assessments. Herein, administrative issues such as student recruitment, selection, and preparation are elucidated. Additionally, the pedagogical approach used to ensure constructive alignment among the program goals, the intended learning outcomes, and the teaching and learning activities is described. Finally, examples of learning outcomes resulting from this alignment are provided

Generic 3D Representation via Pose Estimation and Matching

Though a large body of computer vision research has investigated developing generic semantic representations, efforts towards developing a similar representation for 3D has been limited. In this paper, we learn a generic 3D representation through solving a set of foundational proxy 3D tasks: object-centric camera pose estimation and wide baseline feature matching. Our method is based upon the premise that by providing supervision over a set of carefully selected foundational tasks, generalization to novel tasks and abstraction capabilities can be achieved. We empirically show that the internal representation of a multi-task ConvNet trained to solve the above core problems generalizes to novel 3D tasks (e.g., scene layout estimation, object pose estimation, surface normal estimation) without the need for fine-tuning and shows traits of abstraction abilities (e.g., cross-modality pose estimation). In the context of the core supervised tasks, we demonstrate our representation achieves state-of-the-art wide baseline feature matching results without requiring apriori rectification (unlike SIFT and the majority of learned features). We also show 6DOF camera pose estimation given a pair local image patches. The accuracy of both supervised tasks come comparable to humans. Finally, we contribute a large-scale dataset composed of object-centric street view scenes along with point correspondences and camera pose information, and conclude with a discussion on the learned representation and open research questions.Comment: Published in ECCV16. See the project website http://3drepresentation.stanford.edu/ and dataset website https://github.com/amir32002/3D_Street_Vie

Unity in diversity as Europe's vocation and conflicts law as Europe's constitutional form. IHS Political Science Series 122, December 2010

"Unity in Diversity" was the fortunate motto of the otherwise unfortunate Draft Constitutional Treaty. The motto did not make it into the Treaty of Lisbon. It deserves to be kept alive in a new constitutional perspective, namely the re-conceptualisation of European law as new type of conflicts law. The new type of conflicts law which the paper advocates is not concerned with selecting the proper legal system in cases with connections to various jurisdictions. It is instead meant to respond to the increasing interdependence of formerly more autonomous legal orders and to the democracy failure of constitutional states which result from the external effects of their laws and legal decisions on non-nationals. European has many means to compensate these shortcomings. It can derive its legitimacy from that compensatory potential without developing federal aspirations. The paper illustrates this approach with the help of two topical examples. The first is the conflict between European economic freedoms and national industrial relations (collective labour) law. The recent jurisprudence of the ECJ in Viking, Laval, and Rüffert in which the Court established the supremacy of the freedoms over national labour law is criticised as a counter-productive deepening of Europe‘s constitutional asymmetry and its social deficit. The second example from environmental law concerns the conflict between Austria and the Czech Republic over the Temelin nuclear power pant. The paper criticises the reasoning of the ECJ, but does not suggest an alternative outcome to the one the Court has reached. The introductory and the concluding sections generalise the perspectives of the conflicts-law approach. The introductory section takes issue with max Weber‘s national state. The concluding section suggests a three-dimensional differentiation of the approach which seeks to respond to the need for transnational regulation and governance

Foundational Economic Theories for Political-Scientific Inter-Branch Studies

Economic theories are increasingly popular in political science, and in particular in research on the relations between the legislative, the executive, and the judicial branches of government. Among these theories, principal-agent (´PA´) and transaction cost economics (´TCE´) feature particularly high in our research agenda. Yet, pushed by the view that "the content of ´science´ is primarily the methods and rules" (King et al. 1994: 9), and working with limited resources, political scientists have tended to neglect careful theorizing. PA and TCE are taken off-the-shelf without much prior scrutiny, and past conceptual mistakes are perpetuated. This paper aims at introducing and explaining the real PA, positive agency, TCE, and incomplete contracts theories for the purposes of political analysis. In a companion paper, I show the serious mistakes perpetuated by political scientists, and I argue that, faced with a choice between those four economic theories, we should place our bets on a revised version of TCE.Theory of delegation, political science, principal-agent models, transaction costs economics

The EU as Provider of Frames and Scripts: Evidence on Law and Courts from Europe, Africa, Asia, and the Americas

Regional trade agreements (RTAs) differ a great deal in both their legal and judicial dimensions. Accounting for RTAs means, in good part, to explain those differences. A rationalist approach focused on interests, calculations, and utility-maximizing outcomes can offer limited insight into those differences. RTA officials do not operate in a vacuum. First, at the intra-regional level, they work in environments with established, and often similar, national legal and judicial traditions. Those traditions, rather than the EU, provide the frames through which officials interpret and solve the regulatory challenges associated with integration: officials develop legal frameworks and judicial mechanisms that mirror, in their overall character, what is already in place in the member states. But, second, officials are aware of RTAs elsewhere in the world – above all, the EU. The EU provides ready-made detailed instructions, or scripts, for the formulation of specific laws and judicial processes in other RTAs. If consistent with the national traditions in a given RTA, officials often adopt or mimic those scripts. Thus, overall, choices about legal and judicial design have little to do with what is ‘best’ for trade liberalization and the fulfillment of national interests. They have a lot more to do with continuity, legitimacy, and expediency