Hypermodelling : next level software engineering with data warehouses

Magdeburg, Univ., Fak. für Informatik, Diss., 2013

Modellierung und Entwicklung von Pliable Objects zum Aufbau dynamischer Informationssysteme im medizinischen Fachgebiet der Anästhesie

Magdeburg, Univ., Fak. für Informatik, Diss., 2013

Software for Explicitly Parallel Memory-Centric Processor Architecture

Advances in computer memory technology justify research towards new and different views on computer organization. This paper proposes a novel memory-centric computing architecture with the goal to merge memory and processing elements in order to provide better conditions for parallelization and performance. The paper introduces the architectural concepts and afterwards shows the design and implementation of a corresponding assembler and simulator.

Software phantoms in medical image analysis

Magdeburg, Univ., Fak. für Informatik, Diss., 2015

Entwicklung einer benutzerfreundlichen Software zur Berechnung von Rundfunk-Sendeantennen

Die Abteilung Sendertechnik des Norddeutschen Rundfunks betreibt die Sender zur Versorgung der Rundfunknutzer und befasst sich unter anderem mit der Planung und Optimierung von Sendeantennen. Das Ziel dieser Bachelorarbeit war die Entwicklung einer Software, mit der Horizontaldiagramme von Antennen erstellt, angepasst und dokumentiert werden können. Dafür wurde eine vorhandene LabVIEW-Software in ihren Grundzügen übernommen, in eine neue, in Java entwickelte Programmumgebung übertragen und dort erweitert und optimiert. Die Arbeit dokumentiert die Grundlagen der Sendeantennenplanung und die programmiertechnischen Entwicklungsschritte bis hin zur fertiggestellten und funktionsfähigen Software. Im Speziellen geht sie dabei auf die Berechnung von Antennensystemen, die Erstellung von Horizontaldiagrammen sowie die objektorientierte Programmierung und die Erstellung von grafischen Benutzeroberflächen ein. Dabei werden die einzelnen Entwicklungsschritte dokumentiert und erläutert sowie die Validierung der Software beschrieben.

The micrographic dictionary; a guide to the examination and investigation of the structure and nature of microscopic objects, by J. W. Griffith and Arthur Henfrey.

2, Plates

Double implementation in a market for indivisible goods with a price constraint

I consider the problem of assigning agents to objects where each agent must pay the price of the object he gets and prices must sum to a given number. The objective is to select an assignment-price pair that is envy-free with respect to the true preferences. I prove that the proposed mechanism will implement both in Nash and strong Nash the set of envy-free allocations. The distinguishing feature of the mechanism is that it treats the announced preferences as the true ones and selects an envy-free allocation with respect to the announced preferences.

Fairness under uncertainty with indivisibilities

I analyze an economy with uncertainty in which a set of indivisible objects and a certain amount of money is to be distributed among agents. The set of intertemporally fair social choice functions based on envy-freeness and Pareto efficiency is characterized. I give a necessary and sufficient condition for its non-emptiness and propose a mechanism that implements the set of intertemporally fair allocations in Bayes-Nash equilibrium. Implementation at the ex ante stage is considered, too. I also generalize the existence result obtained with envy-freeness using a broader fairness concept, introducing the aspiration function.

Resource-monotonicity for house allocation problems

We study a simple model of assigning indivisible objects (e.g., houses, jobs, offices, etc.) to agents. Each agent receives at most one object and monetary compensations are not possible. We completely describe all rules satisfying efficiency and resource-monotonicity. The characterized rules assign the objects in a sequence of steps such that at each step there is either a dictator or two agents "trade" objects from their hierarchically specified "endowments."

Efficient priority rules

We study the assignment of indivisible objects with quotas (houses, jobs, or offices) to a set of agents (students, job applicants, or professors). Each agent receives at most one object and monetary compensations are not possible. We characterize efficient priority rules by efficiency, strategy-proofness, and renegotiation-proofness. Such a rule respects an acyclical priority structure and the allocations can be determined using the deferred acceptance algorithm.

Nous actors, noves cultures? : evolució de les polítiques ambientals a Catalunya : els casos de l'aigua i l'energia

Les polítiques ambientals són el resultat d’un gran nombre de factors: el context social, el moment polític, el marc internacional, etc. En l’àmbit català s’ha demostrat que un factor que pot impactar de manera rellevant és l’aflorament de moviments ciutadans que reclamen canvis en les formes de fer política, encaminant-les cap a models més sostenibles. Malgrat sembli complicat que en el cas de l’energia es donin les condicions que van permetre el pas a la Nova Cultura de l’Aigua, no es descarta la possibilitat que s’arribi per altres mitjans a un canvi del paradigma energètic, ja que no tots els canvis són sempre apreciables des dels seus inicis.

Software de monitorització de dades rebudes en un GPS

"Aquest document conté originàriament altre material i/o programari només consultable a la Biblioteca de Ciències i d'Enginyeries".

Incorporació del català en agent conversacional animat per computador

Dins del marc del projecte europeu HERMES, al Centre de Visió per Computador de la Universitat Autònoma de Barcelona s'està desenvolupant un agent conversacional animat per ordinador el qual haurà de ser capaç d'interactuar amb l'usuari a través de diferents canals de forma simultània, o, el que és el mateix, parlar, gesticular, expressar emocions... Partint, doncs, d'un software capaç de fer que un model 3D d'un cap humà expressi emocions i parli en anglès, donat un arxiu d'àudio prèviament generat, en el treball que aquí es presenta es duu a terme la recerca d'una eina sintetitzadora de parla a partir de text que permeti fer això mateix en català. En aquest document s'explica el procés seguit per a trobar aquesta eina, la investigació realitzada sobre el funcionament d'ambdues per tal d'entendre-les i poder-hi treballar, així com, finalment, les modificacions realitzades per a fer que aquestes puguin interactuar i generar parla inteligible en català a partir de textos escrits en aquest idioma.

Extracció de tasques locals d'un itinerari protegit per arquitectures criptogràfiques

En aquest projecte s'ha realitzat una ampliació del llenguatge de protecció d'itineraris d'agents mòbils i la seva implementació per tal d'extreure'n les tasques locals. Aquestes tasques es troben encriptades dintre de l'itinerari de l'agent i descriuen el comportament que tindrà, així que és necessària una classe que les sàpiga extreure. El nostre compilador crea aquesta classe a partir de l'arquitectura d'extracció. L'hem provat amb les arquitectures simple i nested i els resultats amb itineraris reals han estat els esperats. A la pràctica, aquest projecte completa una mica més l'entorn de desenvolupament integrat d'agents mòbils MARISM-A.