Miracle-dz/UniFAR-FTUs huggingface dataset:
Application in the STRATHE trial of a score system to compare the efficacy and the tolerability of different therapeutic strategies in the management of hypertension

A score system integrating the evolution of efficacy and tolerability over time was applied to a subpopulation of the STRATHE trial, a trial performed according to a parallel group design, with a double-blind, random allocation to either a fixed-dose combination strategy (perindopril/indapamide 2 mg/0.625 mg, with the possibility to increase the dose to 3 mg/0.935 mg, and 4 mg/1.250 mg if needed, n = 118), a sequential monotherapy approach (atenolol 50 mg, followed by losartan 50 mg and amlodipine 5 mg if needed, n = 108), or a stepped-care strategy (valsartan 40 mg, followed by valsartan 80 mg and valsartan 80 mg+ hydrochlorothiazide 12.5 mg if needed, n = 103). The aim was to lower blood pressure below 140/90 mmHg within a 9-month period. The treatment could be adjusted after 3 and 6 months. Only patients in whom the study protocol was strictly applied were included in this analysis. At completion of the trial the total score averaged 13.1 ± 70.5 (mean ± SD) using the fixed-dose combination strategy, compared with −7.2 ± 81.0 using the sequential monotherapy approach and −17.5 ± 76.4 using the stepped-care strategy. In conclusion, the use of a score system allows the comparison of antihypertensive therapeutic strategies, taking into account at the same time efficacy and tolerability. In the STRATHE trial the best results were observed with the fixed-dose combination containing low doses of an angiotensin enzyme converting inhibitor (perindopril) and a diuretic (indapamide).
THE ROLE OF VIDEO-RECORDED SPEAKING TASK IN IMPROVING STUDENTS’ SPEAKING SKILL

: This study is aimed at examining the effectiveness of video recorded speaking task in improving students’ speaking skill. A quasi-experimental design is employed in this study. The population was the tenth grade students of a vocational school in Bandung. The sample was 30 students chosen through convenience sampling. The sample was divided into two groups: experimental and control groups. Each group was given a pre-test at the beginning and a post-test at the end of the treatment. The kind of speaking test was mini conversation test where the researcher gave the students topic, and gave them time to prepare talks, and then they performed it in front of the class. In this stage, the researcher assessed their speaking skill using the scoring rubric by Brown (2001) cited in Vidhiasi (2017). The result of pre-test score showed that there was no significant difference between two classes. Then, the result of analyzing gained score, generated from the difference between pre-and post-test, revealed that the score of experimental class was significantly higher than controlled class at significance level 0,05. It means that the use of video recorded speaking task was effective in improving students’ speaking skill.
Artistic Technology Integration: Stories From Primary and Elementary Classrooms.

The purpose of this article is to inform teachers about the ways technology can be integrated to add value to literacy instruction. Artistic technology-integrated literacy and disciplinary instruction in preK through grade 4 classrooms is described through the stories of five teachers who were identified as both strong teachers of literacy and strong technology integrators. Artistic integrators select digital tools based upon their instructional purpose and leverage the capabilities of the tools to support and extend the literacy development of students. They use technology to provide opportunities for students to write for authentic purposes and audiences, and to create communities of learners both within and beyond the classroom walls. The authors forward a theoretical framework for thinking about the characteristics of pedagogically sound, technology integration, which they have named TPACK+ and provide guiding principles for classroom practice.
A critical cultural inquiry into insider issues in South Korean art education

Over the past decades, many art advocates have argued for the intrinsic value of learning in the arts. Nevertheless, the arts continue to struggle to find a secure place within the school curriculum. Concerned about the arts’ impact on classroom practice, this paper aims to cast light on diverse realities constructed by art teachers as insiders in marginal contexts. This will be done by reviewing a critical cultural inquiry into art education practice in South Korea. Two interpretive analyses of individual teachers’ life stories have disclosed the practitioners’ relationships to established power dynamics between the dominant practice and a developing alternative practice network within the system. The discussion focuses on the inherent contradictions and opportunities identified within the context of Korean education. This paper provides cultural resources for conscious professional transformation of practitioners and contributes to broader discussions on the socio-educational status of art in education.
A Comparison Of Hybrid Beamforming Using MMSE And ZF Criteria

mmWave signals are being widely used in cellular technologies like 5G,6G.mmWaves will find huge application in the coming future. But mmWave experiences more pathloss than a normal microwave. One of the technique to combat this pathloss is by using large antenna arrays with beamforming capabilities. Traditionally,beamforming was implemented completely in digital domain. But as systems becomes more complex more number of RF chains are required. This leads to increase in cost and power consumption. Therefore a hybrid beamforming system with benefits of both analog and digital beamforming becomes ideal choice. Recent research has exploited spatial properties of mmWave to provide algorithimic solution to hybrid beamforming designs. We consider sparse reconstruction and matching pursuit algorithms to formulate the hybrid beamforming problem. The aim of this paper is to provide a comparative studie of hybrid beamforming algorithm using MMSE and ZF criteria. Our results shows that MMSE criteria outperforms ZF criteria.
Optimal Decentralized Investment Management

We study an institutional investment problem in which a centralized decision maker, the Chief Investment Officer (CIO), for example, employs multiple asset managers to implement investment strategies in separate asset classes. The CIO allocates capital to the managers who, in turn, allocate these funds to the assets in their asset class. This two‐step investment process causes several misalignments of objectives between the CIO and his managers and can lead to large utility costs for the CIO. We focus on (1) loss of diversification, (2) unobservable managerial appetite for risk, and (3) different investment horizons. We derive an optimal unconditional linear performance benchmark and show that this benchmark can be used to better align incentives within the firm. We find that the CIO's uncertainty about the managers' risk appetites increases both the costs of decentralized investment management and the value of an optimally designed benchmark.
Sld3, which interacts with Cdc45 (Sld4), functions for chromosomal DNA replication in Saccharomyces cerevisiae

Cdc45, which binds to the minichromosomal maintenance (Mcm) proteins, has a pivotal role in the initiation and elongation steps of chromosomal DNA replication in eukaryotes. Here we show that throughout the cell cycle in Saccharomyces cerevisiae, Cdc45 forms a complex with a novel factor, Sld3. Consistently, Sld3 and Cdc45 associate simultaneously with replication origins in the chromatin immunoprecipitation assay: both proteins associate with early‐firing origins in G1 phase and with late‐firing origins in late S phase. Moreover, the origin associations of Sld3 and Cdc45 are mutually dependent. The temperature‐sensitive sld3 mutation confers a defect in DNA replication at the restrictive temperature and reduces an interaction not only between Sld3 and Cdc45, but also between Cdc45 and Mcm2. These results suggest that the Sld3‐Cdc45 complex associates with replication origins through Mcm proteins. At the restrictive temperature in sld3‐5 cells, replication factor A, a single‐strand DNA binding protein, does not associate with origins. Therefore, the origin association of Sld3‐Cdc45 complex is prerequisite for origin unwinding in the initiation of DNA replication.
Nonstandard Models and Kripke's Proof of the Gödel Theorem

This lecture, given at Beijing University in 1984, presents a remarkable (previously unpublished) proof of the Gödel Incompleteness Theorem due to Kripke. Today we know purely algebraic techniques that can be used to give direct proofs of the existence of nonstandard models in a style with which ordinary mathematicians feel perfectly comfortable—techniques that do not even require knowledge of the Completeness Theorem or even require that logic itself be axiomatized. Kripke used these techniques to establish incompleteness by means that could, in principle, have been understood by nineteenth-century mathematicians. The proof exhibits a statement of number theory—one which is not at all “self referring”—and constructs two models, in one of which it is true and in the other of which it is false, thereby establishing “undecidability”
A proteome analysis of conditioned media from human neonatal fibroblasts used in the maintenance of human embryonic stem cells

The pathways involved in the maintenance of human embryonic stem (hES) cells remain largely unknown, although some signaling pathways have been identified in mouse embryonic stem (mES) cells. Fibroblast feeder layers are used to maintain the undifferentiated growth of hES cells and an examination of the conditioned media (CM) of human neonatal fibroblasts (HNFs) could provide insights into the maintenance of hES cells. The neonatal foreskin fibroblast line (HNF02) used in this study was shown to have a normal 2n = 46, XY chromosomal complement and to support the undifferentiated growth of the Embryonic Stem Cell International Pte. Ltd.‐hES3 cell line. The CM of HNF02 was examined using two‐dimensional liquid chromatography‐tandem mass spectrometry (2‐D LCMS) and two‐dimensional electrophoresis (2‐DE) followed by matrix‐assisted laser desorption/ionization‐time of flight tandem mass spectrometry (2‐DE/MALDI). A total of 102 proteins were identified, 19 by 2‐DE/MALDI, 53 by 2‐D LCMS and 30 by both techniques. These proteins were classified into 15 functional groups. Proteins identified in the extracellular matrix and differentiation and growth factor functional categories were considered most likely to be involved in the maintenance of hES cell growth, differentiation and pluripotency as these groups contained proteins involved in a variety of events including cell adhesion, cell proliferation and inhibition of cell proliferation, Wnt signaling and inhibition of bone morphogenetic proteins.
GKLEE: concolic verification and test generation for GPUs

Programs written for GPUs often contain correctness errors such as races, deadlocks, or may compute the wrong result. Existing debugging tools often miss these errors because of their limited input-space and execution-space exploration. Existing tools based on conservative static analysis or conservative modeling of SIMD concurrency generate false alarms resulting in wasted bug-hunting. They also often do not target performance bugs (non-coalesced memory accesses, memory bank conflicts, and divergent warps). We provide a new framework called GKLEE that can analyze C++ GPU programs, locating the aforesaid correctness and performance bugs. For these programs, GKLEE can also automatically generate tests that provide high coverage. These tests serve as concrete witnesses for every reported bug. They can also be used for downstream debugging, for example to test the kernel on the actual hardware. We describe the architecture of GKLEE, its symbolic virtual machine model, and describe previously unknown bugs and performance issues that it detected on commercial SDK kernels. We describe GKLEE's test-case reduction heuristics, and the resulting scalability improvement for a given coverage target.
Anthropometry and Dietary Intake before and during a Competition in Mountain Runners

Mountain running is a non-Olympic sport consisting of uphill or up- and downhill races at moderate-to-high altitude. Special nutritional requirements are anticipated, but no nutritional data of mountain runners are available. In three studies, physique of elite and recreational athletes (N = 62), maximum oxygen uptake (N = 3), and prerace and race day dietary intake (N = 6) were measured (mean ± SD). Mean oxygen uptake was 68.7 ± 5.2 mL/kg/min. Energy and carbohydrate intake before a race (29 ± 15 km, 1596 ± 556 m HD) was 3199 ± 701 kcal/d (13.4 ± 2.9 MJ/d) and 497 ± 128 g/d (8.3 ± 1.8 g/kg/d) in German national team members. Fluid intake was calculated as 2783 ± 1543 mL/d. During the race, athletes consumed 336 ± 364 kcal and 927 ± 705 mL of fluids. Substrate intake per hour was calculated as 23 ± 22 g of carbohydrates and 4.0 ± 3.2 g of proteins. In conclusion, anthropometric and oxygen uptake characteristics of mountain runners were similar to those reported for elite distance runners. Carbohydrate intake before and during the race was below recommendations for endurance athletes. This is of concern when considering the increased reliance on carbohydrates at altitude.
DIVERSITY BASED TEXT SUMMARIZATION

Diversity of selected sentences is an important factor in automatic text summarization to control redundancy in the summarized text. In this paper, we propose a method called maximal marginal importance (MMI) for text summarization based on the idea of the well-known diversity approach maximal marginal relevance (MMR) where an emphasis is on the diversity based binary tree is used to exploit the diversity among the document sentences, where the whole document is clustered into a number of clusters, and then each cluster is presented as one binary tree or more. In our method, the sentence is evaluated based on its importance and its relevance. Our experimental results shown that the proposed method outperfonns the three benchmark methods used in this study. Abstract: Diversity of selected sentences is an important factor in automatic text summarization to control redundancy in the summarized text. In this paper, we propose a method called maximal marginal importance (MMI) for text summarization based on the idea of the well-known diversity approach maximal marginal relevance (MMR) where an emphasis is on the diversity based binary tree is used to exploit the diversity among the document sentences, where the whole document is clustered into a number of clusters, and then each cluster is presented as one binary tree or more. In our method, the sentence is evaluated based on its importance and its relevance. Our experimental results shown that the proposed method outperforms the three benchmark methods used in this study.
Graph-Attention-Network-Based Cost Estimation Model in Materialized View Environment

In database systems, materialized views (MV) pre-emptively materialize the common portion of query workloads to reduce redundant computations through query rewriting. However, the utilization of these rewritten queries depends on the accuracy of cost estimation models. Despite the promising performance of learning-based cost estimation models, they still exhibit limitations. Firstly, they are unable to capture the relationships between cross-node dependencies and node hierarchy across physical execution plan trees, hindering accuracy improvements. Secondly, they cannot simultaneously support original queries and rewritten queries, thereby limiting compatibility enhancements. In this paper, we introduce TGAE, a cost estimation model employing Graph Attention Network (GAT) to learn cross-node dependencies among physical execution plans. TGAE first utilizes learning embeddings instead of one-hot encoding and then introduces an efficient node feature encoding to facilitate the dynamic creation of base tables tailored to meet the requirements of MV environments. To demonstrate the effectiveness of TGAE, we design and implement AGatMv, a system with view design and exploitation capabilities. Experimental results on two query workloads from the real-world IMDb dataset show significant improvements in cost estimation accuracy and rewrite evaluation correctness compared to PostgreSQL.
Power Domain Non-Orthogonal Multiple Access: Survey of Design Schemes and Future Challenges

This paper gives a thorough look and assessment of power domain non-orthogonal multiple access (PD-NOMA) design schemes in order to solve important problems in fifth-generation (5G) telecommunications systems. This study presents novel approaches to improve throughput of 5G networks by scrutinizing the constraints of existing multiple access architectures. This study stands out by conducting an in-depth investigation into the distinctive utilization of time frequency and coding by PD-NOMA, with a particular focus on its application in heterogeneous wireless networks. Through their innovative contributions to the field of telecommunications engineering, the findings provide fresh perspectives on how to optimize the performance of 5G networks.
Recombinant SAG1 Antigen to Detect Toxoplasma gondii Specific Immunoglobulin G in Human Sera by ELISA Test

Background Although some serological tests for the detection of Toxoplasma gondii-specific immunoglobulin are commercially available, better diagnostic tools are needed. The aim of present study was to evaluate the usefulness of the recombinant Toxoplasma gondii SAG1 antigen for the recognition of toxoplasmosis by ELISA. Methods This study was conducted in Cellular and Molecular Biology Research Centers, Shahid Beheshti University, M.C. , Tehran, Iran in 2008-2009. Surface antigen 1 (SAG1), a tachyzoite stage-specific protein, was subcloned into an expression vector and was subsequently transformed into BL21 (DE3) pLysS competent bacterial cells. After inducing expression of the recombinant antigen, the protein product was purified using Ni-affinity chromatography. The immunoreactivity of recombinant SAG1 (rSAG1) was analyzed by SDS-PAGE and western blotting. The reactivity of the rec-SAG1 protein was evaluated using an ELISA. Result Sensitivity and specificity of the generated recombinant-ELISA (rec-ELISA) compared to a commercially available ELISA (com-ELISA) were 88.4% and 88%, respectively. Conclusion Recombinant SAG1 produced in E. coli is a promising antigen that can be used in diagnostic assays for the detection of specific antibodies against T. gondii.
Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs

Compiling Bayesian networks (BNs) is a hot topic within probabilistic modeling and processing. In this paper, we propose a new method for compiling BNs into Multi-Linear Functions (MLFs) based on Zero-suppressed Binary Decision Diagrams (ZBDDs), which are a graph-based representation of combinatorial item sets. Our method differs from the original approach of Darwiche et al., which encodes BNs into Conjunctive Normal Forms (CNFs) and then translates CNFs into factored MLFs. Our approach directly translates a BN into a set of factored MLFs using a ZBDD-based symbolic probability calculation. The MLF may have exponential computational complexity, but our ZBDD-based data structure provides a compact factored form of the MLF, and arithmetic operations can be executed in a time almost linear with the ZBDD size. In our method, it is not necessary to generate the MLF for the whole network, as we can extract MLFs for only part of the network related to the query, avoiding unnecessary calculation of redundant MLF terms. We present experimental results for some typical benchmark examples. Although our algorithm is simply based on the mathematical definition of probability calculation, performance is competitive to existing state-of-the-art methods.
QoS Provisioning Using Hybrid FSO RF Based Hierarchical Model for Wireless Multimedia Sensor Networks

Our objective is to provide guaranteed packet delivery service in time constrained sensor networks. The wireless network is a highly variable environment, where available link bandwidth may vary with network load. Since multimedia applications require higher bandwidth so we use FSO links for their transmission. The main advantage of FSO links is that they offer higher bandwidth and security, while RF links offer more reliability. The routing in this multitier network is based on directional geographic routing protocol, in which sensors route their data via multihop paths, to a powerful base station, through a cluster head. Some modifications have also been incorporated in the MAC layer to improve the QoS of such systems.
Not quite seamless: transitions between home and inpatient hospice.

BACKGROUND Although most hospice care occurs in the home, a growing number of patients utilize inpatient hospice settings. An inpatient hospice stay requires one or more transitions in care settings, although little is known about these transitions. OBJECTIVE/DESIGN Using ethnographic methods, this study examined the beliefs and practices of older adults, their caregivers, and hospice interdisciplinary team (IDT) members surrounding transitions between home and inpatient hospice. SETTING/SUBJECTS Data collection took place over 11 months in a large not-for-profit hospice agency in the northeast. Data were collected through 18 observations and 38 semistructured interviews with patients, family caregivers, and hospice IDT members. RESULTS Transitions from home to inpatient hospice centered on three processes: developing a plan for future needs, identifying triggers that signaled increased needs for care, and navigating through phases of increased care. Patients, family caregivers, or IDT members identified triggers for more care, and actions were taken to respond in the home care setting. Challenges to these actions occurred in many phases of care and when needs were ultimately unable to be addressed at home, patients were transferred to inpatient hospice. CONCLUSIONS Understanding how care planning, increased needs, and phases of care influence decisions about transitioning patients to inpatient hospice can guide IDT members in minimizing transitions and providing a more seamless continuum of hospice care.
Dynamic lexicon for a very large vocabulary vocal dictation

For very large vocabulary vocal dictation systems, we present a decoding strategy useful to reduce the lexical decoding cost. For each test-utterance, a sub-lexicon is selected from a very large recognition vocabulary. Such a recognition sub-lexicon is called Dynamic Lexicon (DL). Various algorithms of DL selection are developed and tested in terms of coverage rate of textual corpus. From these experiments, we describe a DL constitution we choose to use in D-DAL, our HMM-based recognizer competing for the first campaign of french vocal dictation supported by AUPELF. The contribution made by this original DL is a posteriori confirmed through the AUPELF-B1 test-dictation.
The caring relation in teaching

According to John Macmurray, ‘teaching is one of the foremost of personal relations’. This paper describes that relation in some detail from the perspective of care ethics. This involves a discussion of the central elements in establishing and maintaining relations of care and trust which include listening, dialogue, critical thinking, reflective response, and making thoughtful connections among the disciplines and to life itself.