Miracle-dz/UniFAR-FTUs huggingface dataset:
Contextual influences on the use of antenatal care in Nepal.

This report explores the degree to which contextual factors are determinants of individual behavior specifically regarding the use of antenatal services. Geographic variation in gender development and empowerment across districts in Nepal suggest that research on womens antenatal care behaviors may be enhanced by incorporating contextual data at the district level with individual and household level data from the 2001 Nepal Demographic and Health Survey (NDHS). This study of antenatal care uses DHS cluster geocodes to link with contextual data at the district level. The analysis focuses on two dichotomous outcome measures associated with antenatal care: (a) whether a woman received any antenatal care and (b) for those women who made at least one antenatal care visit whether she made four or more antenatal care visits during the pregnancy. A renewed focus on womens empowerment and place can help direct attention to the study of social contexts and processes particularly those relating to maternal health behaviors. Many studies of the use of maternal health services have focused on individual- level or micro characteristics. In contrast this study explores the use of hierarchical models specifically hierarchical generalized linear models (HGLM) to investigate whether contextual or macro characteristics also matter. The macro-micro framework postulates that social forces at the macro level determine micro-level opportunities and constraints and thereby influence individual decisions. Policies and programs conceived without consideration for local context and place will have limited impact unless they are informed by data that appreciates the vital connection between womens health and womens status across different spatial scales and analytical levels. (authors)
Optimal and Sub-Optimal Uplink NOMA: Joint User Grouping, Decoding Order, and Power Control

In this letter we explore the user grouping, decoding order and power control in an uplink non-orthogonal multiple access (NOMA) system. We formulate a joint optimization problem to maximize the achievable sum rate (ASR) of the multiple users, where each user has a minimum rate requirement. The problem is a combinatorial integer programming problem, due to the discreteness and coupling of the decoding order and user grouping. We then first derive the closed-form optimal solution of the decoding order and power control. By exhaustively searching the user grouping variables, we can obtain the globally optimal solution of the formulated problem. To achieve the tradeoff between the computational complexity and performance, we propose a sub-optimal user grouping algorithm with a linear complexity. Simulation results show that the proposed sub-optimal solution can achieve a near-optimal performance in terms of ASR.
Clinical Research of Microsurgical Removal of Falx Meningiomas

Objective To investigate the strategy and surgical methods for the microsurgical removal of falx meningiomas.Methods The clinical data of patients undergoing the the microsurgical removal of falx meningiomas were collected.The clinical manifestations and KPS scores before and after the treatment were compared.Results According to tumor location: 11 cases were with the meningiomas locating at anterior one-third of the cerebral falx,17 cases at central one-third of the of the cerebral falx,and 7cases at posterior one-third of the of the cerebral falx.According to the size of tumor: 11 cases were with meningiomas more than 6cm in diameter,19 cases within 4 cm to 6 cm,5 cases less than 4 cm.33 patients underwent total tumor resection,2 cases subtotal resection.The postoperative KPS significantly higher than that before the operation in patients with falx meningioma,P 0.05. Conclusion The microsurgical removal can increased the total tumor resection rate of falx meningiomas,decrease the recurrence and death rates.The rational incision,intraoperative stopping bleeding completely,avoiding the injury of cerebral cortex and piecemeal resection are the keys to improve the surgical efficacy and decrease the incidence of postoperative complications.
Pembelajaran fleksibel berasaskan Massive Open Online Course (Mooc) suatu transformasi dalam pengajian manuskrip Melayu

Manuskrip Melayu merupakan hasil penulisan tangan dengan tulisan Jawi yang mempunyai pelbagai kandungan ilmu epistemologi yang mengetengahkan tentang orang Melayu. Lazimnya, ia tersimpan di dalam sesebuah muzium negeri, Arkib dan Perpustakaan Negara Malaysia. Namun kekangan ketara dirasai apabila ilmu yang ada dalam manuskrip ini hanya dapat dicapai dengan bertandang sendiri ke institusi berkenaan pada waktu yang amat terhad. Kaedah tradisional sebegini sedikit sebanyak telah membantutkan ruang lingkup pengetahuan masyarakat yang berminat dalam mengkaji ilmu yang terdapat dalam sesebuah manuskrip. Kajian ini menegaskan bahawa manuskrip Melayu ialah warisan lama yang mana penyampaian maklumat di dalamnya perlu dipermodenkan untuk menarik masyarakat mengenalinya dengan lebih dekat. Ini bertujuan untuk meneruskan legasi kaedah pengkajian selain mencambah minat terhadap keintelektualan tamadun bangsa. Oleh itu, menerusi pembelajaran fleksibel berasaskan Massive Open Online Course (MOOC), manuskrip Melayu akan dapat terus dilestari. Ini kerana MOOC merupakan pembelajaran atas talian yang boleh diakses oleh setiap orang di seluruh pelosok dunia dengan percuma. Objektif kajian dalam makalah ini ialah mengaplikasikan MOOC dalam pembelajaran fleksibel sebagai kaedah terbaik dalam pemindahan ilmu untuk mengenali manuskrip Melayu dengan menghuraikan kandungan, aktiviti serta penilaian pelajar yang digunakan pelajar terhadap pembelajaran dan pengajaran kursus berasaskan MOOC. Data yang diperoleh adalah menerusi kaedah kepustakaan dan soal selidik terhadap pelajar kursus BBK 4210 Karya Agung Melayu. Dapatan kajian ini dijangkakan dapat membuktikan aplikasi MOOC berkesan menjadi salah satu medium dalam pembelajaran fleksibel yang sangat bermanfaat untuk mempromosikan manuskrip Melayu. Kesimpulannya, pembelajaran fleksibel berasaskan Massive Open Online Course (MOOC) merupakan suatu transformasi dalam manuskrip Melayu yang perlu diketengahkan kepada masyarakat.
Variational Implicit Distribution Matching

Modeling with implicit distributions such as GAN is effective technique in the probabilistic generative models because of its flexibility and few assumptions on the target distribution. For associating two distributions, ALI and other variants were proposed with joint distribution matching. However, they have disadvantages in the balance of the mode missing behavior and sample reconstruction quality. In this paper, we propose variational implicit distribution matching which is natural probabilistic extension of joint matching to its marginal and conditional distributions. We experimentally show that our proposal achieves the balance of the reconstruction and random generation quality and is competitive to the state of the art.
MICROBIOLOGICAL REVIEW OF PLEURAL FLUID SAMPLES A RETROSPECTIVE STUDY.

Dr. Tazammul Hussain 1 , Dr. M.V. Mulay 2 , Dr. A. S.Wyawahare 3 and Dr. Ishan Pandita 1 . 1. PG Resident, Department of Microbiology, MGM medical college & Hospital ,Aurangabad,Maharashtra 2. Professor & Head, Department of Microbiology,MGM medical college & Hospital,Aurangabad, Maharashtra 3. Professor, Department of Microbiology, MGM medical college & Hospital ,Aurangabad, Maharashtra. Manuscript Info Abstract . Manuscript History Received: 06 August 2019 Final Accepted: 08 September 2019 Published: October 2019
Statistical Analysis of Antenna Array Systems with Perturbations in Phase, Gain and Element Positions

In this paper, we statistically analyze the effect of hardware impairments on power pattern of antenna array systems. We consider a linear array and formulate the stochastic beam pattern as a function of variations in phase, gain and element positions. By deriving a closed-form expression for the variance of the power pattern, we express how the performance of antenna array can be degraded in each angle, allowing for investigation of the role of each parameter in the final power pattern variations. The proposed closed-form expression serves as a tractable tool for analyzing the effect of perturbations in different settings.
Robust reference tracking and transient response shaping of a class of nonlinear systems

This work examines stabilisation and reference tracking problems for uncertain deterministic as well as switched stochastic nonlinear systems. The concept of input state stability is employed here in the tracking problems. Additionally, an attempt is made to improve the transient performance of deterministic nonlinear systems by employing the notion of return time which is applicable to a broader class of nonlinearities. The transient performances are compared using the Integral Square Error (ISE). The control law is linear in states and thus is easy to implement. The optimisation problem is formulated in a framework of Linear Matrix Inequalities (LMIs). The proposed design is tested on simulation examples. The advantages are established on benchmark problems from the literature like Control of the Wing Rocket Aircraft and the Continuously Stirred Tank Chemical Reactor (CSTR). As per the author's knowledge, not much work is reported on these problems.
Abstraction-Based Safety Verification and Control of Cooperative Vehicles at Road Intersections

This article considers the problem of designing a centralized controller for vehicle collision avoidance at road junctions and intersections. The controller supervises a set of vehicles, and overrides their inputs when necessary to prevent side and rear-end collisions. By supervising vehicles, rather than taking full control, we obtain a system that can work with semiautomated human-driven vehicles. The price to pay is in complexity: an override is only necessary if, without an intervention, all future input signals will result in a collision. Thus, deciding overrides requires verification of the full reachability set, rather than the computation of a single collision-free trajectory. Our approach to speeding this step up is to use an abstraction of the (concrete) system, which is suitably discretized to obtain a mixed-integer programming problem. We deduce the solution of the original verification problem (VP) from that of the abstraction-based VP by proving an approximate simulation relation between the abstract and concrete systems. The resulting supervisor provably guarantees safety of the concrete system. We also evaluate the approximation error of the supervisor due to the use of an abstraction. Computer simulations show that the supervisor exhibits computationally better performances than other existing controllers applicable to realistic intersection scenarios.
NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF

Abstract Natural Formalization proposes a concrete way of expanding proof theory from the meta-mathematical investigation of formal theories to an examination of “the concept of the specifically mathematical proof. ” Formal proofs play a role for this examination in as much as they reflect the essential structure and systematic construction of mathematical proofs. We emphasize three crucial features of our formal inference mechanism: (1) the underlying logical calculus is built for reasoning with gaps and for providing strategic directions, (2) the mathematical frame is a definitional extension of Zermelo–Fraenkel set theory and has a hierarchically organized structure of concepts and operations, and (3) the construction of formal proofs is deeply connected to the frame through rules for definitions and lemmas. To bring these general ideas to life, we examine, as a case study, proofs of the Cantor–Bernstein Theorem that do not appeal to the principle of choice. A thorough analysis of the multitude of “different” informal proofs seems to reduce them to exactly one. The natural formalization confirms that there is one proof, but that it comes in two variants due to Dedekind and Zermelo, respectively. In this way it enhances the conceptual understanding of the represented informal proofs. The formal, computational work is carried out with the proof search system AProS that serves as a proof assistant and implements the above inference mechanism; it can be fully inspected at http://www.phil.cmu.edu/legacy/Proof_Site/. We must—that is my conviction—take the concept of the specifically mathematical proof as an object of investigation. Hilbert 1918
Mixed Coalitional Stabilities With Full Participation of Sanctioning Opponents Within the Graph Model for Conflict Resolution

Mixed coalition analysis approaches are developed within the framework of the graph model for conflict resolution (GMCR) for analyzing the heterogeneous multicoalitional opponents having mixed coalitional sanctions, in which some sanctioning coalitions may only invoke coalitional improvements (CIs) while others may go to any reachable states to jointly sanction a focal coalition’s CIs. To accomplish this, the concept of a full coalition set is defined in which each participating decision maker (DM) is represented once either as an individual player or part of a coalition. All possible scenarios in which a full coalition set could be formed is called the universal coalition set. When calculating the stability of a specific state for a particular coalition in a given conflict, the remaining DMs form the universal coalition set whose moves have the potential to block any CIs by the focal coalition within four specified solution concepts having full participation of sanctioning opponents. To handle heterogeneous opponents with mixed CIs (MCIs), the mixed coalition analysis approach is proposed, which provides a more general coalition analysis framework than existing coalition analysis approaches. Moreover, the interrelationships among coalitional stabilities and mixed coalitional stabilities with full participation are investigated followed by their corresponding matrix representations which can significantly improve their computational efficiency and make the computer implementation possible. Finally, a case study is investigated to demonstrate how to employ the proposed mixed coalition analysis approaches to address a real-world environmental conflict.
Theory of elasticity with large displacements and rotations

are considered to be all small quantities of the first order so that their squares and products are negligible terms of the second order. The restriction of the classical theory to small strains justifies in most cases the use of a linear stress strain relation known as HOOKE's law and leads therefore to equations of great practical value by their simplicity and generality. However, there is no necessity to assume that also the rotation UJ is small since it may become large with respect to the strain while the latter is still a small quantity. The question thus naturally arises: What terms must we add to the classical equations of Elasticity when the possibility of large rotations and small strains is taken into account? The present paper is an attempt to answer this question. We shall be led to equations applicable to such phenomena as the bending of a stiff string with fixed ends or the bending of a thin clamped plate for which the non-linear effects are not negligible and the classical theory of Elasticity breaks down. We note also that the rotation and the strain are not independent. They are related by the identities
Hydraulic Fracture Scattering Simulation by Thin Dielectric Structure-Based Higher Order Surface Integral Equations

A novel hydraulic fracture scattering simulation method in the hydrocarbon diagnosis is developed in this article. The traditional thin dielectric structure-based surface integral equation (TDS-SIE) is adopted for accurate and stable fracture scattering analysis. To improve the low simulation efficiency of conventional TDS-SIE, a higher order TDS-SIE (HO-TDS-SIE) is developed in this article. The junction vector bases are defined to extend TDS-SIE for the branched fractures. Moreover, the matrix normalization method is adopted to improve the conditioning of impedance matrices and accelerate the convergence rate. The excellent performance of this new HO-TDS-SIE solver for complex hydraulic fracture and network is validated by numerical experiments. To best of our knowledge, this is the first time to extend TDS-SIE into higher order scheme for accurate fracture scattering simulation.
Psychosocial adjustment of adolescents with end-stage renal disease

The psychosocial adjustment of nine adolescents with end-stage renal disease (ESRD) was described by two standard psychologic tests; Piers-Harris Self-Concept Scale and Nowicki-Strickland Locus of Control. Life Events were recorded to evaluate the effect of stress at the time of testing. The mean self-concept scores were higher (p = .009) for the ESRD adolescents than the normative sample. However, the individual's scores did not differ significantly. The Life Events were comparable to the healthy population for age. The family members were assessd on the Family Assessment Measure (FAM) to assess the influence of family functioning on adolescent psychosocial adjustment. The standardized F A M scores were comparable to a normative sample. Cluster analysis of the ESRD adolescents revealed three groups differing significantly on: self-concept, locus of control, F A M self-rating and number of years from diagnosis to dialysis. Significant differences were maintained across the family members on F A M General Scale and F A M Self-Rating Scale. The adequate psychosocial adjustment of the adolescents with ESRD is consistent with recent studies suggesting that chronically i l l children and adolescents do not differ from healthy children. However, the results also suggest that within the study group, a number of individuals may be experiencing problems of adjustment. TABLE OF CONTENTS List of Tables iv List of Figures v Acknowledgments vi
PENERAPAN MODEL PEMBELAJARAN DISCOVERY LEARNING MENINGKATKAN MOTIVASI DAN HASIL BELAJAR PENDIDIKAN KEWARGANEGARAAN

Penelitian Tindakan Kelas (PTK) dilaksanakan dalam dua siklus pada peserta didik peserta didikÂ kelas III SD Negeri Beji Timur 3 Kota DepokÂ sebanyak 32 orang, terdiri dari 23 Laki-laki dan 9 orang perempuan Mata Pelajaran pelajaran PKn materi Pengamalan Nilai Sumpah Pemuda. PTK ini bertujuan untuk meningkatkan motivasi, minat, dan hasil Belajar PKn. Hasil kegiatan pembelajaran Prasiklus dengan KKM 70 diperoleh rata-rata 63,00. Peserta didik yang tuntas dalam belajar hanya berjumlah 14 (44%) dan dapat menjawab 9 (23%) peserta didik. Pada Siklus 1 diperoleh rata rata 6859, tuntas 15 (47%) dan tidak tuntas 17 (53%). Hasil pembelajaran pada pengamatan guru hanya 20 peserta didik yang dapat menjawab benar yaitu 63%, sedangkan yang tidak dapat menjawab 12 peserta didik yaitu 37%. Pada siklus 2 nilai rata-rata kelas sebesar 2666.Pesertadidik yang tuntas dalam pembelajaran sebanyak 29 (91%) dan hasil pengamatan yang dapat menjawab sebanyak 32 (100%) peserta didik. Penggunaan model pembelajaran Discovery Learning memberikan pengalaman nyata, berfikir tingkat tinggi, berpusat pada peserta didik, kritis dan kreatif, pengetahuan bermakna dalam kehidupan, dekat dengan kehidupan nyata, adanya perubahan prilaku, pengetahuan. Selain itu hasil belajar peserta didik dapat meningkat
Exact inference on multiple exponential populations under a joint type-II progressive censoring scheme

ABSTRACT Recently Mondal and Kundu [Mondal S, Kundu D. A new two sample type-II progressive censoring scheme. Commun Stat Theory Methods. 2018. doi:10.1080/03610926.2018. 1472781] introduced a Type-II progressive censoring scheme for two populations. In this article, we extend the above scheme for more than two populations. The aim of this paper is to study the statistical inference under the multi-sample Type-II progressive censoring scheme, when the underlying distributions are exponential. We derive the maximum likelihood estimators (MLEs) of the unknown parameters when they exist and find out their exact distributions. The stochastic monotonicity of the MLEs has been established and this property can be used to construct exact confidence intervals of the parameters via pivoting the cumulative distribution functions of the MLEs. The distributional properties of the ordered failure times are also obtained. The Bayesian analysis of the unknown model parameters has been provided. The performances of the different methods have been examined by extensive Monte Carlo simulations. We analyse two data sets for illustrative purposes.
200 G Outdoor Free-Space-Optics Link Using a Single-Photodiode Receiver

We experimentally evaluate the performance of Kramers–Kronig (KK) receivers for free-space optical transmission. We transmit a dual-carrier signal, each carrier modulated as a 25 Gbaud 16/32 quadrature-amplitude modulation (QAM) signal. This dual-carrier signal, with overall symbol rate of 50 Gbaud, is detected in a single receiver with about 35 GHz bandwidth. Key parameters such as the carrier-to-signal power ratio, the frequency allocation of the pilot tone, and the frequency separation between both modulated carriers are optimized. In addition, we also study the effect of the receiver bandwidth limitations on the KK technique. We perform long-term measurements, beyond one hour, for both 16 and 32 QAM signals in a 55 m outdoor free-space link during daylight with sunny weather conditions. Our measurements demonstrate that the link operates below the BER threshold assuming 20% forward-error correction (FEC) for the 32QAM signal and 7% FEC overhead for the 16QAM signal. The resulting net data rates are 208 and 184 Gbit/s for the 32 and 16 QAM signals, respectively.
Compact Stripline Dual-Band Bandpass Filters With Controllable Frequency Ratio and High Selectivity Based on Self-Coupled Resonator

Dual-band stripline bandpass filters (BPFs) with widely controllable frequency ratio and high selectivity is proposed based on a new type of self-coupled resonator. The presented self-coupled resonator evolves from a symmetrical open-ended stepped-impedance resonator (SIR) by folding their two open-ended arms coupled with each other. Due to different capacitance characteristics under even- and odd-mode operation in coupled-line, the two fundamental resonant frequencies of self-coupled SIR bring out dual passbands that can be separated in a wider spacing than the ones generated by noncoupled resonator. In addition, due to the inherent coupling loop, two additional transmission zeros (TZs) are generated in the middle stopband between dual passbands, which greatly improves the isolation between dual passbands. For design guidance, theoretical responses are provided with numerical solutions of each resonant frequency and TZ. For demonstrative purposes, two filters with dual passbands centered at 1 and 4 GHz (frequency ratio of 4:1), as well as 2 and 3 GHz (frequency ratio of 1.5:1) are designed, fabricated and tested. In our designs, edge-coupled striplines are used for the final implementation attributing to its good performances of no frequency dispersion in wideband and easy package. Ultimately, experimental results are displayed to convincingly verify the feasibility of proposed concept.