Miracle-dz/UniFAR-FTUs huggingface dataset:
The periodic sequence property

In 1984, Wim Ruitenburg [19] published a surprising result1 about the intuitionistic propositional calculus (IPC). It does not seem well-known: one of the few researchers making extensive use of it was the late Sergey Mardaev [9–13]; apart from it, some recent references quoting Ruitenburg’s paper include Ghilardi et al. [6] or Humberstone’s monograph [7]. Moreover, most of these references use it in the context of definability (eliminability) of fixpoints, where it is just one of possible lines of attack (the other being via uniform interpolation [16]; see [6] for a discussion). The property established by Ruitenburg deserves more attention though: to begin with, it turns out to be a natural generalization of local finiteness. Consider a propositional formula A. Fix a propositional variable p, which can be thought of as representing the context hole or the argument of A taken as a polynomial (other propositional variables being additional constants). Given any other formula B, write A(B) for the result of substituting B for p. Also, write A ≡L B for `L A↔ B. Now define the obvious iterated substitution operation A(p) := p,A(p) := A(A(p)). Such a sequence turns almost immediately into a cycle modulo ≡CPC:
Voice Analysis of the " White Peony Tune " of Linxia Huar Based on Acoustics Yanbing Ding Northwest University for Nationalities

The paper collected the speech signal of Linxia Huar "White peony tune" which contain mountain singing, cheerful singing and tearful singing with experimental phonetic analysis method. And complete the signal tagging and parameter extraction. In the course of the study, the fundamental frequency and energy parameters was usesd to analysis the Basic phonetic features and prosodic features of Linxia Huar to explore the principle of its pronunciation and singing skills. Keywords-Linxia Huar; white peony tune; phonetic features
Structure and ultrastructure studies of the digestive tract of the endangered Qinling lenok (Brachymystax tsinlingensis Li, 1966)

The aim of this study was to investigate the structure and ultrastructure of the digestive tract ofQinling lenok(Brachymystax tsinlingensis Li, 1966), a cold water Salmonidae fish, an endangered teleost species, with high potential for controlled rearing in Shaanxi Province of China, by light and electron microscopy. Morphological data of the digestive tract are important for understanding fish nutrition, pathological or physiological alterations. The histological structure of Qinling lenok consists of four layers: mucosa, submucosa, muscularis and serosa. Taste buds were found in lips and esophagus. The esophageal mucosa consists of undifferentiated mucous cells and surface epithelial cells. The U-shaped stomach was divided into cardiac, fundic and pyloric region. There are numerous gastric glands in the submucosa layer of the cardiac and fundic stomach, but none of them are present in the pyloric region. The convoluted tube-shape intestine is lined by simple columnar epithelial cells with microvilli at the apical surface, with an intestinal coefficient of 0.61. There are numerous goblet cells in the intestine. Finger-like pyloric caeca were found in the front of intestine tube, with number ranged from 42 to 88. In ultrastructural level, mucous and glandular cells in the stomach were found, the glandular cell with well-developed tubulovesicular system, a great amount of pepsinogen granules, mitochondria and Golgi apparatus. The enterocytes with abundant microvilli contained mitochondria and lysosome, and mucous granules of goblet cells were apparent in the intestine. High density of lipid droplets of pyloric caeca might be concerned with fat-absorption. The present study suggests that the digestive tract ofQinling lenok is similar to other carnivorous fishes, in relation to its feeding habits.
Author ' s personal copy

Procolophonoidea represent the most successful radiation of Parareptilia that lived during the Permo-Triassic. They are one of the few vertebrate groups that survived the endPermian extinction and are thus important for studying the recovery of the post-extinction terrestrial ecosystem. Here, we investigate the palaeobiology of three Triassic procolophonid parareptiles, namely Sauropareion anoplus, Procolophon trigoniceps and Teratophon spinigenis, from the Karoo Basin of South Africa, inferred from histological analyses of their limb bones. Results reveal that all three taxa exhibit parallel-fibered bone tissue. Growth rings are absent in the Early Triassic Sauropareion and Procolophon whereas annuli are present in the Middle Triassic Teratophon, even during early ontogeny, suggesting a difference in life histories. Morphology and bone histology imply fossorial lifestyles for all three taxa, suggesting that burrowing may have played an important role in their survival during the harsh post-extinction Triassic environment. © 2012 Académie des sciences. Published by Elsevier Masson SAS. All rights reserved.
Assessment and promotion of safety culture in medical practices using sources of ionizing radiation : the Cuban experience

The lessons learned from several radiological accidents in medical and industrial practices using sources of ionization radiation show that a fragile safety culture in the organizations and human error were the most important contributors to such events. The high contribution of human factors to safety in the radiotherapy treatment process have been also revealed by the results of a recent study, a Probabilistic Safety Assessment to this process conducted in the framework of the Extra-budgetary Programme on Nuclear and Radiological Safety in Iberian-America. However no significant actions are noticed around the world to investigate and develop methods and techniques to assess and promote a strong safety culture in those practices, unlike other sectors such as nuclear power, chemical, commercial aviation and oil industries. The Cuban Nuclear Regulatory Authority has under way a National Program for Promotion and Assessment of Safety Culture in organizations using sources of ionizing radiation. As part of this program, during 2007, a pilot study was carried out. Two Radiotherapy and Nuclear Medicine Units were chosen for this pilot study, where managers and specialists were interviewed, a safety culture survey was executed and a final report was prepared with several recommendations both for Regulators in designing their regulatory strategy on safety culture for medical practices and for users to increase their level of safety culture. This paper describes the methodology used to organize, prepare, execute and report the results, findings and recommendations of this kind of review, the benefits and main difficulties found during this endeavor and the perspective and suggestions that, in opinion of the authors, are important to be taken into account in the field of radiological safety culture in the near future.
INTE 2012 Evaluating the Fitness of Lecturing with Powerpoint Presentations for Accounting Education-Research at Sakarya University-A .

In the study, it was aimed to evaluate the effectiveness of the lecturing via powerpoint presentations in accounting education. The questionnaire study prepared with this purpose was applied to the students at the Departments of Economics and Finance within the Faculty of Economics and Administrative Sciences and at the Departments of Business Administration and Tourism within the Faculty of Business Administration at Sakarya University. By means of the questionnaire applied, the traditional lecturing method and lecturing with PowerPoint presentations were comparatively evaluated in terms of efficiency and achievement factors. The results of the study were also evaluated according to students’ departments, grades and genders. The questionnaire data was analyzed with Kruskal-Wallis Test, Independent Sample T test, Analysis of Variance (ANOVA) and Tukey test and as a result of the analyses, it was determined that there was a significant difference between the teaching methods and the grades students got in accounting education. Moreover it was determined that there is not a significant difference between the students’ thoughts about Powerpoint presentations and traditional method in terms of their genders and class.
Monosex population in Brazilian native fish: the start of the future

Techniques for controlling and manipulating phenotypic sex have been widely used in fish farming worldwide (as livestock activity) and in scientific studies of fish reproductive physiology. The induction of a desired sex is possible due to the high flexibility of the process of fish sex differentiation and the different systems of fish sex determination. Currently, monosex populations are produced in at least 20 economically important fish species in different countries. While in the most advanced countries the monosex production of fish is already consolidated, in Brazil the only species produced commercially in monosex batches is African (Nile tilapia), i.e. exotic. However, recent research on the comparative production between males and females has been developed with native Brazilian fish. This review addresses the purposes and methods for producing monosex population in fish, highlighting their wide spread use in the world and brings to light the first native Brazilian species in which this type of study has been already conducted.
DEGAM-Leitlinie „ Multimorbidität “ im Praxistest DEGAM-Guideline “ Multimorbidity ” – a Field Test

Institut für Allgemeinmedizin, Universitätsklinikum Schleswig-Holstein, Campus Lübeck Peer-reviewed article eingereicht: 21.11. 2017, akzeptiert: 11.01. 2018 DOI 10.3238/zfa.2018. 0064–0069 Hintergrund: Bisherige Leitlinien berücksichtigen spezifische Erkrankungen und Symptome, jedoch kaum die besondere Situation von multimorbiden Patienten. Ziel des vorliegenden Praxistests war es, die Akzeptanz und Praktikabilität des Leitlinienentwurfs „Multimorbidität“ der Deutschen Gesellschaft für Allgemeinmedizin und Familienmedizin bei Ärzten und Patienten sowie Hinweise zur Implementierung zu ermitteln. Methoden: Für den Praxistest der Leitlinie „Multimorbidität“ wurden ca. 450 Hausärzte in Schleswig-Holstein über unterschiedliche Verteiler angesprochen. Von diesen erklärten sich 18 Hausärzte zur Teilnahme bereit. Über die Hausärzte wurden multimorbide Patienten um Teilnahme gebeten, elf erklärten sich dazu bereit. Den Ärzten wurde die Leitlinie (Langversion, Kurzversion, Patienteninformation „Menschen mit mehreren Krankheiten“) für eine vierwöchige Erprobungsphase zur Verfügung gestellt. Die Patienten erhielten die Patienteninformation. Mittels Fokusgruppengesprächen oder wahlweise Interviews wurden Akzeptanz und Praktikabilität der Leitlinie ermittelt. Die Gespräche wurden digital aufgezeichnet, transkribiert und mittels qualitativer Inhaltsanalyse ausgewertet. Ergebnisse: Von den 18 Hausärzten nahmen neun, von den elf Patienten zehn am Praxistest teil. Es bestand Konsens über die Notwendigkeit einer Leitlinie Multimorbidität. Die Patienteninformation wurde von den Ärzten und Patienten mehrheitlich als gute schriftliche Information angesehen. In der Leitlinie wurde die vertiefte Thematisierung spezieller Beratungsanlässe wie psychischer Symptome und der erlebten Anamnese vermisst. Für die Behandlung von multimorbiden Patienten wurde darüber hinaus der Bedarf geäußert, ein Tool zur Priorisierung bezüglich der vordergründig zu behandelnden Erkrankungen zu entwickeln, um die alltägliche Arbeit zu erleichtern. Schlussfolgerungen: Der Praxistest ergab, dass die Leitlinie Multimorbidität inklusive der Patienteninformation als notwendig erachtet wird. Konkrete Handlungsanweisungen und eine vertiefte Thematisierung spezieller Beratungsanlässe werden noch vermisst. Der Stellenwert der Leitlinie wird daher vor allem im edukativen Bereich für Patienten und Studierende gesehen.
The toxicity of fumonisin B 1 in chicken embryos

Cantaloupe (Cucumismelo L. var. reticulates Ser.) is one of the most famous cucurbit crops in Egypt for local consumption and exportation. It is considered as an untraditional winter crop and became one of the most important exportation crop to the foreign markets. Alternaria spp. Fusarium. semitictum, F. subglutinans-1, F. solani, F. subglutinans-2 and Rhizopus stolonifer were isolated from naturally rotted fruits showing fruit-rot symptoms that collected from markets. Pathogenicity test using the isolated fungi i.e. Alternaria spp. Fusarium semitictum, F. subglutinans-1, F. solani, F. subglutinans-2 and Rhizopus stolonifer revealed that, all isolated fungi were pathogenic and caused fruit rot disease on Galia cantaloupe cv. Alternaria sp. and R. stolonifer were weak parasites.The Fusarium spp. can infect all the tested hosts, i.e. cantaloupe cucumber, squash and melon, but with different values of disease severity. The ability of F. semitictum to produce Fumonisin (FB1) that affected the mortality of chicken embryos indicated a nonlinear dose response relationship, eggs injected with 200μg FB1. Microscopic examination of embryos that died during incubation period.
10-708 Project Final Report : Randomized Deep Learning Models against Adversarial Attacks

Modern deep learning architectures have received critical acclaim of their performance in learning a broad spectrum of tasks, such as object recognition, speech processing, text generation, and modeling complex systems. Sitting at the core of this domain is the challenge of deploying robust models for industrial application: different from a researchdriven environment where datasets are well-prepared, data acquisition in real world is often vulnerable to adversarial attacks. Unfortunately, it has been shown that machine learning models are typically susceptible to artificially perturbed adversarial samples [(Dalvi, 2004)]. Such an example is provided in figure 1.
MIXOMATOSA DA VALVA MITRAL ( Inflammatory profile in dogs with myxomatous mitral valve disease )

Inflammatory substances such as interleukins (IL), tumor necrosis factor alpha (TNF-α) and C-reactive protein (CRP) have been demonstrated to play a role in heart failure progression. The aims of this study were two-fold: to investigate the concentration of circulating cytokines in dogs with myxomatous mitral valve disease (MMVD) in different stages, and to assess the relationship between these substances and cardiac morphology and function. For this purpose, twelve dogs with MMVD (7 stage-B2; 5 stage-C) and nine healthy controls underwent a transthoracic echocardiogram and had their serum concentrations of IL-1β, 4, 6, 10, TNF-α and CRP assessed. Data was submitted to Shapiro-Wilk normality test, groups were compared with ANOVA or Krukal-Wallis test according to distribution, and correlation coefficients were obtained with Spearman test. The IL-1β levels were different (P: 0.0056) between groups. Also, a positive correlation existed between IL-
A Critical Review of Recent Progress in Mid-Range Wireless Power Transfer

Starting from Tesla’s principles of wireless power transfer a century ago, this critical review outlines recent magneto-inductive research activities on wireless power transfer with the transmission distance greater than the transmitter coil dimension. It summarizes the operating principles of a range of wireless power research into (i) the maximum power transfer and (ii) the maximum energy efficiency principles. The differences and the implications of these two approaches are explained in terms of their energy efficiency and transmission distance capabilities. The differences between the system energy efficiency and the transmission efficiency are also highlighted. The review covers the 2coil systems, the 4-coil systems, the systems with relay resonators and the wireless domino-resonator systems. Related issues including human exposure issues and reduction of winding resistance are also addressed. The review suggests that the use of the maximum energy efficiency principle in the 2-coil systems is suitable for short-range rather than mid-range applications, the use of the maximum power transfer principle in the 4-coil systems is good for maximizing the transmission distance, but is under a restricted system energy efficiency (< 50%); the use of the maximum energy efficiency principle in relay or domino systems may offer a good compromise for good system energy efficiency and transmission distance on the condition that relay resonators can be placed between the power source and the load.
Endogenizing Epistemic Actions Will Nalls

Through a series of examples, we illustrate some important drawbacks that the action logic framework suffers from in its ability to represent the dynamics of information updates. We argue that these problems stem from the fact that the action model, a central construct designed to encode agents’ uncertainty about actions, is itself effectively common knowledge amongst the agents. In response to these difficulties, we motivate and propose an alternative semantics that avoids them by (roughly speaking) endogenizing the action model. We discuss the relationshop to action logic, and provide a sound and complete axiomatization.
Clinical Features and Prognosis of CD 20 Negative Aggressive B-Cell Non-Hodgkins Lymphoma

Cluster designation (CD) 20 antigen is expressed on most B-cell lymphomas and serves as a therapeutic target for rituximab. A small minority of aggressive B-cell lymphomas, predominantly plasmablastic variants, do not express CD 20. We systematically reviewed all cases of aggressive B-cell lymphomas diagnosed at our institution over a period of 13 years. Of the 232 cases, 7 did not express CD 20. Five of these were plasmablastic lymphomas while two were unclassi�able B-cell lymphomas. While most of the plasmablastic lymphomas responded to chemotherapy, patients with unclassi�able lymphomas were primarily refractory or relapsed soon aer chemotherapy.
Sediment Trend Modeling Within Stratigraphic Surfaces for Subsurface Characterization

Accurate prediction of reservoir prospectivity and performance depends on an accurate estimate of the subsurface structure, lithofacies, associated petrophysical properties, and fluid distribution. Often the reservoir heterogeneities that are controlled by stratigraphic architecture and sedimentological trends are difficult to predict, particularly at subseismic resolution and far from well control. An ongoing challenge in subsurface modeling has been how to utilize analogs of complex geology along with seismic and sparse well data to predict the natural geologic complexity in models of the subsurface, whether generated by deterministic or stochastic techniques. This work presents a hybrid deterministic and stochastic technique to preserve sediment trends in subsurface modeling, honoring analog and well data. A stochastic surface modeling technique was introduced to model the subseismic surfaces that bound bed-scale sediment units in a companion paper. The surfaces honor both sedimentary analog information and well data, providing a framework for facies and petrophysical properties distribution. The method reported here preserves sediment trends within and across sediment units defined by depositional surfaces. In the method, a trend and its residual are modeled separately and then combined into a final model that preserves the trend. Through a calibration to well data and analog or conceptual geological depositional styles, such as fining or coarsening upward of grain size, progradational stacking pattern, etc, trends are estimated and expressed with parameterized mathematical functions. The trends and their residuals are then generated stochastically for each individual sediment unit. Both systematic and stochastic variations between different sediment units are controlled by user-defined distributions of trend function parameters. The final subsurface model is an assembly of sediment units. Two examples demonstrate the method. One example consists of a grain size distribution analog generated from a process-response model. The other example uses the interpreted surfaces on an outcrop deposit as analog boundaries for nested vertical and horizontal grain size trends.
Permeability Structure of Hanaore Fault Zone and its Implication for Thermal Pressurization

Fluid flow along faults is important to understand the fluid transport process during the development of accretionary prism. This paper reports internal and permeability structures of the Hanaore Fault, Central Japan. The Hanaore fault has around one-meter wide fault gouge zone with clayey foliated fault gouge (10 cm) and black clayey fault gouge (5 mm~5 cm) at an outcrop at Tochudani, Shiga Prefecture. Hydraulic parameters of samples picked up from the outcrop were measured using the pore pressure oscillation method. Permeability ranges 10-10 [m2] for fractured hast rock about 8 meters from the center of the fault, and decreases to 10 [m2] for clayey fault gouge at effective pressure of 80 MPa. The permeability data obeys the power law on effective pressure. Measured storage capacity per unit volume implies porosity of several percents assuming that the solid medium is rigid. Hydraulic properties of a fault zone have important implication for dynamic fault motion. Numerical simulations of thermal pressurization based on measured hydraulic parameters have revealed that slip-weakening distance of a fault, Dc, ranges from tens of centimeter to one meter which agrees very well with seismically determined ones for several earthquakes. The stressreduction and temperature-rise curves at the center of deformation zone depend on depth, width of the deformation zone, and relative velocity. The temperature rise at 3 meters of displacement is at most less than 300K which is not high enough to produce pseudotachylites.
Effects of Echinacea Purpurae Extract on Testicular Ischemia/Reperfusion (I/R) Injury in Rat

BACKGROUND: Ischemia/reperfusion of tetsis is a male infertility condition which occurs because of oxidation demage. Echinacea purpurea extract (EPE) has antioxidant and protective effect. OBJECTIVES: So, the main purpose of this research was to determine effects of EP extract on testicular ischemia/reperfusion (I/R) injury in rat. METHODS: 50 adult Wistar rats were randomly allocated into five groups: group one as control, group two, 2 hour I/24 hours R period, group three, 1 hour I which after 1 hour of ischemia, rat was injected 25 mg/kg EPE and ischemia continued for an hour, then was followed by 24 hours R period. Groups 4 and 5 were similar to experiment 3, except rats were injected with 50 and 100 mg/kg of EPE, respectively. Then 24 hours later, the left testis was removed for histological and antioxidant enzyme activity including malondialdehyde (MDA), superoxide dismutase (SOD), glutathione peroxidase (GPx) and total antioxidant status (TAS). RESUTLS: Based on the findings, MDA concentration was significantly elevated in I/R rat (P 0.05). Seminiferous tubules degenerated and few spermatocytes were observed in testis tubules of the I/R rat. EPE (50 and 100mg/kg) improved testis characteristics in experimental I/R-induced rat in which normal spermatocyte in seminiferous tubules was observed. CONCLUSIONS: These results suggested EPE has protective effect against against testicular I/R.