Miracle-dz/UniFAR-FTUs huggingface dataset:
Electroviscous Effects in Stationary Solid Phase Suspensions

Flowing through porous media is a matter of interest in different research fields such as medicine, engineering and science. The spontaneous appearance of ionic distribution at the solid liquid interface gives place to a reduction in the flow rate, which is generally named electroviscous effect. However, this should be differentiated in two more specific effects, the primary effect due to the distortion of ionic clouds, and the secondary effect due to the overlapping of ionic clouds. Theoretical and experimental works have not always been clearly conducted in order to separate both effects. Instead, they have been globally grouped. The purpose of this review is to revise theoretical and experimental bibliography on the electroviscous effect in stationary solid phase suspensions (porous plugs, membranes, microchannels, capillaries). The main conclusions of this brief revision are: (i) when ionic clouds are relatively small, it is possible to accept that only the primary effect is the cause for the apparent increase of the viscosity of the liquid phase when it is forced to flow relative to the stationary solid phase; (ii) although theory predicts a maximum for the variation of the overall electroviscous effect vs the relative size of the ionic cloud, it has been experimentally observed but not properly reasoned that its existence depends on the salt type; and (iii) it is necessary to justify why, if the fluid is non-Newtonian, electrokinetic parameters dominate the characteristics of the flow due to high pressure gradients, but the rheological parameters are more decisive when the flow is generated by low pressure gradients.
RSSI-Based Localization Schemes for Wireless Sensor Networks Using Outlier Detection

The received signal strength indicator (RSSI) of RF signals is a cost-effective solution for distance estimation, which makes it a practical choice for localization schemes in wireless sensor networks (WSN). However, RF propagation channels in most WSN deployment environments, including dense cities and natural habitats, are commonly affected by shadowing due to obstructions caused by natural and man-made obstacles. RF signal attenuation from shadowing introduces uncharacteristically high errors in RSSI-based distance estimates, which result in large errors in RSSI-based localization schemes. This paper proposes the use of outlier detection methods for removing the effect of such disproportionately erroneous distance estimates in location estimation using RSSI. Three different localization schemes are proposed that apply outlier detection to effectively reduce localization errors in shadowed environments. Performance results of the proposed schemes are obtained using computer simulations and experimental tests.
U-Pb dating of middle Eocene-middle Pleistocene multiple tectonic pulses in the
Alpine foreland

Abstract. Foreland fold-and-thrust belts record long-lived tectonic-sedimentary activity, from passive margin sedimentation, flexuring, and further involvement into wedge accretion ahead of an advancing orogen. Therefore, dating fault activity is fundamental for plate movement reconstruction, resource exploration, or earthquake hazard assessment. Here, we report U-Pb ages of syntectonic calcite mineralizations from four thrusts and three tear faults sampled, at the regional scale, across the Jura fold-and-thrust belt in the northwestern Alpine foreland (eastern France). Four regional tectonic phases are recognized in the middle Eocene-middle Pleistocene interval: (1) pre-orogenic faulting at 44.7 ± 2.6 and 48.4 ± 1.5 Ma associated to the uplift of the Alpine forebulge, (2) syn-orogenic thrusting at 11.4 ± 1.1, 10.6 ± 0.5, 9.7 ± 1.4, 9.6 ± 0.3, and 7.5 ± 1.1 Ma associated to possible in-sequence thrust propagation, and (3) syn-orogenic tear faulting at 10.5 ± 0.4, 9.1 ± 6.5, 7.3 ± 1.9, 5.7 ± 4.7, 4.8 ± 1.7, and at 0.7 ± 4.2 Ma including the reactivation of a pre-orogenic fault as tear fault at 3.9 ± 2.9 Ma. Previously unknown faulting events at 44.7 ± 2.6 and 48.4 ± 1.5 Ma predate by ~ 10 Ma the accepted late Eocene age for tectonic activity onset in the Alpine foreland. In addition, we dated the previously inferred strike-slip faults re-activation as tear fault. The U-Pb ages demonstrate the long-lived tectonic history at the plate boundary between European and African plates and that the deformation observed in the foreland is directly linked to continental collision.
An efficient tunable decoupling and matching method for simplifying compact dual‐band mobile terminal antennas

An efficient tunable decoupling and matching method is proposed for simplifying compact mobile terminal antennas, that operates simultaneously in two independent bands. To enable carrier aggregation, the lower band in this design is tunable over the frequencies of interest for the traditional standards, while the upper band provides a fixed broad bandwidth to meet the bandwidth demands of 5G mobile terminal applications. Multi‐element antenna systems, containing a simple antenna structure combined with tunable networks to realize dual‐band decoupling and matching function, are systematically studied. The network structures are simplified to minimize the losses incurred in maintaining a good performance. To demonstrate the proposed approach, a two‐element antenna system is developed in which the lower band can be tuned over the frequency range of 2.25 to 2.75 GHz, and the broad upper band can cover frequencies from 4.42 to 6.21 GHz. Good performance such as high total efficiency, low envelope correlation coefficient and stable radiation patterns, can be observed, thus, validating the effectiveness of the proposed method for simplifying the antenna structure.
Response of Soil Organic Carbon and Its Active
Fractions to Restoration Measures in the Karst
Rocky Desertification Ecosystem, SW China

Soil organic carbon (SOC) is the dynamic medium of carbon transfer and the main way of carbon circulation in karst ecosystem, SOC and soil labile organic carbon (LOC) is essential for karst soil C cycling. There has been very little research about the differentiation of SOC and LOC in karst ecosystem. In this study, six typical restoration measures were investigated in the karst rocky desertification ecosystem, southwest China, including: restoration with Zanthoxylum bungeanums (HJ), restoration with Hylocereus undulates (HL), restoration with Pennisetum sinese (HZ), restoration with Medicago sativa (MX), restoration with Sabina chinensis (YB), and abandoned and natural recovery (LH). The SOC contents, SOC stocks, LOC contents (water soluble organic carbon (WSOC), easily oxidizable organic carbon (EOC), particulate organic carbon (POC), light fraction organic carbon (LFOC)), and the carbon pool management index (CPMI) were investigated. The results indicated that the SOC contents, SOCS and LOC contents of the six measures were the highest in YB, followed by the LH, and the two were significantly higher than the other four measures. The soil CPMI contents of 0-20 cm layer under the different restoration measures decreased in the following order: YB > HJ > MX > HL > HZ. Correlation analysis showed that SOC was positively correlated with soil LOC (P<0.01), and LOC was positively correlated with each other (P<0.01). These findings suggest that restoration with Sabina chinensis, abandoned and natural recovery are more conducive to the management and protection of karst ecological environment. Restoration with Zanthoxylum bungeanums can be used as a priority economic species for karst rocky desertification and mountain agricultural development in southwest China. Soil WSOC, EOC, POC, and LFOC can be used as effective indicators to reflect SOC pools, and soil CPMI can also be used as a sensitive indicator to reflect soil management.
A rotationally-driven polyethylene terephthalate microdevice with integrated reagent mixing for multiplexed PCR amplification of DNA

We demonstrate the capabilities of a centrifugal polyethylene terephthalate toner (PeT) microdevice for integrated on-chip reagent mobilization, mixing, and PCR amplification for genetic analysis of short tandem repeats (STR). Fluid flow, including reagent mobilization and mixing, is achieved by centrifugal force, eliminating the need for bulky instrumentation. The use of a passive valve also eliminates the need for extra hardware and simplifies the chip and the device design. A custom-built system is capable of thermocycling through a dual Peltier clamping system, as well as variable rate spinning with a DC motor. A multiplex PCR amplification of alleles associated with 18 genomic loci was successfully performed on-chip, followed by capillary electrophoretic separation, which showed efficient amplification of DNA from multiple sources. The genetic profiles generated were 100% concordant with those obtained using conventional PCR methods. The resultant system represents a novel microfluidic PCR amplification platform that uses inexpensive PCR microdevices that are simple to fabricate, yet effective for complex, multiplexed PCR.
PERENCANAAN PEMBUKAAN PROGRAM STUDI KEDOKTERAN UPN VETERAN JAWA TIMUR DENGAN MODEL SIMULASI DINAMIS

Pendidikan adalah usaha yang dilakukan secara sadar dan terencana untuk mewujudkan suasana belajar dan proses pembelajaran sehingga peserta didik secara aktif dapat mengembangkan potensi dirinya yang diperlukan bagi dirinya masyarakat, bangsa dan negara. UPN ”Veteran” Jatim atau UPN V JT atau Universitas Pembangunan Nasional “Veteran” Jawa Timur, berlokasi di Surabaya merupakan salah satu perguruan tinggi negeri di Indonesia yang berdiri sejak 5 juli 1959. Pada Universitas Pembangunan Nasional “Veteran” Jawa Timur akan menambah program studi yaitu kedokteran. Metode penelitian yang digunakan adalah simulasi sistem dinamis, sebagai metode untuk membentuk suatu model simulasi computer, untuk membantu mempelajari kompleksitas dinamis, mengerti sumber resistensi kebijakan, dan mendesain kebijakan yang lebih efektif. Dari hasil simulasi kebijakan menggunakan software vensim yakni jumlah dokter cenderung meningkat. Jika tidak ada kebijakan penambahan program studi kedokteran, jumlah dokter pada tahun 2024 adalah 4351.96 ribu. Sedangkan jika terdapat kebijakan pembangunan program studi kedokteran, maka jumlah dokter pada tahun 2024 adalah 4419.86 ribu. Dan jumlah kebutuhan dokter cenderung menurun. Jika tidak ada kebijakan penambahan program studi kedokteran, jumlah kebutuhan dokter pada tahun 2024 adalah 410.917 ribu. Sedangkan jika terdapat kebijakan pembangunan program studi kedokteran, maka jumlah kebutuhan dokter pada tahun 2024 adalah 409.74 ribu. Kata Kunci: Jumlah kebutuhan dokter,Software Vensim,Sistem dinamis, desain kebijakan.
Theoretical Studies on the Validity of B3LYP Density Functional Theory for Symmetrical Electrocyclic Reactions

Motivation. The reactions including orbital symmetry allowed and forbidden mechanisms are studied by theoretical multireference correlation molecular orbital methods such as complete active space (CAS) self– consistent field (SCF) or broken symmetry unrestricted methods. Although the CASSCF MO method can describe the electronic states between the singlet electronic coupling state and the singlet diradicals state, no information is available regarding the accuracy of the broken symmetry unrestricted method for these electronic states. We compared the validity of the geometry parameters and the relative energies for three symmetrical electrocyclic reaction systems by broken symmetry unrestricted and restricted methods on the basis of the (U)B3LYP density functional theory with those by CASSCF and MP2–CASSCF levels. Method. (U)B3LYP density functional methods with 6–31G(d) basis set are used in this study. Results. The geometry parameters of the stationary points for three symmetrical electrocyclic reactions and their relative energies are calculated by (U)B3LYP methods. Conclusions. The geometry parameters of the stationary points determined by the (U)B3LYP method agreed well with those by CASSCF levels. The relative energies calculated by the (U)B3LYP method agreed qualitatively with those by MP2-CASSCF levels, but the energy difference by both methods is significant.
Maternal Body Mass Index and Ethnicity in Relation to The Adverse Outcomes of Large for Gestational Age and Gestational Diabetes Mellitus in a Retrospective Cohort of Australian Pregnant Women.

Background: The prevalence of maternal overweight and obesity has been increasing. This research explored the association between maternal body mass index and ethnicity in relation to the adverse outcomes of large for gestational age and gestational diabetes mellitus. Method: A retrospective cohort study was undertaken with 27 814 Australian women of various ethnicities, who gave birth to a singleton infant between 2008 and 2017. Variables were examined using logistic regression. Results: A significantly higher proportion of large for gestational age infants were born to overweight and obese women compared to those who were classified as underweight and healthy weight. Asian-born women with a body mass index of ≥ 40kg/m2 had an adjusted odds ratio of 9.926 (3.859 - 25.535) for birthing a large for gestational age infant whereas Australian-born women had an adjusted odds ratio of 2.661 (2.256 - 3.139) for the same outcome. Women born in Australia were at high risk of birthing a large for gestational age infant in the presence of insulin controlled gestational diabetes mellitus, but this risk was not significant for those with the diet-controlled type. Asian-born women did not present an elevated risk of birthing a large for gestational infant, in either the diet controlled, or insulin controlled gestational diabetes mellitus groups. Conclusion: Large for gestational age and gestational diabetes mellitus are adverse pregnancy outcomes that can lead to significant maternal and neonatal morbidity. Women who are overweight or obese, and considering a pregnancy, are encouraged to seek culturally appropriate nutrition and weight management advice during the periconception period.
Study on blasting vibration characteristics of metro tunnel based on wavelet packet technology

Wavelet packet technology has been widely applied in the study on blasting vibration transmission law of overlapping tunnels. The previous research focused on vibration transmission law of the distant area---a range more than 20m, but for the close area---a range less than 10m, research seldom has been carried out. Therefore, this paper, based on a overlapping tunnel project in Qingdao, reveals the blasting vibration transmission law of the close field as well as how the numbers of free surfaces affect the law. Firstly, at the site,the blasting vibration data both in front and rear of the working faces including the cutting area (a free face) and the spreading area (two free faces) in a newly-built tunnel are obtained; Secondly, the wavelet packet technology is applied to analyze the data of blasting vibration frequency and energy distribution characteristics. Finally, it is concluded that different free facing with different numbers can lead to different main frequency distribution range and different law of main frequency band changing with distance when blasting vibration transmit within the close field; and the vibration signal energy in front and rear of the working face in cutting area and spreading area is differently distributed in the directions of 3 channels. Combining blasting vibration signal frequence with energy factors, this paper puts forward the constructive suggestions on the safety protection of existing tunnels and provides reference for studying the law of blasting vibration transmission of overlapping tunnels. CLC classification number: 0389 TD235 Document identification code: A
A Model for Verification and Validation of Law Compliance of Smart Contracts in IoT Environment

The interest of Industry 4.0 in smart contracts and blockchain technologies is growing up day by day. Smart contracts have enabled new kinds of interactions whereby contractors can even fully automate processes they agree on. This technology is really appealing in Internet of Things (IoT) domain because smart devices generate events for software agents involved in a smart contract execution, making full automation possible. However, smart contracts have to comply with national and international laws and accountability of participant's actions. Soundness of a smart contract has to be verified in terms of law compliance. Here, we propose a model for verification and validation of law compliance of smart contracts in IoT environments. The main goal of this article is to propose a formal model (based on multiagent logic and ontological description of contracts) for validating law compliance of smart contracts and to determine potential responsibilities of failures.
Computational thinking in K-12 education. An insight through meta-analysis

Abstract The interest in computational thinking development at pre-university education stage is increasing. In this study, a meta-analysis was conducted to address two main objectives: (a) to analyze the effectiveness of empirical interventions in K-12 education for the development of Computational Thinking (CT); and (b) to identify and evaluate the variables that influences the effectiveness of the interventions. The analysis was especially focused on the intra-group effect sizes. Interventions show large effect size in the development of CT in the comparison between pre- and post-tests (g = 1.044). Among the different types of interventions, programming is the most efficient learning tool.
Transfer Phenomena in Bilingual Language Acquisition: The Case of Caused-Motion Constructions

Usage-based approaches suggest that children gradually build abstract syntactic patterns, called constructions, through processes of abstraction and schematization from the input they receive. Bilingual children have the challenge of learning two sets of non-equivalent constructions when they build their constructicon. This can result in deviations from monolinguals, which are commonly referred to as transfer. Targeting the expression of the caused-motion construction, the present study focuses on idiosyncratic utterances, those that do not correspond to monolingual adult language use, in three different age groups (4, 6, and 8 years old) of German–French bilingual children in comparison to monolingual control groups. The quantitative analysis showed that idiosyncrasies could be found in both groups, but with significantly higher rates in bilinguals at all ages. In a qualitative analysis, idiosyncratic utterances were clustered into three different types: syntactic patterns, use of verbs, and directional phrases. Regarding the analysis of these types, the influence of French could be shown. In order to classify this linguistic phenomenon in a usage-based approach, we propose to consider transfer as a form of overgeneralization within the bilingual constructicon.
An efficient stabilized finite element scheme for simulating viscoelastic flows

This article presents an efficient stabilized finite element scheme for solving viscoelastic flow problems at high Weissenberg numbers. The velocity and pressure variables in the momentum balance equations are uncoupled using an incremental fractional step method based on the second‐order backward differentiation formula. The pressure gradient projection stabilization technique and the discrete elastic‐viscous‐split‐stress formulation are introduced into the scheme, in explicit versions, to circumvent the LBB constraints. For the constitutive equation, a square root transformation is first applied to preserve the positive definiteness of the polymer conformation tensor, and then the streamline upwind/Petrov–Galerkin method and the second‐order Runge–Kutta scheme are implemented for spatial and time discretizations. Three benchmark problems are tested and numerical results have revealed the accuracy and convergence of the scheme. What is more, since the presented scheme enables the use of equal low‐order interpolations for all variables, and requires no iterative process, it is computationally efficient and easy to be implemented.
Time‐Series Prediction Approaches to Forecasting Deformation in Sentinel‐1 InSAR Data

Time series of displacement are now routinely available from satellite InSAR and are used for flagging anomalous ground motion, but not yet forecasting. We test conventional time series forecasting methods such as SARIMA and supervised machine learning approaches such as long short‐term memory (LSTM) compared to simple function extrapolation. We focus initially on forecasting seasonal signals and begin by characterizing the time‐series using sinusoid fitting, seasonal decomposition, and autocorrelation functions. We find that the three measures are broadly comparable but identify different types of seasonal characteristic. We use this to select a set of 310 points with highly seasonal characteristics and test the three chosen forecasting methods over prediction windows of 1–9 months. The lowest overall median RMSE values are obtained for SARIMA when considering short term predictions (<1 month), whereas sinusoid extrapolation produces the lowest median RMSE values for longer predictions (>6 months). Machine learning methods (LSTM) perform less well. We then test the prediction methods on 2,000 randomly selected points with a range of seasonalities and find that simple extrapolation of a constant function performed better overall than any of the more sophisticated time series prediction methods. Comparisons between seasonality and RMSE show a small improvement in performance with increasing seasonality. This proof‐of‐concept study demonstrates the potential of time‐series prediction for InSAR data but also highlights the limitations of applying these techniques to nonperiodic signals or individual measurement points. We anticipate future developments, especially to shorter timescales, will have a broad range of potential applications, from infrastructure stability to volcanic eruptions.
Bayesian survival model induced by frailty for lifetime with long‐term survivors

It is introduced the proportional hazards frailty model to allow a discrete distribution for the frailty variable. Frailty zero can be interpreted as being immune or cured. It is defined a class of survival models induced by a discrete frailty having a mixed Poisson distribution, which can account for unobserved dispersion. Further, a new regression to evaluate the effects of covariates in the cure fraction is constructed. Several former cure survival models are special cases of the proposed modeling framework. The inferential approach is based on Bayesian methods. Some simulation results are provided to assess the performance of the new regression. Its importance is illustrated by means of an application to colorectal cancer data.