Miracle-dz/UniFAR-FTUs huggingface dataset:
EFFECT OF CAPILLARY PRESSURE ON SEISMIC VELOCITIES AND ATTENUATION

Khemraj Shukla,1 José M. Carcione,2,6 Priyank Jaiswal,1 Juan Santos,3,4,5 & Jing Ba6,∗ 1Boone Pickens School of Geology, 105 Noble Research Center, Oklahoma State University, Stillwater, OK, 74078. 2Istituto Nazionale di Oceanografia e di Geofisica Sperimentale (OGS), Borgo Grotta Gigante 42c, 34010 Sgonico, Trieste, Italy. 3CONICET, Instituto del Gas y del Petróleo,Facultad de Ingeniería, Universidad de Buenos Aires, Av. Las Heras 2214 Piso 3, C1127AAR Buenos Aires, Argentina. 4Department of Mathematics, Purdue University, 150 N. University Street, West Lafayette, Indiana, 47907-2067, USA. 5Universidad Nacional de La Plata, Argentina. 6School of Earth Science and Technology, Hohai University, Nanjing, 211100, China
A method to determine the characteristic time‐scales of quasi‐isotropic surface‐layer turbulence over complex terrain: A case‐study in the Adige Valley (Italian Alps)

The present paper provides a method to identify the appropriate time‐scales at which turbulence components behave quasi‐isotropically. In particular, the scales are identified on the basis of an analysis of anisotropic turbulence in the spectral domain. The definition of the spectral anisotropic tensor in terms of ogive functions, rather than of (co)spectra, allows for the evaluation of the overall degree of isotropy associated with time‐scales smaller than a given one. In this way, the time‐scale separating isotropic from anisotropic turbulence is related to the frequency at which the degree of isotropy meets a threshold value, representative of quasi‐isotropic turbulence. The procedure is tested on a dataset of wind speed components and sonic temperature collected on the floor of the Adige Valley (northeastern Italian Alps), which is adopted as a case‐study. Finally, the suitability of the estimated time‐scales is assessed in the framework of the Monin–Obukhov Similarity Theory by evaluating the agreement of the dimensionless standard deviations with the similarity functions.
Temporal Probabilistic Argumentation Frameworks

In recent years, the notion of time has been studied in different ways in Dung-style Argumentation Frameworks. For example, time intervals of availability have been added to arguments and relations. As a result, the output of Dung semantics varies over time. In this paper, we consider the situation in which arguments hold with a certain probability distribution during a given interval. To model the uncertain character of events, we propose different notions of temporal conflict between arguments according to the type of availabilities intersection (partial, inclusive or total). Then, we refine these notions of conflict by a defeat relation, using criterion functions that evaluate an attack’s significance according to the probability over time. After extending Dung’s semantics with these defeat notions, we present a new temporal acceptability of arguments based on the concept of defence, allowing for finer results in time.
On the Complexity of Diameter and Related Problems in Permutation Groups

We prove that it is Π P 2 -complete to verify whether the diameter of a given permutation group G = ⟨ A ⟩ is bounded by a unary encoded number k . This solves an open problem from a paper of Even and Goldreich, where the problem was shown to be NP -hard. Verifying whether the diameter is exactly k is complete for the class consisting of all intersections of a Π P 2 -language and a Σ P 2 -language. A similar result is shown for the length of a given permutation π , which is the minimal k such that π can be written as a product of at most k generators from A . Even and Goldreich proved that it is NP -complete to verify, whether the length of a given π is at most k (with k given in unary encoding). We show that it is DP -complete to verify whether the length is exactly k . Finally, we deduce from our result on the diameter that it is Π P 2 -complete to check whether a given finite automaton with transitions labelled by permutations from S n produces all permutations from S n . 2012
Multidimensional computations of a two-fluid hyperbolic model in a porous medium

This paper deals with the computation of two-phase flows in a porous medium, with two main objectives. First of all, we will present a new multi-dimensional well-balanced scheme, with its advantages and draw-backs. Furthermore, we will compare results of the porous model with approximations obtained with a full two-dimensional computation, where all obstacles have been taken into account in the computational domain. The two-phase flow model is hyperbolic, and the scheme takes its roots on a modified Rusanov scheme that integrates effects due to discontinuous porous profiles. The scheme perfectly maintains steady state profiles on any structured mesh.
Proof Methods and Theorem Proving for Conditional Logics with Strong Centering

In this work we continue our investigation on proof methods and theorem proving for Conditional Logics with the selection function semantics. Conditional Logics recently have received a renewed attention and have found several applications in knowledge representation and artificial intelligence. We present a labelled sequent calculus for systems including the axiom of strong centering CS, as well as a theorem prover implementing the sequent calculus in Prolog.
ERASOR2: Instance-Aware Robust 3D Mapping of the Static World in Dynamic Scenes

—A map of the environment is an essential component for robotic navigation. In the majority of cases, a map of the static part of the world is the basis for localization, planning, and navigation. However, dynamic objects that are presented in the scenes during mapping leave undesirable traces in the map, which can impede mobile robots from achieving successful robotic navigation. To remove the artifacts caused by dynamic objects in the map, we propose a novel instance-aware map building method. Our approach rejects dynamic points at an instance-level while preserving most static points by exploiting instance segmentation estimates. Furthermore, we propose effective ways to consider the erroneous estimates of instance segmentation, enabling our proposed method to be robust even under imprecise instance segmentation. As demonstrated in our experimental evaluation, our approach shows substantial performance increases in terms of both, the preservation of static points and rejection of dynamic points. Our code is available at https://github.com/url-kaist/ERASOR2 .
Evidenzbasierte und praktische Diabetologie – Unabhängige Fortbildung mit Begeisterung in Jena

Die legendäre von Prof. Michael Berger auf Gut Höhne bei Düsseldorf ins Leben gerufene Fortbildungsreihe „Moderne Klinische Diabetologie“ wird unter Federführung von Prof. Ulrich A. Müller seit 2001 erfolgreich in Jena fortgeführt. Die hausärztliche Perspektive wurde in den letzten drei Jahren durch die Beteiligung der DEGAM an der wissenschaftlichen Leitung immer stärker berücksichtigt. Um den Fokus dieser bundesweit einzigartigen diabetologischen Fortbildung fortan schon im Titel zu betonen, erfolgte im letzten Jahr die Umbenennung in „Evidenzbasierte und praktische Diabetologie“.
The Voronovskaja type theorem for a general class of Szász-Mirakjan operators

The paper is devoted to deﬁning a new general class of linear and positive operators depending on a certain function ' . This new class of linear and positive operators generalizes the Sz´asz-Mirakjan operators. For this new class of operators we establish a convergence theorem and the evaluation of the rate of convergence, in terms of the modulus of continuity.
The effect of magnetic field on perturbation evolution in homogeneously sheared flows

The goal of this paper is to identify and characterize the fundamental mechanisms that contribute toward flow stabilization in sheared plasma flows. Toward that end, we investigate the evolution of velocity and magnetic field perturbations in homogeneously sheared magnetohydrodynamic (MHD) flows subjected to an imposed streamwise magnetic field. The influences of magnetic field strength ( $B_{0}$ ) and perturbation wavevector orientation ( $\unicode[STIX]{x1D6FD}$ ) are characterized using linear analysis and direct numerical simulations. The linear analysis of ideal MHD indicates that the perturbation evolution is governed by four processes: pressure redistribution, kinetic energy production, kinetic–magnetic energy exchange and magnetic energy production due to magnetic stretching. The interplay between these processes can be characterized by the ratio of shear-to-magnetic timescales ( $R_{A}\equiv V_{A}\unicode[STIX]{x1D705}/S$ ) and $\unicode[STIX]{x1D6FD}$ , where $V_{A}$ , $\unicode[STIX]{x1D705}$ and $S$ are Alfvén wave speed, initial wavenumber and mean flow shear, respectively. For cases with low values of $\boldsymbol{R}_{\boldsymbol{A}}~(\ll \mathbf{1})$ , a three-stage perturbation evolution is seen. At the first stage, pressure redistribution and production dominate leading to hydrodynamic-type behaviour. In the second stage, the onset of magnetic stretching process leads to an increase in magnetic energy. At late stages, production subsides and the dynamics is dominated by harmonic exchange between velocity and magnetic fields. For cases of $\boldsymbol{R}_{\boldsymbol{A}}\approx \mathbf{1}$ , the magnetic field reacts rapidly enough that hydrodynamic and magnetic production stages occur simultaneously followed by harmonic exchange. In the case of $\boldsymbol{R}_{\boldsymbol{A}}\gg 1$ , all three stages occur simultaneously leading to harmonic exchange between kinetic and magnetic energies without any perturbation growth. For all cases considered, the late stage harmonic exchange results in equipartition between perturbation magnetic and kinetic energies. For a given $R_{A}$ , the effect of increasing $\unicode[STIX]{x1D6FD}$ is to reduce the intensity of coupling and progressively slow down the three stages of evolution. For spanwise wavevector perturbations, the velocity–magnetic field interaction mechanism vanishes and there is no effect of pressure or magnetic field on individual velocity components.
Tamper-Proof Inverse Transparency Logs With Intel SGX

Recent privacy legislation such as the GDPR and CCPA have lead to data owners becoming more self-sovereign in the handling of their data. Yet, these initiatives still do not lead to a true data sovereignty of individuals. Allowing access to data is still in many cases an “all-or-nothing” affair, with those trying to get access to the data having an information advantage. This is especially problematic in case of employee data, where an inherent power asymmetry and the necessity to use data for business processes reduces the choice of data owners to a minimum. The concept of “Inverse Transparency” tries to improve upon the existing privacy protections of employees by giving data owners more sovereignty in how their data are used. Its core idea is to enable access to data on a more case-by-case basis, but to monitor all accesses and make those visible to data owners [1]. On the one hand, this can help to raise awareness of data usages and better protect the employee’s personal data, on the other hand it may enable usages of data useful to teams and individuals alike. An important prerequisite for Inverse Transparency to function is the ability to record usage logs in a tamper-proof way. Ideally, this can be done without a trusted third party, as in power-asymmetric environments (see above) the logs may be the target of manipulation. The recently developed technology Intel SGX [2] promises to enable this goal. With CPU-based attestation and sealing technology, the correctness of code executed on a remote server can be guaranteed. Furthermore, confidentiality guarantees can be given [3]. There are various ideas of how to utilize this technology within the context of private data analytics and secure logging. Karande et al. describe a secure log based on Intel SGX [4]. Priebe et al. go a similar route to describe EnclaveDB, a SGX-based database [5]. For both, the idea is to give guarantees about the correctness of entries stored in the log, as well as their confidentiality where necessary (although this is limited due to size constraints). On the other hand, Birrell et al. [6], Schuster et al. [7], and Kelbert et al. [8] describe the idea of securely working with the data with SGX-protected applications, thereby ensuring the correct execution of analytics code. This starts a step earlier to give guarantees even before log entries have been created.
Anti-takeover Provisions and Shareholder Wealth: Will Anti-takeover Provisions Destruct Firm Value?

This paper reviews the literature on anti-takeover provisions (ATPs), focusing on the relationship between ATPs and shareholder value. The empirical literature review is divided into four categories: 1) short-term event studies, 2) studies on the impact of different ATPs on acquisitions, 3) longitudinal studies on the relationship between ATPs and corporate performance or policies, and 4) studies that investigated how ATPs destruct shareholders’ value.
Psychological perspectives on the presentation of video evidence: How perceivers weight what is seen and unseen

Video evidence is proliferating in the courtroom, outpacing the incremental advances in policies governing its use. Psychological research on attention and perception indicates that people are vulnerable to numerous biases in how they interpret video. The dynamic format of such evidence directs attention in distinct ways, and the visual system selectively captures some pieces of information at the expense of others. Thus, perceivers who must make decisions about video evidence are vulnerable to overweighting the information they see, underweighting the information they do not see, and being overconfident about their interpretation of what they see. We marshal emerging research on attention and cognition to consider perceivers’ vulnerabilities to video evidence. Further, we ask whether instruction interventions may disrupt biases in decision-making about video evidence. We present pilot data suggesting that instructions to consider information missing from a scene might bridge the gap between disparate perceptions of body camera and dashcam footage of the same scene.
3D uncalibrated robotic grasping method based on improved YOLOv2

: This paper proposed an uncalibrated 3D robotic arm grabbing method based on improved YOLOv2 in a multi-object environment. Firstly, in order to reduce the depth learning algorithm YOLOv2 detection multi-object bounding box overlapping rate and 3D distance calculation error. It proposed an improved algorithm for YOLOv2. Using this algorithm to detect and identify the target object in the image, obtain the position information of the target object in the RGB image, and then use the k-means++ clustering algorithm to quickly calculate the distance from the target object to the camera according to the depth image information, and estimate the target object size and pose. Simultaneously, use the improved YOLOv2 to get the bounding box of the gripper and calculate the distance from the robot to the target object. Then the system estimates the distance between the fixture, camera and object in the manipulator coordinate system. Finally, the system uses the PID algorithm to control the gripper to grab the object according to the size and posture of the object and the distance from the object to the gripper. In this paper, the detected boundary boxes of the target object is more accurate based on the improved YOLOv2 than on old one. It also enhances the distance from the fixture to the object and the size of the object as well as the accuracy of the pose estimation. In addition, in order to avoid complicated calibration, this paper proposes a non-calibration method. This learning scheme is different from the traditional uncalibrated estimation method based on Jacobian matrix, because it has good universality. A simulation experiment shows that the proposed method can accurately classify and locate the objects in the image, The Universal Robot 3 robotic arm uses this framework to verify the effectiveness of capturing objects in a cluttered environment.
Audiovisual Fiction, Tourism, and Audience Studies: A Literature Review

Institutions are investing increasing amounts of resources in the promotion of their regions through audiovisual fiction. At the same time, there has been increasing scholarly interest in the relationship between audiovisual fiction and tourism, and particularly the effect of that relationship on potential tourists. Despite the inherently interdisciplinary nature of this field of research, very little attention appears to be given to what media studies, and particularly audience studies, could contribute. The purpose of this article is to offer a critical review of the literature on audiovisual fiction-induced tourism from the perspective of audience analysis. To this end, previous studies are categorised according to their objectives (e.g., to study the effect of films and series on destination image, travel motivations, experiences and intentions to visit, or tourist visits themselves), and an analysis is offered of their main findings and conclusions and of the use they make (if any) of audience analysis. The article then concludes with some proposals of ways to integrate audience analysis more fully into studies of audiovisual fiction-induced tourism to support research in this field.
Wavelet decomposition for passive data compression and processing

As seismic data acquisition techniques improve, the problems associated with having large amounts of data become more apparent. We aim to reduce the cost and footprint of data storage, as well as improving the efficiency of passive seismic data processing. As a contribution to the solving the storage problem, we consider wavelet decomposition and thresholding as one technique for lossy compression of passive seismic data. By calculating the distribution of wavelet coefficients for passive data, we can compare strategies to determine the compressibility and optimum threshold for adaptive on-the-fly lossy compression. We compare compressibility and error bounds when using one-dimensional versus two-dimensional wavelet decomposition. Because sparse cross-correlation in the wavelet domain is more scalable than in the frequency domain, we are particularly interested in understanding the implications of compression on these. We consider error analysis to quantify how errors in data compression prop-agate through cross-correlation analysis (e.g. for template matching or ambient noise interferometry).
The Iconic-Symbolic Spectrum

It is common to distinguish two great families of representation. Symbolic representations include logical and mathematical symbols, words, and complex linguistic expressions. Iconic representations include dials, diagrams, maps, pictures, 3-dimensional models, and depictive gestures. This essay describes and motivates a new way of distinguishing iconic from symbolic representation. It locates the difference not in the signs themselves, nor in the contents they express, but in the semantic rules by which signs are associated with contents. The two kinds of rule have divergent forms, occupying opposite poles on a spectrum of naturalness. Symbolic rules are composed entirely of primitive juxtapositions of sign types with contents, while iconic rules determine contents entirely by uniform natural relations with sign types. This distinction is marked explicitly in the formal semantics of familiar sign systems, both for atomic first-order representations, like words, pixel colors, and dials, and for complex second-order representations, like sentences, diagrams, and pictures.
Antimicrobial Irrigation Solutions in Root Canal Treatment: A Glance at the Past, the Present, and the Future

Many current concepts about irrigation solutions have evolved over time; a historical perspective of irrigation solutions and the reasons for their introduction to endodontic treatment is required. The authors of this work believe that a large number of unrecognised published works from the 20th century need to be brought to light so that researchers can acquire some important hints and insights into how those solutions were developed and used in the past. In this paper, we investigate historical attempts to develop the optimal irrigation solution as well as the evolution of the scientific community's views on how to achieve this aim. A review of the literature related to irrigation solutions in endodontics was conducted using Scopus, Google Scholar, and Web of Science. Historical articles were identified through tracking citations of included articles and were obtained via the library of the University of Dundee. Without the attempts of the past, we wouldn't be where we are today, including the role that several irrigation solutions played in endodontics before they were phased out. The observation that none of the currently available solutions had all of the properties that would make them ideal when used on their own led to the conception of the notion of mixing multiple types of irrigation systems, an idea that has since become widely popular. This study suggests pursuing two lines of inquiry: first, finding the best companion to sodium hypochlorite that produces no undesirable reaction precipitates; and second, maintaining the effort toward the development of a single irrigation solution that can effectively disinfect the canal without endangering the vital tissues. In general, and for some different possible combinations, there appears to be some light at the end of the tunnel, which is something that will hopefully be uncovered in the not-too-distant future.
Meaning Representation of English Prepositional Phrase Roles: SNACS Supersenses vs. Tectogrammatical Functors

This work compares two ways of annotating semantic relations expressed in prepositional phrases: semantic classes in the Semantic Network of Adposition and Case Supersenses (SNACS), and tectogrammatical functors from the Prague English Dependency Treebank (PEDT). We compare the label definitions in the respective annotation guidelines to determine expected mappings, then check how well these work empirically using Wall Street Journal text. In the definitions we find substantial overlap in the distributions of the two schemata with respect to participants and circumstantials, but substantial divergence for configurational relationships between nominals. This is borne out by the empirical analysis. Examining the data more closely for participants and circumstantials reveals that there are some unexpected, yet systematic divergences between definitionally aligned groups.