11,137 research outputs found
Automated verification of model transformations based on visual contracts
The final publication is available at Springer via http://dx.doi.org/10.1007/s10515-012-0102-yModel-Driven Engineering promotes the use of models to conduct the different phases of the software development. In this way, models are transformed between different languages and notations until code is generated for the final application. Hence, the construction of correct Model-to-Model (M2M) transformations becomes a crucial aspect in this approach.
Even though many languages and tools have been proposed to build and execute M2M transformations, there is scarce support to specify correctness requirements for such transformations in an implementation-independent way, i.e., irrespective of the actual transformation language used.
In this paper we fill this gap by proposing a declarative language for the specification of visual contracts, enabling the verification of transformations defined with any transformation language. The verification is performed by compiling the contracts into QVT to detect disconformities of transformation results with respect to the contracts. As a proof of concept, we also report on a graphical modeling environment for the specification of contracts, and on its use for the verification of transformations in several case studies.This work has been funded by the Austrian Science Fund (FWF) under grant P21374-N13,
the Spanish Ministry of Science under grants TIN2008-02081 and TIN2011-24139, and the
R&D programme of the Madrid Region under project S2009/TIC-1650
Learning Unitary Operators with Help From u(n)
A major challenge in the training of recurrent neural networks is the
so-called vanishing or exploding gradient problem. The use of a norm-preserving
transition operator can address this issue, but parametrization is challenging.
In this work we focus on unitary operators and describe a parametrization using
the Lie algebra associated with the Lie group of unitary matrices. The exponential map provides a correspondence
between these spaces, and allows us to define a unitary matrix using real
coefficients relative to a basis of the Lie algebra. The parametrization is
closed under additive updates of these coefficients, and thus provides a simple
space in which to do gradient descent. We demonstrate the effectiveness of this
parametrization on the problem of learning arbitrary unitary operators,
comparing to several baselines and outperforming a recently-proposed
lower-dimensional parametrization. We additionally use our parametrization to
generalize a recently-proposed unitary recurrent neural network to arbitrary
unitary matrices, using it to solve standard long-memory tasks.Comment: 9 pages, 3 figures, 5 figures inc. subfigures, to appear at AAAI-1
Education in cartography: what is the status of young people's map-reading skills?
Due to recent technological progress, maps have become more popular than ever before. This is especially true for young people, who interact with these technologies on a daily basis. Therefore, it is essential that these potential map users possess sufficient knowledge and skills to process the content of cartographic products. A user study was conducted during which pupils (aged 11-18years) and geography students (>18years) had to solve a number of cartography questions using topographic maps. The data were analyzed statistically, taking into account a number of potentially influencing factors (user characteristics) on the participants' results: age, gender, youth club membership, knowledge about the area, among others. The results show a rising trend in the pupils' scores with increasing age, which can be explained by education in cartography at school. Geography students perform much better, but no influence of any other user characteristics was detected. For pupils, knowledge about the area and gender might be considered as influencing factors. However, the detected influence of gender depends on the scoring system
The Importance of Protestantism in Max Weber's Theory of Secularisation
In this article, I review my recent book Protestant Modernity. Weber, Secularisation and Protestantism, which reconstructs Weber's theory of secularisation and argues that this is formulated within a liberal Protestant framework. I argue that this theory is a part of his Protestant account of modernity. I also sketch some of the major issues involved in developing a Catholic account of modernity and provide some worked through examples of the sociological implications of this change of confessional presuppositions
The density-matrix renormalization group
The density-matrix renormalization group (DMRG) is a numerical algorithm for
the efficient truncation of the Hilbert space of low-dimensional strongly
correlated quantum systems based on a rather general decimation prescription.
This algorithm has achieved unprecedented precision in the description of
one-dimensional quantum systems. It has therefore quickly acquired the status
of method of choice for numerical studies of one-dimensional quantum systems.
Its applications to the calculation of static, dynamic and thermodynamic
quantities in such systems are reviewed. The potential of DMRG applications in
the fields of two-dimensional quantum systems, quantum chemistry,
three-dimensional small grains, nuclear physics, equilibrium and
non-equilibrium statistical physics, and time-dependent phenomena is discussed.
This review also considers the theoretical foundations of the method, examining
its relationship to matrix-product states and the quantum information content
of the density matrices generated by DMRG.Comment: accepted by Rev. Mod. Phys. in July 2004; scheduled to appear in the
January 2005 issu
Recommended from our members
Open-World Virtual Reality Headset Tracking
A novel outdoor Virtual Reality (VR) concept called Open-World Virtual Reality (OWVR) is presented that combines precise GNSS positioning and a smartphone-grade inertial sensor to provide globally-referenced centimeter-and-degree-accurate tracking of the VR headset. Unlike existing augmented and virtual reality systems, which perform camera-based inside-out headset tracking relative to a local reference frame (e.g., an ad-hoc frame fixed to a living room), OWVR's globally-referenced tracking enables a novel VR experience in which the user's outdoor exploration is robust to extremes in lighting conditions and local visual texture. This paper introduces the OWVR concept and presents a prototype OWVR system with two candidate sensor fusion architectures, one loosely and one tightly coupled. Comparative performance is evaluated in terms of tracking accuracy and availability of an integer-aperture-test-validated fixed tracking solution. For scenarios with degraded GNSS availability, which will be typical for outdoor VR, the tightly-coupled architecture is shown to offer a critical tracking robustness advantage.Aerospace Engineering and Engineering Mechanic
Model Transformation Testing and Debugging: A Survey
Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a consequence, the correctness of software systems built with MDE approaches relies mainly on the correctness of model transformations, and thus, detecting and locating bugs in model transformations have been popular research topics in recent years. This surge of work has led to a vast literature on model transformation testing and debugging, which makes it challenging to gain a comprehensive view of the current state of the art.
This is an obstacle for newcomers to this topic and MDE practitioners to apply these approaches. This paper presents a survey on testing and debugging model transformations based on the analysis of \nPapers~papers on the topics. We explore the trends, advances, and evolution over the years, bringing together previously disparate streams of work and providing a comprehensive view of these thriving areas. In addition, we present a conceptual framework to understand and categorise the different proposals. Finally, we identify several open research challenges and propose specific action points for the model transformation community.This work is partially supported by the European Commission (FEDER) and Junta de Andalucia under projects APOLO (US-1264651) and
EKIPMENT-PLUS (P18-FR-2895), by the Spanish Government (FEDER/Ministerio de Ciencia e Innovación – Agencia Estatal de Investigación) under projects HORATIO (RTI2018-101204-B-C21), COSCA (PGC2018-094905-B-I00) and LOCOSS (PID2020-114615RB-I00), by the Austrian Science Fund (P 28519-N31, P 30525-N31), and by the Austrian Federal Ministry for Digital and Economic Affairs and the National Foundation for Research, Technology and Development (CDG
Beyond subjective and objective in statistics
We argue that the words "objectivity" and "subjectivity" in statistics
discourse are used in a mostly unhelpful way, and we propose to replace each of
them with broader collections of attributes, with objectivity replaced by
transparency, consensus, impartiality, and correspondence to observable
reality, and subjectivity replaced by awareness of multiple perspectives and
context dependence. The advantage of these reformulations is that the
replacement terms do not oppose each other. Instead of debating over whether a
given statistical method is subjective or objective (or normatively debating
the relative merits of subjectivity and objectivity in statistical practice),
we can recognize desirable attributes such as transparency and acknowledgment
of multiple perspectives as complementary goals. We demonstrate the
implications of our proposal with recent applied examples from pharmacology,
election polling, and socioeconomic stratification.Comment: 35 page
- …