Efficient total variation algorithm for fetal MRI reconstruction

Fetal MRI reconstruction aims at finding a high-resolution image given a small set of low-resolution images. It is usually modeled as an inverse problem where the regularization term plays a central role in the reconstruction quality. Literature has considered several regularization terms s.a. Dirichlet/Laplacian energy [1], Total Variation (TV)based energies [2,3] and more recently non-local means [4]. Although TV energies are quite attractive because of their ability in edge preservation, standard explicit steepest gradient techniques have been applied to optimize fetal-based TV energies. The main contribution of this work lies in the introduction of a well-posed TV algorithm from the point of view of convex optimization. Specifically, our proposed TV optimization algorithm for fetal reconstruction is optimal w.r.t. the asymptotic and iterative convergence speeds O(1/n(2)) and O(1/root epsilon), while existing techniques are in O(1/n) and O(1/epsilon). We apply our algorithm to (1) clinical newborn data, considered as ground truth, and (2) clinical fetal acquisitions. Our algorithm compares favorably with the literature in terms of speed and accuracy.

A measure of stability as a criterion for the verification and analysis of simulation models

The aim of this study is to define a new statistic, PVL, based on the relative distance between the likelihood associated with the simulation replications and the likelihood of the conceptual model. Our results coming from several simulation experiments of a clinical trial show that the PVL statistic range can be a good measure of stability to establish when a computational model verifies the underlying conceptual model. PVL improves also the analysis of simulation replications because only one statistic is associated with all the simulation replications. As well it presents several verification scenarios, obtained by altering the simulation model, that show the usefulness of PVL. Further simulation experiments suggest that a 0 to 20 % range may define adequate limits for the verification problem, if considered from the viewpoint of an equivalence test.

Simulation-based evaluation of susceptibility distortion correction methods in diffusion MRI for connectivity analysis

Connectivity analysis on diffusion MRI data of the whole- brain suffers from distortions caused by the standard echo- planar imaging acquisition strategies. These images show characteristic geometrical deformations and signal destruction that are an important drawback limiting the success of tractography algorithms. Several retrospective correction techniques are readily available. In this work, we use a digital phantom designed for the evaluation of connectivity pipelines. We subject the phantom to a âeurooetheoretically correctâeuro and plausible deformation that resembles the artifact under investigation. We correct data back, with three standard methodologies (namely fieldmap-based, reversed encoding-based, and registration- based). Finally, we rank the methods based on their geometrical accuracy, the dropout compensation, and their impact on the resulting connectivity matrices.

How to report multiple outcome metrics in virtual reality simulation

Background Virtual reality (VR) simulation is increasingly used in surgical disciplines. Since VR simulators measure multiple outcomes, standardized reporting is needed. Methods We present an algorithm for combining multiple VR outcomes into dimension summary measures, which are then integrated into a meaningful total score. We reanalyzed the data of two VR studies applying the algorithm. Results The proposed algorithm was successfully applied to both VR studies. Conclusions The algorithm contributes to standardized and transparent reporting in VR-related research.

Celiac plexus block: an anatomical study and simulation using computed tomography

Objective: To analyze anatomical variations associated with celiac plexus complex by means of computed tomography simulation, assessing the risk for organ injury as the transcrural technique is utilized. Materials and Methods: One hundred eight transaxial computed tomography images of abdomen were analyzed. The aortic-vertebral, celiac trunk (CeT)-vertebral, CeT-aortic and celiac-aortic-vertebral topographical relationships were recorded. Two needle insertion pathways were drawn on each of the images, at right and left, 9 cm and 4.5 cm away from the midline. Transfixed vital organs and gender-related associations were recorded. Results: Aortic-vertebral - 45.37% at left and 54.62% in the middle; CeT-vertebral - T12, 36.11%; T12-L1, 32.4%; L1, 27.77%; T11-T12, 2.77%; CeT-aortic - 53.7% at left and 46.3% in the middle; celiac-aortic-vertebral - L-l, 22.22%; M-m, 23.15%; L-m, 31.48%; M-l, 23.15%. Neither correspondence on the right side nor significant gender-related associations were observed. Conclusion: Considering the wide range of abdominal anatomical variations and the characteristics of needle insertion pathways, celiac plexus block should not be standardized. Imaging should be performed prior to the procedure in order to reduce the risks for injuries or for negative outcomes to patients. Gender-related anatomical variations involved in celiac plexus block should be more deeply investigated, since few studies have addressed the subject.

Simulation of a Virtual Campus at the Open University of Catalonia

Peer-reviewed

Efficient Peer Selection in P2P JXTA-Based Platforms

Peer-reviewed

A Co-Processor Approach for Efficient Java Execution in Embedded Systems

This thesis deals with a hardware accelerated Java virtual machine, named REALJava. The REALJava virtual machine is targeted for resource constrained embedded systems. The goal is to attain increased computational performance with reduced power consumption. While these objectives are often seen as trade-offs, in this context both of them can be attained simultaneously by using dedicated hardware. The target level of the computational performance of the REALJava virtual machine is initially set to be as fast as the currently available full custom ASIC Java processors. As a secondary goal all of the components of the virtual machine are designed so that the resulting system can be scaled to support multiple co-processor cores. The virtual machine is designed using the hardware/software co-design paradigm. The partitioning between the two domains is flexible, allowing customizations to the resulting system, for instance the floating point support can be omitted from the hardware in order to decrease the size of the co-processor core. The communication between the hardware and the software domains is encapsulated into modules. This allows the REALJava virtual machine to be easily integrated into any system, simply by redesigning the communication modules. Besides the virtual machine and the related co-processor architecture, several performance enhancing techniques are presented. These include techniques related to instruction folding, stack handling, method invocation, constant loading and control in time domain. The REALJava virtual machine is prototyped using three different FPGA platforms. The original pipeline structure is modified to suit the FPGA environment. The performance of the resulting Java virtual machine is evaluated against existing Java solutions in the embedded systems field. The results show that the goals are attained, both in terms of computational performance and power consumption. Especially the computational performance is evaluated thoroughly, and the results show that the REALJava is more than twice as fast as the fastest full custom ASIC Java processor. In addition to standard Java virtual machine benchmarks, several new Java applications are designed to both verify the results and broaden the spectrum of the tests.

Metsäpolttoaineiden vesitiekuljetus proomukalustolla

Metsäpolttoaineiden käyttö kasvaa lämpö- ja voimalaitoksissa ja mahdollisissa biojalostamoissa. Metsäpolttoaineilla voidaan saavuttaa päästövähennyksiä korvaamalla päästöintensiivisempiä polttoaineita. Metsäpolttoaineen kysynnän kasvu suurkäyttöpaikoilla luo uusia vaatimuksia metsäbiomassan hankintaan. Metsäpolttoaineiden vesitiekuljetuksen sisältämiä logistiikkajärjestelmiä kehittämällä toimitusvarmuutta pystytään parantamaan ja hankintaa laajentamaan kustannustehokkaasti ja ympäristöystävällisesti. Kuljetuskokeilut antoivat uutta tietoa vesitiekuljetuksen sisältämästä hankinnasta. Lastikapasiteetti nykyisen kaltaisessa Eurooppa IIa -suurproomussa vaihtelee 1200 tonnista jopa 1800 tonniin (kosteus 40 %) riippuen tiivistymisestä ja proomun modifiointiasteesta. Metsähakkeen energiatiheys oli suurproomukuljetuksissa keskimäärin 1 MWh/i-m3, joka oli 25 % parempi kuin vertailun hakerekkakuljetuksissa. Vesitiekuljetuksen kustannukset olivat kuljetuskokeiluissa lastauksineen ja purkuineen 0,02 €/MWh/km, ollen noin 20 % ketjun kokonaiskustannuksista. Simuloinnin edullisimpien vesitiekuljetusvaihtoehtojen vaihteluvälin kustannukset olivat vastaavasti 0,013 - 0,026 €/MWh/km. Lastauksen ja purun kustannus oli 0,4 - 0,6 €/MWh ja vesitiekuljetus 0,9 - 2,0 €/MWh (100 km). Ketjun kokonaiskustannukset hakkuutähdehakkeelle vaihtelivat simuloinnin edullisimpien vaihtoehtojen perusteella välillä 10,8 - 12,1 €/MWh (30 km rekka, 100 km proomu). Kuljetusketjujen simuloinnin kustannukset osoittivat proomukuljetusketjun olevan kilpailukykyinen vaihtoehto hakerekkakuljetusketjulle kalustosta ja vuosittaisista käyttötunneista riippuen kuljetusetäisyyden ylittäessä 100 km. Kustannustehokkain ratkaisu vesitiekuljetuksessa saavutettiin pienen aluksen ja suuren kokoluokan proomuyksikön kytkyeellä. Haketus kannattaa toteuttaa ennen proomukuljetuksen osuutta metsähakkeen paremman tiiviyden ja käsiteltävyyden perusteella. Logistiikkajärjestelmiä pitää kehittää tapauskohtaisesti käyttöpaikan tarpeet ja olosuhteet huomioon ottaen. Metsäpolttoaineiden vesitiekuljetuksen sisältämän logistiikan liiketoimintamallien vertailussa arvioitiin vaihtoehtoiset ulkoistetut toimintamallit paremmaksi kuin nykyinen urakointimalli. Tämä mahdollistaa paremman metsähakkeen saatavuuden ja logistiikan tehokkuuden lastausterminaaleissa. Terminaalitoiminnot ja proomukuljetukset lisäävät uusia liiketoimintamahdollisuuksia ja mahdollistavat metsäpolttoaineiden

Threat Simulation- The Function of Dreaming?

Dreaming is a pure form of phenomenality, created by the brain untouched by external stimulation or behavioral activity, yet including a full range of phenomenal contents. Thus, it has been suggested that the dreaming brain could be used as a model system in a biological research program on consciousness (Revonsuo, 2006). In the present thesis, the philosophical view of biological realism is accepted, and thus, dreaming is considered as a natural biological phenomenon, explainable in naturalistic terms. The major theoretical contribution of the present thesis is that it explores dreaming from a multidisciplinary perspective, integrating information from various fields of science, such as dream research, consciousness research, evolutionary psychology, and cognitive neuroscience. Further, it places dreaming into a multilevel framework, and investigates the constitutive, etiological, and contextual explanations for dreaming. Currently, the only theory offering a full multilevel explanation for dreaming, that is, a theory including constitutive, etiological, and contextual level explanations, is the Threat Simulation Theory (TST) (Revonsuo, 2000a; 2000b). The empirical significance of the present thesis lies in the tests conducted to test this specific theory put forth to explain the form, content, and biological function of dreaming. The first step in the empirical testing of the TST was to define exact criteria for what is a ‘threatening event’ in dreams, and then to develop a detailed and reliable content analysis scale with which it is possible to empirically explore and quantify threatening events in dreams. The second step was to seek answers to the following questions derived from the TST: How frequent threatening events are in dreams? What kind of qualities these events have? How threatening events in dreams relate to the most recently encoded or the most salient memory traces of threatening events experienced in waking life? What are the effects of exposure to severe waking life threat on dreams? The results reveal that threatening events are relatively frequent in dreams, and that the simulated threats are realistic. The most common threats include aggression, are targeted mainly against the dream self, and include simulations of relevant and appropriate defensive actions. Further, real threat experiences activate the threat simulation system in a unique manner, and dream content is modulated by the activation of long term episodic memory traces with highest negative saliency. To sum up, most of the predictions of the TST tested in this thesis received considerable support. The TST presents a strong argument that explains the specific design of dreams as threat simulations. The TST also offers a plausible explanation for why dreaming would have been selected for: because dreaming interacted with the environment in such a way that enhanced fitness of ancestral humans. By referring to a single threat simulation mechanism it furthermore manages to explain a wide variety of dream content data that already exists in the literature, and to predict the overall statistical patterns of threat content in different samples of dreams. The TST and the empirical tests conducted to test the theory are a prime example of what a multidisciplinary approach to mental phenomena can accomplish. Thus far, dreaming seems to have always resided in the periphery of science, never regarded worth to be studied by the mainstream. Nevertheless, when brought to the spotlight, the study of dreaming can greatly benefit from ideas in diverse branches of science. Vice versa, knowledge learned from the study of dreaming can be applied in various disciplines. The main contribution of the present thesis lies in putting dreaming back where it belongs, that is, into the spotlight in the cross-road of various disciplines.

Non-Linear Journal Bearing Model for Analysis of Superharmonic Vibrations of Rotor Systems

A rotating machine usually consists of a rotor and bearings that supports it. The nonidealities in these components may excite vibration of the rotating system. The uncontrolled vibrations may lead to excessive wearing of the components of the rotating machine or reduce the process quality. Vibrations may be harmful even when amplitudes are seemingly low, as is usually the case in superharmonic vibration that takes place below the first critical speed of the rotating machine. Superharmonic vibration is excited when the rotational velocity of the machine is a fraction of the natural frequency of the system. In such a situation, a part of the machine’s rotational energy is transformed into vibration energy. The amount of vibration energy should be minimised in the design of rotating machines. The superharmonic vibration phenomena can be studied by analysing the coupled rotor-bearing system employing a multibody simulation approach. This research is focused on the modelling of hydrodynamic journal bearings and rotorbearing systems supported by journal bearings. In particular, the non-idealities affecting the rotor-bearing system and their effect on the superharmonic vibration of the rotating system are analysed. A comparison of computationally efficient journal bearing models is carried out in order to validate one model for further development. The selected bearing model is improved in order to take the waviness of the shaft journal into account. The improved model is implemented and analyzed in a multibody simulation code. A rotor-bearing system that consists of a flexible tube roll, two journal bearings and a supporting structure is analysed employing the multibody simulation technique. The modelled non-idealities are the shell thickness variation in the tube roll and the waviness of the shaft journal in the bearing assembly. Both modelled non-idealities may cause subharmonic resonance in the system. In multibody simulation, the coupled effect of the non-idealities can be captured in the analysis. Additionally one non-ideality is presented that does not excite the vibrations itself but affects the response of the rotorbearing system, namely the waviness of the bearing bushing which is the non-rotating part of the bearing system. The modelled system is verified with measurements performed on a test rig. In the measurements the waviness of bearing bushing was not measured and therefore it’s affect on the response was not verified. In conclusion, the selected modelling approach is an appropriate method when analysing the response of the rotor-bearing system. When comparing the simulated results to the measured ones, the overall agreement between the results is concluded to be good.

The Pursuit of Efficient Copyright Licensing : How Some Rights Reserved Attempts to Solve the Problems of All Rights Reserved

This dissertation analyses the growing pool of copyrighted works, which are offered to the public using Creative Commons licensing. The study consist of analysis of the novel licensing system, the licensors, and the changes of the "all rights reserved" —paradigm of copyright law. Copyright law reserves all rights to the creator until seventy years have passed since her demise. Many claim that this endangers communal interests. Quite often the creators are willing to release some rights. This, however, is very difficult to do and needs help of specialized lawyers. The study finds that the innovative Creative Commons licensing scheme is well suited for low value - high volume licensing. It helps to reduce transaction costs on several le¬vels. However, CC licensing is not a "silver bullet". Privacy, moral rights, the problems of license interpretation and license compatibility with other open licenses and collecting societies remain unsolved. The study consists of seven chapters. The first chapter introduces the research topic and research questions. The second and third chapters inspect the Creative Commons licensing scheme's technical, economic and legal aspects. The fourth and fifth chapters examine the incentives of the licensors who use open licenses and describe certain open business models. The sixth chapter studies the role of collecting societies and whether two institutions, Creative Commons and collecting societies can coexist. The final chapter summarizes the findings. The dissertation contributes to the existing literature in several ways. There is a wide range of prior research on open source licensing. However, there is an urgent need for an extensive study of the Creative Commons licensing and its actual and potential impact on the creative ecosystem.