Miracle-dz/UniFAR-FTUs huggingface dataset:
Influence of Landscape Pattern Changes on Runoff and Sediment in the Dali River Watershed on the Loess Plateau of China

The large-scale Grain for Green project on the Loess Plateau of China significantly changes the regional landscape pattern, which has a profound impact on runoff and sediment process. The relationship between landscape pattern and runoff and sediment in the Dali River watershed is established. Cropland and grassland areas in the watershed show a downward trend, whereas the woodland and building land increases continuously. The Number of Patches (NP), Patch Density (PD) and Landscape Diversity (SHDI), Landscape Division Index (DIVISION) increase significantly. The Largest Patch Index (LPI) and Landscape Shape Index (LSI) show overall change in the rising and falling rule. The Contagion Index (CONTAG) and Cohesion Index (COHESION) first increase, then decrease. A decreasing trend is shown by runoff and sediment. The annual runoff in 2010 was 29.76% less than in 1960, and the annual sediment load was 84.87% less. NP, PD, COHESION, DIVISION and SHDI have a significant negative correlation with runoff and sediment, and CONTAG and runoff sediment are positively related. This study could provide theoretical support for guiding watershed land use and landscape planning to effectively reduce runoff and sediment transport.
High expression of NUCB2 promotes papillary thyroid cancer cells proliferation and invasion

Background NUCB2, a novel multifunctional protein containing several functional domains, was newly found to play important roles in many cancers, but its role in papillary thyroid cancer (PTC) is not well investigated. Therefore, our study was performed to explore the functions of NUCB2 in PTC. Methods NUCB2 protein level was analyzed by immunohistochemistry. Data analyses were made by performing chi-squared test. Quantitative reverse-transcription PCR, Western blot, colony formation, MTT, and transwell invasion assays were performed to test the expression levels and functions of NUCB2 in PTC. Results In PTC tissues, NUCB2 protein expression level was positively correlated with extrathyroidal extension, TNM stage, and tumor size of PTC patients. In vitro experiments demonstrated that knockdown of NUCB2 using specific shRNA for NUCB2 significantly impaired cell proliferation and invasion of PTC cell lines. In vivo, silencing of NUCB2 inhibited the growth of tumors in mice. Conclusion These results suggested a novel function of NUCB2 in the process of proliferation and invasion in PTC. NUCB2 may be considered a potent prognostic factor in PTC.
LegoSNARK: Modular Design and Composition of Succinct Zero-Knowledge Proofs

We study the problem of building non-interactive proof systems modularly by linking small specialized "gadget" SNARKs in a lightweight manner. Our motivation is both theoretical and practical. On the theoretical side, modular SNARK designs would be flexible and reusable. Also, previous works (e.g., Geppetto) consider They have been successfully employed in previous works. (cite prev papers ). These approaches, however, tend to be ad-hoc and to reinventing the wheel. We propose to fill this gap. In practice, specialized SNARKs have the potential to be more efficient than general-purpose schemes, on which most existing works have focused. If a computation naturally presents different "components" (e.g. one arithmetic circuit and one boolean circuit), a general-purpose scheme would homogenize them to a single representation with a subsequent cost in performance. Through a modular approach one could instead exploit the nuances of a computation and choose the best gadget for each component. Our contribution is LegoSNARK, a "toolbox" (or framework) for commit-and-prove zkSNARKs (CP-SNARKs) that includes: 1) General composition tools: build new CP-SNARKs from proof gadgets for basic relationssimply. Formalize notion of cc-SNARK. 2) A "lifting" tool: a compiler to add commit-and-prove capabilities to a broad class of existing zkSNARKsefficiently. This makes them interoperable (linkable) within the same computation. For example, one QAP-based scheme can be used prove one component; another GKR-based scheme can be used to prove another. 3) A collection of succinct proof gadgets for a variety of relations. Additionally, through our framework and gadgets, we are able to obtain new succinct proof systems. Notably: -- LegoGro16, a commit-and-prove version of Groth16 zkSNARK, that operates over data committed with a classical Pedersen vector commitment, and that achieves a 5000× speedup in proving time. -- LegoUAC, a pairing-based SNARK for arithmetic circuits that has a universal, circuit-independent, CRS, and proving time linear in the number of circuit gates (vs. the recent scheme of Groth et al. (CRYPTO'18) with quadratic CRS and quasilinear proving time). -- LegoMM, a CP-SNARK for matrix multiplication that achieves optimal proving complexity.
Probabilistic Temporal Logic over Finite Traces (Technical Report)

Temporal logics over finite traces have recently gained attention due to their use in real-world applications, in particular in business process modelling and planning. In real life, processes contain some degree of uncertainty that is impossible to handle with classical logics. We propose a new probabilistic temporal logic over finite traces based on superposition semantics, where all possible evolutions are possible, until observed. We study the properties of the logic and provide automata-based mechanisms for deriving probabilistic inferences from its formulas. We ground the approach in the context of declarative process modelling, showing how the temporal patterns used in Declare can be lifted to our setting, and discussing how probabilistic inferences can be exploited to provide key offline and runtime reasoning tasks, and how to discover probabilistic Declare patterns from event data by minor adjustments to existing discovery algorithms.
Anomalous Look at Provable Security

We observe that if a party breaks one cryptographic assumption, construction, or system, then it can reduce the trust in any other. This highlights a shortcoming in the common interpretation of the provable security paradigm that may lead to unwarranted trust. This may have practical implications. Then we argue that the provable security paradigm remains sound in applications provided that assumptions are made with care. We also strengthen the argument for the study of combiners and constructions based on generic assumptions, and transparent standardization processes in applied cryptography.
RocketRML - A NodeJS Implementation of a Use Case Specific RML Mapper

The creation of Linked Data from raw data sources is, in theory, no rocket science (pun intended). Depending on the nature of the input and the mapping technology in use, it can become a quite tedious task. For our work on mapping real-life touristic data to the this http URL vocabulary we used RML but soon encountered, that the existing Java mapper implementations reached their limits and were not sufficient for our use cases. In this paper we describe a new implementation of an RML mapper. Written with the JavaScript based NodeJS framework it performs quite well for our uses cases where we work with large XML and JSON files. The performance testing and the execution of the RML test cases have shown, that the implementation has great potential to perform heavy mapping tasks in reasonable time, but comes with some limitations regarding JOINs, Named Graphs and inputs other than XML and JSON - which is fine at the moment, due to the nature of the given use cases.
Lightweight Post-Quantum-Secure Digital Signature Approach for IoT Motes

Internet-of-Things (IoT) applications often require constrained devices to be deployed in the field for several years, even decades. Protection of these tiny motes is crucial for end-to-end IoT security. Secure boot and attestation techniques are critical requirements in such devices which rely on public key Sign/Verify operations. In a not-so-distant future, quantum computers are expected to break traditional public key Sign/Verify functions (e.g. RSA and ECC signatures). Hash Based Signatures (HBS) schemes, on the other hand, are promising quantumresistant alternatives. Their security is based on the security of cryptographic hash function which is known to be secure against quantum computers. The XMSS signature scheme is a modern HBS construction with several advantages but it requires thousands of hash operations per Sign/Verify operation, which could be challenging in resource constrained IoT motes. In this work, we investigated the use of the XMSS scheme targeting IoT constrained. We propose a latency-area optimized XMSS Sign or Verify scheme with 128-bit post-quantum security. An appropriate HW-SW architecture has been designed and implemented in FPGA and Silicon where it spans out to 1521 ALMs and 13.5k gates respectively. In total, each XMSS Sign/Verify operation takes 4.8 million clock cycles in our proposed HW-SW hybrid design approach which is 5.35 times faster than its pure SW execution latency on a 32-bit microcontroller.
Prominent Cerebral Amyloid Angiopathy in Transgenic Mice

From the Experimental Genetics Group,* Center for Human Genetics, Flemish Institute for Biotechnology, the Center for Transgene Technology and Gene Therapy, Center for Molecular and Vascular Biology, and Genetic Epidemiology, K.U. Leuven, Leuven, Belgium; the Janssen Research Foundation, Beerse, Belgium; Innogenetics, Gent, Belgium; Institut de Pharmacology Moléculaire et Cellulaire/CNRS, Valbonne, France; and the Department of Pathology,** University Hospitals Leuven, Leuven, Belgium
Malicious Domain Names Detection Algorithm Based on N-Gram

Malicious domain name attacks have become a serious issue for Internet security. In this study, a malicious domain names detection algorithm based on N-Gram is proposed. The top 100,000 domain names in Alexa 2013 are used in the N-Gram method. Each domain name excluding the top-level domain is segmented into substrings according to its domain level with the lengths of 3, 4, 5, 6, and 7. The substring set of the 100,000 domain names is established, and the weight value of a substring is calculated according to its occurrence number in the substring set. To detect a malicious attack, the domain name is also segmented by the N-Gram method and its reputation value is calculated based on the weight values of its substrings. Finally, the judgment of whether the domain name is malicious is made by thresholding. In the experiments on Alexa 2017 and Malware domain list, the proposed detection algorithm yielded an accuracy rate of 94.04%, a false negative rate of 7.42%, and a false positive rate of 6.14%. The time complexity is lower than other popular malicious domain names detection algorithms.
Characterization of the Vibrio cholerae Phage Shock Protein Response

Vibrio cholerae leads a dual life cycle, as it can exist in the aquatic environment and colonize the human small intestine. In both life cycles, V. cholerae encounters a variety of stressful conditions, including fluctuating pH and temperature and exposure to other agents that may negatively affect cell envelope homeostasis. The phage shock protein (Psp) response is required to sense and respond to such insults in other bacteria but has remained unstudied in V. cholerae. Interestingly, the Psp system has protein homologs, principally, PspA, in a number of bacterial clades as well as in archaea and plants. Therefore, our findings not only fill a gap in knowledge about an unstudied extracytoplasmic stress response in V. cholerae, but also may have far-reaching implications. ABSTRACT The phage shock protein (Psp) system is a stress response pathway that senses and responds to inner membrane damage. The genetic components of the Psp system are present in several clinically relevant Gram-negative bacteria, including Vibrio cholerae. However, most of the current knowledge about the Psp response stems from in vitro studies in Escherichia coli and Yersinia enterocolitica. In fact, the Psp response in V. cholerae has remained completely uncharacterized. In this study, we demonstrate that V. cholerae does have a functional Psp response system. We found that overexpression of GspD (EpsD), the type II secretion system secretin, induces the Psp response, whereas other V. cholerae secretins do not. In addition, we have identified several environmental conditions that induce this stress response. Our studies on the genetic regulation and induction of the Psp system in V. cholerae suggest that the key regulatory elements are conserved with those of other Gram-negative bacteria. While a psp null strain is fully capable of colonizing the infant mouse intestine, it exhibits a colonization defect in a zebrafish model, indicating that this response may be important for disease transmission in the environment. Overall, these studies provide an initial understanding of a stress response pathway that has not been previously investigated in V. cholerae. IMPORTANCE Vibrio cholerae leads a dual life cycle, as it can exist in the aquatic environment and colonize the human small intestine. In both life cycles, V. cholerae encounters a variety of stressful conditions, including fluctuating pH and temperature and exposure to other agents that may negatively affect cell envelope homeostasis. The phage shock protein (Psp) response is required to sense and respond to such insults in other bacteria but has remained unstudied in V. cholerae. Interestingly, the Psp system has protein homologs, principally, PspA, in a number of bacterial clades as well as in archaea and plants. Therefore, our findings not only fill a gap in knowledge about an unstudied extracytoplasmic stress response in V. cholerae, but also may have far-reaching implications.
mTOR inhibition affects Yap1-β-catenin-induced hepatoblastoma growth and development

Hepatoblastoma (HB) is the most common pediatric liver malignancy. Around 80% of HB demonstrate simultaneous activation of β-catenin and Yes-associated protein 1 (Yap1). The mechanism by which these signaling pathways contribute to HB pathogenesis remain obscure. Recently, mTORC1 activation was reported in human HB cells and in a murine HB model driven by β-catenin and Yap1. Here, we directly investigate the therapeutic impact of mTOR inhibition following HB development in the Yap1-β-catenin model. HB were established by hydrodynamic tail vein injection of Sleeping Beauty transposase and plasmids coding for ΔN90-β-catenin and S127A-Yap1. Five weeks after injection, when HB were evident, mice were randomized into Rapamycin diet-fed or basal-diet-fed groups for 5-weeks. Tumor growth was monitored via ultrasound imaging and mice in both groups were euthanized after 5-weeks for molecular analysis. Transcriptomic analysis showed a strong correlation in gene expression between HB in the Yap1-β-catenin model and HB patient cohorts. Rapamycin treatment decreased HB burden, almost normalizing liver weight to body weight ratio. Ultrasound imaging showed reduction in tumor growth over the duration of Rapamycin treatment as compared to controls. Majority of HB in the controls exhibited crowded fetal or embryonal histology, while remnant tumors in the experimental group showed well-differentiated fetal morphology. Immunohistochemistry confirmed inhibition of mTORC1 in the Rapamycin group. Thus, Rapamycin reduces HB in a clinically relevant model driven by β-catenin and Yap1, supporting use of mTORC1 inhibitors in their therapy. We also show the utility of standard and 3D ultrasound imaging for monitoring liver tumors in mice.
Objectively-Measured Neighbourhood Attributes as Correlates and Moderators of Quality of Life in Older Adults with Different Living Arrangements: The ALECS Cross-Sectional Study

With an ageing world population, preservation of older adults’ health and quality of life (QoL) is paramount. Due to lower levels of physical functionality, older adults are particularly susceptible to local environment influences, especially those living alone and lacking family support. Using generalised additive mixed models, we examined associations and confounder-adjusted associations between objectively-measured neighbourhood attributes and QoL domains in 909 Hong Kong Chinese elderly community dwellers. Most examined neighbourhood attributes were not associated with QoL in the whole sample. Neighbourhood residential and entertainment density was curvilinearly and/or linearly related to specific QoL domains. Number of parks was negatively associated with social QoL and having well-treed parks with higher levels of social QoL. Older adults living alone in neighbourhoods with poor access to destinations and few activities in parks showed lower environmental and/or social QoL than their counterparts. Neighbourhood built environment characteristics do not seem to impact Hong Kong older adults’ physical and psychological QoL. Medium-to-high density, well-ordered neighbourhoods with optimal mixes of well-treed public open spaces and services meeting their daily needs may significantly contribute to social and environmental QoL in this population and appear particularly important to those living alone.
Pretesting a political skill scale in a sample of teacher-leaders from polytechnics in northeast Nigeria

Although the Political Skill Inventory (PSI) is the benchmark measure of the political skill construct, the existence and frequent use of other measures suggest that the PSI fails to cover the content domain of the construct comprehensively. This study utilised the extant political skill measures in developing a robust and parsimonious political skill scale for assessing the political sensitivity of teacher-leaders in higher education. Cognitive tests, behaviour coding and respondent debriefing were conducted to evaluate a 38-item pool on political skill in a sample of 36 teacher-leaders drawn from nine polytechnics situated in Northeast Nigeria. The scale's interrater agreement was computed using Fleiss' κ statistic based on categorical data from five expert reviews. The results of our analyses revealed a 15-item Political Skill Scale (PSS) that reflects the social competence teacher-leaders need in performing the largely voluntary roles of teacher leadership. This work contributes towards contextual mapping of the political skill construct in an African setting. It also offers a new political skill measure.
Population Dynamics and Biological Patterns of Commercial Crustacean Species in the Antalya Bay, Eastern Mediterranean Sea: III. The Giant Red Shrimp Aristaeomorpha

Current study focuses on the population dynamic and pattern of the giant red shrimp A. foliacea as the third part of series on commercial crustaceans in the study area. Uniand multi variate analysis on the spatio-temporal distributions of the density, biomass, reproduction pattern, age and growth parameters, mortality and the exploitation status of the stock of the species distributed in the area were evaluated. The highest average value of BI (79.9 kg km-2) and DTOT (5105 n km-2), were estimated from the 500 m stratum. Mature individuals distributed in deeper than 400 m, and the recruits were available between 400-699 m depth. The gonadosomatic index of A. foliacea females showed a sharp increase between May and August, and the first maturation size (FMS) was estimated ≈ 39 mm (1.8 age). Examining the general pattern of the frequency distributions revealed maximum 3-year modes for males while females displayed 5year modes. Since current level of fishing mortality (Fcur=0.848 year-1) is higher than reference point (F0.1=0.540 year−1) and too close to Fmax (=0.960 year-1), the stock of A. foliacea females had a potential for the growth overfishing.
Prebiotics: Definition, Types, Sources, Mechanisms, and Clinical Applications

Prebiotics are a group of nutrients that are degraded by gut microbiota. Their relationship with human overall health has been an area of increasing interest in recent years. They can feed the intestinal microbiota, and their degradation products are short-chain fatty acids that are released into blood circulation, consequently, affecting not only the gastrointestinal tracts but also other distant organs. Fructo-oligosaccharides and galacto-oligosaccharides are the two important groups of prebiotics with beneficial effects on human health. Since low quantities of fructo-oligosaccharides and galacto-oligosaccharides naturally exist in foods, scientists are attempting to produce prebiotics on an industrial scale. Considering the health benefits of prebiotics and their safety, as well as their production and storage advantages compared to probiotics, they seem to be fascinating candidates for promoting human health condition as a replacement or in association with probiotics. This review discusses different aspects of prebiotics, including their crucial role in human well-being.
A Skeleton-Bridged Deep Learning Approach for Generating Meshes of Complex Topologies From Single RGB Images

This paper focuses on the challenging task of learning 3D object surface reconstructions from single RGB images. Existing methods achieve varying degrees of success by using different geometric representations. However, they all have their own drawbacks, and cannot well reconstruct those surfaces of complex topologies. To this end, we propose in this paper a skeleton-bridged, stage-wise learning approach to address the challenge. Our use of skeleton is due to its nice property of topology preservation, while being of lower complexity to learn. To learn skeleton from an input image, we design a deep architecture whose decoder is based on a novel design of parallel streams respectively for synthesis of curve- and surface-like skeleton points. We use different shape representations of point cloud, volume, and mesh in our stage-wise learning, in order to take their respective advantages. We also propose multi-stage use of the input image to correct prediction errors that are possibly accumulated in each stage. We conduct intensive experiments to investigate the efficacy of our proposed approach. Qualitative and quantitative results on representative object categories of both simple and complex topologies demonstrate the superiority of our approach over existing ones. We will make our ShapeNet-Skeleton dataset publicly available.
QuickStop

This paper combines data-driven and model-driven methods for real-time misinformation detection. Our algorithm, named QuickStop, is an optimal stopping algorithm based on a probabilistic information spreading model obtained from labeled data. The algorithm consists of an offline machine learning algorithm for learning the probabilistic information spreading model and an online optimal stopping algorithm to detect misinformation. The online detection algorithm has both low computational and memory complexities. Our numerical evaluations with a real-world dataset show that QuickStop outperforms existing misinformation detection algorithms in terms of both accuracy and detection time (number of observations needed for detection). Our evaluations with synthetic data further show that QuickStop is robust to (offline) learning errors.