bluuebunny/crossref_metadata_2025_split huggingface dataset:
Why These Automata Types?
Authors: Boker Udi 
Published: October 2018

There are various types of automata on infinite words, differing in their acceptance conditions. The most classic ones are weak, Bu ̈chi, co-Bu ̈chi, parity, Rabin, Streett, and Muller. This is opposed to the case of automata on finite words, in which there is only one standard type. The natural question is why—Why not a single type? Why these particular types? Shall we further look into additional types?For answering these questions, we clarify the succinctness of the different automata types and the size blowup involved in performing boolean operations on them. To this end, we show that unifying or intersecting deterministic automata of the classic ω-regular- complete types, namely parity, Rabin, Streett, and Muller, involves an exponential size blowup.We argue that there are good reasons for the classic types, mainly in the case of nondeterministic and alternating automata. They admit good size and complexity bounds with respect to succinctness, boolean operations, and decision procedures, and they are closely connected to various logics.Yet, we also argue that there is place for additional types, especially in the case of deterministic automata. In particular, generalized-Rabin, which was recently introduced, as well as a disjunction of Streett conditions, which we call hyper-Rabin, where the latter further generalizes the former, are interesting to consider. They may be exponentially more succinct than the classic types, they allow for union and intersection with only a quadratic size blowup, and their nonemptiness can be checked in polynomial time.
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm
Authors: Davy Guillaume , Feron Eric , Garoche Pierre-Loic , Henrion Didier 
Published: October 2018

Classical control of cyber-physical systems used to rely on basic linear controllers. These controllers provided a safe and robust behavior but lack the ability to perform more complex controls such as aggressive maneuvering or performing fuel-efficient controls. Another approach called optimal control is capable of computing such difficult trajectories but lacks the ability to adapt to dynamic changes in the environment. In both cases, the control was designed offline, relying on more or less complex algorithms to find the appropriate parameters. More recent kinds of approaches such as Linear Model-Predictive Control (MPC) rely on the online use of convex optimization to compute the best control at each sample time. In these settings optimization algorithms are specialized for the specific control problem and embed on the device.This paper proposes to revisit the code generation of an interior point method (IPM) algorithm, an efficient family of convex optimization, focusing on the proof of its implementation at code level. Our approach relies on the code specialization phase to produce additional annotations formalizing the intended specification of the algorithm. Deductive methods are then used to prove automatically the validity of these assertions. Since the algorithm is complex, additional lemmas are also produced, allowing the complete proof to be checked by SMT solvers only.This work is the first to address the effective formal proof of an IPM algorithm. The approach could also be generalized more systematically to code generation frameworks, producing proof certificate along the code, for numerical intensive software.
URGENCY OF ISLAMIC EDUCATION IN CONSTRUCTING NOBLE BEHAVIOR: FAMILY STRUCTURE AS THE BASIS AND FOUNDATION OF MICRO-SCALE COMMUNITY REFORM COMMENCEMENT
Authors: Habrun Habrun 
Published: October 2018

Abstract
Islamic education in the family means education provided by members of the family, especially parents, to their children in the family environment to form the child's personality in order to be a muslim in which the attitude and behavior is in accordance with the teachings of Islam. The motivation of parent’s devotion in educating their children is solely for the sake of natural love, so, in this atmosphere of love, the process of education takes place well since the child is dependent to the family. Urgency of Islamic education in the family in building children’s noble character is the realization of the ideal human; intelligent and fear Allah SWT.

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

Abstrak
Pendidikan Islam dalam keluarga yaitu pendidikan yang diberikan anggota kelurga terutama orang tua kepada anaknya dalam lingkungan keluarga itu sendiri untuk membentuk kepribadian anak menjadi muslim dengan adanya perubahan sikap dan tingkah laku yang sesuai dengan ajaran Islam. Motivasi pengabdian keluarga (ayah-ibu) dalam mendidik anak-anaknya semata-mata demi cinta kasih yang kodrati, sehingga dalam suasana cinta kasih dan kemesraan inilah proses pendidikan ini berlangsung dengan baik seumur anak dalam tanggungan utama keluarga. Urgensi Pendidikan Islam di lingkungan keluarga dalam pembinaan akhlak mulia anak adalah terwujudnya manusia yang ideal, yaitu anak yang bertakwa kepada Allah SWT. dan cerdas.
Application of Fuzzy C-Means Clustering Method Using Matlab To Map the Potential of Rice Plant In Bekasi Regency
Authors: Suwarso Winarni 
Published: October 2018

Abstract Based on the data of rice crops from BPS-Statistics of Bekasi Regency in the field of Food Crops, there are several sub-districts in Bekasi Regency with varying rice yields. Therefore, it is necessary to group the sub-districts with the highest potential of rice producers. Therefore, a method is needed to facilitate the classification of paddy producing districts. By Fuzzy C-Means clustering method, the division of rice-producing sub-districts can be done based on the area of rice harvest (Ha) and rice production (ton). In this research, clustering of potential sub-districts using the Fuzzy C-Means algorithm is aimed at facilitating the grouping of a sub-district with the largest and low rice yields. The result is an illustration that shows the subdistrict grouping based on the results of paddy farming. Keywords: Clustering, Data Mining, Fuzzy C-Means Algorithm
EDEBİYAT TARİH(ÇİLİĞ)İ KAVRAMININ HİNTERLANDI ÜZERİNE BİR İNCELEME
Authors: GEZER Alpay 
Published: October 2018

İlk örnekleri M.Ö. V. yüzyılda verilmeye
başlanan edebiyat tarihleri, günümüze gelinceye kadar muhteva, metot ve temsil
ettiği kavramların derinliği bakımımdan çok çeşitli aşamalardan geçmiştir.
Medeniyet tarihinin gelişmesiyle paralel bir şekilde hatta birçok noktada
medeniyet tarihiyle de birleşerek seyrine devam eden edebiyat tarih(çiliğ)i,
edebiyat biliminin omurgası olarak kabul edilir. Bu çalışmada edebiyat
tarih(çiliğ)inin amaçlarını, yöntemlerini, problemlerini, önemini; tarih,
edebiyat teorisi ve edebiyat eleştirisi disiplinleriyle ilişkilerini
belirleyerek edebiyat tarih(çiliğ)inde mündemiç manaları ortaya koyup daha
sarih ve derli toplu bir edebiyat tarih(çiliğ)i tarifine ulaşmak amaçlanmıştır.
Öncelikle “tanım” kavramı içerisine nelerin alınıp nelerin alınmayacağı
belirlenmiştir. Çünkü edebiyat tarihi tanımlanırken değişik kaynaklarda
kavramın belirli yönleri ön plana çıkarılmış ve diğer yönleri karanlıkta
bırakılmıştır. Çalışmamızda edebiyat
tarihçiliği ile ilgili alan yazında mevcut tanımların odaklandığı noktalar bir
araya getirilerek edebiyat tarihçiliği kavramını aşkın bir bakış açısıyla
değerlendirilmeye çalışılmıştır. Şahsi gayretleriyle edebiyat tarihi
çalışmalarına imza atan yazarların çalışmalarının kuvvetli ve zayıf yönleri
bulunmaktadır. Bir kişinin geniş çerçeveli bir alanın bütün alt branşlarında
uzmanlaşması söz konusu değildir. Günümüzde çeşitli üslûp problemleri ortaya
çıksa da ilgili alanın uzmanı bilim insanlarının bir araya gelmesiyle
oluşturulan komisyon çalışmalarıyla edebiyat tarihleri yazılmaktadır.
Çalışmamızda edebiyat biliminin gelişmeleri ışığında edebiyat tarihçiliğinde de
yeni açılımların ortaya çıktığı tespiti ortaya konulmuştur.
Deficiencias de anticuerpos en niños y adolescentes con infecciones recurrentes y/o graves
Authors: Caballero Fabiola , Benegas Sara , Giménez Vivian , Granado Enrique , Martínez de Cuellar Celia , Carpinelli María Mercedes , Sanabria Diana 
Published: October 2018

Introducción: Las deficiencias predominantes de anticuerpos (DPA) son inmunodeficiencias primarias caracterizadas por hipogammaglobulinemia, una disminución de niveles séricos de IgA, IgG y/o IgM, predisponiendo a infecciones recurrentes y/o graves. Las más frecuentes son la inmunodeficiencia común variable (CVID), agammaglobulinemia ligada al X (XLA), síndrome de híper IgM (HIgM) y deficiencia de IgA (DIgA). En Paraguay, los reportes sobre estas patologías son escasos.
Objetivo: estudiar los niveles de inmunoglobulinas séricas en pacientes con infecciones recurrentes y/o graves en busca de DPA.
Material y Métodos: Se incluyeron 143 pacientes de 1 a 17 años de edad, registrados en la base de datos del Instituto de Investigaciones en Ciencias de la Salud del 2012 al 2017, con dosajes de IgA, IgG e IgM y dato clínico de infecciones recurrentes y/o graves. Se aplicó un algoritmo internacional de diagnóstico fenotípico a los casos de hipogammaglobulinemia.
Resultados: La edad promedio de los pacientes fue de 6±4 años, 54% (77/143) era de sexo masculino, un 78% (112/143) fue pacientes ambulatorios y 40% (57/143) presentó infecciones respiratorias. En el 90% (129/143) se observó valores normales de inmunoglobulinas séricas y en el 10% (14/143) se encontró hipogammaglobulinemia que correspondió a un caso de XLA, 3 casos de CVID, 5 de DIgA, 2 de HIgM, 2 deficiencias de subclases de IgG y una deficiencia selectiva de IgM.
Conclusiones: Se identificaron casos de DPA cuyas frecuencias concuerdan con datos de otros países con DIgA y CVID como las más comunes. Es importante sospecharlas en niños y adolescentes con infecciones recurrentes, graves, oportunistas, y evaluar las inmunoglobulinas séricas para un diagnóstico oportuno.

Correspondencia: Diana Sanabria Correo: dianasan54@hotmail.com
Conflicto de Interés: Los autores declaran no poseer conflicto de interés
Recibido: 20/06/2018 Aceptado: 28/08/2018
Sobrepeso, obesidad e ingesta de líquidos en niños y adolescentes en Capital, Central y Caaguazu, 2016
Authors: Aguilar Gloria , Estigarribia Gladys , Sanabria Gabriela , Sanabria Marta , Kawabata Anibal , Munoz Sergio , Rios Patricia , Rios González Carlos M. 
Published: October 2018

Introducción: En niños y adolescentes de países latinoamericanos la tendencia en el aumento de obesidad es alarmante, esta población tiene una alta probabilidad de padecer a edades más tempranas, enfermedades no transmisibles.
Objetivo: Determinar la prevalencia de sobrepeso, obesidad e ingesta de líquidos en niños y adolescentes de Capital, Central y Caaguazú durante el año 2016.
Material y Métodos: Estudio Observacional, descriptivo, de corte transversal, con muestreo probabilístico estratificado, en niños y adolescentes de Capital, Central y Caaguazu, durante el 2016. Se realizaron 3 recordatorios de ingesta de líquidos en las 24 horas anteriores a la entrevista y determinación de las medidas antropométricas en las instituciones educativas de los departamentos. Los datos se expresan en medidas de tendencia central (Media) y dispersión (Desvío Estándar).
Resultados: Participaron del estudio 2279 niños y adolescentes de Capital, Central y Caaguazu, de los cuales el 51,2% (1166) fue del sexo femenino, y el 54,9% (1245) tenía una edad comprendida entre 10 a 14 años. El 18,6% y 26,8% presentaron obesidad y sobrepeso respectivamente. El sobrepeso en las edades de 7 a 9, 10 a 14 y 15 y más años fue de 25,3%, 19,1% y 5,8% respectivamente (p<0,05). El volumen de ingesta diaria de agua, infusiones, jugos naturales y líquidos carbonatados se incrementa con la edad (p<0,05), en cambio el volumen de ingesta diaria de leche disminuye con la edad (p<0,05).
Conclusión: La proporción de niños y adolescentes con sobrepeso y obesidad en de Capital, Central, y Caaguazu fue elevada, se ha visto una disminución en la proporción de sobrepeso a mayor edad, el incremento en el promedio del volumen diario ingerido de leche disminuye con la edad, en cambio se incrementa el de líquidos carbonatados.

Correspondencia: Gabriela Sanabria Correo: gabysanabria@gmail.com
Conflicto de Interés: Los autores declaran no poseer conflicto de interés
Financiación: El proyecto de investigación fue financiado por el Programa Paraguayo para el Desarrollo de la Ciencia y Tecnología (PROCIENCIA) del Consejo Nacional de Ciencia y Tecnología (CONACYT).
Recibido: 13/06/2018 Aceptado: 31/08/2018
Increased erythrocyte aggregation following an acute bout of eccentric isokinetic exercise does not exceed two days
Authors: Kilic-Toprak Emine , Unver Fatma , Kilic-Erkek Ozgen , Korkmaz Halil , Ozdemir Yasin , Oymak Burak , Oskay Alten , Bor-Kucukatay Melek 
Published: October 2018

BACKGROUND: Isokinetic exercise is used to reduce strength imbalance and to enhance performance. OBJECTIVE: The aim of this study was to investigate the acute effects of a single bout of eccentric isokinetic exercise on hemorheology (erythrocyte deformability and aggregation), total oxidant/antioxidant status (TOS/TAS) and oxidative stress index (OSI) in active individuals. METHODS: The study comprises 11 active, healthy, male subjects (mean age of 19.45 ± 0.31 years, BMI 22.05 ± 0.51 kg/m2). They performed single, unilateral eccentric contractions of knee flexors and extensors with dominant leg on a dynamometer. Isokinetic hamstring, quadriceps strength were recorded at eccentric (30, 120° s−1) angular velocities. Eight active age-matched healthy male subjects were included as a control group, who did not receive exercise. Blood samples were obtained before, immediately after and two days after the exercise session. Hemorheological parameters were measured by an ektacytometer. TOS/TAS were determined using a commercial kit. RESULTS: A session of eccentric isokinetic exercise did not affect erythrocyte deformability and oxidative stress indices, whereas red blood cell (RBC) aggregation was increased initially and returned to pre-exercise levels after two days following exercise. CONCLUSION: Our results suggest that, increased RBC aggregation following an acute bout of isokinetic exercise may result in increased plasma skimming that augments tissue perfusion and clearance of metabolites within a period of two days following exercise.
Responsabilidade dos meios de comunicação tradicionais e digitais
Authors: Martinez Regina Célia , Soares de Arruda Filho Daniel 
Published: October 2018

O presente trabalho versa sobre a responsabilidade dos meios de comunicação tradicionais e digitais ou seja, “off lines”(tradicionais) e “on lines”(eletrônicos) face as ameaças ou ofensas praticadas, que violam frontalmente a dignidade da pessoa humana no contexto do Direito Ambiental Cultural brasileiro.
Classic Antiphospholipid and Antiphosphatidylserine Antibody Profile in Suspected Antiphospholipid Antibody Syndrome Patient
Authors: Suryadi Angga J , Sumapradja Kanadi 
Published: October 2018

Objective: To compare the classic examination results of antiphospholipid
(aPS) and antiphospatidylserine (aPL) antibody profile to
establish the diagnosis from suspected antiphospholipid antibody
syndrome (APS) patient in order to state the subsequent treatment
strategies.

Method: This descriptive cross-sectional study design was conducted
at outpatient clinics of Dr. Cipto Mangunkusumo Hospital
(RSCM) from January to December 2015. The laboratory test was
held in Clinical Pathology Laboratory RSCM/Faculty of Medicine
Universitas Indonesia (FKUI) and in corporation with Prodia laboratory.

Result: All of normal patients did not have positive result in any
laboratory examination (Lupus Anti-coagulant (LA), anticardiolipin
(aCL), anti-?2 glycoprotein I (anti-?2GPI), and aPS). In patient suspected
APS, 11 (37.1%) patients had positive aCL, 7 (25.9%) patients
had positive anti-?2GPI, and 11 (37.1%) patients had positive
aPS. The most positive cross laboratory examination was between
aCL and aPS (25.9%). In this study, we found the most positive test
result was aCL and aPS (62.9%). From this study, suspected APS patient
who had negative result in classic laboratory examination, but
showing the positive result in aPS was in 5 (18.5%) patients.

Conclusion: All normal pregnant patients do not have any positive
classic examination and aPS. Meanwhile, in patients with suspected
APS, less than 20% patients show positive result of aPS with negative
result in classic laboratory examination.

Keywords: antiphospatidylserine, antiphospolipid syndrome
Efficacy and Safety of Cryotherapy in "See and Treat" Program in Jakarta Primary Health Centre
Authors: Lestari Linda , Purwoto Gatot , Nuranna Laila 
Published: October 2018

Objective: To evaluate the efficacy and safety of cryotherapy in "See
and Treat" program in Jakarta Primary Health Care.
Method: Using descriptive cross-sectional design, data from medical
records were taken with total sampling method. We took the VIA
result, cryotherapy procedure, first-marriage age, number of
marriage, parity, smoking habit, and the use of contraception. Data
were analyzed univariately.
Result: Of 86 data, the percentage of cryotherapy to change from
positive to negative of VIA result was 90.70%. We did not find the
progressivity to invasive cancer.
Conclusion: Cryotherapy is effective to manage the cervical precancerous
lesion in "See and Treat" program.
[Indones J Obstet Gynecol 2016; 4-4: 227-233]
Keywords: cryotherapy, Indonesia, see and treat, visual inspection
of acetic acid (VIA)
APOCRIFICIDADE E CANÔN:
Authors: Terra Kenner Roger Cazotto 
Published: October 2018

O artigo apresentará o livro Pastor de Hermas, citado em obras de importantes figuras da Igreja Antiga, como Irineu e Clemente de Alexandria, mostrando como possuiu certa autoridade até ser taxado como apócrifa durante o papado de Gelásio, no século V. Neste paper apresentar-se-á o tratamento dado ao Pastor de Hermas, se interpretará suas posições religiosas e, por fim, observar-se-ão as preocupações ascéticas e as relações sócio-religiosas entre os pobres e ricos que também aparecem na carta canônica de Tiago.
Sur l'origine du strontium dans des formations récifales du sénonien toulonnais
Authors: Andrieux C. 
Published: October 2018

Dans une première étude consacrée à la détermination des minéraux rencontrés dans des madrépores et hippurites fossiles, appartenant à une formation récifale du sénonien toulonnais, nous avons pu identifier à l'aide des rayons X, des célestines pures et des célestines contenant du cuivre, du calcium et du magnésium. Ces impuretés, de l'ordre de un pour cent, ont été déterminées par spectrographie.
La présente étude se propose de situer ces minéraux dans deux types de géodes fossiles. Ces deux types dépendent de la position et du faciès géologique des récifs.
Keep 'only' strong
Authors: Alonso-Ovalle Luis , Hirsch Aron 
Published: October 2018

As defined in Horn 1969, only (p) presupposes p. von Fintel & Iatridou (2007) note, however, that only (have to p) may presuppose that p is possible, rather than necessary, and propose revising the analysis of only to weaken its contribution. Building on Ippolito 2007, we show that this revision predicts interpretations which are too weak in data involving plurals and negation. A paradox thus arises: Horn’s only is too strong in some cases, but required in others. To resolve the paradox, we maintain Horn’s only, but introduce an external source of weakening that is not always available: in von Fintel and Iatridou’s modal environment, the argument of only is weakened by a covert operator (AT LEAST, Crnic ̆ 2011; Schwarz 2004) that is blocked in the problematic cases involving plurals and negation.
A Study of the Point-spread Function in SDSS Images
Authors: Xin Bo , Ivezić Željko , Lupton Robert H. , Peterson John R. , Yoachim Peter , Jones R. Lynne , Claver Charles F. , Angeli George 
Published: October 2018

Abstract
We use SDSS imaging data in the ugriz passbands to study the
shape of the point-spread function (PSF) profile and the variation of its width
with wavelength and time. We find that the PSF profile is well described by
theoretical predictions based on von Kármán’s turbulence
theory. The observed PSF radial profile can be parameterized by only two
parameters, the profile’s full width at half maximum (FWHM) and a
normalization of the contribution of an empirically determined
“instrumental” PSF. The profile shape is very similar to the
“double Gaussian plus power-law wing” decomposition used by the SDSS
image-processing pipeline, but here it is successfully modeled with two free
model parameters, rather than six as in the SDSS pipeline. The FWHM variation
with wavelength follows the
λ

α
power law, where
α ≈ −0.3 and is correlated with
the FWHM itself. The observed behavior is much better described by von
Kármán’s turbulence theory, with the outer-scale parameter
in the range of 5–100 m, than by Kolmogorov’s turbulence theory. We
also measure the temporal and angular structure functions for FWHM and compare
them to simulations and results from the literature. The angular structure
function saturates at scales beyond 05−10. The power spectrum of
the temporal behavior is found to be broadly consistent with a damped
random-walk model with a characteristic timescale in the range of
∼5–30 minutes, though the data show a shallower high-frequency
behavior. The latter is well fit by a single power law with an index in the
range of −1.5 to −1.0. A hybrid model is likely needed to fully
capture both the low-frequency and high-frequency behavior of the temporal
variations of atmospheric seeing.
Catching the Birth of a Dark Molecular Cloud for the First Time
Authors: Zuo Pei , Li Di , Peek J. E. G. , Chang Qiang , Zhang Xia , Chapman Nicholas , Goldsmith Paul F. , Zhang Zhi-Yu 
Published: October 2018

Abstract
The majority of hydrogen in the interstellar medium (ISM) is in atomic form. The transition from atoms to molecules and, in particular, the formation of the H2 molecule, is a key step in cosmic structure formation en route to stars. Quantifying H2 formation in space is difficult, due to the confusion in the emission of atomic hydrogen (H i) and the lack of a H2 signal from the cold ISM. Here we present the discovery of a rare, isolated dark cloud currently undergoing H2 formation, as evidenced by a prominent “ring” of H i self-absorption. Through a combined analysis of H i narrow self-absorption, CO emission, dust emission, and extinction, we directly measured, for the first time, the [H i]/[H2] abundance varying from 2% to 0.2%, within one region. These measured H i abundances are orders of magnitude higher than usually assumed initial conditions for protoplanetary disk models. None of the fast cloud formation model could produce such low atomic hydrogen abundance. We derived a cloud formation timescale of ∼6 × 106 years, consistent with the global Galactic star formation rate, and favoring the classical star formation picture over fast star formation models. Our measurements also help constrain the H2 formation rate, under various ISM conditions.