Miracle-dz/UniFAR-FTUs huggingface dataset:
Robust Stability Analysis and Feedback Control for Uncertain Systems With Time-Delay and External Disturbance

This article addresses the delay-dependent Takagi–Sugeno (T–S) fuzzy state feedback control and exponential admissibility analysis for a class of T–S fuzzy singular uncertain systems. First, the T–S fuzzy model is employed to approximate the singular uncertain system with time-varying delay, saturation input, and unmatched disturbance. Second, the delay-dependent T–S fuzzy state feedback controller is designed by employing the T–S fuzzy model. Third, the free-weighting matrices and delay-dependent Lyapunov–Krasovskii functional with multiple integral terms are employed to derive the delay-dependent exponential admissibility conditions and prescribed H-infinity performance is guaranteed. Compared with previous works, the delay-dependent T–S fuzzy state feedback controller is designed for the T–S fuzzy singular uncertain system to relax system design conditions. The convex hull lemma is employed to convert the closed-loop system with saturation input into the closed-loop system without saturation input to enhance controller design flexibility. The Schur complement lemma and Gronwall Bellman lemma are employed to derive the less conservative delay-dependent stability conditions for determining controller gain matrices. The exact invariant set with less conservativeness is employed to convert the controller design problem into linear matrix inequalities (LMIs) optimization constraints to reduce computation complexity of solving LMIs. Finally, simulation examples are presented to show the effectiveness of the proposed methods.
Efficacy and Safety of Probiotic Bacillus coagulans-SNZ 1969 in Gastrointestinal Discomfort: A Randomized, Placebo-Controlled Study

Purpose: Bacillus coagulans-based probiotics restore gut microbiota and alleviate symptoms of gastrointestinal (GI) discomfort. This study evaluated the efficacy and safety of SNZ 1969 in individuals with GI discomfort. Methods: This was a single-center, randomized, placebo-controlled, parallel‑arm, double-blind study. Participants with GI discomfort (n=30 in each arm) without a specific pathology were randomized to receive B. coagulans‑SNZ 1969, TriBac, or placebo, once daily after a major meal, for 30 days. Symptoms were assessed using the Severity of Dyspepsia Assessment (SODA) scale, Gastrointestinal Symptom Rating Scale (GSRS), and Short Form 36 (SF-36) at baseline, day 15, day 30, and 7 days after the end of treatment. Results: A total of 29 participants from SNZ 1969 and 28 from the placebo group completed the study. Treatment with SNZ 1969 significantly improved the total SODA score (18.34 ± 5.35 vs. 12.60 ± 4.79; p < 0.001), SODA subscores for pain intensity (15.41 ± 4.98 vs. 10.71 ± 3.68; p < 0.001), nonpain symptoms (7.28 ± 2.23 vs. 4.89 ± 2.94; p < 0.001), satisfaction (−4.43 ± 1.81 vs. −3.00 ± 1.22; p = 0.002), and symptom of sour taste (1.52 ± 0.78 vs. 0.75 ± 0.89; p = 0.001) compared with placebo and were consistent after 7 days of treatment discontinuation (p < 0.05). No significant score reduction was observed for GSRS compared with placebo. Two adverse events, fever and cold, were unrelated to SNZ 1969. Conclusion: SNZ 1969 was found to be safe and effective in reducing GI discomfort, especially dyspepsia. Key words: Bacillus coagulans, Gastrointestinal discomfort, Gastrointestinal Symptom Rating Scale, Probiotic, SNZ 1969, Severity of Dyspepsia Assessment scale.
Cutting-Edge Therapies and Novel Strategies for Acute Intermittent Porphyria: Step-by-Step towards the Solution

Acute intermittent porphyria (AIP) is an autosomal dominant disease caused by the hepatic deficiency of porphobilinogen deaminase (PBGD) and the slowdown of heme biosynthesis. AIP symptomatology includes life-threatening, acute neurovisceral or neuropsychiatric attacks manifesting in response to precipitating factors. The latter promote the upregulation of 5-aminolevulinic acid synthase-1 (ALAS1), the first enzyme of heme biosynthesis, which promotes the overload of neurotoxic porphyrin precursors. Hemin or glucose infusions are the first-line therapies for the reduction of ALAS1 levels in patients with mild to severe AIP, while liver transplantation is the only curative treatment for refractory patients. Recently, the RNA-interference against ALAS1 was approved as a treatment for adult and adolescent patients with AIP. These emerging therapies aim to substitute dysfunctional PBGD with adeno-associated vectors for genome editing, human PBGD mRNA encapsulated in lipid nanoparticles, or PBGD protein linked to apolipoprotein A1. Finally, the impairment of glucose metabolism linked to insulin resistance, and mitochondrial aberrations during AIP pathophysiology provided new therapeutic targets. Therefore, the use of liver-targeted insulin and insulin-mimetics such as α-lipoic acid may be useful for overcoming metabolic dysfunction in these subjects. Herein, the present review aims to provide an overview of AIP pathophysiology and management, focusing on conventional and recent therapeutical approaches.
A Security Enforcement Framework for SDN Controller Using Game Theoretic Approach

Software-defined networking (SDN) has gained significant attention as the future deployment platform for the Internet and enterprise networks. The major advantages of SDN include effective traffic management, dynamic configuration of policy and flow rules, and better scalability with heterogeneous traffic requirements. However, centralized network control and the use of OpenFlow protocols introduce various security challenges for the underlying network. The attacks on the SDN controller is critical as it hosts all network control functions. Motivated by a systematic analysis of different attack scenarios in SDN using the STRIDE attack model, this article presents an effective security enforcement framework for proactive prevention of potential attacks on SDN controllers. First, based on a signaling game approach, we design a trust-based controller attack detection (TCAD) model that calculates the trust value of each incoming packet to take necessary action. Next, we propose a risk-based attack prevention (RAP) model that detects and filters malicious traffic flows in the network. Finally, we evaluate our proposed security enforcement framework on different scenarios with varying traffic requirements and by injecting attacks based on the STRIDE model. Experimental results show 95% accuracy in the potential attack detection and prevention.
Nejdia Arkell, 1952, an Early Jurassic (Toarcian) ammonite from the Marrat formation, Central Saudi Arabia

ABSTRACT The present article describes the ammonite fauna from the genus Nejdia, pertaining to the Early Jurassic (Toarcian) deposits of the upper Marrat Formation, exposed in the southwest of Riyadh, capital city of Saudi Arabia, Nejd region. The fossiliferous zone is spread within an area of circa 40 km long, consisting of: light-brown limestone, including interbedded lime-mud at the lower part, yellow and red, clayish limestone at the middle part, cream, dense limestone at the upper part. The cliff forming Marrat Formation contains ammonites Nejdia and Parahildaites belonging to the upper member as well as Bouleiceras and Protogrammoceras in the lower member. At least four species of ammonites from Nejdia genus have been identified. They can be essentially distinguished through the differences in suture line shapes and the whorl section. The associated fauna contains mainly: brachiopods Calyptoria, echinoids Acrosalenia, bivalves. http://zoobank.org/References/7b33f54f-599a-4394-8f2f-95d3c2c631d9
Groundwater Analysis for Jun Stream Basin in Donghae City using MODFLOW

The objective of this study is to evaluate the change of groundwater and its effect to hydraulic head or parameter sensitivity in order to predict the effect of a new groundwater well using MODFLOW. With the downstream area of the Jun stream basin in the Donghae city, two condition were simulated; (i) First simulation condition is to simulate natural steady-state and the groundwater heads for observation wells are calibrated. After the calibration, existing wells are simulated to find out the pure effect of the next simulation condition, (ii) Secondly, the design wells are planed and simulated for the solution of water shortage problem at Donghae city. As a result of the simulation, the maximum drawdown which is approximately 0.35m occurs in layer 1. This represents that there is no intrusion of salty water and the design plan is acceptable. Finally, the sensitivity analysis of each parameter in MODFLOW is accomplished. We found out that the sensitive parameters are initial head, anisotropic factor, hydraulic conductivity, and general head boundary.
Improvement in Wellness Following Periodontal Therapy

Background: Periodontal disease is linked to numerous systemic diseases and it is known that periodontal therapy (PT) is effective in reducing the severity of those diseases. We tested the idea that PT also has a positive effect on quality of life and general wellness. Methods: Patients scheduled for PT at the Rutgers Periodontics Clinic (Newark, NJ 07101) were administered the RAND-36 quality of life questionnaire before and at least 3-months after the procedure. Results: The Wilcoxin signed ranks test demonstrates a significant improvement in wellness following Periodontal Therapy with a p-value=0.02. Conclusion: In this sample most patient’s general wellness improved following PT. Improvement was in the categories of physical functioning, energy and emotional well-being.
SPIRITUAL QUOTIENT: TEACHING EFFECTIVENESS AND ACADEMIC ACHIEVEMENT

Researchers have attempted to understand how spirituality benefits teachers and supports institutional performance while enhancing job satisfaction based on the existing literature. People have different psychological thoughts and beliefs relating to god. Some people feel the immense pleasure in performing religious activities while some believe in the thought “Ahem Brahmasmi” i.e. I am part of the divine and they feel pleasure in activities that motivate them to achieve peace. Religion in psychology is considered as a specific fundamental set of beliefs, thoughts, and practices generally agreed and controlled by a number of people. This shows a low level of spiritual intelligence. This is where the role of the teacher becomes more significant. A teacher with a high level of Spiritual Intelligence can provide guidelines for living from a soul-level and attaining self-fulfillment in both one's work and private life. Keeping the same in mind, the present study is based much on literature and brief analysis of 50 teachers in Delhi and NCR colleges and makes an attempt to study the relationship of spiritual quotient and effective teaching and suggest spiritual quotient as a considerable predictor to make the workplace accessible.
A Review: Health Monitoring System using IOT

— Expansion in health monitoring systems which allow a constant remote patient monitoring and diagnostics by the doctors. The wireless nature of network and use of sensors gives new method to healthcare system. There is no physical operation is required, all the things are getting automatic by the use of wireless sensor nodes. By continuing at a remote place doctor can operate patient easily with the help of technology use in wireless network. In this paper, we present a concept for a better improvement in healthcare system for patient with the help of information technology by using wearable on body sensor and in body sensors for patient continuous monitoring. These sensors are take the reading of patient and send it to doctor can help the patient for enlightening health. In this paper, we discuss various techniques and innovations new movements in wireless sensor network for continuous health monitoring. The main aim of this proposed system is critical patient can be operated by doctor as well as care taker as soon as early. So, to save the life of critical patient health monitoring system plays an important role.
Synthesis of optimal control of a wave energy converter

The thesis begins by describing the experimental determination of the hydrodynamic coefficients of two test models; an Edinburgh duck and a semi-submerged, horizontal right circular cylinder. The impedance and wave force coefficient matrices are measured for these two models, and in the case of the cylinder are checked against exact analytical results. The radiation and scattering pattern matrices are also measured. Synthesis of optimal (complex-conjugate) control is achieved for the cylinder in one and two degrees-of-freedom, and for the duck in one, two and three degrees-offreedom. Synthesis is defined as the pre-computation of drive signals to simulate control using prior knowledge of the incident wave and the device hydrodynamics. The concept of complex-conjugate control with amplitude constraint is introduced, and synthesised for the cylinder. This is compared with the results for control without constraint. A discrepency is found between efficiency calculated at the duck axis and efficiency calculated from the wave amplitudes. This is traced to physical losses in the system. These losses are due to the scale of the test models, and may not be present at full-scale. Having accounted for these losses, the results for the synthesis runs agree well with predictions based on the model coefficients and hydrodynamics. This suggests that the linear model can be used to predict the effect of changes in shape on the forces, displacements and velocities of an optimally controlled device. Full-scale performance is predicted for a lOm diameter duck in unidirectional mixed seas. Two pseudo-optimal control strategies are defined which are based on the impedance measurements. Four different physical configurations are considered. It is found that changing the configuration will roughly determine the effectiveness of the device, and choosing the correct control strategy for that configuration fine tunes performance. The two pseudo-optimal strategies are simple to implement, but are nearly as effective as complex-conjugate control.
Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR

Techniques for software verification are typically realized as cohesive units of software with tightly coupled components. This makes it difficult to reuse components, and the potential for workload distribution is limited. Innovations in software verification might find their way into practice faster if provided in smaller, more specialized components. In this paper, we propose to strictly decompose software verification: the verification task is split into independent subtasks, implemented by only loosely coupled components communicating via clearly defined interfaces. We apply this decomposition concept to one of the most frequently employed techniques in software verification: counterexample-guided abstraction refinement (CEGAR). CEGAR is a technique to iteratively compute an abstract model of the system. We develop a decomposition of CEGAR into independent components with clearly defined interfaces that are based on existing, standardized exchange formats. Its realization component-based CEGAR (C-CEGAR) concerns the three core tasks of CEGAR: abstract-model exploration, feasibility check, and precision refinement. We experimentally show that - despite the necessity of exchanging complex data via interfaces - the efficiency thereby only reduces by a small constant factor while the precision in solving verification tasks even increases. We furthermore illustrate the advantages of C-CEGAR by experimenting with different implementations of components, thereby further increasing the overall effectiveness and testing that substitution of components works well.
DG POWER LOSS REDUCTION USING SOFT COMPUTING TECHNIQUES CONSIDERING OPTIMAL SIZING & LOCATION

: In this paper, genetic algorithm (GA) and particle swarm optimization (PSO) techniques are used, to analyze the optimal DG placement for minimization of power losses to facilitate the large-scale integration of DG Into distribution systems. The impact of DG on losses is also analyzed. Soft computing technique PSO is exhibited to be flexibly suitable for execution at any type of power system with the specified system bus data & line data. GA and PSO soft computing optimization techniques have been analyzed and tested on the standard benchmark IEEE 30-bus system. Results obtained after applying both optimization techniques on the American Electric IEEE 30-bus system with the same control variable with maximum & minimum limits and system data have been compared and analyzed. The result validates that the appropriate allocation and size of DG are the significant factors that affect the accommodation of the growing levels of DG in distribution networks.
Compression of Interdomain SDN Policies at Exchange Points

Internet Exchange Points (IXPs) with Software-Deﬁned Networking (SDN) capabilities are a promising way of shaping the future of interdomain trafﬁc delivery on the Internet—allowing IXP participants to express ﬂexible SDN policies on interdomain trafﬁc. Unfortunately, it has proven difﬁcult to compile interdomain trafﬁc policies into forward table sizes reasonable for available commodity switches, and indeed this shows in state-of-the-art Software-Deﬁned IXP implementations. To compile interdomain trafﬁc SDN policies, available preﬁx routes must be factored in to ensure correctness, resulting in an explosion in the size that a policy requires in the forwarding plane. To combat this scalabilty challenge, new compression techniques of forwarding table entries are required. In this work, we discuss the design and analysis of such a technique, which allows near-optimal compression of SDN policies for IXPs with large numbers of participants.
Numerical transient analysis of random leakage in time and frequency domains

ABSTRACT Models of water pipeline systems should take into account the distribution in space and time of user demands and leakage. In the usual approach such a distribution is simplified lumping the system outflows at a reduced number of nodes. To investigate the effects of such a simplification, in this paper we explore by numerical models, both in the time and in the frequency domain, the uncertainty introduced by the random variation in leak size, location and number. The novelty is also in considering the number of leaks as a parameter. In the time domain, results show that the damping increases with the number of leaks. The spreading of the simulated pressure signals increases with time whereas it decreases with the number of leaks. In the frequency domain, the local minima and maxima values of the impedance are affected by the number of leaks for a given total outflow from the system.
Sheets of Symmetric Lie Algebras and Slodowy Slices

Let θ be an involution of the finite dimensional reductive Lie algebra g and g = k ⊕ p be the associated Cartan decomposition. Denote by K ⊂ G the connected subgroup having k as Lie algebra. The K -module p is the union of the subsets p := {x | dim K.x = m} , m ∈ N , and the K -sheets of (g, θ) are the irreducible components of the p . The sheets can be, in turn, written as a union of so-called Jordan K -classes. We introduce conditions in order to describe the sheets and Jordan classes in terms of Slodowy slices. When g is of classical type, the K -sheets are shown to be smooth; if g = glN a complete description of sheets and Jordan classes is then obtained. Mathematics Subject Classification 2000: 14L30, 17B20, 22E46.
Social Media Sites Enhance Online Teaching and Learning Activities： Instructors＇ Perceptions： A Case Study

Online teaching and learning environments have been booming worldwide. However, many universities in developing countries cannot afford learning management systems, such as Blackboard or WebCT. Therefore, this qualitative study explores the possibility of using social media sites for online instruction due to the fact that their prominent utilities are similar to those of Blackboard and other learning management systems. Through purposeful sampling, four university professors using social media for online instruction were selected as participants, in order to gain insights from their perspectives regarding its usage as an alternative instructional medium. Using the constant comparison method and open coding, data was gathered and triangulated from participant interviews, observations of participants’ online courses on social media sites; documents collected from their online courses; and the researcher’s reflexive journal. Thematic findings revealed that social media sites increased (1) interaction and communication between the instructor and students, (2) interaction, communication, and collaboration among students, (3) and interaction between students with materials. It is believed that the significance of the research findings can be transferred to the similar online teaching contexts where learning management systems cannot be afforded.
Analysis of critically refracted longitudinal waves

Fabrication processes, such as, welding, forging, and rolling can induce residual stresses in metals that will impact product performance and phenomena such as cracking and corrosion. To better manage residual stress tools are needed to map their distribution. The critically refracted ultrasonic longitudinal (LCR) wave is one such approach that has been used for residual stress characterization. It has been shown to be sensitive to stress and less sensitive to the effects of the texture of the material. Although the LCR wave is increasingly widely applied, the factors that influence the formation of the LCR beam are seldom discussed. This paper reports a numerical model used to investigate the transducers' parameters that can contribute to the directionality of the LCR wave and hence enable performance optimization when used for industrial applications. An orthogonal test method is used to study the transducer parameters which influence the LCR wave beams. This method provides a design tool that can be us.
Visuri, A. M.; Giamarchi, T.; Törmä, Päivi Excitations and impurity dynamics in a fermionic Mott insulator with nearest-neighbor interactions

Powered by TCPDF (www.tcpdf.org) This material is protected by copyright and other intellectual property rights, and duplication or sale of all or part of any of the repository collections is not permitted, except that material may be duplicated by you for your research use or educational purposes in electronic or print form. You must obtain permission for any other use. Electronic or print copies may not be offered, whether for sale or otherwise to anyone who is not an authorised user. Visuri, A. M. ; Giamarchi, T. ; Törmä, Päivi
A 20.6 dBm K‐band power amplifier with 34.6% PAE in 65 nm CMOS

This article presents a fully‐integrated K‐band power amplifier design approach for 5G mmWave applications. The 65nm CMOS‐based power amplifier is operated in class‐J mode, has a two‐stage cascade configuration with appropriate power cells prematch and high gain driver stage which achieves a gain of 18 dB and 20.6 dBm saturated output power (PSAT) with 34.6% power added efficiency (PAE). © 2016 Wiley Periodicals, Inc. Microwave Opt Technol Lett 58:1179–1181, 2016
Systematic Review on Chatbot Techniques and Applications

Chatbots were an important research subject in the past. A chatbot is a computer program or an artificial intelligence program that participates in a conversation via auditory or textual methods. As the research on chatbots progressed, some important issues regarding them changed over time. Therefore, it is necessary to review the technology with a focus on recent advancements and core research technologies. In this paper, we introduce five different chatbot technologies: natural language processing, pattern matching, semantic web, data mining, and context-aware computer. We also introduce the latest technology for the chatbot researchers to recognize the present situation and channelize it in the right direction.