Real-time and Probabilistic Temporal Logics: An Overview

Over the last two decades, there has been an extensive study on logical formalisms for specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although numerous logics have been introduced for the formal specification of real-time and complex systems, an up to date comprehensive analysis of these logics does not exist in the literature. In this paper we analyse real-time and probabilistic temporal logics which have been widely used in this field. We extrapolate the notions of decidability, axiomatizability, expressiveness, model checking, etc. for each logic analysed. We also provide a comparison of features of the temporal logics discussed

E-learning accessibility practices within higher education: a review

The 2001 Special Educational Needs and Disability Act (SENDA) made it an offence for educational institutions to discriminate against a disabled person by treating him or her less favourably than others for a reason relating to their disability. The Act covers all aspects of student services, including provision and use of electronic materials and resources. Learning technologists have therefore been charged with the responsibility of ensuring that electronic teaching materials can be accessed by disabled students. In an attempt to explore how learning technologists are developing practices to produce accessible electronic materials this paper will present a review of current accessibility practice. The review will focus on what key professionals (academics, researchers, educational developers and staff developers) within the learning technology field are saying and doing about making electronic materials and resources accessible to disabled students. Key issues that may influence the "accessibility" practices of learning technologists are highlighted; the importance of these issues for developing an understanding of "accessibility" practices is discussed and implications for future research are identifie

Tertiary students with a disability or chronic illness: stigma and study

This paper explores ways to support the learning of students with a disability or chronic illness based on preliminary findings of a University of Southern Queensland study, and supporting secondary literature. It argues that for such students the capacity for greater control and management of their ‘learning journey’ is as important as access to specialised disability support services. This is because reframing support of students with a disability or chronic illness in terms of ‘choice’ and ‘self-management’ allows them to maintain their identity as ‘able, effective students’. This approach is supported by secondary literature, which affirms that for students with an invisible disability or chronic illness there is often a reluctance to be so – labelled because of the associated stigma. Instead, students often manage their illness by making particular choices about their learning, including their mode of study, and which courses to enrol in. This tendency is echoed by preliminary findings from a University of Southern Queensland (USQ) study based on the learning experiences of students with a chronic illness. These and other findings point to the centrality of the student learning experience and have implications for learning and teaching design within both enabling, and broader university curricula. The paper finishes by examining specific curriculum design responses to the issue of student disability, including the development of learning communities and the potential for more inclusive assessment modes and practices

The poiesis of everyday life and space in Yüksel Street

A

Editorial

Disability, technology and e‐learning: challenging conception

The lived experience of women in middle management; the barriers and opportunities for career advancement

Hægt gengur að jafna stöðu kynjanna í efstu stjórnunarþrepum fyrirtækja á Íslandi. Í rannsókninni er sjónum beint að konum sem gegna stöðum millistjórnenda í stórum eða meðalstórum fyrirtækjum og eru því í hópi mögulegra yfirstjórnenda framtíðarinnar. Markmið rannsóknarinnar er að öðlast skilning á upplifun og reynslu kvennanna af stöðu sinni, hindrunum og möguleikum til starfsþróunar. Viðtöl við þær voru greind og túlkuð eftir aðferðum fyrirbærafræðinnar. Helstu niðurstöður benda til þess að flókinn vefur óáþreifanlegra hindrana sé til staðar í formi karllægrar menningar, viðhorfa, formgerða fyrirtækja sem og langlífra staðalímynda. Konurnar upplifa efsta stjórnunarlagið sem lokaða karlaklíku; yfirstjórnendastörfin sem sniðin að þörfum og aðstæðum karlmanna og að þær geti ekki bætt á sig frekari ábyrgð; vinnusemi og vandvirkni þeirra finnst þeim ekki metin að verðleikum og loks máta þær sig í hlutverk yfirstjórnandans og áfellast sjálfar sig fyrir að falla ekki að staðalímyndinni. Í sameiningu draga þessir þættir úr sjálfstrausti kvennanna og þrótti til að sækjast eftir hærri stöðum ásamt því að valda þeim álagi og um leið viðhalda raunverulegum vanda ójafnréttis kynjanna í æðstu stjórnendastöðum fyrirtækjanna.Despite Iceland’s excellent performance on many gender equality measures, its ratio of women in top-management positions is improving very slowly. This research focuses on women who hold middle management positions in some of the largest organizations in Iceland, women who could be in line for top-management positions. It aims to understand the lived experiences of these women, the barriers, and opportunities for career development. In-depth interviews with eleven women were analyzed and interpreted according to phenomenological methodology. Findings reveal that the women feel they face insurmountable barriers on their way up the corporate ladder. They experience top-management as a closed Old Boys’ Club; top management jobs as tailored for men, requiring them to take on unbearable responsibilities; their diligence as unappreciated; and finally, they compare and contrast themselves with the stereotypical male-executive and blame themselves for not fitting the stereotype. These combined factors undermine the women’s self-confidence and ambition even further and thus maintain and reinforce the gender-imbalance in top management.Peer Reviewe

Frænkan með stóru nammitöskuna : reynsla konu sem hefur valið sér barnleysi

To access publisher full text version of this article. Please click on the hyperlink in Additional Link fieldTilgangur þessarar rannsóknar var að auka skilning á reynslu konu sem ákveðið hefur að eignast ekki börn. Gerð var eigindleg rannsókn, nánar tiltekið fyrirbærafræðileg tilfellarannsókn, í anda Vancouver-skólans. Rannsóknir á fyrirframákveðnu barnleysi kvenna hafa sýnt að konur eru oft ungar þegar þær ákveða að eignast ekki börn. Einnig er ljóst að konurnar þurfa oft að velja á milli starfsframa og barneigna. Viðhorf samfélagsins eru gjarnan á þann veg að konur, sem kjósa að eiga ekki börn, verða fyrir áreiti. Niðurstöður þessarar rannsóknar eru þær að samfélagið hefur hingað til krafist þess af konum að þær eignist börn en hugsanlega getur það sætt sig við þá skýringu að illa gangi upp að sinna uppeldishlutverki og krefjandi stjórnunarstarfi. Einnig má álykta sem svo að konur öðlist fremur stjórn á eigin lífi ef þær bera ekki uppeldisskyldur gagnvart barni. Leiða má líkur að því að makaval kvenna, sem kjósa að eignast ekki börn, geti stjórnast af þeirri ákvörðun

Tekist á við tíðarhvörf : um líðan og afstöðu 47 til 53 ára kvenna til tíðarhvarfa og notkunar tíðarhvarfahormóna

Neðst á síðunni er hægt að nálgast greinina í heild sinni með því að smella á hlekkinn View/OpenBackground: The unexpected findings of the WHI-study, made public in July 2002, showed that the risk of using combined hormone therapy (HT) exceeded its benefits. This complicated women’s decision making about whether to use HT or not and makes it important to study the determinants of women’s attitudes to HT. Aim: This study sought to illuminate what influences women’s decisions about HT, describe the extent and source of menopausal education, symptom experience, health and lifestyle, knowledge about the findings of the WHI-study and attitudes towards HT and towards menopause. Methods: A self-administered questionnaire based on dichotomous questions, multiple choice questions and questions on attitudes, was mailed to 1000 women randomly selected from the National Registry of Iceland. Response rate was56%. Findings: 252 participants had used HT and 46% had stopped its use. Younger women were less likely to use HT. The reasons given for HT use were mostly symptom management. Older women and users of HT held more positive view towards HT than the comparison groups. However, never HT users held more positive attitudes towards menopause than users. 51% of participants received adequate menopausal education while 84% stated that the health authorities should provide more menopausal education. Major source of menopausal education was media and female friends. The participants discussed use of HT mostly with a physician. 65% had heard about the WHI-study and the findings influenced the decision of a large proportion of HT users as well as women intending to use HT about whether to continue, stop, or start using HT. Conclusion: Perimenopausal Icelandic women have stopped or are considering to stop using HT due to the findings of the WHI-study. They also want more menopausal education provided by the health authorities. Physicians are very influential in their decision making regarding HT use.Bakgrunnur: Notkun tíðahvarfahormóna jókst mjög upp úr 1990. Niðurstöður bandarískrar rannsóknar frá árinu 2002 sýndu óvænt að áhætta af notkun tíðahvarfahormóna var meiri en talið hafði verið. Markmið: Lýsa hvað hefur áhrif á ákvörðun kvenna um að nota tíðahvarfahormóna, líðan þeirra við tíðahvörf, viðhorfum til tíðahvarfa og til notkunar tíðahvarfahormóna, mati þeirra á fræðslu sem þær hafa fengið um tíðahvörf og afstöðu þeirra til ýmissa atriða sem tengjast þekkingu á fyrrnefndri rannsókn. Aðferð: Spurningalisti byggður á tvíkosta spurningum, einföldum fjölvalsspurningum og viðhorfaspurningum, var sendur 1000 konum á aldrinum 47-53 ára völdum af handahófi úr þjóðskrá. Svörun var 56%. Niðurstöður: 252 þátttakendur höfðu notað tíðahvarfahormón og voru 46% þeirra hættir notkun. Yngri konur höfðu síður notað hormón en þær eldri. Helstu ástæður notkunar voru hitakóf, svitakóf og svefntruflanir. Eldri konur og notendur hormóna höfðu jákvæðara viðhorf til notkunar hormóna en hinar. Hins vegar hafa þær sem aldrei hafa notað hormón jákvæðari viðhorf til tíðahvarfa en notendur hormóna. 51% þátttakenda sagðist hafa fengið næga fræðslu um tíðahvörf og 84% sögðu að fræðslan mætti vera meiri á vegum heilbrigðisyfirvalda. Eldri konur höfðu oftar fengið fræðslu en þær yngri, og notendur hormóna voru frekar á því að fræðsla á vegum heilbrigðisyfirvalda væri ekki nægileg en þær sem aldrei hafa notað hormón. Helstu uppsprettur fróðleiks um tíðahvörf eru fjölmiðlar og vinkonur. Algengast er að konur ræði við lækni um notkun hormóna. 65% hafði heyrt af ofannefndri rannsókn og sagði stór hluti notenda hormóna að niðurstöðurnar hefðu valdið því að þær hefðu hætt eða hugleitt að hætta að nota hormón. Meðal kvenna, sem hugleiða að hefja notkun hormóna, skiptir miklu máli að ekki er nóg vitað um áhættu af notkun hormóna. Lokaorð: Rannsókn þessi sýnir að íslenskar konur á tíðahvarfaaldri hafa dregið úr notkun tíðahvarfahormóna frá árinu 2002. Þær vilja fá greinargóðar upplýsingar um hormónameðferð og telja að fræðsla um tíðahvörf ætti að vera meiri á vegum heilbrigðisyfirvalda. Helst leita þær ráða hjá lækni um notkun hormóna

Dietary habits and their association with blood pressure among elderly Icelandic people

Neðst á síðunni er hægt að nálgast greinina í heild sinni með því að smella á hlekkinn View/Open Allur texti - Full textOBJECTIVE: Prevalence of hypertension, which is the most common risk factor for cardiovascular disease in elderly people, increases with age. The aim of the study was to investigate the association between diet and blood pressure in elderly Icelanders, with focus on cod liver oil, and to compare their diet to dietary guidelines. MATERIAL AND METHODS: Diet was assessed using three-day weighed food records and blood pressure was measured after a 12-hour-fast in 236, 65-91 years old, Icelanders living in the capital area of Iceland. 99 men (42%) and 137 women (58%) participated in the study. RESULTS: According to Nordic nutrition recommendations, intake of nutrients was above lower intake levels among the majority of participants. However, 19% were under this level for vitamin-D, 13% for iodine, 17% of men for vitamin-B6, and 26% and 12% of men and women, respectively, for iron. Systolic blood pressure was inversely associated with cod liver oil intake, even when adjusted for age, body mass index, gender, and antihypertensive medications (P=0.01). Intake of long-chain omega-3 fatty acids correlated with blood pressure in a similar way. Other dietary factors were not associated with blood pressure. CONCLUSION: The results indicate that intake of cod liver oil is associated with lower blood pressure among elderly people and may therefore have beneficial effects on health. A notable proportion of participants was at risk of vitamin D, vitamin B6, iodine, and iron deficiency.Tilgangur: Tíðni langvinnra sjúkdóma, svo sem háþrýstings, eykst með hækkandi aldri, en fæðuvenjur og aðrir lífsstílsþættir geta haft áhrif á þessa þróun. Þar sem háþrýstingur er einn helsti áhættuþáttur hjarta- og æðasjúkdóma meðal eldra fólks eru tengsl mataræðis og blóðþrýstings mikilvægt rannsóknarefni. Tilgangur rannsóknarinnar var að kanna tengsl fæðuþátta, sérstaklega lýsis, við blóðþrýsting meðal eldri Íslendinga á höfuðborgarsvæðinu og meta fæðuneyslu þeirra með samanburði við íslenskar og norrænar ráðleggingar um mataræði og næringarefni. Efniviður og aðferðir: Þátttakendur voru 236 talsins, 65 til 91 árs gamlir Íslendingar af höfuðborgarsvæðinu. Níutíu og níu karlar (42%) og 137 konur (58%) tóku þátt. Mataræði þeirra var metið með þriggja daga veginni fæðuskráningu og blóðþrýstingur mældur eftir 12 tíma föstu. Niðurstöður: Flestir þátttakendur fengu meira en lágmarksskammt af öllum nauðsynlegum næringarefnum. Hins vegar fengu 19% minna en lágmarksskammt af D-vítamíni, 13% af joði, 17% karla af B6-vítamíni, og 26% karla og 12% kvenna af járni. Marktæk neikvæð fylgni var á milli lýsisneyslu og slagbilsþrýstings. Þessi tengsl voru enn til staðar eftir að leiðrétt hafði verið fyrir aldri, þyngdarstuðli, kyni og inntöku á blóðþrýstingslækkandi lyfjum (p=0,01). Neysla á löngum ómega-3 fitusýrum tengdist slagbilsþrýstingi einnig marktækt. Aðrir fæðuþættir tengdust ekki blóðþrýstingi. Ályktanir: Niðurstöður benda til þess að neysla á lýsi sé tengd lægri blóðþrýstingi meðal eldra fólks og hafi á þann hátt jákvæð áhrif á heilsufar. Stór hluti þátttakenda var í áhættuhópi vegna skorts á D-vítamíni, B6-vítamíni, joði og járni