Miracle-dz/UniFAR-FTUs huggingface dataset:
DDM: Fast Near-Optimal Multi-Robot Path Planning Using Diversified-Path and Optimal Sub-Problem Solution Database Heuristics

We propose a novel centralized and decoupled algorithm, <bold/><monospace><bold>DDM</bold></monospace><bold/>, for solving multi-robot path planning problems in grid graphs, targeting on-demand and automated warehouse-like settings. Two settings are studied: a traditional one whose objective is to move a set of robots from their respective initial vertices to the goal vertices as quickly as possible, and a dynamic one which requires frequent re-planning to accommodate for goal configuration adjustments. Among other techniques, <bold/><monospace><bold>DDM</bold></monospace><bold/> is mainly enabled through exploiting two innovative heuristics: path diversification and optimal sub-problem solution databases. The two heuristics attack two distinct phases of a decoupling-based planner: while path diversification allows the more effective use of the entire workspace for robot travel, optimal sub-problem solution databases facilitate the fast resolution of local path conflicts. Extensive evaluation demonstrates that <bold/><monospace><bold>DDM</bold></monospace><bold/> achieves high levels of scalability and solution quality close to the optimum.
Network’s reciprocity: a key determinant of information diffusion over Twitter

ABSTRACT The role of social media, particularly Twitter, in ensuring the large-scale propagation of information cannot be overemphasised. This study introduces the recipient network’s reciprocity toward a particular topic as a novel factor that contributes toward a central node’s information propagation potential, in addition to other widely studied factors. It first employs multiple regression analysis to present a model that reveals the prominent roles played by both content popularity, focal ratio, engagement efforts of users, and the recipient network’s reciprocity toward a topic, in determining his or her propagation potential. Further, it investigates the impact of the interaction terms of each of these propagation dimensions and the network’s reciprocity toward the topic on a user’s propagation potential. The results show that the network’s reciprocity toward the topic (i.e. ‘blockchain’ in this study) is important for modelling the diffusion process accurately. Second, applying a multi-methods approach, this study also incorporates fuzzy set qualitative comparative analysis (fsQCA). It reveals four alternative combinations of explanatory variables (propagation dimensions) that are sufficient for achieving the expected outcome (propagation potential of the user/central node). The study found fsQCA results complementing the results of the regression model.
MIMO Gaussian State-Dependent Channels with a State-Cognitive Helper

We consider the problem of channel coding over multiterminal state-dependent channels in which neither transmitters nor receivers but only a helper node has a non-causal knowledge of the state. Such channel models arise in many emerging communication schemes. We start by investigating the parallel state-dependent channel with the same but differently scaled state corrupting the receivers. A cognitive helper knows the state in a non-causal manner and wishes to mitigate the interference that impacts the transmission between two transmit–receive pairs. Outer and inner bounds are derived. In our analysis, the channel parameters are partitioned into various cases, and segments on the capacity region boundary are characterized for each case. Furthermore, we show that for a particular set of channel parameters, the capacity region is entirely characterized. In the second part of this work, we address a similar scenario, but now each channel is corrupted by an independent state. We derive an inner bound using a coding scheme that integrates single-bin Gel’fand–Pinsker coding and Marton’s coding for the broadcast channel. We also derive an outer bound and further partition the channel parameters into several cases for which parts of the capacity region boundary are characterized.
The minimal Tjurina number of irreducible germs of plane curve singularities

In this paper we provide a closed formula for the minimal Tjurina number of an equisingularity class in terms of the sequence of multiplicities of the strict transform along a resolution. As a consequence, we give a positive answer to a question of Dimca and Greuel about the quotient between the Milnor and the Tjurina numbers for any irreducible germ of plane curve singularity.
DFANet: Deep Feature Aggregation for Real-Time Semantic Segmentation

This paper introduces an extremely efficient CNN architecture named DFANet for semantic segmentation under resource constraints. Our proposed network starts from a single lightweight backbone and aggregates discriminative features through sub-network and sub-stage cascade respectively. Based on the multi-scale feature propagation, DFANet substantially reduces the number of parameters, but still obtains sufficient receptive field and enhances the model learning ability, which strikes a balance between the speed and segmentation performance. Experiments on Cityscapes and CamVid datasets demonstrate the superior performance of DFANet with 8$\times$ less FLOPs and 2$\times$ faster than the existing state-of-the-art real-time semantic segmentation methods while providing comparable accuracy. Specifically, it achieves 70.3\% Mean IOU on the Cityscapes test dataset with only 1.7 GFLOPs and a speed of 160 FPS on one NVIDIA Titan X card, and 71.3\% Mean IOU with 3.4 GFLOPs while inferring on a higher resolution image.
Evaluating Climate Variability of the Canonical Hot-Jupiters HD 189733b and HD 209458b through Multi-epoch Eclipse Observations

Here we present the analysis of multi-epoch secondary eclipse observations of HD 189733b and HD 209458b as a probe of temporal variability in the planetary climate using both Spitzer channels 1 and 2 (3.6 and 4.5 μm). We expect hot-Jupiter atmospheres to be dynamic environments exhibiting time varying weather. However, it is uncertain to what extent temporal variability will be observable when considering disk integrated observations. We do not detect statistically significant variability and are able to place useful upper limits on the infrared variability amplitudes in these atmospheres. There are very few planets with multi-epoch observations at the required precision to probe variability in dayside emission. The observations considered in this study span several years, providing insight into temporal variability at multiple timescales. In the case of HD 189733b, the best-fit eclipse depths for the channel 2 observations exhibit a scatter of 102 ppm about a median depth of 1827 ppm and in channel 1 exhibit a scatter of 88 ppm about a median depth of 1481 ppm. For HD 209458b, the best-fit eclipse depths for the channel 2 observations exhibit a scatter of 22 ppm about a median depth of 1406 ppm, and in channel 1 exhibit a scatter of 131 ppm about a median depth of 1092 ppm. The precision and scatter in these observations allow us to constrain variability to less than (5.6% and 6.0%) and (12% and 1.6%) for channels (1, 2) of HD 189733b and HD 209458b, respectively.
Light Curves and Rotational Properties of the Pristine Cold Classical Kuiper Belt Objects

We present a survey of the rotational and physical properties of the dynamically low inclination Cold Classical (CC) trans-Neptunian objects (TNOs). The CCs are primordial planetesimals and contain information about our solar system and planet formation over the first 100 million years after the Sun’s formation. We obtained partial/complete light curves for 42 CCs. We use statistical tests to derive general properties about the shape and rotational frequency distributions of the CCs and infer that they have slower rotations and are more elongated/deformed than the other TNOs. On the basis of the full light curves, the mean rotational period of the CCs is 9.48 ± 1.53 hr compared to 8.45 ± 0.58 hr for the rest of the TNOs. About 65% of the TNOs have a light-curve amplitude below 0.2 mag compared to the 36% of CCs with small amplitude. We present the full light curve of one likely contact binary, 2004 VC131, with a potential density of 1 g cm−3 for a mass ratio of 0.4. We have hints that 2004 MU8 and 2004 VU75 are perhaps potential contact binaries, on the basis of their sparse light curves, but more data are needed to confirm this finding. Assuming equal-sized binaries, we find that ∼10%–25% of the CCs could be contact binaries, suggesting a deficit of contact binaries in this population compared to previous estimates and to the (∼40%–50%) possible contact binaries in the Plutino population. These estimates are lower limits and may increase if nonequal-sized contact binaries are considered. Finally, we put in context the results of the New Horizons flyby of 2014 MU69.
Multifractal and Chaotic Properties of Solar Wind at MHD and Kinetic Domains: An Empirical Mode Decomposition Approach

Turbulence, intermittency, and self-organized structures in space plasmas can be investigated by using a multifractal formalism mostly based on the canonical structure function analysis with fixed constraints about stationarity, linearity, and scales. Here, the Empirical Mode Decomposition (EMD) method is firstly used to investigate timescale fluctuations of the solar wind magnetic field components; then, by exploiting the local properties of fluctuations, the structure function analysis is used to gain insights into the scaling properties of both inertial and kinetic/dissipative ranges. Results show that while the inertial range dynamics can be described in a multifractal framework, characterizing an unstable fixed point of the system, the kinetic/dissipative range dynamics is well described by using a monofractal approach, because it is a stable fixed point of the system, unless it has a higher degree of complexity and chaos.
Generalizations of Schoenberg's Theorem on Positive Definite Kernels

The seminal theorem of I.J. Schoenberg characterizes positive definite (p.d.) kernels on the unit sphere $S^{n-1}$ invariant under the automorphisms of the sphere. We obtain two generalizations of this theorem for p.d. kernels on fiber bundles. Our first theorem characterizes invariant p.d. kernels on bundles whose fiber is a product of a compact set and the unit sphere. This result implies, in particular, a characterization of invariant under the automorphisms of the sphere, p.d. kernels on a product of $S^{n-1}$ and a compact set. Our second result characterizes invariant p.d. kernels on the bundle whose fiber is $S^{n-1}$, base space is $(S^{n-1})^{r}$ and map is the projection on the base space. This set of kernels is isomorphic to the set of invariant under the automorphisms of the sphere continuous functions $F$ on $(S^{n-1})^{r+2}$ such that $F(\cdot,\cdot ,Z)$ is positive definite for every $Z \in (S^{n-1})^{r}$. When $Z$ is fixed, this class reduces to the class of p.d. kernels invariant under the stabilizer of $Z$ in the automorphism group of the sphere. For $r=1$ these kernels have been used to obtain upper bounds for the spherical codes problem. Our extension for $r>1$ can be used to construct new upper bounds on the size of spherical codes.
Effects of Radiative Electro-Magnetohydrodynamics Diminishing Internal Energy of Pressure-Driven Flow of Titanium Dioxide-Water Nanofluid due to Entropy Generation

The internal average energy loss caused by entropy generation for steady mixed convective Poiseuille flow of a nanofluid, suspended with titanium dioxide (TiO2) particles in water, and passed through a wavy channel, was investigated. The models of thermal conductivity and viscosity of titanium dioxide of 21 nm size particles with a volume concentration of temperature ranging from 15 °C to 35 °C were utilized. The characteristics of the working fluid were dependent on electro-magnetohydrodynamics (EMHD) and thermal radiation. The governing equations were first modified by taking long wavelength approximations, which were then solved by a homotopy technique, whereas for numerical computation, the software package BVPh 2.0 was utilized. The results for the leading parameters, such as the electric field, the volume fraction of nanoparticles and radiation parameters for three different temperatures scenarios were examined graphically. The minimum energy loss at the center of the wavy channel due to the increase in the electric field parameter was noted. However, a rise in entropy was observed due to the change in the pressure gradient from low to high.
Siamese Encoding and Alignment by Multiscale Learning with Self-Supervision

We propose a method of aligning a source image to a target image, where the transform is specified by a dense vector field. The two images are encoded as feature hierarchies by siamese convolutional nets. Then a hierarchy of aligner modules computes the transform in a coarse-to-fine recursion. Each module receives as input the transform that was computed by the module at the level above, aligns the source and target encodings at the same level of the hierarchy, and then computes an improved approximation to the transform using a convolutional net. The entire architecture of encoder and aligner nets is trained in a self-supervised manner to minimize the squared error between source and target remaining after alignment. We show that siamese encoding enables more accurate alignment than the image pyramids of SPyNet, a previous deep learning approach to coarse-to-fine alignment. Furthermore, self-supervision applies even without target values for the transform, unlike the strongly supervised SPyNet. We also show that our approach outperforms one-shot approaches to alignment, because the fine pathways in the latter approach may fail to contribute to alignment accuracy when displacements are large. As shown by previous one-shot approaches, good results from self-supervised learning require that the loss function additionally penalize non-smooth transforms. We demonstrate that "masking out" the penalty function near discontinuities leads to correct recovery of non-smooth transforms. Our claims are supported by empirical comparisons using images from serial section electron microscopy of brain tissue.
Collisional unfolding of quantum Darwinism

We examine the emergence of objectivity via quantum Darwinism through the use of a collision model, i.e., where the dynamics is modeled through sequences of unitary interactions between the system and the individual constituents of the environment, termed ``ancillas. '' By exploiting versatility of this framework, we show that one can transition from a ``Darwinistic'' to an ``encoding'' environment by simply tuning their interaction. Furthermore, we establish that in order for a setting to exhibit quantum Darwinism we require a mutual decoherence to occur between the system and environmental ancillas, thus showing that system decoherence alone is not sufficient. Finally, we demonstrate that the observation of quantum Darwinism is sensitive to a nonuniform system-environment interaction.
Combination of Global Features for the Automatic Quality Assessment of Retinal Images

Diabetic retinopathy (DR) is one of the most common causes of visual loss in developed countries. Computer-aided diagnosis systems aimed at detecting DR can reduce the workload of ophthalmologists in screening programs. Nevertheless, a large number of retinal images cannot be analyzed by physicians and automatic methods due to poor quality. Automatic retinal image quality assessment (RIQA) is needed before image analysis. The purpose of this study was to combine novel generic quality features to develop a RIQA method. Several features were calculated from retinal images to achieve this goal. Features derived from the spatial and spectral entropy-based quality (SSEQ) and the natural images quality evaluator (NIQE) methods were extracted. They were combined with novel sharpness and luminosity measures based on the continuous wavelet transform (CWT) and the hue saturation value (HSV) color model, respectively. A subset of non-redundant features was selected using the fast correlation-based filter (FCBF) method. Subsequently, a multilayer perceptron (MLP) neural network was used to obtain the quality of images from the selected features. Classification results achieved 91.46% accuracy, 92.04% sensitivity, and 87.92% specificity. Results suggest that the proposed RIQA method could be applied in a more general computer-aided diagnosis system aimed at detecting a variety of retinal pathologies such as DR and age-related macular degeneration.
Density Matching for Bilingual Word Embedding

Recent approaches to cross-lingual word embedding have generally been based on linear transformations between the sets of embedding vectors in the two languages. In this paper, we propose an approach that instead expresses the two monolingual embedding spaces as probability densities defined by a Gaussian mixture model, and matches the two densities using a method called normalizing flow. The method requires no explicit supervision, and can be learned with only a seed dictionary of words that have identical strings. We argue that this formulation has several intuitively attractive properties, particularly with the respect to improving robustness and generalization to mappings between difficult language pairs or word pairs. On a benchmark data set of bilingual lexicon induction and cross-lingual word similarity, our approach can achieve competitive or superior performance compared to state-of-the-art published results, with particularly strong results being found on etymologically distant and/or morphologically rich languages.
Semi-Baxter and Strong-Baxter: Two Relatives of the Baxter Sequence

In this paper, we enumerate two families of pattern-avoiding permutations: those avoiding the vincular pattern $2-41-3$, which we call semi-Baxter permutations, and those avoiding the vincular patterns $2-41-3$, $3-14-2$ and $3-41-2$, which we call strong-Baxter permutations. We call semi-Baxter numbers and strong-Baxter numbers the associated enumeration sequences. We prove that the semi-Baxter numbers enumerate in addition plane permutations (avoiding $2-14-3$). The problem of counting these permutations was open and has given rise to several conjectures, which we also prove in this paper. For each family (that of semi-Baxter -- or equivalently, plane -- and that of strong-Baxter permutations), we describe a generating tree, which translates into a functional equation for the generating function. For semi-Baxter permutations, it is solved using (a variant of) the kernel method: this gives an expression for the generating function while also proving its D-finiteness. From the obtained generating function, we derive closed formulas for the semi-Baxter numbers, a recurrence that they satisfy, as well as their asymptotic behavior. For strong-Baxter permutations, we show that their generating function is (a slight modification of) that of a family of walks in the quarter plane, which is known to be non D-finite.
Relations between symmetries and conservation laws for difference systems

This paper presents a relation between divergence variational symmetries for difference variational problems on lattices and conservation laws for the associated Euler–Lagrange system provided by Noether's theorem. This inspires us to define conservation laws related to symmetries for arbitrary difference equations with or without Lagrangian formulations. These conservation laws are constrained by partial differential equations obtained from the symmetries generators. It is shown that the orders of these partial differential equations have been reduced relative to those used in a general approach. Illustrative examples are presented.
Stability of Periodic Travelling Wave Solutions to the Kawahara Equation

We analyse the stability of periodic, travelling-wave solutions to the Kawahara equation and some of its generalizations. We determine the parameter regime for which these solutions can exhibit resonance. By examining perturbations of small-amplitude solutions, we show that generalised resonance is a mechanism for high-frequency instabilities. We derive a quadratic equation which fully determines the stability region for these solutions. Focussing on perturbations of the small-amplitude solutions, we obtain asymptotic results for how their instabilities develop and grow. Numerical computation is used to confirm these asymptotic results and illustrate regimes where our asymptotic analysis does not apply.
Characteristics and robustness of Agulhas leakage estimates: an inter-comparison study of Lagrangian methods

Abstract. The inflow of relatively warm and salty water from the Indian Ocean into the South Atlantic via Agulhas leakage is important for the global overturning circulation and the global climate. In this study, we analyse the robustness of Agulhas leakage estimates as well as the thermohaline property modifications of Agulhas leakage south of Africa. Lagrangian experiments with both the newly developed tool Parcels and the well established tool Ariane were performed to simulate Agulhas leakage in the eddy-rich ocean-sea ice model INALT20 (1/20° horizontal resolution) forced by the JRA55-do atmospheric boundary conditions. The average transport, its variability, trend and the transit time from the Agulhas Current to the Cape Basin of Agulhas leakage is simulated comparably with both Lagrangian tools, emphasising the robustness of our method. Different designs of the Lagrangian experiment alter in particular the total transport of Agulhas leakage by up to 2 Sv, but the variability and trend of the transport is similar across these estimates. During the transit from the Agulhas Current at 32° S to the Cape Basin, a cooling and freshening of Agulhas leakage waters occurs especially at the location of the Agulhas Retroflection, resulting in a density increase as the thermal effect dominates. Beyond the strong air-sea exchange around South Africa, Agulhas leakage warms and salinifies the water masses below the thermocline in the South Atlantic.
THE AVAILABILITY OF COMPONENTS ACCOUNTING RESPONSIBILITY IN INDUSTRIAL COMPANIES IN AQABA CITY

The purpose of this study is to identify the availability of components accounting responsibility in industrial companies in Aqaba. The data was collected by distributing the questionnaires to the employees of these companies. These questionnaires were analyzed statistically to test hypotheses and analyze the results. The present study have many main positive findings such as that the industrial companies in Al-Aqaba city accurately determine positions of responsibility, the findings also indicate that industrial companies in Aqaba city are preparing budgets efficiently, they make cost analysis on the basis of ability or inability to control, and there is integration in performance reports system. The study also found several negative results such as the design makers in these companies do not give the sufficient authorities to the managers consistent to the responsibilities that assigned to them, there is no sufficient capability to measure the targets of designated centres, there is insufficiency in the general budgets detail, and the budget does not linked to the administrative regulation accurately, and the cost level is affected by more than manager, and performance reports are not issued at any time the user needs. European Scientific Journal October edition vol. 8, No.22 ISSN: 1857 – 7881 (Print) e ISSN 18577431 15 The study recommended that industrial companies in Aqaba should grant the managers sufficient authorities to the managers consistent to the responsibilities that assigned to them, and find adequate tendency to measure the targets designated centres. The study also recommended that to develop the budgets through provide sufficient in the general budgets details, link the budgets of the industrial companies in Aqaba with the administrative organization accurately, and issue of performance reports at any time the user needs them.