Miracle-dz/UniFAR-FTUs huggingface dataset:
Cross-track satellite stereo for 3D modelling of urban areas

ABSTRACT Stereo imagery from very high-resolution satellite series can be used to create high-resolution digital surface models (DSMs) with sub-meter spatial resolution. Especially when in-orbit tri-stereo acquisitions are available as provided by the Pléiades constellation, buildings can be reconstructed well even in dense city centres. Unfortunately, such high-quality stereo data are often not available in the image archives and, thus, need to be newly acquired in most cases, leading to long delays and high cost. Especially for rapid mapping or crisis-response applications, high-resolution DSMs would be helpful for tasks such as city modelling and ultimately population estimation. In this work, we test the feasibility of producing DSMs by pairing two archive images, which were not acquired on the same day, in the same orbit or by the same satellite. We tested this approach for 14 images from Port-au-Prince, Haiti, and 12 images from Salzburg, Austria, from which we calculated a total of 136 DSMs. These were evaluated against Lidar DSMs. The resulting DSMs reach a completeness of up to 60%, and partly Median Absolute Deviation values comparable to in-orbit stereo pairs. For best results, the stereo convergence angle should be between 5 and 15°, and the difference in sun angles between the two images should be below 25–30.
Swiss Cheese Model for Analyzing Freight Car and Bus Traffic Accidents can Lead to the Implementation of Preventive Measures for Traffic Accident Avoidance

Accidents involving goods, cars, and buses have consequences for the vehicles involved and other road users. Such accidents often result in multiple collisions, leading to material losses and even the loss of life. The causes of transportation accidents are usually complex, with numerous interrelated factors contributing to their occurrence. This is illustrated by the Swiss Cheese Model of Accidental Causation
Parametric approaches for modelling local structure tensor fields with applications to texture analysis

Cette these porte sur des canevas methodologiques parametriques pour la modelisation de champs de tenseurs de structure locaux (TSL) calcules sur des images texturees. Estime en chaque pixel, le tenseur de structure permet la caracterisation de la geometrie d’une image texturee a travers des mesures d’orientation et d’anisotropie locales. Matrices symetriques semi-definies positives, les tenseurs de structure ne peuvent pas etre manipules avec les outils classiques de la geometrie euclidienne. Deux canevas statistiques riemanniens, reposant respectivement sur les espaces metriques a ne invariant (AI) et log-euclidien (LE), sont etudies pour leur representation. Dans chaque cas, un modele de distribution gaussienne et de melange associe sont consideres pour une analyse statistique. Des algorithmes d’estimation de leurs parametres sont proposes ainsi qu’une mesure de dissimilarite. Les modeles statistiques proposes sont tout d’abord consideres pour decrire des champs de TSL calcules sur des images texturees. Les modeles AI et LE sont utilises pour decrire des distributions marginales de TSL tandis que les modeles LE sont etendus afin de decrire des distributions jointes de TSL et de caracteriser des dependances spatiales et multi-echelles. L’ajustement des modeles theoriques aux distributions empiriques de TSL est evalue de maniere experimentale sur un ensemble de textures composees d’un spectre assez large de motifs structuraux. Les capacites descriptives des modeles statistiques proposes sont ensuite eprouvees a travers deux applications. Une premiere application concerne la reconnaissance de texture sur des images de teledetection tres haute resolution et sur des images de materiaux carbones issues de la microscopie electronique a transmission haute resolution. Dans la plupart des cas, les performances des approches proposees sont superieures a celles obtenues par les methodes de l’etat de l’art. Sur l’espace LE, les modeles joints pour la caracterisation des dependances spatiales au sein d’un champ de TSL ameliorent legerement les resultats des modeles operant uniquement sur les distributions marginales. La capacite intrinseque des methodes basees sur le tenseur de structure a prendre en consideration l’invariance a la rotation, requise dans beaucoup d’applications portant sur des textures anisotropes, est egalement demontree de maniere experimentale. Une deuxieme application concerne la synthese de champs de TSL. A cet e et, des approches mono-echelle ainsi que des approches pyramidales multi-echelles respectant une hypothese markovienne sont proposees. Les experiences sont effectuees a la fois sur des champs de TSL simules et sur des champs de TSL calcules sur des textures reelles. Efficientes dans quelques configurations et demontrant d’un potentiel reel de description des modeles proposes, les experiences menees montrent egalement une grande sensibilite aux choix des parametres qui peut s’expliquer par des instabilites d’estimation sur des espaces de grande dimension.
On the Gelfond-Feldman measure of algebraic independence

© Foundation Compositio Mathematica, 1979, tous droits réservés. L’accès aux archives de la revue « Compositio Mathematica » (http: //http://www.compositio.nl/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.
The Impact of Wisdom and Courage on Presencing and Absencing at Work: The Mediating Role of Mindfulness

Background and Objective: Wisdom and courage are positive psychological capacities. Presencing and absencing at work are novel employee attitudes and behaviours. The objective of this paper is to explore the impact of wisdom and courage on presencing and absencing at work, while also considering possible mediation through mindfulness. Methods: This paper hypothesises that wisdom has a positive impact on presencing and a negative impact on absencing, while courage has a negative impact on presencing and a positive impact on absencing. We expect mindfulness mediates the aforementioned relationships. An analysis is performed on a sample of 274 employees in Slovenia by applying structural equation modelling. Results: The test results have shown that wisdom has a negative impact on absencing at work, while courage has a positive impact on absencing at work. These impacts are mediated through mindfulness. The major weakness of this research design is a low sample size and the weak construct reliability of wisdom and courage. Conclusions: Wisdom and courage have opposing effects on presencing and absencing at work. Mindfulness is an
Description and analysis of 3-D shapes by parametrization of closed surfaces

The general problem addressed in this thesis is the description of the form of an Tri¬ dimensional manifold embedded in M1. A planar curve, e.g., is a one-dimensional manifold in two-dimensional space, hence m = l,n = 2. And m = l,n = 3 stands for a space curve. But the case of particular interest is m = 2, n = 3, i.e. a surface in 3D. We achieve the description in two steps. First a continuous one-toone mapping between the manifold and an appropriate m-dimensional parameter space U is constructed. This step is called parametrization; it defines n functions Xi : U <^-> M, or one vectorial function x : U "^-> Mn. Then each of the functions Xi(u) is expanded into a series of a fixed set of basis functions defined on U. The coefficients in the series expansions form a descriptor of the shape. The surface of a simply connected 3D object is a closed surface homeomorphic to the sphere. The unit sphere suggests itself as the parameter space, and spherical harmonics are suitable as basis functions. The parametrization establishes true area ratios in parameter space and minimizes distortions. Standardization yields generic shape descriptors which are invariant to pose and size of the object. Due to the nature of the basis functions, spherical harmonic descriptors capture shape in a global way. The new methods are illustrated with both simple and complex 3-D test objects. Potential applications are recognition, classification and comparison of convoluted surfaces.
Job Satisfaction and Psychological Well-Being as Employee Performance Factors in Educational Institutions

Purpose: This study aims to determine the factors that affect employee performance in higher education, consisting of job satisfaction and psychological well-being, where to produce high performance requires positive employee job satisfaction as well as the psychological well-being of employees in the institutional environment. Design/methodology/approach: The research used in this study is quantitative research Findings: There is a significant influence of job satisfaction and psychological well-being on employee performance at universities in Balikpapan or hypothesis 1 is accepted. good job satisfaction will result in good performance as well and Good psychological well-being at work is when individuals have motivation, are involved in a job, have positive energy, feel happy with all the activities undertaken and last long at the job they are currently doing. Paper type: Research paper
Calculation of phase formers of non-diffracting images and a set of concentric rings

We study iterative algorithms for calculating two classes of diffractive optical elements : (1) those forming a set of concentric rings in the spatial spectrum plane, and (2) those forming non-diffracting beams with a predetermined distribution of transverse intensity in the beam. The methods employ the representation of the desired function as a linear superposition of partial solutions to the Helmholtz equation in cylindrical coordinates.
Optimising Angluin Algorithm L* by Minimising the Number of Membership Queries to Process Counterexamples

Angluin algorithm L* is a well known approach for learning unknown models as minimal deterministic finite automata (DFA) in polynomial time. It uses concept of oracle which presumably knows the target model and comes up with a counterexample, if the conjectured model is not correct. This algorithm can be used to infer the models of software artefacts and a cheap oracle for such components uses random strings (built from inputs) to verify the inferred models. In such cases and others the provided counterexamples are rarely minimal. The length of the counterexample is an important parameter to the complexity of the algorithm. The proposed technique tends to reduce the impact of non minimal counterexamples. The gain of the proposed algorithm is confirmed by considering a set of experiments on DFA learning.
Decoupling Analysis of Brushless Dual-Mechanical-Port Dual- Electrical-Port Machines

The brushless dual-mechanical-port dual-electrical-port (BLDD) machine has emerged as a promising alternative to the traditional mechanical continuously variable transmission, due to its gearless and brushless design. In BLDD machines, two sets of windings are placed in the same stator, and care must be taken to avoid strong coupling that may deteriorate the machine performance and reliability. This article categorizes the topologies of existing BLDD machines into five types and presents a systematic decoupling analysis from the perspective of field-modulation theory. Using the presented method, the conditions to achieve decoupled designs are concluded and the decoupling characteristics of each type of BLDD machine are identified. Besides, a simple indicator is developed to fast identify the coupling type, i.e., decoupled, low- or high-coupling design, of BLDD machines, enabling an efficient selection of slot-pole combinations. With the aid of finite-element analysis, the coupling degree of BLDD machines with various slot-pole combinations has been analyzed for verification. Other performances, such as torque density and PM utilization, are also compared among the five types of BLDD machines to provide a more comprehensive view of their characteristics. Finally, a prototype of a BLDD machine is manufactured and tested to validate the analysis.
Collaborative Diffusion Based on Value Measurement in Social–Physical Networks

In the study of information diffusion in social–physical networks, existing works are usually based on information entropy. These works measure and represent the information attribute characteristics independently for social networks and physical networks, resulting in ineffective interactions and waste of resources. Therefore, to solve the key problem of the mismatch between interaction demands and communication resources, the framework of collaborative diffusion based on value measurement is proposed in social–physical networks, including social–physical interaction, cognitive difference, and mutual trust degree of nodes. Based on parameterizing the relative strength of these influences by confidence and collaborative conservation factors, the collaborative diffusion model based on value measurement is established. Extensive simulations verify the influence of value measurement on the collaboration diffusion process, presented by the evolutions of value entropy, sentiment fragmentation, and diffusion range. In addition, the influence of collaboration on information dissemination is confirmed by the comparison of the change of value entropy and diffusion range. These results can help decision makers better balance the matching problem between interaction demands and available resources, which is beneficial to realize customized information diffusion.
Heat Flows and Entanglement Entropy: Insights From and Into AdS/CFT

Author(s): Fischetti, Sebastian | Advisor(s): Marolf, Donald | Abstract: This dissertation will focus on exploring the AdS/CFT correspondence, both as a tool to probe the behavior of strongly coupled conformal field theories (CFTs) and as a fundamental duality to help us understand the holographic connection between quantum gravity and gauge theories.We will begin with an overview of this (two-part) dissertation, followed by an introduction to gravity in asymptotically locally AdS spacetimes.In the first part of the dissertation, we will then discuss the use of AdS/CFT as a tool to probe the dynamics of heat transport in strongly coupled CFTs. We will begin with a simple case in three bulk spacetime dimensions, and then construct a four-dimensional black hole solution which is dual to heat flow in a three-dimensional CFT. This black hole solution is stationary, but its horizon is not a Killing horizon, making it an interesting gravitational solution in its own right. We will then construct the gravitational dual to a CFT on a rotating black hole, and find that the CFT does not carry heat away from the black hole, but rather is confined to a halo around it. This is an artefact of strong coupling, and we comment on possible connections to soft condensed matter phenomena.In the second part of this dissertation, we probe the AdS/CFT dictionary via entanglement entropy. Specifically, we show that the Hubeny-Rangamani-Takayanagi (HRT) prescription, which is a prescription for computing CFT entanglement entropy holographically, requires modification. We comment on possible modifications, and explore in depth the possibility of using complexified surfaces in the HRT prescription. Finally, we will approach the issue of bulk reconstruction via hole-ography, which attempts to reconstruct the bulk geometry from the entanglement entropy of regions of the CFT. We put some constraints on when this approach can succeed, and comment on why it might fail when it does.
Tracking control of suspended microchannel resonators based on Krylov model order reduction method

In this paper, trajectory tracking control of suspended microchannel resonators (SMRs) is studied. A finite element procedure based on modified strain gradient theory will be used to model the SMR. Finite element methods usually lead to a model with a relatively high number of degrees of freedom. Thus, first, we will utilize the second order Krylov subspace method based on multi-moment matching to obtain a second order bilinear reduced system. Then, an output feedback controller and an optimal controller which take much less computation time and effort will be designed for the reduced system. The SMR is a micro-resonator which oscillates in a special frequency in practical cases, and thus tracking the desired paths is considered here as the control objective. Simulation results show the excellent performance of the proposed controllers.
Dispersive currents explain patterns of population connectivity in an ecologically and economically important fish

How to identify the drivers of population connectivity remains a fundamental question in ecology and evolution. Answering this question can be challenging in aquatic environments where dynamic lake and ocean currents coupled with high levels of dispersal and gene flow can decrease the utility of modern population genetic tools. To address this challenge, we used RAD‐Seq to genotype 959 yellow perch (Perca flavescens), a species with an ~40‐day pelagic larval duration (PLD), collected from 20 sites circumscribing Lake Michigan. We also developed a novel, integrative approach that couples detailed biophysical models with eco‐genetic agent‐based models to generate “predictive” values of genetic differentiation. By comparing predictive and empirical values of genetic differentiation, we estimated the relative contributions for known drivers of population connectivity (e.g., currents, behavior, PLD). For the main basin populations (i.e., the largest contiguous portion of the lake), we found that high gene flow led to low overall levels of genetic differentiation among populations (FST = 0.003). By far the best predictors of genetic differentiation were connectivity matrices that were derived from periods of time when there were strong and highly dispersive currents. Thus, these highly dispersive currents are driving the patterns of population connectivity in the main basin. We also found that populations from the northern and southern main basin are slightly divergent from one another, while those from Green Bay and the main basin are highly divergent (FST = 0.11). By integrating biophysical and eco‐genetic models with genome‐wide data, we illustrate that the drivers of population connectivity can be identified in high gene flow systems.
Analog reversible nonvolatile memcapacitance in metal-oxide-semiconductor memcapacitor with ITO/HfOx/Si structure

We demonstrate strong, analog, reversible, and nonvolatile memcapacitance in a Si-based MOS (metal-oxide-semiconductor) memcapacitor with an ITO (In-Sn-O)/HfOx/Si structure. Both accumulation and depletion capacitances change sequentially and reversibly upon repeating voltage application with respect to voltage polarity. This memcapacitance is thought to be induced by oxygen ions' migration between ITO and HfOx layers, which changes the HfOx permittivity and the depletion states in Si and ITO. The Si-based memcapacitor has potential to be applied to the gate stack of the MOS field-effect-transistor for nonvolatile memory and synaptic transistors through modulating drain current determined by the capacitance change of the MOS gate stack.We demonstrate strong, analog, reversible, and nonvolatile memcapacitance in a Si-based MOS (metal-oxide-semiconductor) memcapacitor with an ITO (In-Sn-O)/HfOx/Si structure. Both accumulation and depletion capacitances change sequentially and reversibly upon repeating voltage application with respect to voltage polarity. This memcapacitance is thought to be induced by oxygen ions' migration between ITO and HfOx layers, which changes the HfOx permittivity and the depletion states in Si and ITO. The Si-based memcapacitor has potential to be applied to the gate stack of the MOS field-effect-transistor for nonvolatile memory and synaptic transistors through modulating drain current determined by the capacitance change of the MOS gate stack.
Coded BER performance in a correlative fading channel

The authors consider the coded bit error rate (BER) performance in a correlative fading channel. They present a method for BER calculation in a correlative Rayleigh fading channel. The method is then generalized to consider the log-normal fading and Rician fading. Both coherent PSK and differential PSK are considered. The method provides exact pairwise error probabilities instead of upper bounds. Numerical results are provided to confirm the computational feasibility and efficiency of the method. These results show that interleaving size can be a limiting factor for a correlative fading channel with a delay constraint. Coded BER performance is very sensitive to the interleaving size in the presence of correlative fading. <<ETX>>
Dynamic box office forecasting based on microblog data

Movies, as one of the most rapidly developing industries ́ outcomes, have gained much attention these years. Especially in China, the world ́ s second largest film market with a rapid growing speed, many film companies intend to foresee the future box office in advance to better arrange their income and expenditure. Unlike some traditional forecasting model based on several movie-related features, this paper comprehensively utilizes the real-time social media, microblog, to realize a more accurate weekly box office forecasting model. The features weekly extracted from microblogs can be divided into count based features and context based features, along with the existing box office and the screen arrangements, to predict the box office in next week. For count based features, not only the total volume of related microblogs and the diffusion effect considers the number of followers, several unnoticed features like authentication users, gender ratio and mobile-users ratio are also introduced into the original predicting model. For content based features, a duplicate semantic analysis method is proposed. The number of tweets which can indeed influence others ́ purchase decision, along with the number of tweets with positive and negative influence is the results of the analysis system. On this basis, guided effect for each influential tweets are identified by the praise, comment and retweet times. Some machine learning models are then adopted after using genetic algorithm (GA) for feature selection. The empirical study shows that our research can dynamic forecast box office with a sustainable good performance.
White light spectral interferometer for measuring dispersion in the visible-near infrared

We have designed a spectrally resolved interferometer to measure the refractive index of transparent samples over a wide spectral band from 400 to 1550 nm. The measuring device consists of a Michelson interferometer whose output is analyzed by means of three fiber spectrometers. The first one is a homemade prism spectrometer, which obtains the interferogram produced by the sample over 400 to 1050 nm; the second one is a homemade transmission grating spectrometer thought to measure the interferogram in the near infrared spectral band from 950 to 1550 nm; the last one is a commercial Czerny-Turner spectrometer used to make high precision measurements of the displacement between the Michelson mirrors also using white light interferometry. The whole system is illuminated by a white light source with an emission spectrum similar to black body. We have tested the instrument with solid and liquids samples achieving accuracy to the fourth decimal on the refractive index after fitting it to a Cauchy formula