Miracle-dz/UniFAR-FTUs huggingface dataset:
Submicron domain engineering in periodically poled lithium niobate on insulator

Lithium niobate on insulator (LNOI) is extensively researched for potential applications in telecommunication, sensing and quantum technology. Low-loss waveguides in LNOI have been demonstrated in recent years, with further works investigating their nonlinear optical properties via electric field poling. The fabrication imperfections and minimum feature size of inverted ferroelectric domains currently limit the efficiency and application of nonlinear processes in LNOI. This work looks into focused ion beam poling and demonstrates its potential to overcome the limitations of electric field poling. We numerically investigate the susceptibility of quasi-phase-matching condition to the fabrication flaws in poling periods and waveguide geometry showing its extreme sensitivity. We demonstrate the precise fabrication of poling periods down to 200 nm consistent over 3 mm length. Submicron poling of low loss LNOI waveguides will unlock unprecedentedly efficient nonlinear interactions by the use of uncomplicated LNOI components and enable the realization of mirrorless optical parametric oscillators.
Testing the relationship between intraspecific competition and individual specialization across both behavior and diet

Abstract Individual specialization within populations is increasingly recognized as important in both ecology and evolution, but researchers working on intraspecific variation in behavior and diet infrequently interact. This may be because individual specialization on diet and behavior was historically difficult to investigate simultaneously on the same individuals. However, approaches like stable isotope analysis that allow hindcasting past field diets for laboratory organisms may provide opportunities to unite these areas of inquiry. Here, we tested the role of intraspecific competition on individual specialization through analysis of both behavior and diet simultaneously. We focused on intraspecific competition as a mechanism that might drive individual specialization of both diet and behavior. We conducted this study in Vilas County, Wisconsin, United States (US), using rusty crayfish Faxonius rusticus from six lakes across a relative abundance gradient. We conducted six assays to measure individual specialization of behavior and used stable isotope analysis to measure individual specialization of diet. We then related both measures of individual specialization to relative abundance of F. rusticus using linear and quadratic models. We found a unimodal relationship between intraspecific competition and individual specialization of diet for F. rusticus, likely because some preferred resources are unavailable to specialize on at the highest densities of this well‐studied crayfish invader. Conversely, we found greater support for a linear relationship between individual specialization of behavior and intraspecific competition, perhaps because specialization by behavior is not inherently resource‐limited. Our results show that dietary and behavioral specialization may exhibit different responses to increased intraspecific competition, and demonstrate a potential technique that can be used to investigate individual specialization of diet and behavior simultaneously for the same individuals and populations.
Morphology of supernova remnants and their halos

Context. Supernova remnants (SNRs) are known to accelerate particles to relativistic energies, on account of their nonthermal emis- sion. The observational progress from radio to gamma-ray observations reveals more and more morphological features that need to be accounted for when modeling the emission from those objects. Aims. We use our time-dependent acceleration code RATPaC to study the formation of extended gamma-ray halos around supernova remnants and the morphological implications that arise when the high-energetic particles start to escape from the remnant. Methods. We performed spherically symmetric 1D simulations in which we simultaneously solved the transport equations for cosmic rays, magnetic turbulence, and the hydrodynamical ﬂow of the thermal plasma in a volume large enough to keep all cosmic rays in the simulation. The transport equations for cosmic rays and magnetic turbulence were coupled via the cosmic-ray gradient and the spatial diffusion coefﬁcient of the cosmic rays, while the cosmic-ray feedback onto the shock structure can be ignored. Our simulations span 25000yr, thus covering the free-expansion and the Sedov-Taylor phase of the remnant’s evolution. Results. We ﬁnd a strong difference in the morphology of the gamma-ray emission from supernova remnants at later stages dependent on the emission process. At early times, both the inverse-Compton and the Pion-decay morphology are shell-like. However, as soon as the maximum-energy of the freshly accelerated particles starts to fall, the inverse-Compton morphology starts to become center- ﬁlled, whereas the Pion-decay morphology keeps its shell-like structure. Escaping high-energy electrons start to form an emission halo around the remnant at this time. There are good prospects for detecting this spectrally hard emission with the future Cerenkov Telescope Array, as there are for detecting variations in the gamma-ray spectral index across the interior of the remnant. Further, we ﬁnd a constantly decreasing nonthermal X-ray ﬂux that makes a detection of X-ray unlikely after the ﬁrst few thousand years of the remnants’ evolution. The radio ﬂux is increasing throughout the SNR’s lifetime and changes from a shell-like to a more center-ﬁlled morphology later on.
Communication Modes With Large Intelligent Surfaces in the Near Field

This paper proposes a practical method for the definition of communication modes when antennas operate in the near-field region, by realizing ad-hoc beams exploiting the focusing capability of large antennas. The beamspace modeling proposed to define the communication modes is then exploited to derive expressions for their number (i.e., the degrees of freedom) in a generic setup, beyond the traditional paraxial scenario, together with closed-form definitions for the basis set at the transmitting and receiving antennas for several cases of interest, such as for the communication between a large antenna and a small antenna. Numerical results show that quasi-optimal communication can be obtained starting from focusing functions. This translates into the possibility of a significant enhancement of the channel capacity even in line-of-sight channel condition, without the need of implementing optimal but complex phase/amplitude profiles on transmitting/receiving antennas as well as resorting to intensive numerical solutions. Traditional results valid under paraxial approximation are revised in light of the proposed modeling, showing that similar conclusions can be obtained from different perspectives.
ARShoe: Real-Time Augmented Reality Shoe Try-on System on Smartphones

Virtual try-on technology enables users to try various fashion items using augmented reality and provides a convenient online shopping experience. However, most previous works focus on the virtual try-on for clothes while neglecting that for shoes, which is also a promising task. To this concern, this work proposes a real-time augmented reality virtual shoe try-on system for smartphones, namely ARShoe. Specifically, ARShoe adopts a novel multi-branch network to realize pose estimation and segmentation simultaneously. A solution to generate realistic 3D shoe model occlusion during the try-on process is presented. To achieve a smooth and stable try-on effect, this work further develop a novel stabilization method. Moreover, for training and evaluation, we construct the very first large-scale foot benchmark with multiple virtual shoe try-on task-related labels annotated. Exhaustive experiments on our newly constructed benchmark demonstrate the satisfying performance of ARShoe. Practical tests on common smartphones validate the real-time performance and stabilization of the proposed approach.
On Encoding LF in a Predicate Logic over Simply-Typed Lambda Terms

Felty and Miller have described what they claim to be a faithful encoding of the dependently typed λ-calculus LF in the logic of hereditary Harrop formulas, a sublogic of an intuitionistic variant of Church’s Simple Theory of Types. Their encoding is based roughly on translating object expressions in LF into terms in a simply typed λ-calculus by erasing dependencies in typing and then recapturing the erased dependencies through the use of predicates. Unfortunately, this idea does not quite work. In particular, we provide a counterexample to the claim that the described encoding is faithful. The underlying reason for the falsity of the claim is that the mapping from dependently typed λ-terms to simply typed ones is not one-to-one and hence the inverse transformation is ambiguous. This observation has a broad implication for other related encodings. A faithful encoding of a dependently typed λ-calculus within a predicate logic can be useful for a variety or reasons: it can help us understand the relative expressive power of the different systems, it can provide a means for implementing type checking in the λ-calculus, and it can be the basis for a framework for reasoning about specifications developed in the λ-calculus. An encoding that is motivated by such considerations has been provided by Felty and Miller [1] for the Edinburgh Logical Framework (LF) [2] in the logic of hereditary Harrop formulas [3]. This encoding has been claimed to be faithful: specifically, this claim is the content of Theorem 5.2 in [1]. Unfortunately, the mentioned theorem is false. We show this to be the case in this note by providing a counterexample to it. Our counterexample is based on an LF signature that includes the following type-level constructors: nat : Type and num : Πx:nat.Type. Further, the signature includes the following object-level constants: z : nat and c : Πw:(Πx:nat.Πy:(num x). nat). nat. Given this signature, we may construct the object-level expression (c (λx : nat. λy : num z. z)). Our counterexample focuses on the typeability of this expression. More specifically, it considers the derivability of the LF judgement · ⊢ (c (λx : nat. λy : num z. z)):nat. It is easily seen that this judgement is in fact not derivable in LF but, as we show below, the encoding of Felty and Miller leads to a different conclusion. The encoding of LF derivability questions in the logic of hereditary Harrop formulas works in three steps. In the first step, LF type and object expressions are translated into terms of two distinguished types in a simply typed λ-calculus. Specifically, the type ty is used for type expressions and tm is used for object expressions. To support this translation, the LF signature must be reflected into a suitable signature in the target language. In the example under consideration, this results in a signature with the following constants: nat : ty, num : tm → ty, z : tm, and c : (tm → tm → tm) → tm. Using this signature, the LF object-level expression under consideration would be represented by the simpy-typed λ-term (c (λx : tm. λy : tm. z)).
Shape multistability in flexible tubular crystals through interactions of mobile dislocations

Significance Crystalline sheets rolled up into cylinders occur in diverse biological and synthetic systems, including carbon nanotubes, biofilaments of the cellular cytoskeleton, and packings of colloidal particles. In this work, we show, computationally, that such tubular crystals can be programmed with reconfigurable shapes, due to motions of defects that interrupt the periodicity of the crystalline lattice. By identifying and exploiting stable patterns of these defects, we cause tubular crystals to relax into desired target geometries, a design principle that could guide the creation of versatile colloidal analogues to nanotubes. Our results suggest routes to tunable and switchable material properties in ordered, soft materials on deformable surfaces. We study avenues to shape multistability and shape morphing in flexible crystalline membranes of cylindrical topology, enabled by glide mobility of dislocations. Using computational modeling, we obtain states of mechanical equilibrium presenting a wide variety of tubular crystal deformation geometries, due to an interplay of effective defect interactions with out-of-tangent-plane deformations that reorient the tube axis. Importantly, this interplay often stabilizes defect configurations quite distinct from those predicted for a two-dimensional crystal confined to the surface of a rigid cylinder. We find that relative and absolute stability of competing states depend strongly on control parameters such as bending rigidity, applied stress, and spontaneous curvature. Using stable dislocation pair arrangements as building blocks, we demonstrate that targeted macroscopic three-dimensional conformations of thin crystalline tubes can be programmed by imposing certain sparse patterns of defects. Our findings reveal a broad design space for controllable and reconfigurable colloidal tube geometries, with potential relevance also to architected carbon nanotubes and microtubules.
Spatial and seasonal patterns of fish assemblages in mountain streams of the Ren River, southwest China

Abstract The spatial–temporal patterns of fish assemblages in lotic systems can provide useful information in developing effective conservation measures. This study aimed to explore the spatial and seasonal changes in fish assemblages and their association with environmental factors in mountain streams of the Ren River, southwest China. Field investigations were conducted at 18 sites during the rainy and dry seasons in 2017. A total of 1,330 individuals, belonging to three orders, eight families, 19 genera, and 21 species, were collected. Analysis of similarities (ANOSIM) showed that the structure of fish assemblages varied significantly at the spatial scale, but not at the seasonal scale. In low‐order sites, fish assemblages were mainly dominated by cold‐water and rheophilic species (e.g., Rhynchocypris oxycephalus, Scaphesthes macrolepis, Metahomaloptera omeiensis, and Gnathopogon herzensteini), while those in high‐order sites were predominated by warm‐water and eurytopic or stagnophilic species (e.g., Squalidus argentatus, Hemiculter leucisculus, and Zacco platypus). Canonical correspondence analysis (CCA) showed that the fish assemblages were structured by a combination of large‐scale landscape factors (e.g., altitude and C‐link) and small‐scale habitat features (e.g., channel width, water temperature, and depth). Among these factors, landscape had the greatest influence on fish assemblages, while local habitat variables were less important or were only significant in certain seasons.
Practice of New Normal Lifestyles, Economic and Social Disruption, and Level of Happiness Among General Public in China in the Post-COVID-19 Era

Purpose This study aimed to investigate the impact of the COVID-19 pandemic on the practice of ‘new normal’ lifestyles, economic and social distribution, and individuals’ well-being of people in China after the country ease the lockdown restriction. Methods A cross-sectional, self-administered online survey was carried out between 3 September and 15 October 2020. Results A total of 8393 complete responses were received from a nationwide sample. Poor sustainability in the practice of “new norm” was reported. Noteworthy disparities were observed in willingness to carry out “new normal” practices by gender, urban-rural locality, non-Han and Han Chinese and educational attainment. There was evidence of economic and social disruption associated with COVID-19 or “new normal” practices. The current mean (±standard deviation [SD]) happiness score (110.45 ± 17.55) was slightly lower than the mean happiness score before (111.12 ± 17.83) the COVID-19 pandemic (t= −9.01, p<0.001). Lower socioeconomic status and greater economic and social disruptions were associated with lower current happiness scores. Moreover, greater willingness to adapt to “new normal” practices was associated with higher levels of happiness. Conclusion There is a need to encourage sustainable practice of new norm post-pandemic. Segments of the public continue to experience significant economic and social effects and the post-pandemic ‘new norms’ remain at risk of leading to psychological consequences.
Human Amniotic Mesenchymal Stem Cells Inhibit aGVHD by Regulating Balance of Treg and T Effector Cells

Background Acute graft versus host disease (aGVHD) remains a leading cause of transplant-related mortality following allogeneic haematopoietic cell transplantation (allo-HCT). Human amniotic mesenchymal stem cells (hAMSCs) are a novel mesenchymal stem cells (MSCs), which have stronger proliferation and immunomodulatory ability compared with bone marrow mesenchymal stem cells (BM-MSCs). Besides, as the amniotic membrane is often treated as medical waste after delivery, hAMSCs can be obtained conveniently and noninvasively. The aim of this study was to explore the therapeutic efficacy and underlying mechanisms of hAMSCs transplantation for the humanized aGVHD mouse model. Methods We established a humanized aGVHD mouse model by transplanting human peripheral blood mononuclear cells (PBMCs) into NOD-PrkdcscidIL2rγnull (NPG) mice, human amniotic membrane collected from discarded placenta of healthy pregnant women after delivery and hAMSCs were extracted from amniotic membrane and expanded in vitro. Mice were divided into untreated group (Control), aGVHD group (aGVHD), and hAMSCs treatment group (aGVHD+hAMSCs), the hAMSCs labeled with GFP were administered to aGVHD mice to explore the homing ability of hAMSCs. T effector and regulatory T cells (Tregs) levels and cytokines of each group in target organs were detected by flow cytometry and cytometric bead array (CBA), respectively. Results We successfully established a humanized aGVHD mouse model using NPG mice. The hAMSCs have the ability to inhibit aGVHD in this mouse model through reduced villous blunting and lymphocyte infiltration of the gut while reducing inflammatory edema, tissue destruction and lymphocyte infiltration into the parenchyma of the liver and lung. hAMSCs suppressed CD3+CD4+ T and CD3+CD8+ T cell expression and increased the proportion of Tregs, and besides, hAMSCs can reduce the levels of IL-17A, INF-γ, and TNF in aGVHD target organs. Conclusion The NPG murine environment was capable of activating human T cells to produce aGVHD pathology to mimic aGVHD as in humans. The hAMSCs controlled aGVHD by decreasing inflammatory cytokine secretion within target organs by modulating the balance of Tregs and T effector cells in humanized mice.
Knowledge-based XAI through CBR: There is More to Explanations than Models Can Tell

The underlying hypothesis of knowledge-based explainable artificial intelligence is the data required for data-centric artificial intelligence agents (e.g., neural networks) are less diverse in contents than the data required to explain the decisions of such agents to humans. The idea is that a classifier can attain high accuracy using data that express a phenomenon from one perspective whereas the audience of explanations can entail multiple stakeholders and span diverse perspectives. We hence propose to use domain knowledge to complement the data used by agents. We formulate knowledge-based explainable artificial intelligence as a supervised data classification problem aligned with the CBR methodology. In this formulation, the inputs are case problems composed of both the inputs and outputs of the data-centric agent and case solutions, the outputs, are explanation categories obtained from domain knowledge and subject matter experts. This formulation does not typically lead to an accurate classification, preventing the selection of the correct explanation category. Knowledge-based explainable artificial intelligence extends the data in this formulation by adding features aligned with domain knowledge that can increase accuracy when selecting explanation categories.
Human norovirus GII.4 Hong Kong variant shares common ancestry with GII.4 Osaka and emerged in Thailand in 2016

Human norovirus is a leading cause of non-bacterial acute gastroenteritis, which affects all age groups and are found globally. Infections are highly contagious and often occur as outbreaks. Periodic emergence of new strains are not uncommon and novel variants are named after the place of first reported nucleotide sequence. Here, we identified human norovirus GII.4 Hong Kong variant in stool samples from Thai patients presented with acute gastroenteritis. Comparison of amino acid residues deduced from the viral nucleotide sequence with those of historical and contemporary norovirus GII.4 strains revealed notable differences, which mapped to the defined antigenic sites of the viral major capsid protein. Time-scaled phylogenetic analysis suggests that GII.4 Hong Kong shared common ancestry with GII.4 Osaka first reported in 2007, and more importantly, did not evolve from the now-prevalent GII.4 Sydney lineage. As circulation of norovirus minor variants can lead to eventual widespread transmission in susceptible population, this study underscores the potential emergence of the GII.4 Hong Kong variant, which warrants vigilant molecular epidemiological surveillance.
Intestinal organoid-based 2D monolayers mimic physiological and pathophysiological properties of the pig intestine

Gastrointestinal infectious diseases remain an important issue for human and animal health. Investigations on gastrointestinal infectious diseases are classically performed in laboratory animals leading to the problem that species-specific models are scarcely available, especially when it comes to farm animals. The 3R principles of Russel and Burch were achieved using intestinal organoids of porcine jejunum. These organoids seem to be a promising tool to generate species-specific in vitro models of intestinal epithelium. 3D Organoids were grown in an extracellular matrix and characterized by qPCR. Organoids were also seeded on permeable filter supports in order to generate 2D epithelial monolayers. The organoid-based 2D monolayers were characterized morphologically and were investigated regarding their potential to study physiological transport properties and pathophysiological processes. They showed a monolayer structure containing different cell types. Moreover, their functional activity was demonstrated by their increasing transepithelial electrical resistance over 18 days and by an active glucose transport and chloride secretion. Furthermore, the organoid-based 2D monolayers were also confronted with cholera toxin derived from Vibrio cholerae as a proof of concept. Incubation with cholera toxin led to an increase of short-circuit current indicating an enhanced epithelial chloride secretion, which is a typical characteristic of cholera infections. Taken this together, our model allows the investigation of physiological and pathophysiological mechanisms focusing on the small intestine of pigs. This is in line with the 3R principle and allows the reduction of classical animal experiments.