Miracle-dz/UniFAR-FTUs huggingface dataset:
Amyloid β-Peptide Effects on Glucose Regulation Are Dependent on Apolipoprotein E Genotype

Abstract The apolipoprotein E gene (APOE) confers the greatest genetic risk factor for Alzheimer’s disease (AD), wherein the ε4 allele confers an elevated risk compared with the ε3 allele. Biological mechanisms that differ across these alleles have been explored in mouse models wherein the murine Apoe gene has undergone targeted replacement with sequences encoding human ApoE3 or ApoE4 (ApoE-TR mice). Such models have indicated that the two variants of ApoE produce differential effects on energy metabolism, including metabolic syndrome. However, glucose regulation has not been compared in ApoE-TR mice with and without amyloid β-peptide (Aβ) accumulation. We crossed ApoE3-TR and ApoE4-TR mice with a transgenic line that accumulates human Aβ1-42. In male ApoE3-TR mice, introduction of Aβ caused aberrations in glucose tolerance and in membrane translocation of astrocytic glucose transporter 1 (GLUT1). Phosphorylation of Tau at AD-relevant sites was correlated with glucose intolerance. These effects appeared independent of insulin dysregulation and were not observed in females. In ApoE4-TR mice, the addition of Aβ had no significant effects because of a trend toward perturbation of the baseline values.
Natural variation in C. elegans short tandem repeats

Short tandem repeats (STRs) represent an important class of genetic variation that can contribute to phenotypic differences. Although millions of single nucleotide variants (SNVs) and short indels have been identified among wild Caenorhabditis elegans strains, the natural diversity in STRs remains unknown. Here, we characterized the distribution of 31,991 STRs with motif lengths of 1-6 bp in the reference genome of C. elegans. Of these STRs, 27,636 harbored polymorphisms across 540 wild strains and only 9,691 polymorphic STRs (pSTRs) had complete genotype data for more than 90% of the strains. Compared to the reference genome, the pSTRs showed more contraction than expansion. We found that STRs with different motif lengths were enriched in different genomic features, among which coding regions showed the lowest STR diversity and constrained STR mutations. STR diversity also showed similar genetic divergence and selection signatures among wild strains as in previous studies using single-nucleotide variants. We further identified STR variation in two mutation accumulation line panels that were derived from two wild strains and found background-dependent and fitness-dependent STR mutations. Overall, our results delineate the first large-scale characterization of STR variation in wild C. elegans strains and highlight the effects of selection on STR mutations.
Biclustering of Smart Building Electric Energy Consumption Data

Nowadays, smart buildings can collect data regarding the electric energy consumption, which can then be analyzed to gain insights or to predict or identify abnormal energy consumption. Numerous models are applied to face this problem but they are based on a global point of view and cannot detect local patterns of abnormal consumption. This work lies in the former option, as we propose a way to analyze energy consumption data from smart buildings. In particular, we use energy consumption data collected by various buildings over a five-year period. These data were analyzed to gain insight into the functioning of the considered buildings, with the aim of detecting anomalous situations, which could indicate that some energy usage policy should be changed or that there is a fault in the sensor network. In particular, we propose an approach based on biclustering, which allows obtaining subgroups of buildings that show a similar behaviour over a specific period of time. To the best of our knowledge, this is the first application of biclustering to energy consumption data analysis. Results confirm that the proposed approach can help policy makers in detecting irregular situations, which can provide hints on how to improve the efficiency of buildings.
Exploration of physics concepts with traditional engklek (hopscotch) game: Is it potential in physics ethno-STEM learning?

Engklek, is one of the traditional games that have many physics concepts to explore, has the potential to be applied in Ethno-STEM-based physics learning. So far, no study has been carried out on exploring the physical concept of this game. Hence, this study aims to explore the concepts of physics in traditional Engklek game and its potential applications in Ethno-STEM-based physics learning. This study uses a qualitative research method with an exploratory design. Data collection using three methods: observations, interviews, and literature studies.Data were analyzed descriptively through three stages: data reduction, presentation, and verification or inference. The results show that the main physics concepts contained in this game are parabolic motion; work and energy; momentum and impulse; and equilibrium of rigid body. This game also can be applied to physics learning because it is relevant to the 2013 curriculum and the Ethno-STEM review. Therefore, the Engklek game can be more meaningful, fun, interactive, and contextual physics learning media. This research implies that the results of exploration and analysis of its potential application to Ethno-STEM-based science learning can be tested for future research or applied directly to physics learning. It is hoped that this learning can increase students' learning motivation while preserving the local wisdom game of Engklek
Effects of Saline Water and Irrigation Interval on Soil Physicochemical Properties

T he declining availability of fresh water has become a worldwide problem, which maintains the development of alternative, secondary quality water resources for agricultural use. In this study, the effects of different irrigation intervals at different salinity levels of irrigation water impacts on soil physico-chemical properties were investigated using three irrigation intervals (I1 =3days, I2= 4days and I3= 5 days) with four salinity levels (S1= 4dS m-1, 5dS m-1 and 6 dS m-1) in a factorial combination using CRD with three replications. Statistical analysis showed that salinity, irrigation interval and their interaction highly significance effects (p<0.001) on electrical conductivity of soil. Irrigation with highest salinity level (S4) with five days of irrigation interval resulted in the salt accumulation in the root zone from 0.41 μS m-1 (before sowing) up to 13.73 μS/ m at the end of growing period and exchangeable Sodium of 0.2 cmol/Kg was found before sowing while 0.82cmol/kg was found after harvesting. Therefore, based on soil salinity and crop yield, irrigation interval 3 days at lower levels of irrigation water salinities (up to 3 dS m-1) is suitable for soybean production in the study area. The study also showed that salinity and irrigation interval significantly affects soil nutrients (p< 0.001) despite their interaction were not significantly effects on soil nutrients. Increased the concentration of salt in irrigation water reduce availability of nutrients in the soil. Soil which was irrigated by salinity level four (S4=6dS/m) had lowest Organic Matter, Organic Carbon, N, P & K content. Highest Organic Matter, Organic Carbon, N and P content were observed at soils which were irrigated by fresh water. This indicated that need for give attention for management of soil besides achieving Soybean yield production when saline water is used for irrigation
A Survey of Intrusion Detection Techniques on Software Defined Networking (SDN)

:- Software Defined Network (SDN) is a network model in which traffic may be controlled and managed robustly while ensuring that the system is protected from potential attacks in accordance with client requests. SDN is an emerging technology that is presented with the purpose to reduce the complexity of network functioning by splitting the data and control layer. However, the splitting contributes to a security challenge which is one of the enormous issues concerning SDN operation. Several attack classes such as Distributed Denial of Service (DDoS) attacks may befuddle the SDN performance as a result of the separation. Recently, different methods have been developed in the SDN-based Network Intrusion Detection Systems (NIDS) in order to safeguard computer systems and to overcome SDN security challenges. Besides, various current literature on intrusion detection techniques which influence SDN networks has been reviewed and analyzed in this paper. These Intrusion detection techniques are implemented and help to triumph over SDN network security problems.
An Analysis of Tennenbaum's Theorem in Constructive Type Theory

Tennenbaum's theorem states that the only countable model of Peano arithmetic (PA) with computable arithmetical operations is the standard model of natural numbers. In this paper, we use constructive type theory as a framework to revisit, analyze and generalize this result. The chosen framework allows for a synthetic approach to computability theory, exploiting that, externally, all functions definable in constructive type theory can be shown computable. We then build on this viewpoint, and furthermore internalize it by assuming a version of Church's thesis, which expresses that any function on natural numbers is representable by a formula in PA. This assumption provides for a conveniently abstract setup to carry out rigorous computability arguments, even in the theorem's mechanization. Concretely, we constructivize several classical proofs and present one inherently constructive rendering of Tennenbaum's theorem, all following arguments from the literature. Concerning the classical proofs in particular, the constructive setting allows us to highlight differences in their assumptions and conclusions which are not visible classically. All versions are accompanied by a unified mechanization in the Coq proof assistant.
A new analytical model for dip modified velocity distribution in fully developed turbulent open channel flow

This paper presents a new analytical model to predict the streamwise time-averaged velocity profile affected by the dip phenomenon in open channel flows. The novel approach of the present study is that the Finley wake law has been used instead of Coles’ wake law for the outer layer. To validate the new analytical model, six high quality experiments were conducted in a hydraulically rough bed open channel flow by considering variations of aspect ratio, defined as the ratio of the width of the channel to the depth of flow, from 2 to 4. In these controlled experiments, the time-averaged velocities were measured using a Nortek Vectrino-plus acoustic Doppler velocimeter. In addition, 14 sets of available experimental data, including five field experiments conducted across the globe were also used to test the performance of the proposed model. The proposed model, the Finley-dip-modified-log-wake law (FDMLWL), was used to develop a semiempirical equation to compute the dip position as a function of the dip correction factor and the wake parameter. In addition, using the experimental data and FDMLWL, an empirical equation was developed to compute the dip correction factor for hydraulically smooth open channel flows. The comparison of the FDMLWL model with the experimental data belonging to hydraulically smooth, transition, and rough regimes has consistently indicated better representation of the velocity dip phenomenon. The FDMLWL model has also been compared with other analytical models available in the literature and the superior performance of the proposed model is further observed. Finally, based on the satisfactory validation between experimental data and FDMLWL, it is inferred that the proposed model is better suited for modeling zero velocity gradient at the boundary layer edge, as in open channel flows with dip phenomenon.
Finding Monotone Patterns in Sublinear Time, Adaptively

We investigate adaptive sublinear algorithms for finding monotone patterns in sequential data. Given fixed 2 ≤ k ∈ N and ε > 0, consider the problem of finding a length-k increasing subsequence in a sequence f : [ n ] → R , provided that f is ε -far from free of such subsequences. It was shown by Ben-Eliezer et al. [FOCS 2019] that the non-adaptive query complexity of the above task is Θ((log n ) ⌊ log 2 k ⌋ ). In this work, we break the non-adaptive lower bound, presenting an adaptive algorithm for this problem which makes O (log n ) queries. This is optimal, matching the classical Ω(log n ) adaptive lower bound by Fischer [Inf. Comp. 2004] for monotonicity testing (which corresponds to the case k = 2). Equivalently, our result implies that testing whether a sequence decomposes into k monotone subsequences can be done with O (log n ) queries
Beating Matrix Multiplication for n 1 / 3 -Directed Shortcuts

For an n -vertex digraph G = ( V, E ) and integer parameter D , a D - shortcut is a small set H of directed edges taken from the transitive closure of G , satisfying that the diameter of G ∪ H is at most D . A recent work [Kogan and Parter, SODA 2022] presented shortcutting algorithms with improved diameter vs. size tradeoffs. Most notably, obtaining linear size D -shortcuts for D = e O ( n 1 / 3 ), breaking the √ n -diameter barrier. These algorithms run in O ( n ω ) time, as they are based on the computation of the transitive closure of the graph. We present a new algorithmic approach for D -shortcuts, that matches the bounds of [Kogan and Parter, SODA 2022], while running in o ( n ω ) time for every D ≥ n 1 / 3 . Our approach is based on a reduction to the min-cost max-flow problem, which can be solved in e O ( m + n 3 / 2 ) time due to the recent breakthrough result of [Brand et al., STOC 2021]. We also demonstrate the applicability of our techniques to computing the minimal chain covers and dipath decompositions for directed acyclic graphs. For an n -vertex m -edge digraph G = ( V, E ), our key results are: bounds by [Caceres et al., SODA 2022] and [Grandoni et al., SODA 2021]. Our results also provide a new connection between shortcutting sets and the seemingly less related problems of minimum chain covers and the maximum antichains in DAGs.
Adaptive Cruise Control Operation for Improved Motorway Traffic Flow

This study presents an ACC (adaptive cruise control)–based traffic control strategy which aims to adapt in real time the driving behavior of ACC-equipped vehicles to the prevailing traffic conditions so that motorway traffic flow efficiency is improved. The potential benefits obtained by applying the proposed control concept are demonstrated for different ACC penetration rates by use of validated microscopic simulation applied to a real motorway stretch where recurrent traffic congestion is created under the current manual driving conditions because of an on-ramp bottleneck. The simulation results demonstrate that, even for low penetration rates of ACC vehicles, the proposed control concept improves the average vehicle delay and fuel consumption by reducing the space-time extent of congestion compared with the case of only manually driven or regular ACC vehicles.
The evolution of DREAMS: using data for continuous program improvement

The DREAMS (Determined, Resilient, Empowered, AIDS-Free, Mentored, and Safe) Partnership, a public-private partnership launched by the United States President's Emergency Plan for AIDS Relief (PEPFAR), represents the largest investment in comprehensive HIV prevention for adolescent girls and young women (AGYW) ever made in a single global initiative. This paper describes the evolution of programming over time using the triangulation of multiple data sources to develop and refine an impactful program, as well as to improve efficacy and resource investment. Methods of analysis used to evolve this programming include reviews of literature on behavioral, biomedical and structural interventions, and HIV vulnerability; PEPFAR program data; external implementation science and impact studies;observations from site visits; in-depth reviews of program materials; and inputs from AGYW and other stakeholders. Key program improvements made in response to this real-time data use are described, including the rationale for programmatic changes and the evidence base for continual program refinements. This review emphasizes the importance and process of implementing the most effective combination of structural and biomedical HIV prevention programming, based on the best available science, while also adapting to local context in a way that does not compromise effectiveness or violate core implementation principles. Data from research and evaluation are critical to move the HIV prevention field toward more impactful and efficient programming responsive to the lived realities of AGYW. A central tenant to using these data sources effectively is the inclusion of AGYW in decision-making throughout the planning and implementation of programming.
Idea generation challenges in digital fabrication

Digital fabrication is an educational and activity paradigm in which multidisciplinary knowledge, hands-on skills, and teamwork among the makers are essential for success. One of the most significant outcomes of digital fabrication is the product built using particular processes. It has been clearly demonstrated that this paradigm promotes creativity. However, in the setting of digital fabrication education, the creativity of projects varies and sometimes creativity is difficult to nurture and the creativity of the students’ projects have a broad variation. In this paper, we analyse creative idea generation in the case of a digital fabrication course. The creativity of the generated ideas is analysed qualitatively in terms of the generated ideas, their characteristics, their goals, and the reflections of students on the course, as well as in the context of the exemplary solution provided at the beginning of the course. Challenges for promoting the creativity in these settings are explored, along with their possible solutions.
Evidence of decoupled deformation during Jurassic rifting and Cenozoic inversion 1 phases in the salt-rich Corbières-Languedoc Transfer Zone (Pyreneo-Provençal orogen,

A detailed field study of Jurassic tectono-stratigraphic architecture of the southwestern part of the 17 Corbières-Languedoc Transfer Zone (CLTZ, NE-SW oriented), between the Pyrenean and Provençal 18 orogenic segments (N110 oriented) in SE France, document for the first time variations in thickness and 19 stratigraphic geometries in relation to oblique extensional cover structures (NE-SW and N110 oriented). 20 These structures (low-dip normal faults, salt rollers, rollovers, forced folds) formed during a Jurassic 21 extension phase with strong decoupling between basement and cover on the Keuper pre-rift salt (Carnian- 22 Norian evaporites). Some of these structures such as the Treilles Fault, the Valdria and the Terres Noires 23 fold pairs, were previously interpreted as compressional and Pyrenean in origin (Late Santonian- 24 Bartonian). Our study instead shows that these are Jurassic extensional and salt related structures, which 25 were later affected by Pyrenean compression and Oligo-Miocene segmentation above and below Keuper detachement are here identified as Jurassic structural inheritence for later tectonic events, notably for the Nappe des Corbières Orientales emplaced at the end of Pyrenean orogenesis. Associated to previous works, this study highlights that the CLTZ is a key area to better understand Pyreneo-Provençal system evolution along its whole Wilson cycle and to better understand the processes that govern the formation of a salt-rich rift transfer zone in a strongly pre-structured crust, its 38 multiple reactivations and the decoupling role of salt.
Social and solidarity economy and the co-construction of a new field of local public policies in France

This paper proposes to come back to the construction of local policies in favour of social and solidarity economy (SSE) in France. It is first of all a question of demonstrating how coalitions of elected representatives, technicians, social entrepreneurs, heads of local networks and local managers of support and financing structures have participated in the consolidation of the "social and solidarity economy" which is a French terminological singularity. In the 2000s, when a national policy was lacking, it was at the level of local governments that a public action dedicated to SSE was experimented. New thematic and specific support instruments were then put in place without reference to the normative framework that has become since July 2014 the law on SSE. Then, SSE policies are implemented in tension between a policy of recognition through the implementation of specific instruments and the will to act transversally on the main challenges of the territory (housing, employment, mobility, social cohesion, culture, sustainable development, etc.). Finally, elected representatives and actors of local SSE policies have claimed and experimented processes of co-construction of public action whose contexts, conditions and achievements we propose to highlight.
Petrographic and diagenetic investigation of the distal Triassic ‘ Budleighensis ’ fluvial system in the Solway and Carlisle Basins for potential CO 2 storage

: Failure to find hydrocarbon prospects in the Solway Basin region has resulted in a lack of research into the local Sherwood Sandstone Group petrography, reservoir quality and depositional history compared to the analogous southern reservoirs in the EISB which will be utilized for carbon storage. A detailed petrographic study is presented which aims to understand if the Solway Firth could have similar utility. The Permo – Triassic Sherwood Sandstone Group is believed to be deposited in depocentres connected during the Early Triassic by the extensive ‘ Budleighensis ’ fluvial system. Here, the Solway and Carlisle basins are proposed as terminal sites for this endorheic system, with the Lower Triassic Annan Sandstone Formation ascribed to the distal region of a fluvial distributary zone and the overlying Kirklinton Sandstone Formation thought to mark a transition to a basinal zone, depositing aeolian sandstones and locally associated playa lake facies. Fluid inclusion, stable isotope burial history modelling and field observations have been used to assess the relative timing and importance of different diagenetic cements. Early diagenetic cements include grain-rimming haematite and patchy calcite cement, especially in the Annan Sandstone Formation. Later burial diagenesis sees further calcite cement, quartz overgrowths and, restricted to the Kirklinton Sandstone Formation, ferroan dolomite. Porosity and permeability show significant differences between fluvial Annan and aeolian Kirklinton facies associations. Despite the finer grain size, a reservoir with excellent porosity and permeability as well as no hydrocarbon charging or legacy hydrocarbon extraction is persevered, suggesting the Solway Basin could be a secure CO