Miracle-dz/UniFAR-FTUs huggingface dataset:
osterior parietal cortex mediates encoding and maintenance processes in hange blindness

It is commonly accepted that right posterior parietal cortex (PPC) plays an important role in updating spatial representations, directing visuospatial attention, and planning actions. However, recent studies suggest that right PPC may also be involved in processes that are more closely associated with our visual awareness as its activation level positively correlates with successful conscious change detection (Beck, D.M., Rees, G., Frith, C.D., & Lavie, N. (2001). Neural correlates of change detection and change blindness. Nature Neuroscience, 4, 645–650. ). Furthermore, disruption of its activity increases the occurrences of change blindness, thus suggesting a causal role for right PPC in change detection (Beck, D.M., Muggleton, N., Walsh, V., & Lavie, N. (2006). Right parietal cortex plays a critical role in change blindness. Cerebral Cortex, 16, 712–717. ). In the context of a 1-shot change detection paradigm, we applied transcranial magnetic stimulation (TMS) during different time intervals to elucidate the temporally precise involvement of PPC in change detection. While subjects attempted to detect changes between two image sets separated by a brief time interval, TMS was applied either during the presentation of picture 1 when subjects were encoding and maintaining information into visual short-term memory, or picture 2 when subjects were retrieving information relating to picture 1 and comparing it to picture 2. Our results show that change blindness occurred more often when TMS was applied during the viewing of picture 1, which implies that right PPC plays a crucial role in the processes of encoding and maintaining information in visual short-term memory. In addition, since our stimuli did not involve changes in spatial locations, our findings also support previous studies suggesting that PPC may be involved in the processes of encoding non-spatial visual information (Todd, J.J. & Marois, R. (2004). Capacity limit of visual short-term memory tal co in human posterior parie
E and M Circadian Pacemaker Neurons Use Different PDF Receptor Signalosome Components in Drosophila

We used real-time imaging to detect cAMP levels in neurons of intact fly brains to study the mechanisms of circadian pacemaker synchronization by the neuropeptide pigment dispersing factor (PDF) in Drosophila. PDF receptor (PDF-R) is expressed by both M (sLNv) and E (LNd) pacemaker subclasses and is coupled to Gsα in both cases. We previously reported that PDF-R in M pacemakers elevates cAMP levels by activating the ortholog of mammalian adenylate cyclase 3 (AC3) but that AC3 disruptions had no effect on E pacemaker sensitivity to PDF. Here, we show that PDF-R in E pacemakers activates a different AC isoform, AC78C, an ortholog of mammalian AC8. Knockdown of AC78C by transgenic RNAi substantially reduces, but does not completely abrogate, PDF responses in these E pacemakers. The knockdown effect is intact when restricted to mature stages, suggesting a physiological and not a development role for AC78C in E pacemakers. The AC78C phenotype is rescued by the overexpression of AC78C but not by overexpression of the rutabaga AC. AC78C overexpression does not disrupt PDF responses in these E pacemakers, and neither AC78C knockdown nor its overexpression disrupted locomotor rhythms. Finally, knockdown of 2 AKAPs, nervy and AKAP200, partially reduces LNd PDF responses. These findings begin to identify the components of E pacemaker PDF-R signalosomes and indicate that they are distinct from PDF-R signalosomes in M pacemakers: we propose they contain AC78C and at least 1 other AC.
Katanin p60 Contributes to Microtubule Instability around the Midbody and Facilitates Cytokinesis in Rat Cells

The completion of cytokinesis is crucial for mitotic cell division. Cleavage furrow ingression is followed by the breaking and resealing of the intercellular bridge, but the detailed mechanism underlying this phenomenon remains unknown. Katanin is a microtubule-severing protein comprised of an AAA ATPase subunit and an accessory subunit designated as p60 and p80, respectively. Localization of katanin p60 was observed at the midzone to midbody from anaphase to cytokinesis in rat cells, and showed a ring-shaped distribution in the gap between the inside of the contractile ring and the central spindle bundle in telophase. Katanin p60 did not bind with p80 at the midzone or midbody, and localization was shown to be dependent on microtubules. At the central spindle and the midbody, no microtubule growth plus termini were seen with katanin p60, and microtubule density was inversely correlated with katanin p60 density in the region of katanin p60 localization that seemed to lead to microtubule destabilization at the midbody. Inhibition of katanin p60 resulted in incomplete cytokinesis by regression and thus caused the appearance of binucleate cells. These results suggest that katanin p60 contributes to microtubule instability at the midzone and midbody and facilitates cytokinesis in rat cells.
Argument filterings and usable rules in higher-order rewrite systems

The static dependency pair method is a method for proving the termination of higher-order rewrite systems a la Nipkow. It combines the dependency pair method introduced for first-order rewrite systems with the notion of strong computability introduced for typed lambda-calculi. Argument filterings and usable rules are two important methods of the dependency pair framework used by current state-of-the-art first-order automated termination provers. In this paper, we extend the class of higher-order systems on which the static dependency pair method can be applied. Then, we extend argument filterings and usable rules to higher-order rewriting, hence providing the basis for a powerful automated termination prover for higher-order rewrite systems.
ECOLOGICAL, PRODUCTIVE AND SILVICULTURAL CATEGORISATION OF COPPICE BEECH STANDS IN THE AREA OF SARAJEVO CANTON

UDK: 630*222:582.632. 2 (497.6 Sarajevo) 582.632. 2:630*5(497.6 Sarajevo) The paper represents a methodological approach in categorization of coppice beech stands in Sarajevo Canton area in relation to their ecological, productive, structural and silvicultural characteristics. For the collection of necessary data, method of temporary experimental surfaces, systematically allocated in squares 200 meters distant from each other has been used, in accordance to design of simple systematic sample. Concentric circles whose radius depend on tree diameter has been used as sample units (STOJANOVİĆ & DRİNİĆ, 1975). Data have been conducted in 659 locations. Stands have been categorized in three categories in relations to predefined criteria of categorization based on stand environment, productiveness, structure, economic value and fostering needs. For each of the categories, average units of basic productive indicators of the stand have been determined: number of trees, basal area, volume and volume increment per year for marked and unmarked, as well as same indicators of marking timber volume and the intensity of felling. Statistical significance of difference between the indicators has been tested by the method of variant analysis. Based on the results, indirect conversion has been recommended for the first stand category, direct and combined conversion for second one, and third category didn't need conversion because they have predominantly protective character
Analysis and Enhancement of Ring Oscillators Based Physical Unclonable Functions in FPGAs

The paper analyzes and proposes some enhancements of Ring Oscillator based Physical Unclonable Functions (PUFs) that are used to extract a unique signature of an integrated circuit in order to be used for device authentication purposes and/or key generation. We analyze in more details the concept developed by Suh et al. in 2007. Contrary to what authors claim, we show that the designer of the Ring Oscillator PUFs implemented in FPGAs needs precise control of placement and routing in order to get unique responses and repeatable results for each individual device, especially when the rest of the reconfigurable device should remain up gradable. One main disadvantage of the original design is its high power consumption. We propose a simple improvement that reduces the consumption of the PUF published by Suh et al. by up to 96.6\%. Last but not least, we point out that ring oscillators significantly influence one another and can even be locked. This questions the reliability of the PUF and should be taken into account during the design.
Fermented Corn–Soybean Meal Improved Growth Performance and Reduced Diarrhea Incidence by Modulating Intestinal Barrier Function and Gut Microbiota in Weaned Piglets

This study aimed to investigate the effects of fermented corn–soybean meal mixed feed (FMF) on growth performance, intestinal barrier function, gut microbiota and short-chain fatty acids in weaned piglets. A total of 128 weaned piglets [Duroc×(Landrace×Yorkshire), male, 21-day-old] were randomly allocated to four groups. Piglets were fed a control diet (CON) or the control diet supplemented with 10%, 50% or 100% FMF (FMF-10, FMF-50 or FMF-100, respectively) for 14 d. The results showed that the FMF-100 group had higher average daily gain and average daily feed intake and lower diarrhea incidence than the CON group (p < 0.05). The FMF-50 and FMF-100 groups had greater villus height in the duodenum and jejunum, and the FMF-10 and FMF-100 groups had higher villus height-to-crypt depth ratio in the duodenum and jejunum than the CON group. Additionally, the FMF-100 group had higher protein expression of duodenal, jejunal and ileal ZO-1 and jejunal claudin-1; higher mRNA expression of duodenal and ileal TJP1 and jejunal CLDN1 and IL10; and lower jejunal IL1B mRNA expression (p < 0.05). The FMF-50 group showed higher jejunal ZO-1 and claudin-1 protein levels, higher mRNA expression levels of IL10 and TJP1 and lower levels of TNF in the jejunum; the FMF-10 group had higher mRNA expression levels of IL10 and lower levels of TNF in the jejunum than the CON group (p < 0.05). Furthermore, the FMF-10 and FMF-50 groups had higher colonic Lactobacillus abundance and butyrate levels; the FMF-100 group had higher abundance of colonic butyrate, Lactobacillus and Faecalibacterium than the CON group (p < 0.05). Collectively, our results suggest that FMF could improve intestinal mucosal barrier function, gut microbiota and their metabolites, thereby enhancing average daily gain and reducing diarrhea incidence in weaned piglets.
EM gun bore life experiments at the Naval Research Laboratory

The Naval Research Laboratory (NRL) performs basic and applied research on high power railguns as part of the US Navy EM Launcher program. The understanding of damage mechanisms as a function of armature and barrel materials, launch parameters, and bore geometry is of primary interest to the development of a viable high power railgun. Research is performed on a 6-m, 1.5 MJ railgun located at NRL. Barrel studies utilize in situ diagnostics coupled with detailed ex situ analysis of rail materials to provide clues to the conditions present during launch. Results are compared with coupled 3-D electromagnetic and mechanical Finite Element Analysis (FEA) models of railgun operation. Results of several experiments on rail wear will be discussed.
R- Tree Based Filtering Algorithms for Location-Aware based System

Location Based services (LBS) have attracted and valuable attention from both industrial and academic communities. Existing LBS systems used a pull model also called as user-initiated model, from where a user can issues a query to server which responds with location-aware answers. A push model also called as server-initiated model is becoming an unavoidable computing model in next-generation LBS to provide users with instant replies. In the push model, subscribers register spatio-textual subscriptions to capture their interest of user. For Location-aware publish/subscribe, a system return result to achieve high-performance. While designing a location-aware publish/subscribe system their are multiple research problems arises . We use efficient filtering algorithms that find candidate nodes and effective pruning techniques to achieve high performance and to provide users with instant replies. We propose another algorithm called FlexRPSet, which provide one extra parameter K to allow users to make a trade-off between result size and efficiency. We adopt an incremental approach to let the users make the tradeoff conveniently. FlexRPset produce fewer representative patterns than RPLocal and MinRPset – an efficient algorithm is design to improve scalability.
Laplacian Support Vector Machines Trained in the Primal

In the last few years, due to the growing ubiquity of unlabeled data, much effort has been spent by the machine learning community to develop better understanding and improve the quality of classifiers exploiting unlabeled data. Following the manifold regularization approach, Laplacian Support Vector Machines (LapSVMs) have shown the state of the art performance in semi-supervised classification. In this paper we present two strategies to solve the primal LapSVM problem, in order to overcome some issues of the original dual formulation. In particular, training a LapSVM in the primal can be efficiently performed with preconditioned conjugate gradient. We speed up training by using an early stopping strategy based on the prediction on unlabeled data or, if available, on labeled validation examples. This allows the algorithm to quickly compute approximate solutions with roughly the same classification accuracy as the optimal ones, considerably reducing the training time. The computational complexity of the training algorithm is reduced from O(n3) to O(kn2), where n is the combined number of labeled and unlabeled examples and k is empirically evaluated to be significantly smaller than n. Due to its simplicity, training LapSVM in the primal can be the starting point for additional enhancements of the original LapSVM formulation, such as those for dealing with large data sets. We present an extensive experimental evaluation on real world data showing the benefits of the proposed approach.
Utilization of drilling cuttings with extraction of ground for recultivation of disturbed soils

Drilling of wells is connected with formation of the bore mud represented by the drill cutting with waste drilling mud. Bore mud has negative physical-chemical, physical and chemical properties: high content of salts, increased alkalinity, ash structure, soil overcrust, low airing, weak filterability and so on. In case of phosphogypsum adding to the bore mud, pH level decreases from the alkaline (10.5 U) to weakly alkaline 7.6 U, decrease of pH is connected with the influence of phosphogypsum acidity and neutralization of the more mud. Concentration of chloride ions and sulphate ions in reclaimed bore mud was 70±7 and 456±46 correspondingly. Presence of oil products in received soil was 198.0-219.0 mg/kg. When adding phosphogypsum, sand, sorbent and humic formulation «Rostok» to the bore mud, it has shown good germinating ability of cultures- phytomeliorants (93,3%). 100% germinating ability was observed in meadow grass with a height of overground sprouts 10.7 cm, germinating ability of red fescue was 80% with height of overground sprouts 9.6 cm.
Point Pattern Matching with Locality Preserving Descriptors

This paper proposes a novel feature descriptor - locality preserving descriptor to the problem of point pattern matching. The idea behind a locality preserving is to map points that are nearby in the data space into points that are nearby in the feature space. The feature descriptor optimally preserves the neighborhood structure of the data set, and is invariant to translation, scale, and rotation. We use of the locality preserving descriptor and combine the continuity constraint for point pattern matching.
Collaborative Governance in the Management of Transportation Modes in DKI Jakarta Province

The research emphasizes the pivotal role of effective communication and stakeholder engagement in the success of collaborative governance, achieved through regular dialogues and consultations among all parties. This inclusive approach promotes cooperation and a sense of ownership among stakeholders, enhancing strategy effectiveness. Transparency and accountability are identified as key components in building trust among stakeholders and the public, contributing to a responsive transportation management system. Despite challenges, collaborative governance yields integrated transportation planning, improved traffic management, and enhanced public transportation services, aligning with sustainability goals. However, the study highlights the need for stronger leadership, robust conflict resolution mechanisms, and adaptability to evolving urban transportation dynamics for future enhancements and policy development.
A Reconfigurable Readout Integrated Circuit for Heterogeneous Display-Based Multi-Sensor Systems

This paper presents a reconfigurable multi-sensor interface and its readout integrated circuit (ROIC) for display-based multi-sensor systems, which builds up multi-sensor functions by utilizing touch screen panels. In addition to inherent touch detection, physiological and environmental sensor interfaces are incorporated. The reconfigurable feature is effectively implemented by proposing two basis readout topologies of amplifier-based and oscillator-based circuits. For noise-immune design against various noises from inherent human-touch operations, an alternate-sampling error-correction scheme is proposed and integrated inside the ROIC, achieving a 12-bit resolution of successive approximation register (SAR) of analog-to-digital conversion without additional calibrations. A ROIC prototype that includes the whole proposed functions and data converters was fabricated in a 0.18 μm complementary metal oxide semiconductor (CMOS) process, and its feasibility was experimentally verified to support multiple heterogeneous sensing functions of touch, electrocardiogram, body impedance, and environmental sensors.
Image compression based on PDEs

A PDEs-based image compression method is presented. On the encoder, a PDE model is used to reduce spatial redundancy and extract the edges of the image. Then only the edges are sent to the receiver rather than the entire image. The decompression utilizes the PDE-based interpolation by taking the edge map as the interpolation mask. Since the human visual system is highly sensitive to edge, the method can produce intelligible images at high compression ratios. Experiment results show that the proposed method can preserve edges perfectly and has better visual results than JPEG2000.
The Influence of Age and Gender on Skin-Associated Microbial Communities in Urban and Rural Human Populations

Differences in the bacterial community structure associated with 7 skin sites in 71 healthy people over five days showed significant correlations with age, gender, physical skin parameters, and whether participants lived in urban or rural locations in the same city. While body site explained the majority of the variance in bacterial community structure, the composition of the skin-associated bacterial communities were predominantly influenced by whether the participants were living in an urban or rural environment, with a significantly greater relative abundance of Trabulsiella in urban populations. Adults maintained greater overall microbial diversity than adolescents or the elderly, while the intragroup variation among the elderly and rural populations was significantly greater. Skin-associated bacterial community structure and composition could predict whether a sample came from an urban or a rural resident ~5x greater than random.
A Fast Method For Haze removal In Remote Sensing Image By Using Guided Filter

The visibility of the open-air images is degraded on account of bad atmosphere conditions. Robust solutions to this problem, a simple and narrative method to eliminate the haze from satellite remote sensing images using Guided filter. The mission is challenging due to variations in dark channel prior, air light, transmission map and radiance map. The presence of haze in the atmosphere degrades the quality of images capture by visible camera sensors. The removal of haze is typically performed under the numerical methods. Due to haziness, an image generally lost color and edges. So dehazing technique restores edge losses and color impacts badly. The method performs a per-pixel treatment, which is straightforward to implement and then apply the guided filter to improve the image quality. Our key perception is that pixels in a given group are regularly non-local, they are spread over the whole image plane and are situated at various separations from the camera. Within the sight of vagueness these fluctuating separations mean distinctive transmission coefficients. Experimental results demonstrate that the proposed method can allow a very fast implementation, it is effective for visual appealing, the quality of reconstructed image is usually specified in terms of Peak Signal to Noise Ratio (PSNR), Mean Square Error (MSE) and normalized cross correlation compared to some state-of-the-art methods.
MARK4 inhibits Hippo signaling to promote proliferation and migration of breast cancer cells

The Hippo pathway is a critical regulator of tissue size, and aberrations in pathway regulation lead to cancer. MST1/2 and LATS1/2 kinases comprise the core of the pathway that, in association with adaptor proteins SAV and MOB, functions in a sequential manner to phosphorylate and inhibit the transcription factors YAP and TAZ. Here we identify mammalian MARK family members as activators of YAP/TAZ. We show that depletion of MARK4 in MDA‐MB‐231 breast cancer cells results in the loss of nuclear YAP/TAZ and decreases the expression of YAP/TAZ targets. We demonstrate that MARK4 can bind to MST and SAV, leading to their phosphorylation, and that MARK4 expression attenuates the formation of a complex between MST/SAV and LATS, which depends on the kinase activity of MARK4. Abrogation of MARK4 expression using siRNAs and CRISPR/Cas9 gene editing attenuates the proliferation and migration of MDA‐MB‐231 cells. Our results show that MARK4 acts as a negative regulator of the Hippo kinase cassette to promote YAP/TAZ activity and that loss of MARK4 restrains the tumorigenic properties of breast cancer cells.
Frontostriatal Involvement in Task Switching Depends on Genetic Differences in D2 Receptor Density

Recent studies suggest an association of dopamine D2 receptor (DRD2) availability with flexibility in reward-based learning. We extend these results by demonstrating an association of genetically based differences in DRD2 density with the ability to intentionally switch between nonrewarded tasks: noncarriers of the A1 allele of the DRD2/ANKK1-TaqIa polymorphism, associated with higher DRD2 density, show increased task-switching costs, increased prefrontal switching activity in the inferior frontal junction area, and increased functional connectivity in dorsal frontostriatal circuits, relative to A1 allele carriers. A DRD2 haplotype analysis in the same sample confirmed these results, indicating an association between high D2 density and increased task-switching effort. Our results provide evidence that converges with that from association studies relating increased D2 density to deficits in cognitive flexibility in schizophrenia. We suggest that individual differences in striatal D2 signaling in healthy humans modulate goal-directed gating to prefrontal cortex, thus leading to individual differences in switching intentionally to newly relevant behaviors.