Miracle-dz/UniFAR-FTUs huggingface dataset:
Continuous, discrete and sampled data H/sub /spl infin// control-a unified framework

We present a unified and general framework for H/sub /spl infin//-control in both continuous time, discrete time and combinations of these. The general result is a hybrid continuous-/discrete-time H/sub /spl infin// controller. Using a compact hybrid notation, the work shows a close relationship between the continuous and discrete-time solutions. In fact, the pure continuous and discrete time equations may be obtained as two similar interpretations of the general result. There are no assumptions made on certain system matrices being zero or normalised, e.g. D/sub 11/=0. The method is Riccati equation (RE) based, and it is shown how the continuous REs can be "lifted" into discrete ones reflecting the system behaviour during the period.
Oral Care Practice, Perception, and Attitude of Nurses in Intensive Care Units in Korea: A Questionnaire Survey

Background: This cross-sectional study investigated the factors influencing oral care in patients in intensive care units (ICUs) by identifying the current oral care practice status, perceptions, and attitudes of ICU nurses in Korea. Methods: This study surveyed 240 nurses with work experience in the ICU using a self-report questionnaire consisting of 22 items on the status, perception, and attitude towards oral care in the ICU. Results: A total of 227 questionnaires were analyzed. The average age of the participants was 29.79 ± 5.92 years, and the medical ICU was the most type of ICU. The factors affecting the attitude towards oral care and its importance in ICU patients were the experience of working as a nurse (r = 0.336, p < 0.01), ICU work experience (r = 0.218, p < 0.01), and oral care practice frequency (r = 0.167 p < 0.05); these were found to be statistically significant. Conclusions: In this study, the interest of the nurses in oral care practice and education was high, but professional education and the regular implementation of oral care practices were insufficient. To address these problems, it will be necessary to improve oral care practices through dental intervention and education about oral care methods focused on ICU patients.
Preliminary Investigation of Teachers’ Emotional Exhaustion, Teaching Efficacy, Hope, and Colleague Support during the COVID-19 Pandemic

The COVID-19 pandemic required teachers to quickly adapt to changes in teaching likely impacting teachers’ emotional exhaustion and feelings of teaching efficacy. Further, teachers’ experience in the classroom may have shaped how they responded to the crisis and changes. Although teachers faced these unprecedented shifts, it is possible that both internal (i.e., hope) and external (i.e., social support) sources of support may act as promotive factors for teacher outcomes. The present study describes how teachers’ emotional exhaustion, teaching self-efficacy, and supports (hope and colleague) were associated with one another one year into the pandemic. Associations were compared across early-/mid-career and veteran teachers. Results showed higher emotional exhaustion and lower hope for early-/mid-career teachers compared to veteran teachers, and a negative relation between emotional exhaustion and hope for early-/mid-career teachers. Pre-pandemic emotional exhaustion predicted hope during the pandemic for all teachers. Implications include supporting teacher well-being and career longevity considering acute stress.
Beneﬁt–Risk Analysis of Upadacitinib Compared with Adalimumab in the Treatment of Patients with Moderate-to-Severe Rheumatoid Arthritis

Introduction : Rheumatoid arthritis (RA) is a chronic autoimmune disease requiring long-term treatment. Upadacitinib (UPA), a Janus kinase (JAK) inhibitor, is a new treatment for RA. The beneﬁt–risk proﬁle of a medication is best understood by evaluating the number needed to treat (NNT) and the number needed to harm (NNH). This analysis evaluated the comparative risk–beneﬁt of UPA versus adalimumab (ADA). Methods : Post-hoc analyses were performed using data from the SELECT-COMPARE trial of UPA versus placebo (PBO) and UPA versus ADA among patients with active RA who remained on stable methotrexate (MTX) treatment and had an inadequate response; patients who failed to achieve response were rescued by predeﬁned criteria—PBO or ADA switch to UPA, and UPA switch to ADA (all patients on PBO were switched to UPA at week 26). This analysis assessed efﬁcacy and adverse events of special interest (AESIs) at week 26, 48, and 156 (3 years). NNT and NNH (95% conﬁdence intervals) values were calculated between UPA versus ADA for all time points, and between UPA versus PBO for week 26. NNT and NNH values were applied to a hypothetical cohort of 100 patients to estimate the comparative efﬁcacy and safety proﬁles. Results : UPA consistently showed greater efﬁcacy than ADA, as evidenced by NNT values \ 10 for achievement of Disease Activity Score in 28 joints based on C-reactive protein (DAS28-CRP) of \ 2.6 and B 3.2, respectively, and functional improvement. Based on indices for disease assessment other than the DAS28-CRP, remission outcomes were higher with UPA versus ADA over 26 weeks (NNTs: 7–12), 48 weeks (NNTs: 9–16), and 156 weeks (NNTs: 9–15). With the exception of herpes zoster, other AESIs demonstrated a similar risk with UPA versus ADA. Conclusion : In patients with active RA despite MTX use, UPA demonstrated an incremental achievement of clinical outcomes compared to ADA together with a similar proﬁle of AESIs with ADA (with the exception of herpes zoster).
Examining the role of quality performance and entrepreneurial orientation on green manufacturing and financial performance

The concept of green manufacturing is a topical discourse in sustainability studies, but its adoption seems to be lagging due to an unclear link to financial performance. The study aims to test the relationship between green manufacturing and financial performance, with quality performance as a mediator and entrepreneurial orientation as a moderator. The partial least square (PLS) method was applied for hypotheses testing. Data were randomly obtained from 116 managerial staff in manufacturing firms operating in the polymer industry in Southern Nigeria. From the PLS results, green manufacturing is positively related to financial performance (β = 0.167, p = 0.027), and this relationship is mediated by quality performance (β = 0.194, p = 0.000) and moderated by entrepreneurial orientation (β = 0.115, p = 0.000). The results demonstrated that green manufacturing spurs financial performance directly. However, optimality can be achieved indirectly through quality performance and under generative conditions or behaviors effectuated by entrepreneurial orientation. In conclusion, quality performance and entrepreneurial orientation may account for the ways in which green manufacturing enhances financial performance significantly and positively.
Journal Pre-proof An overview and thematic analysis of research on cities and the COVID-19 pandemic: Toward just, resilient, and sustainable urban planning and design

Since researchers have made efforts to study various issues related to cities and the 12 pandemic. Despite the wealth of research on this topic, there are only a few review articles that 13 explore multiple issues related to it. This is partly because of the rapid pace of publications that 14 makes systematic literature review challenging. To address this issue, in the present study, we rely 15 on bibliometric analysis techniques to gain an overview of the knowledge structure and map key 16 themes and trends of research on cities and the pandemic. Results of the analysis of 2,799 articles 17 show that research mainly focuses on six broad themes: air quality, meteorological factors, built 18 environment factors, transportation, socio-economic disparities, and smart cities, with the first three 19 being dominant. Based on the findings, we discuss major lessons that can be learned from the 20 pandemic and highlight key areas that need further research.
Dedicated Solver for Formal Verification of Electric Circuits with Multiple Power Supplies

Aniah is a Start-up that offers tools for analyzing integrated circuits at an industrial scale 1 . Aniah has introduced algorithms that significantly pushes the boundaries of the size of analyzable circuits, from a few hundred thousand elements to several trillion. Aniah is starting a collaboration with the Laboratoire de l’Informatique du Parall´elisme (LIP) and the Verimag laboratory to consolidate and generalize its approach by supplementing its practical results with a theoretical backbone. One of the objectives of this study is to explore the applicability of state-of-the-art model-checking techniques to the problem of circuit electric verification. Model-checking [13] consists in exploring all the reachable states of a system, typically to check the unreachability of a set of error states. It is a well-established technique, and has successfully been applied both to software [1, 7, 6] and hardware [2, 4]. It is usually applied to check properties on the behavior of a system. For example, hardware model-checking usually considers boolean values (0 and 1, possibly extended with X and Z to model short-circuits and disconnected signals), but abstracts away the physical details (typically, voltage values are not modeled). Model-checking can be either enumerative (reachable states are explored one by one), or symbolic. Symbolic model-checking consists in representing a possibly very large set of states using a symbolic formula, that can be exponentially more efficient in terms of memory footprint. Common tools for symbolic model-checking are Binary Decision Diagrams (BDD) [5] and SAT-solvers [3] that allow manipulating boolean logical formulas. Satisfiability Modulo Theory (SMT) solvers extend SAT-solvers with non-boolean variables (e.g. rational numbers, integers, or other data structures). Among other work, these approaches have successfully been applied by the supervisors of this internship for Lustre program verification [10] and SystemC program verification [9]. Aniah proposed
Retrospective Radiological Analysis of Ethmoid Roof Depth and Sinonasal Anatomical Variations in Septoplasty and Septorhinoplasty Patients ve Septorinoplasti

Aim: Computed tomography (CT) provides an accurate assessment of sinonasal anatomy and osseocartilaginous pathologies in patients complaining of sinonasal symptoms. Although it is not a routine practice, CT is frequently used in preoperative screening of patients planned for septoplasty and septorhinoplasty. In this study, anatomical variations and ethmoid lateral lamella depths in preoperative CT images of septoplasty and septorhinoplasty operations performed in our clinic were analyzed retrospectively and discussed with current literature. Material and Method: Septorhinoplasty and septoplasty surgeries performed in our clinic between January 2014 and August 2018 over the age of 18 years were reviewed retrospectively. Two hundred patients were included in the study. CT images were evaluated for anatomical variations and ethmoid lateral lamella depths. Results: Of the 200 patients included in the study, 158 (79%) underwent septoplasty and 42 (21%) underwent septorhinoplasty. Concha bullosa was detected in 95 (47,5%) of the patients and was determined as the most common anatomical variation. Onodi cell variation was detected in 62 (31%) of the patients. Haller cell was detected in 37 patients (18,5%). Paradoxical middle turbinate was detected in 19 patients (9,5%), pneumatized anterior clinoid process in 17 patients (8,5%), and pneumatized crista galli in 4 patients (2%). In lateral lamella measurements; the median value of the lateral lamella depth on the right was 4,20 mm (0,40-7,40 mm) and the median value of the lateral lamella depth on the left was 4,20 mm (1,70-7,30 mm). Conclusion: Anatomical variations that can be detected in CT imaging before septoplasty and septorhinoplasty operations and information about ethmoid roof anatomy will be useful in case management, surgical planning and complication management.
Numerical and Experimental Investigations of the Influence of Operation on the Technical Condition of Pressure Vessels

The paper presents the issues related to the design and assessment of the technical condition as well as determination of the residual durability of pressure equipment. Based on a real a example, a liquid nitrogen spherical tank, we present the development and applicability of the method for assessment of the durability of the structure. In terms of the material itself, the authors analyze macroscale (structural) factors of the geometry of the real structure (by 3D scanning: material wear detection, deflections and deformations, etc.) and measured real operational loads to develop an integrated method, including material model and behavior in its operational condition, delivering a useful tool for macroscale structural analyses of the materials under complex load (mechanical, thermal, chemical, etc.). As a result, a detailed analysis of the tank is presented. The paper gives an idea of the method, its development, usefulness, and applicability of the presented approach by indication of the mutual influence of pressure vessel components (e.g., stubs, manholes) and operational loads, which may result in underestimating the strength and durability of the pressure vessels in the design process and during operation.
FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores

FastVer is a protocol that uses a variety of memory-checking techniques to monitor the integrity of key-value stores with only a modest runtime cost. Arasu et al. formalize the high-level design of FastVer in the F* proof assistant and prove it correct. However, their formalization did not yield a provably correct implementation---FastVer is implemented in unverified C++ code. In this work, we present FastVer2, a low-level, concurrent implementation of FastVer in Steel, an F* DSL based on concurrent separation logic that produces C code, and prove it correct with respect to FastVer's high-level specification. Our proof is the first end-to-end system proven using Steel, and in doing so we contribute new ghost-state constructions for reasoning about monotonic state. Our proof also uncovered a few bugs in the implementation of FastVer. We evaluate FastVer2 by comparing it against FastVer. Although our verified monitor is slower in absolute terms than the unverified code, its performance also scales linearly with the number of cores, yielding a throughput of more that 10M op/sec. We identify several opportunities for performance improvement, and expect to address these in the future.
Deep classification of frequently-changing activities from GPS trajectories

Classifying trip modalities, i.e. driving, walking, etc., from GPS trajectories is one of the fundamental tasks for urban mobility analytics. It can be used for efficient route planning, human activity recognition, and public transportation design where understanding the time and location of transitioning to different modalities may provide additional insights. Informally, given a GPS trajectory consisting of temporally ordered GPS locations, trip modality/activity classification aims to assign trip modes to each GPS point. It is a challenging task due to the associated noise with the GPS data, the lack of knowledge about the underlying road network as well as the driving traffic conditions which may affect the trip behavior (e.g. driving slower than walking speed at rush hour traffic). Despite its widespread applications, the existing methods are either dependent on multi-sensor data (such as GPS, IMU, Camera, etc.) or use heuristic-based filtering to classify modalities of the trajectory datasets. Moreover, they consider limited number of transitions per trip making them inadequate for more frequent activity changes. In this paper, we propose a novel deep neural network architecture, Frequent Activity Classification Network FACNet, leveraging a bi-directional LSTM network and a custom Attention module to infer modality of GPS points in a trajectory with frequent modality changes. Our supervised learning approach depends only on the GPS trace without any additional inputs, making it applicable to a wide variety of modality related problems. Experiments confirm the superiority of our method compared to the related work as well as heuristic approaches. Finally, we provide access to a set of anonymized GPS trajectories that is made available to the broader research community to provide opportunities to further improve the existing research on the topic.
Analysis of foreign capital inflows and stock market performance in Nigeria

Most studies concentrate on the impact of only one constituent of the foreign capital influx on the stock market and economic performance, but only few studies simultaneously considered the unique impact of the duo of foreign portfolio investment (FPI) and foreign direct investment (FDI), and many of these studies were not undertaken in Nigeria.This study, therefore, assesses how foreign capital inflows (FPI and FDI) affect the stock market development in Nigeria. The foundations for the empirical study were built upon the dividend discount model, which formed the basis for the analytical framework. Going forward, the ARDL co-integration procedure was adopted to examine the long-run relationship between foreign capital and stock market performance. The results from the ARDL Bounds test suggest no evidence of a long-run equilibrium relationship between foreign capital inflows (FDI &amp; FPI) and the stock market performance. Also, the short-run analysis indicates an insignificant relationship between FDI and stock market performance, whereas, a reversed relationship was obtained for FPI, as it exerts a positive and significant impact on stock market performance. The study recommends strengthening the institutional framework for the enlistment of multinational companies in the Nigerian stock market.
IUScholarWorks at Indiana University South Bend Foreign Aid and Adolescent Fertility Rate: Cross-Country Evidence

: This study examines the role of official development assistance (ODA) in affecting adolescent fertility rates in low- and middle-income countries. Approximately 95% of adolescent births occur in middle- and low-income countries, and the average adolescent fertility rate in low-income countries is five times higher than in high-income countries. Aid donors typically pursue multiple objectives when providing development aid, many of which can go beyond changes in per capita GDP and include human capital factors such as adolescent fertility and infant mortality. Using data over the period from 1995 to 2015, our results suggest that total ODA has a beneficial impact by lowering the adolescent fertility rate either directly or through the channel of income growth. Our results also show that this beneficial effect on the adolescent fertility rate is stronger in low-income countries than in middle-income countries. Findings based on sectoral aid suggest that health aid has a stronger effect than aid in other sectors. sustainable cities and communities, responsible consumption and production, climate action, actions to improve life underwater and life on land, peace, justice and strong institutions, and partnerships to achieve these goals.
Stronger and Simpler Updatable Encryption

We define a stronger confidentiality notion for the ciphertext-dependent updatable encryption. The new notion captures the adaptive security that was not covered in prior works (CRYPTO2017, ASI-ACRYPT 2020), but also supports both deterministic and randomized constructions. We revise the public key encryption introduced by Mic-ciancio et al. (EUROCRYPT 2012) to a simpler scheme using the lattice trapdoor techniques. Based on the resulting scheme, we further propose a new updatable encryption construction that achieves the new notion under the Learning with Errors assumption.
DMSO_A_371706 3133..3142

1Department of Internal Medicine, Endocrinology and Diabetology, Central Clinical Hospital of the Ministry of Interior and Administration in Warsaw, Warsaw, Poland; 2Students Scientific Group of the Medical University of Warsaw at the Department of Internal Medicine, Endocrinology and Diabetology, Central Clinical Hospital of the Ministry of Interior and Administration in Warsaw, Warsaw, Poland; 3Department of Human Epigenetics, Mossakowski Medical Research Centre Polish Academy of Sciences, Warsaw, Poland
JURNAL TADRIS BIOLOGI Identifying Sponge Symbiont Bacterial with Antibacterial Activity against Multi-Drug Resistant Organism (MDRO) Bacteria from Sea Waters in Sibolga, North Sumatra Indonesia

This research employed the experimental method with descriptive data analysis. It aimed to isolate and identify sponge symbiont bacteria with antibacterial potential against Multi-Drug Resistance Organisms (MDRO) with the 16S rRNA gene marker. Based on the study results, two sponges were obtained, namely Clathrina sp and Agelas sp, each having 11 and 7 isolates of symbiont bacteria, respectively. Based on the antibacterial activity test results, out of 18 isolates of symbiont bacteria, only 4 had antibacterial potential against MDRO ( Klebsiella pneumoniae ESBL, Pseudomonas aeruginosa ESBL, or Staphylococcus lugdunensis MRSA) with inhibition zones of 9.3 mm, 8.3 mm, and 8.1 mm, respectively. The results of bacterial identification using the 16S rRNA gene sequence isolate S1I3, S1I9, and A1I3 belong to the Bacillus cereus and Bacillus paramycoides types. This research is expected to provide important information about sponge symbiont bacteria with antibacterial potential against MDRO.
Benign-Ex: Delineating Regions of the Human Genome Benign to Copy Number Variation.

Copy number variants (CNVs) have been identified as an important cause of rare genetic disorders, yet have also been identified in unaffected, control populations making clinical interpretation of these lesions challenging. Discriminating benign CNVs from those pathogenic for rare genetic disorders, therefore, relies on understanding what regions of the human genome are tolerant to copy number variation. Benign-Ex is a python-based program that uses information from databases of CNVs to generate one or more benign interval map(s) and then identifies the optimal map by computing the overlap with known pathogenic regions. We utilized Benign-Ex to identify the optimal set of benign intervals from two distinct CNV databases: Database of Genomic Variants (DGV) and Clinical Genome Resource (ClinGen). Benign-Ex called 41.1% of the genome benign using data from DGV and 37.6% of the genome benign using data from ClinGen. The benign regions from DGV and ClinGen were not spatially correlated underscoring the importance of integrating both research and clinical databases for determining CNV benignity.
Degradation of the Lunar Surface by Small Impacts

The surfaces of airless bodies like the Moon are bombarded by a steady stream of small impactors that lead to erosion of the topography over time. However, the rate of degradation from small impacts, a key parameter in interpreting the ages of present-day lunar surface features, is not well constrained. Here we demonstrate, using a numerical mass transport model, that impact erosion is a nonlinear diffusion process, in contrast to past studies of crater degradation that have assumed that the downslope mass flux of ejecta is linearly proportional to hillslope gradient. Nonlinearity is a consequence of the asymmetric shape of ejecta blankets on sloped surfaces, and as a result, the degradation rate on steep slopes is over 40% greater than on nearly flat surfaces. Using measurements of the morphology and formation rate of small primary and secondary craters, the kilometer-scale lunar landscape diffusivity is computed and compared to the value inferred from topographic profiles of degraded craters. We show that the abundance of decameter-scale craters forming on the Moon over the past decade is consistent with small impacts dominating the erosion of the lunar landscape, but only if the primary size−frequency distribution remains steep down to the submillimeter scale.