bluuebunny/crossref_metadata_2025_split huggingface dataset:
Evaluation of Treatment Descriptions and Alignment With Clinical Guidance of Apps for Depression on App Stores: Systematic Search and Content Analysis
Authors: Bowie-DaBreo Dionne , Sünram-Lea Sandra I , Sas Corina , Iles-Smith Heather 
Published: June 2020

Background
The use of apps for the treatment of depression shows great promise. However, there is uncertainty regarding the alignment of publicly available apps for depression with clinical guidance, their treatment fidelity and evidence base, and their overall safety.

Objective
Built on previous analyses and reviews, this study aims to explore the treatment and safety issues of publicly available apps for depression.

Methods
We conducted a content analysis of apps for depression in the 2 main UK app stores (Google Play and Apple App Store). App store listings were analyzed for intervention content, treatment fidelity, and fit with the National Institute for Health and Care Excellence (NICE) guidelines for the treatment of depression in adults.

Results
A total of 353 apps for depression were included in the review. App descriptions reported the use of 20 treatment approaches and 37 treatment strategies. Many apps used transdiagnostic (155/353, 43.9%) and multitheoretical interventions to treat multiple disorders including depression. Although many interventions appeared to be evidence-informed, there were issues with treatment fidelity, research evidence, and fit with clinical guidelines. None of the apps fully aligned with the NICE guidelines for depression.

Conclusions
App developers have adopted many evidence-informed treatments in their interventions; however, more work is needed to improve clinical validity, treatment fidelity, and the safety of apps. We urge developers to consult relevant guidelines and standards, and to engage in reflective questioning on treatment and safety to address these issues and to improve treatment content and intervention design.
Comparing Conventional Chemotherapy to Chronomodulated Chemotherapy for Cancer Treatment: Protocol for a Systematic Review
Authors: Kilgallen Aoife B , Štibler Urška , Printezi Markella I , Putker Marrit , Punt Cornelis J A , Sluijter Joost P G , May Anne M , van Laake Linda W 
Published: June 2020

Background
Chronomodulated chemotherapy aims to achieve maximum drug safety and efficacy by adjusting the time of treatment to an optimal biological time as determined by the circadian clock. Although it is a promising alternative to conventional (non–time-stipulated) chemotherapy in several instances, the lack of scientific consensus and the increased logistical burden of timed administration limit the use of a chronomodulated administration protocol.

Objective
With the goal to increase scientific consensus on this subject, we plan to conduct a systematic review of the current literature to compare the drug safety and efficacy of chronomodulated chemotherapy with those of conventional chemotherapy.

Methods
This systematic review will comply with the PRISMA (Preferred Reporting Items for the Systematic Reviews and Meta-Analysis) guidelines. In order to identify relevant studies, we conducted a comprehensive search in PubMed and Embase on May 18, 2020. We included clinical studies that compare either the safety or efficacy of chronomodulated chemotherapy with that of conventional chemotherapy. Potential studies will be reviewed and screened by 2 independent reviewers. Quality assessment will be performed using the National Institutes of Health’s Study Quality Assessment Tool (Quality Assessment of Controlled Intervention Studies). Disagreements will be resolved by consulting a third independent reviewer.

Results
This protocol has received funding, and the search for studies from databases commenced on May 18, 2020. The systematic review is planned to be completed by October 31, 2020.

Conclusions
In this systematic review, we will compare drug safety and drug efficacy for cancer patients who were administered either chronomodulated chemotherapy or conventional chemotherapy. Moreover, we will highlight the outcomes and quality of the selected trials for this review.

Trial Registration
PROSPERO International Prospective Register of Systematic Reviews CRD42020177878; https://tinyurl.com/y53w9nq6

International Registered Report Identifier (IRRID)
PRR1-10.2196/18023
Smartphone Apps Targeting Physical Activity in People With Rheumatoid Arthritis: Systematic Quality Appraisal and Content Analysis
Authors: Bearne Lindsay M , Sekhon Mandeep , Grainger Rebecca , La Anthony , Shamali Mehrdad , Amirova Aliya , Godfrey Emma L , White Claire M 
Published: June 2020

Background
Rheumatoid arthritis (RA) is a disabling, inflammatory joint condition affecting 0.5%-1% of the global population. Physical activity (PA) and exercise are recommended for people with RA, but uptake and adherence tend to be low. Smartphone apps could assist people with RA to achieve PA recommendations. However, it is not known whether high quality, evidence-informed PA apps that include behavior change techniques (BCTs) previously identified as effective for PA adherence are available for people with RA.

Objective
This study aims to systematically identify apps that include goals to facilitate PA for adults with RA and assess app quality and content for the inclusion of relevant BCTs against recommendations for cardiorespiratory, resistance, flexibility, and neuromotor PA and exercise.

Methods
A systematic search of the Apple App Store and Google Play Store in the United Kingdom was conducted to identify English language apps that promote PA for adults with RA. Two researchers independently assessed app quality (mobile app rating scale [MARS]; range 0-5) and content (BCT Taxonomy version 1, World Health Organization, the American College of Sports Medicine, and the European League against Rheumatism recommendations for PA). The completeness of reporting of PA prescription was evaluated using a modified version of the Consensus on Exercise Reporting Template (CERT; range 0-14).

Results
A total of 14,047 apps were identified. Following deduplication, 2737 apps were screened for eligibility; 6 apps were downloaded (2 on the Apple App Store and 4 on the Google Play Store), yielding 4 unique apps. App quality varied (MARS score 2.25-4.17). Only 1 app was congruent with all aspects of the PA recommendations. All apps completely or partially recommended flexibility and resistance exercises, 3 apps completely or partially advised some form of neuromotor exercise, but only 2 offered full or partial guidance on cardiorespiratory exercise. Completeness of exercise reporting was mixed (CERT scores 7-14 points) and 3-7 BCTs were identified. Two BCTs were common to all apps (information about health consequences and instruction on how to perform behavior). Higher quality apps included a greater number of BCTs and were more closely aligned to PA guidance. No published trials evaluating the effect of the included apps were identified.

Conclusions
This review identifies 4 PA apps of mixed quality and content for use by people with RA. Higher quality apps were more closely aligned to PA guidance and included a greater number of BCTs. One high-quality app (Rheumatoid Arthritis Information Support and Education) included 7 BCTs and was fully aligned with PA and exercise guidance. The effect of apps on PA adherence should be established before implementation.
FORMULATION AND CHARACTERIZATION OF SOLID LIPID NANOPARTICLES CONTAINING GINGER OIL FOR ENHANCEMENT OF STABILITY
Authors: SAWANT PRIYANKA , KAREKAR POONAM , WAGHMARE KARISHMA 
Published: June 2020

Objective: To develop and characterize ginger oil loaded solid lipid nanoparticles (SLN) for enhancement of its stability.
Methods: Ginger oil loaded SLNs were prepared in four different batches by double emulsification method using different concentrations of soya lecithin and Tween 80. Further, these batches were characterized for particle size, zeta potential, drug entrapment efficiency and in vitro release study. After observing the results, batch F4 was further characterized by Fourier Transform Infrared Spectroscopy (FTIR), Transmission Electron Spectroscopy (TEM) and Differential Scanning Calorimetry (DSC). In addition the optimized batch was subjected to anti-microbial study. Finally, stability studies were done by storing the F4 formulation at accelerated condition, room temperature, refrigerated temperature and photostability were performed by exposing the formulation to UV/fluorescence lamp for 6 mo.
Results: The encapsulation efficiency of various batches of SLNs was in the range of 79.75 to 90.24%. The size ranges varied between 50 to 1000 nm. Zeta potential of all formulations was found to be in the range of-44.52 to-49.37 mV. The FTIR spectra of optimized F4 batch indicated no significant structural changes or complexation reactions between drug and excipients. Moreover, TEM image of displayed spherical shape with smooth surface. In vitro drug release study exhibited 95% drug release up to 12 h which indicated suitability of formulation. Thus F4 batch formulation stored at room temperature and refrigerated conditions was found most stable while, accelerated and photostability samples were found to be most susceptible in comparison.
Conclusion: The physicochemical stability of ginger oil extract was enhanced by loading it into solid lipid nanocarriers; the resulting SLNs also showed good antimicrobial potential against Klebsiella pneumonia throughout storage conditions.
Comparación de la castración quirúrgica al nacimiento versus inmunocastration sobre las características de la canal y carne en machos Holstein
Authors: Cervantes-Cazares Jorge A. , Pérez-Linares Cristina , Figueroa-Saavedra Fernando , Tamayo-Sosa Alma R. , Barreras-Serrano Alberto , Ríos-Rincón Francisco G. , Sánchez-López Eduardo , García-Reynoso Isaa C. , Mendoza Peraza Pedro , León Villanueva Angelina , García-Vega Luis A. 
Published: June 2020

El objetivo fue comparar el efecto de la castración quirúrgica al nacimiento vs immunocastración, sobre las características de la canal y carne en machos Holstein en engorda; se utilizaron 720 machos Holstein aproximadamente de 7 a 8 meses de edad con peso inicial de 240.82 kg. Se formaron 2 tratamientos con 4 corrales de 90 animales en cada uno: toros castrados quirúrgicamente que fueron castrados 24 h después del nacimiento y toros inmunocastrados vacunados con Bopriva aplicando cuatro dosis, al día 1, 21, 101 y 181 de engorda. Se tomaron pesos individuales en cada vacunación. Los animales se sacrificaron a los 242 días de engorda. A partir de la segunda vacunación se observaron diferencias (P<0.05) en pesos, presentando valores mas altos los animales castrados quirúrgicamente. El peso final al sacrificio, peso de la canal caliente, peso de la canal fría, espesor de grasa dorsal y área del ojo de la costilla fueron diferentes (P<0.05) entre tratamientos, observando valores más altos en los machos castrados quirúrgicamente. En la carne, el pH y EC fueron similares (P>0.05) entre tratamientos mientras que los valores de b*, C* y H* fueron más altos (P<0.05) en los animales inmunocastrados. Para fines de producción, el sacrificar los machos Holstein al nacimiento, se obtienen animales más pesados y con mejores características en la canal; sin embargo es importante evaluar el impacto del bienestar animal por la castración al nacimiento.
Caracterización de Aspergillus Flavus y cuantificación de aflatoxinas en pienso y leche cruda de vacas en Aguascalientes, México
Authors: Rangel-Muñoz Erika Janet , Valdivia-Flores Arturo Gerardo , Moreno-Rico Onésimo , Hernández-Delgado Sanjuana , Cruz-Vázquez Carlos , De-Luna-López María Carolina , Quezada-Tristán Teódulo , Ortiz-Martínez Raúl , Máyek-Pérez Netzahualcóyotl 
Published: June 2020

La contaminación de productos agrícolas y pecuarios con aflatoxinas (AF) está distribuida mundialmente. Las AF son tóxicas, inmunodepresoras y carcinogénicas, pero en México es escasa la información sobre Aspergillus flavus, principal hongo que las produce. El objetivo fue caracterizar morfológica, molecular y aflatoxigénicamente aislados de A. flavus y cuantificar AF en pienso y en leche de vacas Holstein en Aguascalientes (México). Se seleccionó por conveniencia una unidad de producción lechera (2,749 vacas) y se recolectaron muestras mensuales (24 meses) de ingredientes alimenticios y ración total mezclada (n= 267), leche cruda (n= 288) y suelo agrícola (n= 40), las cuales se cultivaron (PDA) mediante vaciado en placa con diluciones seriadas. Los hongos se caracterizaron mediante MEB, TLC y vapores de amonio en agar coco; se secuenciaron los genes de calmodulina y regulador de la ruta biosintética de AF, así como la región de los espaciadores internos de la transcripción. Se cuantificaron AF en pienso con HPLC y en leche con ELISA. Se caracterizaron molecularmente 283 aislados fúngicos; 88 resultaron ser Aspergillus spp, de los que 5 fueron A. flavus con capacidad aflatoxigénica y uno no aflatoxigénico. El 99.3 % de las muestras de alimento y 39.9 % de las muestras de leche presentaron niveles detectables de AF (14.8 y 0.021 µg/kg). Las vacas ingirieron diariamente 621 µg de AF y eliminaron el 0.09 % como aflatoxina M1 en leche. Lo anterior sugiere que la ocurrencia A. flavus aflatoxigénico en el alimento de vacas lecheras conduce a una amplia contaminación por AF de las dietas y de la cadena alimenticia.
Financial leasing in Albania and the impact that internal factors of a SME would have on the probability to be financed by lease
Authors: Lubonja Fatjola , Gjylameti Blerina , Kurti Sllavka 
Published: June 2020

Abstract
Small- and medium-sized enterprises (SMEs) are the backbone of the economy and their need to be financed remains one of the most discussed topics in the business world (World Bank, 2014; IFC, 2010). Financial leasing is a midterm financial instrument mainly used for the procurement of machinery, equipment, tools and/or property (IFC, 2009). Although the financial leasing in Albania started in 2001, this form of business financing has experienced difficulties in spreading, getting recognised and being used by the public in Europe which is different from other countries. About 19 years after the creation of the first leasing companies, this financing option continues to be used at a low scale by businesses and individuals and it remains segmented into the market despite its large potential and the need for financing similar to SMEs. Why is financial leasing not yet used in Albania and which are some of the factors that would influence its use in the future? The purpose of this article is to identify the reasons of why the financial leasing market in Albania is in stagnation and understand some of the factors that influence the demand from a SME to be financed through lease. To achieve this and understand firms’ behaviour, questionnaire has been distributed to companies that have used lease to finance their asts and those that have never used it before. The model used to analyse the results of the questionnaires is the logistic regression. As we will see through the article, factors in need for financing by SMEs or the knowledge firms have about leasing have a direct impact on the possibility of firms to use lease.
Klein-Beltrami model. Part III
Authors: Coghetto Roland 
Published: June 2020

Summary
Timothy Makarios (with Isabelle/HOL1) and John Harrison (with HOL-Light2) shown that “the Klein-Beltrami model of the hyperbolic plane satisfy all of Tarski’s axioms except his Euclidean axiom” [2],[3],[4],[5].
With the Mizar system [1] we use some ideas taken from Tim Makarios’s MSc thesis [10] to formalize some definitions (like the absolute) and lemmas necessary for the verification of the independence of the parallel postulate. In this article we prove that our constructed model (we prefer “Beltrami-Klein” name over “Klein-Beltrami”, which can be seen in the naming convention for Mizar functors, and even MML identifiers) satisfies the congruence symmetry, the congruence equivalence relation, and the congruence identity axioms formulated by Tarski (and formalized in Mizar as described briefly in [8]).
Stability of the 7-3 Compressor Circuit for Wallace Tree. Part I
Authors: Wasaki Katsumi 
Published: June 2020

Summary
To evaluate our formal verification method on a real-size calculation circuit, in this article, we continue to formalize the concept of the 7-3 Compressor (STC) Circuit [6] for Wallace Tree [11], to define the structures of calculation units for a very fast multiplication algorithm for VLSI implementation [10]. We define the circuit structure of the tree constructions of the Generalized Full Adder Circuits (GFAs). We then successfully prove its circuit stability of the calculation outputs after four and six steps. The motivation for this research is to establish a technique based on formalized mathematics and its applications for calculation circuits with high reliability, and to implement the applications of the reliable logic synthesizer and hardware compiler [5].
On Fuzzy Negations Generated by Fuzzy Implications
Authors: Grabowski Adam 
Published: June 2020

Summary
We continue in the Mizar system [2] the formalization of fuzzy implications according to the book of Baczyński and Jayaram “Fuzzy Implications” [1]. In this article we define fuzzy negations and show their connections with previously defined fuzzy implications [4] and [5] and triangular norms and conorms [6]. This can be seen as a step towards building a formal framework of fuzzy connectives [10]. We introduce formally Sugeno negation, boundary negations and show how these operators are pointwise ordered. This work is a continuation of the development of fuzzy sets [12], [3] in Mizar [7] started in [11] and partially described in [8]. This submission can be treated also as a part of a formal comparison of fuzzy and rough approaches to incomplete or uncertain information within the Mizar Mathematical Library [9].
Factor structure of the Albanian version of the Clinical Assessment Interview for Negative Symptoms (CAINS): Associations with the Brief Symptoms Inventory (BSI)
Authors: Uka Fitim , Repišti Selman , Arenliu Aliriza , Ramadani Fjolla , Bërxulli Dashamir , Konjufca Jon , Jovanović Nikolina 
Published: June 2020

Abstract

Objectives:
The measurement and assessment of the emergent symptoms in various psychotic disorders is essential to the delivery of efficacious, patient centred mental health care. Despite the existence of several instruments that can measure these factors, their applicability within a global context remains undetermined. This paper aims to provide evidence for a factor structure in Clinical Assessment Interview for Negative Symptoms (CAINS), tailored for use in the Albanian language.

Methods:
We recruited 106 patients with psychosis (68% male), who were aged 16 to 40 years old (M = 22, SD = 1.75), and treated in community services in Kosovo. We adapted, translated, and back-translated CAINS and the Brief Symptom Inventory (BSI) before these measures were administered in interviews with the participants. According to Kaiser-Guttman’s criterion (i.e., eigen-value >1), four components were extracted from the original measure of CAINS.

Results:
Using Principal Component Analysis, CAINS was found to be a valid means of measurement of motivation and pleasure in various life domains (social, recreational, and work/school). Intercorrelation existed not only between the BSI scale and the CAINS scales, but within the CAINS scales themselves.

Conclusions:
In contrast to the previous studies that found Expression and Motivation and Pleasure as two major factors, our results revealed four components. Thus, it may be that the culture plays a substantial role in the factor structure of CAINS, and it might be related to different appraisal of emotional situations, which are influenced by different socio-cultural practices. These results have global implications for clinical practice and future research.
New Evidence on International Transferability of Human Capital
Authors: Gibbons Eric M. , Mukhopadhyay Sankar 
Published: June 2020

Abstract
This article sheds new light on the portability of human capital. We estimate the returns to source country experiences, viz., general, occupation-specific, and task-specific experiences, using data from the New Immigrant Survey (NIS), conducted in 2003. While the “returns to general experience” has been discussed in the literature, we are not aware of any previous attempt to estimate the returns to source country occupation-specific and task-specific experiences. Our estimates show that even though the returns to source country general experience is negligible, returns to source country occupation-specific experience is economically and statistically significant. We also find that returns to source country abstract (specifically analytical) task-specific experience is substantial and significant. Our results are robust to inclusion of source country wage, which may reflect unobservable characteristics that influence wages. We explore whether returns to work experience vary by income level in the source country or by an immigrant’s skill level.
Methodical Manual for a Set of Transport Regulations in Railway Passenger Transport
Authors: Černá Lenka , Zitrický Vladislav , Abramović Borna 
Published: June 2020

Abstract
The European Union is the first and only region worldwide where passengers have comprehensive and integrated fundamental rights on all modes of transport. The rights are based on the principles of non-discrimination, accurate, timely and accessible information as well as prompt and adequate assistance. There is also a specific code of transport regulating conditions under which a carrier transports persons, baggage, animals and goods on the rail network. The actual creation of such transport regulations should follow from a certain methodology. Thus, the paper´s objective is to propose methodical procedures that would be related to a set of regulations in railway passenger transport. The manual proposed will respect relevant legislation, which determines minimum requirements for developing transport regulations, and obligations of carriers as well. As the code of transport is part of public proposals for concluding transport contracts of the carriage of passengers, the methodical manual will contribute to making regulations in passenger transport to be better suited to practical requirements. In general, it may be argued that the manual will ensure establishing transport regulations which will be concise, clear, comprehensible, and which, in particular, will comply with the legislation and requirements of the transport service ordering party. It should therefore contain certain points to be followed when developing transport rules.