bluuebunny/crossref_metadata_2025_split huggingface dataset:
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems
Authors: Sirjani Marjan , Provenzano Luciana , Asadollah Sara Abbaspour , Moghadam Mahshid Helali , Saadatmand Mehrdad 
Published: May 2021

AbstractSoftware systems are complicated, and the scientific and engineering methodologies for software development are relatively young. Cyber-physical systems are now in every corner of our lives, and we need robust methods for handling the ever-increasing complexity of their software systems. Model-Driven Development is a promising approach to tackle the complexity of systems through the concept of abstraction, enabling analysis at earlier phases of development. In this paper, we propose a model-driven approach with a focus on guaranteeing safety using formal verification. Cyber-physical systems are distributed, concurrent, asynchronous and event-based reactive systems with timing constraints. The actor-based textual modeling language, Rebeca, with model checking support is used for formal verification. Starting from structured requirements and system architecture design the behavioral models, including Rebeca models, are built. Properties of interest are also derived from the structured requirements, and then model checking is used to formally verify the properties. This process can be performed in iterations until satisfaction of desired properties are ensured, and possible ambiguities and inconsistencies in requirements are resolved. The formally verified models can then be used to develop the executable code. The Rebeca models include the details of the signals and messages that are passed at the network level including the timing, and this facilitates the generation of executable code. The natural mappings among the models for requirements, the formal models, and the executable code improve the effectiveness and efficiency of the approach.
Predict Alzheimer’s disease using hippocampus MRI data: a lightweight 3D deep convolutional network model with visual and global shape representations
Authors: Katabathula Sreevani , Wang Qinyong , Xu Rong 
Published: May 2021

Abstract
Background
Alzheimer’s disease (AD) is a progressive and irreversible brain disorder. Hippocampus is one of the involved regions and its atrophy is a widely used biomarker for AD diagnosis. We have recently developed DenseCNN, a lightweight 3D deep convolutional network model, for AD classification based on hippocampus magnetic resonance imaging (MRI) segments. In addition to the visual features of the hippocampus segments, the global shape representations of the hippocampus are also important for AD diagnosis. In this study, we propose DenseCNN2, a deep convolutional network model for AD classification by incorporating global shape representations along with hippocampus segmentations.

Methods
The data was obtained from the Alzheimer’s Disease Neuroimaging Initiative (ADNI) and was T1-weighted structural MRI from initial screening or baseline, including ADNI 1,2/GO and 3. DenseCNN2 was trained and evaluated with 326 AD subjects and 607 CN hippocampus MRI using 5-fold cross-validation strategy. DenseCNN2 was compared with other state-of-the-art machine learning approaches for the task of AD classification.

Results
We showed that DenseCNN2 with combined visual and global shape features performed better than deep learning models with visual or global shape features alone. DenseCNN2 achieved an average accuracy of 0.925, sensitivity of 0.882, specificity of 0.949, and area under curve (AUC) of 0.978, which are better than or comparable to the state-of-the-art methods in AD classification. Data visualization analysis through 2D embedding of UMAP confirmed that global shape features improved class discrimination between AD and normal.

Conclusion
DenseCNN2, a lightweight 3D deep convolutional network model based on combined hippocampus segmentations and global shape features, achieved high performance and has potential as an efficient diagnostic tool for AD classification.
InChI version 1.06: now more than 99.99% reliable
Authors: Goodman Jonathan M. , Pletnev Igor , Thiessen Paul , Bolton Evan , Heller Stephen R. 
Published: May 2021

AbstractThe software for the IUPAC Chemical Identifier, InChI, is extraordinarily reliable. It has been tested on large databases around the world, and has proved itself to be an essential tool in the handling and integration of large chemical databases. InChI version 1.05 was released in January 2017 and version 1.06 in December 2020. In this paper, we report on the current state of the InChI Software, the details of the improvements in the v1.06 release, and the results of a test of the InChI run on PubChem, a database of more than a hundred million molecules. The upgrade introduces significant new features, including support for pseudo-element atoms and an improved description of polymers. We expect that few, if any, applications using the standard InChI will need to change as a result of the changes in version 1.06. Numerical instability was discovered for 0.002% of this database, and a small number of other molecules were discovered for which the algorithm did not run smoothly. On the basis of PubChem data, we can demonstrate that InChI version 1.05 was 99.996% accurate, and InChI version 1.06 represents a step closer to perfection. Finally, we look forward to future releases and extensions for the InChI Chemical identifier.
Global characteristics of the westward-propagating quasi-16-day wave with zonal wavenumber 1 and the connection with the 2012/2013 SSW revealed by ERA-Interim
Authors: Li Wei , Huang Chunming , Zhang Shaodong 
Published: May 2021

AbstractWe analyze global characteristics of the westward-propagating quasi-16-day wave (Q16DW) with zonal wavenumber 1 (W1) in the troposphere and stratosphere using zonal wind, meridional wind, vertical velocity, temperature, geopotential, and potential vorticity data from the European Centre for Medium-Range Weather Forecasts (ECMWF) Interim Re-Analysis during one year from December 2012 to November 2013. The amplitudes of the W1 Q16DW are larger in the stratosphere than in the troposphere, and remarkable amplitudes are found at middle and high latitudes in the Northern Hemisphere (NH). More detailed analyses on the temporal variation in the W1 Q16DW show that this wave is significantly enhanced during the 2012/2013 Stratospheric Sudden Warming (SSW) event, and the strong wave most likely provides additional forcing on the splitting of the displaced polar vortex. Analysis of the Eliassen–Palm flux (EP flux) and its divergence of the interaction between W1 Q16DW and quasi-stationary planetary waves with wavenumber 1 during the 2012/2013 SSW event reveals that it causes an upward heat flux and exerts a westward acceleration on the background winds, indicating that this interaction plays an important role in the eastward stratospheric jet reversal. Moreover, the wave is amplified in the occurrence region of barotropic and/or baroclinic instability, suggesting a local source of the growing W1 Q16DW during this SSW event.
A new geographic record of the endangered Telmatobufo venustus (Amphibia: Calyptocephalellidae) in the Biobío Region, Chile
Authors: Díaz-Páez Helen , Alveal Nicza 
Published: May 2021

AbstractWe document the record of Telmatobufo venustus Phillipi (1899) in the Altos de Malalcura sector, Antuco, Biobío Region, Chile. This is the first record metamorphic Gosner 45 stage and the fourth georeferenced record of the species throughout its distribution. The data extend the presence of the species in the Biobío Region by more than 100 km, extending T. venustus to north of the Ralco Reserve. The presence of three metamorphic stage individuals and their coexistence with Alsodes sp. in this locality stands out.
N,N-Dimethylglycine in patients with progressive multiple sclerosis: result of a pilot double-blind, placebo, controlled randomized clinical trial
Authors: Wolfsegger Thomas , Böck Klaus , Schimetta Wolfgang , von Oertzen Tim J. , Assar Hamid 
Published: May 2021

AbstractOral administration of N,N-Dimethylglycine (DMG), a tertiary amino acid, presumably enhances oxygen utilization by tissue and complex with free radicals. Beneficial effects are improved endurance performance and reduction fatigue in humans and animals. This pilot study reports the results over a one-year double-blind, placebo-controlled trial of DMG in 30 randomized patients with progressive multiple sclerosis. No treatment effects were found between the placebo group and the DMG group for disability, fatigue, cognitive, or gait parameters.
Simultaneous paraneoplastic cerebellar degeneration, Lambert-Eaton syndrome and neuropathy associated with AGNA/anti-SOX1 and VGCC antibodies
Authors: Feldheim Jonas , Deuschl Cornelius , Glas Martin , Kleinschnitz Christoph , Hagenacker Tim 
Published: May 2021

AbstractAnti-glial nuclear antibody (AGNA) is an onconeuroal antibody targeting the nuclei of Bergmann glia in the cerebellum and Anti-SRY-related HMG-box 1 (SOX1). It is highly specific for small cell lung cancer (SCLC) and correlates to the appearance of paraneoplastic neurological syndromes such as Lambert-Eaton myasthenic syndrome (pLEMS) and paraneoplastic cerebellar degeneration (PCD) amongst others. Herein, we present a SCLC patient with rapidly progressive PCD, LEMS and axonal polyneuropathy associated with AGNA/SOX1-antibodies, successfully treated with plasma-exchange (PLEX).
Extracellular vesicles derived from mesenchymal stem cells containing microRNA-381 protect against spinal cord injury in a rat model via the BRD4/WNT5A axis
Authors: Jia Xufeng , Huang Guangping , Wang Shaohua , Long Miao , Tang Xiaojun , Feng Daxiong , Zhou Qingzhong 
Published: May 2021

Aims Non-coding microRNA (miRNA) in extracellular vesicles (EVs) derived from mesenchymal stem cells (MSCs) may promote neuronal repair after spinal cord injury (SCI). In this paper we report on the effects of MSC-EV-microRNA-381 (miR-381) in a rodent model of SCI. Methods In the current study, the luciferase assay confirmed a binding site of bromodomain-containing protein 4 (BRD4) and Wnt family member 5A (WNT5A). Then we detected expression of miR-381, BRD4, and WNT5A in dorsal root ganglia (DRG) cells treated with MSC-isolated EVs and measured neuron apoptosis in culture by terminal deoxynucleotidyl transferase dUTP nick end labeling (TUNEL) staining. A rat model of SCI was established to detect the in vivo effect of miR-381 and MSC-EVs on SCI. Results We confirmed an interaction between miR-381 and BRD4, and showed that miR-381 overexpression inhibited the expression of BRD4 in DRG cells as well as the apoptosis of DRG cells through WNT5A via activation of Ras homologous A (RhoA)/Rho-kinase activity. Moreover, treatment of MSC-EVs rescued neuron apoptosis and promoted the recovery of SCI through inhibition of the BRD4/WNT5A axis. Conclusion Taken altogether, miR-381 derived from MSC-EVs can promote the recovery of SCI through BRD4/WNT5A axis, providing a new perspective on SCI treatment. Cite this article: Bone Joint Res 2021;10(5):328–339.
Direct Support Professionals' Perspectives on Workplace Support: Underappreciated, Overworked, Stressed Out, and Stretched Thin
Authors: Johnson Katherine E. , Bailey Caitlin E. , Weiss Nancy R. , Eidelman Steven M. 
Published: May 2021

Abstract
The Direct Support Professional (DSP) workforce has experienced a multidecade period of disinvestment in the field leading to DSPs being in high demand, while efforts to recruit, train, and retain these professionals pose challenges. To gain a better understanding of the needs of DSPs themselves, 440 survey responses and 24 interviews of DSPs were analyzed to understand what would help DSPs do their jobs better and ensure they feel more supported by their agencies. Results revealed six distinct support needs: (a) ensure quality participatory management practices, (b) provide fair compensation and recognition, (c) enhance access to training opportunities, (d) assure reliable and quality staffing, (e) adequately fund basic needs of both programs and people receiving support, and (f) maintain reasonable job expectations.
Effects of a Community-Based Familiarization Intervention on Independent Performance of Resistance-Training Exercise Tasks by Adults With Intellectual Disability
Authors: Obrusnikova Iva , Cavalier Albert R. , Novak Haley M. , Blair-McKinsey Ashleigh E. , Suminski Rick R. 
Published: May 2021

Abstract
Adults with intellectual disability (ID) have significantly lower levels of fitness compared to the general population. The study examined the effects of a multicomponent familiarization intervention, consisting of a visual activity schedule and a video-enhanced system of least-to-most prompting, both displayed via an iPad, on the acquisition of resistance-training exercise tasks by adults with ID, aged 18–44 years, in a community fitness center. Twelve participants were randomly allocated to an experimental group (EG) and 12 to an active control group (CG). ANOVA revealed EG correctly and independently performed a significantly greater number of steps of four resistance-training exercise tasks compared with CG, relative to preintervention levels (p &lt; .01). The intervention was effective in promoting functional performance of resistance-training exercise tasks among adults with ID.
A Community-Health System Intervention to Improve the Primary Healthcare of Adults With Down Syndrome Through Electronic Consultations
Authors: Tyler Carl V. , Wells Michael D. 
Published: May 2021

Abstract
Health systems often fail to tap the expertise of the developmental disabilities community support and service system. In this 9-month pilot health system-level quality improvement project, a multi-disciplinary team of physician, pharmacist, and disabilities advocate reviewed electronic records of patients with Down syndrome in advance of pre-scheduled appointments with their primary care physician (PCP) and generated 100 electronic consultations. Post-consultation chart review documented meaningful uptake of clinical recommendations, including screening for thyroid disease, celiac disease, and heart disease, pneumococcal vaccination, and screening physical examination for myelopathy. In addition to clinical recommendations regarding screening, diagnosis, and treatment, each consultation provided an average of eight tailored suggestions for potential community-based resources related to mental and behavioral health, recreation, socialization, and other relevant services and supports. “Push” multi-disciplinary electronic consultations in advance of primary care appointments enriched with input from disabilities community experts have the potential to improve the quality of health care provided to persons with developmental disabilities.
Laser-assisted LED for adaptive-driving-beam headlights employing ultra-reliable single crystal phosphor for autonomous vehicles
Authors: Chang Yung-Peng , Shih Hsing-Kun , Liu Chun-Nien , Chen Hsin-An , Tsai Stark , Li Kenneth , Han Pin , Cheng Wood-Hi 
Published: May 2021

A novel laser-assisted LED for adaptive-driving-beam (ADB) headlights employing an ultra-reliable Ce3+: YAG-based single crystal phosphor (SCP)-converter layer for use in autonomous vehicles is demonstrated. The SCP fabricated at a high-temperature of 1,940°C exhibited better thermal stability than other phosphor-converter materials, evidenced by a thermal aging test. The high-beam pattern of the ADB is measured at a luminous intensity of 88,436 cd at 0°, 69,393 cd at ± 2.5°, and 42,942 cd at ± 5°, which well satisfies the ECE R112 class B regulation. The advantage of introducing the laser-assisted LED system employing the highly reliable SCP is to produce the high intensity for the ADB, which enables the increase of the field of view by 20% and the brightness by 28% for the ADB headlight and results in improving the visibility from ± 7° to ± 8.5° and the illumination distance up to 200 m. This proposed advance ADB headlight with the ultra-reliable SCP and the novel laser-assisted LED is favorable as one of the most promising ADB light source candidates for use in the next-generation autonomous vehicle applications.
Spinal movement variability associated with low back pain: A scoping review
Authors: Saito Hiroki , Watanabe Yoshiteru , Kutsuna Toshiki , Futohashi Toshihiro , Kusumoto Yasuaki , Chiba Hiroki , Kubo Masayoshi , Takasaki Hiroshi 
Published: May 2021

Objective
To identify suggestions for future research on spinal movement variability (SMV) in individuals with low back pain (LBP) by investigating (1) the methodologies and statistical tools used to assess SMV; (2) characteristics that influence the direction of change in SMV; (3) the methodological quality and potential biases in the published studies; and (4) strategies for optimizing SMV in LBP patients.

Methods
We searched literature databases (CENTRAL, Medline, PubMed, Embase, and CINAHL) and comprehensively reviewed the relevant papers up to 5 May 2020. Eligibility criteria included studies investigating SMV in LBP subjects by measuring trunk angle using motion capture devices during voluntary repeated trunk movements in any plane. The Newcastle-Ottawa risk of bias tool was used for data quality assessment. Results were reported in accordance with the Preferred Reporting Items for Systematic Reviews and Meta-Analyses Extension for Scoping Reviews.

Results
Eighteen studies were included: 14 cross-sectional and 4 prospective studies. Seven linear and non-linear statistical tools were used. Common movement tasks included trunk forward bending and backward return, and object lifting. Study results on SMV changes associated with LBP were inconsistent. Two of the three interventional studies reported changes in SMV, one of which was a randomized controlled trial (RCT) involving neuromuscular exercise interventions. Many studies did not account for the potential risk of selection bias in the LBP population.

Conclusion
Designers of future studies should recognize that each of the two types of statistical tools assesses functionally different aspects of SMV. Future studies should also consider dividing participants into subgroups according to LBP characteristics, as three potential subgroups with different SMV characteristics were proposed in our study. Different task demands also produced different effects. We found preliminary evidence in a RCT that neuromuscular exercises could modify SMV, suggesting a rationale for well-designed RCTs involving neuromuscular exercise interventions in future studies.
The impact of the catheter to vein ratio on peripheral intravenous cannulation success, a post-hoc analyses
Authors: van Loon Fredericus H. J. , Korsten Hendrikus H. M. , Dierick–van Daele Angelique T. M. , Bouwman Arthur R. A. 
Published: May 2021

Background
Intravenous cannulation is usually the first procedure performed in modern healthcare, although establishing peripheral intravenous access is challenging in some patients. The impact of the ratio between venous diameter and the size of the inserted catheter (catheter to vein ratio, CVR) on the first attempt success rate can be of added value in clinical. This study tries to give insight into the consideration that must be made when selecting the target vein and the type of catheter, and proved the null hypothesis that an optimal CVR would not be associated with increased first attempt cannulation success.

Methods
This was a post-hoc analyses on adult patients admitted for peripheral intravenous cannulation. Intravenous cannulation was performed according to practice guidelines, by applying the traditional landmark approach. The CVR was calculated afterwards for each individual patient by dividing the external diameter of the inserted catheter by the diameter of the target vein, which was multiplied by 100%.

Results
In total, 610 patients were included. The median CVR was 0.39 (0.15) in patients with a successful first attempt, whereas patients with an unsuccessful first attempt had a median CVR of 0.55 (0.20) (P<0.001). The optimal cut-off point of the CVR was 0.41. First attempt cannulation was successful in 92% of patients with a CVR<0.41, whereas as those with a CVR>0.41 had a first attempt success rate of 65% (P<0.001).

Conclusion
This first introduction of the CVR in relation to cannulation success should be further investigated. Although, measuring the venous diameter or detection of a vein with a specific diameter prior to cannulation may increase first attempt cannulation success.
Delft Blue to Denim Blue: Contemporary Dutch Fashion, Anneke Smelik (ed.) (2017)
Authors: Elia Ariele 
Published: May 2021

Review of: Delft Blue to Denim Blue: Contemporary Dutch Fashion, Anneke Smelik (ed.) (2017)
London: I. B. Tauris, 304 pp.,
ISBN 978-1-78453-197-3, p/bk, £17.99
Contemporary Indonesian Fashion: Through the Looking Glass, Alessandra Lopez y Royo (2020)
Authors: Luvaas Brent 
Published: May 2021

Review of: Contemporary Indonesian Fashion: Through the Looking Glass, Alessandra Lopez y Royo (2020)
London: Bloomsbury Visual Arts, 216 pp.,
ISBN 978-1-35006-130-9, h/bk, £76.50
ISBN 978-1-35023-795-7, p/bk, £26.09
DESVIOS DE GÊNERO EM UM CURRÍCULO-MUSEU
Authors: Alves Claudio Eduardo Resende 
Published: May 2021

Este artigo é resultante de uma pesquisa de Pós-Doutorado em Educação que propôs a investigação de um currículo-museu a partir de encontros e composições com os chamados (des)objetos. Museu é lido como um currículo, um artefato cultural que possui uma pedagogia que ensina e produz leituras sobre o mundo. Á luz dos estudos pós-criticos de gênero e currículo, o pesquisador realizou uma imersão em museus da cidade de Belo Horizonte/MG, utilizando a observação participante e o diário de campo. Para a construção do texto, foram selecionados três (des)objetos – uma balança, cartazes de cinema e troféus esportivos – como elementos problematizadores na pesquisa teórica e empírica. Os resultados evidenciam que um currículo-museu com gênero oportuniza encontros potentes com (des)objetos em museus, gerando desvios na prática do aprender sobre gênero. O estudo aponta a relevância de uma prática curricular em territórios não escolarizados pautada no debate das relações de gênero no museu.
Palavras-chave: Currículo. Gênero. Museu
MERGULHO NAS POÉTICAS DAS INFÂNCIAS
Authors: Alvarenga Almeida Breno , Pinto Gonçalves dos Reis Fábio 
Published: May 2021

Investigar se as experiências estéticas permitem a problematização de questões relacionadas à produção das identidades e das diferenças no contexto da Educação Infantil exigiu um mergulho em referenciais pós-estruturalistas, nas pedagogias e sociologia das infâncias para problematizar os dizeres de crianças a partir do seu contato com as artes. Realizar pesquisas envolvendo essa faixa etária, é fazê-las com as crianças e não sobre elas, razão pela qual inúmeros desafios são colocados nas interações do/a pesquisador/a com o campo. Emergiram desse processo questionamentos fundamentais para o desenvolvimento da pesquisa: como deixar de ser um corpo estranho naquele espaço? Como proporcionar espaços-tempos em que as crianças tenham vez e voz? Como fazer esse exercício de escuta? Assim, conclui-se que urge a necessidade de um olhar político no campo das metodologias de pesquisas com crianças, visto a urgência de conhecer as culturas das infâncias a partir das suas múltiplas linguagens.
PALAVRAS-CHAVE: Infância. Pesquisa. Crianças.
Encrucijadas melodramáticas para una intervención feminista enGéminisde Albertina Carri
Authors: Clark Maria Birgitta 
Published: May 2021

AbstractEste trabajo sobre el filme Géminis (2005) de Albertina Carri se enfoca en su estructura melodramática y las estrategias cinematográficas para criticar a la sociedad de consumo y a la oligarquía argentina a principios del siglo XXI. El tema del incesto en Géminis subvierte las normas ideológicas del melodrama convencional y problematiza la expresión de la identidad sexual en el asfixiante espacio familiar. El rol de la madre en la narrativa melodramática ofrece asociaciones intertextuales con otras madres del cine nacional y el nuevo cine argentino y establece una conexión con el tema de la memoria colectiva de la posdictadura.