Secure many-to-one communications in wireless sensor networks

Wireless Sensor Networks (WSN) are formed by nodes with limited computational and power resources. WSNs are finding an increasing number of applications, both civilian and military, most of which require security for the sensed data being collected by the base station from remote sensor nodes. In addition, when many sensor nodes transmit to the base station, the implosion problem arises. Providing security measures and implosion-resistance in a resource-limited environment is a real challenge. This article reviews the aggregation strategies proposed in the literature to handle the bandwidth and security problems related to many-to-one transmission in WSNs. Recent contributions to secure lossless many-to-one communication developed by the authors in the context of several Spanish-funded projects are surveyed. Ongoing work on the secure lossy many-to-one communication is also sketched.

A web ontologies framework for digital rights management

In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current approaches are based on purely syntactic solutions, i.e. a grammar that defines a rights expression language. These languages are difficult to put into practise due to the lack of explicit semantics that facilitate its implementation. Moreover, they are simple from the legal point of view because they are intended just to model the usage licenses granted by content providers to end-users. Thus, they ignore the copyright framework that lies behind and the whole value chain from creators to end-users. Our proposal is to use a semantic approach based on semantic web ontologies. We detail the development of a copyright ontology in order to put this approach into practice. It models the copyright core concepts for creation, rights and the basic kinds of actions that operate on content. Altogether, it allows building a copyright framework for the complete value chain. The set of actions operating on content are our smaller building blocks in order to cope with the complexity of copyright value chains and statements and, at the same time, guarantee a high level of interoperability and evolvability. The resulting copyright modelling framework is flexible and complete enough to model many copyright scenarios, not just those related to the economic exploitation of content. The ontology also includes moral rights, so it is possible to model this kind of situations as it is shown in the included example model for a withdrawal scenario. Finally, the ontology design and the selection of tools result in a straightforward implementation. Description Logic reasoners are used for license checking and retrieval. Rights are modelled as classes of actions, action patterns are modelled also as classes and the same is done for concrete actions. Then, to check if some right or license grants an action is reduced to check for class subsumption, which is a direct functionality of these reasoners.

Formalizing defeasible argumentation using a labeled deductive system

In the last years there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming and other related areas. Labeled Deductive Systems (LDS) were developed as a flexible methodology to formalize such a kind of complex logical systems. In the last decade, defeasible argumentation has proven to be a confluence point for many approaches to formalizing commonsense reasoning. Different formalisms have been developed, many of them sharing common features. This paper presents a formalization of an LDS for defensible argumentation, in which the main issues concerning defeasible argumentation are captured within a unified logical framework. The proposed framework is defined in two stages. First, defeasible inference will be formalized by characterizing an argumentative LDS. That system will be then extended in order to capture conflict among arguments using a dialectical approach. We also present some logical properties emerging from the proposed framework, discussing also its semantical characterization.

Los juegos y deportes tradicionales en Europa: entre la tradición y la modernidad

El juego es un elemento básico de socialización: es una creación cultural en el marco de una sociedad determinada. La visión contextualizada de todo juego tradicional debe considerar las propiedades que caracterizan su lógica interna, así como las condiciones socioculturales y los significados simbólicos que le atribuyen sus protagonistas (lógica externa). En esta investigación se realiza un inventario y análisis de la lógica interna y la lógica externa de los juegos tradicionales de adultos que se practican actualmente en 11 regiones europeas. Entre las conclusiones más relevantes destacar que existe un gran repertorio de juegos psicomotores y sociomotores. Se trata de juegos con un alto componente competitivo, en los que se distinguen vencedores y perdedores. Los grupos son básicamente masculinos y mixtos y sin la presencia de un líder o capitán, excepto en las regiones más deportivizadas en las que si aparece esta figura. Se observa que muchas de estas prácticas se están transformando en deportes (regionales), sobre todo aquellas que son protagonizadas por el género masculino. En definitiva, esta investigación aporta datos muy relevantes para comprender la naturaleza de la cultura lúdica tradicional europea.

Els jocs i esports tradicionals a Europa: entre la tradició i la modernitat

El joc és un element bàsic de socialització: és una creació cultural en el marc d’una societat determinada. La visió contextualitzada de qualsevol joc tradicional ha de considerar les propietats que caracteritzen la seva lògica interna, i també les condicions socioculturals i els significats simbòlics que -li atribueixen els seus protagonistes (lògica externa). En aquesta investigació es fa un inventari i una anàlisi de la lògica interna i la lògica externa dels jocs tradicionals d’adults que es practiquen actualment a 11 regions europees. Entre les conclusions més rellevants cal destacar que hi ha un gran repertori de jocs psicomotors i sociomotors. Es tracta de jocs amb un alt component competitiu, en els quals es distingeixen vencedors i perdedors. Els grups són bàsicament masculins i mixtos i sense la presència d’un líder o capità, excepte a les regions més esportivitzades, on sí que apareix aquesta figura. Observem que moltes d’aquestes pràctiques s’estan transformant en esports (regionals), sobretot les que són protagonitzades pel gènere masculí. En resum, aquesta investigació aporta dades molt rellevants per a comprendre la naturalesa de la cultura lúdica tradicional europea.

Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants

PLFC is a first-order possibilistic logic dealing with fuzzy constants and fuzzily restricted quantifiers. The refutation proof method in PLFC is mainly based on a generalized resolution rule which allows an implicit graded unification among fuzzy constants. However, unification for precise object constants is classical. In order to use PLFC for similarity-based reasoning, in this paper we extend a Horn-rule sublogic of PLFC with similarity-based unification of object constants. The Horn-rule sublogic of PLFC we consider deals only with disjunctive fuzzy constants and it is equipped with a simple and efficient version of PLFC proof method. At the semantic level, it is extended by equipping each sort with a fuzzy similarity relation, and at the syntactic level, by fuzzily “enlarging” each non-fuzzy object constant in the antecedent of a Horn-rule by means of a fuzzy similarity relation.

Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.

A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

Laadun kehittämisen mahdollisuudet yliopistossa, tapaustutkimus Lappeenrannan teknillisestä korkeakoulusta

Tutkimuksen tarkoituksena on selvittää mitkä ovat Lappeenrannan teknillisen korkeakoulun laadun kehittämisen mahdollisuudet. Tutkimusongelmaa lähestytään selvittämällä kirjallisuudesta laadun kehittämisen yleisiä perusedellytyksiä ja miten toimiminen julkisesti rahoitetulla sektorilla vaikuttaa niihin. Teollisuudesta peräisin olevat laadun kehittämisen j a laatujohtamisen menetelmät eivät yksin sovellu tietointensiiviseen akateemiseen maailmaan. Tietojohtaminen tuo yliopistojen laadun kehittämiseen uuden ulottuvuuden. Organisaatiot on nähtävä moniulotteisina tietoyöparistoina, joissa on mekaanisia, orgaanisia ja dynaamisia piirteitä. Näissä tietoympäristöissä on omat periaatteensa, joiden mukaan niiden toimintaa tehokkaimmin johdetaan, ja kriteerinsä, joiden pohjalta laatu määräytyy. Tutkimus osoittaa, että LTKK:n johto suhtautuu myönteisesti laadun kehittämiseen ja LTKK:ssa on monia kohteita, joiden laatua voidaan kehittää. Vaikka LTKK:ssa arvostetaan innovatiivisuutta, joka on dynaamisen ympäristön laadun kriteeri, kehittämisehdotukset tukivat lähes kokonaan orgaanisen ympäristön laatua. jonka kriteerinä on hallittu kehittäminen. Suurimmat haasteet laadun kehittämisessä ovat kenties dynaamisen ympäristön tavoitteiden tunnistaminen, henkilöstön asenteiden muuttaminen ja yhteisöllisyyden lisääminen.

Toimitusketjun kehittäminen logistiikkaintegraattorin avulla

Globaalissa taloudessa yritysten rakenteet ovat kehittyneet yhteistyöverkostoiksi, joissa yritykset pyrkivät keskittymään ydinosaamiseensa ja tuottamaan muut toiminnot yhteistyökumppaneilla. Nykyisin yhä suurempi osa myös logistisista toiminnoista tuotetaan kolmansilla osapuolilla. Logistiikan piirissä saavutettavat synergiaedut ovat suuret ja monet yritykset niitä ovat myös jo saavuttaneet. Menestyksekkäät esimerkit ulkoistamisista ja toisaalta kehittyvän tietotekniikan tuomat uudet toimintamahdollisuudet johtavat ulkoistamisen, 3PL toiminnan, entistäkin suurempaan suosioon. Ongelmaksi on yrityksille muodostunut yhteistyökumppaneiden suuri määrä. Kun ydinosaamisalueen ulkopuolisia tehtäviä on jaettu useille eri yritykselle, tulee yhteistyöverkoston hallinnasta haasteellinen tehtävä, ja siihen vaaditaan kalliita tietojärjestelmiä. Kustannusten säästö saattoi kuitenkin olla ulkoistaneen yrityksen motiivi! Kaiken lisäksi toimitusketjun hallinnan periaatteiden mukaisesti tiukka toimitusketjun sisäinen koordinointi on välttämättömyys arvoprosessin tehokkuuudelle. Tutkimuksen tarkoituksena on selvittää 4PL toimintamallin logiikka, sekä kuinka sitä voidaan käyttää ratkaisemaan 3PL toiminnan ongelmakohtia. Case osuudessa esitellään kahden haastateluin selvitetyn logistiikkaintegraattorin toiminta ja tarkastellaan niiden toiminnan pohjalta teoreettista mallia. Tutkimuksen toisena päätavoitteena on selvittää toimitusketjun hallinnan periaatteet kehitettäessä toimitusketjua sekä tutkia 4PL toimintamallia näiden teorioiden valossa. Tutkielmassa esitetään toimitusketjun hallinnan integraatiofilosofian mukaiset periaatteet, jossa integroidaan toimitusketjun 8 avainprosessia. Tutkimuksen tulokset osoittavat, että joint venture yrityksenä perustettavan logistiikkaintegraattorin käyttö toimitusketjussa voi parantaa ennenkaikkea koordinointiongelmia, pienentää logistisia kustannuksia, sekä tehokkaasti vähentää niitä ongelmia, joita kolmannen osapuolen palveluntarjoajien käyttö yritykselle aiheuttaa. Tutkimuksessa esitetään myös kuinka logistiikkaintegraattorin toimintaperiaatteita voidaan laajentaa arvoketjuintegraattoriksi ja kuinka se voi auttaa toimitusketjun avainprosessien integroinnissa, synergiaetujen hyödyntämisessä ja koko toimitusketjun tehokkaassa hallinnassa.

Change points detection in crime-related time series: an on-line fuzzy approach based on a shape space representation

The extension of traditional data mining methods to time series has been effectively applied to a wide range of domains such as finance, econometrics, biology, security, and medicine. Many existing mining methods deal with the task of change points detection, but very few provide a flexible approach. Querying specific change points with linguistic variables is particularly useful in crime analysis, where intuitive, understandable, and appropriate detection of changes can significantly improve the allocation of resources for timely and concise operations. In this paper, we propose an on-line method for detecting and querying change points in crime-related time series with the use of a meaningful representation and a fuzzy inference system. Change points detection is based on a shape space representation, and linguistic terms describing geometric properties of the change points are used to express queries, offering the advantage of intuitiveness and flexibility. An empirical evaluation is first conducted on a crime data set to confirm the validity of the proposed method and then on a financial data set to test its general applicability. A comparison to a similar change-point detection algorithm and a sensitivity analysis are also conducted. Results show that the method is able to accurately detect change points at very low computational costs. More broadly, the detection of specific change points within time series of virtually any domain is made more intuitive and more understandable, even for experts not related to data mining.

Self-rule Index for Local Authorities (Release 1.0)

Local autonomy is a highly valued feature of good governance. The continuous attempts of many European countries to strengthen the autonomy of local government show the importance given to decentralisation and far-reaching competences at the lowest units of a state. Measuring and comparing local autonomy, however, has proven to be a difficult task. Not only are there diverging ideas about the core elements of local autonomy, there are also considerable difficulties to apply specific concepts to different countries. This project suggests a comprehensive methodology to measure local autonomy. It analyses 39 European countries and reports changes between 1990 and 2014. A network of experts on local government assessed the autonomy of local government of their respective countries on the basis of a common code book. The eleven variables measured are located on seven imensions and can be combined to a "Local Autonomy Index" (LAI). The data show an increase of local autonomy between 1990 and 2005, especially in the new Central and Eastern European countries. Countries with a particularly high degree of local autonomy are Switzerland, the Nordic countries, Germany and Poland.

Trigger and data link system for CMS Resistive Plate Chambers at the LHC accelerator

The purpose of the work was to realize a high-speed digital data transfer system for RPC muon chambers in the CMS experiment on CERN’s new LHC accelerator. This large scale system took many years and many stages of prototyping to develop, and required the participation of tens of people. The system interfaces to Frontend Boards (FEB) at the 200,000-channel detector and to the trigger and readout electronics in the control room of the experiment. The distance between these two is about 80 metres and the speed required for the optic links was pushing the limits of available technology when the project was started. Here, as in many other aspects of the design, it was assumed that the features of readily available commercial components would develop in the course of the design work, just as they did. By choosing a high speed it was possible to multiplex the data from some the chambers into the same fibres to reduce the number of links needed. Further reduction was achieved by employing zero suppression and data compression, and a total of only 660 optical links were needed. Another requirement, which conflicted somewhat with choosing the components a late as possible was that the design needed to be radiation tolerant to an ionizing dose of 100 Gy and to a have a moderate tolerance to Single Event Effects (SEEs). This required some radiation test campaigns, and eventually led to ASICs being chosen for some of the critical parts. The system was made to be as reconfigurable as possible. The reconfiguration needs to be done from a distance as the electronics is not accessible except for some short and rare service breaks once the accelerator starts running. Therefore reconfigurable logic is extensively used, and the firmware development for the FPGAs constituted a sizable part of the work. Some special techniques needed to be used there too, to achieve the required radiation tolerance. The system has been demonstrated to work in several laboratory and beam tests, and now we are waiting to see it in action when the LHC will start running in the autumn 2008.

Goofing-Off Suite : composed by J. S. Bach, I. Berlin, L. Beethoven and many others

Luettelointi kesken