1,984 research outputs found
Analytically weak solutions to SPDEs with unbounded time-dependent differential operators and an application
We analyze the concepts of analytically weak solutions of stochastic
differential equations (SDEs) in Hilbert spaces with time-dependent unbounded
operators and give conditions for existence and uniqueness of such solutions.
Our studies are motivated by a stochastic partial differential equation (SPDE)
arising in industrial mathematics
Studentsâ Behaviours in using Learning Resources in Higher Education: How do behaviours reflect success in Programming Education?
[EN] Programming education traditionally has been an important part of Information Technology-related degrees but, more recently, it is also becoming essential in many STEM domains as well. Despite this, drop-out rates in programming courses in higher education institutions are considerable and cannot be ignored. At the same time, analysing learning behaviours has been reported to be an effective way to support the improvement of teaching and learning quality. This article aims to deliver an in-depth analysis of studentsâ learning behaviours when using course material items. We analyse an introductory programming course at a University in Dublin. The dataset is extracted from automatically logged learning data from a bespoke online learning system. The analysis makes use of the power of Principal Component Analysis and Random Matrix Theory to reduce dimensionality in, and to extract information from, the data, verifying the results with rigorous statistical tests. Overall, we found that all the students follow a common learning pattern in accessing all given learning items. However, there is a noticeable difference between higher and lower-performing cohorts of students when using practical and theoretical learning items. The high performing students have been consistently active in practice during the study progress. On the other hand, the students who failed the exam have more recorded activities in reading lecture notes and appear to become discouraged and unmotivated from the practical activities, especially in the later stage of the semester.This research is financially supported by Irish Research Council.Mai, T.; Crane, M.; Bezbradica, M. (2021). Studentsâ Behaviours in using Learning Resources in Higher Education: How do behaviours reflect success in Programming Education?. En 7th International Conference on Higher Education Advances (HEAd'21). Editorial Universitat Politècnica de València. 47-55. https://doi.org/10.4995/HEAd21.2021.12939OCS475
Seismic wave attenuation from borehole and surface records in the top 2.5km beneath the city of Basel, Switzerland
We investigate attenuation (Qâ1) of sediments of 2.5-3.5km thickness underneath the city of Basel, Switzerland. We use recordings of 195 induced events that were obtained during and after the stimulation of a reservoir for a Deep Heat Mining Project in 2006 and 2007. The data set is ideally suited to estimate Q as all events are confined to a small source volume and were recorded by a dense surface network as well as six borehole sensors at various depths. The deepest borehole sensor is positioned at a depth of 2.7km inside the crystalline basement at a mean hypocentral distance of 1.8km. This allows us to measure Q for frequencies between 10 and 130 Hz. We apply two different methods to estimate Q. First, we use a standard spectral ratio technique to obtain Q, and as a second measure we estimate Q in the time domain, by convolving signals recorded by the deepest sensor with a Q operator and then comparing the convolved signals to recordings at the shallower stations. Both methods deliver comparable values for Q. We also observe similar attenuation for P- and S- waves (QPâźQS). As expected, Q increases with depth, but with values around 30-50, it is low even for the consolidated Permian and Mesozoic sediments between 500 and 2700
Estimating resource bounds for software transactions
We present an effect based static analysis to calculate upper and lower bounds on the memory resource consumption in a transactional calculus. The calculus is a concurrent variant of Featherweight Java extended by transactional constructs.
The model supports nested and concurrent transactions. The analysis is compositional and takes into account implicit join synchronizations that arise when more than one thread perfom a join-synchronization when jointly committing a transaction. Central for a compositional and precise analysis is to capture as part of the effects a tree-representation of the future resource consumption and synchronization points (which we call joining commit trees). We show the soundness of the analysis
- âŚ