| Total: 1000
This document represents the proceedings of the 2022 XCSP3 Competition. The results of this competition of constraint solvers were presented at FLOC (Federated Logic Conference) 2022 Olympic Games, held in Haifa, Israel from 31th July 2022 to 7th August, 2022.
In this third installment of SETI in 20xx, we very briefly and subjectively review developments in SETI in 2022. Our primary focus is 80 papers and books published or made public in 2022, which we sort into six broad categories: results from actual searches, new search methods and instrumentation, target and frequency selection, the development of technosignatures, theory of ETIs, and social aspects of SETI.
Switzerland experienced one of the warmest summers during 2022. Extreme heat has been linked to increased mortality. Monitoring the mortality burden attributable to extreme heat is crucial to inform policies, such as heat warnings, and prevent heat-related deaths. In this study, we evaluate excess mortality during summer 2022, identify vulnerable populations and estimate temperature thresholds for heat warnings. We use nationwide mortality and population data in Switzerland during 2011-2022 by age, sex, day and canton. We develop a Bayesian ensemble modelling approach with dynamic population to predict expected mortality in summer 2022 and calculate excess by comparing expected with observed mortality. We account for covariates associated with mortality such as ambient temperature, national holidays and spatiotemporal random effects to improve predictions. After accounting for the effect of the COVID-19 pandemic, we found a 3% (95% credible interval: 0%-6%) excess mortality during summer 2022. We observed a total of 456 (5-891) excess deaths during summer 2022 in people older than 80 years. There was weak evidence of excess mortality in the other age groups. The highest excess mortality was observed in July (12%: 4%-19%), the hottest month in 2022. We also found that for heatwaves longer than four days, the minimum excess mortality temperature threshold in the oldest age group is the 70th percentile of the temperature. To reduce future summer excess mortality in Switzerland, we propose targeted heat warnings to older populations and reducing the temperature threshold when weather forecasts predict periods of extreme heat of four days or longer.
The blazar Markarian 501 (Mrk 501) was observed on three occasions over a 4-month period between 2022 March and 2022 July with the Imaging X-ray Polarimetry Explorer (IXPE). In this paper, we report for the first time on the third IXPE observation, performed between 2022 July 9 and 12, during which IXPE detected a linear polarization degree of ΠX=6±2 per cent at a polarization angle, measured east of north, of ΨX=143∘±11∘ within the 2-8 keV X-ray band. The X-ray polarization angle and degree during this observation are consistent with those obtained during the first two observations. The chromaticity of the polarization across radio, optical, and X-ray bands is likewise consistent with the result from the simultaneous campaigns during the first two observations. Furthermore, we present two types of models to explain the observed spectral energy distributions (SEDs) and energy-resolved polarization: a synchrotron self-Compton model with an anisotropic magnetic field probability distribution in the emitting volume, as well as an energy-stratified shock model. Our results support both the shock scenario as well as support that small levels of magnetic field anisotropy can explain the observed polarization.
A tribute to the life and work of Pal Revesz. The Hungarian mathematical community lost one of his leading members, when Pal Revesz passed away on 14 of November 2022.
For positive integers n and k such that k is at most n, we find an explicit one-to-one correspondence between the following two sets: the set of words consisting of k Rs, k Us, and n−k Ds, where the first letter of the word is not D; and the set of subgraphs H of a cycle of length 2n (where that cycle has differently labelled vertices) such that H has n edges and k connected components. This solves a problem of Thomas Selig from the 29th British Combinatorial Conference held at Lancaster University in July 2022.
CHC-COMP 2022 is the fifth edition of the competition of solvers for Constrained Horn Clauses. The competition was run in March 2022; the results were presented at the 9th Workshop on Horn Clauses for Verification and Synthesis held in Munich, Germany, on April 3, 2022. This edition featured six solvers, and eight tracks consisting of sets of linear and nonlinear clauses with constraints over linear integer arithmetic, linear real arithmetic, arrays, and algebraic data types. This report provides an overview of the organization behind the competition runs: it includes the technical details of the competition setup as well as presenting the results of the 2022 edition.
A morphological and photometric analysis of the naked-eye long-period comet C/2022 E3 (ZTF) before perihelion is presented in this study. The observation images taken by the Zwicky Transient Facility survey telescope from July 2022 to October 2022 show a gradually brightening dust coma and a tail with a clear structure. The morphology of the dust coma reveals nonsteady-state emission with an ejection velocity lower than 14 m s−1 for particles larger than 100 um. According to the syndyne-synchrone analysis, dust particles larger than about 10 um contribute significantly to the observed tail. The model simulations of the 10 October 2022 image suggest that the radii of large particles lingering near the nucleus range from 0.1 mm to 1 mm. Assuming that the nucleus of comet E3 is a homogeneous sphere with an albedo of 0.1, the photometry analysis sets the lower and upper limits of the nucleus radius to be 0.81±0.07 km and 2.79±0.01 km, respectively. The dust production rates increased continuously from 241±3 kg s−1 in July to 476±9 kg s−1 in October. The dependence of the ejection velocity v⊥ perpendicular to the orbital plane of comet E3 on the particle size a can be simplified as v⊥∝a−1/2, which indicates that the dust emission is likely driven by gas. The water-production rate is inferred as ∼368±72 kg s−1 in October 2022, which is sustained by an equilibrium-sublimating area of 8.2×106 m2 at least. The comparative analysis of the characteristics of comet E3 with those of comets belonging to different types shows that the activity profile of long-period comet E3 surprisingly aligns more closely with those of short-period comets within a heliocentric distance range of about [1.7, 3.4] AU, where the images of comet E3 that we used in this study were taken.
We investigate the microlensing data collected in the 2022 season from the high-cadence microlensing surveys in order to find weak signals produced by planetary companions to lenses. From these searches, we find that two lensing events KMT-2022-BLG-0475 and KMT-2022-BLG-1480 exhibit weak short-term anomalies. From the detailed modeling of the lensing light curves, we identify that the anomalies are produced by planetary companions with a mass ratio to the primary of q∼1.8×10−4 for KMT-2022-BLG-0475L and a ratio q∼4.3×10−4 for KMT-2022-BLG-1480L. It is estimated that the host and planet masses and the projected planet-host separation are (Mh/M⊙,Mp/MU,a⊥/au)=(0.43+0.35−0.23,1.73+1.42−0.92,2.03+0.25−0.38) for KMT-2022-BLG-0475L, and (0.18+0.16−0.09,1.82+1.60−0.92,1.22+0.15−0.14) for KMT-2022-BLG-1480L, where MU denotes the mass of Uranus. Both planetary systems share common characteristics that the primaries of the lenses are early-mid M dwarfs lying in the Galactic bulge and the companions are ice giants lying beyond the snow lines of the planetary systems.
The 44th International Conference on Software Engineering (ICSE 2022) was held in person from May 22 to May 27, 2022 in Pittsburgh, PA, USA. Here, we summarize themes of research and the direction of research in the field of software engineering and testing that we observed at the conference.
First identified in 2016 by JAXA's Akatsuki mission, the discontinuity/disruption is a recurrent wave observed to propagate during decades at the deeper clouds of Venus (47--56 km above the surface), while its absence at the clouds' top (∼70 km) suggests that it dissipates at the upper clouds and contributes in the maintenance of the puzzling atmospheric superrotation of Venus through wave-mean flow interaction. Taking advantage of the campaign of ground-based observations undertaken in coordination with the Akatsuki mission since December 2021 until July 2022, we aimed to undertake the longest uninterrupted monitoring of the cloud discontinuity up to date to obtain a pioneering long-term characterization of its main properties and better constrain its recurrence and lifetime. The dayside upper, middle and nightside lower clouds were studied with images with suitable filters acquired by Akatsuki/UVI, amateur observers and NASA's IRTF/SpeX, respectively. Hundreds of images were inspected in search of manifestations of the discontinuity events and to measure key properties like its dimensions, orientation or rotation period. We succeeded in tracking the discontinuity at the middle clouds during 109 days without interruption. The discontinuity exhibited properties nearly identical to measurements in 2016 and 2020, with an orientation of 91∘±8∘, length/width of 4100±800 / 500±100 km and a rotation period of 5.11±0.09 days. Ultraviolet images during 13-14 June 2022 suggest that the discontinuity may have manifested at the top of the clouds during ∼21 hours as a result of an altitude change in the critical level for this wave due to slower zonal winds.
We use 62 electron density profiles collected by the Radio Occultation Science Experiment (ROSE), on MAVEN, when Mars was hit by CIRs and ICMEs close to aphelion (April 2021) and during two dust storms (June-July 2022) to examine the response of the Martian ionosphere to solar events and to solar events hitting during dust storms. We do so through three proxies - variation in total electron content between 80 and 300 km altitude, peak density, and peak altitude - of the aforementioned 62 ROSE electron density profiles, relative to a characterisation of the ionosphere through solar minimum leading to solar maximum, specific to local time sector and season, presented in Segale et al., (COMPANION). We observe an increased Total Electron Content (TEC) between 80 and 300 km altitude up to 2.5 x 10(15) m(-2) in April 2021 and up to 5 x 10(15) m(-2) in June-July 2022 compared to the baseline photochemically produced ionosphere. This increase in TEC corresponds mainly to increases in the solar energetic particles flux (detected by MAVEN SEP) and electron fluxes (detected by MAVEN SWEA). In addition to solar events, in June-July 2022, an A storm and a B storm were occurring and merging on the surface of Mars. We observe a raise in peak altitude in general lower than expected during dust storms, possibly due to high values of solar wind dynamic pressure (derived from MAVEN SWIA). From 31 ROSE profiles collected in this time period that showed both the M2 and M1 layer, we observe that, on average, M1 and M2 peak altitudes raise the same amount, suggesting that the thermosphere might loft as a unit during dust storms. During this time period, several proton aurora events of variable brightness were detected with MAVEN IUVS underlining the complex and multifaceted impact of dust activity and extreme solar activity on the Martian ionosphere.
Many speaker recognition challenges have been held to assess the speaker verification system in the wild and probe the performance limit. Voxceleb Speaker Recognition Challenge (VoxSRC), based on the voxceleb, is the most popular. Besides, another challenge called CN-Celeb Speaker Recognition Challenge (CNSRC) is also held this year, which is based on the Chinese celebrity multi-genre dataset CN-Celeb. This year, our team participated in both speaker verification closed tracks in CNSRC 2022 and VoxSRC 2022, and achieved the 1st place and 3rd place respectively. In most system reports, the authors usually only provide a description of their systems but lack an effective analysis of their methods. In this paper, we will outline how to build a strong speaker verification challenge system and give a detailed analysis of each method compared with some other popular technical means.
IFJ PAN PPSS Alumni Conference is organized by the Institute of Nuclear Physics Polish Academy of Sciences (IFJ PAN). It is addressed to: participants of previous editions of Particle Physics Summer Student Programme, attendees of current PPSS edition and students interested in cooperation with IFJ PAN. First IFJ PAN Particle Physics Summer Student Alumni Conference was held on 9-10 July 2022, with topic focused on, but not restricted to, high energy physics.
The bright blazar OJ~287 routinely parades high brightness bremsstrahlung flares, which are explained as being a result of a secondary supermassive black hole (SMBH) impacting the accretion disc of a more massive primary SMBH in a binary system. The accretion disc is not rigid but rather bends in a calculable way due to the tidal influence of the secondary. Below we refer to this phenomenon as a variable disc level. We begin by showing that these flares occur at times predicted by a simple analytical formula, based on general relativity inspired modified Kepler equation, which explains impact flares since 1888. The 2022 impact flare, namely flare number 26, is rather peculiar as it breaks the typical pattern of two impact flares per 12-year cycle. This is the third bremsstrahlung flare of the current cycle that follows the already observed 2015 and 2019 impact flares from OJ~287. It turns out that the arrival epoch of flare number 26 is sensitive to the level of primary SMBH's accretion disc relative to its mean level in our model. We incorporate these tidally induced changes in the level of the accretion disc to infer that the thermal flare should have occurred during July-August 2022, when it was not possible to observe it from the Earth. Thereafter, we explore possible observational evidence for certain pre-flare activity by employing spectral and polarimetric data from our campaigns in 2004/05 and 2021/22. We point out theoretical and observational implications of two observed mini-flares during January-February 2022.
Recent medical image segmentation models are mostly hybrid, which integrate self-attention and convolution layers into the non-isomorphic architecture. However, one potential drawback of these approaches is that they failed to provide an intuitive explanation of why this hybrid combination manner is beneficial, making it difficult for subsequent work to make improvements on top of them. To address this issue, we first analyze the differences between the weight allocation mechanisms of the self-attention and convolution. Based on this analysis, we propose to construct a parallel non-isomorphic block that takes the advantages of self-attention and convolution with simple parallelization. We name the resulting U-shape segmentation model as UNet-2022. In experiments, UNet-2022 obviously outperforms its counterparts in a range segmentation tasks, including abdominal multi-organ segmentation, automatic cardiac diagnosis, neural structures segmentation, and skin lesion segmentation, sometimes surpassing the best performing baseline by 4%. Specifically, UNet-2022 surpasses nnUNet, the most recognized segmentation model at present, by large margins. These phenomena indicate the potential of UNet-2022 to become the model of choice for medical image segmentation.
The 2022 update of the discovery of nuclide project is presented. It is the first update in four years, and 36 new nuclides were observed for the first time during 2019-2022. Isotopes that have so far only been published in conference proceedings or internal reports are also listed.
This paper collects all descriptions of solvers and ISR instances submitted to CoRe Challenge 2022.
The 2022 logic blog has concentrated on the connections of group theory and logic. It discusses Gardam's 2021 refutation of the Higman/ Kaplansky unit conjecture, and its connections to logic and to computation. The rest is about topological groups of various kinds, in particular a computational theory of tdlc groups, and a duality between locally Roelcke precompact groups and certain countable structures called meet groupoids.
Proceedings of the 2022 Workshop on Resource AWareness of Systems and Society (RAW), colocated with ICT4S 2022 in Plovdiv, Bulgaria on 13th of June 2022.
Online reporting platforms have enabled citizens around the world to collectively share their opinions and report in real time on events impacting their local communities. Systematically organizing (e.g., categorizing by attributes) and geotagging large amounts of crowdsourced information is crucial to ensuring that accurate and meaningful insights can be drawn from this data and used by policy makers to bring about positive change. These tasks, however, typically require extensive manual annotation efforts. In this paper we present Uchaguzi-2022, a dataset of 14k categorized and geotagged citizen reports related to the 2022 Kenyan General Election containing mentions of election-related issues such as official misconduct, vote count irregularities, and acts of violence. We use this dataset to investigate whether language models can assist in scalably categorizing and geotagging reports, thus highlighting its potential application in the AI for Social Good space.
In this article, we report the multiwavelength and multiview observations of transverse oscillations of two loop strands induced by a jet-related, confined flare in active region NOAA 13056 on 11 July 2022. The jet originates close to the right footpoint of the loops and propagates in the northeast direction. The average rise time and fall time of the jet are ≈ 11 and ≈ 13.5 minutes, so that the lifetime of the jet reaches ≈ 24.5 minutes. The rising motion of the jet is divided into two phases with average velocities of ≈ 164 and ≈ 546\,km\,s−1. The falling motion of the jet is coherent with an average velocity of ≈ 124\,km\,s−1. The transverse oscillations of the loops, lasting for 3 − 5 cycles, are of fundamental standing kink mode. The maximal initial amplitudes of the two strands are ≈ 5.8 and ≈ 4.9 Mm. The average periods are ≈ 405\,s and ≈ 407\,s. Both of the strands experience slow expansions during oscillations. The lower limits of the kink speed are 895+21−17\,km\,s−1 for loop\_1 and 891+29−35\,km\,s−1 for loop\_2, respectively. The corresponding lower limits of the Alfvén speed are estimated to be 664+16−13\,km\,s−1 and 661+22−26\,km\,s−1.
The SoccerNet 2022 challenges were the second annual video understanding challenges organized by the SoccerNet team. In 2022, the challenges were composed of 6 vision-based tasks: (1) action spotting, focusing on retrieving action timestamps in long untrimmed videos, (2) replay grounding, focusing on retrieving the live moment of an action shown in a replay, (3) pitch localization, focusing on detecting line and goal part elements, (4) camera calibration, dedicated to retrieving the intrinsic and extrinsic camera parameters, (5) player re-identification, focusing on retrieving the same players across multiple views, and (6) multiple object tracking, focusing on tracking players and the ball through unedited video streams. Compared to last year's challenges, tasks (1-2) had their evaluation metrics redefined to consider tighter temporal accuracies, and tasks (3-6) were novel, including their underlying data and annotations. More information on the tasks, challenges and leaderboards are available on https://www.soccer-net.org. Baselines and development kits are available on https://github.com/SoccerNet.
Although many competitions have been held on dialogue systems in the past, no competition has been organized specifically for dialogue with humanoid robots. As the first such attempt in the world, we held a dialogue robot competition in 2020 to compare the performances of interactive robots using an android that closely resembles a human. Dialogue Robot Competition 2022 (DRC2022) was the second competition, held in August 2022. The task and regulations followed those of the first competition, while the evaluation method was improved and the event was internationalized. The competition has two rounds, a preliminary round and the final round. In the preliminary round, twelve participating teams competed in performance of a dialogue robot in the manner of a field experiment, and then three of those teams were selected as finalists. The final round will be held on October 25, 2022, in the Robot Competition session of IROS2022. This paper provides an overview of the task settings and evaluation method of DRC2022 and the results of the preliminary round.
This is a review of Hossenfelder's book, 'Lost in Math: How Beauty Leads Physics Astray'. The book gives a breezy exposition of the present situation in fundamental physics, and raises important questions: both about the content of the physics, and the way physics research is organized. I first state my main disagreements. Then, I mostly praise the book: I concentrate on Hossenfelder's discussion of supersymmetry, naturalness and the multiverse.