Parallel Local Search for the Costas Array Problem

The Costas Array Problem is a highly combina- torial problem linked to radar applications. We present in this paper its detailed modeling and solving by Adaptive Search, a constraint-based local search method. Experiments have been done on both sequential and parallel hardware up to several hundreds of cores. Performance evaluation of the sequential version shows results outperforming previous implementations, while the parallel version shows nearly linear speedups up to 8,192 cores

Efficient local search for Pseudo Boolean Optimization

Algorithms and the Foundations of Software technolog

Semantic discovery and reuse of business process patterns

Patterns currently play an important role in modern information systems (IS) development and their use has mainly been restricted to the design and implementation phases of the development lifecycle. Given the increasing significance of business modelling in IS development, patterns have the potential of providing a viable solution for promoting reusability of recurrent generalized models in the very early stages of development. As a statement of research-in-progress this paper focuses on business process patterns and proposes an initial methodological framework for the discovery and reuse of business process patterns within the IS development lifecycle. The framework borrows ideas from the domain engineering literature and proposes the use of semantics to drive both the discovery of patterns as well as their reuse

LIPIcs, Volume 244, ESA 2022, Complete Volume

LIPIcs, Volume 244, ESA 2022, Complete Volum

Lost in technology: Towards a critique of repugnant rights

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

Study on open science: The general state of the play in Open Science principles and practices at European life sciences institutes

Nowadays, open science is a hot topic on all levels and also is one of the priorities of the European Research Area. Components that are commonly associated with open science are open access, open data, open methodology, open source, open peer review, open science policies and citizen science. Open science may a great potential to connect and influence the practices of researchers, funding institutions and the public. In this paper, we evaluate the level of openness based on public surveys at four European life sciences institute