36,003 research outputs found
Recommended from our members
Defamiliarizing assessment and feedback: exploring the potential of ‘moments of engagement’ to throw light on the marking of undergraduate assignments
Assessors’ perspectives on their evaluative practices remain relatively under-researched. Given evidence that higher education assessment and feedback continue to be problematic, this paper proposes a specific methodological innovation with potential to contribute both to research and practice in this area. It explores the potential of a micro-analysis of textual engagement, nested within an ethnographic approach, to defamiliarize the often taken-for-granted practice of marking. The study on which the paper is based used screen capture combined with audio-recorded, concurrent talk-around-text to throw light on the processes, strategies and perspectives of eight teachers within one university as they assessed undergraduates’ work. This close-up focus was nested within broader ethnographic data generation incorporating interviews, marked assignments and other assessment-related texts. The paper presents selected ‘moments of engagement’ to show how this methodology can offer a renewed understanding of evaluative literacies as complex, ‘messy’ and shot through with influences invisible in the final assessed text but which may nevertheless be highly consequential. The paper concludes by reflecting on the potential for this type of data and analysis to contribute to assessor development and inform debate about the future of higher education assessment
Dependently Typing R Vectors, Arrays, and Matrices
The R programming language is widely used in large-scale data analyses. It
contains especially rich built-in support for dealing with vectors, arrays, and
matrices. These operations feature prominently in the applications that form
R's raison d'\^etre, making their behavior worth understanding. Furthermore,
ostensibly for programmer convenience, their behavior in R is a notable
extension over the corresponding operations in mathematics, thereby offering
some challenges for specification and static verification.
We report on progress towards statically typing this aspect of the R
language. The interesting aspects of typing, in this case, warn programmers
about violating bounds, so the types must necessarily be dependent. We explain
the ways in which R extends standard mathematical behavior. We then show how
R's behavior can be specified in LiquidHaskell, a dependently-typed extension
to Haskell. In the general case, actually verifying library and client code is
currently beyond LiquidHaskell's reach; therefore, this work provides
challenges and opportunities both for typing R and for progress in
dependently-typed programming languages.Comment: 10 page
Deliberative Democracy, Perspective from Indo-Pacific Blogosphere: A Survey
Deliberation and communication within the national space have had numerous
implications on how citizens online and offline perceive government. It has
also impacted the relationship between opposition and incumbent governments in
the Indo-Pacific region. Authoritarian regimes have historically had control
over the dissemination of information, thereby controlling power and limiting
challenges from citizens who are not comfortable with the status quo. Social
media and blogs have allowed citizens of these countries to find a way to
communicate, and the exchange of information continues to rise. The quest by
both authoritarian and democratic regimes to control or influence the
discussion in the public sphere has given rise to concepts like cybertroopers,
congressional bloggers, and commentator bloggers, among others. Cybertroopers
have become the de facto online soldiers of authoritarian regimes who must
embrace democracy. While commentator and congressional bloggers have acted with
different strategies, commentator bloggers educate online citizens with
knowledgeable information to influence the citizens. Congressional bloggers are
political officeholders who use blogging to communicate their positions on
ongoing national issues. Therefore, this work has explored various concepts
synonymous with the Indo-Pacific public sphere and how it shapes elections and
democracy
CoRe-Sleep: A Multimodal Fusion Framework for Time Series Robust to Imperfect Modalities
Sleep abnormalities can have severe health consequences. Automated sleep
staging, i.e. labelling the sequence of sleep stages from the patient's
physiological recordings, could simplify the diagnostic process. Previous work
on automated sleep staging has achieved great results, mainly relying on the
EEG signal. However, often multiple sources of information are available beyond
EEG. This can be particularly beneficial when the EEG recordings are noisy or
even missing completely. In this paper, we propose CoRe-Sleep, a Coordinated
Representation multimodal fusion network that is particularly focused on
improving the robustness of signal analysis on imperfect data. We demonstrate
how appropriately handling multimodal information can be the key to achieving
such robustness. CoRe-Sleep tolerates noisy or missing modalities segments,
allowing training on incomplete data. Additionally, it shows state-of-the-art
performance when testing on both multimodal and unimodal data using a single
model on SHHS-1, the largest publicly available study that includes sleep stage
labels. The results indicate that training the model on multimodal data does
positively influence performance when tested on unimodal data. This work aims
at bridging the gap between automated analysis tools and their clinical
utility.Comment: 10 pages, 4 figures, 2 tables, journa
Taller de subtitulación con herramientas profesionales: cómo y por qué  enseñar a subtitular con WinCAPS Qu4ntum
Este taller práctico está dirigido a profesores de traducción que enseñen alguna modalidad de traducción audiovisual (en particular, subtitulación) o accesibilidad para los medios audiovisuales. El taller combina una introducción al uso del programa comercial de subtitulado WinCAPS Q4 con ejercicios prácticos para que los asistentes se familiaricen con el programa. Se cubrirán las funciones principales del programa, asà como los pasos a seguir para crear una plantilla de subtÃtulos y posteriormente traducirla o revisarla. Se hará hincapié en cuáles son los principales obstáculos que presenta el uso de este programa, asà como lo que debe saber el profesor para resolverlos durante las clases. Desde la interfaz hasta los atajos de teclado principales, este taller práctico pretende abordar tanto los aspectos más generales como los más especÃficos del programa.Universidad de Málaga. Campus de Excelencia Internacional AndalucÃa Tech
Implementing Health Impact Assessment as a Required Component of Government Policymaking: A Multi-Level Exploration of the Determinants of Healthy Public Policy
It is widely understood that the public policies of ‘non-health’ government sectors have greater impacts on population health than those of the traditional healthcare realm. Health Impact Assessment (HIA) is a decision support tool that identifies and promotes the health benefits of policies while also mitigating their unintended negative consequences. Despite numerous calls to do so, the Ontario government has yet to implement HIA as a required component of policy development. This dissertation therefore sought to identify the contexts and factors that may both enable and impede HIA use at the sub-national (i.e., provincial, territorial, or state) government level.
The three integrated articles of this dissertation provide insights into specific aspects of the policy process as they relate to HIA. Chapter one details a case study of purposive information-seeking among public servants within Ontario’s Ministry of Education (MOE). Situated within Ontario’s Ministry of Health (MOH), chapter two presents a case study of policy collaboration between health and ‘non-health’ ministries. Finally, chapter three details a framework analysis of the political factors supporting health impact tool use in two sub-national jurisdictions – namely, Québec and South Australia.
MOE respondents (N=9) identified four components of policymaking ‘due diligence’, including evidence retrieval, consultation and collaboration, referencing, and risk analysis. As prospective HIA users, they also confirmed that information is not routinely sought to mitigate the potential negative health impacts of education-based policies. MOH respondents (N=8) identified the bureaucratic hierarchy as the brokering mechanism for inter-ministerial policy development. As prospective HIA stewards, they also confirmed that the ministry does not proactively flag the potential negative health impacts of non-health sector policies. Finally, ‘lessons learned’ from case articles specific to Québec (n=12) and South Australia (n=17) identified the political factors supporting tool use at different stages of the policy cycle, including agenda setting (‘policy elites’ and ‘political culture’), implementation (‘jurisdiction’), and sustained implementation (‘institutional power’).
This work provides important insights into ‘real life’ policymaking. By highlighting existing facilitators of and barriers to HIA use, the findings offer a useful starting point from which proponents may tailor context-specific strategies to sustainably implement HIA at the sub-national government level
Interval Type-2 Beta Fuzzy Near Sets Approach to Content-Based Image Retrieval
In computer-based search systems, similarity plays a key role in replicating the human search process. Indeed, the human search process underlies many natural abilities such as image recovery, language comprehension, decision making, or pattern recognition. The search for images consists of establishing a correspondence between the available image and that sought by the user, by measuring the similarity between the images. Image search by content is generaly based on the similarity of the visual characteristics of the images. The distance function used to evaluate the similarity between images depends notonly on the criteria of the search but also on the representation of the characteristics of the image. This is the main idea of a content-based image retrieval (CBIR) system. In this article, first, we constructed type-2 beta fuzzy membership of descriptor vectors to help manage inaccuracy and uncertainty of characteristics extracted the feature of images. Subsequently, the retrieved images are ranked according to the novel similarity measure, noted type-2 fuzzy nearness measure (IT2FNM). By analogy to Type-2 Fuzzy Logic and motivated by near sets theory, we advanced a new fuzzy similarity measure (FSM) noted interval type-2 fuzzy nearness measure (IT-2 FNM). Then, we proposed three new IT-2 FSMs and we have provided mathematical justification to demonstrate that the proposed FSMs satisfy proximity properties (i.e. reflexivity, transitivity, symmetry, and overlapping). Experimental results generated using three image databases showing consistent and significant results
- …