bluuebunny/crossref_metadata_2025_split huggingface dataset:
Alternating Reachability Games with Behavioral and Revenue Objectives
Authors: Kupferman Orna , Tamir Tami 
Published: October 2018

We introduce and study alternating reachability games with tolls (ARGTs). An ARGT is a multi-player game played on a directed graph. Each player has a source vertex and a set of target vertices. The vertices of the graph are partitioned among the players. Thus, each player owns a subset of the vertices. In the beginning of the game, each player places a token on her source vertex. Whenever a token reaches a vertex v, the owner of the token pays a toll to the owner of vertex v, who directs the token to one of the successors of v. The objective of each player combines a reachability objective with a minimal-cost maximal-profit objective. For the first, the token of the player needs to reach one of her target vertices. For the second, the player aims at decreasing the toll she pays to other players and increasing the toll paid to her due to visits in vertices she owns. ARGTs model settings in which the vertices are owned by entities who also use the network; for example, communication networks in which service providers own the routers and send messages. ARGTs also offer an extension of rational synthesis with rewards to actions. To the best of our knowledge, this model is the first to combine behavioral and revenue objectives.We study different instances of the game, distinguishing between various network topologies and various levels of overlap among the reachability objectives of the players. We analyze the stability of ARGTs, characterizing instances for which a Nash equilibrium is guaranteed to exist, and studying its inefficiency. We also analyze the problems of finding optimal strategies for the players and for the society as a whole.
Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets
Authors: Bendík Jaroslav , Cerna Ivana 
Published: October 2018

In many different applications we are given a set of constraints with the goal to decide whether the set is satisfiable. If the set is determined to be unsatisfiable, one might be interested in analysing this unsatisfiability. Identification of minimal unsatisfiable subsets (MUSes) is a kind of such analysis. The more MUSes are identified, the better insight into the unsatisfiability is obtained. However, the full enumeration of all MUSes is often intractable. Therefore, algorithms that identify MUSes in an online fashion, i.e., one by one, are needed. Moreover, since MUSes find applications in various constraint domains, and new applications still arise, there is a desire for domain agnostic MUS enumeration approaches.In this paper, we present an experimental evaluation of four state-of-the-art domain agnostic MUS enumeration algorithms: MARCO, TOME, ReMUS, and DAA. The evalu- ation is conducted in the SAT, SMT, and LTL constraint domains. The results evidence that there is no silver-bullet algorithm that would beat all the others in all the domains.
LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems
Authors: Faran Rachel , Kupferman Orna 
Published: October 2018

The computational bottleneck in model-checking applications is the blow-up involved in the translation of systems to their mathematical model. This blow up is especially painful in systems with variables over an infinite domain, and in composite systems described by means of their underlying components. We introduce and study linear temporal logic with arithmetic (LTLA, for short), where formulas include variables that take values in Z, and in which linear arithmetic over these values is supported. We develop an automata-theoretic approach for reasoning about LTLA formulas and use it in order to solve, in PSPACE, the satisfiability problem for the existential fragment of LTLA and the model-checking problem for its universal fragment. We show that these results are tight, as a single universally- quantified variable makes the satisfiability problem for LTLA undecidable.In addition to reasoning about systems with variables over Z, we suggest applications of LTLA in reasoning about hierarchical systems, which consist of subsystems that can call each other in a hierarchical manner. We use the values in Z in order to describe the nesting depth of components in the system. A naive model-checking algorithm for hierarchical systems flattens them, which involves an exponential blow up. We suggest a model-checking algorithm that avoids the flattening and avoids a blow up in the number of components.
The Moderating Effect of Dividend Policy on Free Cash Flow and Profitability Towards Firm Value
Authors: Oktaryani G A Sri , Abdul Mannan Siti Sofiyah 
Published: October 2018

ARTICLE INFO ABSTRACT Keywords:Dividend Policy, Free Cash Flow, Profitability, Firm Value, Manufacture, MRA How to cite:Oktaryani, Sri., (2018). Article Title. JMM UNRAMDOI:10.20956/jmm.v3i2.821 This study is aimed to determine the moderating effect of Dividend Policy on Free Cash Flow and Profitability towards Firm Value. This study use Moderate Regression Analysis (MRA) as tool to analyze the moderating effect of Dividend Policy on the sample tested. Sample are chosen by using purposive sampling method from all manufacture firms that listed on Indonesian Stock Exchange throughout 2010-2015 which offered cash dividend to their shareholders. By using panel data, the findings show that Free Cash Flow and Profitability themselves have significant effect on Firm Value. But conversely, each Free Cash Flow and Profitability does not have significant effect on Firm Value after being moderated by Dividend Policy. It is because the direct effect of Free Cash Flow and Profitability toward Firm value is bigger than the indirect effect. The results indicate that Dividend Policy is just predictor moderation in this case.
LIBERATING AND HUMANE EDUCATION PRINCIPLES IN THE PERSPECTIVE OF ISLAMIC EDUCATION: Analysis of Paulo Freire’s Thought
Authors: Sudarman Sudarman 
Published: October 2018

The education system proposed by Paulo Freire is an educational model that can liberate the verbal and mechanistic human culture. Such a culture, according to Freire, is impossible to lead people to a more authentic and more human life. To achieve this, descriptive educational habits are expected to be shifted towards transformative-dialogue education, so that education is not perceived as a shackling education. Education is expected to produce changes to students, both changes in the quality of thinking, personal quality, social quality, quality of independence and quality of society. That is the paradigm shift of Islamic education, that is changing the paradigm of authoritarian to democratic paradigm, closed to openness, doctrinaire to participatory. Society needs to civilize the tradition of criticism, dialogue, openness, the spirit of pluralism and practical practices that touch the problems of the weak and oppressed by anything politically, economically, socially and culturally.

ملخص
إن نظام التربية التي اقترحها باولو فريري هو نوع التربية التي تقدر على تحرير ثقافة البشر التي ترى شفهية وميكانيكية .هذه الثقافة لا يمكن أن تحمل الإنسان إلى الحياة الحقيقية والإنسانية في نظر فريري .ولتحقيق ذلك، ينبغي أن تحول عادات التربية الوصفية إلى التربية الحوارية التحويلية، حتى لا تكون التربية مقيدة .ويرجى أن تحقق التربية التغيير في الطالب، سواء كان في جودة التفكير والشخصية والاجتماعية والاكتفاء في الذات والتعايش مع المجتمع .والتغيير من النموذج الاستبدادي إلى النموذج الديموقراطي، من الإغلاقي إلى الانفتاحي، من التلقيني إلى الاشتراكي .يحتاج المجتمع إلى تعويد ثقافة النقد، والحوار، والانفتاح، ووعي التعدد والتطبيقات العملية التي تهتم بمشكلات الضعفاء والمضطهدين في كل شيء، سواء كان سياسيا، واقتصاديا، واجتماعيا وثقافيا.

Sistem pendidikan yang ditawarkan oleh Paulo Freire adalah model pendidikan yang dapat membebaskan budaya manusia yang serba verbal dan mekanistik. Budaya semacam ini, di mata Freire, tidak mungkin mengantarkan manusia kepada kehidupan yang lebih otentik dan lebih manusiawi. Untuk mewujudkan hal tersebut, kebiasaan pendidikan deskriptif diharapkan digeser ke arah pendidikan dialogik-transformatif, agar pendidikan tidak dirasakan sebagai pendidikan yang membelenggu. Pendidikan diharapkan dapat menghasilkan perubahan terhadap siswa, baik perubahan dalam kualitas berfikir, kualitas pribadi, kualitas sosial, kualitas kemandiriannya dan kualitas kemasyarakatannya. Perubahan paradigma pendidikan Islam, yaitu merubah paradigma dari paradigma otoriter keparadigma demokratis, tertutup ke keterbukaan, doktriner kepartsiipatoris. Masyarakat perlu membudayakan tradisi kritik, dialog, keterbukaan, semangat pluralisme dan praktik-praktik praktis yang menyentuh permasalahan kaum lemah dan tertindas oleh apapun. Baik secara politik, ekonomi, sosial maupun budaya.
THE ROLES OF PRINCIPALS IN INCREASING EDUCATION QUALITY BY DEVELOPING TEACHER PROFESIONALISM
Authors: Burhanudin Moh. 
Published: October 2018

Abstract
Education policy should be supported by educational actors (teachers) who are at the forefront. Efforts to improve the quality of education need to be done gradually based on the strategic plan. One of the efforts to improve teachers' professionalism is through the supervision of teaching. The principal in fostering teacher professionalism is by way of coaching, including (1) developing teachers’ knowledge by suporting them to persue higher education, (2) developing teaching strategy by helping them make learning device, and (3) developing teacher code of ethics by providing role model.

ملخص
سياسة التربية لابد أن يؤيدها عامل التربية الذي يوجد في المقدمة وهو المدرس الذي يمارس عملية التعليم .ومحاولة ترقية جودة التربية لابد أن تنفذ تدريجيا معتمدا على الخطة الاستراتيجية .ومحاولة ترقية كفاءة المدرس تكون بوسيلة إشراف التعليم .ويمكن أن يقوم مدير المدرسة بتنمية كفائة المدرس عن طريق )إشراف كفاءة المدرس العلمية، وذلك عن طريق 1 : الإشراف، )2 . تشجيعه في ترقية مستوى دراسته بمواصلة دراسته إلى المستوى الأعلى إشراف استراتيجية التعليم، وذلك عن طريق مساعدته في إيجاد والوسائل )إشراف في الناحية السلوكية للمدرس، وذلك أن يكون مدير 3 .التعليمية المدرسة قدوة لغيره.

Abstrak
Kebijakan pendidikan harus ditopang oleh pelaku pendidikan yang berada di front terdepan yakni guru melalui interaksinya dalam pendidikan. Upaya meningkatkan mutu pendidikan perlu dilakukan secara bertahap dengan mengacu pada rencana strategis. Salah satu upaya peningkatan profesional guru adalah melalui supervisi pengajaran. Kepala sekolah dalam membina profesionalisme guru adalah dengan cara pembinaan, meliputi; 1) Pembinaan keilmuan guru, yaitu salah satunya dengan cara mersupport/mendorong peningkatan kualifikasi guru untuk meningkatkan pendidikan ke jenjang yang lebih tinggi 2) Pembinaan strategi pengajaran, yaitu dengan cara membantu guru dalam pembuatan perangkat pembelajaran. Dan 3) Pembinaan kode etik guru, yaitu bahwa, kepala sekolah dapat di jadikan teladan.
Infección urinaria: un problema frecuente en Pediatría. Revisión de la literatura.
Authors: Troche Avelina Victoria , Araya Soraya 
Published: October 2018

La Infección del tractourinario o infección urinaria (ITU) es una patología frecuente en la infancia, dado que el 8-10% de las niñas y el 2-3% de los niños tendrán una ITU sintomática antes de los siete años. Tiene riesgo potencial de producir daño renal permanente y progresivo, por lo que es importante la sospecha clínica para un diagnóstico y tratamiento precoces.
El método de recolección de orina se valorará en función de la clínica y la necesidad de iniciar un tratamiento inmediato, realizando siempre el análisis de orina y urocultivo previos al inicio del tratamiento antibiótico.
No hay consenso entre las guías de manejo clínico, sobre los métodos de imagen a ser utilizados después de la primera infección febril, por lo que es motivo de debate.
El objetivo de este trabajo es realizar una revisión sobre los conceptos de diagnóstico y tratamiento en pacientes pediátricos con infección urinaria.

Correspondencia: Avelina Troche; Correo: avtrocheh@yahoo.com.ar
Conflicto de Interés: Los autores declaran no poseer conflicto de interés
Recibido: 28/07/2018 Aceptado: 25/08/2018
Venous Thromboembolism and Peri-Operative Chemotherapy for Muscle-Invasive Bladder Cancer: A Population-based Study
Authors: Brennan Kelly , Karim Safiya , Doiron R. Christopher , Siemens D. Robert , Booth Christopher M. 
Published: October 2018

Background: Chemotherapy and major pelvic surgery are established risk factors for venous thromboembolism (VTE). We evaluate the incidence rate, timing, and factors associated with VTE in patients with bladder cancer who underwent radical cystectomy and peri-operative chemotherapy in routine clinical practice. Methods: Electronic records of treatment were linked to the population-based Ontario Cancer Registry to identify all patients who underwent cystectomy for bladder cancer in Ontario 1994–2013. VTE events within 6 months of before or after cystectomy were identified using diagnostic codes recorded on hospital admissions and emergency department visits. Multivariable logistic regression was used to analyze factors associated with VTE prior to surgery, within 90-days of cystectomy, and 120-days after the start of adjuvant chemotherapy. Results: 4205 patients had cystectomy and 26% (1084/4205) received peri-operative chemotherapy. The overall incidence rate of VTE within 6 months of cystectomy was 9% (363/4205). VTE rate was highest among those patients treated with neoadjuvant chemotherapy (NACT) compared to patients treated with no chemotherapy or only adjuvant chemotherapy (ACT) (12% vs 8% vs 9%, p = 0.002). Among all VTE events, 10%, 28%, and 61% occurred before, during, and after hospitalization for cystectomy. Pre-operative VTE rate was highest among cases treated with NACT (4%) compared to patients with no chemotherapy (<1%) or ACT (<1%) ( p < 0.001). VTE within 90 days of surgery was associated with greater length of hospital admission ( p < 0.001) across all treatment groups. Conclusions: A substantial proportion of patients treated with peri-operative chemotherapy will develop VTE. The majority of these occur after discharge from hospital following cystectomy. Extended thromboprophylaxis treatment in high-risk patients including those who receive peri-operative chemotherapy should be considered.
Patterns of Neuropsychological Dysfunction and Cortical Volume Changes in Logopenic Aphasia
Authors: Owens Tyler E. , Machulda Mary M. , Duffy Joseph R. , Strand Edythe A. , Clark Heather M. , Boland Sarah , Martin Peter R. , Lowe Val J. , Jack Clifford R , Whitwell Jennifer L. , Josephs Keith A. 
Published: October 2018

Background: Neuropsychological assessment can add essential information to the characterization of individuals presenting with the logopenic variant of primary progressive aphasia (lvPPA). Objective: This study examined the neuropsychological characteristics of lvPPA patients. We also examined differences in regional and whole brain atrophy based on neuropsychological profiles. Methods: We conducted a hierarchical cluster analysis on memory, executive functioning, and visuospatial neuropsychological test data for 56 individuals with lvPPA. We then compared resultant clusters to left middle temporal, inferior parietal, and superior parietal regions-of-interest using multivariate analysis of covariance. We also performed voxel-level analyses. Results: We identified three clusters characterized as lvPPA with no neurocognitive impairment ( n = 5), lvPPA with mild neurocognitive deficits ( n = 23), and lvPPA with marked cognitive deficits ( n = 28). WAB-AQ was associated with left middle temporal volume. Superior parietal volumes were smaller for the lvPPA group with marked cognitive symptoms compared to the less severe groups. Voxel-level analyses showed greater atrophy in temporal, parietal, lateral occipital, and frontal regions, left worse than right. Age, disease duration, gender, WAB-AQ, and PiB-PET did not account for differences between groups. Conclusions: LvPPA patients without cognitive deficits in other domains were relatively uncommon while 50% of our sample exhibited pronounced neurocognitive deficits outside the language domain. Pronounced cognitive deficits in lvPPA are associated with widespread atrophy, left worse than right. Our study underscores the importance of examining neuropsychological function in addition to language in patients with lvPPA.
Impaired Spike Timing Dependent Cortico-Cortical Plasticity in Alzheimer’s Disease Patients
Authors: Di Lorenzo Francesco , Ponzo Viviana , Motta Caterina , Bonnì Sonia , Picazio Silvia , Caltagirone Carlo , Bozzali Marco , Martorana Alessandro , Koch Giacomo 
Published: October 2018

Background: Mechanisms of cortical plasticity have been recently investigated in Alzheimer’s disease (AD) patients with transcranial magnetic stimulation protocols showing a clear impairment of long-term potentiation (LTP) cortical-like plasticity mechanisms. Objective: We aimed to investigate mechanisms of cortico-cortical spike-timing dependent plasticity (STDP) in AD patients investigating the connections between posterior parietal cortex (PPC) and primary motor cortex (M1). Methods: We used a cortico-cortical paired associative stimulation (cc-PAS) protocol to repeatedly activate the connection between PPC and M1 of the left-dominant hemisphere in a sample of fifteen AD patients and ten age-matched healthy subjects. PPC transcranial magnetic stimulation preceded (ccPAS +5) or followed M1 stimulation (ccPAS – 5) by 5 ms. Motor-evoked potentials (MEPs) were collected to assess the time course of the after effects of cc-PAS protocol measuring MEP amplitude as index of cortico-cortical associative plasticity. Results: In healthy subjects, ccPAS – 5 protocol induced the expected long-lasting increase of MEP amplitude compatible with LTP-like cortical plasticity while PAS +5 protocol induced the opposite effect. AD patients did not show any significant modification of the amplitude of MEP after both ccPAS protocols. Conclusions: Our study shows that in AD patients the time-locked activation of human cortico-cortical connections is not able to form STDP, reflecting an impairment of a multi-factor plasticity process.
Enteral fish oil supplementation in the resolution of parenteral nutrition associated cholestasis
Authors: Thavamani A. , Mhanna M.J. , Groh-Wargo S. , Gulati R. , Shekhawat P.S. 
Published: October 2018

OBJECTIVE: To analyze safety, tolerance and efficacy of enteral omega-3 fatty acids (FAs) in the resolution of Parenteral Nutrition Associated Cholestasis (PNAC) and postnatal growth among preterm neonates. STUDY DESIGN: This is a single center retrospective case-control study of all neonates born less than 32 weeks of gestation and developed PNAC (Direct bilirubin >2 mg/dl). Infants who received enteral omega-3 FAs supplementation (1 g/Kg/d) served as cases and were compared with gestational age, gender and direct bilirubin level matched controls who did not receive enteral omega-3 FAs supplementation. RESULTS: A total of 48 infants were analyzed, 24 who received enteral omega-3 fatty acids were matched with 24 controls. The omega-3 FAs and control groups were similar in gestational age (weeks) and birth weight (gram). Overall there were no differences between the two groups in infants’ demographics or clinical characteristics including risk factors for the development of PNAC. Infants who received enteral omega-3 FAs had significantly fewer days of cholestasis ( p = 0.025) and a higher average daily weight gain (grams/day) ( p = 0.011) than their controls. In a linear regression analysis with days of cholestasis as the dependent variable and Ursodeoxycholic acid (UDCA) and Omega-3 FAs as independent variables, enteral omega-3 FAs remained associated with a shorter duration of cholestasis, p < 0.001. CONCLUSION: Enteral fish oil is inexpensive, safe & well tolerated in preterm neonates with no contraindications to enteral feeding. Enteral omega-3 FAs are easy to administer and help in rapid resolution of PNAC while promoting postnatal weight gain in preterm infants.
Neonatologists less frequently discuss long term complications: A simulation-based study of prenatal consults beyond the threshold of viability
Authors: Humphrey J.D. , Hagan J.L. , Suresh G.K. , Sundgren N.C. 
Published: October 2018

BACKGROUND: Guidelines exist for counseling expectant families of infants at periviable gestational ages (22–25 weeks), but it is much more common for neonatologists to counsel families at gestational ages beyond the threshold of viability when several aspects of these guidelines do not apply. We aimed to develop an understanding of what information is shared with mothers at risk of preterm delivery beyond periviability and to evaluate communication skills of our participants. METHODS: We developed a checklist of elements to include in counseling based on a comprehensive literature review. The checklist was divided into an information sharing section and a connect score. The information sharing list was sub-divided into general information and specific complications. Neonatologists engaged in a simulated prenatal counseling session with a standardized patient. Videotaped encounters were then analyzed for checklist elements. RESULTS: Neonatologists all scored well in communication using our tool and two other validated communication tools - the SEGUE and the analytic global OSCE. There was no difference in scoring based on years of experience or level of training. Information sharing from neonatologists more often discussed general information over specific. Neonatologists also focused more on early outcomes over long-term outcomes. Only 12% of neonatologists quoted the correct survival rate for the case. CONCLUSIONS: Neonatologists generally communicate well but share less information specific to prematurity and the long-term sequelae of prematurity. Our tool may be used to test if other interventions improve information sharing or communication.
Faktor-Faktor yang Mempengaruhi Dividend Payout Ratio (DPR) pada Perusahaan Perbankan di Bursa Efek Indonesia
Authors: Suyono Nanang Agus 
Published: October 2018

Penelitian ini bertujuan untuk mengetahui : (1) Pengaruh profitabilitas terhadap Ukuran perusahaan berpengaruh positif terhadap dividend payout ratio.(2) Pengaruh free cash flow terhadap dividend payout ratio. (3) Pengaruh investment opportunity set terhadap dividend payout ratio.(4) Pengaruh kepemilikan manajerial terhadap dividend payout ratio.(5) Pengaruh likuiditas terhadap dividend payout ratio. (6) Pengaruh ukuran perusahaan terhadap dividend payout ratio.
Penelitian ini dilakukan pada perusahaan perbankan yang terdaftar di Bursa Efek Indonesia selama periode 2012 sampai 2017. Berdasarkan Indonesian Capital Market Directory (ICMD) tahun 2017, terdapat 43 perusahaan perbankan yang terdaftar di Bursa Efek Indonesia. Metode pengambilan sampel dalam penelitian ini menggunakan purposive sampling. Alat analisis yang digunakan adalah regresi linier berganda untuk menganalisis data kuantitatif.
Hasil penelitian menunjukkan bahwa : (1) Profitabilitas berpengaruh negatif terhadap dividend payout ratio. (2) Free cash flow tidak berpengaruh terhadap dividend payout ratio.(3) Investment opportunity set tidak berpengaruh terhadap dividend payout ratio. (4) Kepemilikan manajerial berpengaruh positif terhadap dividend payout ratio (5) Likuiditas berpengaruh positif terhadap dividend payout ratio. (6) Ukuran perusahaan berpengaruh positif terhadap dividend payout ratio.

Kata Kunci : Dividend Payout Ratio, Profitabilitas, Free Cash Flow, Kepemilikan Manajerial, Likuiditas dan Ukuran Perusahaan.