Miracle-dz/UniFAR-FTUs huggingface dataset:
Automatic Linkage Model of Classification Systems Based on a Pretraining Language Model for Interconnecting Science and Technology with Job Information

For national industrial development in the Fourth Industrial Revolution, it is necessary to provide researchers with appropriate job information. This can be achieved by interconnecting the National Science and Technology Standard Classification System used for management of research activity with the Korean Employment Classification of Occupations used for job information management. In the present study, an automatic linkage model of classification systems is introduced based on a pre-trained language model for interconnecting science and technology information with job information. We propose for the first time an automatic model for linkage of classification systems. Our model effectively maps similar classes between the National Science & Technology Standard Classification System and Korean Employment Classification of Occupations. Moreover, the model increases interconnection performance by considering hierarchical features of classification systems. Experimental results show that precision and recall of the proposed model are about 0.82 and 0.84, respectively.
Cost-Effectiveness of Magnetic Resonance Angiography Versus Intra-arterial Digital Subtraction Angiography to Follow-Up Patients With Coiled Intracranial Aneurysms

Background and Purpose— To follow up patients with coiled intracranial aneurysms, magnetic resonance angiography (MRA) is a promising noninvasive alternative to current standard intra-arterial digital subtraction angiography (IA-DSA). MRA test results do not always concord with those of IA-DSA, and the impact of discrepancies on health benefits and costs is unknown. We evaluated the cost-effectiveness of follow-up with MRA vs IA-DSA to assess whether in this setting MRA may replace IA-DSA. Methods— We studied aneurysm occlusion on MRA in addition to follow-up IA-DSA in 310 patients with 341 coiled intracranial aneurysms. The observed sensitivity (82%) and specificity (89%) of MRA for detection of reopening with IA-DSA as a reference were used as input for a Markov decision-analytic model. Other determinants were derived from the literature. We compared life expectancy, quality-adjusted life-years (QALY), costs, and expected number of events for the two strategies. Results— Follow-up with MRA yielded similar life expectancy (MRA, 26.66 years; IA-DSA, 26.63 years; difference, 0.03 years; 95% CI, −0.17–0.23) and QALY (MRA, 10.96; IA-DSA, 10.95; difference, 0.01 QALY; 95% CI, −0.05–0.08) at lower costs (MRA, $7003; IA-DSA, $8241 per patient; difference, −$1238; 95% CI, −2617-−36). The expected number of events was comparable except for complications from IA-DSA. Conclusion— MRA provided equivalent health benefits as IA-DSA and was cost-saving. MRA dominates and should replace routine IA-DSA to follow-up patients with coiled aneurysms.
DNA sexing of Sumatran Tiger ( Panthera tigris sumatrae ) based on amelogenin genes

Nowadays, forensic and wildlife research, especially the Sumatran tiger needs further research with a molecular approach. Molecular approaches are needed for forensic and wildlife research including for sex identity. This study used the amelogenin gene as a marker for identification based on previous studies of Felidae species. The sample used consisted of 10 blood samples from Sumatran tigers of known sex were collected by the Dharmasraya Sumatran Tiger Rehabilitation Center (PRHSD), one hair sample, and two bone samples whose sex was unknown were collected from Natural Resources Conservation Center West Sumatra (BKSDA). The PCR results of the amelogenin gene of the Sumatran tiger confirmed the sex of 10 samples of known sex’s Sumatran tiger (Four male samples and six female samples), and Three samples of unknown sex were identified as females. Male was characterized by the electrophoresis appearance of two bands, while in female’s only one band, with PCR product sizes of at least 190 bp for AMELY and at least 210 bp for AMELX.
Electrowetting on dielectric: experimental and model study of oil conductivity on rupture voltage

Electrowetting on dielectric devices uses a conducting (water) and insulating (oil) liquid phase in conjunction on a dielectric layer. In these devices, the wetting properties of the liquid phases can be manipulated by applying an electric field. The electric field can rupture the initially flat oil film and promotes further dewetting of the oil. Here, we investigate a problem in the operation of electrowetting on dielectric caused by a finite conductivity of the oil. In particular, we find that the voltage at which the oil film ruptures is sensitive to the application of relatively low DC voltages prior to switching. Here, we systematically investigate this dependence using controlled driving schemes. The mechanism behind these history effects point to charge transport processes in the dielectric and the oil, which can be modeled and characterized by a decay time. To quantify the effects the typical response timescales have been measured with a high-speed video camera. The results have been reproduced in simulations. In addition, a simplified yet accurate equivalent circuit model is developed to analyze larger data sets more conveniently. The experimental data support the hypothesis that each pixel can be characterized by a single decay time. We studied an ensemble of pixels and found that they showed a rather broad distribution of decay times with an average value of about 440 ms. This decay time can be interpreted as a discharge timescale of the oil, not to be confused with discharge of the entire system which is generally much faster (<1 ms). Through the equivalent circuit model, we also found that variations in the fluoropolymer (FP) conductivity cannot explain the distribution of decay times, while variations in oil conductivity can.
The mechanism of Icariside II on NSCLC/COVID-19 based on network pharmacology and molecular docking (preprint)

Patients with non-small cell lung cancer (NSCLC) are susceptible to coronavirus disease-2019 (COVID-19), but related treatments are limited. Icariside II (IS), a metabolite of plant Epimedin, showed anti-inflammation and immunoregulation effects in various diseases. This study aimed to evaluate the effect and mechanisms of IS on NSCLC/COVID-19. Targets of NSCLC/COVID-19 were defined as the common targets of NSCLC and COVID-19. The clinical characteristics of NSCLC patients were collected from The Cancer Genome Atlas Program (TCGA) database and analyzed by the R package of “survival”, univariate and multivariate Cox proportional hazards regression model. Further, the targets in IS treatment of NSCLC/COVID-19 were defined as the overlapping targets of IS and NSCLC/COVID-19 targets. Gene Ontology (Go) and Kyoto Encyclopedia of Genes and Genomes (KEGG) analyses of the treatment targets found IS might affect the leucocyte migration, inflammation response, and active oxygen species metabolic process, and regulate the IL-17, TNF, and HIF-1 signaling pathway in NSCLC/COVID-19. Protein-protein interaction (PPI) network identified six hub targets of IS in the treatment of NSCLC/COVID-19 including F2, SELE, MMP1, MMP2, AGTR1, and AGTR2. Molecular docking showed above target proteins had a great binding degree to IS. Our finding indicated that IS exerts therapeutic effects in NSCLC patients infected with COVID-19, supporting a further pre-clinical study to validate the related effect and underlying mechanism.
TacNote: Tactile and Audio Note-Taking for Non-Visual Access

Blind and visually impaired (BVI) people primarily rely on non-visual senses to interact with a physical environment. Doing so requires a high cognitive load to perceive and memorize the presence of a large set of objects, such as at home or in a learning setting. In this work, we explored opportunities to enable object-centric note-taking by using a 3D printing pen for interactive, personalized tactile annotations. We first identified the benefits and challenges of self-created tactile graphics in a formative diary study. Then, we developed TacNote, a system that enables BVI users to annotate, explore, and memorize critical information associated with everyday objects. Using TacNote, the users create tactile graphics with a 3D printing pen and attach them to the target objects. They capture and organize the physical labels by using TacNote’s camera-based mobile app. In addition, they can specify locations, ordering, and hierarchy via finger-pointing interaction and receive audio feedback. Our user study with ten BVI participants showed that TacNote effectively alleviated the memory burden, offering a promising solution for enhancing users’ access to information.
DoseFinding-package 3 MCPMod : Performs MCPMod methodology sampSize : General function for sample size calculation

June 27, 2023 Type Package Title Planning and Analyzing Dose Finding Experiments Version 1.0-5 Date 2023-06-27 Depends ggplot2, lattice, mvtnorm, R (>= 2.15.0) Suggests numDeriv, Rsolnp, quadprog, parallel, multcomp, knitr, rmarkdown, MASS, testthat Maintainer Bjoern Bornkamp <bbnkmp@mail.de> Description The DoseFinding package provides functions for the design and analysis of dose-finding experiments (with focus on pharmaceutical Phase II clinical trials). It provides functions for: multiple contrast tests, fitting non-linear dose-response models (using Bayesian and non-Bayesian estimation), calculating optimal designs and an implementation of the MCPMod methodology (Pinheiro et al. (2014) <doi:10.1002/sim.6052>). VignetteBuilder knitr License GPL-3 LazyLoad yes NeedsCompilation yes Author Bjoern Bornkamp [aut, cre] (<https://orcid.org/0000-0002-6294-8185>), Jose Pinheiro [aut], Frank Bretz [aut], Ludger Sandig [aut] Repository CRAN Date/Publication 2023-06-27 09:30:02 UTC
Solving composed quantified constraints from discrete-time robust control

This paper deals with a problem from discrete-time robust control which requires the solution of constraints over the reals that contain both universal and existential quantifiers. For solving this problem we formulate it as a program in a (fictitious) constraint logic programming language with explicit quantifier notation. This allows us to clarify the special structure of the problem, and to extend an algorithm for computing approximate solution sets of first-order constraints over the real to exploit this structure. As a result we can deal with inputs that are clearly out of reach for current symbolic solvers.
X-ray CT images of wood: A review and validation of 2 an improved algorithm on softwood samples

11 An algorithm to automatically detect and measure knots in CT images of 12 softwood beams was developed. The algorithm is based on the use of 3D con13 nex components and a 3D distance transform constituting a new approach 14 for knot diameter measurements. 15 The present work was undertaken with the objective to automatically and 16 non-destructively extract the distributions of knot characteristics within trees. 17 These data are valuable for further studies related to tree development and 18 tree architecture, and could even contribute to satisfying the current demand 19 for automatic species identification on the basis of CT images. 20 A review of the literature about automatic knot detection in X-ray CT images 21 is provided. Relatively few references give quantitatively accurate results of 22 knot measurements (i.e., not only knot localisation but knot size and incli23 nation as well). 24 The method was tested on a set of seven beams of Norway spruce and silver 25 ∗Corresponding author Email addresses: longueta@nancy.inra. fr (Longuetaud F.), mothe@nancy.inra. fr (Mothe F.), Bertrand.Kerautret@iutsd.uhp-nancy.fr (Kerautret B.), adrien057@gmail.com (Krähenbühl A.), yabb85@gmail.com (Hory L.), Jean-Michel.Leban@enstib.uhp-nancy.fr (Leban J.M.), Isabelle.Debled-Rennesson@loria.fr (Debled-Rennesson I.) Preprint submitted to Elsevier March 29, 2012 fir. The outputs were compared with manual measurements of knots per26 formed on the same images. 27 The results obtained are promising, with detection rates varying from 71 to 28 100%, depending on the beams, and no false alarms were reported. Particu29 lar attention was paid to the accuracy obtained for automatic measurements 30 of knot size and inclination. Comparison with manual measurements led to 31 a mean R of 0.86, 0.87, 0.59 and 0.86 for inclination, maximum diameter, 32 length and volume, respectively. 33
Next Generation Backscatter Communication: Theory and Applications

The Internet-of-Things (IoT) is an emerging concept of network connectivity anytime and anywhere for billions of everyday objects, which has recently attracted tremendous attention from both the industry and academia. The rapid growth of IoT has been driven by recent advancements in consumer electronics, wireless network densification, 5G communication technologies, and cloud-computing enabled big-data analytics. One of the key challenges for IoT is the limited network lifetime due to massive IoT devices being powered by batteries with finite capacities. The low-power and low-complexity backscatter communications (BackCom), which simply relies on passive reflecting and modulation an incident radio-frequency (RF) wave, has emerged to be a promising technology for tackling this challenge. However, the contemporary BackCom has several major limitations, such as short transmission range, low data rate, and uni-directional information transmission. In this article, we present an overview of the next generation BackCom by discussing basic principles, system and network architectures and relevant techniques. Lastly, we describe the IoT application scenarios with the next generation BackCom.
Preoperative Computed Tomographic Angiogram for Deep Inferior Epigastric Artery Perforator Flap Breast Reconstruction

Precision in preoperative evaluation of the abdominal wall vascular anatomy is of utmost importance in successful planning and execution of perforator ﬂap surgery for breast reconstruction after mastectomy. We performed a study in 357 patients scheduled for deep inferior epigastric artery perforator (DIEAP) ﬂap breast reconstruction to review our 5-year experience with the technique we developed based on our previous research conﬁrming accuracy of a computed tomographic (CT) angiogram (multidetector row computed tomography [MDCT]) in preoperative planning of abdominal perforator ﬂap surgery. Images obtained from the radiological study were used to create an accurate map of dominant abdominal perforators of the deep inferior epigastric artery, showing their location, size, and anatomic considerations of relevance for the preoperative ﬂap design. Anatomic dissection of all perforators was performed in the ﬁrst 36 cases to compare the data with preoperative MDCT ﬁndings. In the following 321 patients, the dominant perforator was chosen solely on the basis of MDCT and dissected directly. Exact correlation between surgical and radiological results was found in the ﬁrst 36 cases. A signiﬁcant reduction in average operating time and postoperative complications was noted in the following 321 patients. CT angiogram provides important preoperative information on inferior abdominal wall vascular anatomy, facilitating DIEAP ﬂap harvest, saving operative time, and reducing complications and costs. It proved to be an invaluable tool in the preoperative algorithm for DIEAP ﬂap breast reconstruction.
An asymmetric Lyapunov function for linear systems with asymmetric actuator saturation

This paper proposes an asymmetric Lyapunov function approach to the estimation of the domain of attraction and the domain with a guaranteed regional L2 gain for a linear system subject to asymmetric actuator saturation. Depending on the sign of each of the m inputs, the input space is divided into 2m regions. In each region, the linear system with asymmetrically saturated inputs can be expressed as a linear system with symmetric dead zone. A quadratic function of the augmented state vector containing the system state and the symmetric dead‐zone function is constructed for each region. From these quadratic functions, an asymmetric Lyapunov function is composed. Furthermore, based on the special properties of the intersections between regions, 2 generalized asymmetric Lyapunov functions are proposed that lead to reduced conservativeness. A set of conditions are established under which the level sets of these asymmetric Lyapunov functions are contractively invariant and are thus estimates of the domain of attraction. Another set of conditions are derived under which the level sets are subsets of the domain with a guaranteed regional L2 gain. Based on these conditions, LMI‐based optimization problems are formulated and solved to obtain the largest level sets as the estimates of the domain of attraction and of the domain with a guaranteed regional L2 gain. Simulation results demonstrate the effectiveness of the proposed approach.
Finite Element Methods for 1D Boundary Value Problems

The finite element (FE) method was developed to solve complicated problems in engineering, notably in elasticity and structural mechanics modeling involving elliptic PDEs and complicated geometries. But nowadays the range of applications is quite extensive. We will use the following 1D and 2D model problems to introduce the finite element method 1D: − u′′(x) = f(x) , 0 < x < 1 , u(0) = 0 , u(1) = 0 ; 2D: − (uxx + uyy) = f(x, y) , (x, y) ∈ Ω, u(x, y) ∣∣ ∂Ω = 0 ,
Data Analysis and Graphics Using R: An Example-Based Approach

Discover what you can do with R! Introducing the R system, covering standard regression methods, then tackling more advanced topics, this book guides users through the practical, powerful tools that the R system provides. The emphasis is on hands-on analysis, graphical display, and interpretation of data. The many worked examples, from real-world research, are accompanied by commentary on what is done and why. The companion website has code and data sets, allowing readers to reproduce all analyses, along with solutions to selected exercises and updates. Assuming basic statistical knowledge and some experience with data analysis (but not R), the book is ideal for research scientists, final-year undergraduate or graduate-level students of applied statistics, and practicing statisticians. It is both for learning and for reference. This third edition takes into account recent changes in R, including advances in graphical user interfaces (GUIs) and graphics packages. The treatments of the random forests methodology and one-way analysis have been extended. Both text and code have been revised throughout, and where possible simplified. New graphs and examples have been added.
Light-matter interaction in nanophotonic structures

• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers.
Lattice-based cryptography - A comparative description and analysis of proposed schemes

The standard public-key cryptosystems used today relies mathematical problems that require a lot of computing force to solve, so much that, with the right parameters, they are computationally unsolvable. But there are quantum algorithms that are able to solve these problems in much shorter time. These quantum algorithms have been known for many years, but have only been a problem in theory because of the lack of quantum computers. But with recent development in the building of quantum computers, the cryptographic world is looking for quantum-resistant replacements for today’s standard public-key cryptosystems. Public-key cryptosystems based on lattices are possible replacements. This thesis presents several possible candidates for new standard public-key cryptosystems, mainly NTRU and ring-LWE-based systems. The latticebased cryptosystems are shown to be very fast and have strong, provable security against quantum computers, but are a lot more complicated than RSA and Diffie-Hellman.
Scheduling coupled-tasks with incompatibility constraint: a bin-packing related problem

We tackle the makespan minimization problem of coupled- tasks in presence of compatibility constraint. In particular, we focus on stretched coupled-tasks, i.e. coupled-tasks having the same sub-tasks execution time and idle time duration. We show the relationship with bin packing problems for some configurations, and study several problems in framework of complexity and approximation for which the topology of the compatibility graph is specific (star, chain, bipartite, . . .).
Finite-time path following control for a stratospheric airship with input saturation and error constraint

ABSTRACT This paper addresses the finite-time path following control problem for an under-actuated stratospheric airship with input saturation, error constraint, and external disturbances. To handle the adverse effect of input saturation, anti-windup compensators are employed and finite-time convergence of the saturated control solution is established. Error constraints of airship position and attitude are handled by incorporating a tan-type barrier Lyapunov function (TBLF) in guidance and attitude control schemes. Backstepping design is presented with the anti-windup compensators, the TBLF, and nonlinear disturbance observers which estimate the external disturbances. Stability analysis shows that the tracking errors of the airship position converge into a small set around zero within finite-time, the constrained requirements on the airship position and attitude are not violated during operation, and all closed-loop signals are guaranteed to be uniformly ultimately bounded. Compared with the conventional control scheme, simulation results illustrate that the proposed finite-time controller offers a faster convergence rate and a higher path following accuracy for the stratospheric airship.
Toward Improving Ice Water Content and Snow-Rate Retrievals from Radars. Part II: Results from Three Wavelength Radar–Collocated In Situ Measurements and CloudSat–GPM–TRMM Radar Data

AbstractTwo methods for deriving relationships between the equivalent radar reflectivity factor Ze and the snowfall rate S at three radar wavelengths are described. The first method uses collocations of in situ aircraft (microphysical observations) and overflying aircraft (radar observations) from two field programs to develop Ze–S relationships. In the second method, measurements of Ze at the top of the melting layer (ML), from radars on the Tropical Rainfall Measuring Mission (TRMM), Global Precipitation Measurement (GPM), and CloudSat satellites, are related to the retrieved rainfall rate R at the base of the ML, assuming that the mass flux through the ML is constant. Retrievals of R are likely to be more reliable than S because far fewer assumptions are involved in the retrieval and because supporting ground-based validation data are available. The Ze–S relationships developed here for the collocations and the mass-flux technique are compared with those derived from level 2 retrievals from the standar.