Miracle-dz/UniFAR-FTUs huggingface dataset:
Alternative Child Care Governance: The Kafala Family-Based Care Arrangement in Egypt

APA Citation El Azzazy, H. (2023). Alternative Child Care Governance: The Kafala Family-Based Care Arrangement in Egypt [Master's Thesis, the American University in Cairo]. AUC Knowledge Fountain. https://fount.aucegypt. edu/etds/2000 MLA Citation El Azzazy, Heba. Alternative Child Care Governance: The Kafala Family-Based Care Arrangement in Egypt. 2023. American University in Cairo, Master's Thesis. AUC Knowledge Fountain. https://fount.aucegypt. edu/etds/2000
Model Predictive Control for Voltage Regulation of Standalone Self-Excited Induction Generator

: This paper deals with a predictive current control strategy applied to voltage regulation in off-grid microgeneration systems based on self-excited induction generator (SEIG). A finite-control-set model predictive control (FCS-MPC) is used. This controller runs a discrete-time model to predict the future behavior of inverter currents for each switching state, then a control action is defined minimizing an appropriate cost function. Also combining proportional integral actions, the proposed control is capable of properly performing voltage regulation and harmonic compensation of positive, negative and zero sequence. The four-leg inverter is employed as DSTATCOM, this topology is a commonly used solution for powering standalone systems as it provides balanced three-phase voltages even under unbalanced load conditions. Simulations are presented to validate the proposed control technique, as well as to evaluate the performance of the system based on the IEEE 519-2014 and IEEE 1159-2009 Power Quality Standards.
Vegetation type mapping using decision tree classification(DTC)

x 1. CHAPTER 1-INTRODUCTION . 1 1.1. Background . 1 1.2. Statement of the Problem . 2 1.3. Aim . 4 1.4. Study Objectives. 4 1.5. Research Questions . 4 1.6. Significance of the Study . 5 2. CHAPTER 2--LITERATURE REVIEW . 6 2.1. Overview of Remote Sensing and GIS . 6 2.1.1. Satellite Image Classification Algorithms . 8 2.1.1.1. Supervised Classification . 9 2.1.1.2. Unsupervised Classification . 9 2.1.1.3. Non-parametric classification . 9 2.2. Decision Tree Classification (DTC) . 10 2.3. Vegetation of Zambia . 13 3. CHAPTER 3--RESEARCH METHODOLOGY . 18 3.1. Study Area Description . 18 4. CHAPTER 4--FINDINGS . 28 v 4.1. Vegetation types and their Environmental factors . 28 4.1.1. General Overview descriptions of Miombo, Mopane and Munga vegetation types . 28 4.1.1.1. Overview of Miombo . 28 4.1.1.2. Overview of Mopane . 29 4.1.1.3. Overview of Munga . 29 4.2. Vegetation types in the study area: Their spectral and ancillary information . 30 4.2.1. Explanation of Decision Tree (DT) constructed. 37 5. CHAPTER 5--DISCUSSION . 45 6. CHAPTER 6--CONCLUSION AND RECOMMENDATION . 50 6.1. Conclusion . 50 6.2. Recommendation . 51 7. References . 52
Cubics, curvature and asymptotics

Geodesics are a generalisation of straight lines to Riemannian manifolds and other spaces equipped with an affine connection. Interpolation and approximation problems motivate analogous generalisations of cubic polynomials. There are several approaches. Cubic polynomials in Euclidean space are critical points of the mean norm-squared acceleration, motivating Riemannian cubics which are critical points of the mean normsquared covariant acceleration. Cubic polynomials are also curves of constant jerk, and this motivates Jupp and Kent’s cubics or JK-cubics which are curves of covariantly constant jerk. This thesis contains results on Riemannian and JK-cubics. The primary concerns are asymptotic properties of these curves for large time. There are results on integration of the ordinary differential equations in special cases. JK-cubics and a special family of Riemannian cubics known as null are studied in matrix groups. Asymptotics are described in generic cases. We also consider these curves in Riemannian manifolds of strictly negative curvature. In such manifolds we show the existence of an open family of Riemannian cubics which cannot be extended for all time. We prove that all JK-cubics in Riemannian manifolds of strictly negative curvature are asymptotically approximated by reparametrised geodesics.
Nonlinear Binscatter Methods Supplemental Appendix ∗

This supplement collects all technical proofs, more general theoretical results than those reported in the main paper, and other methodological results. New theoretical results for possibly nonlinear partitioning-based series estimation are obtained that may be of independent interest. Companion general-purpose software and replication files are available at https: //nppackages.github. io/binsreg/. Cattaneo gratefully acknowledges financial support from the National Science Foundation through grants SES1947805, SES-2019432, and SES-2241575. Feng gratefully acknowledges financial support from the National Natural Science Foundation of China (NSFC) through grants 72203122 and 72133002. The views expressed in this paper are those of the authors and do not necessarily reflect the position of the Federal Reserve Bank of New York or the Federal Reserve System. Department of Operations Research and Financial Engineering, Princeton University. Capital Markets Function, Federal Reserve Bank of New York. Department of Economics, UC Santa Barbara. School of Economics and Management, Tsinghua University.
PERBEDAAN PENGUASAAN KONSEP BIOLOGI DAN KEMAMPUAN BERPIKIR KRITIS SISWA KELAS X PADA PENERAPAN MODEL PEMBELAJARAN KOOPERATIF TIPE GROUP INVESTIGATION DAN GUIDED INQUIRY DI MAN 1 PRAYA

Penelitian ini bertujuan untuk mengetahui perbedaan penguasaan konsep biologi dan kemampuan berpikir kritis siswa kelas X pada penerapan model pembelajaran kooperatif tipe group investigation dan model pembelajaran guided inquiry di MAN 1 Praya tahun ajaran 2016/2017. Desain penelitian ini adalah pre-test and post-test non equivalent control group design . Populasi dalam penelitian ini yaitu siswa kelas X MAN 1 Praya tahun ajaran 2016/2017 yang berjumlah 247siswa. Pengambilan sampel dilakukan dengan Purposive Sampling sehingga didapatkan kelas X MIPA-3 sebagai kelas eksperimen 1 dan kelas X MIPA-4 sebagai kelas eksperimen 2. Instrumen yang digunakan untuk memperoleh data yaitu tes penguasaan konsep berupa soal pilihan ganda dan tes kemampuan berpikir kritis berupa soal essay. Data hasil tes penguasaan konsep biologi dan tes kemampuan berpikir kritis dianalisis menggunakan uji-t pada taraf kepercayaan 95 %. Hasil penelitian menunjukkan bahwa ada perbedaan penguasaan konsep biologi dan kemampuan berpikir kritis siswa kelas X pada penerapan model pembelajaran kooperatif tipe group investigation dan model pembelajaran guided inquiry di MAN 1 Praya tahun ajaran 2016/2017.
Phase Transitions of Majority-Vote Model on Modular Networks*

We investigate the phase transitions behavior of the majority-vote model with noise on a topology that consists of two coupled random networks. A parameter p is used to measure the degree of modularity, defined as the ratio of intermodular to intramodular connectivity. For the networks of strong modularity (small p), as the level of noise f increases, the system undergoes successively two transitions at two distinct critical noises, fc1 and fc2. The first transition is a discontinuous jump from a coexistence state of parallel and antiparallel order to a state that only parallel order survives, and the second one is continuous that separates the ordered state from a disordered state. As the network modularity worsens, fc1 becomes smaller and fc2 does not change, such that the antiparallel ordered state will vanish if p is larger than a critical value of pc. We propose a mean-field theory to explain the simulation results.
Deriving Test Input Generators Through Program Inversion

—This extended abstract will detail the tentative plans for my master’s thesis. My thesis topic will be using program inversion to derive test data input generators automatically for use in property-based testing. Property-based testing is a methodology based on properties - or assertions that should hold about the program in general. The programmer writes properties for their program, and uses existing tools that automatically generate and run tests based on these properties. However, one reason why it is not more widely adopted in industry scenarios, is because the tools can only generate test input data automatically for basic input types. Testing new types requires the programmer to write custom generators for those types, but writing good generators is difficult. The thesis work consists of using program inversion to automatically derive good test input generators for use with property-based testing tools. The overarching goal of the project is to make academic testing tools more easily adoptable for industry use.
Northumbria Research Link

—This report investigates whether a vulnerability found in one web framework may be used to find a vulnerability in a different web framework. To test this hypothesis, several open source applications were installed in a secure test environment together with security analysis tools. Each one of the applications were developed using a different software framework. The results show that a vulnerability identified in one framework can often be used to find similar vulnerabilities in other frameworks. Cross-site scripting security issues are the most likely to succeed when being applied to more than one framework.
- WI Yeast Mapping Reports SS U71, Encoding the Largest Located on the Right Arm of Saccharomyces cerevisiae Subunit of TFIIF, is Chromosome VII in

SSU71 (TFGI) is an essential nuclear gene encoding the largest subunit of the yeast general transcription factor TFIIF. The SSU71 gene was physically mapped to the right arm of chromosome VII, physically linked to QCR9, by hybridization of the cloned gene to CHEF and lambda clone grid blots. This assignment was confirmed by genetic mapping. A search of the nucleotide sequence databases revealed that SSU71 is immediately adjacent to the TYSl gene, which encodes tRNAryr synthetase. TYSl was reported previously to lie on chromosome XV based on sequence overlap with the adjacent UBRl gene. The mapping data reported here established that TYSl and UBRI do not lie on chromosome XV; rather the SSU7I-TYSI-UBRI gene cluster lies on the right arm of chromosome VII, physically linked to QCR9 and genetically linked to ade3 and ser2.
Implantable Sinus Devices for Postoperative Use Following Endoscopic Sinus Surgery and for Recurrent Sinonasal Polyposis

PLEASE NOTE: Contracts exclude from coverage, among other things, services or procedures that are considered investigational or cosmetic. Providers may bill members for services or procedures that are considered investigational or cosmetic. Providers are encouraged to inform members before rendering such services that the members are likely to be financially responsible for the cost of these services.
Local Media Ownership and Media Quality April 5 , 2011

The United States Federal Communications Commission regulates local media ownership to promote competition, diversity and the provision of local programming. This study investigates how local media cross-ownership, co-ownership and ownership diversity are associated with media market outcomes. It does so by regressing changes in local-market media quality variables on changes in local-market media ownership variables. Little robust evidence is found to indicate that local media ownership affects local media usage or programming.
Evidence of a Double Burden of Malnutrition among Rajbanshi Adolescent Boys

98% respectively. The overall prevalence of severe, moderate and mild thinness was observed to be 17.44%, 6.43% and 16.80% respectively. The prevalence of overweight (5.81%) and obesity (0.62%) were low. The existence of stunting and thinness indicated chronic nutritional deprivation and this was more pronounced than the burden of overnutrition among the adolescent boys. Appropriate intervention strategies are required to ameliorate their nutritional deficiency so as to achieve optimum growth.
On multipliers of Heineken-Mohamed type groups

L’accès aux archives de la revue « Rendiconti del Seminario Matematico della Università di Padova » (http://rendiconti.math.unipd.it/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.
Paper-based Insulator Electrokinetics for Microscale Particle Manipulation and Analysis

Insulator-based electrokinetics (iEK) integrates insulating structures within microchannels to induce local curvature in electric field lines, resulting in regions of high field intensity. This technique has been employed in various applications, such as DNA enrichment, liquid biopsy, biomarker screening, and protein folding analysis, among others. In this paper, we present a new electrokinetic particle manipulation technique using insulating paper fibers to generate high electric field gradients. The technique involves confining nonwoven fiberglass paper channels and copper tape electrodes within thin PDMS sheets fabricated using a low-cost paper-PDMS technique called “Microfluidic pressure in paper” (μPiP). We apply an AC electric field perpendicular to the flow direction to dielectrophoretically trap and separate different polystyrene particles within the paper channels. We further present a 2D computational model of the paper structure and introduce the concept of a 3D “paper unit cell” to analyze the formation of regions with high electric field gradients within the paper structure. This model will be useful for researchers studying paper-based electrochemical sensors, paper-based free-flow electrophoresis and isotachophoresis devices, and lateral flow assays. This new platform enables the development of robust, low-cost, and portable next generation microscale electrokinetic systems for a wide variety of sample purification, quantification and liquid handling applications.
REGIONAL ANESTHESIA Efficacy of dexmedetomidine as an adjuvant in erector spinae plane block in breast cancer surgery: a randomized controlled trial

Background: The erector spinae plane block (ESPB) is a new potential inter-fascial block technique used to decrease pain after breast surgery. Dexmedetomidine (Dex) is used as an adjuvant to local anesthetics and is thought to improve the analgesic profile and duration of different anesthetic techniques . We evaluated the effect of adding Dex in local anesthetic solution for ESPB in breast cancer surgeries regarding the analgesic effect and duration. Methodology: This prospective randomized controlled study included 60 female patients scheduled for breast cancer surgery. All patients were anesthetized in a standard manner, and then were randomized into three equal groups; 1. ESP group, to receive an ultrasound-guided ESPB with 20 ml bupivacaine 0.5%; 2. Dex group, to receive ESPB with 19 ml bupivacaine 0.5% and 1 ml of normal saline containing 1 µg/kg Dex, and the control group received the standard general anesthesia only. The intraoperative fentanyl and postoperative morphine consumption were noted. Postoperative pain was assessed on numerical pain rating scale (NRS) Results: The duration of analgesia was significantly prolonged in ESPB and Dex groups than in the control group and in the Dex group than in ESPB group (P < 0.001). Intraoperative fentanyl and postoperative morphine consumption were significantly lower in ESPB and Dex groups than in the control group. NRS pain scores were comparable in the three groups during the first 24 h. Conclusions: Adding dexmedetomidine 1 µg/kg to bupivacaine 0.5% prolongs the duration of analgesia of the ESPB in breast cancer surgeries.
Science in brief: Highlights from the biomechanics and physiotherapy 1

s at ICEEP 2 Dr Sarah Jane Hobbs1* 3 1 Centre for Applied Sport and Exercise Sciences, University of Central Lancashire, Preston, UK. * Corresponding Author: Dr Sarah Jane Hobbs, Centre for Applied Sport and Exercise Sciences, University of Central Lancashire, Darwin Building 201, Preston, PR1 2HE, UK. Tel: +44 1772 893328 E-mail: sjhobbs1@uclan.ac. uk Word count: 5140 (including references), 3472 (not including references)
Solving a class of fractional optimal control problems by the Hamilton–Jacobi–Bellman equation

The performance index of both the state and control variables with a constrained dynamic optimization problem of a fractional order system with fixed final Time have been considered here. This paper presents a general formulation and solution scheme of a class of fractional optimal control problems. The method is based upon finding the numerical solution of the Hamilton–Jacobi–Bellman equation, corresponding to this problem, by the Legendre–Gauss collocation method. The main reason for using this technique is its efficiency and simple application. Also, in this work, we use the fractional derivative in the Riemann–Liouville sense and explain our method for a fractional derivative of order of 0 < α < 1 . Numerical examples are provided to show the effectiveness of the formulation and solution scheme.
Manipulating a whip: the advantage of primitive actions

Humans are remarkably agile and dexterous, despite their extremely slow neuromuscular system. We propose that this is accomplished by encoding movements based on (at least) three distinct classes of motor primitives — submovements and oscillations for forward-path control of motion, and mechanical impedances for managing physical interaction [1]. Composing movements in terms of parameterized primitive actions may be an essential simplification required for learning, performance, and retention of complex manipulation skills. To test this hypothesis, we studied one of the most complex and exotic tools which humans can manipulate — a whip. Studying how humans learn to manipulate a complex objects such as a whip promises new insights. In fact, a whip forces us to confront the daunting complexity of tools which humans routinely master. A whip is a flexible object, with non-uniform mechanical properties, that interacts with complex compressible fluid dynamics and, in the case of whip-cracking, operates in a supersonic regime [2]. An engineering/physics based model competent to describe the complex whip dynamics requires nonlinear partial differential equations of infinite order. Controlling this extremely high (in principle, infinite) degrees-of-freedom (DOFs) object with complex dynamics is a challenge, especially when popular optimization-based methods are involved which scale poorly with system dimensions. Dubbed the “curse of dimensionality” by Richard Bellman [3], optimization becomes computationally intractable for even moderately high dimensions (e.g., starting from ∼6 to 10 dimensions) and often fails to converge to an optimal solution. However, almost indifferent to this excruciating complexity, humans learn to manipulate a whip, often without any apparent difficulties, with some “whip masters” reaching an impressive level of expertise. This observation suggests that humans employ a fundamentally different approach than optimization based on an engineering-style model. Instead, we speculate that encoding movements in terms of primitive actions may be
ICFP: G: Formal Verification of a Lazy Software Model Checker

1 PROBLEM & MOTIVATION Model checking [5] is a formal method to automatically prove the absence of bad behaviors in computer systems. In case the system being checked is erroneous, model checkers expose a scenario leading the system to failure. Because of its fully automatic nature and its ability to provide feedbacks when failures are detected, model checking has had a tremendous impact in many fields including software engineering, hardware design, and verification of critical programs. However, relying on model checkers to asses the robustness of critical systems yields an important question: why should we trust these tools? After all, model checkers are nothing but computer programs and are as prone to failure as the systems they analyze. A natural reaction to this observation is to apply formal verification techniques to the development of model checkers themselves. In this work, we present a general framework to prove the correctness of model checkers with the help of a proof assistant such as Coq [2], Isabelle/HOL [3] or Agda [1]. While this approach offers an incomparable level of reliability, it is extremely expensive to prove a program as complex as a model checker in a proof assistant. Consequently, a key challenge was to make the framework general enough to cover a wide variety of model checking techniques while optimizing the sharing of already proven components. We showcase the versatility of our method by implementing and proving in Coq two seemingly different tools based on model-checking techniques : a bug finder by symbolic execution and a program prover by predicate abstraction.
A Design of Secure Communication Architecture Applying Quantum Cryptography

Existing network cryptography systems are threatened by recent developments in quantum computing. For example, the Shor algorithm, which can be run on a quantum computer, is capable of overriding public key-based network cryptography systems in a short time. Therefore, research on new cryptography systems is actively being conducted. The most powerful cryptography systems are quantum key distribution (QKD) and post quantum cryptograph (PQC) systems; in this study, a network based on both QKD and PQC is proposed, along with a quantum key management system (QKMS) and a Q-controller to efficiently operate the network. The proposed quantum cryptography communication network uses QKD as its backbone, and replaces QKD with PQC at the user end to overcome the shortcomings of QKD. This paper presents the functional requirements of QKMS and Q-Controller, which can be utilized to perform efficient network resource management