1. |
2. Inference attacks and control on database structuresMuhamed Turkanović, Tatjana Welzer Družovec, Marko Hölbl, 2015, original scientific article Abstract: Today’s databases store information with sensitivity levels that range from public to highly sensitive, hence ensuring confidentiality can be highly important, but also requires costly control. This paper focuses on the inference problem on different database structures. It presents possible treats on privacy with relation to the inference, and control methods for mitigating these treats. The paper shows that using only access control, without any inference control is inadequate, since these models are unable to protect against indirect data access. Furthermore, it covers new inference problems which rise from the dimensions of new technologies like XML, semantics, etc.
Keywords: inference, attacks, database, security, semantics
Published: 09.08.2017; Views: 27; Downloads: 3
 Full text (322,91 KB) |
3. Sleeping beauties in pediatricsJernej Završnik, Peter Kokol, 2016, short scientific article Abstract: Sleeping beauties (SBs) in science have been known for few decades; however, it seems that only recently have they become popular. An SB is a publication that ‘‘sleeps’’ for a long time and then almost suddenly awakes and becomes highly cited. SBs present interesting findings in science. Pediatrics research literature has not yet been analyzed for their presence, and 5 pediatrics SBs were discovered in this research. Their prevalence was approximately 0.011%. Some environments or periods are more ‘‘SB fertile’’ than others: 3 of 5 SBs were published in the journal Pediatrics, 4 originated from the United States, and 4 were published in the period from 1992 to 1993. No institutions or authors published more than 1 SB.
Keywords: pediatrics, paediatrics, scientific literature, citation, sleeping beauties, bilbliometrics, citation analysis, publications, research
Published: 07.08.2017; Views: 51; Downloads: 3
Full text (72,12 KB) |
4. Prikriveno oglašivanje kao primjer neetičnog djelovanja medijaTina Tomažič, Jelena Jurišić, Damir Boras, 2011, original scientific article Abstract: Oglašivanje je jedan od ključnih faktora za stimuliranje procesa razmjene te za normalno djelovanje tržišta i njegovih zakona. Oglašivači imaju na raspolaganju puno načina i mogućnosti kojima pokušavaju privući pažnju potencijalnih potrošača. Zbog sve veće konkurencije na tržištu često posežu za novim načinima oglašivanja koji nisu uvijek u skladu sa zakonom i etičnim djelovanjem. Jedan od tih načina jest i prikriveno oglašivanje. U ovom radu analiziramo prikriveno oglašivanje kao primjer neetičnog djelovanja medija jer prikrivene oglasne poruke predstavljaju jedan od najočiglednijih problema na medijskom tržištu. Uz pomoć spoznaja iz literature definiramo pojam prikrivenog oglašivanja. Cilj je našeg rada i povezivanje društvenih okolnosti koje su uzrok prikrivenog oglašivanja s promjenama medijskih diskurzivnih praksi.
Keywords: prikrito oglaševanje, etika, mediji
Published: 04.08.2017; Views: 53; Downloads: 1
Full text (228,01 KB) |
5. Media literacy in times of media dividesKaja Žuran, Marko Ivanišin, 2013, original scientific article Abstract: We live in a post-modern society, an information society, a society based around knowledge and participation, and above all in a media society. In a media culture where media holds a dominant position, we cannot overlook the emerging idea of a ‘media divide’ within the frame of media education, media literate individuals and the expansion of the traditional concept of media literacy. Firstly, we are in an era of technological revolution, and it is time to consider the meaning and function of media and how we experience it in our everyday life. Secondly, as a society we are subject to intense media invasion and we all need to learn how to use it to our benefit and apply a critical and autonomous perspective towards selecting media content. Otherwise the media divide between the media literate and illiterate will widen; but is there even a chance to overcome the supposed divide between those who are formally media educated and those who are not?
Keywords: media literacy, media divides, media education
Published: 04.08.2017; Views: 48; Downloads: 2
Full text (179,01 KB) |
6. Akcijska logika dreves izvajanj z operatorjem unlessRobert Meolic, doctoral dissertation Abstract: Doktorska disertacija definira in raziskuje akcijsko logiko dreves izvajanj z operatorjem unless (ACTLW). ACTLW je izjavna temporalna logika razvejanega časa. Izhaja iz logike ACTL, ki je bila vpeljana leta 1990 in je ena od uveljavljenih temporalnih logik za izražanje lastnosti modelov, ki temeljijo na dogodkih. ACTLW je fleksibilnejša od ACTL, saj ne vsiljuje uporabe notranjega dogodka T pri izražanju lastnosti. ACTLW je tudi nekoliko izraznejša od ACTL, saj vsebuje temporalni operator unless (W), katerega pomena v ACTL ni možno v celoti izraziti. Nasprotno pa lahko vse formule ACTL izrazimo z uporabo operatorjev ACTLW. ACTLW omogoča učinkovito izvedbo preverjanja modelov s podobnimi algoritmi kot pri preverjanju modela s CTL, kar je pomembna izboljšava glede na logiko ACTL. Doktorska disertacija podaja definicijo logike ACTLW, izpeljave vseh standardnih temporalnih operatorjev in algoritme za globalno preverjanje modela z ACTLW s simboličnim računanjem. Predstavljeni so tudi algoritmi za tvorjenje diagnostike pri ACTLW, za tvorjenje lineamih prič in protiprimerov pri ACTLW ter za tvorjenje avtomatov prič in proti primerov pri ACTLW. Doktorska disertacija je v celoto zaokrožena z vzorci formul ACTLW in dvema večjima praktičnima primeroma: verifikacijo več različnih algoritmov za medsebojno izključevanje in verifikacijo dveh asinhronih vezij za porazdeljeno medsebojno izključevanje.
Keywords: formalne metode verifikacije sistemov, preverjanje modela, temporalna logika, doktorske disertacije, CTL, ACTL, ACTLW, diagnostika, problem medsebojnega izključevanja
Published: 04.08.2017; Views: 32; Downloads: 6
Full text (1,04 MB) |
7. Preverjanje pravilnosti obnašanja sistemov s sočasnostjoRobert Meolic, master's thesis Abstract: Magistrsko delo obravnava metode preverjanja pravilnosti obnašanja sistemov, ki temeljijo na opisu sistema s procesno algebro. Podana je definicija procesne algebre in primeri opisov sistemov s procesi. Predstavljeno je ugotavljanje ekvivalence sledi, stroge, vejitvene in šibke opazovalne ekvivalence, ugotavljanje testne ekvivalence ter simbolično preverjanje modelov z izjavno vejitveno temporalno logiko ACTL. Vse obravnavane metode se med seboj odlično dopolnjujejo in skupaj tvorijo močno orodje za formalno verifikacijo sistemov. V magistrskem delu je opisana izvedba takšnega orodja z BDD-ji. Uporaba orodja je ponazorjena na primeru verifikacije komunikacijskega protokola BRP.
Keywords: formalne metode verifikacije, sistemi s sočasnostjo, procesne algebre, opazovalne ekvivalence, testne ekvivalence, simbolično preverjanje modelov, ACTL, BDD
Published: 04.08.2017; Views: 29; Downloads: 4
Full text (1,10 MB) |
8. Social presence and interaction in learning environmentsInes Kožuh, Zoran Jeremić, Andrej Sarjaš, Julija Lapuh Bele, Vladan Devedžić, Matjaž Debevc, 2014, original scientific article Abstract: With the increased use of social media there is a growing interest in using social interaction and social presence in education. Despite this phenomenon, no appropriate methodology was found on effective integrating of both concepts into online learning. In this study, we propose integrating two different kinds of learning tools to provide social interaction and social presence in Personal Learning Environments. We have evaluated the proposed concept in a classroom setting, using a specific social interaction tool and a specific social presence tool. The findings revealed that although the use of the social interaction tool was positively associated with students% academic success, the perceived ease of using the social presence tool was negatively related to students' success.
Keywords: personal learning environment, social interaction, social presence, online social presence, academic success
Published: 03.08.2017; Views: 58; Downloads: 0
Full text (810,12 KB) |
9. Applying automated model extraction for simulation and verification of real-life SDL specification with spinBoštjan Vlaovič, Aleksander Vreže, Zmago Brezočnik, 2017, original scientific article Abstract: Formally defined Specification and Description Language (SDL) is used for the design and specification of complex safety-critical systems. Each change in the specification of the product should be immediately checked formally against the requirements’ specification. This paper presents semi-automated system abstraction, automated model extraction, simulation, and formal verification of real-life complex SDL specification. Sound algorithms implemented in our sdl2pml automated model extraction tool preserve all properties of the SDL system. Sdl2pml includes our model of discrete time, abstraction, and support for all relevant SDL functionality and constructs such as dynamic process creation, rational data types, and communication with more than one process instance. To the best of our knowledge, most of them are not supported by any other known approach. We use our SpinRCP tool for simulation and formal verification of the extracted model with the Spin model checker. We demonstrate the applicability of our approach on ISDN User adaptation protocol from SI3000 Softswitch. The extracted Promela model is the largest one ever processed by Spin. We have shown that Spin simulation and model checking can be applied successfully to such huge models.
Keywords: formal specifications, automated extraction, formal languages, simulation, formal verification, model cheking, SDL, Promela, SpinRCP, Sdl2pml
Published: 03.08.2017; Views: 59; Downloads: 2
Full text (13,46 MB) |
10. A wearable device and system for movement and biometric data acquisition for sports applicationsMarko Kos, Iztok Kramberger, 2017, original scientific article Abstract: This paper presents a miniature wearable device and a system for detecting and recording the movement and biometric information of a user during sport activities. The wearable device is designed to be worn on a wrist and can monitor skin temperature and pulse rate. Furthermore, it can monitor arm movement and detect gestures using inertial measurement unit. The device can be used for various professional and amateur sport applications and for health monitoring. Because of its small size and minimum weight, it is especially appropriate for swing-based sports like tennis or golf, where any additional weight on the arms would most likely disturb the player and have some influence on the player’s performance. Basic signal processing is performed directly on the wearable device but for more complex signal analysis, the data can be uploaded via the Internet to a cloud service, where it can be processed by a dedicated application. The device is powered by a lightweight miniature LiPo battery and has about 6 h of autonomy at maximum performance.
Keywords: biometric data acquisition, inertial sensing, movement detection, pulse rate, sensor fusion, wearable
Published: 03.08.2017; Views: 50; Downloads: 5
Full text (8,88 MB) |
