Miracle-dz/UniFAR-FTUs huggingface dataset:
Doo bee doo bee doo

Abstract We explore the design and implementation of Frank, a strict functional programming language with a bidirectional effect type system designed from the ground up around a novel variant of Plotkin and Pretnar’s effect handler abstraction. Effect handlers provide an abstraction for modular effectful programming: a handler acts as an interpreter for a collection of commands whose interfaces are statically tracked by the type system. However, Frank eliminates the need for an additional effect handling construct by generalising the basic mechanism of functional abstraction itself. A function is but the special case of a Frank operator that interprets no commands. Moreover, Frank’s operators can be multihandlers which simultaneously interpret commands from several sources at once, without disturbing the direct style of functional programming with values. Effect typing in Frank employs a novel form of effect polymorphism which avoids mentioning effect variables in source code. This is achieved by propagating an ambient ability inwards, rather than accumulating unions of potential effects outwards. With the ambient ability describing the effects that are available at a certain point in the code, it can become necessary to reconfigure access to the ambient ability. A primary goal is to be able to encapsulate internal effects, eliminating a phenomenon we call effect pollution. Moreover, it is sometimes desirable to rewire the effect flow between effectful library components. We propose adaptors as a means for supporting both effect encapsulation and more general rewiring. Programming with effects and handlers is in its infancy. We contribute an exploration of future possibilities, particularly in combination with other forms of rich type systems.
Meningkatkan Peran Ibu Rumah Tangga Dalam Pengelolaan Keuangan

Komponen utama dari masyarakat adalah keluarga yaitu tempat yang nyaman bagi para anggota untuk hidup, beraktifitas dan mencapai kesejahteraan. Peran seorang ibu dalam keluarga sangat penting, terutama untuk mengelola keuangan. Masalah utama yang sering terjadi dalam tata kelola keuangan keluarga, yaitu tidak ada perencanaan kas, penghasilan selalu habis untuk dibelanjakan, minimnya pengetahuan dan keterampilan manajemen keuangan keluarga. Kegiatan ini bertujuan untuk: 1) meningkatkan pengetahuan dan keterampilan manajemen keuangan dan pengelolaan kas, dan 2) meningkatkan peran ibu rumah tangga dalam pengelolaan keuangan. Pelaksanaan pengabdian dilakukan di kelurahan Lewet kecamatan Amurang, kabupaten Minahasa Selatan. Metode yang digunakan berupa Pendidikan dan Pelatihan Masyarakat, dengan cara : 1) penyuluhan untuk meningkatkan pemahaman serta kesadaran para peserta, 2) demonstrasi untuk menyusun laporan keuangan sederhan, 3) pelatihan untuk membuat perencanaan kas dan mengelola keuangan. Hasil kegiatan menunjukkan bahwa terjadi peningkatan kemampuan para peserta dalam manajemen keuangan keluarga, peningkatan kerampilan dalam perencanaan dan pengelolaan kas, dan peningkatan peran ibu rumah tangga dalam mengendalikan biaya-biaya harian rumah tangga.
A unidirectional ultra‐wideband circularly polarized spiral antenna array

This paper studies a unidirectional ultra‐wideband circularly polarized (CP) spiral antenna array. The ultra‐wideband high‐gain CP operation is realized by implementing four‐element sequentially rotated spiral array antennas fed with an ultra‐wideband feeding network. Tapered multisections power dividers and broadband microstrip‐slot phase shifters are utilized to provide accurately equal power division and constant phase shifts of 90°. In order to further improve the CP operating bandwidth, foam of absorber is adopted between the radiating aperture and the feeding network substrate. The proposed CP array is designed, fabricated, and measured. Test results show that the impendence bandwidth of the proposed array covers 2.2 to 11.6 GHz (5.3:1) and 3 dB axial‐ratio bandwidth covers 2.3 to 13 GHz (5.65:1), demonstrating a stable CP array performance within an ultra‐wide working bandwidth.
An Unsupervised Deep Learning System for Acoustic Scene Analysis

Acoustic scene analysis has attracted a lot of attention recently. Existing methods are mostly supervised, which requires well-predefined acoustic scene categories and accurate labels. In practice, there exists a large amount of unlabeled audio data, but labeling large-scale data is not only costly but also time-consuming. Unsupervised acoustic scene analysis on the other hand does not require manual labeling but is known to have significantly lower performance and therefore has not been well explored. In this paper, a new unsupervised method based on deep auto-encoder networks and spectral clustering is proposed. It first extracts a bottleneck feature from the original acoustic feature of audio clips by an auto-encoder network, and then employs spectral clustering to further reduce the noise and unrelated information in the bottleneck feature. Finally, it conducts hierarchical clustering on the low-dimensional output of the spectral clustering. To fully utilize the spatial information of stereo audio, we further apply the binaural representation and conduct joint clustering on that. To the best of our knowledge, this is the first time that a binaural representation is being used in unsupervised learning. Experimental results show that the proposed method outperforms the state-of-the-art competing methods.
Deformability of Volume-Compressed Concrete Core of Concrete Filled Steel Tube Columns

The application scale related to concrete filled steel tube columns is gradually expanding. Therefore, increasingly greater attention is given to their structural improvement. In particular, concrete filled steel tube columns can be manufactured with precompressed concrete core in order to improve the efficiency. However, known relationships used to calculate axial deformations of concrete filled steel tube structures are obtained empirically and unsuitable for precompressed elements. The formula for defining axial deformations of volume-compressed concrete core of concrete filled steel tube columns when achieving its strength is obtained in this study based on phenomenological approach. This formula allows carrying out accurate calculations when using structures both with precompressed and uncompressed concrete.
Classification of Smartphone Application Reviews Using Small Corpus Based on Bidirectional LSTM Transformer

This paper provides the classification of the review texts on a smartphone application posted on social media. We propose a high performance binary classification method (positive/negative) of review texts, which uses the bidirectional long short-term memory (biLSTM) self-attentional Transformer and is based on the distributed representations created by unsupervised learning of a manually labelled small review corpus, dictionary, and an unlabeled large review corpus. The proposed method obtained higher accuracy as compared to the existing methods, such as StarSpace or the Bidirectional Encoder Representations from Transformer (BERT).
ELISA-kit for diagnosis of sheep and goats paratuberculosis.

Summary A LAM 'antigen from culture of Mycobacterium paratuberculosis was prepared and used for antibody capture in an ELISA kit for the diagnosis of sheep and goat paratuberculosis. The kit was checked using positive and negative sera tested by ELISA using a commercial kit, registered in Romania, as reference. The results indicated a good kit behavior and agreed with those for the reference kit as to sensitivity and specificity. The kit was registered as ELIPARA'OC.
Pemanfaatan Lumpur Sungai Ciliwung Dengan Metode Solidifikasi

Sediment potentially leads to siltation of the river and overflow of river water during the rainy season. Existing management of the sediment is to collect, transport and dispose in a site without any proper handling procedure prior and it may cause environment burden. This study aims to utilize the sediment in Ciliwung river as a structural material through a set of solidification procedure. The mixing of cement and fine aggregate is necessary to produce 5x5x5 cm3 mortar to be tested. The sediment may be classified as non-hazardous waste and it can be used to substitute sand as the fine aggregate. The highest compressive strength of 216 kg/cm2 can be produced at ratio of cement and the fine aggregate of 1:3 with the sediment substitution of 50% and the product can be classified as class B of paving block or class I of brick. Through Toxicity Characteristic Leaching Procedure (TCLP) test, it find that the metals substance in the sediment bounded properly in the solid matrix and it prevents the metals leaching out to the environment. The study reveals that the utilization of the sediment through the solidification become a prospective measure by producing a useful product with minimum impact on the environment. Keywords: Sediment, fine aggregate, solidification, compressive strength, Toxicity Characteristic Leaching Procedure ABSTRAK Lumpur berpotensi menyebabkan pendangkalan sungai dan meluapnya air sungai selama musim hujan. Manajemen lumpur yang ada adalah mengumpulkan, mengangkut, dan membuang di lokasi tanpa prosedur penanganan yang tepat sebelumnya dan dapat membebani lingkungan. Penelitian ini bertujuan untuk memanfaatkan lumpur di sungai Ciliwung sebagai material struktural melalui serangkaian prosedur pemadatan. Pencampuran semen dan agregat halus diperlukan untuk menghasilkan mortar 5x5x5 cm3 untuk diuji. Lumpur dapat diklasifikasikan sebagai limbah tidak berbahaya dan dapat digunakan untuk menggantikan pasir sebagai agregat halus. Kuat tekan tertinggi 216 kg/cm2 didapat pada rasio semen dan agregat halus 1: 3 dengan substitusi sedimen 50% dan produk dapat diklasifikasikan sebagai paving block kelas B atau bata kelas I. Melalui uji Toxicity Characteristic Leaching Procedure (TCLP), ditemukan bahwa zat logam dalam lumpur terikat dengan benar dalam matriks padat dan mencegah logam berpindah ke lingkungan. Dari penelitian ini, didapatkan bahwa pemanfaatan lumpur sungai dengan pemadatan berpotensi menghasilkan produk yang bermanfaat dengan dampak minimal terhadap lingkungan. Kata kunci: Lumpur, Agregat halus, Solidifikasi, Kuat tekan, Toxicity Characteristic Leaching Procedure
A comparison of bank and credit union growth around the financial crisis

The purpose of this research is to examine the growth rates of commercial banks and credit unions around the financial crisis and recovery. Credit unions are analyzed as a group and by field of membership. Specifically, this research analyzes the growth rates of assets, deposits, and loans. ,This research employs univariate tests of differences to examine the median growth rates for commercial banks and credit unions. Unbalanced pool regressions analyze growth rates during the pre-crisis, crisis, and recovery periods, controlling for size, net charge-offs, and unemployment. ,Univariate test results that control for size show that banks grow at faster rates than credit unions for most of the pre-crisis years. However, medium sized credit unions grow at faster rates for most of the crisis and recovery years. Results of unbalanced pool regressions suggest that, overall, credit unions grow at slower rates than do banks. However, during the crisis and recovery, credit union growth is significantly greater than that of banks, after controlling for net charge-offs, size, and unemployment. Credit union growth varies by field of membership type. ,Although a large volume of research examines commercial bank performance around the financial crisis, only a few papers assess the performance of credit unions. And very few papers compare commercial banks and credit unions. This paper explores how the recent financial crisis influenced the growth of commercial banks and credit unions from 2005 to 2013.
Compact Ultrawideband Antenna on Folded Ground Plane

A compact ultrawideband antenna on folded ground plane is proposed, which is a compact and low-profile structure. The proposed antenna mimics the operation of a unit element of the tightly coupled dipole array (TCDA) with modified boundary condition. The antenna does not have the PMC boundary required by the original TCDA, which makes the implementation and the impedance matching of the proposed antenna easy. All the design procedures are explained and confirmed by the EM simulation. The measured results show that the impedance bandwidth (IBW) is 0.72–3.43 GHz (130.6%) for the VSWR < 2 and that the radiation efficiency is over 89% in the operating band. The average peak gain is 2.33 dBi. These results are in good agreement with those of the simulation. The proposed antenna is compact, with an electrical size (<inline-formula> <tex-math notation="LaTeX">$\kappa \alpha $ </tex-math></inline-formula>) of 0.82 at the lowest operating frequency and an overall dimension of <inline-formula> <tex-math notation="LaTeX">$0.17\lambda _{\mathrm {low}} \times 0.17\lambda _{\mathrm {low}} \times 0.11\lambda _{\mathrm {low}}$ </tex-math></inline-formula> in terms of the wavelength at the lowest operating wavelength.
Genetic analysis of susceptibility of Arabidopsis to downy mildew infection

The mechanisms by which host plants contribute to their colonization by hemibiotrophic and biotrophic fungal and oomycete pathogens is a poorly understand aspect of molecular plant pathology. The aim of this study was to identify Arabidopsis genes controlling cellular processes that influence susceptibility to the biotrophic oomycete Hyaloperonospora parasitica. Chapter 2 describes a forward genetic approach to identify Arabidopsis mutants that show loss of compatibility to H. parasitica. Six of these so called downy mildew resistant (dmr) mutants were characterized in more detail. dmr3 and dmr4 show resistance to a broad range of pathogens whereas dmr1, dmr2, dmr5 and dmr6 show a type of resistance more specific to H. parasitica. Chapter 3 shows that constitutive high expression of defense related genes in the dmr5 mutant contributes to resistance to H. parasitica. Surprisingly, it was found that dmr5 mutants were mutated in RPM1, a resistance gene of the NBS-LRR class that confers resistance to Pseudomonas syringae bacteria carrying the avrB or avrRPM1 genes. RPM1 function in dmr5 mutants is largely, but not completely, lost. Genetic data indicate that dmr5 encodes a mild autoactive form of RPM1. Further studies on the mutant RPM1 protein could provide more insight to R protein function. Chapter 4 describes the map based cloning of DMR6 that encodes a putative 2OG-Fe(II) oxygenase. DMR6 is strongly induced in infected host cells during both compatible and incompatible interactions with H. parasitica. DMR6 is also highly induced after application of BTH and is constitutively high expressed in broad range disease resistance mutants. Absence of a functional DMR6 gene results in resistance to H. parasitica, that is accompanied with high expression of several defense-related genes including DMR6 itself. Together, the obtained data indicate that DMR6 is a negative regulator of defense. Chapter 5 describes the identification of a group of Arabidopsis genes that is induced during compatible interactions but not during incompatible interactions. Most of these so called compatible-specific genes (CS-genes) are also induced during various abiotic stress conditions such as cold, dehydration, high salt and high light, but also in response to ABA. The activation of CS-genes can either reflect a physiological response on pathogen infection or be triggered by pathogen effector proteins. As the CS-genes are not induced as part of a defense response they provide a first glimpse into non-defense related processes during compatible interactions.
Ingestive and metabolic behavior of bovines fed rations containing probiotics

O objetivo deste trabalho foi o de avaliar a inclusao de cultura de Saccharomices cerevisiae e Lactobacillus casei na dieta de bovinos, sobre o consumo e digestibilidade da materia seca (MS), materia orgânica (MO), proteina bruta (PB), fibra em detergente neutro (FDN) e da fibra em detergente acido (FDA), pH e nitrogenio amoniacal (N-NH3) no liquido ruminal e nitrogenio ureico plasmatico (NUP). As racoes foram isoproteicas (13,04% PB) e isoenergeticas (66,39% NDT), sendo a silagem de sorgo usada como volumoso (50% da MS). Foram utilizados seis machos castrados, mesticos (½Holandesx ½Gir), com peso medio de 317 kg e 24 meses de idade, dotados de cânula permanente no rumen. Os tratamentos foram determinados como controle (sem adicao de probiotico) e com probiotico, onde foram incluidos 4,5 x 109 UFC/animal/dia de Saccaromyces cerevisiae e 3,1 x 107 UFC/animal/dia de Lactobacillus casei. O experimento teve duracao de 38 dias, dividido em dois periodos de 19 dias. No presente trabalho o fornecimento de probiotico contendo levedura ativa Saccharomyces Cerevisiae e bacteria latica Lactobacillus casei nao apresentou influencia no consumo e na digestibilidade da MS, MO, PB, FDN e FDA, pH ruminal, N-NH3 ruminal, e NUP, indicando que pode ser usado na alimentacao de bovinos quando for necessario.
A Numerical Study of Efficient Sampling Strategies for Randomized Singular Value Decomposition

The randomized singular value decomposition (rSVD) method is a powerful dimension reduction technique that uses random projection matrices to project the data onto lower dimensional subspace. A crucial step of rSVD algorithm is the sampling process, which will be used further to generate a lowdimensional basis for the subspace of available data. To improve computational performance, this paper incorporates rSVD with different efficient sampling strategies, which include Gaussian sampling, uniform sampling, sparse sampling and sampling with K-mean clustering. The numerical tests compare the accuracy and the execution time used in computing optimal low-rank basis by applying rSVD with each of these sampling methods for an image reconstruction application.
Réparation par excision de nucléotides spécifique au cycle cellulaire : implications pour la résistance à la chimiothérapie dans le cancer de l'ovaire humain

Ovarian cancer is one of the most lethal cancers. Patients usually respond very well to chemotherapy but most will eventually relapse. Many molecular processes have already been shown to influence chemotherapy resistance, including more efficient DNA repair by nucleotide excision repair. One commonly used drug for the treatment of ovarian cancer is cisplatin, a drug inducing lesions on DNA that can be repaired by NER. A previous study in our lab has shown that NER can be deficient specifically in S-phase. This effect is dependent on the kinase ATR. Thus, we chose to explore the possibility that this deficiency has an impact on resistance to cisplatin. Our objectives are: (i) to study the repair profile by NER in S-phase in ovarian cancer cell lines; (ii) to test if chemotherapeutic treatment can modulate nucleotide excision repair in cell lines by selecting cells that repair damage by NER more efficiently; (iii) to measure the sensitivity of these cell lines to cisplatin; (iv) to test if this deficiency can be attributed to ATR signalling. We show in this study that many ovarian cancer cell lines have an important defect in GG-NER specifically in S-phase. Pairs of cell lines that were isolated before and after chemotherapeutic treatment show an increase in their GG-NER efficiency in S-phase, suggesting a role for this enzymatic process in chemotherapy resistance. Also, we have found a correlation between the efficiency of GG-NER in S-phase and the sensitivity to cisplatin in the cell lines used in our study. However, the defect in GG-NER in S-phase in these ovarian cancer cell lines doesn’t seem to be due to ATR because the phosphorylation of H2AX in response to UV is equivalent between the different cell lines. This study will have an impact on our
Caractérisation des canaux anioniques dans la membrane du globule rouge humain infecté par Plasmodium falciparum

La permeabilite membranaire de l’erythrocyte humain est fortement modifiee au cours de l’infection par Plasmodium falciparum, et de nouvelles voies de permeabilites (NPPs) ayant des proprietes de canaux anioniques apparaissent. Des canaux sont actifs dans la membrane de l’erythrocyte infecte, neanmoins les donnees de la litterature divergent sur le nombre et la nature de ces canaux. Les premiers resultats de cette these montrent l’activite de deux types de canaux endogenes, l’IRC et l’ORC, lors de l’infection par Plasmodium falciparum. Un troisieme type de canal, le SCC, a egalement pu etre caracterise. Par la suite, une caracterisation de l’activite de ces canaux a montre que le SCC etait semblable au canal PSAC decrit dans des conditions supra-physiologiques; et qu’il s’agissait vraisemblablement d’un canal endogene de type ClC-2. Par ailleurs, si l’activite spontanee de l’ORC ne semble pas modifiee lors de l’infection, l’IRC est active par le parasite et son comportement au niveau unitaire est modifie en la presence de serum, expliquant les modifications observees sur la conductance globale. Enfin, dans la derniere partie de cette etude, des donnees suggerant l’implication d’un complexe endogene de type PBR (Peripheral Benzodiazepine Receptor) dans le phenomene des NPPs ont ete accumulees. Dans cette hypothese, l’IRC ne serait alors qu’un sous-etat d’un canal anionique de conductance plus importante. Ce travail permet donc de mieux comprendre les donnees electrophysiologiques sur les canaux anioniques dans la membrane de l’erythrocyte infecte, et propose une nouvelle hypothese quant a la nature des voies de permeabilite impliquees dans les NPPs.
Determinants of self-regulated learning practices in elementary education: a multilevel approach

ABSTRACT Research indicated overwhelmingly the desirability of self-regulated learning (SRL) in elementary education and the role of teachers therein. Specifically, revealing correlates of teachers’ engagement in SRL classroom activities is desirable. The study’s main aim is to identify teacher and school mechanisms that facilitate or impede elementary teachers in introducing SRL practices. Teacher-reported data from 591 teachers were used in a multilevel random-effects model in order to consider the clustered structure of teachers within schools. The model was built in four steps mapping the role of different teacher and school mechanisms. Results indicate teacher-level components to be most important. Teachers’ developmental beliefs about education, their orientation towards SRL in elementary education, and the nature of previous experiences with autonomous learning, significantly correlate with teachers’ self-reported SRL promotion. However, a small proportion is still related to school differences. Only school policy concerning SRL was identified as a significant correlate of SRL promotion.
Multiscale Estimation of Event Arrival Times and Their Uncertainties in Hydroacoustic Records from Autonomous Oceanic Floats

We describe an algorithm to pick event onsets in noisy records, characterize their error distributions, and derive confidence intervals on their timing. Our method is based on an Akaike information criterion that identifies the partition of a time series into a noise and a signal segment that maximizes the signal-to-noise ratio. The distinctive feature of our approach lies in the timing uncertainty analysis, and in its application in the time domain and in the wavelet timescale domain. Our novel data are records collected by freely floating Mobile Earthquake Recording in Marine Areas by Independent Divers (MERMAID) instruments, midcolumn hydrophones that report triggered segments of ocean-acoustic time series.