bluuebunny/crossref_metadata_2025_split huggingface dataset:
Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting
Authors: FANDINNO JORGE 
Published: September 2019

AbstractIn a recent line of research, two familiar concepts from logic programming semantics (unfounded sets and splitting) were extrapolated to the case of epistemic logic programs. The property ofepistemic splittingprovides a natural and modular way to understand programs without epistemic cycles but, surprisingly, was only fulfilled by Gelfond’s original semantics (G91), among the many proposals in the literature. On the other hand, G91 may suffer from a kind of self-supported, unfounded derivations when epistemic cycles come into play. Recently, the absence of these derivations was also formalised as a property of epistemic semantics calledfoundedness. Moreover, a first semantics proved to satisfy foundedness was also proposed, the so-calledFounded Autoepistemic Equilibrium Logic(FAEEL). In this paper, we prove that FAEEL also satisfies the epistemic splitting property something that, together with foundedness, was not fulfilled by any other approach up to date. To prove this result, we provide an alternative characterisation of FAEEL as a combination of G91 with a simpler logic we calledFounded Epistemic Equilibrium Logic(FEEL), which is somehow an extrapolation of the stable model semantics to the modal logic S5.
About Epistemic Negation and World Views in Epistemic Logic Programs
Authors: COSTANTINI STEFANIA 
Published: September 2019

AbstractIn this paper we consider Epistemic Logic Programs, which extend Answer Set Programming (ASP) with “ epistemic operators” and “ epistemic negation”, and a recent approach to the semantics of such programs in terms ofWorld Views. We propose some observations on the existence and number of world views. We show how to exploit an extended ASP semantics in order to: (i) provide a characterization of world views, different from existing ones; (ii) query world views and query the whole set of world views.
Incremental Answer Set Programming with Overgrounding
Authors: CALIMERI FRANCESCO , IANNI GIOVAMBATTISTA , PACENZA FRANCESCO , PERRI SIMONA , ZANGARI JESSICA 
Published: September 2019

AbstractRepeated executions of reasoning tasks for varying inputs are necessary in many applicative settings, such as stream reasoning. In this context, we propose an incremental grounding approach for the answer set semantics. We focus on the possibility of generating incrementally larger ground logic programs equivalent to a given non-ground one; so calledovergrounded programscan be reused in combination with deliberately many different sets of inputs. Updating overgrounded programs requires a small effort, thus making the instantiation of logic programs considerably faster when grounding is repeated on a series of inputs similar to each other. Notably, the proposed approach works “under the hood”, relieving designers of logic programs from controlling technical aspects of grounding engines and answer set systems. In this work we present the theoretical basis of the proposed incremental grounding technique, we illustrate the consequent repeated evaluation strategy and report about our experiments.
A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation
Authors: DAS ARIYAM , ZANIOLO CARLO 
Published: September 2019

AbstractA large class of traditional graph and data mining algorithms can be concisely expressed in Datalog, and other Logic-based languages, once aggregates are allowed in recursion. In fact, for most BigData algorithms, the difficult semantic issues raised by the use of non-monotonic aggregates in recursion are solved byPre-Mappability(${\cal P}$reM), a property that assures that for a program with aggregates in recursion there is an equivalent aggregate-stratified program. In this paper we show that, by bringing together the formal abstract semantics of stratified programs with the efficient operational one of unstratified programs,$\[{\cal P}\]$reMcan also facilitate and improve their parallel execution. We prove that$\[{\cal P}\]$reM-optimized lock-free and decomposable parallel semi-naive evaluations produce the same results as the single executor programs. Therefore,$\[{\cal P}\]$reMcan be assimilated into the data-parallel computation plans of different distributed systems, irrespective of whether these follow bulk synchronous parallel (BSP) or asynchronous computing models. In addition, we show that non-linear recursive queries can be evaluated using a hybrid stale synchronous parallel (SSP) model on distributed environments. After providing a formal correctness proof for the recursive query evaluation with$\[{\cal P}\]$reMunder this relaxed synchronization model, we present experimental evidence of its benefits.
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP
Authors: ARIAS JOAQUÍN , CARRO MANUEL 
Published: September 2019

AbstractCiaoPP is an analyzer and optimizer for logic programs, part of the Ciao Prolog system. It includes PLAI, a fixpoint algorithm for the abstract interpretation of logic programs which we adapt to use tabled constraint logic programming. In this adaptation, the tabling engine drives the fixpoint computation, while the constraint solver handles the LUB of the abstract substitutions of different clauses. That simplifies the code and improves performance, since termination, dependencies, and some crucial operations (e.g., branch switching and resumption) are directly handled by the tabling engine. Determining whether the fixpoint has been reached uses semantic equivalence, which can decide that two syntactically different abstract substitutions represent the same element in the abstract domain. Therefore, the tabling analyzer can reuse answers in more cases than an analyzer using syntactical equality. This helps achieve better performance, even taking into account the additional cost associated to these checks. Our implementation is based on the TCLP framework available in Ciao Prolog and is one-third the size of the initial fixpoint implementation in CiaoPP. Its performance has been evaluated by analyzing several programs using different abstract domains.
Comprehensive genetic testing of Chinese SNHL patients and variants interpretation using ACMG guidelines and ethnically matched normal controls
Authors: Yuan Yongyi , Li Qi , Su Yu , Lin Qiongfen , Gao Xue , Liu Hankui , Huang Shasha , Kang Dongyang , Todd N. Wendell , Mattox Douglas , Zhang Jianguo , Lin Xi , Dai Pu 
Published: September 2019

AbstractHereditary hearing loss is a monogenic disease with high genetic heterogeneity. Variants in more than 100 deafness genes underlie the basis of its pathogenesis. The aim of this study was to assess the ratio of SNVs in known deafness genes contributing to the etiology of both sporadic and familial sensorineural hearing loss patients from China. DNA samples from 1127 individuals, including normal hearing controls (n = 616), sporadic SNHL patients (n = 433), and deaf individuals (n = 78) from 30 hearing loss pedigrees were collected. The NGS tests included analysis of sequence alterations in 129 genes. The variants were interpreted according to the ACMG/AMP guidelines for genetic hearing loss combined with NGS data from 616 ethnically matched normal hearing adult controls. We identified a positive molecular diagnosis in 226 patients with sporadic SNHL (52.19%) and in patients from 17 deafness pedigrees (56.67%). Ethnically matched MAF filtering reduced the variants of unknown significance by 8.7%, from 6216 to 5675. Some complexities that may restrict causative variant identification are discussed. This report highlight the clinical utility of NGS panels identifying disease-causing variants for the diagnosis of hearing loss and underlines the importance of a broad data of control and ACMG/AMP standards for accurate clinical delineation of VUS variants.
Thermoregulatory response of Frankliniella occidentalis (Pergande) (Thysanoptera: Thripidae) to infection by Beauveria bassiana, and its effect on survivorship and reproductive success
Authors: Liu Xiaochen , Reitz Stuart R. , Lei Zhongren , Wang Haihong 
Published: September 2019

AbstractBehavioral thermoregulation is a defensive strategy employed by some insects to counter infections by parasites and pathogens. Most reported examples of this type of thermoregulatory response involve behavioral fevering. However depending upon the life history of a host-insect and that of the parasite or pathogen, the host may respond by cold-seeking behavior. Thermoregulation is not only ecologically important; it may affect the success of parasites and pathogens as biological control agents. We examined ifFrankliniella occidentalis(Pergande) thermoregulates in response to infection byBeauveria bassiana, a fungal pathogen commonly used for biological control. Fungal-infected thrips preferentially moved to cooler areas (~12 °C) while healthy thrips sought out warmer temperatures (~24 °C). This cold-seeking behavior suppressed the growth ofB. bassianain infected thrips, and significantly improved survivorship of infected thrips. At 24 °C, males only survived up to 10 d after infection and females up to 20 d after infection, which was substantially poorer survivorship than that of corresponding healthy individuals. However, individuals of both sexes survived up to 48 d after infection at 12 °C, which was a much less severe reduction in survivorship compared with the effect ofB. bassianainfection at 24 °C. The proportion of females among progeny from infected thrips at 12 °C was higher than at 24 °C. Therefore, cold-seeking behavior is beneficial toF. occidentalis when infected byB. bassiana, and its effects should be considered in the use ofB. bassianain biological control programs.
Assessing the quantumness of the annealing dynamics via Leggett Garg’s inequalities: a weak measurement approach
Authors: Vitale V. , De Filippis G. , de Candia A. , Tagliacozzo A. , Cataudella V. , Lucignano P. 
Published: September 2019

AbstractAdiabatic quantum computation (AQC) is a promising counterpart of universal quantum computation, based on the key concept of quantum annealing (QA). QA is claimed to be at the basis of commercial quantum computers and benefits from the fact that the detrimental role of decoherence and dephasing seems to have poor impact on the annealing towards the ground state. While many papers show interesting optimization results with a sizable number of qubits, a clear evidence of a full quantum coherent behavior during the whole annealing procedure is still lacking. In this paper we show that quantum non-demolition (weak) measurements of Leggett Garg inequalities can be used to efficiently assess the quantumness of the QA procedure. Numerical simulations based on a weak coupling Lindblad approach are compared with classical Langevin simulations to support our statements.
Mycobacterium tuberculosis sensor kinase DosS modulates the autophagosome in a DosR-independent manner
Authors: Gautam Uma S. , Mehra Smriti , Kumari Priyanka , Alvarez Xavier , Niu Tianhua , Tyagi Jaya S. , Kaushal Deepak 
Published: September 2019

AbstractDormancy is a key characteristic of the intracellular life-cycle of Mtb. The importance of sensor kinase DosS in mycobacteria are attributed in part to our current findings that DosS is required for both persistence and full virulence of Mtb. Here we show that DosS is also required for optimal replication in macrophages and involved in the suppression of TNF-α and autophagy pathways. Silencing of these pathways during the infection process restored full virulence in MtbΔdosS mutant. Notably, a mutant of the response regulator DosR did not exhibit the attenuation in macrophages, suggesting that DosS can function independently of DosR. We identified four DosS targets in Mtb genome; Rv0440, Rv2859c, Rv0994, and Rv0260c. These genes encode functions related to hypoxia adaptation, which are not directly controlled by DosR, e.g., protein recycling and chaperoning, biosynthesis of molybdenum cofactor and nitrogen metabolism. Our results strongly suggest a DosR-independent role for DosS in Mtb.
Voice Therapy With Seniors: Attendance, Outcomes, and Associated Patient Characteristics
Authors: Smith Bonnie E. , Bahr Ruth Huntley , Hernandez Hector N. 
Published: September 2019

Purpose
The purpose of this study was to determine the attendance and success rates for seniors in voice therapy, identify any contributing patient-related factors, and compare results to existing findings for younger patients.

Method
This retrospective study included information from the voice records of 50 seniors seen by the same speech-language pathologist in a private practice. Analysis of attendance and outcome data divided participants into 6 groups. Outcomes for Groups 1–3 (64% of patients) were considered successful (positive voice change), while outcomes for Groups 4–6 (36% of patients) were considered unsuccessful. These data were compared to similar data collected for younger adults in a previous study.

Results
The attendance and success rates for seniors in this study were higher than those previously reported for younger patients. Further consideration of patient factors revealed that reports of increased stress, Reflux Symptom Index scores > 13, and higher Voice Handicap Index functional subscale scores were significant in distinguishing between patients in the successful and unsuccessful treatment outcome groups.

Conclusions
The relatively high attendance and success rates among this sample of seniors suggest the desire to achieve voice improvement does not diminish with age, and chances for success in voice therapy among nonfrail seniors may be greater than for younger patients.
Coronary Artery Perforation
Authors: Deb Tripti , Maddury Jyotsna , Sahoo Prasant Kr. 
Published: September 2019

AbstractPercutaneous coronary intervention (PCI) is considered as the standard treatment of obstructive coronary artery disease in indicated patients. Even though PCI gives symptomatic angina improvement, but associated with serious complications like coronary artery perforation (CAP), the incidence is quite low. With the more complex lesions for successful angioplasty, different devices are required, which in turn increase the incidence of CAP in these patients. Here we review the classification, incidence, pathogenesis, clinical sequela, risk factors, predictors, and management of CAP in the current era due to PCI.
Extracranial-Intracranial High-Flow Bypass with Internal Carotid Artery Ligation at Neck for Giant Cavernous Internal Carotid Artery Dissecting Aneurysm in a Teen Girl with Postoperative Unusual Complication of Mono-ocular Blindness: A Case Report
Authors: Chowdhury Forhad H. , Ekramullah Sheikh Mohammod , Khalil Mohammod Ibrahim , Arifin Mohammod Shamsul 
Published: September 2019

AbstractExtracranial-intracranial (EC-IC) high-flow bypass with internal carotid artery (ICA) ligation at the neck is an important treatment option for giant cavernous ICA dissecting aneurysm. Such treatment may be associated with many complications. We report a case that developed postoperative mono-ocular blindness. So far to our knowledge such complication has not been reported in the literature. A 14-year-old girl presented with recent headache, eye ache, occasional double vision, and occasional right-sided visual impairment. Neurologic examination revealed no abnormality. Computed tomographic (CT) scan of the head showed a large, right parasellar, and mostly hyperdense space-occupying lesion. CT angiogram of the brain showed giant dissecting aneurysm of right-sided cavernous segment ICA. A right-sided external carotid artery–radial artery graft–middle cerebral artery (ECA-RAG-MCA [M2]) high-flow bypass was done with ligation of the right ICA in the neck. Postoperatively, the patient developed complete, mono-ocular, and permanent blindness on right side. Mono-ocular blindness is a serious complication from ophthalmic/central retinal artery thrombosis in high-flow EC-IC bypass with ICA ligation. Strategy is required to find and to set for its prevention.
Blow-up instability in non-linear wave models with distributed parameters
Authors: Korpusov M. O. , Ovsyannikov E. A. 
Published: September 2019

Abstract
We consider two model non-linear equations describing electric oscillations in systems with distributed parameters on the basis of diodes with non-linear characteristics. We obtain equivalent integral equations for classical solutions of the Cauchy problem and the first and second initial-boundary value problems for the original equations in the half-space

. Using the contraction mapping principle, we prove the local-in-time solubility of these problems. For one of these equations, we use the Pokhozhaev method of non-linear capacity to deduce a priori bounds giving rise to finite-time blow-up results and obtain upper bounds for the blow-up time. For the other, we use a modification of Levine’s method to obtain sufficient conditions for blow-up in the case of sufficiently large initial data and give a lower bound for the order of growth of a functional with the meaning of energy. We also obtain an upper bound for the blow-up time.
Specific distribution of expression and enzymatic activity of cholesterol biosynthetic enzyme DHCR24 orthologs in the phytophagous insect
Authors: Fujimori Haruna , Zhou Yi Jun , Fukumura Keisuke , Matsumoto Sumihiro , Tukamoto Yusuke , Nagata Shinji 
Published: September 2019

ABSTRACTInsects must intake sterol compounds because of their inability to synthesize cholesterol de novo. In phytophagous insects, enzymatic conversion of phytosterols to cholesterol involving 24-dehydrocholesterol reductase (DHCR24) exerts to acquire cholesterol. Here, we reported the presence of two DHCR24 homologs in the silkworm Bombyx mori, BmDHCR24-1 and -2, with several transcript variants. Consistent with the data of spatial expression analyses by RT-PCR, predominant enzymatic activity of DHCR24 was observed in B. mori larval midgut whereas weak activity was observed in the other tissues examined. In addition, BmDHCR24-1 expression in HEK293 cells showed an enzymatic activity, but BmDHCR24-2 did not, although both BmDHCR24s were localized in the endoplasmic reticulum, where the mammalian DHCR24s are located to exert their enzymatic activities. The present data indicated that BmDHCR24-1 but not BmDHCR24-2 contributes to conversion of phytosterols to cholesterol mainly in the midgut of the phytophagous lepidopteran larvae.
ABR findings in musicians with normal audiogram and otoacoustic emissions
Authors: Kikidis Dimitrios , Vardonikolaki Aikaterini , Zachou Zoe , Razou Andriana , Pantos Pavlos , Bibas Athanasios 
Published: September 2019

Purpose:
Although findings in human studies trying to identify signs of cochlear synaptopathy (CS) are still controversial, several methodological restrictions exist, including inconsistencies in participants profiles, definition of study groups and inclusion criteria, diverse electrophysiological measurements settings and noise exposure history metrics and participants’ age range, which question the reliability of conclusions.

Method:
Two groups of individuals aged 18–41 participated in this study. The first group consisted of 24 musicians with well documented occupational noise exposure and the second one of 24 healthy controls. Groups were matched for age and gender. Inclusion criteria were normal and symmetrical pure tone audiometry and extended high frequency audiometry thresholds, as well as present and normal TEOAEs and DPOAEs. Outcome measures included SNR scores of speech in bubble audiometry and auditory brainstem response waves I, II and V amplitudes and latencies at three different presentation rates: 11, 33 and 44 clicks/s.

Results:
Wave I amplitude in musicians was significantly lower compared to controls at all presentation rates (11/s: p .043, 33/s: p .007 and 44/s: p .014). There was also a significantly greater reduction in wave I amplitude as well as in wave &Iota;/V amplitude ratio in the 33/s stimulus presentation in musicians compared to the control group (p .02 and .01, respectively). Finally, lower wave I amplitudes were found in musicians with auditory symptoms compared to musicians without symptoms at the 44/s presentation rate (p = .002).

Conclusion:
The ABR findings in our study are suggestive of possible increased prevalence of CS in musicians. Wave I amplitude was lower in Musicians group compared to matched controls. Furthermore, there was a greater reduction of wave I amplitude and wave &Iota;/V amplitude ratio at higher stimulation rates, which would support their use in CS studies.
Numerical Modelling of Heat Transfer in Convector’s Pipes by ABAQUS
Authors: Kolev Zh D , Kadirova S Y 
Published: September 2019

Abstract
The paper presents method for implementation of numerical modelling of heat transfer process between the water flow and the internal surface of a “water-air” convector’s pipes. The convector is a heat consumer in a reversible heat pump installation. To implement the CFD simulations, which are part of the numerical modelling of the processes, the ABAQUS software has been used. The main features and results from the simulations have been analysed. The method includes experimental investigations aiming determination of the boundary conditions for CFD simulation. The distribution of temperature, pressure and velocity in the fluid flowing through the pipe have been investigated. The results of the investigation of the temperature distribution present reduced heat transfer intensity in pipe’s sections, characterized by higher local hydraulic resistances.
Research of the heat transfer crisis and limit state of the heat exchange surface covered by capillary porous medium
Authors: Genbach A A , Shokolakov K K , Bondartsev D Y , Iliev I 
Published: September 2019

Abstract
Model of the vapour bubbles formed at the solid surface in porous structures and steam generating wall (base) was developed. The model is based on filming and photography by high-speed camcorder SKS-1M. Heat flow extraction (up to 2.106 Wm−2) is ensured by the joint action of capillary and mass forces with application of intensifier. The analytical model is based on the theory of thermoelectricity. Limit state of the poor conductive porous coating and metal base are determined. Heat flows were calculated from the time of spontaneous birth of vapour bubble (10-8) to the material destruction time (102÷103s), i.e. the time interval was described from the relaxation process to macro process (destruction). The size of pulled particles at the moment of porous coating destruction in model gave a good match with trial at the optic stand.
Behaviour of transmission and distribution networks with big consumption, the stress test
Authors: Eparu C N , Neacsu S , Prundurel A P , Radulescu R , Neacșa A 
Published: September 2019

Abstract
Customers of gas transmission and distribution networks consume gas as they needed. Such consumptions vary continuously. It was found that within one day, in most of the cases, there are two major peaks. Because the gas is compressible, the load peaks can be covered from the network’s linepack, with the condition that their dynamics are known and the network is prepared in advance, that is, “today” for “tomorrow”. The paper presents the tools and the analysis of the natural gas networks and the limits of their safe operation. The paper also proposes a network stress test to verify the future behaviour of the network at high loads as well as to determine the necessary parameters for the next period of maintenance.