Miracle-dz/UniFAR-FTUs huggingface dataset:
Incorporating Demand Response of Electric Vehicles in Scheduling of Isolated Microgrids With Renewables Using a Bi-Level Programming Approach

In this work, a novel optimal scheduling approach is proposed for isolated microgrids (MGs) with renewable generations by incorporating demand response of electric vehicles (EVs). First, a bi-level programming-based MG scheduling model is proposed under real-time pricing environments, where the upper- and lower- levels seek to minimize the MG net operating cost and the EV charging cost. Second, a hybrid solution algorithm called JAYA-interior point method is put forward to solve the model. And finally, the simulation results demonstrate that incorporating demand response of electric vehicles is able to guide EV users to actively participate in MG scheduling and achieve the peak load shaving, which offers a fundamental way to balance the interests between MG and EV users.
The supernova remnant population of the Small Magellanic Cloud

Aims.We present a comprehensive study on the supernova remnant (SNR) population of the Small Magellanic Cloud (SMC). We measured multiwavelength properties of the SMC SNRs and compare them to those of the Large Magellanic Cloud (LMC) population.Methods. This study combines the large dataset ofXMM-Newtonobservations of the SMC, archival and recent radio continuum observations, an optical line emission survey, and new optical spectroscopic observations. We were therefore able to build a complete and clean sample of 19 confirmed and four candidate SNRs. The homogeneous X-ray spectral analysis allowed us to search for SN ejecta and Fe K line emission, and to measure interstellar medium abundances. We estimated the ratio of core-collapse to type Ia supernova rates of the SMC based on the X-ray properties and the local stellar environment of each SNR.Results. After the removal of unconfirmed or misclassified objects, and the addition of two newly confirmed SNRs based on multi-wavelength features, we present a final list of 21 confirmed SNRs and two candidates. While no Fe K line is detected even for the brightest and youngest SNR, we find X-ray evidence of SN ejecta in 11 SNRs. We estimate a fraction of 0.62–0.92 core-collapse supernova for every supernova (90% confidence interval), higher than in the LMC. The difference can be ascribed to the absence of the enhanced star-formation episode in the SMC, which occurred in the LMC 0.5–1.5 Gyr ago. The hot-gas abundances of O, Ne, Mg, and Fe are 0.1–0.2 times solar. Their ratios, with respect to SMC stellar abundances, reflect the effects of dust depletion and partial dust destruction in SNR shocks. We find evidence that the ambient medium probed by SMC SNRs is less disturbed and less dense on average than in the LMC, consistent with the different morphologies of the two galaxies.
The core inverse and constrained matrix approximation problem

Abstract In this article, we study the constrained matrix approximation problem in the Frobenius norm by using the core inverse: | | M x − b | | F = min subject to x ∈ ℛ ( M ) , ||Mx-b|{|}_{F}=\hspace{. 25em}\min \hspace{1em}\text{subject}\hspace{. 25em}\text{to}\hspace{1em}x\in {\mathcal R} (M), where M ∈ ℂ n CM M\in {{\mathbb{C}}}_{n}^{\text{CM}} . We get the unique solution to the problem, provide two Cramer’s rules for the unique solution and establish two new expressions for the core inverse.
Masses and Implications for Ages of Low-mass Pre-main-sequence Stars in Taurus and Ophiuchus

The accuracy of masses of pre-main-sequence stars derived from their locations on the Hertzsprung–Russell diagram (HRD) can be tested by comparison with accurate and precise masses determined independently. We present 29 single stars in the Taurus star-forming region (SFR) and 3 in the Ophiuchus SFR with masses measured dynamically to a precision of at least 10%. Our results include 9 updated mass determinations and 3 that have not had their dynamical masses published before. This list of stars with fundamental, dynamical masses, Mdyn, is drawn from a larger list of 39 targets in the Taurus SFR and 6 in the Ophiuchus SFR. Placing the stars with accurate and precise dynamical masses on HRDs that do not include internal magnetic fields underestimates the mass compared to Mdyn by about 30%. Placing them on an HRD that does include magnetic fields yields mass estimates in much better agreement with Mdyn, with an average difference between Mdyn and the estimated track mass of 0.01 ± 0.02 M⊙. The ages of the stars, 3–10 MY on tracks that include magnetic fields, is older than the 1–3 MY indicated by the nonmagnetic models. The older ages of T Tauri stars predicted by the magnetic models increase the time available for evolution of their disks and formation of the giant gas exoplanets. The agreement between our Mdyn values and the masses on the magnetic field tracks provides indirect support for these older ages.
Spectroscopic Follow-up of Discoveries from the NEOWISE Proper Motion Survey

We present low-resolution near-infrared spectra of discoveries from an all-sky proper motion search conducted using multi-epoch data from the Wide-field Infrared Survey Explorer. Using the data from NEOWISE, along with the AllWISE catalog, Schneider et al. conducted an all-sky proper motion survey to search for nearby objects with high proper motions. Here, we present a follow-up spectroscopic survey of 65 of their discoveries, which focused primarily on potentially nearby objects (d < 25 pc), candidate late-type brown dwarfs (≥L7), and subdwarf candidates. We found 31 new M dwarfs, 18 new L dwarfs, and 11 new T dwarfs. Of these, 13 are subdwarfs, including one new sdL1 and two new sdL7s. Eleven of these discoveries, with spectral types ranging from M7 to T7 (including one subdwarf) are predicted to be within 25 pc, adding to the number of known objects in the solar neighborhood. We also discovered three new early-type T subdwarf candidates, one sdT1, one sdT2, and one sdT3, which would increase the number of known early-type T subdwarfs from two to five.
Liv(e)-ing on the Edge: User-Uploaded Live Streams Driven by "First-Mile" Edge Decisions

As users equipped with high-resolution cameras spontaneously capture and live-stream videos to interested parties through distributors like Twitch or Facebook Live, a new style of video delivery is emerging: user-upload streaming. Unlike video-on-demand and traditional live-streaming in which video is stored by professional content providers and distributed using standard CDN techniques, in user-upload streaming, the video is generated and uploaded on-the-fly by heterogeneous clients with restricted bandwidth and long latencies to the distributor. Hence, it is crucial to factor in client-side "first-mile" factors when making edge decisions. In this paper, we present a systematic design of a video delivery architecture for user-upload streaming, which focuses on the upload server and upload bitrate as the important "first-mile" edge factors that influence downstream delivery and quality-of-experience for viewers. We present a polynomial-time algorithm to minimize the end-to-end latency and maximize the video rate for all users for the scenario where the upload and download server are the same. Further, we present efficient heuristics for the general (NP-complete) version where the upload streams are routed through the distributor's overlay network. Finally, we validate the efficacy of our algorithms through extensive trace-based simulations based on real-world data sets.
Converting ALC Connection Proofs into ALC Sequents

The connection method has earned good reputation in the area of automated theorem proving, due to its simplicity, efficiency and rational use of memory. This method has been applied recently in automatic provers that reason over ontologies written in the description logic ALC. However, proofs generated by connection calculi are difficult to understand. Proof readability is largely lost by the transformations to disjunctive normal form applied over the formulae to be proven. Such a proof model, albeit efficient, prevents inference systems based on it from effectively providing justifications and/or descriptions of the steps used in inferences. To address this problem, in this paper we propose a method for converting matricial proofs generated by the ALC connection method to ALC sequent proofs, which are much easier to understand, and whose translation to natural language is more straightforward. We also describe a calculus that accepts the input formula in a non-clausal ALC format, what simplifies the translation.
The Adult Ts65Dn Mouse Model of Down Syndrome Shows Altered Swallow Function

There are increased risks for deglutition disorders in people with Down syndrome (DS). Although mouse models have been used to study the biological underpinnings of DS in other areas, relatively little is known about swallowing phenotypes in these models. We hypothesized that swallowing performance would be affected in adult mouse models of DS, relative to typical control mice. Videofluoroscopic swallow studies (VFSS) were conducted on adults of two mouse models of DS: Ts65Dn and Dp(16)1Yey, and evaluated in comparison with age-matched controls. Relative to other groups, adult Ts65Dn showed significantly slower swallow rates, longer inter-swallow intervals (ISI), and greater numbers of jaw excursion cycles preceding each swallow. In contrast, adult Dp(16)1Yey mice showed swallowing performance similar to control mice. Exploratory quantitative analyses of the intrinsic tongue (transverse muscle), and extrinsic tongue muscles [genioglossus (GG), styloglossus (SG), and hyoglossus (HG)] showed no significant differences between genotype groups in myosin heavy chain isoform profiles. Collectively, these findings suggest that while swallowing is typical in adult Dp(16)1Yey, swallowing in adult Ts65Dn is atypical due to unknown causes. The finding that adult Ts65Dn may have utility as a model of dysphagia provides new opportunities to elucidate biological underpinnings of dysphagia associated with DS.
Multi-Task Deep Learning With Dynamic Programming for Embryo Early Development Stage Classification From Time-Lapse Videos

Time-lapse is a technology used to record the development of embryos during in-vitro fertilization (IVF). Accurate classification of embryo early development stages can provide embryologists valuable information for assessing the embryo quality, and hence is critical to the success of IVF. This paper proposes a multi-task deep learning with dynamic programming (MTDL-DP) approach for this purpose. It first uses MTDL to pre-classify each frame in the time-lapse video to an embryo development stage, and then DP to optimize the stage sequence so that the stage number is monotonically non-decreasing, which usually holds in practice. Different MTDL frameworks, e.g., one-to-many, many-to-one, and many-to-many, are investigated. It is shown that the one-to-many MTDL framework achieved the best compromise between performance and computational cost. To our knowledge, this is the first study that applies MTDL to embryo early development stage classification from time-lapse videos.
Grounded Agreement Games: Emphasizing Conversational Grounding in Visual Dialogue Settings

Where early work on dialogue in Computational Linguistics put much emphasis on dialogue structure and its relation to the mental states of the dialogue participants (e.g., Allen 1979, Grosz & Sidner 1986), current work mostly reduces dialogue to the task of producing at any one time a next utterance; e.g. in neural chatbot or Visual Dialogue settings. As a methodological decision, this is sound: Even the longest journey is a sequence of steps. It becomes detrimental, however, when the tasks and datasets from which dialogue behaviour is to be learned are tailored too much to this framing of the problem. In this short note, we describe a family of settings which still allow to keep dialogues simple, but add a constraint that makes participants care about reaching mutual understanding. In such agreement games, there is a secondary, but explicit goal besides the task level goal, and that is to reach mutual understanding about whether the task level goal has been reached. As we argue, this naturally triggers meta-semantic interaction and mutual engagement, and hence leads to richer data from which to induce models.
Distributed Kerr Non-linearity in a Coherent All-Optical Fiber-Ring Reservoir Computer

We investigate, both numerically and experimentally, the usefulness of a distributed nonlinearity in a passive coherent photonic reservoir computer. This computing system is based on a passive coherent optical fiber-ring cavity in which part of the nonlinearities are realized by the Kerr nonlinearity. Linear coherent reservoirs can solve difficult tasks but are aided by nonlinear components in their input or output layer. Here, we compare the impact of nonlinear transformations of information in the reservoir input layer, its bulk - the fiber-ring cavity - and its readout layer. For the injection of data into the reservoir, we compare a linear input mapping to the nonlinear transfer function of a Mach Zehnder modulator. For the reservoir bulk, we quantify the impact of the optical Kerr effect. For the readout layer we compare a linear output to a quadratic output implemented by a photodiode. We find that optical nonlinearities in the reservoir itself, such as the optical Kerr nonlinearity studied in the present work, enhance the task solving capability of the reservoir. This suggests that such nonlinearities will play a key role in future coherent all-optical reservoir computers.
Smaller Models, Better Generalization

Reducing network complexity has been a major research focus in recent years with the advent of mobile technology. Convolutional Neural Networks that perform various vision tasks without memory overhaul is the need of the hour. This paper focuses on qualitative and quantitative analysis of reducing the network complexity using an upper bound on the Vapnik-Chervonenkis dimension, pruning, and quantization. We observe a general trend in improvement of accuracies as we quantize the models. We propose a novel loss function that helps in achieving considerable sparsity at comparable accuracies to that of dense models. We compare various regularizations prevalent in the literature and show the superiority of our method in achieving sparser models that generalize well.
Secure Inter-Domain Forwarding Loop Test in Software Defined Networks

Debugging a traditional network is notoriously difficult due to network devices’ heterogeneity and protocols’ decentralized nature, but Software-Defined Networking (SDN) is changing this predicament. Recent works have provided very nice approaches for an administrator to perform several fundamental network tests in a single-domain SDN network. However, how to perform these tests securely in multi-domain networks still remains open. In this paper, we study the highly challenging problem of inter-domain forwarding loop test in a SDN environment. We present two novel testing protocols that can be used for inter-domain loop tests. Both protocols are secure in the sense that they protect each domain's private information about its topology and configuration. The first protocol, based on random sampling, is highly efficient with a small error probability diminishing exponentially in the sample size. The second protocol, based on secure set intersection test, guarantees 100 percent accuracy of the result, although not as efficient as the first one. We provide rigorous proofs for the security and accuracy guarantees, and show our protocols have very good efficiency by testing them with real-world network data.
Ingredients for solar-like systems: protostar IRAS 16293-2422 B versus comet 67P/Churyumov–Gerasimenko

Our modern day Solar System has 4.6 × 109 yr of evolution behind it with just a few relics of its birth conditions remaining. Comets are thought to be some of the most pristine tracers of the initial ingredients that were combined to produce the Earth and the other planets. Other low-mass protostars may be analogous to our proto-Sun and hence, could be used to study the building blocks necessary to form Solar-like systems. This study tests this idea on the basis of new high sensitivity, high spatial resolution ALMA data on the protoplanetary disc-scales (∼70 au) of IRAS 16293-2422 and the bulk composition of comet 67P/Churyumov-Gerasimenko, as determined for the first time with the unique in situ monitoring carried out by Rosetta. The comparative analysis of the observations from the Protostellar Interferometric Line Survey (PILS) and the measurements made with Rosetta Orbiter Spectrometer for Ion and Neutral Analysis (ROSINA) shows that the relative abundances of CHO-, N-, and S-bearing molecules correlate, with some scatter, between protostellar and cometary data. A tentative correlation is seen for the first time for P- and Cl-bearing compounds. The results imply that the volatile composition of cometesimals and planetesimals is partially inherited from the pre- and protostellar phases of evolution.
Cell type- and tissue-specific functions of ecto-5'-nucleotidase (CD73).

CD73 is a ubiquitously-expressed glycosylphosphatidylinositol (GPI)-anchored glycoprotein that converts extracellular adenosine 5'-monophosphate (AMP) to adenosine. Anti-CD73 inhibitory antibodies are currently undergoing clinical testing for cancer immunotherapy. However, CD73 has many protective physiological functions that need to be taken into account for new targeted therapies. This review covers CD73 functions in multiple organ systems and cell types, with a particular focus on novel findings from the last 5 years. Missense loss-of-function mutations in the CD73-encoding gene (NT5E) cause the rare disease 'arterial calcifications due to deficiency of CD73' (ACDC). Aside from direct human disease involvement, cellular and animal model studies have revealed key functions of CD73 in tissue homeostasis and pathology across multiple organ systems. For example, in the context of the central nervous system (CNS), CD73 is anti-nociceptive and protects against inflammatory damage, while also contributing to age-dependent decline in cortical plasticity. CD73 preserves barrier function in multiple tissues, but this is most evident in the respiratory system, where it inhibits endothelial permeability in an adenosine-dependent manner. CD73 has important cardioprotective functions during myocardial infarction and heart failure. Under ischemia/reperfusion injury conditions, rapid and sustained induction of CD73 confers protection in the liver and kidney. In some cases, the mechanism by which CD73 mediates tissue injury are less clear. For example, CD73 has a promoting role in liver fibrosis, but protects in the case of lung fibrosis. Future studies that integrate CD73 regulation and function at the cellular level with physiological responses will improve its utility as a disease target.
Interlocking Directorates

I. Einführung 50 II. Hintergrund 55 1. Zunehmende Kritik 55 2. Erste Reaktionen 58 3. Die Botschaft des Präsidenten 59 III. Der Clayton Act von 1914 60 1. Zum Inhalt der neuen Regelungen 60 2. Unternehmensrechtlicher Ansatz 65 3. Bundesrecht versus Einzelstaatenrecht 67 IV. Rechtslage vor 1914 67 1. Fiduciary Obligations 69 2. Der transaktioneile Ansatz 71 3. Prozessuale Probleme 77 4. Folgerungen für die Praxis 79 V. Der Clayton Act auf dem Prüfstand 80 1. Behördliche Durchsetzung 80 2. Privatklageverfahren 82 3. Neuere Entwicklungen 85 VI. Interlocks und Clayton Act heute 87 1. Die Rolle des Supreme Court 88 2. Tendenzen und Reformvorschläge 89 VII. Einzelstaatliche Regelungen 96 1. Gesellschaftsrechte 97 2. Konzernrecht 103 VIII. Schluß 105
Homology sensing via non-linear amplification of sequence-dependent pausing by RecQ helicase

RecQ helicases promote genomic stability through their unique ability to suppress illegitimate recombination and resolve recombination intermediates. These DNA structure-specific activities of RecQ helicases are mediated by the helicase-and-RNAseD like C-terminal (HRDC) domain, via unknown mechanisms. Here, employing single-molecule magnetic tweezers and rapid kinetic approaches we establish that the HRDC domain stabilizes intrinsic, sequence-dependent, pauses of the core helicase (lacking the HRDC) in a DNA geometry-dependent manner. We elucidate the core unwinding mechanism in which the unwinding rate depends on the stability of the duplex DNA leading to transient sequence-dependent pauses. We further demonstrate a non-linear amplification of these transient pauses by the controlled binding of the HRDC domain. The resulting DNA sequence- and geometry-dependent pausing may underlie a homology sensing mechanism that allows rapid disruption of unstable (illegitimate) and stabilization of stable (legitimate) DNA strand invasions, which suggests an intrinsic mechanism of recombination quality control by RecQ helicases.
Rational Engineering of Hydratase from Lactobacillus acidophilus Reveals Critical Residues Directing Substrate Specificity and Regioselectivity

Enzymatic conversion of fatty acids (FAs) by fatty acid hydratases (FAHs) presents a green and efficient route for high‐value hydroxy fatty acid (HFA) production. However, limited diversity was achieved among HFAs, to date, with respect to chain length and hydroxy position. In this study, two highly similar FAHs from Lactobacillus acidophilus were compared: FA‐HY2 has a narrow substrate scope and strict regioselectivity, whereas FA‐HY1 utilizes longer chain substrates and hydrates various double‐bond positions. It is revealed that three active‐site residues play a remarkable role in directing substrate specificity and regioselectivity of hydration. If these residues on FA‐HY2 are mutated to the corresponding ones in FA‐HY1, a significant expansion of substrate scope and a distinct enhancement in hydration of double bonds towards the ω‐end of FAs is observed. A three‐residue mutant of FA‐HY2 (TM‐FA‐HY2) displayed an impressive reversal of regioselectivity towards linoleic acid, shifting the ratio of the HFA regioisomers (10‐OH/13‐OH) from 99:1 to 12:88. Notable changes in regioselectivity were also observed for arachidonic acid and for C18 polyunsaturated fatty acid substrates. In addition, TM‐FA‐HY2 converted eicosapentaenoic acid into its 12‐hydroxy product with high conversion at the preparative scale. Furthermore, it is demonstrated that microalgae are a source of diverse FAs for HFA production. This study paves the way for tailor‐made FAH design to enable the production of diverse HFAs for various applications from the polymer industry to medical fields.
Duration of allergen immunotherapy for inhalant allergy.

PURPOSE OF REVIEW We evaluated the time-course of clinical and immunologic changes that occur during and after cessation of sublingual and subcutaneous allergen immunotherapy for inhalant allergies. RECENT FINDINGS Increases in production of inhibitory cytokines, such as IL-10 and allergen-specific IgE and IgG4 antibodies are induced within weeks of starting immunotherapy for both seasonal and perennial allergens. In general, 2-4 months' immunotherapy is needed for onset of efficacy whereas maximal clinical effect is achieved within 1-2 years of treatment. Therefore, assuming optimal patient selection, good compliance and at least moderate allergen exposure, if immunotherapy is ineffective at 2 years, it is reasonable to discontinue the treatment. For long-term clinical efficacy, at least 3 years of either subcutaneous or sublingual immunotherapy is required and this results in clinical and immunologic tolerance -- persistence of clinical benefits and suppression of type 2 immunity for years after discontinuation of treatment. SUMMARY Both sublingual and subcutaneous immunotherapy are effective and well tolerated for respiratory allergy. Clinical and immunological changes occur at early stages of treatment. Long-term evaluations support recommendations in international guidelines that both routes of administration should be continued for a minimum of 3 years to achieve disease modification and long-term tolerance.