Miracle-dz/UniFAR-FTUs huggingface dataset:
Advances in 3D bioprinting technology for functional corneal reconstruction and regeneration

Corneal transplantation constitutes one of the major treatments in severe cases of corneal diseases. The lack of cornea donors as well as other limitations of corneal transplantation necessitate the development of artificial corneal substitutes. Biosynthetic cornea model using 3D printing technique is promising to generate artificial corneal structure that can resemble the structure of the native human cornea and is applicable for regenerative medicine. Research on bioprinting artificial cornea has raised interest into the wide range of materials and cells that can be utilized as bioinks for optimal clarity, biocompatibility, and tectonic strength. With continued advances in biomaterials science and printing technology, it is believed that bioprinted cornea will eventually achieve a level of clinical functionality and practicality as to replace donated corneal tissues, with their associated limitations such as limited or unsteady supply, and possible infectious disease transmission. Here, we review the literature on bioprinting strategies, 3D corneal modelling, material options, and cellularization strategies in relation to keratoprosthesis design. The progress, limitations and expectations of recent cases of 3D bioprinting of artifial cornea are discussed. An outlook on the rise of 3D bioprinting in corneal reconstruction and regeneration is provided.
Mental disorders and total mortality after 20 years in an adult general population sample

Abstract Background. General population data on associations between mental disorders and total mortality are rare. The aim was to analyze whether the number of mental disorders, single substance use, mood, anxiety, somatoform or eating disorders during the lifetime and whether treatment utilization may predict time to death 20 years later in the general adult population. Methods. We used data from the Composite International Diagnostic Interview, which includes DSM-IV diagnoses for substance use, mood, anxiety, somatoform, and eating disorders, for a sample of 4,075 residents in Germany who were 18–64 years old in 1996. Twenty years later, mortality was ascertained using the public mortality database for 4,028 study participants. Cox proportional hazards models were applied for disorders that existed at any time in life before the interview. Results. The data revealed increased hazard ratios (HRs) for number of mental disorders (three or more; HR 1.4; 95% confidence interval [CI] 1.1–1.9) and for single disorders (alcohol dependence, dysthymia, panic disorder with agoraphobia, and hypochondriasis), with the reference group being study participants who had not suffered from any of the mental disorders analyzed and with adjustments made for age, sex, and education. Among individuals with any mental disorder during their lifetimes, having been an inpatient in treatment for a mental disorder was related to a higher HR (2.2; CI 1.6–3.0) than was not having been in any treatment for a mental disorder. Conclusions. In this sample of adults in the general population, three or more mental disorders, alcohol dependence, dysthymia, panic disorder with agoraphobia, and hypochondriasis were related to premature death.
Blogs and Twitter Feeds: A Stylometric Environmental Impact Study

Stylometry is the study of determining the author of a document based on the linguistic features contained in the document. Previous work in this area has yielded impressive results, but assumes that the training and testing documents are similar key attributes, namely the domain and setting in which they are written. This paper focuses on the scenario where this assumption cannot be made. We determine that standard methods in stylometry do not perform well when the training and suspect documents diﬀer in this way. For example, when working exclusively with blogs we obtain an average accuracy of 93.30% and with Twitter feeds we obtain an average accuracy of over 98.99%. However, when we apply the same method to try to identify a twitter feed via a blog’s writing, accuracy falls drastically. We provide a method to improve this cross-domain accuracy to 88.89%. Being able to identify authors across domains facilitates linking identities across the Internet, making this a key privacy concern.
Latest advances in biomimetic nanomaterials for diagnosis and treatment of cardiovascular disease

Cardiovascular disease remains one of the leading causes of death in China, with increasingly serious negative effects on people and society. Despite significant advances in preventing and treating cardiovascular diseases, such as atrial fibrillation/flutter and heart failure over the last few years, much more remains to be done. Therefore, developing innovative methods for identifying and managing cardiovascular disorders is critical. Nanomaterials provide multiple benefits in biomedicine, primarily better catalytic activity, drug loading, targeting, and imaging. Biomimetic materials and nanoparticles are specially combined to synthesize biomimetic nanoparticles that successfully reduce the nanoparticles’ toxicity and immunogenicity while enhancing histocompatibility. Additionally, the biological targeting capability of nanoparticles facilitates the diagnosis and therapy of cardiovascular disease. Nowadays, nanomedicine still faces numerous challenges, which necessitates creating nanoparticles that are highly selective, toxic-free, and better clinically applicable. This study reviews the scientific accomplishments in this field over the past few years covering the classification, applications, and prospects of noble metal biomimetic nanozymes and biomimetic nanocarriers.
Using 3D camera technology on forklift trucks for detecting pallets

Forklift trucks are indispensable tools for manual pallet handling. Storage heights at high rack storage areas often reach up to 12 meters which in combination with bulky cargo hinder the view of the forklift truck driver. As part of the joint research project ISI-WALK [1], a 3D-camera-based assistance system is developed at the Institute of Transport and Automation Technology (ITA) to aid the forklift driver especially under limited view conditions. The employed cameras, developed by PMDTechnologies, are integrated into the tips of the forks, thus allowing the detection of pallets and storage racks even if a pallet is already loaded.
The cognitive neural mechanism of response inhibition and error processing to fearful expressions in adolescents with high reactive aggression

Reactive aggression in adolescents is characterized by high levels of impulsivity. This is associated with deficits in response inhibition and error processing and spontaneous emotion-driven responses to a perceived threat. However, the characteristics and cognitive neural mechanisms of response inhibition and error processing to indirect threat in adolescents with high levels of reactive aggression are unclear. This study explored the characteristics and cognitive neural mechanisms of response inhibition and error processing to fearful expressions in adolescents with high levels of reactive aggression using an emotional Go/No-Go paradigm combined with ERP recordings. Adolescents with high levels of reactive aggression (n = 31) and a control group (n = 30) took part in this study. Results showed that when presented with fearful expressions, adolescents with high levels of reactive aggression showed a smaller No-Go P3 effect and smaller ERN amplitudes following commission errors on the No-Go task than the control group. Results suggested that when presented with fearful expressions, adolescents with high levels of reactive aggression have impaired response inhibition in the later stage of actual inhibitory control of the motor system and impaired error processing in the early stage of fast and automatic initial error detection.
Real-Time High-Rate GNSS Displacements: Performance Demonstration during the 2019 Ridgecrest, California, Earthquakes

Cite this article as Melgar, D. , T. I. Melbourne, B. W. Crowell, J. Geng, W. Szeliga, C. Scrivner, M. Santillan, and D. E. Goldberg (2019). Real-Time HighRate GNSS Displacements: Performance Demonstration during the 2019 Ridgecrest, California, Earthquakes, Seismol. Res. Lett. XX, 1–9, doi: 10.1785/ 0220190223. Traditional real-time (RT) seismology has relied on inertial sensors to characterize ground motions and earthquake sources, particularly for hazards applications such as warning systems. In the past decade, a revolution in high-rate, RT Global Navigation Satellite Systems (GNSS) displacement has provided a new source of data to augment traditional measurement devices. The Ridgecrest, California, earthquake sequence in 2019 provided one of the most complete recordings of RT-GNSS displacements to date, helping aid in an initial source characterization over the first few days. In this article, we analyze and make available the archived RT displacement streams and compare their performance to postprocessed results, which we also provide. We find good agreement for all stations showing a noticeable signal. This demonstrates that simple modeling in RT, such as peak ground displacement scaling, would be practically identical to postprocessed results. Similarly, we find good agreement across the full spectral range, from the coseismic offsets (∼0 Hz) to the Nyquist frequency. We also find low latency between the measurement acquisition at the field site and the position calculation at the data center. In aggregate, the performance during the Ridgecrest earthquakes is strong evidence of the viability and usefulness of RT-GNSS as a monitoring
Symbolic veriﬁcation of workﬂows with security constraints

Context Many E-services, such as business processes and commercial transactions, are modelled as workflows. A workflow specifies a collection of tasks and the causal relationships among them. Security-aware workflows are additionally required to satisfy authorization requirements such as assigning users some permissions to execute tasks (e.g. according to a pre-defined access control policy) or Separation of Duty (SoD) constraints, i.e. two tasks have to be executed by different users. The Workflow Satisfiability Problem (WSP) consists of checking if there exists an assignment of users to tasks such that a security-aware workflow successfully terminates while satisfying all authorization constraints. Such a problem has been studied in several papers ; see, e.g., [6], [2]. The runtime version of the WSP consists of answering sequences of user requests at execution time and ensuring successful termination together with satisfaction of authorization constraints. To address these problems, we propose a methodology based on the use of Satisfiability Modulo Theories (SMT) techniques, which have been shown quite effective when used as back-end engines in several verification tools (see, e.g., [1]). In [4] we describe a general framework of security-aware workflows and we study the verification of reachability properties of such systems. Let W be the state transition system describing the workflow together with the authorization constraints, and G be the set of states characterizing successful termination of W. Our approach consists of computing the set R(W,G) of states from which it
Designing for patient decision-making: Design challenges generated by patients with atrial fibrillation during evaluation of a decision aid prototype

Shared decision-making (SDM) empowers patients and care teams to determine the best treatment plan in alignment with the patient's preferences and goals. Decision aids are proven tools to support high quality SDM. Patients with atrial fibrillation (AF), the most common cardiac arrhythmia, struggle to identify optimal rhythm and symptom management strategies and could benefit from a decision aid. In this Brief Research Report, we describe the development and preliminary evaluation of an interactive decision-making aid for patients with AF. We employed an iterative, user-centered design method to develop prototypes of the decision aid. Here, we describe multiple iterations of the decision aid, informed by the literature, expert feedback, and mixed-methods design sessions with AF patients. Results highlight unique design requirements for this population, but overall indicate that an interactive decision aid with visualizations has the potential to assist patients in making AF treatment decisions. Future work can build upon these design requirements to create and evaluate a decision aid for AF rhythm and symptom management.
EFFECTS OF YEAST STRAINS, pH AND FERMENTATION TEMPERATURE ON WINE MADE FROM Rhodomyrtus tomentosa FRUIT (MANG DEN, KONTUM PROVINCE)

The effects of yeast strains, fermentation temperature and pH on quality of Rhodomyrtus tomentosa wine were examined. At ambient temperature (28±2C), the fermentation was induced by inoculation with Saccharomyces cerevisiae strains isolated, purified and screened from sugar palm (Borassus flabellifer) and pineapple juice in comparison with commercial yeast (initial populations of yeast raging from 1010 cells/ml). The medium was adjusted before fermentation to five different pH values (3.44.2). The effect of fermentation temperature (20 and 28±2°C) on strain population was also studied. The resulting wines were chemically analyzed. Pure cultures of Saccharomyces cerevisiae isolated from sugar palm significantly yielded in ethanol production higher than other strains in the fermentation at 28±2°C. Yeast strains performed better at low temperatures with high alcohol yield. At 20±2°C, the fermentation was dominated by the growth of S. cerevisiae in Rhodomyrtus tomentosa juice with maximum ethanol concentrations (13.43%Vol.) The methanol and SO2 concentrations met the Vietnamese Standards (QCVN 6-3 2010/BYT). In addition, the total acid, ester and aldehyde concentration were also low.
Globalization and power: The consoli- dation of international communication as a discipline. Review article

This study presents an overview of the theoretical development and main lines of research regarding international communication. To this end, the emergence of communication in the structuring of power has been analysed with regard to four areas (hard, soft, sharp power, and the strategic narrative). The critical perspective has been reviewed as well as Anglo-Saxon dominance of the subject using evidence from France, Germany, and Latin America. Five main lines of future research have been forecast, the first of which involves strengthening the theoretical and methodological bases with interdisciplinary methods; the nature and characteristics of the international journalist (journalist versus fake news); the handling of populist communication when confronting political globalisation with leaders who challenge the conventional journalistic ethos; the analysis of structures and global information systems in the face of a multifaceted scenario with less “CNN effect” than expected, along with a dynamic situation of constant propagandistic innovation.
Answer Set Survey

— Answer set programming (ASP) is a form of declarative programming that is emerged from logic programming with negation and reasoning formalism that is based on the answer set semantics [1]. ASP is suited for solving hard combinatorial search problems, and has many applications, such as: bioinformatics [3, 4], configuration [5], database integration [6], diagnosis [7], hardware design [8], insurance industry [9], phylogenesis [10, 11], security protocols [12] and model checking [13], to name some. ASP has a rich yet simple modeling language with high performance solving capabilities, ability to reason with incomplete information, existence of well-developed mathematical theory and programming. A number of solvers have been proposed, such as: smodels [14, 15, 22], dlv [16], cmodels [15], assat [18, 24], and clasp [19]. ASP programs look like Prolog programs; however, they are treated in a different computation mechanism. ASP uses model generation instead of query evaluation as in Prolog. (Abstract)
EFFECT OF MODIFIED ATMOSPHERE PACKAGING ON THE SURVIVAL OF PATHOGENS ON ARTIFICIALLY CONTAMINATED PORK

Boneless sliced poric loins were artificially contaminated with Campylobacter jejuni/coli, Salmonella typhimurium, Listeria monocytogenes and Yersinia enterocolitica. Survival of these pathogens was studied during storage for 11 days under a high oxygen modified atmosphere and in air at 3°C. The approximate composition of the initial gas mixture was 65% 0 2: 25% C 02. 10% N2. The numbers of each pathogen were determined with 3-tube decimal dilution series (MPN). The total aerobic colony count and the total number of Enterobacteriaceae were determined as well. Initial contamination levels were 2.3 x 106 for Campylobacter, 2.7 x 104 for Salmonella, 4.2 x 104 for Listeria and 7.8 x 102 for Yersinia, all in cfu/cm2. The total aerobic colony count remained stable during storage in the modified atmosphere but increased in air from 105 to 10* cfu/cm2. Similar results were obtained for Enterobacteriaceae in the modified atmosphere. A moderate increase in the number of Enterobacteriaceae was seen when packaged in air. C. jejuni/coli decreased significantly in numbers during storage under both atmospheres. However, a lower Campylobacter survival rate was observed when pork was stored under gas. L. monocytogenes and S’. typhimurium were not affected by both treatments and the numbers of these pathogens remained stable during the whole period. Similar results apparently were found for Y. enterocolitica.
Expressing ownership in tashlhit: Phrasal affix(ation) vs. bound word(hood)

En tachelhite, bu(tgmmi) et bab (n tgmmi) expriment le sens de ‘propriétaire de (la maison)’ respectivement par affixation et par périphrase. Ces noms n’ayant pas reçu de traitement adéquat dans la littérature sur l’amazighe, nous nous attèlerons aux détails de leur morpho-syntaxe, tout en accentuant l’existence d’affixe syntagmatique et de mot lié dans la langue. Nous passons également en exergue les défis que pose ce type de formation pour l’hypothèse de l’intégrité lexicale ainsi que pour la contrainte qui bannit les syntagmes à l’intérieur des mots. D’un point de vue typologique, nous postulerons ultimement que ce mode de formation nominale révèle l’existence d’une morphologie légèrement polysynthétique en tachelhite.
Socio-Economic Research on Fusion Summary of EU Research 1997 – 2000

Contributing institutions: Akademie für Technikfolgenabschätzung – Stuttgart – Germany Arge Wärmetechnik, Graz, Austria Atominstitut der Österreichen Universitäten Vienna – Austria CEPN / Association EURATOM-CEA France EURATOM/CIEMAT Fusion Association – Madrid – Spain ECN Petten – The Netherlands ENEA – Casaccia – Italy Association EURATOM Forschungszentrum Karlsruhe Germany Association EURATOM Forschungszentrum Jülich – Germany Institut d’Economie Industrielle – Toulouse – France Institut für Risikoforschung – Vienna – Austria Association EURATOM Max-Planck Institut für Plasmaphysik – Garching – Germany Österreiche IIASA Kommission – Vienna – Austria Risø National Laboratory – Roskilde – Denmark Studsvik Eco & Safety AB/ Association EURATOM – NFR Nyköping – Sweden EURATOM/UKAEA Fusion Association – Culham – United Kingdom University Complutense Madrid Spain University of Cagliari – Italy University of Linköping – Sweden University of Sassari – Italy University of Sussex – Brighton – United Kingdom University of Umeå – Sweden VTT Energy / Association EURATOM – TEKES Finland
Profiling Compiled SQL Query Pipelines in Apache Spark

Users of Apache SparkTM regularly encounter the problem of suboptimal execution of SQL queries. A query optimizer, such as Spark’s Catalyst optimizer, can often resolve potential problems in queries defined by the user, but these optimizations are bound by logical correctness. A such, a subomtimal query can often result in performance problems. For this reason, Spark provides the user with a user interface called Spark UI, that allows them to analyse problems with the runtime performance of their queries. However, in Spark version 2.0, a new data-centric execution model, based on ideas introduced in the HyPer SQL engine, was implemented. In this execution model, Spark employs Java code generation to compile operator pipelines in a SQL query plan into a single for -loop, resulting in highly efficient pipelines. A downside of this approach is that it obfuscates operator boundaries, and as a consequence, runtime observability within these pipelines is drastically reduced. Consequently, the Spark UI cannot give detailed information on the behavior of the individual operators of such a pipeline. In order to create a tool that allows the user to analyse the runtime characteristics of the operators in their SQL queries, we explore different approaches for profiling compiled query pipelines in the JVM, with the aim of finding a profiling approach that can provide fine-grained and accurate information on individual operators in a compiled SQL query pipelines. Furthermore, a proposal is made for the definition and evaluation of the accuracy of such a profiler. In this thesis, we introduce an approach of collecting fine-grained profiles of generated-code pipelines of SQL queries in Apache Spark, which allows users to break down the execution cost of these pipelines by individual operators. We achieve this by profiling at the level of native instructions, and using the JVM Tool Interface to aggregate these results at the level of lines of generated Java code. Furthermore, we show that this approach can be used to profile SQL query pipelines at a higher accuracy than existing JVM profiling approaches, without requiring functional changes to the generated source code, and finally we show that this approach can collect highly accurate profiles at an overhead of less than 10% for most queries, and can potentially obtain profiles at even lower overheads.
Analysis on Application of Six Sigma Approach in Business Organizations

The six sigma method is one of the popular practices that can be used to improve quality. It can be applied to business or organization to improve critical quality of services, products and operation processes. Being initiated in manufacturing industry, six sigma method has being spread and applied to various industries. To enterprises or organizations in various industry fields, it has been taking considerable time for them to contact, recognize or experience the six sigma approach. Also there are so many relevant applications and studies in real world and theorem researches. However, we’re curious on all the cases which have already applied six sigma programs of quality improvement. Whether the majority of them have achieved sweet results just as those classic cases like Motorola had ever gotten, or most of them merely experienced another wave of ordinary quality activities? The purpose of this study is aimed to know the real situations faced by business organizations of various fields during applying and implementing the six sigma method. Comparing to all past various quality improvement activities the enterprises and organizations had ever attended, do their current attitude for performing six sigma method can really help coming out an expected significant quality improvement? For possible applications of six sigma concepts to refer in the future, this study also concludes major deficiencies appeared during past application of six sigma techniques in various