Miracle-dz/UniFAR-FTUs huggingface dataset:
This paper is included in the Proceedings of the 32nd USENIX Security Symposium.

While offering many advantages during software process, the practice of using multiple programming languages in constructing one software system also introduces additional security vulnerabilities in the resulting code. As this practice becomes increasingly prevalent, securing multi-language systems is of pressing criticality. Fuzzing has been a powerful security testing technique, yet existing fuzzers are commonly limited to single-language software. In this paper, we present P OLY F UZZ , a greybox fuzzer that holistically fuzzes a given multi-language system through cross-language coverage feedback and explicit modeling of the semantic relationships between (various segments of) program inputs and branch predicates across languages. P OLY F UZZ is extensible for supporting multilingual code written in different language combinations and has been implemented for C, Python, Java, and their combinations. We evaluated P OLY F UZZ versus state-of-the-art single-language fuzzers for these languages as baselines against 15 real-world multi-language systems and 15 single-language benchmarks. P OLY F UZZ achieved 25.3–52.3% higher code coverage and found 1–10 more bugs than the baselines against the multi-lingual programs, and even 10-20% higher coverage against the single-language benchmarks. In total, P OLY F UZZ has enabled the discovery of 12 previously unknown multilingual vulnerabilities and 2 single-language ones, with 5 CVEs assigned. Our results show great promises of P OLY F UZZ for cross-language fuzzing, while justifying the strong need for
Diversidad de mamíferos terrestres en un área privada de conservación en México

En Mexico han surgido diversas estrategias para la conservacion de la biodiversidad, una de ellas es el establecimiento de Areas Privadas de Conservacion (APC), las cuales aportan servicios ambientales por la diversidad biologica que resguardan, como los mamiferos, que son un grupo biologico importante por la cantidad de procesos ecologicos en los que intervienen. El objetivo del trabajo fue analizar la diversidad de mamiferos en tres sitios de la APC Talhpan, ubicada en el municipio de Papantla, Veracruz, Mexico. Se utilizaron los metodos de registro de trampas camara, observacion directa, trampas Sherman, trampas Pitfall y rastros. Se registraron 17 especies, que pertenecen a 16 generos, 12 familias y seis ordenes, siendo la vegetacion de selva mediana subperennifolia la que presento la mayor riqueza de especies. Se encontro que la diversidad beta fue la mas importante para explicar la riqueza total debido al alto recambio de especies entre sitios. Las trampas camara fue el metodo con el que se obtuvo el mayor registro de especies. Se registraron las especies Cryptotis parvus, Potos avus y Tamandua mexicana , las cuales se encuentran en alguna categoria de conservacion en la NOM-059-SEMARNAT-2010. A pesar de la baja extension territorial, la mastofauna no voladora de Talhpan representa 50 % de lo registrado a nivel regional, lo que demuestra el potencial de conservacion de este tipo de areas para el mantenimiento de la diversidad de mamiferos en el norte de Veracruz, Mexico.
This paper is included in the Proceedings of the 32nd USENIX Security Symposium.

Users today expect more security from services that handle their data. In addition to traditional data privacy and integrity requirements, they expect transparency , i.e., that the service’s processing of the data is veriﬁable by users and trusted auditors. Our goal is to build a multi-user system that provides data privacy, integrity, and transparency for a large number of operations, while achieving practical performance. To this end, we ﬁrst identify the limitations of existing approaches that use authenticated data structures . We ﬁnd that they fall into two categories: 1) those that hide each user’s data from other users, but have a limited range of veriﬁable operations (e.g., CONIKS, Merkle 2 , and Proofs of Liabili-ties), and 2) those that support a wide range of veriﬁable operations, but make all data publicly visible (e.g., IntegriDB and FalconDB). We then present TAP to address the above limitations. The key component of TAP is a novel tree data structure that supports efﬁcient result veriﬁcation, and relies on independent audits that use zero-knowledge range proofs to show that the tree is constructed correctly without revealing user data. TAP supports a broad range of veriﬁable operations, including quantiles and sample standard deviations. We conduct a comprehensive evaluation of TAP, and compare it against two state-of-the-art baselines, namely IntegriDB and Merkle 2 , showing that the system is practical at scale.
Eddy Cancellation of the Ekman Cell in Subtropical Gyres

AbstractThe presence of large-scale Ekman pumping associated with the climatological wind stress curl is the textbook explanation for low biological activity in the subtropical gyres. Using an idealized, eddy-resolving model, it is shown that Eulerian-mean Ekman pumping may be opposed by an eddy-driven circulation, analogous to the way in which the atmospheric Ferrel cell and the Southern Ocean Deacon cell are opposed by eddy-driven circulations. Lagrangian particle tracking, potential vorticity fluxes, and depth–density streamfunctions are used to show that, in the model, the rectified effect of eddies acts to largely cancel the Eulerian-mean Ekman downwelling. To distinguish this effect from eddy compensation, it is proposed that the suppression of Eulerian-mean downwelling by eddies be called “eddy cancellation. ”
Classi ﬁ cation of acute pancreatitis — 2012: revision of the Atlanta classi ﬁ cation and de ﬁ nitions by international consensus

Background and objective The Atlanta classi ﬁ cation of acute pancreatitis enabled standardised reporting of research and aided communication between clinicians. De ﬁ ciencies identi ﬁ ed and improved understanding of the disease make a revision necessary. Methods A web-based consultation was undertaken in 2007 to ensure wide participation of pancreatologists. After an initial meeting
Proteininnehåll i svensk spannmål -användning och betydelse för olika djurslag

Spannmal utgor vanligen mellan 50 % och 80 % av kraftfodret till livsmedelsproducerande djur, det ses framst som ett energifodermedel men spannmalen tillfor aven en betydande del raprotein till foderstaten. Behovet av att anvanda importerat sojamjol med dokumenterat negativa miljoeffekter kan minskas genom att anvanda inhemsk spannmal med hog raproteinhalt. Raproteinhalten i spannmal styrs bland annat av nederbordsmangd under vaxtsasongen, torrt vader ger lagre avkastning och mer protein i karnan jamfort med blota ar da avkastningen okar men raproteinhalten i karnan blir lagre. Att godsla med maximal kvavemangd uppdelad i tva givor ger hogre raproteinhalt an att enbart ge en giva. Till vissa djurslag kan det vara aktuellt med behandling av spannmal for att oka nyttjandegraden. Ett exempel pa detta ar expandering av spannmal till idisslare for att oka andelen vamstabilt protein. Extruderad spannmal till gris har resulterat i hogre proteinsmaltbarhet och battre foderutnyttjande. For samtliga behandlingar galler att det ar ekonomin som styr i slutandan, nyttan av behandlingen maste vara storre an okningen i produktionskostnad for att det ska vara forsvarbart att anvanda metoden kommersiellt.
Vascular Flora and Rare Species of New River Gorge

New River Gorge National River includes 85.3 km (53.0 mi) of the New River and occupies over 25,123 ha (62,080 ac) in Summers, Raleigh, and Fayette Counties of southern West Virginia. The vascular flora was surveyed from September 1992 through October 1994. A total of 909 taxa of vascular plants representing 448 genera and 131 families was recorded. Seventy-nine percent of the taxa recorded are native to West Virginia. Currently 1342 vascular plant taxa have been documented from the New River Gorge as a result of this work as well as the works of Grafton and McGraw, and Phillips. A total of 27 taxa reported in this study have some special designation of rarity in West Virginia. Of the 27 rare taxa, 13 are new records for the New River Gorge. Fifty new populations of these rare taxa were discovered. Eleven natural plant communities were described according to the dominant species as well as certain recurring physical features. A comparison of the flora of New River Gorge with the flora of other river gorges in the central Appalachian Mountains indicates that New River Gorge appears to be, floristically, one of the most diverse river gorges in the central and southern Appalachians.
Fourth-order NMO velocity for P-waves in layered orthorhombic media vs offset-azimuth

We present a new method for computing the fourth-order, azimuthally dependent normal moveout (NMO) velocity function in the phase-azimuth domain,considering quasi compressional waves in horizontally layered orthorhombic media without making any assumption of weak anisotropy. The layers share a common horizontal plane of symmetry but the orientations of the vertical (orthogonal) planes of symmetry are different. Note that although each layer is considered orthorhombic, the corresponding global effective model has lower symmetry (e.g., monoclinic, with a horizontal plane of symmetry). Assuming horizontally layered media, the magnitude h p and the azimuth phs  of
Recherche et évaluation d'une nouvelle architecture de transistor bipolaire à hétérojonction Si/SiGe pour la prochaine génération de technologie BiCMOS

L'objectif principal de cette these est de proposer et d'evaluer une nouvelle architecture de Transistor Bipolaire a Heterojonction (TBH) Si/SiGe s’affranchissant des limitations de l'architecture conventionnelle DPSA-SEG (Double-Polysilicium Self-Aligned, Selective Epitaxial Growth) utilisee dans la technologie 55 nm Si/SiGe BiCMOS (BiCMOS055) de STMicroelectronics. Cette nouvelle architecture est concue pour etre compatible avec la technologie 28-nm FD-SOI (Fully Depleted Si-licon On Insulator), avec pour objectif d'atteindre la performance de 400 GHz de fT et 600 GHz de fMAX dans ce noeud. Pour atteindre cet objectif ambitieux, plusieurs etudes complementaires ont ete menees: 1/ l'exploration et la comparaison de differentes architectures de TBH SiGe, 2/ l'etalonnage TCAD en BiCMOS055, 3/ l'etude du budget thermique induit par la fabrication des technologies BiCMOS, et finalement 4/ l'etude d'une architecture innovante et son optimisation. Les procedes de fabrication ainsi que les modeles physiques (comprenant le retrecissement de la bande interdite, la vitesse de saturation, la mobilite a fort champ, la recombinaison SRH, l'ionisation par impact, la resistance distribuee de l'emetteur, l'auto-echauffement ainsi que l’effet tunnel induit par piegeage des electrons), ont ete etalonnes dans la technologie BiCMOS055. L'etude de l’impact du budget thermique sur les performances des TBH SiGe dans des noeuds CMOS avances (jusqu’au 14 nm) montre que le fT maximum peut atteindre 370 GHz dans une prochaine generation ou les profils verticaux du BiCMOS055 seraient ‘simplement’ adaptes a l’optimisation du budget thermique total. Enfin, l'architecture TBH SiGe EXBIC, prenant son nom d’une base extrinseque epitaxiale isolee du collecteur, est choisie comme la candidate la plus prometteuse pour la prochaine generation de TBH dans une technologie BiCMOS FD-SOI dans un noeud 28 nm. L'optimisation en TCAD de cette architecture resulte en des performances electriques remarquables telles que 470 GHz fT et 870 GHz fMAX dans ce noeud technologique.
A rare epilepsy phenotype in Gabriele-de Vries syndrome: A new case and literature review

Gabriele-de Vries syndrome (GADEVS) is an extremely rare genetic syndrome characterized by mild-to-profound intellectual disability/developmental delay and a wide spectrum of clinical features. Herein, we report a case involving a rare early childhood epilepsy phenotype in a patient diagnosed with GADEVS based on the typical clinical features and the identification of a pathologic variant of the Yin Yang 1 (YY1) gene. A 3-year-old girl with global developmental delay, failure to thrive, and facial dysmorphism was referred to our rare genetic clinic. She also presented with cognitive impairment, hypotonia, hyperlaxity, strabismus, and autistic features. Whole genome sequencing identified a de novo heterozygous missense variant in the YY1 (c.1130A>G; p.His377Arg) gene. Notably, she developed afebrile seizures with abnormal electroencephalogram in early childhood. Currently, she has been seizure-free for more than 2 years with valproic acid. This case expands the epilepsy phenotypic features of GADEVS and reviews the association between the loss-of-function of the YY1 gene and epileptogenesis and possible treatment options.
Information and modern technologies as an asymmetric threat to state security. Philosophical perspective.

Rapid evolution and progress in computer sciences present new determinants for informational technologies. The universal knowledge based on Mathematics and Computer science exploring processes in information dissemination, should be persistently analyzed. Its focus on practical applicability presents various problems and new possibilities for the field of Security Studies, adding new categories to its research interests, that should be constantly defined and redefined. And what is the objective of the article.The descriptive methodology used in the article is limited to a presentation of philosophical categories, as it allows for defining of chosen problems that correspond, upon analysis, to asymmetric threats mounting from IT evolution.The predicaments of technological evolution in view o the categories arising through philosophical focus, presented here by authors and as applied in Security studies, point to definitions and associated categories of potential dangers that IT progress may entail. Hence, the presentation of three categories analyzed – information, communication, asymmetric threat, and the following analysis of categories of threats with asymmetric values, as a potential nuisance and danger to state security, related to those categories.And as is concluded, the new developments, as discussed in the article, present challenges for state security and are presently evolving. Hence, those should be constantly categorized and associated with security predicaments – active and potential.
Analysis and identification of phenolic compounds with antiproliferative activity from Chinese olive (Canarium album L.) fruit extract by HPLC-DAD-SPE-TT-NMR

Chinese olives (Canarium album L.) are rich in phenolic compounds, exhibiting a broad spectrum of potential clinical applications. This study is the first report on the isolation and elucidation of bioactive compounds with high antiproliferative activity from the ethyl acetate fraction of a Chinese olive fruit methanolic extract (CO-EtOAc). We used the WST-1 assay to determine which subfractions of CO-EtOAc had significant antiproliferative activity using the murine colon cancer cell line CT26. Subsequently, the functional compounds were characterized by the hyphenated technique and high-performance liquid chromatography-diode array detector-solid phase extraction-transfer tube-nuclear magnetic resonance (HPLC-DAD-SPE-TT-NMR). Thirteen phenolic constituents were identified from the antiproliferation-enhancing subfractions of CO-EtOAc, including two new compounds, 2,4-didehydrochebulic acid 1,7-dimethyl ester (5) and 1-hydroxybrevifolin (7), which were further purified and found to exhibit marked antiproliferative activity. Chebulic acid dimethyl ester (2), which was isolated from C. album for the first time, also possessed antiproliferative activity.
VYSOKÉ UČENÍ TECHNICKÉ

The main aim of the thesis is to provide a comprehensive overview of technical prognostics, which is utilized in the condition based maintenance, based on continuous device monitoring and remaining useful life estimation, especially in the field of complex equipment and machinery. Nowadays technical prognostics is still evolving discipline with limited number of real applications and is not so well developed as technical diagnostics, which is fairly well mapped and deployed in real systems.
Трансформация экосистем

The content of total mercury in organs and tissues (brain, muscles, kidneys, and liver) has been studied in common shrew and in common vole, living in different geomorphological regions of the Vologda Oblast. Mercury content is statistically significantly higher (2–5 times) in common shrew than in common vole. In common shrew, average mercury content (μg/g dry weight) decreases in the series: kidneys (0.158 ± 0.016) > liver (0.086 ± 0.01) > muscles (0.084 ± 0.011) > brain (0.059 ± 0.006); in common vole, kidneys (0.026 ± 0.003) > brain (0.024 ±0.004) > muscles (0.016 ±0.003) > liver (0.013 ± 0.002). Mercury content in organs of common shrew and of common vole, caught in the western geomorphological region with high swampiness and a large number of lakes, is statistically significantly higher (2–3 times) comparing to those captured in the eastern geomorphological region with a developed river network.
Microfinance Sustainability in a Digitalised Economy

The study examines microfinance sustainability in a digitalised economy using a panel dataset of 1,314 microfinance banks in Nigeria spanning 2012 to 2020. The results show that digitalisation poses significant threats to microfinance sustainability in Nigeria. The industry presently faces strong competition from commercial banks and Fintech companies, and is characterised by a low capital base, product innovation and market penetration, high transaction costs, and some idiosyncratic risks. The study suggests that microfinance institutions should leverage their large customer base by utilising digital innovations. Regulatory agencies should ensure that Fintech services are adequately regulated, affordable, and easily accessible to microfinance institutions. This would allow the microfinance industry to operate at a reduced transaction cost, increase its outreach to the poor, minimise risks and enhance sustainability.
Evaluating effectiveness of price level targeting in the presence of increasing uncertainty

We argue that understanding the macroeconomic eﬀects of increasing economic uncertainty requires understanding nominal rigidities. In the standard new Keynesian model where all ﬁrms face the same degree of nominal rigidity, heightened uncertainty leads to higher inﬂation and lower output. Introducing heterogeneity in price stickiness, suggested by micro-evidence on prices, changes this prediction of the model. In the new model, increased uncertainty leads to decrease in both inﬂation and output. These eﬀects are more pronounced with higher trend inﬂation. We ﬁnd that price-level targeting is more eﬀective in dealing with the consequences of increasing uncertainty than inﬂation targeting.
Prognostic markers in operated non-small cell lung cancer patients

Aim: The overall survival (OS) of operable lung cancer patients is directly related to clinicopathological features and some laboratory parameters. In this study, we aimed to examine the factors affecting the survival of the operated patients. Materials and Methods: In our study, we retrospectively analyzed 202 operated-on patients diagnosed with lung carcinoma who were in stages I–IIIA at the time of diagnosis. The clinico-pathological features and some laboratory parameters of the patients included in our study were retrospectively analyzed. The effects of those parameters on the overall survival of the patients and their disease-free survival (DFS) have been investigated. Results: The age of the patient at the time of diagnosis and the presence of lympho-vascular invasion (LVI) were found to be statistically significant in terms of OS (p<0.05). Pathological tumor size, LVI, and peri-neural invasion (PNI) parameters were statistically significant for DFS. In addition, neutrophil-lymphocyte ratio (NLR), which is an inflammatory indicator, is an important parameter with statistical significance in terms of both OS and DFS (p<0.05). Conclusion: Our study yielded that LVI and PNI parameters would be beneficial to estimate patients’ survival and prognosis. In addition, NLR was observed to have a statistically significant effect on OS and DFS
Extending simple monotone drawings

We prove the following variant of Levi's Enlargement Lemma: for an arbitrary arrangement $\mathcal{A}$ of $x$-monotone pseudosegments in the plane and a pair of points $a,b$ with distinct $x$-coordinates and not on the same pseudosegment, there exists a simple $x$-monotone curve with endpoints $a,b$ that intersects every curve of $\mathcal{A}$ at most once. As a consequence, every simple monotone drawing of a graph can be extended to a simple monotone drawing of a complete graph. We also show that extending an arrangement of cylindrically monotone pseudosegments is not always possible; in fact, the corresponding decision problem is NP-hard.
The Right Prompts for the Job: Repair Code-Review Defects with Large Language Model

Automatic program repair (APR) techniques have the potential to reduce manual efforts in uncovering and repairing program defects during the code review (CR) process. However, the limited accuracy and considerable time costs associated with existing APR approaches hinder their adoption in industrial practice. One key factor is the under-utilization of review comments, which provide valuable insights into defects and potential fixes. Recent advancements in Large Language Models (LLMs) have enhanced their ability to comprehend natural and programming languages, enabling them to generate patches based on review comments. This paper conducts a comprehensive investigation into the effective utilization of LLMs for repairing CR defects. In this study, various prompts are designed and compared across mainstream LLMs using two distinct datasets from human reviewers and automated checkers. Experimental results demonstrate a remarkable repair rate of 72.97% with the best prompt, highlighting a substantial improvement in the effectiveness and practicality of automatic repair techniques.
Bayesian Inversion, Uncertainty Analysis and Interrogation Using Boosting Variational Inference

Geoscientists use observed data to estimate properties of the Earth's interior. This often requires non‐linear inverse problems to be solved and uncertainties to be estimated. Bayesian inference solves inverse problems under a probabilistic framework, in which uncertainty is represented by a so‐called posterior probability distribution. Recently, variational inference has emerged as an efficient method to estimate Bayesian solutions. By seeking the closest approximation to the posterior distribution within any chosen family of distributions, variational inference yields a fully probabilistic solution. It is important to define expressive variational families so that the posterior distribution can be represented accurately. We introduce boosting variational inference (BVI) as a computationally efficient means to construct a flexible approximating family comprising all possible finite mixtures of simpler component distributions. We use Gaussian mixture components due to their fully parametric nature and the ease with which they can be optimized. We apply BVI to seismic travel time tomography and full waveform inversion, comparing its performance with other methods of solution. The results demonstrate that BVI achieves reasonable efficiency and accuracy while enabling the construction of a fully analytic expression for the posterior distribution. Samples that represent major components of uncertainty in the solution can be obtained analytically from each mixture component. We demonstrate that these samples can be used to solve an interrogation problem: to assess the size of a subsurface target structure. To the best of our knowledge, this is the first method in geophysics that provides both analytic and reasonably accurate probabilistic solutions to fully non‐linear, high‐dimensional Bayesian full waveform inversion problems.