相关论文: UTM, a universal simulator for lightcurves of tran…
Characterizing the geometry of an object orbiting around a star from its transit light curve is a powerful tool to uncover various complex phenomena. This problem is inherently ill-posed, since similar or identical light curves can be…
We present a fast and user friendly exoplanet transit light curve modelling package PyTransit, implementing optimised versions of the Gimen\'ez and the Mandel & Agol transit models. The package offers an object-oriented Python interface to…
Astronomical transients are stellar objects that become temporarily brighter on various timescales and have led to some of the most significant discoveries in cosmology and astronomy. Some of these transients are the explosive deaths of…
Lighting has a strong influence on visual appearance, yet understanding and representing lighting in images remains notoriously difficult. Various lighting representations exist, such as environment maps, irradiance, spherical harmonics, or…
Verification presents a major bottleneck in Integrated Circuit (IC) development, consuming nearly 70% of total effort. While the Universal Verification Methodology (UVM) improves reuse through structured verification environments,…
The Universal Transformer (UT) is a variant of the Transformer that shares parameters across its layers. Empirical evidence shows that UTs have better compositional generalization than Vanilla Transformers (VTs) in formal language tasks.…
None of the quantum computing applications imagined will ever become a reality without quantum software. Quantum programmes have, to date, been coded with ad hoc techniques. Researchers in the field of quantum software engineering are,…
AstroFit is an interface adding astrophysical components to programs for fitting physics beyond the Standard Model (BSM) to experimental data from collider searches. The project aims at combining a wide range of experimental results from…
Universal transformers (UTs) have been widely used for complex reasoning tasks such as ARC-AGI and Sudoku, yet the specific sources of their performance gains remain underexplored. In this work, we systematically analyze UTs variants and…
We present a multirotor Unmanned Aerial Vehicle control (UAV) and estimation system for supporting replicable research through realistic simulations and real-world experiments. We propose a unique multi-frame localization paradigm for…
Ultralight dark matter (ULDM), as a class of low mass (< 1 eV) dark matter (DM) candidates, is a compelling alternative to historically dominant models such as WIMPs and has recently gained significant attention in the scientific community.…
Exoplanet transits contain substantial information about the architecture of a system. By fitting transit light curves we can extract dynamical parameters and place constraints on the properties of the planets and their host star. Having a…
We define and construct efficient depth-universal and almost-size-universal quantum circuits. Such circuits can be viewed as general-purpose simulators for central classes of quantum circuits and can be used to capture the computational…
The use of UAVs tends to increase in the coming years, it is of great importance to study forms of communication with these aerial models. This paper presents a simulations environment that combines simulators of traffic, flight and ray…
The observed light curves of most eclipsing binaries and stars with transiting planets can be well described and interpreted by current advanced physical models which also allow for the determination of many physical parameters of eclipsing…
Unmanned aerial vehicles (UAVs) are emerging in commercial spaces and will support many applications and services, such as smart agriculture, dynamic network deployment, and network coverage extension, surveillance and security. The…
In the systems and software modeling field, a conceptual model involves modeling with concepts to support development and design. An example of a conceptual model is a description developed using the Unified Modeling Language (UML). UML…
The modern power system is evolving with increasing penetration of power electronics introducing complicated electromagnetic phenomenon. Electromagnetic transient (EMT) simulation is essential to understand power system behavior under…
We present a new model format for automatized matrix-element generators, the so- called Universal FeynRules Output (UFO). The format is universal in the sense that it features compatibility with more than one single generator and is…
This paper proposes a simple, yet effective framework, called GiT, simultaneously applicable for various vision tasks only with a vanilla ViT. Motivated by the universality of the Multi-layer Transformer architecture (e.g, GPT) widely used…