11,045 research outputs found
Joint Video Multi-Frame Interpolation and Deblurring under Unknown Exposure Time
Natural videos captured by consumer cameras often suffer from low framerate
and motion blur due to the combination of dynamic scene complexity, lens and
sensor imperfection, and less than ideal exposure setting. As a result,
computational methods that jointly perform video frame interpolation and
deblurring begin to emerge with the unrealistic assumption that the exposure
time is known and fixed. In this work, we aim ambitiously for a more realistic
and challenging task - joint video multi-frame interpolation and deblurring
under unknown exposure time. Toward this goal, we first adopt a variant of
supervised contrastive learning to construct an exposure-aware representation
from input blurred frames. We then train two U-Nets for intra-motion and
inter-motion analysis, respectively, adapting to the learned exposure
representation via gain tuning. We finally build our video reconstruction
network upon the exposure and motion representation by progressive
exposure-adaptive convolution and motion refinement. Extensive experiments on
both simulated and real-world datasets show that our optimized method achieves
notable performance gains over the state-of-the-art on the joint video x8
interpolation and deblurring task. Moreover, on the seemingly implausible x16
interpolation task, our method outperforms existing methods by more than 1.5 dB
in terms of PSNR.Comment: Accepted by CVPR 2023, available at
https://github.com/shangwei5/VIDU
Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem
For typical first-order logical theories, satisfying assignments have a
straightforward finite representation that can directly serve as a certificate
that a given assignment satisfies the given formula. For non-linear real
arithmetic with transcendental functions, however, no general finite
representation of satisfying assignments is available. Hence, in this paper, we
introduce a different form of satisfiability certificate for this theory,
formulate the satisfiability verification problem as the problem of searching
for such a certificate, and show how to perform this search in a systematic
fashion. This does not only ease the independent verification of results, but
also allows the systematic design of new, efficient search techniques.
Computational experiments document that the resulting method is able to prove
satisfiability of a substantially higher number of benchmark problems than
existing methods
Mathematical models to evaluate the impact of increasing serotype coverage in pneumococcal conjugate vaccines
Of over 100 serotypes of Streptococcus pneumoniae, only 7 were included in the first pneumo- coccal conjugate vaccine (PCV). While PCV reduced the disease incidence, in part because of a herd immunity effect, a replacement effect was observed whereby disease was increasingly caused by serotypes not included in the vaccine. Dynamic transmission models can account for these effects to describe post-vaccination scenarios, whereas economic evaluations can enable decision-makers to compare vaccines of increasing valency for implementation. This thesis has four aims. First, to explore the limitations and assumptions of published pneu- mococcal models and the implications for future vaccine formulation and policy. Second, to conduct a trend analysis assembling all the available evidence for serotype replacement in Europe, North America and Australia to characterise invasive pneumococcal disease (IPD) caused by vaccine-type (VT) and non-vaccine-types (NVT) serotypes. The motivation behind this is to assess the patterns of relative abundance in IPD cases pre- and post-vaccination, to examine country-level differences in relation to the vaccines employed over time since introduction, and to assess the growth of the replacement serotypes in comparison with the serotypes targeted by the vaccine. The third aim is to use a Bayesian framework to estimate serotype-specific invasiveness, i.e. the rate of invasive disease given carriage. This is useful for dynamic transmission modelling, as transmission is through carriage but a majority of serotype-specific pneumococcal data lies in active disease surveillance. This is also helpful to address whether serotype replacement reflects serotypes that are more invasive or whether serotypes in a specific location are equally more invasive than in other locations. Finally, the last aim of this thesis is to estimate the epidemiological and economic impact of increas- ing serotype coverage in PCVs using a dynamic transmission model. Together, the results highlight that though there are key parameter uncertainties that merit further exploration, divergence in serotype replacement and inconsistencies in invasiveness on a country-level may make a universal PCV suboptimal.Open Acces
The Disputation: The Enduring Representations in William Holman Hunt's “The Finding of the Saviour in the Temple,” 1860
This interdisciplinary thesis problematizes the Jewish presence in the painting The Finding of the Saviour in the Temple (1860) by William Holman Hunt. This “Jewish presence” refers to characters within the painting, Jews who posed for the picture and the painting’s portrayal of Judaism. The thesis takes a phenomenological and hermeneutical approach to The Finding providing careful description and interpretation of what appears in the painting. It situates the painting within a newly configured genre of disputation paintings depicting the Temple scene from the Gospel of Luke (2:47 – 52). It asks two questions. Why does The Finding look the way it does? And how did Holman Hunt know how to create the picture? Under the rubric of the first question, it explores and challenges customary accounts of the painting, explicitly challenging the over reliance upon F.G. Stephens’s pamphlet. Additionally, it examines Pre-Raphaelite and Victorian religious contexts and bringing hitherto unacknowledged artistic contexts to the fore. The second question examines less apparent influences through an analysis of the originary Lukan narrative in conjunction with the under-examined genre of Temple “disputation” paintings, and a legacy of scholarly and religious disputation. This demonstrates a discourse of disputation informing The Finding over and above the biblical narrative. In showing that this discourse strongly correlates with the painting’s objectifying and spectacular properties, this thesis provides a new way to understand The Finding’s orientalism which is further revealed in its typological critical reworking of two Christian medieval and renaissance paintings. As a demonstration of the discourse, the thesis includes an examination of Jewish artists who addressed the theme of disputation overtly or obliquely thereby engaging with and challenging the assumptions upon which the disputation rests
Cultivating Agrobiodiversity in the U.S.: Barriers and Bridges at Multiple Scales
The diversity of crops grown in the United States (U.S.) is declining, causing agricultural landscapes to become more and more simplified. This trend is concerning for the loss of important plant, insect, and animal species, as well as the pollution and degradation of our environment. Through three separate but related studies, this dissertation addresses the need to increase the diversity of these agricultural landscapes in the U.S., particularly through diversifying the type and number of crops grown. The first study uses multiple, openly accessible datasets related to agricultural land use and policies to document and visualize change over recent decades. Through this, I show that U.S. agriculture has gradually become more specialized in the crops grown, crop production is heavily concentrated in certain areas, and crop diversity is continuing to decline. Meanwhile, federal agricultural policy, while having become more influential over how U.S. agriculture operates, incentivizes this specialization. The second study uses nonlinear statistical modeling to identify and compare social, political, and ecological factors that best predict crop diversity across nine regions in the U.S. Factors of climate, prior land use, and farm inputs best predict diversity across regions, but regions show key differences in how factors are important, indicating that patterns at the regional scale constrain and enable further diversification. Finally, the third study relied on interviews with farmers and key informants in southern Idaho’s Magic Valley – a cluster of eight counties that is known to be agriculturally diverse. Interviews gauge what farmers are currently doing to manage crop diversity (the present) and how they imagine alternative landscapes (the imaginary). We found that farmers in the Magic Valley manage current diversity mainly through cover cropping and diverse crop rotations, but daily struggles and political barriers make experimenting with and imagining alternative landscapes difficult and unlikely to occur. Together, these three studies provide an integrated view of how and why U.S. agriculture landscapes simplify or diversify, as well as the barriers and bridges such pathways of diversification
From wallet to mobile: exploring how mobile payments create customer value in the service experience
This study explores how mobile proximity payments (MPP) (e.g., Apple Pay) create customer value in the service experience compared to traditional payment methods (e.g. cash and card). The main objectives were firstly to understand how customer value manifests as an outcome in the MPP service experience, and secondly to understand how the customer activities in the process of using MPP create customer value. To achieve these objectives a conceptual framework is built upon the Grönroos-Voima Value Model (Grönroos and Voima, 2013), and uses the Theory of Consumption Value (Sheth et al., 1991) to determine the customer value constructs for MPP, which is complimented with Script theory (Abelson, 1981) to determine the value creating activities the consumer does in the process of paying with MPP.
The study uses a sequential exploratory mixed methods design, wherein the first qualitative stage uses two methods, self-observations (n=200) and semi-structured interviews (n=18). The subsequent second quantitative stage uses an online survey (n=441) and Structural Equation Modelling analysis to further examine the relationships and effect between the value creating activities and customer value constructs identified in stage one. The academic contributions include the development of a model of mobile payment services value creation in the service experience, introducing the concept of in-use barriers which occur after adoption and constrains the consumers existing use of MPP, and revealing the importance of the mobile in-hand momentary condition as an antecedent state. Additionally, the customer value perspective of this thesis demonstrates an alternative to the dominant Information Technology approaches to researching mobile payments and broadens the view of technology from purely an object a user interacts with to an object that is immersed in consumers’ daily life
How to Be a God
When it comes to questions concerning the nature of Reality, Philosophers and Theologians have the answers.
Philosophers have the answers that can’t be proven right. Theologians have the answers that can’t be proven wrong.
Today’s designers of Massively-Multiplayer Online Role-Playing Games create realities for a living. They can’t spend centuries mulling over the issues: they have to face them head-on. Their practical experiences can indicate which theoretical proposals actually work in practice.
That’s today’s designers. Tomorrow’s will have a whole new set of questions to answer.
The designers of virtual worlds are the literal gods of those realities. Suppose Artificial Intelligence comes through and allows us to create non-player characters as smart as us. What are our responsibilities as gods? How should we, as gods, conduct ourselves?
How should we be gods
A productive response to legacy system petrification
Requirements change. The requirements of a legacy information system change, often in unanticipated ways, and at a more rapid pace than the rate at which the information system itself can be evolved to support them. The capabilities of a legacy system progressively fall further and further behind their evolving requirements, in a degrading process termed petrification. As systems petrify, they deliver diminishing business value, hamper business effectiveness, and drain organisational resources. To address legacy systems, the first challenge is to understand how to shed their resistance to tracking requirements change. The second challenge is to ensure that a newly adaptable system never again petrifies into a change resistant legacy system. This thesis addresses both challenges. The approach outlined herein is underpinned by an agile migration process - termed Productive Migration - that homes in upon the specific causes of petrification within each particular legacy system and provides guidance upon how to address them. That guidance comes in part from a personalised catalogue of petrifying patterns, which capture recurring themes underlying petrification. These steer us to the problems actually present in a given legacy system, and lead us to suitable antidote productive patterns via which we can deal with those problems one by one. To prevent newly adaptable systems from again degrading into legacy systems, we appeal to a follow-on process, termed Productive Evolution, which embraces and keeps pace with change rather than resisting and falling behind it. Productive Evolution teaches us to be vigilant against signs of system petrification and helps us to nip them in the bud. The aim is to nurture systems that remain supportive of the business, that are adaptable in step with ongoing requirements change, and that continue to retain their value as significant business assets
- …