Opin vísindi
Opin vísindi er varðveislusafn vísindaefnis og doktorsritgerða í opnum aðgangi á vegum íslenskra háskóla og Landsbókasafns Íslands - Háskólabókasafns.
Opinn aðgangur að rannsóknaniðurstöðum er í samræmi við 10. gr. laga nr. 3/2003 um opinberan stuðning við vísindarannsóknir sem og kröfur innlendra og erlendra rannsóknasjóða. Markmiðið með opnum aðgangi er að niðurstöður rannsókna séu aðgengilegar sem flestum óhindrað og án endurgjalds á rafrænu formi. Vistun í varðveislusafninu er varanleg og ætlað að tryggja aðgang að vísindaefni íslenskra háskóla í opnum aðgangi um ókomna tíð. Varðveislusafnið Opin vísindi er tengt við rannsóknagáttina IRIS og rannsóknaniðurstöður í opnum aðgangi sem eru skráðar í IRIS eru um leið vistaðar og gerðar aðgengilegar til framtíðar í varðveislusafninu. Með því að safna þessu efni saman í eitt safn verður aðgangur að því einfaldur og þægilegur fyrir alla sem vilja kynna sér það og geta þannig notið þess öfluga vísindastarfs sem fram fer í háskólum landsins.
Varðveislusafnið er OpenAIRE / OpenAIREplus samhæft og samrýmist kröfum sem gerðar eru um birtingu rannsóknaniðurstaðna úr verkefnum sem styrkt eru úr evrópsku rannsóknaáætlununum FP7 og H2020.
Varðveislusafnið notar opna hugbúnaðinn DSpace.
Opinn aðgangur að rannsóknaniðurstöðum er í samræmi við 10. gr. laga nr. 3/2003 um opinberan stuðning við vísindarannsóknir sem og kröfur innlendra og erlendra rannsóknasjóða. Markmiðið með opnum aðgangi er að niðurstöður rannsókna séu aðgengilegar sem flestum óhindrað og án endurgjalds á rafrænu formi. Vistun í varðveislusafninu er varanleg og ætlað að tryggja aðgang að vísindaefni íslenskra háskóla í opnum aðgangi um ókomna tíð. Varðveislusafnið Opin vísindi er tengt við rannsóknagáttina IRIS og rannsóknaniðurstöður í opnum aðgangi sem eru skráðar í IRIS eru um leið vistaðar og gerðar aðgengilegar til framtíðar í varðveislusafninu. Með því að safna þessu efni saman í eitt safn verður aðgangur að því einfaldur og þægilegur fyrir alla sem vilja kynna sér það og geta þannig notið þess öfluga vísindastarfs sem fram fer í háskólum landsins.
Varðveislusafnið er OpenAIRE / OpenAIREplus samhæft og samrýmist kröfum sem gerðar eru um birtingu rannsóknaniðurstaðna úr verkefnum sem styrkt eru úr evrópsku rannsóknaáætlununum FP7 og H2020.
Varðveislusafnið notar opna hugbúnaðinn DSpace.
Nýlega bætt við
A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders
(Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2022-07-01) Exibard, Léo; Filiot, Emmanuel; Khalimov, Ayrat; Bojanczyk, Mikolaj; Merelli, Emanuela; Woodruff, David P.
We study synthesis of reactive systems interacting with environments using an infinite data domain. A popular formalism for specifying and modelling such systems is register automata and transducers. They extend finite-state automata by adding registers to store data values and to compare the incoming data values against stored ones. Synthesis from nondeterministic or universal register automata is undecidable in general. However, its register-bounded variant, where additionally a bound on the number of registers in a sought transducer is given, is known to be decidable for universal register automata which can compare data for equality, i.e., for data domain (ℕ,=). This paper extends the decidability border to the domain (ℕ,<) of natural numbers with linear order. Our solution is generic: we define a sufficient condition on data domains (regular approximability) for decidability of register-bounded synthesis. The condition is satisfied by natural data domains like (ℕ,<). It allows one to use simple language-theoretic arguments and avoid technical game-theoretic reasoning. Further, by defining a generic notion of reducibility between data domains, we show the decidability of synthesis in the domain (ℕd,
Impact or No Impact for Women With Mild Knee Osteoarthritis : A Bayesian Meta-Analysis of Two Randomized Controlled Trials With Contrasting Interventions
(2022-07) Heikkinen, Risto; Waller, Benjamin; Munukka, Matti; Multanen, Juhani; Heinonen, Ari; Karvanen, Juha
Objective: To predict the probability of a benefit from 2 contrasting exercise programs for women with a new diagnosis of mild knee osteoarthritis, and to estimate the short- and long-term effects of aquatic resistance training (ART) and high-impact aerobic land training (HLT) compared with a control. Methods: Original data sets from 2 previously conducted randomized controlled trials were combined and used in a Bayesian meta-analysis. Group differences in multiple response variables were estimated. Variables included cardiorespiratory fitness, dynamic maximum leg muscle power, maximal isometric knee extension and flexion force, pain, other symptoms, and quality of life. The statistical model included a latent commitment variable for each female participant. Results: ART had a 55–71% probability of benefits in the outcome variables, and as the main effect, the intervention outperformed the control in cardiorespiratory fitness, with a probability of 71% immediately after the intervention period. HLT had a 46–63% probability of benefits after intervention with the outcome variables, but differently from ART; the positive effects of physical performance fade away during the follow-up period. Overall, the differences between groups were small, and the variation in the predictions between individuals was high. Conclusion: Both interventions had benefits, but ART has a slightly higher probability of long-term benefits on physical performance. Because of high individual variation and no clear advantage of one training method over the other, personal preferences should be considered in the selection of the exercise program to ensure highest commitment to training.
Functional Brain Dysconnectivity in Parkinson's Disease : A 5-Year Longitudinal Study
(2022-07) Yassine, Sahar; Gschwandtner, Ute; Auffret, Manon; Achard, Sophie; Verin, Marc; Fuhr, Peter; Hassan, Mahmoud
Background: Tracking longitudinal functional brain dysconnectivity in Parkinson's disease (PD) is a key element to decoding the underlying physiopathology and understanding PD progression. Objectives: The objectives of this follow-up study were to explore, for the first time, the longitudinal changes in the functional brain networks of PD patients over 5 years and to associate them with their cognitive performance and the lateralization of motor symptoms. Methods: We used a 5-year longitudinal cohort of PD patients (n = 35) who completed motor and non-motor assessments and sequent resting state (RS) high-density electroencephalography (HD-EEG) recordings at three timepoints: baseline (BL), 3 years follow-up (3YFU) and 5 years follow-up (5YFU). We assessed disruptions in frequency-dependent functional networks over the course of the disease and explored their relation to clinical symptomatology. Results: In contrast with HC (n = 32), PD patients showed a gradual connectivity impairment in α2 (10-13 Hz) and β (13–30 Hz) frequency bands. The deterioration in the global cognitive assessment was strongly correlated with the disconnected networks. These disconnected networks were also associated with the lateralization of motor symptoms, revealing a dominance of the right hemisphere in terms of impaired connections in the left-affected PD patients in contrast to dominance of the left hemisphere in the right-affected PD patients. Conclusions: Taken together, our findings suggest that with disease progression, dysconnectivity in the brain networks in PD can reflect the deterioration of global cognitive deficits and the lateralization of motor symptoms. RS HD-EEG may be an early biomarker of PD motor and non-motor progression.
Anxious and status signaling : Examining the link between attachment style and status consumption and the mediating role of materialistic values
(2022-05) Gasiorowska, Agata; Folwarczny, Michał; Otterbring, Tobias; Department of Business and Economics
Attachment theory has recently been recognized as a potentially fruitful avenue for studying consumer behavior. However, few studies have examined the relationship between attachment styles and consumer preferences. Based on literature suggesting that individuals with an anxious attachment style have a particularly strong need for attention, we conducted two studies with a total sample of over 2000 participants, which tested and found that anxiously attached consumers displayed a higher propensity to purchase status-signaling goods than their counterparts with secure attachment styles. This effect was mediated by materialistic values, such that participants with an anxious attachment style reported the highest materialistic values. Additionally, we found mixed evidence for the relationship between an avoidant attachment style, materialism, and status consumption. Together, these findings highlight the importance of attachment theory in the study of status consumption and offer potential implications for research on social status and related research areas.
Faster Exploration of Some Temporal Graphs
(Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2022-04-01) Adamson, Duncan; Gusev, Vladimir V.; Malyshev, Dmitriy; Zamaraev, Viktor; Aspnes, James; Michail, Othon
A temporal graph G = (G1, G2,..., GT ) is a graph represented by a sequence of T graphs over a common set of vertices, such that at the ith time step only the edge set Ei is active. The temporal graph exploration problem asks for a shortest temporal walk on some temporal graph visiting every vertex. We show that temporal graphs with n vertices can be explored in O(kn1.5 log n) days if the underlying graph has treewidth k and in O(n1.75 log n) days if the underlying graph is planar. Furthermore, we show that any temporal graph whose underlying graph is a cycle with k chords can be explored in at most 6kn days. Finally, we demonstrate that there are temporal realisations of sub cubic planar graphs that cannot be explored faster than in Ω(n log n) days. All these improve best known results in the literature.
Flokkar í Opnum vísindum
Veldu flokk til að skoða.
- University of Iceland
- University of Akureyri
- Bifröst University
- Hólar University College
- IRIS
- Agricultural University of Iceland
- National and University Library of Iceland
- Iceland University of the Arts