bluuebunny/crossref_metadata_2025_split huggingface dataset:
Extensible effects
Authors: Kiselyov Oleg , Sabry Amr , Swords Cameron 
Published: April 2020

We design and implement a library that solves the long-standing problem of combining effects without imposing restrictions on their interactions (such as static ordering). Effects arise from interactions between a client and an effect handler (interpreter); interactions may vary throughout the program and dynamically adapt to execution conditions. Existing code that relies on monad transformers may be used with our library with minor changes, gaining efficiency over long monad stacks. In addition, our library has greater expressiveness, allowing for practical idioms that are inefficient, cumbersome, or outright impossible with monad transformers.
Our alternative to a monad transformer stack is a single monad, for the coroutine-like communication of a client with its handler. Its type reflects possible requests, i.e., possible effects of a computation. To support arbitrary effects and their combinations, requests are values of an extensible union type, which allows adding and, notably, subtracting summands. Extending and, upon handling, shrinking of the union of possible requests is reflected in its type, yielding a type-and-effect system for Haskell. The library is lightweight, generalizing the extensible exception handling to other effects and accurately tracking them in types.
Polymorphic identifiers
Authors: Weiher Marcel , Hirschfeld Robert 
Published: April 2020

In object-oriented programming, polymorphic dispatch of operations decouples clients from specific providers of services and allows implementations to be modified or substituted without affecting clients.
The Uniform Access Principle (UAP) tries to extend these qualities to resource access by demanding that access to state be indistinguishable from access to operations. Despite language features supporting the UAP, the overall goal of substitutability has not been achieved for either alternative resources such as keyed storage, files or web pages, or for alternate access mechanisms: specific kinds of resources are bound to specific access mechanisms and vice versa. Changing storage or access patterns either requires changes to both clients and service providers and trying to maintain the UAP imposes significant penalties in terms of code-duplication and/or performance overhead.

We propose introducing first class identifiers as polymorphic names for storage locations to solve these problems. With these
Polymorphic Identifiers
, we show that we can provide uniform access to a wide variety of resource types as well as storage and access mechanisms, whether parametrized or direct, without affecting client code, without causing code duplication or significant performance penalties.
Conference reports
Authors: Pérez Jorge A. 
Published: April 2020

In this installment of the conference report column, Cláudia Nalon, Daniele Nantes Sobrinho, Elaine Pimentel, and João Marcos report on the Brasília Spring on Automated Reasoning. This event brought to South America a whole week of conferences, workshops, and tutorials on Automated Reasoning. The numbers truly speak for the scale and quality of this event: 3 conferences (TABLEAUX, FroCos, and ITP), 4 workshops, 4 tutorials, and 165 participants from all over the world (including 16 invited speakers). I am most grateful to Cláudia, Daniele, Elaine, and João for their availability and detailed report.
I look forward to receiving your reports and/or personal impressions on conferences and scientific meetings broadly related to SIGLOG. As usual, I will also be pleased to hear all your ideas and suggestions for future installments of the column.
Session details: HEART 2012 workshop
Authors: Amano Hideharu , Luk Wayne 
Published: April 2020

It is a pleasure for us to hold the Third International Workshop on Highly-Efficient Accelerators and Reconfigurable Technologies (HEART) in Okinawa Japan.
Supercomputing using cost-effective accelerators, such as high-end field-programmable gate arrays, general-purpose graphics processing units and other specialized architectures, has become a major theme in high-performance computing. The goal of this workshop is to establish a forum for reporting state-of-the-art research on high-performance computing with such cost-effective accelerators. The workshop was affiliated to the ACM International Conference on Supercomputing in 2010, and became an independent workshop in 2011. This year it is held on the next two days after IEICE technical meeting on reconfigurable systems sharing some events.
The program of the 3 rd HEART Workshop includes 15 regular papers and 10 posters. They are selected from 35 submissions from 12 countries (China, France, Germany, Hong Kong, Iran, Japan, Singapore, Spain, Sweden, Taiwan, UK, and US). The selected presentations span a wide range of topics related to the aim of the workshop and the two invited keynote lectures focus on Cyber-physical MPSoC Systems and supercomputing with GPU. An invited industrial lecture is a shared event with the IEICE reconfigurable systems technical meeting. Also before the reception, the second FPGA design contest "Connect 6 Revenge" demonstrates real-time matches between FPGA connect6 players.
Helmut Veith memorial workshop 2019 report
Authors: Morak Michael , Prianichnikova Anna , Sokolova Ana 
Published: April 2020

Helmut Veith Memorial Workshop (HVW) is a memorial workshop in honour of Helmut Veith, a dear friend and colleague, logician and computer scientist who contributed significantly to the area of verification and logics in computer science, professor at TU Vienna who tragically died too early at the age of 45 years 3 years ago.
The workshop follows his wish for having an informal meeting in the mountains, mixing science and snow fun. The workshop is organised in such a way that half of the day is spent in talks, and the other half skiing, discussing, or working together at a venue in the Austrian Alps. It is a nice opportunity to exchange ideas and meet colleagues from the Austrian logic in computer science community and beyond, as well as to spend pleasant days with science and skiing, and even bring family along.
Right Ventricular Strain Predicts Structural Disease Progression in Patients With Arrhythmogenic Right Ventricular Cardiomyopathy
Authors: Malik Nitin , Win Sithu , James Cynthia A. , Kutty Shelby , Mukherjee Monica , Gilotra Nisha A. , Tichnell Crystal , Murray Brittney , Agafonova Julia , Tandri Harikrishna , Calkins Hugh , Hays Allison G. 
Published: April 2020

Background
Arrhythmogenic right ventricular cardiomyopathy (ARVC) is an inherited condition associated with ventricular arrhythmias and myocardial dysfunction; however, limited data exist on identifying patients at highest risk. The purpose of the study was to determine whether measures of right ventricular (RV) dysfunction on echocardiogram including RV strain were predictive of structural disease progression in ARVC.

Methods and Results

A retrospective analysis of serial echocardiograms from 40 patients fulfilling 2010 task force criteria for ARVC was performed to assess structural progression defined by an increase in proximal RV outflow tract dimensions (parasternal short or long axis) or decrease in RV fractional area change. Echocardiograms were analyzed for RV free‐wall peak longitudinal systolic strain using 2‐dimensional speckle tracking. Risk of structural progression and 5‐year change in RV outflow tract measurements were compared with baseline RV strain. Of the 40 ARVC patients, 61% had structural progression with an increase in the mean parasternal short‐axis RV outflow tract dimension from 36.2 to 38.5 mm (
P
=0.022) and 68% by increase in parasternal long‐axis RV outflow tract dimension from 36.1 to 39.2 mm (
P
=0.001). RV fractional area change remained stable over time. Baseline RV strain was significantly associated with the risk of structural progression and 5‐year rate of change. Patients with an RV strain more positive than −20% had a higher risk (odds ratio: 18.4; 95% CI, 2.7–125.8;
P
=0.003) of structural progression.

Conclusions
RV free wall strain is associated with the rate of structural progression in patients with ARVC. It may be a useful marker in determining which patients require closer follow‐up and treatment.
“And she took off her clothes …”. Agathonice’s Nudity in Acta Carpi 44
Authors: Kozlowski Jan M. 
Published: April 2020

Abstract
In Acta Carpi, a woman named Agathonice spontaneously takes off her clothes before being burned at the stake. The aim of the article is to show that her gesture has a symbolic meaning. Firstly, in light of the reference to Matth 22:1-14, Agathonice’s nakedness should be interpreted as a paradoxical “wedding robe”: the martyr’s nudity suggests that the author wanted the reader to see Christian martyrdom as the surest way to salvation. Secondly, the interpretation of Agathonice’s nakedness as a “wedding robe” attributes to her martyrdom a possible baptismal connotation. Thirdly, arguments are advanced that Agathonice’s nudity evokes Eve’s paradisiacal, shameless nudity.
“They [the Jews] Show Me a Nation Full of Flaws.” The Political Use of Jewish Stereotypes by Jews and Non-Jews in the Netherlands (1796–1798)
Authors: Rädecker Tsila 
Published: April 2020

Abstract
This article investigates the political use of pejorative images of the Jews during the debates on granting the Jews Dutch citizenship and in the polemical writings of the newly founded maskilic Ashkenazi community in Amsterdam. It will demonstrate that pejorative images of the Jews were used to demarcate the boundaries of identity, not only by the non-Jewish Dutch inhabitants, but also by the Dutch maskilim. This article sheds light on the interplay between politics, stereotyping and identity construction.
Correction for Systematic Errors in the Global Dataset of Temperature Profiles from Mechanical Bathythermographs
Authors: Gouretski Viktor , Cheng Lijing 
Published: April 2020

AbstractA homogeneous, consistent, high-quality in situ temperature dataset covering some decades in time is crucial for the detection of climate changes in the ocean. For the period from 1940 to the present, this study investigates the data quality of temperature profiles from mechanical bathythermographs (MBT) by comparing these data with reference data obtained from Nansen bottle casts and conductivity–temperature–depth (CTD) profilers. This comparison reveals significant systematic errors in MBT measurements. The MBT bias is as large as 0.2°C before 1980 on the global average and reduces to less than 0.1°C after 1980. A new empirical correction scheme for MBT data is derived, where the MBT correction is country, depth, and time dependent. Comparison of the new MBT correction scheme with three schemes proposed earlier in the literature suggests a better performance of the new schemes. The reduction of the biases increases the homogeneity of the global ocean database being mostly important for climate change–related studies, such as the improved estimation of the ocean heat content changes.
Contrast reflux into the inferior vena cava on computer tomographic pulmonary angiography is a predictor of 24-hour and 30-day mortality in patients with acute pulmonary embolism
Authors: Bailis Nikolaos , Lerche Marianne , Meyer Hans Jonas , Wienke Andreas , Surov Alexey 
Published: April 2020

Background Acute pulmonary embolism (PE) is a common disease with a high mortality. Computed tomographic pulmonary angiography (CTPA) represents the current gold standard for the evaluation of patients with suspected PE. Purpose To search possible CTPA predictors of 24-h and 30-day mortality in PE. Material and Methods Overall, 224 patients with PE (46.4% women, mean age 64.7 ± 16.7 years) were acquired. CTPA was performed on a multi-slice CT scanner. The following radiological parameters were estimated: thrombotic obstruction index; diameter of the pulmonary trunk (mm); short axis ratio of right ventricle/left ventricle; diameter of the azygos vein (mm); diameter of the superior and inferior vena cava (mm); and reflux of contrast medium into the inferior vena cava (IVC). Results Patients who died within the first 24 h after admission (n = 32, 14.3%) showed a reflux grade 3 into IVC more often than survivors (odds ratio [OR] 7.6, 95% confidence interval [CI] 3.3–17.7; P < 0.001). Other relevant CTPA parameters were diameter of IVC (OR 1.1, 95% CI 1.01–1.21; P = 0.034) and diameter of the pulmonary trunk (OR 0.91, 95% CI 0.82–1.01, P = 0.074), whereas the Mastora score showed nearly no influence (OR 1.01, 95% CI 0.99–1.02, P = 0.406). Furthermore, 61 (27.2%) patients died within the first 30 days after admission. These patients showed a reflux grade 3 into IVC more often than survivors (OR 3.4, 95% CI 1.7–7.0; P = 0.001). Other CTPA parameters, such as diameter of IVC (OR 1.04, 95% CI 0.97–1.12; P = 0.277) and diameter of the pulmonary trunk (OR 0.96, 95% CI 0.89–1.04; P = 0.291), seem to have no relevant influence, whereas Mastora score did (OR 0.99, 95% CI 0.976–0.999, P = 0.045). Conclusion Subhepatic contrast reflux into IVC is a strong predictor of 24-h and 30-day mortality in patients with acute PE.
Protective effects of luteolin on nephrotoxicity induced by long-term hyperglycaemia in rats
Authors: Xiong Cui , Wu Qilong , Fang Mingling , Li Hui , Chen Bin , Chi Tingting 
Published: April 2020

Objective This study aimed to investigate whether luteolin delays the progress of diabetic nephropathy (DN) induced by streptozotocin. Methods Fifty-three healthy, 8-week-old, male Sprague–Dawley rats were randomly divided into the control (n = 6), model (n = 23), and experimental groups (n = 24). The rat model of diabetic nephropathy was established by intraperitoneal injection of streptozotocin. Rats in the experimental group were administered luteolin suspension of 80 mg/kg daily for 8 weeks. Blood glucose levels and body weight were recorded until the fourth week. After intragastric administration, blood flow and the protective effect of luteolin on diabetic nephropathy were evaluated. Results The degree of renal apoptosis and fibrosis in the experimental group was milder, and glomerular structure was more complete compared with the model group. Nphs2 staining suggested that luteolin delayed apoptosis and deletion and fusion of podocytes under high glucose levels, and protected the filtration function of the basement membrane by upregulating Nphs2 protein expression. Time intensity curve results suggested that luteolin delayed deterioration of renal haemodynamics under hyperglycaemia. Conclusions This study shows that luteolin delays progression of diabetic nephropathy. This drug has potential wide applicability in future clinical application.
Implementation Outcomes Following Participation in a Large-Scale Healthy Workplace Program Conducted Across Multiple Worksites
Authors: Talati Zenobia , Grapes Carly , Davey Emily , Shilton Trevor , Pettigrew Simone 
Published: April 2020

Purpose: To measure implementation outcomes of a freely available workplace health promotion program (Healthier Workplace Western Australia [HWWA]) that provides employees with services and supports to make changes in their workplaces. Setting: Western Australian workplaces. Subjects: Employees accessing HWWA services. Intervention: A range of services (training sessions, tailored advice, grant schemes, online resources) were offered relating to nutrition, physical activity, smoking, alcohol consumption, and mental health. Design/Measures: Of the 1627 individuals e-mailed 6 months after participation in HWWA, 345 (21%) individuals who recalled accessing one or more services completed a survey assessing the number and type of changes they had implemented and the perceived barriers to doing so. Analysis: Negative binomial regressions and one-way analysis of variances assessed whether respondent characteristics or number of services used was associated with the number and types of changes made. A qualitative analysis of the perceived barriers was also conducted. Results: The majority of respondents (86%) reported implementing one or more changes. Greater perceived responsibility/authority to make change (β = .56, P < .01), perceived support from coworkers (β = .23, P < .05), and number of HWWA services used (β = .04, P < .05) were positive predictors of the number of changes made. Frequently reported barriers included cost/budget restrictions, lack of management support, and resistance from staff. Conclusion: The HWWA program facilitated implementation of various healthy workplace initiatives across the organizations represented in the evaluation.
High-Frequency External Muscle Stimulation Reduces Depressive Symptoms in Older Male Veterans: A Pilot Study
Authors: Liu Mu-N , Yeh Heng-Liang , Kuan Ai Seon , Tsai Shih-Jen , Liou Ying-Jay , Walsh Vincent , Lau Chi-Ieong 
Published: April 2020

Objective: Late-life depression (LLD) is a severe public health problem. Given that pharmacological treatments for LLD are limited by their side effects, development of efficient and tolerable nonpharmacological treatment for LLD is urgently required. This study investigated whether high-frequency external muscle stimulation could reduce depressive symptoms in LLD. Methods: Twenty-two older male veterans with major depression were recruited and randomized into a treatment (n = 9) or sham control group (n = 13). The groups received high-frequency external muscle stimulation or sham intervention 3 times per week for 12 weeks. Clinical symptoms and muscle strength were evaluated at baseline and every 2 weeks. Results: The 2 groups were homogeneous in age, baseline clinical symptoms, and muscle strength. The treatment group showed significant improvement in depression and anxiety scores and muscle strength (all P < .01), whereas the control group showed no significant change after the 12-week follow-up. Compared to the control group, the treatment group showed significant improvements in depression (Geriatric Depression Scale, P = .009; Hamilton Depression Rating Scale, P = .007) and anxiety scores (HAMA, P = .008) and muscle strength (all P < .001). Changes in depression and anxiety levels were significantly correlated with changes in muscle strength after the study. In the treatment group, we observed a trend of correlation between the reduction in depression and muscle strength gains. Conclusion: High-frequency external muscle stimulation appears to be an effective treatment for older patients with LLD. Large studies with more tests and/or conducted in different populations are warranted to validate these preliminary findings.
Clinical and parental predictors of emotion regulation following cognitive behaviour therapy in children with autism
Authors: Tajik-Parvinchi Diana J , Farmus Linda , Cribbie Robert , Albaum Carly , Weiss Jonathan A 
Published: April 2020

Difficulties with emotion regulation are common in children with autism. Although interventions targeting emotion regulation show promise, children’s individual treatment responses vary, and it is important to understand the factors that contribute to treatment change. The present study aimed to identify pre-treatment child characteristics and parent psychopathology that predict treatment response in a 10-week manualized cognitive behaviour therapy intervention for children with autism, 8–12 years of age. Exploratory best-subset regression analyses were first carried out to identify the optimal set of predictors. Logistic regressions were then conducted to determine whether these variables predicted reliable improvement. Outcome variables consisted of the lability/negativity and the emotion regulation subscales of the Emotion Regulation Checklist. Predictors included pre-treatment developmental, clinical, and parent psychopathology variables. Analyses revealed that youth who started the treatment with higher verbal reasoning, higher impairment in social motivation, and more anxious parents were more likely to show reliable improvements in emotion regulation. Youth who started the treatment with higher internalizing scores had lower odds of showing reliable improvement. Implications of our findings include facilitation of active involvement, avoidance of complex language, and the provision of additional supports. Further suggestions to inform clinical practice are discussed. Lay abstract Children with autism commonly experience difficulty controlling their emotions. Although existing treatments are successful in teaching critical emotion regulation skills, not all children improve. It is important to identify the factors that influence treatment response to be able to reach more children. This study aimed to identify child and parent characteristics that predict treatment response in a 10-week cognitive behaviour therapy treatment for children with autism, 8–12 years of age, and their parents. We found that youth who started the treatment with higher verbal abilities, who were more anxious in social situations, and had parents who were more anxious, were more likely to improve in learning new emotion regulation skills. We also found that children who had more physical discomforts or complaints before starting the treatment were less likely to improve in their negative expressions of emotion. Our study suggests that it is important for clinicians to promote active involvement and learning by avoiding complex language and to use more visual materials to supplement the learning process, and make sure that sessions are sensitive to the individual needs of participants.
Genetic interaction between two VNTRs in the MAOA gene is associated with the nicotine dependence
Authors: Kõks Gea , Prans Ele , Ho Xuan D , Duy Binh H , Tran Ha DT , Ngo Ngoc BT , Hoang Linh NN , Tran Hue MT , Bubb Vivien J , Quinn John P , Kõks Sulev 
Published: April 2020

Nicotine dependence is an addiction to tobacco products and a global public health concern that in part would be influenced by our genetics. Smokers are reported to have reduced MAOA activity, but the results from genetic associations with this gene have been inconclusive. Two functionally relevant variable number tandem repeat (VNTR) domains, termed uVNTR and dVNTR, in the MAOA gene are well characterized transcriptional regulatory elements. In the present study, we analyzed uVNTR and dVNTR polymorphisms in the MAOA gene in the Vietnamese male population of smokers and non-smokers in order to assess the association of MAOA with the nicotine dependence measured by the Fagerström Test for Nicotine Dependence (FTND). Individual analysis of VNTRs separately identified uVNTR to be associated with the F6 question of the FTND indicating the stronger addiction to nicotine. No associations were found between the dVNTR and smoking behavior. The combination of dVNTR and uVNTR, that predicts low expression of MAOA (10–3 haplotypes), was significantly associated with the higher nicotine dependence (FTND score), longer smoking duration, and more persistent smoking behavior (fewer quit attempts). In conclusion, our study confirms that low MAOA expression is genetically predictive to the higher nicotine dependence. Impact statement The present study combined the analysis of two transcriptional regulators, uVNTR and dVNTR, in the MAOA gene that is an enzyme responsible for the monoamine degradation and identified genetic interaction between these VNTRs in association with the nicotine dependence. The main impact is that when analyzing different populations in the genetic studies, the functionally meaningful variants should be combined rather than addressing individual elements separately (a mini polygenic risk score for a particular gene/locus). This combination is very rarely analyzed and therefore the study sets an example. Another impact is that we analyzed the genetic variability in the Asian population and therefore our data present a piece of information from underrepresented populations.