Miracle-dz/UniFAR-FTUs huggingface dataset:
Survey of planetesimal belts with ALMA: gas detected around the Sun-like star HD 129590

Gas detection around main sequence stars is becoming more common with around 20 systems showing the presence of CO. However, more detections are needed, especially around later spectral type stars to better understand the origin of this gas and refine our models. To do so, we carried out a survey of 10 stars with predicted high likelihoods of secondary CO detection using ALMA in band 6. We looked for continuum emission of mm-dust as well as gas emission (CO and CN transitions). The continuum emission was detected in 9/10 systems for which we derived the discs' dust masses and geometrical properties, providing the first mm-wave detection of the disc around HD 106906, the first mm-wave radius for HD 114082, 117214, HD 15745, HD 191089 and the first radius at all for HD 121191. A crucial finding of our paper is that we detect CO for the first time around the young 10-16 Myr old G1V star HD 129590, similar to our early Sun. The gas seems colocated with its planetesimal belt and its total mass is likely between $2-10 \times 10^{-5}$ M$_\oplus$. This first gas detection around a G-type main-sequence star raises questions as to whether gas may have been released in the Solar System as well in its youth, which could potentially have affected planet formation. We also detected CO gas around HD 121191 at a higher S/N than previously and find that the CO lies much closer-in than the planetesimals in the system, which could be evidence for the previously suspected CO viscous spreading owing to shielding preventing its photodissociation. Finally, we make estimates for the CO content in planetesimals and the HCN/CO outgassing rate (from CN upper limits), which we find are below the level seen in Solar System comets in some systems.
Bayesian survival analysis with BUGS

Survival analysis is one of the most important fields of statistics in medicine and biological sciences. In addition, the computational advances in the last decades have favored the use of Bayesian methods in this context, providing a flexible and powerful alternative to the traditional frequentist approach. The objective of this article is to summarize some of the most popular Bayesian survival models, such as accelerated failure time, proportional hazards, mixture cure, competing risks, multi‐state, frailty, and joint models of longitudinal and survival data. Moreover, an implementation of each presented model is provided using a BUGS syntax that can be run with JAGS from the R programming language. Reference to other Bayesian R‐packages is also discussed.
A New Species of Babbler (Timaliidae: Stachyris) from the Sino-Vietnamese Border Region of China

Abstract Since 2004, we have surveyed birds in the southwest Guangxi Zhuang Autonomous Region of China. Many times during February, July, and October 2005 and January 2006, we observed, in Nonggang Natural Reserve of Guangxi, a species in the family Timaliidae that has never been recorded before in China or Southeast Asia. Nonggang Natural Reserve is located in the Sino-Vietnamese border region at 22°13′–22°34′N, 106°42′–107°05′E, 18 km southeast of the Vietnamese border. On 21 January 2006, we captured two individuals. Subsequent investigation showed that the specimens belonged to a previously undescribed species, which we designate Stachyris nonggangensis, the Nonggang Babbler.
How to detect Wada basins

We present a review of the different techniques available to study a special kind of fractal basins of attraction known as Wada basins, which have the intriguing property of having a single boundary separating three or more basins. We expose several approaches to identify this topological property that rely on different, but not exclusive, definitions of the Wada property.
Organic single-photon switch

The recent progress in nanotechnology [1,2] and single-molecule spectroscopy [3-5] paves the way for cost-effective organic quantum optical technologies emergent with a promise to real-life devices operating at ambient conditions. In this letter, we harness $\pi$-conjugated segments of an organic ladder-type polymer strongly coupled to a microcavity forming correlated collective dressed states of light, so-called of exciton-polariton condensates. We explore an efficient way for all-optical ultra-fast control over the macroscopic condensate wavefunction via a single photon. Obeying Bose statistics, exciton-polaritons exhibit an extreme nonlinearity undergoing bosonic stimulation [6] which we have managed to trigger at the single-photon level. Relying on the nature of organic matter to sustain stable excitons dressed with high energy molecular vibrations we have developed a principle that allows for single-photon nonlinearity operation at ambient conditions opening the door for practical implementations like sub-picosecond switching, amplification and all-optical logic at the fundamental limit of single light quanta.
Scrub encroachment into species-rich limestone grassland: recruitment, herbivory and the threat from incipient scrub

Background: ‘Scrub-grassland’ mosaics are valued owing to their notable biodiversity. However, they are dynamic and difficult to manage, largely because of our incomplete knowledge of vegetation boundary shifts. Aim: Increase our understanding of the ecological processes involved in woody plant establishment at scrub–grassland ecotones and assess whether current management practices in a reserve (Cressbrook Dale, UK) are controlling scrub encroachment. Methods: Vegetation structure, seed deposition and seedling density were studied for woody species across the scrub–grassland interface. Seedlings of successful colonisers were planted in the grassland to assess their palatability and susceptibility to grazers. Results: Vegetation structure changed radically at the scrub–grassland interface. Woody plant canopy cover decreased more sharply than did the density of woody species. Seed deposition was much higher within the scrub than in the grassland (71.3 vs. 9.0 seeds m−2 year−1). Corylus avellana and Crataegus monogyna were the most successful grassland colonisers, with Corylus being less palatable but less resistant to grazing. Conclusions: Although the current grazing regime is stopping scrub encroachment, there is a notable density of stunted woody plants in the grassland adjacent to the scrub, their growth suppressed by grazers. This incipient scrub could rapidly become closed scrub if grazing pressure were relaxed.
WinoWhy: A Deep Diagnosis of Essential Commonsense Knowledge for Answering Winograd Schema Challenge

In this paper, we present the first comprehensive categorization of essential commonsense knowledge for answering the Winograd Schema Challenge (WSC). For each of the questions, we invite annotators to first provide reasons for making correct decisions and then categorize them into six major knowledge categories. By doing so, we better understand the limitation of existing methods (i.e., what kind of knowledge cannot be effectively represented or inferred with existing methods) and shed some light on the commonsense knowledge that we need to acquire in the future for better commonsense reasoning. Moreover, to investigate whether current WSC models can understand the commonsense or they simply solve the WSC questions based on the statistical bias of the dataset, we leverage the collected reasons to develop a new task called WinoWhy, which requires models to distinguish plausible reasons from very similar but wrong reasons for all WSC questions. Experimental results prove that even though pre-trained language representation models have achieved promising progress on the original WSC dataset, they are still struggling at WinoWhy. Further experiments show that even though supervised models can achieve better performance, the performance of these models can be sensitive to the dataset distribution. WinoWhy and all codes are available at: https://github.com/HKUST-KnowComp/WinoWhy.
Causal Estimation of Stay-at-Home Orders on SARS-CoV-2 Transmission

Accurately estimating the effectiveness of stay-at-home orders (SHOs) on reducing social contact and disease spread is crucial for mitigating pandemics. Leveraging individual-level location data for 10 million smartphones, we observe that by April 30th---when nine in ten Americans were under a SHO---daily movement had fallen 70% from pre-COVID levels. One-quarter of this decline is causally attributable to SHOs, with wide demographic differences in compliance, most notably by political affiliation. Likely Trump voters reduce movement by 9% following a local SHO, compared to a 21% reduction among their Clinton-voting neighbors, who face similar exposure risks and identical government orders. Linking social distancing behavior with an epidemic model, we estimate that reductions in movement have causally reduced SARS-CoV-2 transmission rates by 49%.
Discriminative Multi-Modality Speech Recognition

Vision is often used as a complementary modality for audio speech recognition (ASR), especially in the noisy environment where performance of solo audio modality significantly deteriorates. After combining visual modality, ASR is upgraded to the multi-modality speech recognition (MSR). In this paper, we propose a two-stage speech recognition model. In the first stage, the target voice is separated from background noises with help from the corresponding visual information of lip movements, making the model ‘listen' clearly. At the second stage, the audio modality combines visual modality again to better understand the speech by a MSR sub-network, further improving the recognition rate. There are some other key contributions: we introduce a pseudo-3D residual convolution (P3D)-based visual front-end to extract more discriminative features; we upgrade the temporal convolution block from 1D ResNet with the temporal convolutional network (TCN), which is more suitable for the temporal tasks; the MSR sub-network is built on the top of Element-wise-Attention Gated Recurrent Unit (EleAtt-GRU), which is more effective than Transformer in long sequences. We conducted extensive experiments on the LRS3-TED and the LRW datasets. Our two-stage model (audio enhanced multi-modality speech recognition, AE-MSR) consistently achieves the state-of-the-art performance by a significant margin, which demonstrates the necessity and effectiveness of AE-MSR.
AdaDurIAN: Few-shot Adaptation for Neural Text-to-Speech with DurIAN

This paper investigates how to leverage a DurIAN-based average model to enable a new speaker to have both accurate pronunciation and fluent cross-lingual speaking with very limited monolingual data. A weakness of the recently proposed end-to-end text-to-speech (TTS) systems is that robust alignment is hard to achieve, which hinders it to scale well with very limited data. To cope with this issue, we introduce AdaDurIAN by training an improved DurIAN-based average model and leverage it to few-shot learning with the shared speaker-independent content encoder across different speakers. Several few-shot learning tasks in our experiments show AdaDurIAN can outperform the baseline end-to-end system by a large margin. Subjective evaluations also show that AdaDurIAN yields higher mean opinion score (MOS) of naturalness and more preferences of speaker similarity. In addition, we also apply AdaDurIAN to emotion transfer tasks and demonstrate its promising performance.
What Can Be Done with Consensus Number One: Relaxed Queues and Stacks

Sequentially specified linearizable concurrent data structures must be relaxed in order to support scalability. In this work, we identify and formally define relaxations of queues and stacks that can be non-blocking or wait-free implemented using only read/write operations. We use set-linearizability to specify the relaxations formally, and precisely identify the subset of executions which preserve the original sequential behavior. The relaxations allow for an item to be extracted more than once by different operations, but only in case of concurrency; we call such a property multiplicity. The stack implementation is wait-free, while the queue implementation is non-blocking. We also use interval-linearizability to describe a queue with multiplicity, with the additional and new relaxation that a dequeue operation can return weak-empty, which means that the queue might be empty. We present a read/write wait-free implementation of the interval-sequential queue. As far as we know, this work is the first that provides simple and clear formalizations of the notions of multiplicity and weak-emptiness, which can be implemented from read/write registers only.
Graphical splittings of Artin kernels

Abstract We study Artin kernels, i.e. kernels of discrete characters of right-angled Artin groups, and we show that they decompose as graphs of groups in a way that can be explicitly computed from the underlying graph. When the underlying graph is chordal, we show that every such subgroup either surjects to an infinitely generated free group or is a generalized Baumslag–Solitar group of variable rank. In particular, for block graphs (e.g. trees), we obtain an explicit rank formula and discuss some features of the space of fibrations of the associated right-angled Artin group.
Localization in Unstructured Environments: Towards Autonomous Robots in Forests with Delaunay Triangulation

Autonomous harvesting and transportation is a long-term goal of the forest industry. One of the main challenges is the accurate localization of both vehicles and trees in a forest. Forests are unstructured environments where it is difficult to find a group of significant landmarks for current fast feature-based place recognition algorithms. This paper proposes a novel approach where local point clouds are matched to a global tree map using the Delaunay triangularization as the representation format. Instead of point cloud based matching methods, we utilize a topology-based method. First, tree trunk positions are registered at a prior run done by a forest harvester. Second, the resulting map is Delaunay triangularized. Third, a local submap of the autonomous robot is registered, triangularized and matched using triangular similarity maximization to estimate the position of the robot. We test our method on a dataset accumulated from a forestry site at Lieksa, Finland. A total length of 200 m of harvester path was recorded by an industrial harvester with a 3D laser scanner and a geolocation unit fixed to the frame. Our experiments show a 12 cm s.t. d. in the location accuracy and with real-time data processing for speeds not exceeding 0.5 m/s. The accuracy and speed limit are realistic during forest operations.
Charting Coordination Needs in Large-Scale Agile Organisations with Boundary Objects and Methodological Islands

Large-scale system development companies are increasingly adopting agile methods. While this adoption may improve lead-times, such companies need to balance two trade-offs: (i) the need to have a uniform, consistent development method on system level with the need for specialised methods for teams in different disciplines (e.g., hardware, software, mechanics, sales, support); (ii) the need for comprehensive documentation on system level with the need to have lightweight documentation enabling iterative and agile work. With specialised methods for teams, isolated teams work within larger ecosystems of plan-driven culture, i.e., teams become agile “islands”. At the boundaries, these teams share knowledge which needs to be managed well for a correct system to be developed. While it is useful to support diverse and specialised methods, it is important to understand which islands are repeatedly encountered, the reasons or factors triggering their existence, and how best to handle coordination between them. Based on a multiple case study, this work presents a catalogue of islands and the boundary objects between them. We believe this work will be beneficial to practitioners aiming to understand their ecosystems and researchers addressing communication and coordination challenges in large-scale development.
Inevitable imprints of patchy reionization on the cosmic microwave background anisotropy

Reionization of the cosmic neutral hydrogen by the first stars in the Universe is an inhomogeneous process which produces spatial fluctuations in free electron density. These fluctuations lead to observable signatures in cosmological probes like the cosmic microwave background (CMB). We explore the effect of the electron density fluctuations on CMB using photon-conserving semi-numerical simulations of reionization named \texttt{SCRIPT}. We show that the amplitude of the kinematic Sunyaev-Zeldovich (kSZ) and $B$-mode polarization signal depends on the electron density fluctuations along with the dependence on mid-point and extent of the reionization history. Motivated by this finding, we provide new scaling relations for the amplitude of kSZ and $B$-mode polarization signal which can capture the effects arising from the mean optical depth, width of reionization, and spatial fluctuations in the electron density. We show that the amplitude of the kSZ and $B$-mode polarization signal exhibits different dependency on the width of reionization and spatial fluctuations, and hence a joint study of these CMB probes will be able to break the degeneracy. By combining external datasets from 21~cm measurements, the degeneracy can be further lifted by directly exploring the sizes of the ionized regions.
Effective Viscous Damping Enables Morphological Computation in Legged Locomotion

Muscle models and animal observations suggest that physical damping is beneficial for stabilization. Still, only a few implementations of physical damping exist in compliant robotic legged locomotion. It remains unclear how physical damping can be exploited for locomotion tasks, while its advantages as sensor-free, adaptive force- and negative work-producing actuators are promising. In a simplified numerical leg model, we studied the energy dissipation from viscous and Coulomb damping during vertical drops with ground-level perturbations. A parallel spring- damper is engaged between touch-down and mid-stance, and its damper auto-decouples from mid-stance to takeoff. Our simulations indicate that an adjustable and viscous damper is desired. In hardware we explored effective viscous damping and adjustability, and quantified the dissipated energy. We tested two mechanical, leg-mounted damping mechanisms: a commercial hydraulic damper, and a custom-made pneumatic damper. The pneumatic damper exploits a rolling diaphragm with an adjustable orifice, minimizing Coulomb damping effects while permitting adjustable resistance. Experimental results show that the leg-mounted, hydraulic damper exhibits the most effective viscous damping. Adjusting the orifice setting did not result in substantial changes of dissipated energy per drop, unlike adjusting the damping parameters in the numerical model. Consequently, we also emphasize the importance of characterizing physical dampers during real legged impacts to evaluate their effectiveness for compliant legged locomotion.
Ambiguity in mean-flow-based linear analysis

Abstract Linearisation of the Navier–Stokes equations about the mean of a turbulent flow forms the foundation of popular models for energy amplification and coherent structures, including resolvent analysis. While the Navier–Stokes equations can be equivalently written using many different sets of dependent variables, we show that the properties of the linear operator obtained via linearisation about the mean depend on the variables in which the equations are written prior to linearisation, and can be modified under nonlinear transformation of variables. For example, we show that using primitive and conservative variables leads to differences in the singular values and modes of the resolvent operator for turbulent jets, and that the differences become more severe as variable-density effects increase. This lack of uniqueness of mean-flow-based linear analysis provides new opportunities for optimising models by specific choice of variables while also highlighting the importance of carefully accounting for the nonlinear terms that act as a forcing on the resolvent operator.
Lattice-based public key encryption with equality test supporting flexible authorization in standard model

Public key encryption with equality test (PKEET) supports to check whether two ciphertexts encrypted under different public keys contain the same message or not. PKEET has many interesting applications such as keyword search on encrypted data, encrypted data partitioning for efficient encrypted data management, personal health record systems, spam filtering in encrypted email systems and so on. However, the PKEET scheme lacks an authorization mechanism for a user to control the comparison of its ciphertexts with others. In 2015, Ma et al. introduce the notion of PKEET with flexible authorization (PKEET-FA) which strengthens privacy protection. Since 2015, there are several follow-up works on PKEET-FA. But, all are secure in the random-oracle model. Moreover, all are vulnerable to quantum attacks. In this paper, we provide three constructions of quantum-safe PKEET-FA secure in the standard model. Proposed constructions are secure based on the hardness assumptions of integer lattices and ideal lattices. Finally, we implement the PKEET-FA scheme over ideal lattices.
The Semiforbidden C iii] λ1909 Emission in the Rest-ultraviolet Spectra of Green Pea Galaxies

We used the Space Telescope Imaging Spectrograph on the Hubble Space Telescope (HST) to observe the semiforbidden C iii] λλ1907, 1909 doublet emission in green pea galaxies at 0.13 ≤ z ≤ 0.3. We detect C iii] emission in 7/10 galaxies with C iii] equivalent widths (EWs) that range from 2 to 10 Å, confirming that C iii] emission is almost ubiquitous in low-mass, low-metallicity (12+log(O/H) < 8.4) galaxies that are characterized by strong optical [O iii] λ5007 emission. The composite UV spectrum shows evidence for the He ii λ1640 emission line and interstellar absorption features (e.g., C iv λλ1548, 1550, Al iii λλ1854, 1862). We do not detect the O iii] λλ1661, 1666 emission with >3σ significance. The observed C iii] emission line strengths are consistent with the predictions from photoionization models that incorporate the effects of binary stellar evolution with young stellar ages ≤3–5 Myr and high ionization parameters (log U > −2). The hard ionizing radiation from young massive stars and high nebular temperatures at low metallicities can account for the observed high EWs of C iii] λ1909 and [O iii] λ5007 emission lines. Some of the star-forming galaxies at high redshift and local blue compact dwarf galaxies show offsets from the EW(C iii]) versus EW([O iii]) model grids, indicating an additional contribution to the continuum emission from composite stellar populations or different C/O abundances, nebular temperatures, and electron densities than assumed in the photoionization models. The green pea galaxies do not show a significant correlation between the Lyα and C iii] EWs, and the observed scatter is likely due to the variations in the optical depth of Lyα to the neutral gas. Green pea galaxies are likely to be density-bounded, and we examined the dependence of C iii] emission on the Lyman continuum optical depth. The potential LyC leaker galaxies in our sample have high C iii] EWs that can only be reproduced by starburst ages as young as <3 Myr and harder ionizing spectra than the nonleakers. Among the galaxies with similar metallicities and ionization parameters, the C iii] EW appears to be stronger for those with higher optical depth to LyC, as expected from the photoionization models. There are various factors that affect the C iii] emission line strengths, and further investigation of a larger sample of C iii] emitters is necessary to calibrate the dependence of C iii] emission on the escape of LyC radiation and enable application of the C iii] diagnostics to galaxies in the reionization epoch.