Miracle-dz/UniFAR-FTUs huggingface dataset:
Papel paliativo de los omega-3 en el deterioro cognitivo

El envejecimiento es un factor muy importante en la aparicion de enfermedades que llevan asociadas un deterioro cognitivo. En trabajos de experimentacion se ha podido comprobar que la deficiencia de acidos grasos esenciales (EFA) se traduce en alteraciones en la formacion y diferenciacion de neuronas y astrocitos, y/o en la formacion de mielina. Estos EFA son capaces de proteger dichas neuronas y celulas de glia, y prevenir su apoptosis. En este trabajo se realiza una busqueda y un analisis amplio de los trabajos y estudios publicados de mayor relevancia en individuos sanos y/o con deterioro cognitivo. En el se pone de relieve: a) la importancia que tiene una buena alimentacion para intentar conseguir una correcta funcionalidad del sistema nervioso central (SNC). b) la repercusion que tiene la suplementacion con acidos grasos poliinsaturados (AGPI) en los individuos afectados o con riesgo a padecer deterioro cognitivo. Si bien la informacion extractada de muchos trabajos no es concluyente, en algunos de ellos se concluye que la ingesta de dichos AGPI, en particular la del acido docosahexaenoico (22:6, -3), bien formando parte de alimentos o como nutraceutico, reduce en gran medida los efectos proinflamatorios inducidos por el envejecimiento y retrasa la iniciacion y progresion de las enfermedades neurodegenerativas en las que el deterioro cognitivo es prevalente. Se requieren mas estudios para conocer con mayor seguridad la realidad de los beneficios del consumo de AGPI -3 sobre el deterioro cognitivo.
Mining Invocation Specifications for API Libraries

Invocation Specifications of an API library are types of specifications that are able to describe the legal invocation sequences of methods.Client code should follow descriptions of invocation specifications to call upon methods provided by API libraries.If this procedure is not followed,defects can be introduced into client code,and reduce its integrity.Because invocation specifications define the properties that are trustworthy for a software system,they play a central role in the research of trustworthy software and model checking;however,due to the great efforts to write invocation specifications,most API libraries do not provide such specifications.To address the problem,researchers have proposed various approaches to mine invocation specifications automatically.In this paper update-to-date research of mining specifications is surveyed,and the potential direction of further research is discussed.
Objectives For Instruction And Evaluation

Thank you for downloading objectives for instruction and evaluation. Maybe you have knowledge that, people have search numerous times for their favorite books like this objectives for instruction and evaluation, but end up in infectious downloads. Rather than enjoying a good book with a cup of coffee in the afternoon, instead they cope with some harmful virus inside their laptop. objectives for instruction and evaluation is available in our book collection an online access to it is set as public so you can download it instantly. Our book servers spans in multiple locations, allowing you to get the most less latency time to download any of our books like this one. Merely said, the objectives for instruction and evaluation is universally compatible with any devices to read.
Singular invariant probability densities in dissipative dynamical systems

Dynamical systems are considered dissipative when they asymptotically produce a net contraction of volume in phase space, so that V(t) → 0 as t → ∞ , where V(t) is the volume at time t into which the dynamics transforms a nonzero initial volume V0. The trajectories x ( t ) are thereby forced to asymptotically converge toward time-invariant subsets of measure zero, which are typically strange attractors with fractal structure. Since a probability density is a probability per unit volume in phase space, any initially smooth probability density must become singular as t → ∞ , so invariant probability densities do not exist as proper mathematical functions in dissipative systems. For this reason, the statistical behaviour of such systems is generally analysed in terms of invariant probability measures, which remain well defined even when densities do not. The purpose of this paper is to point out that invariant probability densities in dissipative systems can nevertheless be rigorously defined as singular generalised functions which (a) are natural generalisations of the Dirac delta function, (b) are easier to work with than invariant measures, (c) satisfy the same stationary Liouville equation as continuous invariant densities, and (d) can therefore be formally manipulated in the same way. These simplifying features facilitate the analysis of the statistical properties of dissipative dynamical systems, thereby making abstract measure-theoretical theories of such systems more accessible to students and nonspecialists.
Is Summer African Dust Arriving Earlier to Barbados? The Updated Long-Term In Situ Dust Mass Concentration Time Series from Ragged Point, Barbados, and Miami, Florida

Surface dust mass concentrations, extracted from filters collected at Miami, Florida, and Ragged Point, Barbados, since 1974 and 1973, respectively, provide a rare, unusual, and important metric of the intercontinental transport of North African dust. The daily-resolved time series, updated through December 2018 for Miami and through December 2015 along with May–September 2016 and January–March and June–August 2017 for Barbados, indicate summer-mean dust mass concentrations have mostly decreased this decade at Miami, but not at Barbados, where instead the events containing the highest dust mass concentration events may be shifting to earlier in the year.
Dynamic Modularity Approach to Adaptive Control of Robotic Systems With Closed Architecture

Modern applications of robotics typically involve a robot control system with an inner proportional–integral (PI) or proportional–integral–derivative (PID) control loop and an outer user-specified control loop for specifying the velocity (or position) command. Most existing outer loop controllers, however, do not take into consideration the dynamic effects of robots and their effectiveness relies on the ad hoc assumption that the inner PI or PID control loop is fast enough, and other torque-based controllers cannot be implemented in robots with closed architecture. This paper investigates the adaptive control of robotic systems with an inner/outer loop structure, taking into account the effects of the dynamics and uncertainties, and both the task-space control and joint-space control are considered. We propose a dynamic modularity approach to resolve this issue, and a class of adaptive outer loop control schemes is proposed and their role is to dynamically generate the joint velocity (or position) command for the low-level joint servoing loop. Without relying on the ad hoc assumption that the joint servoing loop is fast enough or modification of the low-level joint controller structure, we show that the proposed outer loop controllers can ensure stability and convergence of the closed-loop system. The formulated dynamic modularity approach is validated by the experimental results using different generations of the UR10 robots.
Review on Memory Subsystems in High Level Synthesis for FPGA

In order to accelerate the systems,High Level Synthesis(HLS) aims to map the computation of the system to the reconfigurable hardware,based on the behavioral description of the system in high level programming language.In HLS,the generation of efficient memory subsystem is critically important,especially for data-intensive computation.In this paper,the existing HLS technologies for FPGA and their memory subsystems were analyzed.The generated memory subsystems' architectures were divided into three categories:DSP-like architecture,CPU-control architecture and architecture based on the reconfigurable memory functional units.These architectures were discussed with examples.After that,the front end and back end optimization techniques for memory subsystems in HLS were discussed respectively.In addition,the aforementioned architectures and techniques were analyzed and evaluated.Finally,the mapping between the off-chip and on-chip memories and the efficient modeling for the programs were listed as the remained problems.In HLS,syntheses for multi-module and automatic generation of the memory organization can be future research directions.
Realizacja celów zarządczych jako podstawa wynagrodzenia członka zarządu spółki komunalnej

Celem artykulu jest analiza potencjalnych skutkow obowiązującej od 9 września 2016 roku ustawy o zasadach ksztaltowania wynagrodzen osob kierujących niektorymi spolkami. Autor koncentruje uwage na spolkach komunalnych, dla ktorych organy wlaścicielskie wskazaly w 2017 roku tak zwane cele zarządcze, uzalezniając od stopnia ich realizacji wysokośc wynagrodzen czlonkow zarządow tych spolek. Jako metode badawczą zastosowano analize treści uchwal organow wlaścicielskich dotyczących celow zarządczych w 84 spolkach z roznych branz dzialalności komunalnej. Analiza porownawcza tych celow pozwolila na sformulowanie wnioskow co do mozliwych skutkow tych zmian. W podsumowaniu autor dowodzi, ze wprowadzając zmiany prawne mające zapobiegac nieprawidlowościom, nie uniknieto wielu bledow, co moze powodowac, ze nowe przepisy prawa mogą sie przyczyniac w niedalekiej przyszlości do kolejnych problemow w zarządzaniu spolkami komunalnymi.
A hybrid intelligent system: genetic algorithm and rough set incorporated neural fuzzy inference network

Neural Fuzzy Inference System (NFIS) has been intensively investigated due to its aptitudes in accurate data processing as well as extractable and human interpretable inference rule base. However, most NFIS architectures focus primarily on modeling accuracy. Lesser attention has been devoted to improve the interpretability of the fuzzy inference rule base. In this thesis, a high-level interpretability of the rule base is manifested through the use of a small number of features and a small number of simple rules without redundancies and inconsistencies. Furthermore, a small number of fuzzy membership functions without much overlap between the adjacent ones promote greater legibility. With a high-level accuracy and better interpretability, intelligent systems become more convincing to developers, experts, and users. However, many established methods that perform knowledge reduction are applied to the derived rule base. Lesser attention has been devoted to derive a compact fuzzy inference rule base from the initial design and during an iterative optimization process. This thesis aims to construct an NFIS that achieves a high-level interpretability with competitive accuracy in an integrated framework focusing on leveraging the trade-off between accuracy and interpretability from the design phase and throughout the iterative optimization process. To realize this objective, rough set theory is incorporated to perform knowledge reduction and genetic algorithm is incorporated to search for pseudo optimal solutions. A hybrid architecture, named Genetic Algorithm and Rough Set Incorporated Neural Fuzzy Inference System (GARSINFIS), is proposed in this thesis. GARSINFIS employs Genetic Algorithm based Rough Set i Clustering (GARSC) technique, which systematically divides data into clusters and represents them using minimal amount of necessary knowledge. GARSC ensures a relatively small network size of GARSINFIS. The trade-off between interpretability and accuracy can be tuned by adjusting the coefficients of different components defined in the fitness evaluation function. Moreover, the Recursive Least Squares (RLS) algorithm, which boosts accuracy but degrades interpretability, can be applied to increase the order of the employed fuzzy rules and further fine-tunes them after the network structure has been automatically determined according to the clustering result. A committee of multiple GARSINFIS networks with the weighted voting scheme can be employed to increase the overall accuracy. GARSINFIS is applied to eight publicly available and widely used data sets for performance comparisons against other classical and similar models. Furthermore, it is applied to two real-world applications for performance evaluations, wherein the automatically selected input features and systematically derived inference rules are compared to the ones used by the experts to demonstrate how well GARSINFIS performs in terms of knowledge reduction without prior knowledge and human intervention.
Use of WhatsApp in Higher Education

The aim of this study is to investigate the use of WhatsApp application in anonymous peer assessment in higher education. The mobile phone application WhatsApp was used as both an anonymous and nonanonymous peer assessment tool in a classroom environment. The participants of the study were the students of two classes (sophomores and juniors), half of which were assigned to the anonymous peer assessment group and the other half to the nonanonymous peer assessment group for each class. The members of the anonymous groups used the personal messaging function of WhatsApp for assessment, whereas the nonanonymous groups used the group chat function of the application. WhatsApp was confirmed to be a valid tool for peer assessment, and it was shown that the required anonymity of the method was appropriate for the task. The students' perceived attitudes toward the procedure were found to be rather high, with no significant difference identified between the sophomores and junior groups related to the procedure.
Taking advantage of misclassifications to boost classification rate in decision fusion

This paper presents methods to boost the classification rate in decision fusion with partially redundant information. This is accomplished by utilizing the information of known mis- classifications of certain classes to systematically modify class output. For example,, if it is known beforehand that tool A mis- classifies class 1 as often as class 2, then it appears to be prudent to integrate that information into the reasoning process if class 1 is indicated by tool B and class 2 is observed by tool A. Particularly this preferred mis-classification information is contained in the asymmetric (cross-correlation) entries of the confusion matrix. An operation we call cross-correlation is performed where this information is explicitly used to modify class output before the first fused estimate is calculated. We investigate several methods for cross-correlation and discuss the advantages and disadvantages of each. We then apply the concepts introduced to the diagnostic realm where we aggregate the output of several different diagnostic tools. We show how the proposed approach fits into an information fusion architecture and finally present results motivated from diagnosing on-board faults in aircraft engines.
Interactive visualization and collision detection using dynamic simplification and cache-coherent layouts

Recent advances in model acquisition, computer-aided design, and simulation technologies have resulted in massive databases of complex geometric models consisting of more than tens or hundreds of millions of triangles. In spite of the rapid progress in the performance of CPUs and graphics processing units (GPUs), it may not be possible to visualize or perform collision detection between massive models at interactive rates on commodity hardware. In this thesis, we present dynamic simplification and cache-coherent layout algorithms for interactive visualization and collision detection between large models, in order to bridge the gap between the performance of commodity hardware and high model complexity. Firstly, we present a novel dynamic simplification algorithm that efficiently handles massive models for view-dependent rendering while alleviating discontinuity problems such as visual poppings that arise when switching between different level-of-details (LODs). We describe an out-of-core construction algorithm for hierarchical simplification of massive models that cannot fit into main memory. We also apply dynamic simplification to collision detection and introduce a new conservative metric to perform fast and conservative collision detection between massive models. Our approach is conservative in that it may overestimate the set of colliding primitives, but never misses any collisions. Secondly, we present novel cache-oblivious layout algorithms for polygonal meshes and hierarchies to minimize the expected number of cache misses for a wide variety of applications. Our layout algorithms only assume that runtime applications have random, but cache-coherent access patterns. However, we do not require any knowledge of cache parameters such as block and cache sizes. We demonstrate benefits of our layout algorithm on three different applications including view-dependent rendering, collision detection, and isosurface extraction. We have implemented our algorithms on a desktop PC and are able to achieve significant improvements over previous approaches and obtain interactive performance (more than 10 frames per second) on view-dependent rendering and collision detection between massive and complex models.
A Dynamic Genetic Algorithm Based on the Neural Network with Constraints

In this paper, a kind of dynamic genetic algorithm based on the neural network with constraints is presented, which combines the local searching ability of neural network with the global searching ability of genetic algorithm. The dynamic algorithm is used to decide the initial point of the neural network, and the neural network is employed to decide the fitness of the dynamic genetic algorithm. The proposed algorithm has some theoretical and biological meanings. Compared with the standard genetic algorithm, it can decrease the searching scale and get the approximate solution of quadratic programming problems that are non definite.
Ontologien : Konzepte, Technologien und Anwendungen

Will reading habit influence your life? Many say yes. Reading ontologien konzepte technologien und anwendungen is a good habit; you can develop this habit to be such interesting way. Yeah, reading habit will not only make you have any favourite activity. It will be one of guidance of your life. When reading has become a habit, you will not make it as disturbing activities or as boring activity. You can gain many benefits and importances of reading.
Erratum: “Revisiting the Integrated Star Formation Law. I. Non-starbursting Galaxies” (2019 ApJ, 872, 16)

(2019 ApJ, 872, 16) Mithi A. C. de los Reyes and Robert C. Kennicutt, Jr. 1 Department of Astronomy, California Institute of Technology, 1200 E. California Blvd., MC 249-17, Pasadena, CA 91125, USA; mdelosre@caltech.edu 2 Institute of Astronomy, University of Cambridge, Madingley Rd., Cambridge CB3 0HA, UK 3 Department of Astronomy and Steward Observatory, University of Arizona, Tucson, AZ 85721, USA 4 Department of Physics and Astronomy, Texas A&M University, College Station, TX 77843, USA Received 2019 May 17; published 2019 June 14
The C*-algebras of connected real two-step nilpotent Lie groups

Using the operator valued Fourier transform, the C*-algebras of connected real two-step nilpotent Lie groups are characterized as algebras of operator fields defined over their spectra. In particular, it is shown by explicit computations, that the Fourier transform of such C*-algebras fulfills the norm controlled dual limit property.
The Effectiveness of Circuit Training with Constant Break and Decreased Intervals on Vo2max, Power, and Recovery

this study aims to determine if any difference exists in the effect of circuit training type with fixed break and decreased intervals to improve VO2 Max, Power and Recovery ability of students in the Faculty of Sport Sciences UNY. The research applied the quasi experimental research method. The treatment group was measured by giving circuit training with 45 seconds constant break interval and 10 seconds decreased break interval on the improvement of VO2 Max, Power and Recovery abilities. The factorial design was the design implemented. The samples were taken from the existing population by the Purposive Random Sampling method. The data collection was obtained by tests and measurements. The data analysis technique applied the multivariate analysis with Repeated Measured test. Totally, the research result proves that there is a significant influence on both methods of circuit training. Based on the result analysis, the circuit training method with 10 second decreased break interval is more effective in improving all the dependent variables including VO2 Max, power, and recovery from the circuit training method with 45 seconds constant break interval. Keywords—circuit training, break interval
High-temperature (350 °C) oxidized iridium Schottky contacts on β-Ga2O3

Oxidized iridium (IrOx) Schottky contacts (SCs) with excellent high temperature stability were fabricated on 2 ¯ 01 β-Ga2O3 single crystal substrates. These IrOx:β-Ga2O3 SCs were operated at temperatures from 24 to 350 °C with only a very small increase in reverse leakage current, while maintaining extremely high rectification ratios (at ±3 V) of more than 10 orders of magnitude at all temperatures, including 350 °C. This remarkable high temperature performance was due to their very high and thermally stable rectifying barriers that, after an initial heat-related improvement, were characterized by zero-bias effective barrier heights of 2.05 ± 0.02 eV and ideality factors of 1.05–1.10, which were almost unchanged by further repeated operation at 350 °C. The reverse leakage current density at 350 °C was only ∼2.3 × 10−9 A cm−2 (∼3.0 pA) at −3 V and ∼7.5 × 10−8 A cm−2 (∼100 pA) at −100 V. These IrOx:β-Ga2O3 SCs represent a significant improvement in high-temperature β-Ga2O3 SC performance, with considerable potential for the fabrication of high temperature β-Ga2O3 rectifying diodes, deep UV photodetectors, and metal-semiconductor field effect transistors.Oxidized iridium (IrOx) Schottky contacts (SCs) with excellent high temperature stability were fabricated on 2 ¯ 01 β-Ga2O3 single crystal substrates. These IrOx:β-Ga2O3 SCs were operated at temperatures from 24 to 350 °C with only a very small increase in reverse leakage current, while maintaining extremely high rectification ratios (at ±3 V) of more than 10 orders of magnitude at all temperatures, including 350 °C. This remarkable high temperature performance was due to their very high and thermally stable rectifying barriers that, after an initial heat-related improvement, were characterized by zero-bias effective barrier heights of 2.05 ± 0.02 eV and ideality factors of 1.05–1.10, which were almost unchanged by further repeated operation at 350 °C. The reverse leakage current density at 350 °C was only ∼2.3 × 10−9 A cm−2 (∼3.0 pA) at −3 V and ∼7.5 × 10−8 A cm−2 (∼100 pA) at −100 V. These IrOx:β-Ga2O3 SCs represent a significant improvement in high-temperature β-Ga2O3 SC performance, with conside.