bluuebunny/crossref_metadata_2025 huggingface dataset:
Visible photocatalytic activity of metal ion doped and undoped nano ZnO for the degradation of acidal Navy Blue 3BR
Authors: G Thennarasu , A Sivasamy
Published: October 2018

Metal (Mn, Cu, Co) doped and undoped Nano ZnO, prepared by chemical precipitation method and calcined at 300oC was characterized by XRD, FE-SEM, FT-IR, DRS and TEM. These photo catalysts can be effectively degrade organic contaminants using visible light irradiation. Doping reduces the intra granular resistance and recombination of the photo generated electron–hole pairs. The photo activity of undoped and doped ZnO powders was evaluated by monitoring the photo-decolourization of the aqueous solutions of Acidal Navy Blue 3BR (ANB 3BR) dye under visible irradiation. The disappearance of dye molecules followed pseudo-first-order kinetics. The effect of various parameters namely, pH of the medium, catalyst loading, initial dye concentration and kinetics of photo degradation of ANB 3BR was investigated. The rate of degradation was found to be strongly influenced by all above mentioned parameters. The reduction in the chemical oxygen demand (COD) of the decolorized aqueous samples revealed a possibility of complete destruction of the organic molecules along with colour removal. Experimental data were analyzed by model equations such as Langmuir and Freundlich isotherms and it was found that the Langmuir isotherm model best fitted the adsorption data. The results showed that the doped (Mn, Cu, Co) percentage (0.25, 0.5, 0.75, 1, 1.5%) were successfully doped into the ZnO and that manganese and copper-doping reduced the photo catalytic activity of ZnO, Co doped ZnO increase the photo catalytic activity.1%, 0.75%, 0.75% of Mn, Cu, Co doped in ZnO can be used in photo catalytic experiments.
A New Approach to Environmental Valuation for New Zealand
Authors: Clough Peter , Chilton Susan M. , Jones-Lee Michael W. , Metcalf Hugh R. T.
Published: October 2018

New Zealand’s Resource Management Act is frequently criticised for the costs and delays it imposes on activities, but less attention is given to the consistency of values it applies to environmental effects through its decisions. The wide variety of parties who exercise decision roles under the act lack guidance on the economic value of the environment, and non-market valuation studies are too costly to be widely used and too few and varied to infer reliable generic values. Drawing on experience in estimating the public value of safety improvements, this article proposes an alternative approach that measures people’s aversion to the risk of environmental impacts of different scales and severity which could yield values sufficiently generic to be widely used, and outlines its uses both within and beyond the RMA applications.
ICTs as an Antidote to Hardship and Inequality
Authors: Cotter Catherine
Published: October 2018

Contemporary ICTs, such as mobile phones and the internet, are increasingly viewed as potential solutions to some of humanity’s most complex and pressing problems, including poverty and inequality. But in New Zealand the evidence shows there are large gaps in the ICT-related resources and support available to New Zealand’s digitally poor. Among the shortcomings are a profound lack of integration of ICT needs into social policy design and implementation, the absence of a programme of ongoing policy review and update, and insufficient research.
Producción y circulación de manuscritos entre los siglos XIII y XV en Toscana
Authors: Puglia Andrea
Published: October 2018

El artículo se concentra en la producción y circulación libraria en la Toscana bajomedieval a través del análisis de los manuscritos de la Bibliotecadel convento de los Dominicos di Pisa (250 manuscritos entre el siglo XI y el XVI) y del material archivístico relacionado con esta última. En particular, se estudia el canje y circulación de los manuscritos por medio del análisis de las notas, de los inventarios y de los documentos privados que se refiern a los manuscritos. Una parte está reservada también a la producción interna de manuscritos, pero es complicado de apreciar debido a la escasez de fuentes. El objetivo principal del trabajo es describir un método que pueda utilizarse para estudiar también otras bibliotecas toscanas.
Manuscritos de autor
Authors: Ruiz García Elisa
Published: October 2018

La adopción de la técnica tipográfica planteó una problemática hasta aquí desconocida. Una cuestión esencial era elaborar una matriz que prefigurase el impreso con el fin de ser entregado al editor para su publicación. Por esta vía se originó un tipo particular de fuente, para el que propongo la denominación de: «manuscrito intermedio». Aquí se estudia una muestra de esa naturaleza que se encuentra depositada en la Biblioteca de la Real Academia de la Historia de Madrid, ms. 19-36. Se trata de una pieza que encierra gran interés desde un punto de vista codicológico e histórico. El manuscrito transmite dos obras inéditas y prácticamente desconocidas de Joan Martí Figuerola.
Producción y distribución de los libros jesuíticos en el siglo XVI
Authors: Vacalebre Natale
Published: October 2018

La Compañía de Jesús consideró siempre la prensa un instrumento fundamental para su propia supervivencia. El mismo Ignacio de Loyola, después de numerosos tentativos, consiguió implantar una tipografía en el Colegio Romano de la Compañía en el año de su muerte (1556). Sin embargo, este establecimiento tenía la finalidad principal de producir material bibliográfico útil sobre todo para la reglamentación de las diversas provinciasjesuitas (Regulae, Constitutiones, Litterae Apostolicae, etc). La mayor parte de la producción literaria jesuita fue por tanto fruto de una larga y prolífica colaboración entre la Societas y las tipografías locales, en los territorios en los cuales los religiosos se establecieron. El objetivo de la presente intervención es indagar más profundamente en los aspectos de la producción y de la distribución del libro jesuítico en el siglo XVI a través del análisis de algunos documentos sobre la historia editorial de las Adnotationes et meditationes in Evangelia (Amberes, 1593-95) de Jerónimo Nadal, recientemente recuperado en el Archivo Romano de la Compañía de Jesús.
Los libros latinos de una librería de provincias de la segunda mitad del siglo XVIII
Authors: Clemente San Román Yolanda
Published: October 2018

En 1770, el librero estrasburgués Johann Gothfried Bauer publica su Catalogus librorum latinorum, una edición rara ya que en España solo existe el ejemplar de la Biblioteca Histórica de la UCM, con signatura BH MD 5353(4); y un segundo en una biblioteca particular. En él se reúne más de un millar de títulos en lengua latina, de las más diversas materias, y que fueron publicados, la mayoría, a partir de 1730 en Alemania y los Países Bajos. El interés del editor se centra en presentar una colección selectiva. No oferta todas las piezas latinas de su librería sino solo aquellas que despiertan el interés entre los aficionados, bien por su singularidad o por su excelencia, y que están caracterizadas por estar ilustradas con imágenes calcográficas de célebres artistas. Ordenado alfabéticamente, registra un alto porcentaje textos especializados en medicina, botánica y zoología de autores alemanes coetáneos, si bien excluye los mapas y los relativos a geografía y música.
Los agentes del libro incunable salmantino (1483-1510)
Authors: Bécares Botas Vicente
Published: October 2018

El objetivo principal de este artículo es presentar los documentos del archivo capitular de Salamanca relativos a las primeras imprentas salmantinas ycontribuir a la solución de la «misteriosa» cuestión del anonimato de sus dueños, al conocimiento de los libreros de la primera época y al oscuro papelde Nebrija en este asunto.
Un temprano incunable sevillano (1478)
Authors: De los Reyes Gómez Fermín
Published: October 2018

En este artículo se da noticia de un temprano documento incunable, una carta de jubileo a favor de la catedral de El Burgo de Osma (Soria), impresa en 1478. Se trata la relación entre las indulgencias y la imprenta, se aborda el contexto en que se produjo el jubileo y se realiza el análisis e identificación del incunable, impreso en el taller sevillano de Antonio Martínez, Alfonso del Puerto y Bartolomé Segura.

Jubileo. Indulgencias. Incunable. El Burgo de Osma. Sevilla.Antonio Martínez, Alfonso del Puerto y Bartolomé Segura
Los orígenes de la portada
Authors: Gonzalo Sánchez-Molero José Luis
Published: October 2018

Durante el periodo de impresión de los incunables, de la imitación del códice poco a poco —en aproximadamente medio siglo— se logró definir conclaridad una serie de características que dieron al libro impreso su propia tipología editorial. Uno de los elementos que mejor define dicha evolución fue la invención y posterior desarrollo de la portada. Las hipótesis acerca de su origen han sido varias: ¿existían ya antecedentes de portadas en algunos códices italianos cuatrocentistas?, ¿son las portadas una traslación de elementos internos, como el íncipit o el colofón, hacia una hoja de guarda externa?
La impresión en Murcia del Prontuario general de D. Manuel Sarti (1768-1770)
Authors: García Cuadrado Amparo
Published: October 2018

Este trabajo tiene como objetivo dar a conocer las peculiares circunstancias que rodearon la edición e impresión en Murcia de un Prontuario General, una obra patrocinada por la Real Hacienda y destinada a agilizar las actividades administrativas de las contadurías de los Departamento de Marina. Se han utilizado como fuentes de información varios contratos de impresión suscritos entre el comisionado del Departamento de Cartagena y el impresor Felipe Teruel, así como el firmado entre su autor y comisionado, Manuel Sarti, con el maestro librero Vicente Royo. A estas fuentes documentales se ha sumado el análisis material de los dos tomos de la obra, una forma de confirmar el cumplimiento de los acuerdos entre las partes, al tiempo que se aportan informaciones complementarias: calidad del papel y su procedencia, el número de resmas necesarias o los materiales y características técnicas de la encuadernación. Por medio de dicha metodología se ha conseguido conocer aspectos relacionados con los usos seguidos en el taller murciano, su equipamiento, el ritmo de trabajo y la profesionalidad de los maestros y oficiales que trabajaron en la impresión y encuadernación de aquel trabajo tipográfico.
Unas postilas anónimas al Rapto de Prosérpina
Authors: Clavería Laguarda Carlos
Published: October 2018

Las anotaciones marginales que un comentarista anónimo escribió en un ejemplar de las Obras completas de Claudiano impresas en 1482 podrían dar pie a una revisión del texto del autor latino.
Los Romances imperiales de Pedro de Sayago: pistas e hipótesis de un texto desaparecido
Authors: Rosell´´ó Oliver Andrés
Published: October 2018

Pedro de Sayago escribió los Romances imperiales en pleno fervor imperial, y fueron impresos en Sevilla por Alonso de Coca el año 1565. A pesar de que a día de hoy no conocemos de la existencia de ningún testimonio de época de esta obra, los Romances imperiales gozaron de cierta relevancia, según muestran sus múltiples menciones. El contenido del romancero nos es desconocido, así como el paradero actual de alguno de sus ejemplares, pero disponemos de datos suficientes como para que en las páginas que siguen podamos trazar un recorrido por la historia bibliográfica de esta obra y plantear ciertas hipótesis que puedan servir de punto de partida para posteriores búsquedas y estudios.
Recensiones
Authors: Domingo Malvadi Arantxa , Pedraza Gracia Manuel José , Sánchez Oliveira Camino , Gamarra Gonzalo Alberto
Published: October 2018

Arantxa Domingo Malvadi = Antonio CARPALLO BAUTISTA, Identificación, estudio y descripción de encuadernaciones artísticas, Mexico, Fondo Editorial Estado de México FOEM, 2015, 322 p. ISBN 978-60-7495-402-9.

Manuel José Pedraza Gracia = UNIVERSIDAD DE SALAMANCA. Scripta: tesoros manuscritos de la Universidad de Salamanca, Salamanca, Ediciones de la Universidad de Salamanca, Madrid, Biblioteca Nacional de España, 2017, 142 p. ISBN 978-84-92462-51-3 (BNE), ISBN 978-84-9012-7348-4 (EUS).

Manuel José Pedraza Gracia = Alessandro TEDESCO. Itinera ad loca sancta: i libri di viaggio delle Biblioteche Francescane di Gerusalemme: catalogo delle edizioni dei secoli XV-XVIII, Milano, Edizioni Terra Santa, 2017, lxxii, 363 p. (Biblioteca bio-bibliografica della Terra Santa e dell’Oriente Francescano, 33). ISBN 978-88-6240-518-8.

Camino Sánchez Oliveira = BIBLIOTECA CENTRAL DE CÓRDOBA, Impresores cordobeses en La Central: obras impresas en Córdoba entre los siglos XVI y XIX: del 17 de octubre al 16 de noviembre de 2017: catálogo de la exposición, [Córdoba], Ayuntamiento de Córdoba, Red Municipal de Bibliotecas de Córdoba, D.L. 2017, 92 p.

Manuel José Pedraza Gracia = Annie CHARON, Sabine JURATIC et Isabelle PANTIN (recs.), L’annonce faite au lecteur: la circulation de l’information sur les livres en Europe (16e-18e siècles), Louvain la Neuve, Presses universitaires de Louvain, 2016, 316 p. (L’atelier d’Érasme: histoires, littératures, livres), ISBN 978-2-87558-509-7.

Alberto Gamarra Gonzalo = Carlos M. COLLANTES, Biobibliografía de la poesía bajobarroca cordobesa (1650-1750), Mérida, Editora Regional de Extremadura, 2017. 523 p. ISBN 978-84-9852-531-1.

Manuel José Pedraza Gracia = Pedro M. CÁTEDRA, Tace il testo, parla il tipógrafo: tre studi bodoniani, Salamanca, SEMYR, Parma, Biblioteca Bodoni, Museo Bodoniano, Biblioteca Palatina, 2017, 268 p. (In arcadia, 2), ISBN 978-84-944855-8-9.
Принципи диференціальної діагностики гнійно-некротичних процесів діабетичної стопи і сепсису
Authors: Shapoval S. D. , Trybushnyi O. V. , Savon I. L. , Slobodchenko L. Yu.
Published: October 2018

Мета. З’ясувати діагностичну цінність ранніх маркерів запального процесу в диференціальній діагностиці гнійно-некротичних процесів діабетичної стопи та розвитку сепсису.

Матеріали і методи. Обстежено 989 хворих із ускладненим синдромом діабетичної стопи (СДС), із них у 97 (9,8%) перебіг захворювання був обтяжений сепсисом.

Результати. За динамікою змін вмісту цитокінів IL-1β, IL-6, IL-10, системного цитокіну TNF-α, а також С-реактивного білка (СРБ) та прокальцитоніну (ПКТ) у сироватці крові можна диференціювати ускладнений СДС, обтяжений сепсисом.

Висновки. Визначення цитокінового статусу, вмісту СРБ, ПКТ має діагностичну цінність в диференціальній діагностиці гнійно-некротичних процесів діабетичної стопи та розвитку сепсису.
Морфометричні дослідження кровоносних судин шкіри та м’язів у хворих з ішемічною формою синдрому діабетичної стопи
Authors: Didenko S. M. , Boyko V. V. , Ivanova Yu. V. , Subbotin V. Yu. , Kalenska O. V. , Kalenska L. V. , Savytska I. M.
Published: October 2018

Мета. Вивчити кількісні критерії ураження кровоносних судин шкіри та м’язів у хворих з ішемічною формою (ІФ) синдрому діабетичної стопи (СДС) та визначити на їх основі ступінь діабетичної мікроангіопатії (ДМАП).

Матеріали і методи. Відібрані зразки парафінових блоків шкіри та м’язів 49 хворих із цукровим діабетом (ЦД) 2-го типу та ІФ СДС на тлі стенотично-оклюзійного ураження артерій нижньої кінцівки, які перебували на лікуванні в Центрі судинної хірургії Клінічної лікарні «Феофанія» протягом 2014 – 2017 рр. Для порівняння відібрані зразки шкіри та м’язів 10 пацієнтів, які не мали системних захворювань.

Проводили гістологічні та імуногістохімічні дослідження для виявлення колагену IV типу – маркера базальних мембран VEGF – судинного ендотеліального фактора росту; CD31 – маркера ендотеліальних клітин гладком’язового актину. Вимірювали та порівнювали діаметри та щільність кровоносних судин шкіри та м’язів.

Результати. Виявлені характерні зміни морфометричних показників судин гемомікроциркуляторного русла (ГМЦР) шкіри та м’язів при ДМАП, що дає змогу визначити її ступінь.

Висновки

Визначені кількісні показники, які змінювались залежно від перебігу та компенсації ЦД: щільність судин ГМЦР у сосочковому шарі шкіри; товщина базальних мембран кровоносних судин; діаметр просвіту судин ГМЦР.

Характерними якісними змінами в тканинах є: згладження базальної мембрани епідермісу, її розпушення на окремих ділянках; підвищення експресії рецепторів до Vegf (Vegfr-1); підвищення рівня експресії актину у кровоносних судинах, у тому числі в капілярах; нерівномірна експресія CD31 в кровоносних судинах.

На основі сукупності отриманих даних про якісні та кількісні зміни ГМЦР шкіри і м’язів розроблено критерії для визначення ступеня ДМАП, що може бути використано з метою створення алгоритму комплексного лікування хворих з ІФ СДС.
Лікування післяін’єкційних ускладнень за розробленою методикою із застосуванням NO-терапії
Authors: Bilyayeva O. O. , Kryzhevsky V. V. , Kаrol І. V.
Published: October 2018

Мета. Покращити результати лікування пацієнтів з післяін’єкційними ускладненнями.

Матеріали і методи. Дослідження проведено щодо 49 пацієнтів, яких розподілили на дві групи: основну - 23 пацієнти і порівняльну – 26. В основній групі лікування проводили за розробленою методикою із застосуванням первинного шва, вакуум-аспірації та терапії монооксидом азоту (NO-терапії), у порівняльній – за стандартною методикою.

Результати. Найчастіше виникнення післяін’єкційних абсцесів спричиняли внутрішньом’язові ін’єкції нестероїдних протизапальних препаратів – 27 (55,1%) спостережень та магнію сульфату – 11 (22,4%). Рівень С-реактивного білка (СРБ) на 7-му добу дослідження становив (3,1 ± 0,8) мг/л – в основній групі, (12,9 ± 6,0) мг/л – у контрольній групі. Лейкоцитарний індекс інтоксикації (ЛІІ) на 7-му добу в основній групі становив (1,3 ± 0,4) умовних одиниць (у. о.), у порівняльній – (1,9 ± 0,2) у. о.

Висновки. Тривалість перебування у стаціонарі пацієнтів, яких лікували за розробленою методикою, була у 2 рази меншою, ніж пацієнтів, яких лікували за стандартною методикою.
A Review of Face Recognition System Using Raspberry Pi in the Field of IoT
Authors: Jain Arihant Kumar , Sharma Richa , Sharma Anima
Published: October 2018

In these days circumstance, the security frames the most essential segment of our lives. Security of the house or the close what's more, dear ones is critical to everyone. Home computerization is an energizing zone for security applications. This field has improved with new advances such Internet of things (IoT). In IoT, each device carries on as a little piece of a web hub and each hub associate and convey. Of late, surveillance cameras are used keeping in mind the end goal to construct security spots, homes, and urban communities. Be that as it may, this innovation needs a man who recognizes any issue in the edge taken from the camera. In this paper, an Internet of Things is joined with PC vision so as to identify the characteristics of individuals. For this reason, to execute this framework, a charge card measure PC that uses its own particular camera board for the security framework, for example, raspberry pi 3 used. In like manner, Passive Infrared Sensor (PIR) mounted on the Raspberry PI is used to identify any developments. So it screens and gets warnings when movement is distinguished, catches the picture and identify the faces, at that point sends pictures to a Smartphone by means of using wire application. Internet of things in light of wire application used to see the action and get sees when development is distinguished.
Wayeb: a Tool for Complex Event Forecasting
Authors: Alevizos Elias , Artikis Alexander , Paliouras Georgios
Published: October 2018

Complex Event Processing (CEP) systems have appeared in abundance during the last two decades. Their purpose is to detect in real–time interesting patterns upon a stream of events and to inform an analyst for the occurrence of such patterns in a timely manner. However, there is a lack of methods for forecasting when a pattern might occur before such an occurrence is actually detected by a CEP engine. We present Wayeb, a tool that attempts to address the issue of Complex Event Forecasting. Wayeb employs symbolic automata as a computational model for pattern detection and Markov chains for deriving a probabilistic description of a symbolic automaton.
Detection of Anomalous Value in Data Mining.
Authors: Dipakkumar Pandya Darshanaben , Gaur Sanjay
Published: October 2018

In the database of numeric values, outliers are the points which are different from other values or inconsistent with the rest of the data. They can be novel, abnormal, unusual or noisy information. Outliers are more attention-grabbing than the high proportion data. The challenges of outlier detection arise with the increasing complexity, mass and variety of datasets. The problem is how to manage outliers in a dataset, and how to evaluate the outliers. This paper describes an advancement of approach which uses outlier detection as a pre-processing step to detect the outlier and then applies rectangle fit algorithm, hence to analyze the effects of the outliers on the analysis of dataset.
Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions
Authors: Hermanns Holger , Biewer Sebastian , D'Argenio Pedro R. , Köhl Maximilian A.
Published: October 2018

Emission cleaning in modern cars is controlled by embedded software. In this context, the diesel emission scandal has made it apparent that the automotive industry is susceptible to fraudulent behaviour, implemented and effectuated by that control software. Mass effects make the individual controllers altogether have statistically significant adverse effects on people’s health. This paper surveys recent work on the use of rigorous formal techniques to attack this problem. It starts off with an introduction into the dimension and facets of the problem from a software technology perspective. It then details approaches to use (i) model checking for the white-box analysis of the embedded software, (ii) model- based black-box testing to detect fraudulent behaviour under standardized conditions, and (iii) synthesis of runtime monitors for real driving emissions of cars in-the-wild. All these efforts aim at finding ways to eventually ban the problem of doped software, that is, of software that surreptitiously alters its behaviour in certain circumstances – against the interest of the owner or of society.
Design and Implementation of Modified Butterworth Filter for Watermarking
Authors: Somwanshi Devendra Kumar , Chhipa Indu , Gupta Rohita
Published: October 2018

In today’s world, Internet is becoming more popular for every human. There are various issues and challenges in data security in internet system like the authenticity of content or matter is crucial factor for solving the problem of copying, modifying, and distributing the intellectual properties in an illegal way. Watermarking can resolve the stealing problem of intellectual properties. This includes design and implementation of watermarking techniques such as basic DCT, DCT with existing Butterworth filter and DCT with modified Butterworth filter. It concluded that PSNR value is highest and MSE value is lowest for DCT Watermarking technique using Modified Butterworth filter.
Formal veriﬁcation of the YubiKey and YubiHSM APIs in Maude-NPA
Authors: González-Burgueño Antonio , Aparicio-Sánchez Damián , Escobar Santiago , Meadows Catherine , Meseguer José
Published: October 2018

We perform an automated analysis of two devices developed by Yubico: YubiKey, de- signed to authenticate a user to network-based services, and YubiHSM, Yubico’s hardware security module. Both are analyzed using the Maude-NPA cryptographic protocol an- alyzer. Although previous work has been done applying formal tools to these devices, there has not been any completely automated analysis. This is not surprising, because both YubiKey and YubiHSM, which make use of cryptographic APIs, involve a number of complex features: (i) discrete time in the form of Lamport clocks, (ii) a mutable memory for storing previously seen keys or nonces, (iii) event-based properties that require an analysis of sequences of actions, and (iv) reasoning modulo exclusive-or. Maude-NPA has provided support for exclusive-or for years but has not provided support for the other three features, which we show can also be supported by using constraints on natural numbers, protocol composition and reasoning modulo associativity. In this work, we have been able to automatically prove security properties of YubiKey and find the known at- tacks on the YubiHSM, in both cases beyond the capabilities of previous work using the Tamarin Prover due to the need of auxiliary user-defined lemmas and limited support for exclusive-or. Tamarin has recently been endowed with exclusive-or and we have rewritten the original specification of YubiHSM in Tamarin to use exclusive-or, confirming that both attacks on YubiHSM can be carried out by this recent version of Tamarin.
Function Summarization Modulo Theories
Authors: Asadi Sepideh , Blicha Martin , Fedyukovich Grigory , Hyvärinen Antti , Even-Mendoza Karine , Sharygina Natasha , Chockler Hana
Published: October 2018

SMT-based program verification can achieve high precision using bit-precise models or combinations of different theories. Often such approaches suffer from problems related to scalability due to the complexity of the underlying decision procedures. Precision is traded for performance by increasing the abstraction level of the model. As the level of abstraction increases, missing important details of the program model becomes problematic. In this paper we address this problem with an incremental verification approach that alternates precision of the program modules on demand. The idea is to model a program using the lightest possible (i.e., less expensive) theories that suffice to verify the desired property. To this end, we employ safe over-approximations for the program based on both function summaries and light-weight SMT theories. If during verification it turns out that the precision is too low, our approach lazily strengthens all affected summaries or the theory through an iterative refinement procedure. The resulting summarization framework provides a natural and light-weight approach for carrying information between different theories. An experimental evaluation with a bounded model checker for C on a wide range of benchmarks demonstrates that our approach scales well, often effortlessly solving instances where the state-of-the-art model checker CBMC runs out of time or memory.
Analysis for Denoising of ECG Signals Using NLMS Adaptive Filters
Authors: Saxena Chhavi , Upadhyaya Vivek , Gupta Hemant Kumar , Sharma Avinash
Published: October 2018

Electrocardiogram (ECG) signal is the signal which consists of the parameters which reflects the electrical representation of heart activity. The main components which are shown by the ECG signal have some important attributes of human heart as well as some hidden information of heart. The information which is found from the ECG signal is so much meaningful to derive various vital parameters related to heart. But the ECG signal can easily be affected with the Noise. Noise is the signal which distorts or interfere the actual power level of ECG signal, this can be due to the motion artifacts or due to the power sources which are resided where this ECG had been taken The ECG system which is typically based on computer have some units, the very first unit is used for pre-processing of ECG signal, second unit is used to detect the heart beats, third unit is used for feature extraction & the last one is used for classification. Signal processing unit which is used for ECG signal is much important for both research & clinical experiments. The artifacts which are analyzed due to the motion & shown in the heart beat processing can effectively remove & the ECG signal is cleaned after using LMS, NLMS and Notch processing. This paper comprises of result and analysis of ECG signal processing using NLMS algorithm & shows its important role in the biomedical applications.
Decidable Inequalities over Infinite Trees
Authors: Bauer Sabine , Jost Steffen , Hofmann Martin
Published: October 2018

Linear tree constraints are given by pointwise linear inequalities between infinite trees labeled with nonnegative rational numbers. Satisfiablity of such constraints is at least as hard as solving the Skolem-Mahler-Lech Problem. We provide an interesting subcase, for which we prove that satisfiablity is decidable. Our decision procedure is based on intricate arguments using automata and combinatorics of words.

Our subcase allows to construct an inference mechanism for resource bounds of object oriented Java-like programs: actual resource bounds can be read off from solutions of tree constraints. So far, only the case of degenerated tree constraints (i.e. lists) was known to be decidable which, however, is insufficient to generally solve the given resource analysis problem. The present paper therefore provides a generalisation to trees of higher degree in order to cover the entire range of constraints encountered by resource analysis.
Utility of Li-Fi in Railways
Authors: Porwal Arpit , Ojha Garima , Kalani Geet
Published: October 2018

The Li-Fi is another remote innovation to give the availability with in restricted system condition. The primary rule of this innovation is we can transmit the information utilizing light brightening by utilizing light-producing diodes where radio recurrence is media in Wi-Fi and Driven globule light power is speedier than human eye can take after. Prof Harald Haas a specialist in optical remote correspondences at the University of Edinburgh, he was shown how a LED globule furnished with flag handling innovation could stream a top quality video to a PC. By utilizing this innovation a one-watt Driven light would be sufficient to give net network to four PCs. He begat the term "light constancy" or li-fi and set up a privately owned business, Unadulterated VLC, to misuse the innovation. . He imagines a future where information for workstations, PDAs, and tablets is transmitted through the light in a room. What's more, security would be snap – on the off chance that you can't see the light, you can't get to the information.
Towards Smarter MACE-style Model Finders
Authors: Janota Mikolas , Suda Martin
Published: October 2018

Finite model finders represent a powerful tool for deciding problems with the finite model property, such as the Bernays-Sch ̈onfinkel fragment (EPR). Further, finite model finders provide useful information for counter-satisfiable conjectures. The paper investigates several novel techniques in a finite model-finder based on the translation to SAT, referred to as the MACE-style approach. The approach we propose is driven by counterexample abstraction refinement (CEGAR), which has proven to be a powerful tool in the context of quantifiers in satisfiability modulo theories (SMT) and quantified Boolean formulas (QBF).

One weakness of CEGAR-based approaches is that certain amount of luck is required in order to guess the right model, because the solver always operates on incomplete information about the formula. To tackle this issue, we propose to enhance the model finder with a machine learning algorithm to improve the likelihood that the right model is encountered. The implemented prototype based on the presented ideas shows highly promising results.
Variabilitas Curah Hujan Indonesia dan Hubungannya dengan ENSO/IOD: Estimasi Menggunakan Data JRA-25/JCDAS
Authors: Hidayat Rahmat , Ando Kentaro
Published: October 2018

Rainfall variability over Indonesia and its relation to El Niño – Southern Oscillation (ENSO) and the Indian Ocean Dipole (IOD) events were investigated using the Japanese 25-year reanalysis/Japan Meteorological Agency (JMA) Climate Data Assimilation System (JRA-25/ JCDAS). The JRA-25 data consistently depicts seasonal variation of Indonesian rainfall with a wet season that peaks at December-January and a dry season that peaks in July-August when the convection belt moved northward. Composite analysis of rainfall, sea surface temperature and low-level wind anomalies have shown that the impact of ENSO/IOD on rainfall variations in Indonesia is clearly dominant during dry season. Drought conditions typically occur during El Niño years when SST anomalies surrounding Indonesia are cool and walker circulation is weakened, resulting in anomalous surface easterlies across Indonesia. In contrast, in the wet season, the weakening of the relationship between ENSO and Indonesian rainfall is linked to the transition between surface southeasterlies to northwesterlies. At this time persistent surface easterly anomalies across Indonesia superimposed on the climatological mean winds during a warm phase of ENSO event acts to reduce the wind speed resulting reduced the negative DJF rainfall anomalies.
Prediksi Awal Musim Hujan di Jawa Menggunakan Data Luaran Regional Climate Model Version 3.1 (RegCM3)
Authors: Rohmawati Fithriya Yulisiasih , Boer Rizaldi , Faqih Akhmad
Published: October 2018

Monsoon onset information plays an important role in setting up planting strategy for achieving optimum yield. This study aimed to develop forecasting model for the monsoon onset in main rice growing area of Java used Regional Climate Model Version 3.1 (RegCM3). The forecasting models of the monsoon onset and September-Oktober-November (SON) rainfall data were developed using regression model that have the highest coefficient determination and the models were tested using likelihood ratio test. It was found that the forecasting models of the monsoon onset and September-Oktober-November rainfall data were polynomial orde 2 or cuadratic that have coefficient determination 69%, 74%, 80% and 86%. Likelihood ratio test found that RegCM3 rainfall data was not significantly different with observation rainfall data (α = 0.05). Onset in Java between 25th until 34th of 10-days period (early September until early December).
Pengaruh Ketinggian Tempat dan Curah Hujan Pada Penyakit Diare (Studi Kasus: Kabupaten Bogor)
Authors: Syafei Muhammad , Hidayati Rini
Published: October 2018

This study aimed to determine the effect of altitude and rainfall on the incidence of disease ( IR ) diarrhea, and to obtain threshold values ​​of rainfall that often cause diarrhea. Determination category of normal rate of diarrhea IR is based on diarrhea IR by DINKES Bogor in the amount of 20-25/1000 population per year, while the determination of precipitation category is based on consideration of Oldeman climate classification. The results showed that there were two districts with very high levels of vulnerability i.e.  Cisarua and Cijeruk, while the other regions only at a moderate level. The negative influence of altitude (or positive influence of temperature) on the IR will be evident if the analysis is separated between in the highlands (> 600 asl) and the lowlands (< 600 asl). This influence is significant, especially at altitudes above 600 meters above sea level. The correlation of the precipitation is significant negative linear to the incidence of diarrhea in the district Cisarua, Cibinong, Jonggol, and Jasinga. In districts Cibinong, Jonggol, and Jasinga, precipitation should be anticipated in the range of 100-200 mm/month, where moderate IR often occurs, while in the district Cisarua, is in the range of precipitation 300-400 mm/month, where high IR often occurs.
INFLUENCIA DE ORGANIZACIONES EN EL DESARROLLO RURAL: CASO DE SALINAS, SAN LUIS POTOSÍ
Authors: Pérez-Hernández Luz María , Figueroa-Sandoval Benjamín , Díaz-Puente José María , Almeraya-Quintero Silvia Xochilt
Published: October 2018

La organización es considerada como elemento estratégico en el desarrollo de una localidad rural, ya que a través de ésta se obtienen mayores benef icios, permite a las personas desarrollar sus capacidades y son impulsoras de proyectos dentro de las comunidades. Sin embargo, es común que los territorios rurales cuenten con un tejido asociativo desarticulado que limita esas posibilidades. Por lo anterior se planteo conocer las causas de la escasa participación de la sociedad en grupos organizados y la problemática que enfrentan las organizaciones asentadas en un territorio, a través de un estudio de caso en el municipio de Salinas, San Luis Potosí, México, en 2009. El objetivo de este trabajo es identificar las causas que están originando que la organización no tenga impacto en el municipio, lo que permitirá formular una estrategia para lograr que ésta sea un motor de desarrollo en el territorio. Los resultados indican que la mayoría de las personas no participan en ningún tipo de organización aún cuando les gusta trabajar en grupo. En general, las organizaciones se enfrentan a dif icultades para tomar acuerdos y cumplir los compromisos adquiridos. Las organizaciones formales en el municipio incluyen organizaciones económicas y de representación. Ambas presentan problemas internos relacionados con la falta de recursos económicos, la escasa capacitación y la falta de compromiso del grupo; elementos que no han permitido su consolidación y su participación en el desarrollo del territorio.
COMPORTAMIENTO DEL CONSUMO DE PAPA (Solanum tuberosum L.) FRESCA EN MÉXICO
Authors: Sabbagh-Sánchez Adriana , García-Salazar José Alberto , Matus-Gardea Jaime Arturo , Jiménez-Sánchez Leobardo , Hernández Juárez Martín
Published: October 2018

Los productores mexicanos de papa fresca (Solanum tuberosum L.) sostienen actualmente, que un aumento en el consumo per capita sería la solución a los problemas relacionados con el mercado del tubérculo. El objetivo del presente estudio es conocer el comportamiento del consumo de papa fresca, en el largo plazo; por lo tanto, se formuló y estimó un modelo de ecuaciones simultáneas compuesto de dos ecuaciones de oferta, una de demanda, cuatro ecuaciones de precios y dos identidades. El modelo fue estimado por el método de mínimos cuadrados ordinarios, en dos etapas usando datos nacionales anuales en el periodo 1960-2006. Los resultados indicaron que de periodo 2000-2007 el consumo per capita anual de papa fresca fue de 16 kg por habitante, y que los factores que explican el comportamiento de esta variable fueron: el precio al consumidor de la papa (PCPR), el precio de la tortilla (PTR), el precio al consumidor del huevo (PCHR), el precio al consumidor del arroz (PCAR), el precio al consumidor de la carne de cerdo (PCCCR), el precio al consumidor de la carne de pollo (PCCPR), el presupuesto para el consumo real per capita (PCRP) y la cantidad demandada de papa con un año de retraso (QDPt-1), con elasticidades de -0.2, 0.2, -0.1, -0.2, -0.004, -0.3, 0.2 y 0.13, respectivamente. La tendencia de los factores que afectan el consumo de papa fresca indicó que, en el largo plazo, el consumo per capita anual será de 20 kg por habitante, cifra muy inferior a más de 80 kg por habitante consumidos en la actualidad por los europeos; por lo tanto, los productores nacionales deben buscar dar valor agregado a la papa fresca, a través del procesamiento del producto.
APLICACIÓN DE LA METODOLOGÍA BOX-JENKINS PARA PRONÓSTICO DE PRECIOS EN JITOMATE
Authors: Marroquín Martínez Gaspar , Chalita Tovar Luis Eduardo
Published: October 2018

Los productos del sector agroalimentario tienen como características económicas distintivas, la alta variabilidad en sus precios. Teniendo en cuenta la incertidumbre de los precios, una posible forma de planificar racionalmente la toma de decisiones, que consiste en elaborar pronósticos confiables del comportamiento futuro de esa variable. En este trabajo se usó la metodología Box-Jenkins, para identif icar un modelo econométrico autoregresivo integrado de media móvil (ARIMA), que se ajusta al comportamiento de la serie de tiempo de precios nominales en venta al mayoreo de jitomate bola en México. Se concluye de acuerdo a los resultados, que la serie de tiempo objeto de estudio, se ajusta a un modelo ARIMA (23, 0, 1), dicho modelo posee dos factores autoregresivos y uno de media móvil. Con el modelo se hicieron pronósticos para 12 meses, los cuales comprenden de diciembre de 2008 a noviembre de 2009.
DESARROLLO DE FRUTO Y SEMILLA DE CINCO VARIEDADES DE TOMATE DE CÁSCARA EN SINALOA
Authors: Rodríguez-Burgos Alejo , Ayala-Garay Oscar Javier , Hernández Livera Adrián , Leal-León Víctor Manuel , Cortez-Mondaca Edgardo
Published: October 2018

El tomate de cáscara se explota en Sinaloa, México, desde hace 20 años y su importancia se incrementó en la última década. Existe muy poca información sistematizada del manejo y potencial productivo de diferentes variedades. Se estudió el desarrollo de fruto y semilla, y la calidad de esta, en cinco variedades (Querétaro, Rendidora, Mahone, Orizaba, Carriceño) sembradas en dos fechas (FS1: 6 de septiembre y FS2: 16 de octubre de 2008). Las variedades Querétaro y Mahone tuvieron en promedio un fruto más largo (37 y 34 cm), ancho (43 y 40 cm) y pesado (38 y 34 g) respectivamente, esto llevó a la variedad Querétaro un rendimiento de fruto (RendF) más alto (53 t ha-1). El mejor desarrollo de cultivo se observó en FS1, debido que en FS2 se presentó un fuerte ataque de cenicilla (Podosphaera xanhtii), obteniéndose un RendF 7.5 veces menor. La cinética de crecimiento del peso de fruto fue sigmoidal y mostró que el máximo se alcanzó a los 35 días después de la floración (DF) (38 g). Existieron diferencias en la cinética del crecimiento del peso de mil semillas entre ambas FS, mientras que en FS1 el crecimiento fue lineal, significa que el máximo no se alcanzó a 56 DF (último muestreo), en FS2 el crecimiento llegó a un máximo a los 42 DF (1.26 g). Igualmente la germinación y vigor de la semilla (primer conteo en la prueba de germinación) alcanzaron el máximo a los 56 DF (82% y 71%, respectivamente).
ANATOMÍA DE LA LÁMINA DE HOJA EN OCHO CULTIVARES DE AGUACATE
Authors: González-Calderón Víctor Manuel , Barrientos-Priego Alejandro Facundo , Núñez-Colín Carlos Alberto , Ramírez-Ramírez Sweetia Paulina , Hofshi Reuben , Lu Arpaia Mary
Published: October 2018

Actualmente en el mundo existen programas de mejoramiento genético en aguacate, para la obtención de nuevos cultivares y portainjertos, con el fin de incrementar productividad y problemas relacionados con estrés en el suelo. El caso de ‘Lamb Hass’ se ha encontrado que presenta características en hojas como mayor tasa de asimilación de CO2 y resistencia al ácaro persea. Estas características pueden estar relacionadas directamente con la anatomía de la hoja. Por lo que es importante conocer dichas características en actuales y nuevos cultivares: ‘Hass’, ‘Reed’, ‘Gwen’, ‘GEM’, ‘Lamb Hass’, ‘Harvest’, BL667 (‘Nobel’) y BL516 (‘Marvel’). Durante 2007 en Chapingo, México, se realizaron cortes transversales de lámina foliar, donde se evaluaron características anatómicas. Se encontraron variables que no presentaron diferencias entre cultivares, que puede adjudicarse a que todos los genotipos utilizados en este estudio excepto ‘Reed’, provienen de un ancestro común ‘Hass’. La agrupación de los cultivares es posible de acuerdo a características anatómicas de su lámina foliar, donde existe variación en las mismas que pueden interpretarse desde el aspecto fisiológico y sus semejanzas por su ancestría. ‘Gwen’, ‘Hass’, ‘Marvel’ y ‘GEM’, presentaron una cutícula más ancha y un menor ancho de células de parénquima en empalizada, mientras que ‘Reed’, ‘Nobel’ y ‘Lamb Hass’, presentaron características contrastantes con los primeros, ‘Harvest’ presentó valores intermedios. El cultivar ‘Lamb Hass’ presentó anatomía de la lámina foliar con características para llevar a cabo más eficientemente la fotosíntesis, debido a los mayores valores que presentó en su parénquima en empalizada I.
PERLA-101: NUEVA VARIEDAD DE SORGO PARA EL ESTADO DE SINALOA
Authors: Hernández Espinal Luis Alberto , Moreno Gallegos Tomás , Reyes Jiménez Juan Esteban , Loaiza Meza Alfredo
Published: October 2018

La nueva variedad de sorgo Perla-101 fue desarrollado en el Campo Experimental Valle de Culiacán (CEVACU), del Instituto Nacional de Investigaciones Forestales Agrícolas y Pecuarias (INIFAP) y registrado con el número: 1355-SOG- 466-121200/C en el Catálogo de Variedades Factibles de Certificación (CVC) de México; esta variedad se adapta a las áreas productoras de sorgo para el estado de Sinaloa. Perla-101, es una variedad de grano crema y se recomienda para condiciones de riego y temporal; el rendimiento promedio de la variedad es de 3 470 kg ha-1 de grano y 22 500 kg ha-1 de forraje verde, supera en promedio 14% y 10% respectivamente, el rendimiento de híbridos comerciales de compañías privadas, que se cultivan en la región bajo las mismas condiciones. Perla-101 tiene mejor calidad bromatológica que los híbridos comerciales en el forraje, con 9.7% de proteína y 66% de digestibilidad, supera en promedio 3.2% y 8% respectivamente, a los híbridos comerciales. Es tolerante a enfermedades que se presentan en la región, como son: ergot (Claviceps african), antracnosis (Colletotrichum graminícola), tizón de la panoja (Fusarium moniliforme) y pudrición carbonosa del tallo (Macrophomina phaseolina).
Experimental study of the extraction of chromium (III) from nitrate medium by lauric acid
Authors: Guerdouh Amel , Barkat Djamel
Published: October 2018

The solvent extraction of chromium (III) with lauric acid (HL) at 25°C is studied as a function of various parameters: pH of the aqueous phase, the concentration of lauric acid and the nature of the solvent. The solvent effects on the extraction of chromium (III) using polar and nonpolar solvents has been observed. It was shown that extracted species of the [Cr(OH)L2·2HL] formula are formed in cyclohexane, dichloromethane, chloroform, and toluene. However, in 1- -octanol or methyl isobutyl ketone, it was found a complex of the type [Cr(OH)L2]. The extraction constants and extraction yield (%E) are also calculated for different solvents. It was found that cyclohexane is the preferred solvent for this extraction system, The maximum extraction yield is accomplished using the cyclohexane as a solvent on 1:1 L/L ratio, and pH value of 4.73.
Effect of Sample Size on the Profile Likelihood Estimates for Two-stage Hierarchical Linear Models
Authors: Akter Noor Jahan , Khan Md Hasinur Rahaman
Published: October 2018

Determining sample size to produce accurate parameter estimates and make valid inferences about population parameter is a pivotal problem in any well planned research. The issue of sample size becomes more complex in hierarchical linear models because the units at different levels are hierarchically nested. Many studies have been carried out to determine sample sizes at different levels of a nested data model. However, most of the studies assume that the sample size is large enough to conduct the significance test. Some alternative methods can be used to relax the assumption of large sample. Profile likelihood method is more robust in case of small sample and when the variance components need to be estimated. In this study, we investigate the effect of sample sizes on the performance of parameter estimates at the group-level and individual-level of a two-level regression model. We consider a more appropriate statistical approach, profile likelihood method, to check the reliability of estimates of fixed coefficients and variance components.