bluuebunny/crossref_metadata_2025 huggingface dataset:
Oxisteroles: entre la salud y la enfermedad
Authors: Soto Rodríguez Ida , Ramos Manuel Luis Enrique , Barrientos Salcedo Carolina
Published: October 2018

El colesterol es un esteroide de origen animal que cumple numerosas funciones metabólicas, es un precursor de ácidos biliares, de los esteroles fecales, de la vitamina D y de las hormonas esteroideas. Este esteroide es sintetizado en el hígado y otros tejidos, y puede ser absorbido a través de alimentos que se encuentran en nuestra dieta. Tiene una doble ligadura susceptible de oxidarse formando oxiesteroles. No obstante que se encuentran en pequeñas concentraciones son moléculas versátiles porque participan en diversas funciones metabólicas, favorecen algunas patologías ó regulan la expresión de los genes. La intervención de los oxiesteroles en la aterosclerosis es la patología más estudiada, aunque también se ha estudiado su participación en enfermedades neurodegenerativas como el Alzheimer. A partir de la manipulación genética in vivo, así como el uso de simulaciones por ordenadores, se podrá comprender cómo los oxiesteroles gobiernan la señalización celular, modulan la expresión génica, e influyen en nuestra salud o enfermedad.Palabras clave: Colesterol; esteroide; oxiesteroles; aterosclerosis; Alzheimer AbstractCholesterol is a steroid of animal origin that meets numerous metabolic functions, is a pre­cursor of bile acids, fecal sterols, vitamin D and steroid hormones. This steroid is synthesized in the liver and other tissues, and can be absorbed through foods that are found in our diet. It has a double ligature susceptible to oxidizing forming oxysterols. Nevertheless they are found in slight concentrations are versatile molecules because they participate in diverse metabolic functions, they advantage some pathologies or they regulate the expression of the genes. The intervention of oxysterols in atherosclerosis is the most studied pathology, although its parti­cipation in neurodegenerative diseases such as Alzheimer’s has also been studied. So that the novel analytical tools will promote the study of oxysterols health or illness.Keywords: Cholesterol, steroid, oxysterols, atherosclerosis, Alzheimer
Perspectivas para el estudio del bienestar: Observatorio de Calidad de Vida y Salud Social
Authors: Beltrán Guerra León Felipe , Arellanez Hernández Jorge Luis , Romero Pedraza Enrique
Published: October 2018

En el presente trabajo se presenta la propuesta del Observatorio de Calidad de Vida y Salud Social de la Universidad Veracruzana, que -desde los planteamientos de la ONU contenidos en los Objetivos del Desarrollo Sostenible; en el Programa de las Naciones Unidas para el Desarrollo así como diversos estudios del Desarrollo Humano- utiliza una  perspectiva multidimensional para abordar los estudios sobre bienestar, desde, con el fin de sistematizar información que contribuya a la toma de decisiones para incidir en la mejora de las condiciones de bienestar y salud social en México.Palabras clave: bienestar; bienestar subjetivo; calidad de vida; salud social; condiciones de vida AbstractPresent work presents the proposal of the Observatory of Quality of Life and Social Health of the Universidad Veracruzana, which -from the proposals of the UN contained in the Sustaina­ble Development Goals; in the United Nations Development Program as well as various studies of Human Development - uses a multidimensional perspective to address welfare studies, in order to systematize information that contributes to decision making to influence the improve­ment of the conditions of welfare and social health in Mexico.Keywords: wellbeing; subjective wellbeing; quality of life; social healt; life conditions
Crescimento e acúmulo de biomassa em milho irrigado com água salina
Authors: Sena Elânia Soares de , Rodrigues Valdécio Dos Santos , Sousa Geocleber Gomes de , Sales Jonnathan Richeds da Silva , Leite Kelly Nascimento , Ceita Emanuel D´Araújo Ribeiro de
Published: October 2018

A salinidade da água é um dos maiores problemas que limita o crescimento e a produção agrícola nas regiões de climas árido e semiárido do Nordeste. O objetivo do trabalho foi avaliar o efeito do estresse salino da água de irrigação no crescimento inicial e no acúmulo de biomassa do milho. O experimento foi conduzido em campo no período de agosto a setembro de 2017, na fazenda experimental de Piroás da Universidade da Integração Internacional da Lusofonia Afro-Brasileira. O experimento foi conduzido no delineamento em blocos casualizados e quatro repetições. Os tratamentos foram constituídos de cinco condutividade elétrica da água de irrigação (1,0; 2,0; 3,0; 4,0 e 5,0 dSm-1). Aos 45 dias após a semeadura foram analisadas a altura de plantas, diâmetro do caule, número de folhas, área foliar, comprimento da raiz, massa seca da parte aérea, da raiz e total. Todas as variáveis foram reduzidas linearmente com o aumento da salinidade na água de irrigação. O aumento do teor salino das águas de irrigação foi prejudicial ao crescimento em altura, diâmetro do caule, número de folhas, área foliar e comprimento da radicular, também afetou negativamente o acúmulo da matéria seca da parte aérea, da raiz e total das plantas de milho.
Reprodução de minhocas em substratos orgânicos e a percepção de agricultores familiares sobre a minhocultura
Authors: Farias José Ray Martins , Batista Regiane Farias , Farias Paulo Cesar Batista de , Vital Adriana De Fátima Meira , Santos Rivaldo Vital dos
Published: October 2018

A pesquisa objetivou avaliar a reprodução de minhocas Eisenia foetida, em diferentes substratos e o entendimento dos agricultores familiares de três comunidades rurais do Município de Coxixola, estado da Paraíba, Brasil, sobre a vermicompostagem. O experimento foi conduzido em duas etapas: estudo de percepção com os agricultores e ensaio de campo, montado na fazenda experimental do CDSA/UFCG campus Sumé-PB, para testar a eficiência de diferentes substratos para reprodução das minhocas. O experimento foi montado nos meses de março a maio de 2017, com o delineamento experimental inteiramente casualisado, utilizando 5 tratamentos: estercos bovino (EB), ovino (EO) e caprino (EC) curtidos por um período de quinze dias, composto orgânico (CO) e a mistura proporcional dessas quatro fontes orgânicas (MIX); em 4 repetições, totalizando 20 unidades experimentais. Após 60 dias da instalação do experimento, avaliaram-se o número de indivíduos jovens e adultos, o número de casulos, o comprimento, a biomassa de todos os indivíduos e o índice de multiplicação das minhocas. Aos 60 dias de criação, a E. foetida teve taxa de reprodução significativa, sendo que os tratamentos Mix e esterco bovino apresentaram os melhores resultados para as variáveis estudadas. Quanto ao estudo da percepção dos agricultores sobre o uso de minhocas na produção agrícola, verificou-se que todos desconheciam a prática, apresentando uma visão distorcida sobre a presença destes representantes da macrofauna do solo e evidenciando a urgência da disseminação da atividade como prática de conservação do solo e geradora de renda para o povo camponês.
PENGARUH PERBEDAAN LAMA EKSTRAKSI TEH PUTIH DENGAN MENGGUNAKAN METODE MICROWAVE ASSISTED EXTRACTION (MAE)
Authors: Widyasanti Asri , Aryadi Heri , Rohdiana Dadan
Published: October 2018

Teh putih merupakan teh yang diolah dari pucuk (peko) Camellia sinensis melalui proses pelayuan dan pengeringan. Proses pengolahan yang minim tersebut diduga menyebabkan kandungan polifenolnya lebih tinggi dibandingkan dengan jenis teh lainnya. Tujuan dari penelitian ini adalah untuk mengetahui pengaruh lama ekstraksi yang berbeda terhadap sifat fisikokimia ekstrak teh putih dengan menggunakan Microwave Assisted Extraction (MAE). Lama ekstraksi yang digunaka yaitu 2, 4, 6, dan 8 menit dengan level daya 70% (490 W). Metode yang digunakan adalah percobaan laboratorioum dengan analisis deskriptif. Parameter yang diuji dilakukan meliputi rendemen total, kadar sisa pelarut, bobot jenis, warna, dan kadar polifenol. Hasil penelitian menunjukan perbedaan lama ekstraksi pada proses ekstraksi mempengaruhi nilai rendemen ekstraksi dan mutu ekstrak dengan penggunaan lama ekstraksi 8 menit sebagai perlakuan terbaik dengan nilai rendemen total sebesar 29,14%; nilai rendemen filtrasi 65,79%; rendemen evaporasi sebesar 7,60%; bobot jenis ektrak sebesar 1,1028 dan kadar polifenol sebesar 63,60%. hasil menunjukan nilai yang lebih baik dibandingkan dengan maserasi dengan rendemen total hasil maserasi 24,11%; nilai rendemen filtrasi 41,57%; rendemen evaporasi sebesar 4,45%; bobot jenis ekstrak sebesar 1,1008 dan kadar polifenol sebesar 48,35%. Dapat dilihat dari hasil penelitian ini menunjukan terdapat pengaruh gelombang mikro pada sifat fisikokimia ekstrak teh putih yang menunjukan pengaruh terbesarnya terdapat pada penggunaan level daya 70% dan lama ekstraksi 8 menit.
Extensional Messinian basins in the Central Mediterranean (Calabria, Italy): new stratigraphic and tectonic insights
Authors: Milia Alfonsa , Torrente Maurizio M.
Published: October 2018

The direction of extension and the architecture of the Messinian basins of the Central Mediterranean region is a controversial issue. By combining original stratigraphic analysis of wells and seismic profiles collected offshore and onshore Calabria, we reassess the tectonic evolution that controlled the sedimentation and basement deformation during Messinian times. Three main deep sedimentary basins in the Calabria area record a Messinian succession formed by two clays/shales-dominated subunits subdivided by a halite-dominated subunit. The correlation with the worldwide recognized stratigraphic features permit to define the chronology of the stratigraphic and tectonic events. Three main rift basins that opened in a N-S direction have been recognized. On the contrary a fourth supradetachment basin opened toward the East. We found that the basin subsidence was controlled by two stages of activity of normal faults and that Messinian rift basins evolve in a deep-water environment. The overall pattern of extensional faults of the Central Mediterranean corresponds to normal faults striking parallel to the trench and normal faults striking at an oblique angle to the trench (Fig. 14). In particular in Campania and Calabria regions are present two rifts parallel to trench and an intervening rift orthogonal to the trench. We maintain that the recognized Messinian rift basins can be interpreted according to the “Double-door saloon tectonics”.
Personalized approach of a hormonal contraceptive for patients requiring control of body weight (review)
Authors: Pestrikova T Yu , Yurasova E A
Published: October 2018

Hormonal contraceptives are protected from undesirable pregnancy, but also have a row of other useful, uncontraceptive effects, both in regard to the reproductive system and all organism on the whole. An in this connection not insignificant role is executed by progestagens that is included in the complement of contraceptive. Drospirenone is enters in complement of a hormonal contraceptives, possesses to antimineralocorticoid activity, prevents to the delay of natrium and liquid in an organism, that supports stability of body weight, level of arterial pressure, prevents to sickly increase of mammary glands. Drospirenone renders an effect on the RAAS-system, similar spironolactone. Personalized approach of a hormonal contraceptive which contains of drospirenone is the mortgage of control of normal body weight, what is discussed in the article on the example of the drug Midiana.
Progesterone contraceptives: a place in practical gynecology (to practitioner aid)
Authors: Dobrokhotova Y E , Borovkova E I , Zalesskaya S A
Published: October 2018

Progesterone-containing contraceptives do not have a significant impact on metabolic processes and can be prescribed to patients with systemic (diabetes mellitus, obesity) and other diseases. Desogestrel is a part of oral preparations in a dose of 75 mcg. The main mechanism of its contraceptive action is Suppression of ovulation (in 97% of cases). The frequency of pregnancy is 0.17 for 100 women-years. Progesterone-containing contraceptives should not be considered, as preparations of the second choice when deciding on the issue of family planning. According to the recommendations of the Center for Disease Control and Prevention organization of health, desogestrel is an acceptable contraceptive option for women with somatic diseases, defined tumor pathology and thrombotic states in the anamnesis.
Cancer of the vulva: genetic aspects of pathogenesis
Authors: Sobolev V V , Nevozinskaya Z A , Soboleva A G , Korsunskaya I M
Published: October 2018

The review is devoted to genetic research in cancer of the vulva. In genetic changes, the mutation irreversibly changes the nucleotide sequence of DNA, or the number of copies of chromosomes changes per cell. In epigenetics, the nucleotide sequence remains unchanged, but gene activity is regulated by methylation of DNA or modification of histones. Most of the studies analyzed are devoted to the study of mutations in the TP53 gene. Many studies indicate that somatic mutations are more common in HPV-negative than in HPV-positive patients. Epigenetic studies in the main devoted to hypermethylation. The gene CDKN2A is most often studied in epigenetic terms. For most of the studied genes, hypermethylation occurs more often in squamous cell carcinoma of the vulva than in the precursors.
Algumas reflexões sobre o fenômeno da violência escolar
Authors: Ferro Juliane Pivetta , Araújo Elson Luiz
Published: October 2018

A educação é uma prática livre, histórica, socialmente construída e reconstruída mediante as transformações sociais de cada época. Constitui uma prática emancipadora, capaz de superar o processo de alienação presente no cotidiano. Proporciona a formação da consciência social, a possibilidade de reestruturação do sistema sócio-político e a melhoria das condições de vida do indivíduo. Neste sentido, o educar é questionável ao apresentar no interior da escola situações conflituosas, como é o caso da violência. Torna-se fundamental os estudos que buscam compreender a dinâmica da violência no âmbito escolar e a pesquisa bibliográfica apresenta algumas reflexões da ocorrência deste fenômeno na escola e conclui preliminarmente que, embora não aconteçam no ambiente escolar as mais graves cenas de violência, seus reflexos são ameaçadores para o processo ensino/aprendizagem, pois coloca em risco o desempenho das atividades desenvolvidas na escola, prejudicando a relação professor/aluno e instituição, interferindo no processo de formação do indivíduo. Palavras-chave: Educação. Violência. Violência Escolar. Socialização.
Alunos surdos dos anos iniciais do ensino fundamental e a construção do número
Authors: Rodrigues Rosiane da Silva , Geller Marlise
Published: October 2018

Este artigo analisa resultados de uma pesquisa de Mestrado sobre o ensino de conceitos numéricos iniciais com alunos surdos nos dois primeiros anos do Ensino Fundamental, em uma unidade especializada na educação de surdos. Por meio de uma abordagem qualitativa, constituíram-se reflexões sobre a importância do ensino ser pautado na língua de sinais e nas características pertinentes ao aluno surdo. O software Jclic configurou-se em uma ferramenta de auxílio à elaboração e aplicação de atividades, contribuindo para a aquisição dos conceitos numéricos e proporcionando opções de ludicidade e recursos para uma abordagem bilíngue, o que envolveu de maneira significativa os alunos na realização das tarefas.
Avaliações do Agir Modelagem na Formação Continuada do Professor de Matemática da Educação Básica
Authors: Bonotto Danusa de Lara , Scheller Morgana
Published: October 2018

Esta pesquisa tem como objetivo identificar as representações textualizadas acerca do agir modelagem – trabalho do professor de Matemática com Modelagem, materializadas nos textos de uma professora de Matemática, participante de um projeto de formação continuada com Modelagem. A abordagem metodológica é qualitativa e os dados foram constituídos por meio da produção escrita dos diários dos encontros de formação continuada. A análise dos textos realizou-se considerando os procedimentos de análise do Interacionismo Sociodiscursivo. Os resultados assinalam representações marcadas por conflitos estabelecidos na relação da professora com: i) as prescrições; ii) o real da atividade, iii) o processo de escrita e iv) o seu agir docente e o agir modelagem e também assinalam indicadores para ações de formação continuada.
Structural, optical and electrical properties of thermal evaporated nano sized In2Te3 thin films
Authors: R Revathi , R Karunathan
Published: October 2018

Indium Telluride thin films were prepared by thermal evaporation technique. Films were annealed at 573K under vacuum for an hour. Both as-deposited and annealed films were used for characterization. The structural parameters were discussed on the basis of annealing effect for a film of thickness 1500 Å. Optical analysis was carried out on films of different thicknesses for both as - deposited and annealed samples. Both the as- deposited and annealed films exhibit direct and allowed transition. Electrical resistivity measurements were made in the temperature range of 303-473 K using Four-probe method. The calculated resistivity value is of the order of 10-6 ohm meter. The activation energy value decreases with increasing film thickness. The negative temperature coefficient indicates the semiconducting nature of the film.
Dendrochronology of sessile oak (Quercus petraea) on the transition between the sub-Mediterranean and temperate Continental climatic zones in Slovenia
Authors: Saražin Jaša , Resente Giulia Antonia , Balzano Angela , De Luis Martin , Merela Maks , Čufar Katarina
Published: October 2018

A local tree-ring chronology of sessile oak (Qercus petraea) was constructed for the site Klanec pri Kozini (KLA), Slovenia (45.59° N, 13.92° E, 450 m a.s.l.) located on the Karst edge on the transition from the sub-Mediterranean climatic to temperate Continental zones. The chronology is 93 years long and covers the period 1925–2017. A comparison with four local oak chronologies from Slovenia and 38 from the surrounding countries (distance 65–220 km) showed that KLA agreed best with the local oak chronology of Rožnik, Ljubljana (ROZ), and two other oak chronologies from central Slovenia (the surroundings of Novo mesto and Ljubljana), one from Croatia and one from Austria. Dendroclimatological analysis showed that the main factor affecting tree-ring variation is June temperature (negative effect) and March precipitation (positive effect), which to a great extent explain the relation to other chronologies. The negative effect of June (maximal) temperature has become increasingly significant in the last few decades, which can be ascribed to warming related to ongoing climatic change.
El Libro de Horas del infante don Alfonso en el contexto de la iluminación tardogótica de la Península Ibérica
Authors: Villaseñor Sebastián Fernando
Published: October 2018

El Libro de Horas del infante Alfonso (New York, Pierpont Morgan Library, M. 854) se ha relacionado tradicionalmente con Alfonso de Castilla (1453- 1468), hermano de Enrique (r. 1454-1474) e Isabel (r. 1474-1504). El posible patronazgo de Alfonso ha sido sugerido tanto por los escudos que aparecen al pie de los folios 15v y 34v, que corresponden a las armas de la casa real de Castilla, como por la posible representación del joven en dos miniaturas del manuscrito. El ejemplar muestra además una característica orla que bordea todas sus páginas presentando una tipología dominada por el empleo casi exclusivo del gris azulado con pequeñas matizaciones doradas, con una interesante decoración marginal. Uno de los aspectos más singulares son las concomitancias que presenta con otra serie de libros con los que es posible relacionarlo, producto de un taller unitario que habría que insertar en el contexto de la iluminación tardogótica desarrollada en Castilla durante la segunda mitad del siglo XV.
Serenissimae Anglie Reginae Erasmus Roterdami dono misit
Authors: Cahill Marrón Emma Luisa
Published: October 2018

El objetivo de esta comunicación será poner de manifiesto la relevancia que tuvo la llegada al trono de Isabel I de Castilla en la educación de las damasde su corte. Asimismo, esta idea enlazará con la importancia del nivel educativo de la reina Catalina de Aragón en su influencia en la corte Tudor.Por otra parte, su gran interés por el estudio de obras relacionadas con el humanismo influirá directamente en la educación de su hija y de la hija de Ana Bolena, Isabel I.
Constricciones y libertades ortográficas de los impresores en cuatro ediciones tempranas de Celestina
Authors: Prieto de la Iglesia Remedios
Published: October 2018

La catalogación y cuantificación de grafías que comprende este trabajo resaltan la labor de los impresores como configuradores de la ortografía a la vez que reflejan prácticas tipográficas ajenas a ella basadas en la estética, así como libertades en casos para los que no existían aún criterios consolidados.
Un breve estudio sobre precios en una biblioteca nobiliaria del siglo XVII
Authors: Torrego Casado Almudena
Published: October 2018

Don Jerónimo de Eguía y Eguía, I marqués de Narros consiguió reunir una biblioteca de unos 2.500 títulos en las postrimerías del siglo XVII y comienzos del XVIII. Parte de esta biblioteca fue heredada de su padre don Jerónimo de Eguía y Grifo. En las dos fuentes documentales principales utilizadas en la investigación –los inventarios almoneda de ambas bibliotecasaparecen expresadas las valoraciones económicas de las 303 obras que pasaron físicamente de una biblioteca a otra. Al conocer las tasaciones de este conjunto bibliográfico en ambas librerías, con un intervalo de 25 años, se ha podido realizar un estudio comparativo de las mismas, analizando cuáles fueron su plusvalía, revalorización y depreciación desde diversas perspectivas posibles. Añadimos un estudio sobre aquellos libros topográficamente impresos en España, y un breve reflejo de su cabida en el ámbito comercial de entonces.
Antonio Núñez de Miranda y los libros para la formación femenina en la Nueva España
Authors: Carreño Velázquez Elvia
Published: October 2018

Las bibliotecas conventuales femeninas en la Nueva España develan el modelo cultural al que toda mujer novohispana debía aspirar. Ciertamente, se ha pensado que su formación estaba centrada en los rezos y ritos litúrgicos. Sin embargo en el año 1712 el jesuita Antonio Núñez de Miranda sacó a la luz Distribución de las obras ordinarias y extraordinarias, en donde se indican los libros, los títulos, los autores, las partes y las ediciones que empleaban las mujeres. La obra toma relevancia por ser Núñez de Miranda confesor de Sor Juana Inés de la Cruz y por hallarse en tres acervos femeninos la lista completa de los libros indicados por el autor. Distribución de las obras ordinarias y extraordinarias, en consecuencia, no sólo da el universo literario al que la mujer tenía acceso, sino también su consumo y las características de impresión que los libros poseían como son formatos, grabados y lenguas.
Reseñas
Authors: Pedraza Gracia Manuel José , Gioia Tavoni Maria , Bas Martín Nicolás , Carpallo Bautista Antonio
Published: October 2018

Manuel José Pedraza Gracia = Incunabula universitatis: los incunables de las bibliotecas universitarias españolas. Edición a cargo de Ramón Rodríguez Álvarez. Oviedo, Universidad de Oviedo, 2015. 313 p. ISBN: 978-84-16046-82-9. 

Maria Gioia Tavoni = Atti del convegno Incunabula. Printing, Trading, Collecting, Cataloguing, 10-12 settembre 2013, La Bibliofilia, 116, n. 1/3 (2014). ISSN 0006-0941.

Nicolás Bas Martín = Rosa M. GREGORI ROIG, La impressora Jerònima Galés i els Mey (València, segle XVI), Valencia, Biblioteca Valenciana, 2012. 611 p. ISBN 978-84-482-5722-4.

Nicolás Bas Martín = Juan GOMIS COLOMA, Menudencias de imprenta. Producción y circulación de la literatura popular (Valencia, siglo XVIII), Valencia, Institució Alfons el Magnànim, 2015. 557 p. ISBN 978-84-7822-2015.

Antonio Carpallo Bautista = José Luis GONZALO SÁNCHEZ-MOLERO, Leyendo a Edo. Madrid, Consejo Superior de Investigaciones Científicas, 2013, 163 p. ISBN: 978-84-00-09660-1.
Investigar el grabado hispano del siglo XV
Authors: Carvajal González Helena
Published: October 2018

Se analiza la situación actual de los estudios sobre el grabado hispano del siglo XV, centrándose en la bibliografía publicada desde mediados del siglo XIX. Por un lado, se detectan algunas lagunas y carencias de las que adolecen los estudios existentes y, por otro, se plantean posibles vías para un mejor conocimiento de esta producción artística en los años finales de la Baja Edad Media.
Los libros-herramienta del jurista Nicholau Barandin en 1431 en un documento inusual
Authors: Pedraza Gracia Manuel José
Published: October 2018

Se describe la biblioteca del jurista zaragozano Nicholau Barandin a partir de un documento por el que pone su biblioteca como garantía de un préstamo de 350 florines de Aragón concedido por el mercader zaragozano Juan de Mur.
Удосконалення діагностики післяопераційних атрофічних та нормотрофічних рубців шкіри шляхом застосування колірної системи RGB
Authors: Avetikov D. S. , Bukhanchenko O. P. , Stavitsky S. O. , Ivanytska O. S. , Scrypnyk V. M.
Published: October 2018

Мета. Удосконалення методів диференціальної діагностики атрофічних та нормотрофічних рубців шкіри голови та шиї шляхом використання комп’ютерної візуалізації цифрових світлин із застосуванням колірної системи RGB (Red, Green, Blue).

Матеріали і методи. Ми спостерігали 60 пацієнтів із післяопераційними рубцями шкіри голови та шиї. Рубцевозмінену тканину додатково обстежували, аналізуючи цифрові світлини у програмі Adobe Photoshop CC із використанням системи кольорів RGB.

Результати. Застосовуючи колірну систему RGB у діагностиці післяопераційних рубців шкіри щелепно-лицевої ділянки, достовірно визначали тип рубця. Залежно від типу рубця обирали оптимальний метод хірургічного втручання або консервативної терапії.

Висновки. Застосування системи кольорів RGB у програмі Adobe Photoshop СС дає можливість диференціювати атрофічні та нормотрофічні рубці шкіри за показниками інтенсивності забарвлення кольоровим спектром.
Динамика энергоструктурной активности при ингаляционной анестезии
Authors: Boitsova O. N. , Smirnova L. M. , Shifrin G. A.
Published: October 2018

Цель. Улучшение результатов лечения больных путем придания периоперационному обеспечению ингаляционной анестезии севофлураном энергопротективной направленности.

Материалы и методы. У пациентов с острой патологией органов брюшной полости проведен аудит энергоструктурной активности во время ингаляционной анестезии севофлураном. В группе сравнения использовали общепринятый протокол, в основной – с применением органопротективных технологий. Определяли клинические индексы опасности (КИО), безопасности (КИБ), кардиальный резерв (КР), микроциркуляторно–митохондриальную недостаточность (ММН), концентрацию в крови нейроглиального белка (S100) и нейронспецифической энолазы (NSE).

Результаты. Ингаляционная анестезия севофлураном нарушает энергоструктурные взаимодействия (ЭСВ) в массе клеток тела (МКТ). Энергопротективные технологии снижают степень повреждения, о чем свидетельствовала концентрация в крови S100 и NSE.

Выводы. Применение энергопротективных технологий в соответствии с категориями энергоструктурной активности в МКТ позволяет улучшить результаты лечения пациентов с острой патологией брюшной полости и персонифицировать анестезиологическое обеспечение. Выявлена и доказана тесная корреляционная связь между ранними проявлениями структурных микроповреждений клеток головного мозга с энергоструктурными изменениями в МКТ пациентов.
Two-variable First-Order Logic with Counting in Forests
Authors: Charatonik Witold , Guskov Yegor , Pratt-Hartmann Ian , Witkowski Piotr
Published: October 2018

We consider an extension of two-variable, first-order logic with counting quantifiers and arbitrarily many unary and binary predicates, in which one distinguished predicate is interpreted as the mother-daughter relation in an unranked forest. We show that both the finite satisfiability and the general satisfiability problems for the extended logic are decidable in NExpTime. We also show that the decision procedure for finite satisfiability can be extended to the logic where two distinguished predicates are interpreted as the mother-daughter relations in two independent forests.
Quasipolynomial Set-Based Symbolic Algorithms for Parity Games
Authors: Chatterjee Krishnendu , Dvořák Wolfgang , Henzinger Monika , Svozil Alexander
Published: October 2018

Solving parity games, which are equivalent to modal μ-calculus model checking, is a central algorithmic problem in formal methods, with applications in reactive synthesis, program repair, verification of branching-time properties, etc. Besides the standard compu- tation model with the explicit representation of games, another important theoretical model of computation is that of set-based symbolic algorithms. Set-based symbolic algorithms use basic set operations and one-step predecessor operations on the implicit description of games, rather than the explicit representation. The significance of symbolic algorithms is that they provide scalable algorithms for large finite-state systems, as well as for infinite-state systems with finite quotient. Consider parity games on graphs with n vertices and parity conditions with d priorities. While there is a rich literature of explicit algorithms for parity games, the main results for set-based symbolic algorithms are as follows: (a) the basic algorithm that requires O(nd) symbolic operations and O(d) symbolic space; and (b) an improved algorithm that requires O(nd/3+1) symbolic operations and O(n) symbolic space. In this work, our contributions are as follows: (1) We present a black-box set-based symbolic algorithm based on the explicit progress measure algorithm. Two important consequences of our algorithm are as follows: (a) a set-based symbolic algorithm for parity games that requires quasi-polynomially many symbolic operations and O(n) symbolic space; and (b) any future improvement in progress measure based explicit algorithms immediately imply an efficiency improvement in our set-based symbolic algorithm for parity games. (2) We present a set-based symbolic algorithm that requires quasi-polynomially many symbolic operations and O(d · log n) symbolic space. Moreover, for the important special case of d ≤ log n, our algorithm requires only polynomially many symbolic operations and poly-logarithmic symbolic space.
Simulating LISP-Based Multilink Communications in Aeronautical Networks
Authors: Caiazza Chiara , Virdis Antonio , Stea Giovanni
Published: October 2018

Over the next few years, future aeronautical communications are expected to move from the OSI protocol stack to the TCP/IP one. Multiple data-link channels (e.g., satellite, terrestrial) will be available to each aircraft to communicate with ground, realizing the so-called multilink. In order to ensure a seamless handover between different data-links, the LISP protocol has been defined. This paper describes the modelling, design and implementation of LISP on the SAPIENT simulator, an OMNeT++-based simulator for aeronautical communications. It includes models of the aircrafts, including their mobility, multiple data links and ground-network elements.
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.
A Verified Theorem Prover Backend Supported by a Monotonic Library
Authors: Rahli Vincent , Cohen Liron , Bickford Mark
Published: October 2018

Building a verified proof assistant entails implementing and mechanizing the concept of a library, as well as adding support for standard manipulations on it. In this work we develop such mechanism for the Nuprl proof assistant, and integrate it into the formalization of Nuprl’s meta-theory in Coq. We formally verify that standard operations on the library preserve its validity. This is a key property for any interactive theorem prover, since it ensures consistency. Some unique features of Nuprl, such as the presence of undefined abstractions, make the proof of this property nontrivial. Thus, e.g., to achieve monotonicity the semantics of sequents had to be refined. On a broader view, this work provides a backend for a verified version of Nuprl. We use it, in turn, to develop a tool that converts proofs exported from the Nuprl proof assistant into proofs in the Coq formalization of Nuprl’s meta-theory, so as to be verified.
Efficient SAT-Based Encodings of Conditional Cardinality Constraints
Authors: Boudane Abdelhamid , Jabbour Said , Raddaoui Badran , Sais Lakhdar
Published: October 2018

In the encoding of many real-world problems to propositional satisfiability, the cardinality constraint is a recurrent constraint that needs to be managed effectively. Several efficient encodings have been proposed while missing that such a constraint can be involved in a more general propositional formula. To avoid combinatorial explosion, the Tseitin principle usually used to translate such general propositional formula to Conjunctive Normal Form (CNF), introduces fresh propositional variables to represent sub-formulas and/or complex contraints. Thanks to Plaisted and Greenbaum improvement, the polarity of the sub-formula Φ is taken into account leading to conditional constraints of the form y → Φ, or Φ → y, where y is a fresh propositional variable. In the case where Φ represents a cardinality constraint, such translation leads to conditional cardinality constraints subject of the present paper. We first show that when all the clauses encoding the cardinality constraint are augmented with an additional new variable, most of the well-known encodings cease to maintain the generalized arc-consistency property. Then, we consider some of these encodings and show how they can be extended to recover such important property. An experimental validation is conducted on a SAT-based pattern mining application, where such conditional cardinality constraints are a cornerstone, showing the relevance of our proposed approach.
Reliablity in the Fog Computing
Authors: Sharma Manu
Published: October 2018

In the world of Digital Innovation “Cloud Computing” is not just a word or a technology but a paramount to the organizations now days. Because it is not easy to store, compute the data on an internet and central remote server to manage a huge bulk of data and information. It is well known that cloud computing provides data, storage of data, computation of data to the end user also by providing the services to the end users by the different applications. So, now the Fog Computing Is generally a concept to extend the cloud computing technology as it also does the same function which cloud computing functionality as well. It is not the replacement but the enhanced version of cloud which provides a security on the cloud environment by isolating user’s data which is saved on the Edge Devices. Fog Computing enables a user to save their data to nearby devices. In this paper the security issues also the technology which is used for security in this enhanced concept of cloud is mentioned.
Data Mining and its Various Concepts
Authors: Sikri Alisha , Dalal Surjeet , Singh Netra Pal , Dahiya Neeraj
Published: October 2018

Information mining is known as the extraction of concealed prescient data from expansive databases whose primary concentration is to enable organizations to concentrate on the most critical data to display in their information stockrooms. Data mining can in like manner be called as the examination of data and the use of the distinctive programming techniques for finding illustrations and regularities in the given courses of action of data. The articulation "Electronic exchange" (or web business) ordinarily implies the usage of an electronic medium to finish all the business trades. Numerous a times it alludes to the offer of items by means of Internet, however it likewise incorporates the acquiring of systems through Internet. This primary concentration of this paper is to give the fundamental presentation about the different information mining methods accessible and furthermore to break down these procedures based on their execution. The paper additionally characterizes the different goals of the information mining in internet business. The paper additionally concentrates on the bunching methods and tries to think about the different grouping procedures.
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.
Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (Experimental Paper)
Authors: Jonáš Martin , Strejček Jan
Published: October 2018

In general, deciding satisfiability of quantified bit-vector formulas becomes harder with increasing maximal allowed bit-width of variables and constants. However, this does not have to be the case for formulas that come from practical applications. For example, software bugs often do not depend on the specific bit-width of the program variables and would manifest themselves also with much lower bit-widths. We experimentally evaluate this thesis and show that satisfiability of the vast majority of quantified bit-vector formulas from the smt-lib repository remains the same even after reducing bit-widths of variables to a very small number. This observation may serve as a starting-point for development of heuristics or other techniques that can improve performance of smt solvers for quantified bit-vector formulas.
Spherical Panorama Image Watermarking Using Viewpoint Detection
Authors: Kang Jihyeon , Ji Sangkeun , Lee Heungkyu
Published: October 2018

Even though interest in spherical panorama content has increased rapidly, few studies have examined watermarking techniques for this content. We present a new watermarking technique to protect spherical panorama images as well as view-images that are rendered with a specific viewpoint. Solving the watermark synchronization problem in the detection process requires finding the viewpoint of a view-image. Scale Invariant Feature Transform (SIFT) and Euclidean transformation matrix are used to find viewpoint information of a detection target viewimage. Using the viewpoint information, a view-image can be recovered to a source image and then we can detect watermark from it. The experimental results show robustness against several attacks such as JPEG compression, Gaussian filter, and noise addition attack.
A Complete Cyclic Proof System for Inductive Entailments in First Order Logic
Authors: Iosif Radu , Serban Cristina
Published: October 2018

In this paper we develop a cyclic proof system for the problem of inclusion between the least sets of models of mutually recursive predicates, when the ground constraints in the inductive definitions are quantifier-free formulae of first order logic. The proof system consists of a small set of inference rules, inspired by a top-down language inclusion algorithm for tree automata [9]. We show the proof system to be sound, in general, and complete, under certain semantic restrictions involving the set of constraints in the inductive system. Moreover, we investigate the computational complexity of checking these restrictions, when the function symbols in the logic are given the canonical Herbrand interpretation.
Yatsyshyn Mykhailo Mykhailovych : bio-bibliographical index to the 50-th anniversary
Authors:   Lesya Ukrainka Volyn National University, Yatsyshyn Mykhailo , Yatsyshyn Nataliia ,   Lesya Ukrainka Volyn National University, Sydoruk Inna
Published: October 2018

The bio-bibliographical index prepared to jubilee of the doctor of law, full professor, head of the theory and history of state and law department of Lesya Ukrainka Eastern European National University – Mykhailo Mykhailovych Yatsyshyn. The scientist’s papers are presented in the bibliographic order, covering the period from 1993 tо 2018, and biographical information. Auxiliary indexes are added to the edition. The bibliographical description of the publications is compiled in accordance with the valid standards. The book is appointed to scholars, teachers, post-graduates, students.
TÉCNICA DE RIEGO PARA INCREMENTAR LA EFICIENCIA DEL USO DE AGUA EN JITOMATE
Authors: López Ordaz Anselmo , Trejo López Carlos , Ramírez Ayala Carlos , Peña Valdivia Cecilia Beatriz , Tijerina Chávez Leonardo , Carrillo Salazar José Alfredo
Published: October 2018

El objetivo de esta investigación fue estudiar en condiciones de hidroponía e invernadero, el efecto de dos niveles de humedad aprovechable del sustrato en plantas de jitomate (Solanum lycopersicum L.), mediante la técnica de riego secado parcial de la raíz (SPR). Para ello se evaluaron variables fisiológicas (materia seca de hoja, tallo, raíz y fruto, relaciones hídricas, intercambio de gases, rendimiento), calidad de fruto (firmeza, sólidos solubles totales, pH y conductividad eléctrica), y la eficiencia del uso de agua. El experimento se estableció en Lomas de San Esteban, Texcoco, Estado de México, en 2006. Las plantas crecieron en contenedores de volumen homogéneo, con tezontle, la raíz se dividió en dos partes, y se aplicaron dos tratamientos de humedad aprovechable (HA) residual en el sustrato, testigo: 80%≤ HA≤ 100% y 80%≤ HA≤ 100% y SPR: 80%≤ HA≤ 100% y 30%≤ HA≤ 100%. Estos tratamientos se iniciaron 28 días después del transplante y se mantuvieron hasta el final del experimento. Los resultados obtenidos indicaron que el tratamiento SPR mostró diferencias estadísticas significativas (p≤ 0.05), respecto al testigo, en relación con la tasa de fijación de CO2 (SPR, 17.67 y testigo 9.23 μmol m-2 s-1) a 86 días de haber iniciado los tratamientos (DDIT), volumen evapotranspirado por planta durante todo el experimento (SPR 186.7 L y testigo 229 L), la calidad de fruto incrementó: firmeza 25%, los sólidos solubles totales 13% y la conductividad eléctrica 13%, respecto al testigo; y la eficiencia en el uso del agua (EUA) con base en la materia seca incrementó 29% y EUA instantánea fue de 57, 61 y casi 100%, respecto al testigo, a los 65, 80 y 86 DDIT respectivamente, sin afectar el rendimiento (SPR 363.2 g y testigo 345.8 g) y el potencial total del agua (SPR -0.54 y testigo -0.57; SPR -0.46 y testigo -0.55 MPa), a los 79 y 118 DDIT respectivamente.
SELECCIÓN DE GENOTIPOS DE AVENA PARA LA IDENTIFICACIÓN DE RAZAS DE ROYA DEL TALLO
Authors: Mariscal Amaro Luis Antonio , Huerta Espino Julio , Villaseñor Mir Héctor Eduardo , Leyva Mir Santos Gerardo , Sandoval Islas José Sergio , Benítez Riquelme Ignacio
Published: October 2018

La identif icación de razas f isiológicas de Puccinia graminis f. sp. avenae al usar diferenciales, es importante en los programas de mejoramiento genético de avena, para obtener genotipos resistentes a roya del tallo y conocer la evolución y dispersión regional del patógeno. En 2008-2009 en los invernaderos del CIMMYT, El Batán, México, se probaron 50 aislamientos monopustulares de P. graminis f. sp. avenae en 24 genotipos de avena (Avena sativa L.), con el objetivo de determinar la diversidad del patógeno en muestras recolectadas en seis estados de México y conocer si estos genotipos podían ser utilizados como plantas diferenciales. Los genotipos Avemex, Obsidiana, Papigochi, Diamante, Rarámuri, Chihuahua y el Progenitor 7, expresaron diferentes tipos de infección y se pueden usar como diferenciales para estudiar la diversidad del patógeno y la prevalencia de razas. Al usar estas diferenciales se encontraron 24 razas diferentes del patógeno. Esto permite concluir que existe gran variabilidad genética del hongo en las regiones muestreadas. Se observó que ante los aislamientos probados las variedades Agata, Avena desnuda, Menonita y Saia, mostraron el mayor nivel de resistencia; y los progenitores 11, 12 y 13, y las variedades 12, 14, 27, 28, 36, 43 y 44 tuvieron buen nivel de resistencia, por lo que pueden ser utilizados como progenitores en futuros planes de cruzamientos.