bluuebunny/crossref_metadata_2025_split huggingface dataset:
Bridging the Gap: Collaboration between a School of Pharmacy, Public Health, and Governmental Organizations to provide Clinical and Economic Services to Medicare Beneficiaries
Authors: Patel Rajul , Choi Mary Anne , Fan Dorothy , Man Vincent , Thao Cathy , Thai Thanh , Vachuska Michaela , Vachuska Milana , Xu Michael , Valle-Oseguera Cynthia S. , Ranson Carly A. , Pham Christopher , Rogan Edward L , Walberg Mark P , Woelfel Joseph A 
Published: January 2018

Objective: Promoting healthy communities through the provision of accessible quality healthcare services is a common mission shared by schools of pharmacy, public health departments, and governmental agencies. The following study seeks to identify and detail the benefits of collaboration between these different groups.
Methods: In total, 112 mobile clinics targeting Medicare beneficiaries were held in 20 cities across Northern/Central California from 2007 to 2016. Under the supervision of licensed pharmacists, trained student pharmacists provided vaccinations, health screenings, Medicare Part D plan optimization services, and Medication Therapy Management (MTM) to patients at each clinic site. Clinic support was extended by public health departments, governmental agency partners, and a health professional program.
Results: Since clinic inception, 8,996 patients were provided services. In total, 19,441 health screenings and 3,643 vaccinations were collectively provided to clinic patients. We assisted 5,549 beneficiaries with their Part D benefit, resulting in an estimated aggregate out-of-pocket drug cost savings of $5.7 million. Comprehensive MTM services were provided to 4,717 patients during which 8,184 medication-related problem (MRP) were identified. In 15.3% of patients, the MRP was determined severe enough to warrant prescriber follow-up. In total, 42.9% of clinic patients were from racial/ethnic minority groups and 25.5% had incomes ≤150% of the Federal Poverty Level.
Conclusion: Collaboration between a school of pharmacy, public health departments, and governmental organizations can effectively serve Medicare beneficiary populations and result in: 1) lower out-of-pocket drug costs, 2) minimization of medication-related problems, 3) increased vaccination uptake, and 4) increased utilization of health screenings.
Conflict of Interest We declare no conflicts of interest or financial interests that the authors or members of their immediate families have in any product or service discussed in the manuscript, including grants (pending or received), employment, gifts, stock holdings or options, honoraria, consultancies, expert testimony, patents and royalties.
Treatment of Human Subjects: IRB review/approval required and obtained

Type: Original Research
KLASIFIKASI BEBERAPA SUMBER BAHAN ORGANIK DAN OPTIMALISASI PEMANFAATANNYA SEBAGAI BIOCHAR
Authors: Sismiyanti Sismiyanti , Hermansah Hermansah , Yulnafatmawita Yulnafatmawita 
Published: January 2018

Optimalisasi pemanfaatan bahan organik akan dapat dilakukan dengan mengetahui kualitas bahan organik tersebut. Kualitas bahan organik tidak hanya ditentukan oleh kandungan hara, namun juga kecepatan pelapukannya yang dilihat dari kandungan lignin, nisbah C/N, C/P, dan C/S. Pengujian terhadap 24 jenis sumber bahan organik di Kota Padang ini telah dilakukan pada bulan November 2016-April 2017 di laboratorium kimia tanah Fakultas Pertanian Universitas Andalas. Penelitian ini bertujuan untuk mengelompokkan bahan organik berdasarkan kandungan haranya, menentukan bahan organik yang dapat dimanfaatkan sebagai sumber biochar, dan mengkaji karakteristik dari biochar yang dihasilkan. Parameter analisis bahan organik meliputi kadar air, C-total, N-total, P-total, K-total, C/N, C/S, C/P, dan kadar lignin. Parameter analisis biochar meliputi kadar air, kandungan N-total, C-total, P-total, K-total, S-total C/N, dan kadar abu. Dua puluh empat (24) sumber bahan organik yang tersedia, dapat disimpulkan bahwa berdasarkan kandungan haranya bahan organik ini diklasifikasikan menjadi 2 yaitu : a) bahan organik berkualitas tinggi, yang terdiri dari: tithonia, krinyuh, gamal, kiambang, widelia, paku resam, azola, enceng gondok, alang-alang, jerami kacang tanah, jerami kedele, jerami jagung, kulit kakao, pupuk kandang ayam, pupuk kandang sapi, dan kulit jengkol, dan b) bahan organik berkualitas rendah yang dinyatakan berdasarkan kadar lignin, C/N, C/P dan C/S yang tinggi, yang terdiri dari : jerami padi, sekam padi, pelepah kelapa sawit, tongkol jagung, tandan kosong kelapa sawit, ampas tebu, ampas kelapa sawit, dan serbuk gergaji. Bahan organik berkualitas rendah yang dioptimalkan untuk dimanfaatkan sebagai bahan biochar adalah jerami padi, sekam padi, dan tandan kosong kelapa sawit, dengan karakteristik kimia biochar yang dihasilkan memiliki C-total (28,86%), N-total (1,27%), P-total (0,28%), K-total (0,76%), S-total (0,21%), kadar abu (25,42%), C/N (22,72), C/P (103,07), dan C/S (137,43).Kata kunci : bahan organik, biochar.
PENERAPAN MODEL PEMBELAJARAN BERMAIN PERAN DALAM PELAJARAN BAHASA INDONESIA
Authors: Sapinahajar Sapinahajar 
Published: January 2018

Tingkat keterampilan mendengarkan dialog interaktif siswa kelas IX.3 SMPN 3 Pekanbaru masih rendah. Keterampilan ini rendah disebabkan oleh faktor teknik instruksional yang digunakan oleh guru masih kurang tepat. Guru masih menerapkan pola pembelajaran yang monoton dalam bentuk ceramah dan perintah sehingga tidak ada variasi dalam pembelajaran. Untuk mengatasi rendahnya keterampilan mendengarkan dialog interaktif, peneliti memberikan solusi dengan menggunakan model pembelajaran bermain peran (role playing). Model Pembelajaran bermain peran adalah metode yang melibatkan interaksi antara dua siswa atau lebih tentang suatu topik atau situasi. Penelitian ini bertujuan untuk mengetahui apakah penerapan model pembelajaran bermain peran dapat meningkatkan hasil belajar siswa kelas IX.3 SMPN 3 Pekanbaru Tahun Pelajaran 2016/2017. Penelitian dilakukan selama dua bulan, dari bulan September sampai November 2016. Penelitian dilakukan dalam dua siklus, dengan enam pertemuan dan dua tes harian. Agar penelitian tindakan kelas berhasil, para peneliti merancang langkah-langkah perencanaan tindakan, pelaksanaan tindakan, observasi, dan refleksi. Berdasarkan hasil penelitian, dapat disimpulkan bahwa penerapan model pembelajaran bermain peran dapat meningkatkan hasil belajar siswa kelas IX.3 SMPN 3 Pekanbaru tahun 2016/2017. Hal itu dapat dilihat dari peningkatan hasil belajar siswa sebelum dan sesudah menerapkan model pembelajaran bermain Peran pada siklus I dan siklus II.
DHUNDHUNAN: Asimilasi Budaya dan Pergeseran Nilai
Authors: Fakhrina Agus 
Published: January 2018

Penelitian ini mengeksplorasi asimilasi budaya dan pergeseran nilai tradisi dhundunan yang biasa dilaksanakan pada masyarakat muslim Jawa yang hidup di Karangjompo, Tirto, Pekalongan. Untuk sampai pada tujuan penelitian tersebut, observasi dan wawancara mendalam dilakukan terhadap beberapa informan kunci. Dalam penelitian ini ditemukan bahwa terdapat asimilasi budaya Islam dan Jawa dimana doa-doa yang dilakukan dalam upacara tersebut dilakukan secara Islami seperti permohonan keselamatan kepada Allah Swt. dengan wasilah pembacaan shalawat barzanji. Namun seiring dengan waktu makna-makna yang terdapat dalam simbol-simbol uborampe dalam upacara tersebut telah banyak dilupakan oleh mereka, bahkan mereka pun dalam melaksanakan upacara tersebut hanya sekedar formalitas dengan tanpa dimaknai secara mendalam, dimana nilai-nilai magis sudah tidak dirasakan. This research explores the assimilation of Islamic culture in Javanese culture in dhundhunan ceremony that is performed in Javanese moslem community living in Karangjompo, Tirto, Pekalongan, Central Java and the value changes in that ceremony. To achieve the aim of this research, observation and interview were done. It was found that there were some assimilations and value changes in that ceremony, i.e. prayers that were performed in that ceremony adopted Islamic culture like asking God for safety by reciting shalawat barzanji. Meaning of the symbols uborampe in that ceremony has been forgotten by them. They perform that ceremony only formally without caring about the meaning and feeling the magic values.
REKONSTRUKSI DAN REAKTUALISASI LITERASI EKOLOGI SOSIAL ISLAM
Authors: Kurniawan Heru 
Published: January 2018

Literasi ekologi sosial Islam adalah interaksi manusia dengan lingkungan alam, teknologi, dan sosial yang didasarkan pada prinsip dasar Islam. Rekonstruksi literasi ekologi sosial Islam yang bisa direkonstruksi adalah prinsip dasar Islam yang menegaskan posisi manusia sebagai “pemimpin” yang diberi “amanah” untuk mengelola “bumi” atau “lingkungan alam dan sumber daya alam” sebaik-baiknya. Rekonstruksi literasi ekologis inilah yang kemudian akan diaktualisasikan pada masyarakat. Proses aktualisasi adalah kegiatan aktual dalam menanamkan kesadaran ekologi sosial Islam pada masyarakat yang mana dilakukan dalam ruang sosial keluarga, masyarakat, dan sekolah yang diorganisasi oleh negara melalui kebijakan dan peraturan per undang-undangan. Dengan proses rekonstruksi dan aktualisasi yang terstruktur ini, maka negara akan aktif membangun kesadaran ekologis sosial Islam dengan aktif dan terstruktur dengan baik guna mewujudkan basis kesadaran, ilmu pengetahuan, dan tata nilai ekologi sosial Islam pada masyarakat. Literacy on Islamic social ecology is the human interaction with the natural environment, technology, and social which is based on the basic principles of Islam. Reconstruction of literacy on Islamic social ecology that can be reconstructed is a basic tenet of Islam that affirms the human position as a "leader" by "mandate" to manage "Earth" or "natural environment and natural resources" as well as possible. Reconstruction of ecological literacy is then to be actualized in society. The process of actualization is actual activity in instilling awareness of the social ecology of Islam in the society which is done in the social space of families, communities, and schools organized by the state through policies and regulations. With the process of reconstruction and actualization, then the state will actively build social-ecological awareness of Islam in order to realize a base of awareness, knowledge, and values of Islamic social ecology in society.
Applications and Challenges in Satisfiability Modulo Theories
Authors: De Moura Leonardo , Bjorner Nikolaj 
Published: January 2018

The area of software analysis, testing and verification is now undergoing a revolution thanks to the use of automated and scalable support for logical methods. A well-recognized premise is that at the core of software analysis engines is invariably a component using logical formulas for describing states and transformations between system states. One can thus say that symbolic logic is the calculus of computation. The process of using this information for discovering and checking program properties (including such important properties as safety and security) amounts to automatic theorem proving. In particular, theorem provers that directly support common software constructs offer a compelling basis. Such provers are commonly called satisfiability modulo theories (SMT) solvers.Z3 is the leading SMT solver. It is developed by the authors at Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories such as arithmetic, bit-vectors, lists, records and arrays.This paper examines three applications of Z3 in the context of invariant generation.The first lets Z3 infer invariants as a constraint satisfaction problem, the second applicationillustrates the use of Z3 for bit-precise analysis and our third application exemplifiesusing Z3 for calculations.
A Data Structure to Handle Large Sets of Equal Terms
Authors: Le Charlier Baudouin , Atindehou Mêton Mêton 
Published: January 2018

We present a data structure to represent and manipulate large sets of (equal) terms (or expressions). Our initial and main motivation for this data structure is the simplification of expressions with respect to a formal theory, typically, an equational one. However, it happens that the data structure is also efficient to compute the congruence closure of a relation over a set of terms.We provide an abstract definition of the data structure, including a precise semantics, and we explain how to implement it efficiently. We prove the correctness of the proposed algorithms, with a complexity analysis and experimental results. We compare these algorithms with previous algorithms to compute the congruence closure and we also sketch how we use the data structure to tackle the expression simplification problem.
Turing's Influence on Programming
Authors: Daylight Edgar G. 
Published: January 2018

Turing's involvement with computer building was popularized in the 1970s and later. Most notable are the books by Brian Randell (1973), Andrew Hodges (1983), and Martin Davis (2000). A central question is whether John von Neumann was influenced by Turing's 1936 paper when he helped build the EDVAC machine, even though he never cited Turing's work. This question remains unsettled up till this day. As remarked by Charles Petzold, one standard history barely mentions Turing, while the other, written by a logician, makes Turing a key player.Contrast these observations then with the fact that Turing's 1936 paper was cited and heavily discussed in 1959 among computer programmers. In 1966, the first Turing award was given to a programmer, not a computer builder, as were several subsequent Turing awards. An historical investigation of Turing's influence on computing, presented here, shows that Turing's 1936 notion of universality became increasingly relevant among programmers during the 1950s. The central thesis of this paper states that Turing's influence was felt more in programming after his death than in computer building during the 1940s.
Automated Proof of Authentication Protocols in a Logic of Events
Authors: Bickford Mark 
Published: January 2018

Using the language of event orderings and event classes, and using a type of atoms to represent nonces, keys, signatures, and ciphertexts, we give an axiomatization of a theory in which authentication protocols can be formally defined and strong authentication properties proven. This theory is inspired by PCL, the protocol composition logic defined by Datta, Derek, Mitchell, and Roy.We developed a general purpose &lt;i&gt;tactic&lt;/i&gt; (in the NuPrl theorem prover), and applied it to automatically prove that several protocols satisfy a strong authentication property. Several unexpected subtleties exposed in this development are addressed with new concepts &lt;i&gt;legal protocols&lt;/i&gt;, and a &lt;i&gt;fresh signature criterion&lt;/i&gt; - and reasoning that makes use of a well-founded causal ordering on events.This work shows that proofs in a logic like PCL can be automated, provides a new and possibly simpler axiomatization for a theory of authentication, and addresses some issues raised in a critique of PCL.
Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk)
Authors: von Gleissenthall Klaus , Rybalchenko Andrey , Zanella-Béguelin Santiago 
Published: January 2018

Some security properties go beyond what is expressible in terms of anindividual execution of a single program. In particular, many securitypolicies in cryptography can be naturally phrased as relationalproperties of two open probabilistic programs. Writing and verifyingproofs of such properties is an error-prone task that calls forautomation and tool support. One of the main difficulties inautomating these proofs lies in finding adequate relational invariantsfor loops and specifications for program holes.In this talk we showhow to automate proofs of relational properties of open probabilisticprograms by adapting techniques for the automatic generation ofuniversally quantified invariants in a non-relational setting.
Topological completeness of extensions of S4
Authors: Bezhanishvili Guram , Gabelaia David , Lucero-Bryan Joel 
Published: January 2018

It was left as an open problem in (Bezhanishvili and Gabelaia, 2011) whether a connected normal extension of S4 without FMP is also the modal logic of some subalgebra of R+.Our purpose here is to solve this problem affirmatively by showing that each connected normal extension of S4 (with or without FMP) is in fact the modal logic of some subalgebra of R+. We also prove that each normal extension of S4 (with or without FMP) is the modal logic of a subalgebra of Q+, as well as the modal logic of a subalgebra of C+.
Desarrollo social, integración y políticas públicas
Authors: Sojo Carlos 
Published: January 2018

El artículo se estructura en tres partes. La primera intentará enfocar la discusión sobre el desarrollo social en el marco de un movimiento favorable a la comprensión holística del desarrollo. En el segundo apartado observaremos los límites y las posibilidades de la integración social en América Latina. En la parte final, con pretensiones prescriptivas, reflexionamos en torno a la importancia de las variables â€˜ciudadanía y territorio’ en la formación de nuevos escenarios de política pública para el desarrollo social.
La negociación con el Estado: las tácticas de las mujeres sauditas
Authors: Galindo Marines Alejandra 
Published: January 2018

El principal objetivo de este artículo es comprender cómo algunas mujeres reclaman sus derechos para gozar de la ciudadanía. Con el análisis de las tácticas usadas por las mujeres en años recientes, buscamos esclarecer cómo la mujer ha aprovechado dos momentos históricos, la invasión de Irak a Kuwait (1990-1991) y los eventos relacionados con el 11 de septiembre, para que su voz sea escuchada por la sociedad y el gobierno. Nosotros afirmamos que estas mujeres no solamente negocian en la esfera privada, sino también negocian con el Estado en términos de ciudadanas.
Las mujeres lacandonas: cambios recientes
Authors: NeÃasová Lucie 
Published: January 2018

El artículo se enfoca en los cambios en la vida de las mujeres lacandonas contemporáneas. Analiza cómo se han modificado el modo de la vida, las costumbres y las relaciones de la mujer dentro de las propias familias pero también dentro de la sociedad y la comunidad. El objetivo es mostrar los cambios reflejados en la vida de las mujeres de tres generaciones. El estudio está basado en las etnografías disponibles combinadas con el propio trabajo de campo realizado en las comunidades Lacanjá y Nahá en los años 2008 y 2009.
Diversidad de artropodos asociados al algodón Bt y convencional (Gossypium hirsutum L.) en Colombia
Authors: Pérez García Karol 
Published: January 2018

El uso de organismos genéticamente modificados (OMG) ha generado grandes expectativas en el desarrollo de agrocultivos. Sin embargo, se originan incertidumbres sobre efectos causales sobre la artropofauna benéfica asociada al cultivo de algodón. En el presente estudio se evaluó la diversidad de la artropofauna asociada al agroecosistema algodón Bt y convencional en el departamento de Córdoba-Colombia, en la temporada de cultivos de algodón 2013-2014, en los meses comprendidos entre octubre y marzo. Se capturaron artrópodos mediante cinco métodos de muestreo de acuerdo al micro hábitat, se colectaron 23,787 individuos, registrándose en total 240 taxones agrupados en 25 especies y 215 morfoespecies; el orden más abundante fue Hemiptera y el de mayor riqueza fue Coleoptera. La diversidad en ambos cultivos fue similar con una riqueza de 0D= 240 para el convencional y 0D= 233 para el transgénico, la diversidad alfa para el convencional fue 1D= 36.39 y para el transgénico 1D= 33.39, en cuanto a la diversidad beta entre ambos cultivos presentó un valor 1.013 con q= 0, q= 1 y q= 2 fue de 1.001, los resultados mostraron que la diversidad de artrópodos para cultivos transgénico y convencional no fue diferente y no se observaron diferencias significativas entre ambos cultivos.
Desarrollo de una aplicación web para evaluar cultivos agrícolas a través del método de la MAP
Authors: Vásquez García Adela , Sangerman- Jarquín Dora Ma. , Reyes Muro Luis 
Published: January 2018

Se desarrolló una aplicación web, con una interfaz amigable, cuenta con una base de datos flexible y segura para el manejo de información, esta aplicación evalúa cultivos agrícolas a través de la metodología de la matriz de análisis de políticas (MAP) desarrollado por Monke y Pearson (1984). Para conocer la precisión de la aplicación web en cultivos agrícolas, se hizo un ensayo capturando un cultivo de producción de trigo en Guanajuato (Distrito 005 Cortázar), realizado con base a información ya obtenida. Una vez efectuado el análisis se concluyó que la aplicación web desarrollada es eficiente, precisa y confiable para evaluar cultivos agrícolas mediante variables como competitividad, ventaja comparativa y coeficientes de protección. La aportación de este trabajo demuestra que es posible crear aplicaciones web que permiten evaluar cultivos agrícolas.
Diagnóstico de la situación actual de la escama blanca del mango
Authors: Noriega-Cantú David Heriberto , Urías-López Mario Alfonso , López Guillén Guillermo , González Acuña Irma , Álvarez Bravo Arturo 
Published: January 2018

El mango es el frutal de mayor importancia socioeconómica del estado de Guerrero. La escama blanca del mango (EBM), Aulacaspis tubercularis Newstead, es una plaga emergente de importancia económica en México, debido a que daña el follaje y ramas de árboles de mango, así como la apariencia de frutos destinados a exportación y mercado nacional. El objetivo del estudio fue conocer la distribución e intensidad de infestación de la plaga en los diferentes cultivares de mango de las regiones productoras del estado de Guerrero, lo cual es importante para implementar medidas de control. Durante los ciclos 2012-2013 y 2013-2014 de muestreo se encontraron diferencias significativas en la abundancia de las poblaciones de A. tubercularis entre las distintas áreas productoras de mango. La EBM se encontró en las regiones de la Costa Grande, Acapulco y la Costa Chica, las cuales conforman el área de mayor producción del estado. En las regiones de Tierra Caliente y Norte no se encontraron indicios de la presencia de la plaga. Los municipios con mayor incidencia fueron San Jerónimo con 2.91 total EBM/hoja, seguido por Juchitán, Marquelia y Tecpan de Galeana, con un promedio de 1.25, 1.23 y 1.23 individuos/hoja respectivamente. El cultivar que registró mayor presencia de escama blanca fueron Manila, seguido por Ataulfo, Tommy Atkings y Haden, y en menor cantidad Kent y el denominado criollo.
El Gerente Coaching en la Gerencia
Authors: Díaz Cardozo Giovanna 
Published: January 2018

El artículo tiene como propósito formular aportes para El Gerente Coaching, la optimización de la gerencia, en todas las áreas en las cuales se desarrolla y desenvuelve el ser humano, en ese sentido, dedica parte de su contenido a la figura del gerente, y Coaching como líder, administrador, director y conductor de procesos, señalado como responsable en buena medida, debe tener conocimiento y experiencia en tales funciones, además de reunir un conjunto de habilidades, que le permitirán cumplir eficientemente sus actividades. Se apoya en una investigación documental, en la obtención de la información se utilizaron como instrumentos de recolección, documentos bibliográficos, los cuales suministraron la información necesaria aplicada al estudio en particular. Posteriormente se realizó el análisis de contenido, se indaga sobre los significados informativos. Para la obtención de las siguientes conclusiones, más relevantes se encuentra: entender y aceptar, que el Coaching a nivel internacional es una metodología que ha logrado acaparar la atención de grandes trasnacionales, empresas muy exitosas, de gran escala, que confían en el buen uso y manejo, para lograr en el gerente, un cambio trascendental, en su personalidad, y por efecto en las personas que tiene bajo su responsabilidad en la organización.