196 research outputs found

    Synchronous Agents, Verification, and Blame -- A Deontic View

    Full text link
    A question we can ask of multi-agent systems is whether the agents' collective interaction satisfies particular goals or specifications, which can be either individual or collective. When a collaborative goal is not reached, or a specification is violated, a pertinent question is whether any agent is to blame. This paper considers a two-agent synchronous setting and a formal language to specify when agents' collaboration is required. We take a deontic approach and use obligations, permissions, and prohibitions to capture notions of non-interference between agents. We also handle reparations, allowing violations to be corrected or compensated. We give trace semantics to our logic, and use it to define blame assignment for violations. We give an automaton construction for the logic, which we use as the base for model checking and blame analysis. We also further provide quantitative semantics that is able to compare different interactions in terms of the required reparations.Comment: To appear in ICTAC 202

    On the nature of the right to resist: a rights-based theory of the ius resistendi in liberal democracies

    Get PDF
    Contesting the nature of right to resist continues to be of concern to those in power, for it poses the fundamental question about their legitimacy. From to Antigone to the Occupy Wall Street movement, individuals and communities have expressed their grievances and resisted oppression through a myriad of strategies. And although those taking the streets use the language of rights and appeal to a higher law to vindicate their claims, resistance has usually been considered a political, or rather, a security affair. The thesis vindicates the place of the ius resistendi in the normative order and uses legal probe to evince that there are no reasons why it could not be considered a legal right, except for political opportunity. The thesis challenges some basic postulates of liberal legal theories and develops a broader conception of rights, one in which reserved rights are part of a democratic normative system that performs in a manner consistent with its fundamental values. A primary, indeterminate right, the ius resistendi, I contend, embodies the Arendtian right to have rights.The Legitimacy and Effectiveness of Law & Governance in a World of Multilevel Jurisdiction

    Joe Pawsey and the Founding of Australian Radio Astronomy

    Get PDF
    This open access book is a biography of Joseph L. Pawsey. It examines not only his life but the birth and growth of the field of radio astronomy and the state of science itself in twentieth century Australia. The book explains how an isolated continent with limited resources grew to be one of the leaders in the study of radio astronomy and the design of instruments to do so. Pawsey made a name for himself in the international astronomy community within a decade after WWII and coined the term radio astronomy. His most valuable talent was his ability to recruit and support bright young scientists who became the technical and methodological innovators of the era, building new telescopes from the Mills Cross and Chris (Christiansen) Cross to the Parkes radio telescope. The development of aperture synthesis and the controversy surrounding the cosmological interpretation of the first major survey which resulted in the Sydney research group's disagreements with Nobel laureate Martin Ryle play major roles in this story. This book also shows the connections among prominent astronomers like Oort, Minkowski, Baade, Struve, famous scientists in the UK such as J.A. Ratcliffe, Edward Appleton and Henry Tizard, and the engineers and physicists in Australia who helped develop the field of radio astronomy. Pawsey was appointed the second Director of the National Radio Astronomy Observatory (Green Bank, West Virginia) in October 1961; he died in Sydney at the age of 54 in late November 1962. Upper level students, scientists and historians will find the information, much of it from primary sources, relevant to any study of Joseph L. Pawsey or radio astronomy. This is an open access book

    Lost in technology: Towards a critique of repugnant rights

    Get PDF
    Modern law is founded on an idea of justice that is made felt through rights and entitlements legal subjects enjoy. As such, for law and its idea of justice, rights are inherently good and therefore abundant. On encounter with injustice, it has become commonplace to inquire what laws and rights have been flouted, as if injustice would disappear in encounter with rights that encode justice. But what if no number of laws and rights – even with faultless execution – is up for the task of upholding what we deem just? In this dissertation, I look at the heart of this question, and find the law’s answer not simply wanting but repugnant. The research is animated by interaction of three topoi: personhood, technology, and international law. The first part concerns how these concepts are perceived in law and by those working with laws. As part of the unearthing of the conceptual ground rules, a trilemma between effectiveness, responsiveness, and coherence familiar from regulatory research and international law rears its head. I show how setting the priority on effective and responsive solutions has amounted to derogation of justice and diminishment of law’s foundational entity, a natural person. I explore whether these outcomes could be avoided within liberal international law and answer my own question on the negative. I title this systematic outcome a theory of repugnant rights. The latter part of the dissertation concerns technology, its regulation, and tendency to produce repugnant outcomes in international law. I focus on bio- and information technologies and their legal coding as tools to dismantle legal protection provided by our quality of being human. I will show how intricate legal norms break and remake us in ways that blur the boundaries between persons and things. Once something falls beyond or below the category of a person, its legal status can be warped, twisted, and turned – all while remaining at arm’s length from the person it was once legally part of. Technological intervention to such things allows for effective circumvention of legal shelter provided by human rights, as I show through example of regulation of surrogacy and data storage. To come to terms with the repugnancy, I seek shelter from anger as a transitory category that would enable us to move across the present impasse with rights. I suggest that at the very least international lawyers ought to be angry at quotidian horrors international law upholds. And through such anger overcome the misery and repugnancy of international law.--- Moderni oikeus pohjaa ajatukseen oikeudenmukaisuudesta, joka ilmenee oikeussubjektien nauttimien ja käyttämien oikeuksien välityksellä. Näin ymmärrettynä oikeuden ja sen omaaman oikeudenmukaisuuden käsityksen kannalta oikeudet ovat itseisarvoisesti hyviä, mikä selittää niiden suuren määrän. Kun kohtaamme epäoikeudenmukaisuutta tapaamme kysyä, mitä lakeja ja oikeuksia on loukattu, ikään kuin epäoikeudenmukaisuus kaikkoaisi sen kohdatessa oikeuden sisältämän oikeudenmukaisuuden idean. Mutta entä jos mikään määrä lakeja ja oikeuksia – edes täydellisesti täytäntöönpantuna – ei riitä puolustamaan oikeudenmukaisena pitämäämme? Väitöskirjassani kurkistan tämän kysymyksen ytimeen ja löydän vastauksen, joka ei ole ainoastaan riittämätön vaan myös vastenmielinen. Väitöksessäni operoin oikeushenkilön, teknologian ja kansainvälisen oikeuden rajapinnoilla. Väitökseni ensimmäinen osa koskee sitä, kuinka oikeuden ja lakien parissa työskentelevät mieltävät nämä käsitteet. Näiden käsitteiden tarkastelun yhteydessä havaitsen sääntelytutkimuksesta ja kansainvälisestä oikeudesta tutun tehokkuuden, responsiivisuuden ja johdonmukaisuuden välisen trilemman. Osoitan, miten tehokkaiden ja responsiivisten ratkaisujen asettaminen etusijalle on merkinnyt lipeämistä oikeudenmukaisuudesta ja samalla oikeuden keskeisen subjektin, luonnollisen henkilön, merkityksen pienentymistä. Tutkin, voitaisiinko tämä trilemma välttää liberaalin kansainvälisen oikeuden puitteissa, ja vastaan omaan kysymykseeni kielteisesti. Nimeän tämän tuloksen vastenmielisten oikeuksien teoriaksi. Väitöskirjan jälkimmäinen osa käsittelee teknologiaa, sen säätelyä ja sen taipumusta tuottaa vastenmielisiä lopputuloksia kansainvälisessä oikeudessa. Tarkastelen lähemmin bio- ja informaatioteknologioita ja niiden oikeudellista sääntelyä, sekä sitä millaisia välineitä ne tarjoavat ihmisyyden tarjoaman oikeudellisen suojan purkamiseen. Osoitan kuinka monimutkaiset oikeudelliset normit rikkovat ja muokkaavat meitä tavoilla, jotka hämärtävät ihmisten ja asioiden välisiä rajoja. Kun jokin ei ole enää henkilö, sen oikeudellista asemaa voidaan vääristää, vääntää ja kääntää. Teknologinen puuttuminen tällaisiin esineisiin ja asioihin mahdollistaa ihmisoikeuksien tarjoaman laillisen suojan tehokkaan kiertämisen, kuten osoitan sijaissynnytyksen ja datan tallennuksen sääntelyn kautta. Vastauksena oikeuden vastenmielisyydelle haen suojaa vihasta. Viha tarjoaa sellaisen tilapäisen kategorian, jonka avulla voimme välttää havaitsemani oikeuksien umpikujan. Katson, että kansainvälisen oikeuden harjoittajien olisi vähintäänkin oltava vihaisia kohdatessaan kansainvälisen oikeuden synnyttämiä ja mahdollistamia jokapäiväisiä kauhuja. Turvautumalla vihaan, jonka voimme myöhemmin asettaa sivuun, voisimme selättää kansainvälisen oikeuden surkeuden ja sen vastenmielisyyden

    Would Trotsky Wear a Bluetooth?

    Get PDF
    After visiting Russia in 1921, the journalist Lincoln Steffens famously declared, ”I have seen the future, and it works.” Steffens referred to the social experiment of technological utopianism he found in the Soviet Union, where subway cars and farm tractors would carry the worker and peasant—figuratively and literally—into the twentieth century. Believing that socialism and technology together created a brave new world, Boleslaw Bierut of Poland and Kim Il Sung of North Korea—and other leaders—joined Russia’s Vladimir Lenin and Leon Trotsky in embracing big technology with a verve and conviction that rivaled the western world's.Paul R. Josephson here explores these utopian visions of technology—and their unanticipated human and environmental costs. He examines the role of technology in communist plans and policies and the interplay between ideology and technological development. He shows that while technology was a symbol of regime legitimacy and an engine of progress, the changes it spurred were not unequivocally positive. Instead of achieving a worker’s paradise, socialist technologies exposed the proletariat to dangerous machinery and deadly pollution; rather than freeing women from exploitation in family and labor, they paradoxically created for them the dual—and exhausting—burdens of mother and worker. The future did not work. The fall of the Soviet Union in 1991 marked the end of communism’s self-proclaimed glorious quest to "reach and surpass" the West. Josephson’s intriguing study of how technology both helped and hindered this effort asks new and important questions about the crucial issues inextricably linked with the development and diffusion of technology in any sociopolitical system

    A framework for adoption of drones in the Dominican Republic construction industry

    Get PDF
    A thesis submitted in partial fulfilment of the requirements of the University of Wolverhampton for the degree of Doctor of Philosophy.There is a severe problem in developing countries in whether or not adopt technologies for facilitating daily tasks. It is happening mostly in sectors with low skills employees as the construction industry. The adoption of technologies in developing countries is a challenge that affect health, economy, and consciousness advancement. Furthermore, the scepticism in the what, how, and why the effectiveness of certain technologies, as drones, difficult the cost-benefit of the decision-making process for organisations in developing countries. This cost-benefit decision, involved in the cases of UAS applications, covers the regulatory and practical implications that are barriers in developed countries. But, in developing one, seems to have another set of barriers that should be investigate in-depth. Therefore, the aim of this research is to develop an ontology for public, private, and non-profit organisations that explain the epistemological implications in the implementation of Unmanned Aerial Systems for the Construction Industry in the Dominican Republic. The study approaches an iterative strategy of interviewing 24 participants in a semi-structured format. Then, the Nvivo 2020 software was used to identify cases utilising ground theory coding, thematic and content analysis. Later, the root cause reasons and challenges of implementing UAS were identified utilising Interpretative Structured Method (ISM) and their sub analyses. 5 Cases of studies were presented (real estate, construction, infrastructure, urban development, and disaster management) to illustrate the drone operations. The findings reveal that a hybrid management adoption approach have been the most suitable with drones in the country. The root cause of drone implementation and its barriers were cost reduction and reactive cultural respectively. Strategic and operational ontologies for UAS skill programs, understanding of UAS outcomes, and Building Information Modelling integration were developed in order to focus efforts on developing drones for cargo, assisting humans, and digitalisation. Mandates are recommended for policy makers as drones for digitalisation initiates digital workflows towards BIM. Other scenarios should be considering scenarios where autonomous aerial operations affect safety in future operations. Furthermore, recommendations on legal and standards should be updated in order to allow UAS outcomes as law acceptable. Further works are recommended in decentralised systems, artificial intelligence, and drone applications.Ministry of Higher Education, Science and Technology

    Security of Cyber-Physical Systems

    Get PDF
    Cyber-physical system (CPS) innovations, in conjunction with their sibling computational and technological advancements, have positively impacted our society, leading to the establishment of new horizons of service excellence in a variety of applicational fields. With the rapid increase in the application of CPSs in safety-critical infrastructures, their safety and security are the top priorities of next-generation designs. The extent of potential consequences of CPS insecurity is large enough to ensure that CPS security is one of the core elements of the CPS research agenda. Faults, failures, and cyber-physical attacks lead to variations in the dynamics of CPSs and cause the instability and malfunction of normal operations. This reprint discusses the existing vulnerabilities and focuses on detection, prevention, and compensation techniques to improve the security of safety-critical systems

    Algoritmos bio-inspirados para la detección de comunidades dinámicas en redes complejas

    Full text link
    Tesis Doctoral inédita leída en la Universidad Autónoma de Madrid, Escuela Politécnica Superior, Departamento de Ingeniería Informática. Fecha de Lectura: 22-07-202

    Undergraduate Course Catalog of the University of San Diego 2022-2023

    Get PDF
    569 pages. Includes information about academics, expenses, campus and the college, the 2022-2023 academic calendar, and school policies.https://digital.sandiego.edu/coursecatalogs-undergrad/1030/thumbnail.jp
    • …
    corecore