bluuebunny/crossref_metadata_2025_split huggingface dataset:
Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers
Authors: Borralleras Cristina , Larraz Daniel , Rodríguez-Carbonell Enric , Oliveras Albert , Rubio Albert 
Published: August 2019

We present new methods for solving the Satisfiability Modulo Theories problem over the theory of Quantifier-Free Non-linear Integer Arithmetic, SMT(QF-NIA), which consists of deciding the satisfiability of ground formulas with integer polynomial constraints. Following previous work, we propose to solve SMT(QF-NIA) instances by reducing them to linear arithmetic: non-linear monomials are linearized by abstracting them with fresh variables and by performing case splitting on integer variables with finite domain. For variables that do not have a finite domain, we can artificially introduce one by imposing a lower and an upper bound and iteratively enlarge it until a solution is found (or the procedure times out).
The key for the success of the approach is to determine, at each iteration, which domains have to be enlarged. Previously, unsatisfiable cores were used to identify the domains to be changed, but no clue was obtained as to how large the new domains should be. Here, we explain two novel ways to guide this process by analyzing solutions to optimization problems: (i) to minimize the number of violated artificial domain bounds, solved via a Max-SMT solver, and (ii) to minimize the distance with respect to the artificial domains, solved via an Optimization Modulo Theories (OMT) solver. Using this SMT-based optimization technology allows smoothly extending the method to also solve Max-SMT problems over non-linear integer arithmetic. Finally, we leverage the resulting Max-SMT(QF-NIA) techniques to solve ∃ ∀ formulas in a fragment of quantified non-linear arithmetic that appears commonly in verification and synthesis applications.
Implementation of HPV-based Cervical Cancer Screening Combined with Self-sampling Using a Midwifery Network Across Rural Greece: The GRECOSELF Study
Authors: Agorastos Theodoros , Chatzistamatiou Kimon , Tsertanidou Athena , Mouchtaropoulou Evangelia , Pasentsis Konstantinos , Kitsou Anastasia , Moysiadis Theodoros , Moschaki Viktoria , Skenderi Alkmini , Katsiki Evangelia , Aggelidou Stamatia , Venizelos Ioannis , Ntoula Maria , Daponte Alexandros , Vanakara Polyxeni , Garas Antonios , Stefos Theodoros , Vrekoussis Thomas , Lymberis Vasilis , Kontomanolis Emmanuel N. , Makrigiannakis Antonis , Manidakis George , Deligeoroglou Efthimios , Panoskaltsis Theodoros , Decavalas George O. , Michail George , Kalogiannidis Ioannis , Koukoulis George , Zempili Paraskevi , Halatsi Despina , Truva Theoni , Piha Vaia , Agelena Georgia , Chronopoulou Athanasia , Vaitsi Violetta , Chatzaki Ekaterini , Paschopoulos Minas , Adonakis George , Kaufmann Andreas M. , Hadzidimitriou Anastasia , Stamatopoulos Kostas 
Published: August 2019

Abstract
Self-sampling for human papillomavirus (HPV) testing is an alternative to physician sampling particularly for cervical cancer screening nonattenders. The GRECOSELF study is a nationwide observational cross-sectional study aiming to suggest a way to implement HPV-DNA testing in conjunction with self-sampling for cervical cancer screening in Greece, utilizing a midwifery network. Women residing in remote areas of Greece were approached by midwives, of a nationwide network, and were provided with a self-collection kit (dry swab) for cervicovaginal sampling and asked to answer a questionnaire about their cervical cancer screening history. Each sample was tested for high-risk (hr) HPV with the Cobas HPV test. HrHPV-Positive women were referred to undergo colposcopy and, if needed, treatment according to colposcopy/biopsy results. Between May 2016 and November 2018, 13,111 women were recruited. Of these, 12,787 women gave valid answers in the study questionnaire and had valid HPV-DNA results; hrHPV prevalence was 8.3%; high-grade cervical/vaginal disease or cancer prevalence was 0.6%. HrHPV positivity rate decreased with age from 20.7% for women aged 25–29 years to 5.1% for women aged 50–60 years. Positive predictive value for hrHPV testing and for HPV16/18 genotyping ranged from 5.0% to 11.6% and from 11.8% to 27.0%, respectively, in different age groups. Compliance to colposcopy referral rate ranged from 68.6% (for women 25–29) to 76.3% (for women 40–49). For women residing in remote areas of Greece, the detection of hrHPV DNA with the Cobas HPV test, on self-collected cervicovaginal samples using dry cotton swabs, which are provided by visiting midwives, is a promising method for cervical cancer secondary prevention.
Genome‐Wide Meta‐Analysis of Blood Pressure Response to β
1
‐Blockers: Results From ICAPS (International Consortium of Antihypertensive Pharmacogenomics Studies)
Authors: Singh Sonal , Warren Helen R. , Hiltunen Timo P. , McDonough Caitrin W. , El Rouby Nihal , Salvi Erika , Wang Zhiying , Garofalidou Tatiana , Fyhrquist Frej , Kontula Kimmo K. , Glorioso Valeria , Zaninello Roberta , Glorioso Nicola , Pepine Carl J. , Munroe Patricia B. , Turner Stephan T. , Chapman Arlene B. , Boerwinkle Eric , Johnson Julie A. , Gong Yan , Cooper‐DeHoff Rhonda M. 
Published: August 2019

Background

There exists a wide interindividual variability in blood pressure (
BP
) response to β
1
‐blockers. To identify the genetic determinants of this variability, we performed a pharmacogenomic genome‐wide meta‐analysis of genetic variants influencing β
1
‐blocker
BP
response.

Methods and Results

Genome‐wide association analysis for systolic BP and diastolic BP response to β
1
‐blockers from 5 randomized clinical trials consisting of 1254 patients with hypertension of European ancestry were combined in meta‐analysis and single nucleotide polymorphisms (SNPs) with
P
<10
−4
were tested for replication in 2 independent randomized clinical trials of β
1
‐blocker–treated patients of European ancestry (n=1552). Regions harboring the replicated
SNP
s were validated in a β
1
‐blocker–treated black cohort from 2 randomized clinical trials (n=315). A missense
SNP
rs28404156 in

BST
1

was associated with systolic BP response to β
1
‐blockers in the discovery meta‐analysis (
P
=9.33×10
−5
, β=−3.21 mm Hg) and replicated at Bonferroni significance (
P
=1.85×10
−4
, β=−4.86 mm Hg) in the replication meta‐analysis with combined meta‐analysis approaching genome‐wide significance (
P
=2.18×10
−7
). This
SNP
in

BST
1

is in linkage disequilibrium with several
SNP
s with putative regulatory functions in nearby genes, including

CD
38

,

FBXL
5

, and

FGFBP
1

, all of which have been implicated in
BP
regulation.
SNP
s in this genetic region were also associated with
BP
response in the
black
cohort.

Conclusions

Data from randomized clinical trials of 8 European ancestry and 2 black cohorts support the assumption that

BST
1

containing locus on chromosome 4 is associated with β
1
‐blocker
BP
response. Given the previous associations of this region with
BP
, this is a strong candidate region for future functional studies and potential use in precision medicine approaches for
BP
management and risk prediction.
Modulational Stability of Nonlinear Saturated Gravity Waves
Authors: Schlutow Mark 
Published: August 2019

Abstract
Stationary gravity waves, such as mountain lee waves, are effectively described by Grimshaw’s dissipative modulation equations even in high altitudes where they become nonlinear due to their large amplitudes. In this theoretical study, a wave-Reynolds number is introduced to characterize general solutions to these modulation equations. This nondimensional number relates the vertical linear group velocity with wavenumber, pressure scale height, and kinematic molecular/eddy viscosity. It is demonstrated by analytic and numerical methods that Lindzen-type waves in the saturation region, that is, where the wave-Reynolds number is of order unity, destabilize by transient perturbations. It is proposed that this mechanism may be a generator for secondary waves due to direct wave–mean-flow interaction. By assumption, the primary waves are exactly such that altitudinal amplitude growth and viscous damping are balanced and by that the amplitude is maximized. Implications of these results on the relation between mean-flow acceleration and wave breaking heights are discussed.
Energy Sinks for Lee Waves in Shear Flow
Authors: Kunze Eric , Lien Ren-Chieh 
Published: August 2019

AbstractMicrostructure measurements in Drake Passage and on the flanks of Kerguelen Plateau find turbulent dissipation ratesεon average factors of 2–3 smaller than linear lee-wave generation predictions, as well as a factor of 3 smaller than the predictions of a well-established parameterization based on finescale shear and strain. Here, the possibility that these discrepancies are a result of conservation of wave actionE/ωL=E/|kU| is explored. Conservation of wave action will transfer a fraction of the lee-wave radiation back to the mean flow if the waves encounter weakening currentsU, where the intrinsic or Lagrangian frequencyωL= |kU| ↓ |f| andkthe along-stream horizontal wavenumber, wherekU≡k⋅V. The dissipative fraction of power that is lost to turbulence depends on the Doppler shift of the intrinsic frequency between generation and breaking, hence on the topographic height spectrum and bandwidthN/f. The partition between dissipation and loss to the mean flow is quantified for typical topographic height spectral shapes andN/fratios found in the abyssal ocean under the assumption that blocking is local in wavenumber. Although some fraction of lee-wave generation is always dissipated in a rotating fluid, lee waves are not as large a sink for balanced energy or as large a source for turbulence as previously suggested. The dissipative fraction is 0.44–0.56 for topographic spectral slopes and buoyancy frequencies typical of the deep Southern Ocean, insensitive to flow speedUand topographic splitting. Lee waves are also an important mechanism for redistributing balanced energy within their generating bottom current.
Modeling of Wake Vortex Radar Detection in Clear Air Using Large-Eddy Simulation
Authors: Kovalev Dmitry A. , Vanhoenacker-Janvier Danielle , Billuart Philippe , Duponcheel Matthieu , Winckelmans Grégoire 
Published: August 2019

AbstractTo detect wake vortices in all weather conditions, lidar and radar sensors are complementary. It is important to determine accurately the limitations of the radar detection in clear air and to determine the parameters influencing the detection. This paper is the first study to present the simulation and analysis of the radar signatures of wake vortices on the basis of state-of-the-art 3D large-eddy simulations. The setup of the large-eddy simulations is described and the evolution of the wake vortices is illustrated for the three simulated cases. A modified version of the model developed by Muschinski et al. is used here for the calculation of the radar-backscattered signal and the second moment of the Doppler spectrum that is used to estimate the wake vortex circulation. The simulator uses two different radar configurations for the retrieval of the circulation, which is compared with the circulation obtained directly from the large-eddy simulations. The retrieval of the circulation is fairly accurate if the level of backscattered signal is high enough above the detection threshold of the radar.
Bone Regeneration in a Canine Model of Artificial Jaw Cleft Using Bone Marrow–Derived Mesenchymal Stem Cells and Carbonate Hydroxyapatite Carrier
Authors: Abe Takaharu , Sumi Keisuke , Kunimatsu Ryo , Oki Nanae , Tsuka Yuji , Awada Tetsuya , Nakajima Kengo , Sugiyama Masaru , Tanimoto Kotaro 
Published: August 2019

Objective: Cleft lip and palate (CLP) is a common anomaly of the orofacial region. Mesenchymal stem cell (MSC) transplantation has been a focus of regenerative medicine, and its application to the repair of bone defects in patients with CLP is highly anticipated. This study investigated the potential for using MSCs to regenerate bone in a jaw cleft as well as the survival of transplanted MSCs using a canine model of CLP. Design: Mesenchymal stem cells collected from the bone marrow of beagle dogs were transplanted along with carbonate hydroxyapatite into jaw clefts in beagle dogs. Mesenchymal stem cells labeled with fluorescent silica nanoparticles were also transplanted, and a histological analysis was performed 3 months later to evaluate MSC survival. Results: Carbonate hydroxyapatite regeneration into bone was enhanced by cotransplantation of MSCs. The survival rate of MSCs transplanted after 3 months was 5.7%. Conclusions: Transplanted MSCs promote bone regeneration, although their survival rate is low.
Descriptive Statistics From Published Research: A Readily Available Alternative to Raw Data to Assess Analytic Reproducibility and Robustness
Authors: Nimon Kim , Conley David , Bontrager Marvin , Keiffer Greggory L. , Hammack-Brown Bryn 
Published: August 2019

The Problem Meta-science literature calls for data to be made openly available so that scholars and scholar-practitioners can validate published findings, a foundational step in the reproducibility spectrum. However, access to original research data is an ongoing dilemma in various disciplines, including human resource development. The Solution Scholars and scholar-practitioners have the opportunity to evaluate the credibility of previous studies without access to the original raw data. The use of descriptive statistics from published research offers an alternative to assess the reproducibility and robustness of selected prior research. The Stakeholders In addition to validating research before applying implications for practice in the field, practitioners could benefit from working with scholars and scholar-practitioners by assessing analytic robustness and reevaluating data through a new framework to address burgeoning organizational problems, potentially saving resources. Scholars can reimagine conceptual frameworks based on advances to theory and statistical analyses capabilities. For emerging scholars, the ability to validate prior research or apply new models using the information contained in a publication can create a learning opportunity to understand statistical analyses.
Eosinophilic Cholecystitis Occurred in a Patient With Refractory Eosinophilic Airway Inflammation: A Case Report
Authors: Kuwahara Toshiaki , Kobayashi Yoshiki , Yun Yasutaka , Kanda Akira , Asako Mikiya , Ueki Shigeharu , Iwai Hiroshi 
Published: August 2019

Background Eosinophilic cholecystitis (EC) is a rare condition that presents in a manner comparable to acute cholecystitis. The diagnosis is based on classical symptoms of cholecystitis with excessive eosinophilic infiltration within the gallbladder. EC has been reported alone or in combination with manifestations, such as eosinophilic gastrointestinal tract inflammation. However, association with airway inflammation in patients with EC is rare. Case Presentation: We report the case of a 65-year-old man who had refractory eosinophilic chronic rhinosinusitis with bronchial asthma. A second endoscopic sinus surgery (ESS) was performed as treatment for recurrent nasal polyps. EC occurred while inhaled corticosteroids were reduced after ESS. Pathologic examination of the excised gallbladder demonstrated submucosal infiltration with a number of eosinophils. Furthermore, immunohistostaining revealed many galectin-10-positive cells in both the gallbladder mucosa and the paranasal sinus mucosa. Galectin-10 is a major constituent of human eosinophils, also known as the Charcot–Leyden crystal protein, which has been linked with eosinophilic inflammation. Interestingly, nasal polyps were reduced without any additional treatments 1 month after the cholecystectomy. Conclusions We experienced a rare case wherein EC onset occurred in a patient with refractory eosinophilic airway inflammation during inhaled corticosteroid tapering. Galectin-10 might help diagnose rare cases of eosinophilic inflammation in multiple organs.
First meiotic anaphase requires Cep55-dependent inhibitory cyclin-dependent kinase 1 phosphorylation
Authors: Zhou Chenxi , Hancock Janelle L. , Khanna Kum Kum , Homer Hayden A. 
Published: August 2019

ABSTRACT
During mitosis, anaphase is triggered by anaphase-promoting complex (APC)-mediated destruction of securin and cyclin B1, which leads to inactivation of cyclin-dependent kinase 1 (Cdk1). By regulating APC activity, the mitotic spindle assembly checkpoint (SAC) therefore has robust control over anaphase timing to prevent chromosome mis-segregation. Mammalian oocytes are prone to aneuploidy, the reasons for which remain obscure. In mitosis, Cep55 is required post-anaphase for the final steps of cytokinesis. We found that Cep55-depleted mouse oocytes progress normally through early meiosis I, but that anaphase I fails as a result of persistent Cdk1 activity. Unexpectedly, Cdk1 inactivation was compromised following Cep55 depletion, despite on-time SAC silencing and intact APC-mediated proteolysis. We found that impaired Cdk1 inactivation was caused by inadequate inhibitory Cdk1 phosphorylation consequent upon failure to suppress Cdc25 phosphatase, identifying a proteolysis-independent step necessary for anaphase I. Thus, the SAC in oocytes does not exert exclusive control over anaphase I initiation, providing new insight into vulnerability to error.
Ο Ν. Ι. Σαλτέλης και η μετάφραση μυθιστορημάτων
Authors: Αθήνη Στέση 
Published: August 2019

Dans le cadre des théories traductologiques orientées vers la figure du traducteur, j’ai choisit d’éclairer l’identité du poète romantique mineur N.I.Saltelis en tant que traducteur des romans. Les riches péritextes de ses deux traductions, Le diable boiteux (Ermoupoli 1838) d’Alain-René Lesage et Ernest, ou Le travers du siècle (Smyrna 1841) de Gustave Drouineau, font apparaître ses attitudes et ses pratiques traductives. Dans le cas du roman de Lesage qui évoque plutôt une épreuve scolaire de traduction et qui demeure jusqu'à nos jours l'unique traduction en grec moderne de ce best-seller européen de l'époque des Lumières, Saltelis y trouve à la fois un instrument d'étaler son érudition et ses relations personnelles ainsi qu'un moyen de faire son apparition dans la sphère publique. Par ailleurs, les liens que Saltelis tisse avec l'écrivain romantique Gustave Drouineau ainsi que sa « correspondance » avec celui-ci pourraient être inscrits dans la voie qui mènera à la "traduction littéraire".
Design and development of e-learning materials for cardiopulmonary resuscitation
Authors: Tsaloukidis Nikolaos , Michopoulou Vassiliki , Zarakovitis Dimitrios , Lazakidou Athina 
Published: August 2019

Background/Aims There are a number of educational programmes that teach life support skills to the whole population. A number of these programmes are now taught using smart technologies. This study aimed to develop interactive electronic training materials for cardiopulmonary resuscitation training in Greece. Methods The online programming tool, Articulate Storyline 2, was used to generate an online training course. Discussion These materials needed to include Sign Language in order to communicate cardiopulmonary resuscitation training. The material consists of nine educational sessions, including video-teaching, interactive questions and evaluation tests. The majority of the programmes were adjusted to include Sign Language options, so people with hearing defects can also be taught. The above material will be uploaded on a distance-learning platform and will be evaluated for its efficacy and friendliness. Results It is hoped that the materials will be used for the mass training of the general population as well as health professionals.
Shi’ite Ideology Bias in Al-Qummi Tafsir: Study of Ali Imran and Al-Nisa’ Chapters
Authors: Abidin Ahmad Zainal 
Published: August 2019

The study of political bias in Quranic commentary is of great interest following the contexts that led to its emergence. The verse of the Qur'an is often used as a legitimation of understanding in religious discourse. The study of al-Qummi's commentary explains how the verses of the Qur'an are understood in such a way by a person living in the certain context to favor the Shi'a school and attack its opponents. It also explains how the interpretation becomes a field of meaning contestation. This tendencies were found in al-Qummi commentary on Alu Imran and al-Nisa’ Surahs. The presence of such a biased interpretation can not be separated from the author's cultural and social political context as he lives in the midst of contests, rivalries and political intrigues of Muslim groups in a particular era in history.[Kajian tentang bias politik dalam tafsir Al-Quran sangat menarik dilakukan terkait konteks yang menyebabkan kemunculannya. Ayat Al-Qur'an sering digunakan sebagai legitimasi pemahaman dalam wacana agama. Dengan menggunakan pendekatan historis dan komparatif, studi terhadap tafsir al-Qummi ini menemukan bagaimana ayat-ayat Al Qur'an dipahami sedemikian rupa oleh seseorang yang hidup dalam konteks tertentu untuk mendukung madzhab Syiah dan menyerang lawan-lawan politik. Penafsiran yang demikian berbeda dengan Al-Qur ’an dan Tafsirnya karya dari Tim Kementerian Agama. Studi juga menemukan bagaimana tafsir al-Quran menjadi medan kontestasi makna antar kelompok. Kecenderungan ini ditemukan dalam penafsiran al-Qummi tentang surah Ali Imran dan al-Nisa’. Kemunculan interpretasi yang bias seperti itu tidak dapat dipisahkan dari konteks budaya dan sosial politik al-Qummi ketika ia hidup di tengah-tengah persaingan dan intrik politik antara kelompok Muslim di era tertentu dalam sejarah Islam.]
“Meu canto de morte, guerreiros, ouvi”: intermidialidade e tensões do colonialismo em Amélia (2000)
Authors: Amaral Erika 
Published: August 2019

Esta pesquisa tem como objetivo analisar o filme Amélia (2000), escrito e dirigido pela cineasta brasileira Ana Carolina, a partir dos usos diegéticos de formas artísticas, como a poesia romântica I-Juca Pirama, de Gonçalves Dias e o teatro francês de Sarah Bernhardt. De acordo com as proposições da intermidialidade, que investiga as configurações intermidiáticas formadas pelo cruzamento entre cinema e outras artes, almejamos demonstrar como poesia e teatro engendram a construção de novas camadas de sentidos na narrativa fílmica e, consequentemente, remetem a diferentes temporalidades históricas, como o período colonial e os anos 2000. Busca-se, assim, contribuir para aprofundar os estudos sobre a história do cinema de autoria feminina através da compreensão de relações intermidiáticas no cinema brasileiro contemporâneo, em especial, o cinema da Retomada.
O cinema de Josafá Duarte no sertão do Brasil: feito pelo povo, para o povo
Authors: De Oliveira Paulo Passos 
Published: August 2019

Este trabalho apresenta o produtor, roteirista, cineasta e ator Josafá Duarte, morador do distrito de Salgado dos Mendes, município de Forquilha, zona norte do estado do Ceará, no Brasil. Em uma segunda etapa, apresenta a prática de gravação de Josafá Duarte, com ênfase nas relações interpessoais do seu grupo de trabalho. Na terceira secção revela as estratégias de exibição para dar visibilidade à sua obra, a destacar os usos das mídias digitais, as apropriações dos vendedores de DVDs piratas, que proliferam a obra de Josafá em bancas de jornais e em camelôs, e a exibição pública nos distritos e localidades distantes com o apoio de uma Kombi antiga cedida pela Prefeitura. Em um quarto momento deste texto, será apresentada uma discussão sobre o tipo de cinema realizado por Josafá Duarte, e alguns conceitos sobre este tipo de cinema para circunscrever o tipo de filme que ele pratica e os aspectos de produção que são envolvidos na realização. A conclusão é a de que é necessário repensar a história do cinema brasileiro a partir da consideração da relevância do trabalho realizado pelos pequenos produtores em suas comunidades. Metodologicamente, a pesquisa partiu de quatro entrevistas, observação das gravações do curta-metragem “Escapei fedendo” (Josafá Duarte 2017) e registo em diário de campo, análise do blog do sujeito do trabalho, bem como de sua conta no YouTube. A redação do artigo utiliza a técnica da narrativa de vida.