Miracle-dz/UniFAR-FTUs huggingface dataset:
Dynamic trace analysis with zero-suppressed bdds

Instruction level parallelism (ILP) limitations have forced processor manufacturers to develop multi-core platforms with the expectation that programs will be able to exploit thread level parallelism (TLP). Multi-core programming shifts the burden of locating additional performance away from computer hardware to the software developers, who often attempt high-level redesigns focused on exposing thread level parallelism, as well as explore aggressive optimizations for sequential codes. Precise dynamic analysis can provide useful guidance for program optimization efforts, including efforts to find and extract thread level parallelism. Unfortunately, finding regions of code amenable to further optimization efforts requires analyzing traces that can quickly grow in size. Analysis of large dynamic traces (e.g. one billion instructions or more) is often impractical for commodity hardware. An ideal representation for dynamic trace data would provide compression. However, decompressing large software traces, even if decompressed data is never permanently stored, would make many analysis impractical. A better solution would allow analysis of the compressed data, without a costly decompression step. Prior works have developed trace compressors that generate an analyzable representation, but often limit the precision or scope of analyses. Zero-suppressed binary decision diagram (ZDDs) exhibit many of the desired properties of an ideal trace representation. This thesis shows: (1) dynamic trace data may be represented by zero-suppressed binary decision diagrams (ZDDs); (2) ZDDs allow many analyses to scale; (3) encoding traces as ZDDs can be performed in a reasonable amount of time; and, (4) ZDD-based analyses, such as irrelevant instruction detection and potential coarse-grained thread level parallelism extraction, can reveal a number of performance opportunities in sequential programs.
A new section and a new species of Alternaria encountered from Oman

The genus Alternaria contains a large number of diverse species which include many phytopathogens, endophytes and saprobes, as well as environmental species. An Alternaria species was isolated from dead wood of unknown plant collected from the Al Jabal al-Akhdar Mountain in Oman. This species did not have a conclusive match to any known Alternaria in the GenBank database using BLAST searchers based on ITS gene sequences. The analysis of a sequence dataset based on SSU, LSU, ITS, GPDH, TEF and RPB2 genes of the newly discovered species showed that it represented a new section in Altenraria. A detailed morphological comparison of both sexual and asexual morphs support the conclusions based on the sequence data. Therefore, we introduce a new Alternaria section Omanenses and a new species, Alternaria omanensis.
Campus virtual y dispositivos con conexión a internet durante las clases: ¿una alternativa a los clickers?

Resumen. Inicialmente los clickers (una forma de “Personal Response Systems” mediente mandos a distancia) se emplearon en programas de televisión, congresos, reuniones, etc. pero en los últimos años ha pasado a la docencia; en especial a la universitaria. Algunos estudios demuestran su utilidad para fomentar el trabajo, aprendizaje e interactividad entre profesores y alumnos. El problema técnico actual es el software, mandos específicos, ect. A partir de dos hechos que hemos constatado 1o. que en la UEM existe un campus virtual que utiliza moodle y dentro hay una actividad (CONSULTA) en la que se pueden hacer preguntas y mostrar los resultados por porcentajes y 2o que un porcentaje de alumnos asiste a clase con un dispositivo con conexión a la red, hemos planteado una experiencia en el sentido alternativo a los clickers. La experiencia se llevó a cabo en la asignatura de Semiología y Fisiopatología general II de 2o de odontología y se ha empleado el campus virtual de la asignatura y los PC y Smartphones como “mandos a distancia”. Hemos comprobado que si los alumnos tienen en clase Smartphones con conexión 3G, PC o ipad, puede aprovecharse el campus virtual consiguiendo unos efectos parecidos al empleo de los clickers.
Climatic factors, Habitat Conditions and Nesting Behavior of White-Headed Munia (Lonchura maja) Birds

Scaly-breasted and white-headed Munia bird (Lonchura maja), is one of three species of Lonchura birds that live arround UNYcampus. Life habit and behavior is not well known. This study was done by observing the natural behavior without giving treatment to the object of research. The process of observations conducted from June to August 2017. This study aims to determine the condition of vegetation and climatic environment arround UNY and the behavior of Lonchura birds, and determine ideal conditions for nesting. All data collected by visual observation. These results indicate that the vegetation condition arround UNY related to Lonchura wildlife on campus, divided into 6 different locations. Each location has climatic conditions and different environmental carrying capacity resulting in species of birds that inhabit it any different. Scaly-breasted bird requires fairly dry location with an ideal temperature for the activity in the range of 27ºC, humidity is above 50% and the intensity of light that tends to light. Nesting sites of Lonchura made amid a clump of tree stands with a height at the top of the half-height of the tree. The most ideal conditions for Lonchura is the availability of feed such as grass seeds, the availability of dry grass for nest materials and also stands at over 4 meters high as nesting sites.
In silico analysis of drought responsive transposons and transcription factors in Solanum tuberosum L.

Patates ( Solanum tuberosum L.) tahil grubundan olmayan onemli bir kultur bitkisidir ve kuresel gida guvenligi acisindan buyuk bir oneme sahiptir. Kuraklik, tarimsal uretimde buyuk verim kayiplarina neden olan baslica abiyotik stres faktorlerinden biridir ve patatesde yumru olusumu, yumru verimi ve yumrularin kalitesini olumsuz yonde etkilemektedir. Bircok okaryotik turdeki genomun buyuk bir bolumunu hareketli elementler olusturmaktadir. Transpozon elementlerin (TE) stres altinda nasil aktive olduklarinin molekuler mekanizmasi bircok calismada tanimlamistir. Stres ve cevresel zorluklarin, ozellikle bitkilerde hareketli elementlerin ekspresyonunu veya transpozisyonunu uyardigi bilinmektedir. Strese tepki veren bu genlerin transkripsiyonu buyuk olcude transkripsiyon faktorleri tarafindan kontrol edilmektedir. Son yillarda, bitkilerin kuraga tepkilerinin duzenlenmesinde onemli role sahip bazi transkripsiyon faktorleri belirlenmistir. Bu calismada, transkripsiyon homolojisi ve anotasyon yaklasimi kullanilarak yumru buyutme donemindeki patateste kurakliga tepki veren hareketli elementler ve transkripsiyon faktoru aileleri tanimlanmistir. Sonuclarimiz, hareketli elementlerin alt aileleri icin okuma sayilarinin DNA ve RNA transpozonlari arasinda farkli dagilimlar sagladigini ve bHLH, WRKY, NAC, AP2/ERF transkripsiyon faktorlerini kodlayan cok sayida genin, kuraklik stresine tepkinin duzenlenmesinde onemli islevlere sahip olabilecegini gostermistir. Strese tepkide yer alan hareketli elementlerin ve transkripsiyon faktorlerin tanimlanmasi ve bunlarin beraber degerlendirilmesi, islevsel genomik calismalari ve strese direncli bitkilerin gelistirilmesinde yeni islah stratejilerinin tasarlanmasi icin yararli bilgiler saglayabilir.
Beneficial Effects of Prunus dulcis (Almond Oil) on Letrozole-Induced Polycystic Ovarian Syndrome in Rats

Prunus dulcis (Almonds) are cholesterol free and contain many vital health nutrients like zinc and L-arginine, and have high amount of monounsaturated fats (MUFA’s) required for reproductive health. PCOS is a recurrent endocrine disorder in females, and it affects around 6%-10% of all female population. Letrozole is a drug hypothesized to induce polycystic ovarian syndrome (PCO) in experimental rat models. The goal of this study was to analyze antiandrogenic effects of Almond oil on PCOS which is produced by letrozole in rats. Animals were separated into three different groups (n=6). Control (untreated) group was considered as group I. PCOS was induced in rats with 1mg/kg of Letrozole daily for 21 consecutive days in Group II, while Group III was treated with letrozole for 21 days along with Almond oil (0.1ml/kg b.w) daily for last 14 consecutive days of the experiment. Body weights were recorded and vaginal smears were prepared and fixed to deduce the phases of estrus cycle on daily basis. 21 days later rats were slaughtered and the ovaries were collected for histological investigations and blood plasma was stored for further biochemical assessments. There are four phases in Estrus cycle: estrus, metestrus, diestrus and proestrus. Group II, the cycle was blocked by letrozole at diestrus phase as shown by vaginal smear. After almond oil administration Group III showed some positive response and the diestrus phase preceded to estrus phase. Weight loss was observed in both Groups I & II. Our biochemical test exhibited some positive results as the testosterone, and triglycerides decreased and even the cholesterol profile, but only HDL were slightly increased in the treated group. Almond oil’s prolonged usage may exert some beneficial effects in PCOS. Treatment with this oil might gradually reverse the diestrus phase into normal estrus phase. It is also able to decrease the hyper androgenic condition by decreasing testosterone levels and hyperglycemic condition changed to normoglycemic due to MUFA’s and phenolic compounds found in almond oil.
Ruminantların Beslenmesinde Aspir Kullanımı

Aspir (Carthamus tinctorius L.) kirac ve kurak bolgelerde yetisebilen bir yagli tohum bitkisi olup, doymamis yag asitlerinin toplam yag asitlerine orani %90-93 seviyesindedir. Aspir bitkisi hayvan beslemede gerek kaba yem gerekse tohum ve yagi ile konsantre yem olarak kullanilabilen onemli bir alternatif yem maddesidir. Bunun yani sira Konjuge Linoleik Asit (KLA) sentezinde kullanilan doymamis yag asitleri yonunden zengin olmasi nedeniyle ruminantlar acisindan ayri bir oneme sahiptir. Bu derlemenin amaci aspir bitkisi, silaji, yagi, tanesi ve kuspesinin ruminant beslemesinde kullanilmasinin performans ve saglik bakimindan etkisini incelemektir
Power-law behaviour of transcription factor dynamics at the single-molecule level implies a continuum affinity model

Single-molecule tracking (SMT) allows the study of transcription factor (TF) dynamics in the nucleus, giving important information regarding the search and binding behaviour of these proteins in the nuclear environment. Dwell time distributions for most TFs have been described by SMT to follow bi-exponential behaviour. This is consistent with the existence of two discrete populations bound to chromatin in vivo, one non-specifically bound to chromatin (i.e. searching mode) and another specifically bound to target sites, as originally defined by decades of biochemical studies. However, alternative models have started to emerge, from multiple exponential components to power-law distributions. Here, we present an analytical pipeline with an unbiased model selection approach based on different statistical metrics to determine the model that best explains SMT data. We found that a broad spectrum of TFs (including glucocorticoid receptor, oestrogen receptor, FOXA1, CTCF) follow a power-law distribution, blurring the temporal line between non-specific and specific binding, and suggesting that productive binding may involve longer binding events than previously thought. We propose a continuum of affinities model to explain the experimental data, consistent with the movement of TFs through complex interactions with multiple nuclear domains as well as binding and searching on the chromatin template.
Continuous Signature Monitoring: Low-Cost Concurrent Detection of Processor Control Errors

This paper presents a low-cost approach to concurrent de- tection of processor control errors that uses a simple hardware monitor and signatures embedded into the executing program. Existing signa- ture-monitoring techniques detect a large portion of processor control errors at a fraction of the cost of duplication. Analytical methods de- veloped in this paper show that the new approach, continuous signa- ture monitoring (CSM), makes major advances beyond existing tech- niques. CSM reduces the fraction of undetected control-flow errors by orders of magnitude, to less than The number of signatures reaches a theoretical minimum, lowered by as much as 3 times to a range of 4-11%. Signature cost is reduced by placing CSM signatures at locations that minimize performance loss and (for some architec- tures) memory overhead. CSM exploits the program memory's SEC/ DED code to decrease error-detection latency by as much as lo00 times, to 0.016 program memory cycles, without increasing memory over- head. This short latency allows transient faults to he tolerated.
Antidiarrhoeal property of the methanol extract of Anacardium occidentale Linn stem bark in laboratory rodents

Diarrhoea is a disease characterised by gut secretory and motility dysfunction. Anacardium occidentale stem bark decoction is used locally in management of diarrhea. This study investigated the antidairrhoeal property of the methanol extract of Anacardium occidentale stem bark in laboratory rodents. The antidiarrhoeal property of the stem bark methanol extract of Anacardium occidentale was investigated using castor oil induced diarrhoeal model in mice and Charcoal meal transit in Albino rats. There were no incidences of mortality recorded up to the dose of 5000 mg/kg extract used in the acute toxicity test. The Gas chromatography mass spectrophotometry revealed oleic-acid (45.51 %) as the predominant component. The Phytochemistry showed the presence of alkaloids, saponins, steroids, flavonoids and tannins. In the castor oil model, all the test doses of the extract significantly delayed the onset of diarrheoal and decreased the total number loose faeaces. Significant reduction in the whole number and weight of feaces were observed only with 400 and 800mg/kg doses. All the three doses of the extract delayed the gastrointestinal transit of charcoal meal. The present findings demonstrated the antidiarheoal property of the stem bark extract of Anacardium occidentale being able to delay the onset of diarrhea and decrease gastrointestinal transit. Keywords: Anacardium occidentale , Diarrheoal , motility, castor oil, charcoal meal
Seasonal differences in plankton community structure are more pronounced than spatial patterns in the headpond and downstream portions of a large impounded river

ABSTRACT Plankton community samples from a reservoir were compared to samples from a river downstream of a large hydroelectric generating station on the lower Saint John River, New Brunswick, Canada. The study focused on spatiotemporal variation of the plankton communities and their association with physicochemical parameters in the reservoir–downstream river system after almost 50 years of limnological evolution. The survey revealed 288 phytoplankton and 85 zooplankton taxa, dominated in abundance by rotifers and Cyanobacteria. The taxa richness was significantly greater than reports at the time of the reservoir creation. Spatial variability of the plankton community in the reservoir was statistically homogeneous among sites and the water layers across sites during its stratified period. The river plankton communities followed the same patterns as the reservoir, and river sites were always statistically similar to the reservoir community in terms of richness and abundance. The similarity of the communities across the reservoir and the river was highest during summer. Influential variables explaining seasonal differences in phytoplankton and zooplankton communities included physical, nutrient, and biotic factors. Our study demonstrates how a large, run-of-the-river hydroelectric generating station can regulate the plankton community up to 20 km downstream.
Mechanical Support for Efﬁcient Dissemination on the CAN Overlay Network

The various algorithms underlying P2P systems are notoriously difﬁcult to design and analyze. Coming up with new proven algorithms for such large scale systems is a challenging task. We report on the initial steps of an ongoing work that aims to devise an efficient correct-by-construction broadcast algorithm for the CAN structured overlay network. To rigorously reason about such an algorithm and prove correctness we rely on an interactive theorem prover : Isabelle/HOL. This paper presents a generic reasoning framework which should ease the promotion of formal correctness proofs of existing multicast algorithms and also facilitate the design of new ones.
A gatekeeping function of the replicative polymerase controls pathway choice in the resolution of lesion-stalled replisomes

Significance DNA replication is the high-fidelity process by which cells duplicate their chromosomes prior to cell division. Cellular DNA is constantly damaged, and the resulting DNA lesions can block replication, leading to genome instability and cell death. Cells use multiple pathways to resolve stalled replication. Understanding resolution pathway choice is important because some of these pathways are more likely to introduce mutations than others. In bacterial cells, replication stresses, including antibiotic treatment, lead to mutagenesis, which may contribute to the emergence of antibiotic resistance. In this study, we describe a molecular interaction within the Escherichia coli replication machinery that plays a crucial role in resolution pathway choice, thereby influencing whether lesion-stalled replication is resolved in an error-prone or error-free manner. DNA lesions stall the replisome and proper resolution of these obstructions is critical for genome stability. Replisomes can directly replicate past a lesion by error-prone translesion synthesis. Alternatively, replisomes can reprime DNA synthesis downstream of the lesion, creating a single-stranded DNA gap that is repaired primarily in an error-free, homology-directed manner. Here we demonstrate how structural changes within the Escherichia coli replisome determine the resolution pathway of lesion-stalled replisomes. This pathway selection is controlled by a dynamic interaction between the proofreading subunit of the replicative polymerase and the processivity clamp, which sets a kinetic barrier to restrict access of translesion synthesis (TLS) polymerases to the primer/template junction. Failure of TLS polymerases to overcome this barrier leads to repriming, which competes kinetically with TLS. Our results demonstrate that independent of its exonuclease activity, the proofreading subunit of the replisome acts as a gatekeeper and influences replication fidelity during the resolution of lesion-stalled replisomes.
Edem1 activity in the fat body regulates insulin signalling and metabolic homeostasis in Drosophila

Edem1, an endoplasmic reticulum-resident protein, acts in the fat body to regulate insulin signalling and metabolic status in Drosophila, which aids in survival against nutrient deprivation. In Drosophila, nutrient status is sensed by the fat body, a functional homolog of mammalian liver and white adipocytes. The fat body conveys nutrient information to insulin-producing cells through humoral factors which regulate Drosophila insulin-like peptide levels and insulin signalling. Insulin signalling has pleiotropic functions, which include the management of growth and metabolic pathways. Here, we report that Edem1 (endoplasmic reticulum degradation–enhancing α-mannosidase–like protein 1), an endoplasmic reticulum–resident protein involved in protein quality control, acts in the fat body to regulate insulin signalling and thereby the metabolic status in Drosophila. Edem1 limits the fat body–derived Drosophila tumor necrosis factor-α Eiger activity on insulin-producing cells and maintains systemic insulin signalling in fed conditions. During food deprivation, edem1 gene expression levels drop, which aids in the reduction of systemic insulin signalling crucial for survival. Overall, we demonstrate that Edem1 plays a vital role in helping the organism to endure a fluctuating nutrient environment by managing insulin signalling and metabolic homeostasis.
Body composition, strength and specific physical fitness as factors to discriminate performance in judokas

Background & Study Aim: Body composition, maximum strength and the special judo fitness are determining factors to high-level judo performance. The aim of the present study was to relationships between indicators of body composition, maximum strength and special judo fitness can discriminate between judokas of different competitive levels who have yet to reach international status. Material & Methods: A total of 19 judokas, aged 24.3 ±5.3 years were divided into two groups, according to the titles or classification won in the previous 3 years in regional (RE) or state and national (SN) competitions. Body composition, the 1-RM test of squat, supine and a barbell row (B-Row), and the Special Judo Fitness Test index (SJFT-I) were applied to both groups. Results: Body fat (BF), fat-free mass (FFM), lean body mass (LBM) and body fat percentage (BFP) were not determining factors to indicate judokas level. However, 1-RM of the squat and B-Row test identified athletes with the best competitive performance. The SN group obtained the best SJFT index (SJFT-I). Conclusions: The 1-RM test with squat and row exercises, as well as the SJFT-I were able to identify judokas with the best competitive performance. Although BF and body composition can vary between weight categories, it is not a good indicator to differentiate regional judokas from their state and national counterparts.
Leptin hormone diversity in different species-explained with polymorphism study in Pandharpuri buffalo

Buffaloes constitute 35% percent of the total bovine population in India and contribute in the 53 % of total milk production. Current technologies enable scientists to improve the accuracy and efficacy of traditional selection by applying the genetic markers. Leptin gene is one of the markers which have been established for milk traits in cattle. But our recent research in buffalo shows that there may be other markers or the sites which may define the milk traits in animals. This study was aimed to reveal PCR-RFLP pattern of the leptin (exon 2) locus in the Pandharpuri breed of buffaloes. Fragments of leptin 331 bp and OLR1-288bp were amplified by PCR, and subsequently RFLP study was carried out to identify genotypes of the animals with HphI restriction enzyme and HaeIII restriction enzyme to know the relationship of polymorphism in Exon 2 of leptin gene with milk traits but no such relationship has been found. The monomorphic pattern of leptin gene was observed in the present study for exon 2 in Pandharpuri Buffaloes.
Novel Low-Density Signature Structure for Synchronous DS-CDMA Systems

Novel Low-Density Signature (LDS) structure is proposed for synchronous Code Division Multiple Access (CDMA) systems for an uplink communication over AWGN channel. It arranges the system such that the interference pattern being seen by each user at each received sampled chip is different. Furthermore, new near-optimum chip-level iterative multiuser decoder is suggested to exploit the proposed structure. It is shown via computer simulations that, without forward error correction (FEC) coding, the proposed LDS structure could achieve near single-user performance with up to 200% loading condition. As the proposed iterative decoding converges relatively fast, the complexity is kept much more affordable than that of optimum multiuser detection (MUD) with conventional structure.