Enantiospecific Formal Total Synthesis of Iriomoteolide 3a

A formal total synthesis of the marine macrolide iriomoteolide3a is described. Salient features of the synthesis include the elaboration of a -keto phosphonate derived from D-(-)-tartaric acid and the extension of a chiral butyrolactone derived from L-glutamic acid. Ring-closing metathesis is employed to construct the macrolactone core of the natural product.

Using formal reasoning on a model of tasks for FreeRTOS

FreeRTOS is an open-source real-time microkernel that has a wide community of users. We present the formal specification of the behaviour of the task part of FreeRTOS that deals with the creation, management, and scheduling of tasks using priority-based preemption. Our model is written in the Z notation, and we verify its consistency using the Z/Eves theorem prover. This includes a precise statement of the preconditions for all API commands. This task model forms the basis for three dimensions of further work: (a) the modelling of the rest of the behaviour of queues, time, mutex, and interrupts in FreeRTOS; (b) refinement of the models to code to produce a verified implementation; and (c) extension of the behaviour of FreeRTOS to multi-core architectures. We propose all three dimensions as benchmark challenge problems for Hoare's Verified Software Initiative.

Organocatalytic Enantioselective Formal C(sp(2))-H Alkylation

An organocatalytic enantioselective formal C(sp(2))-H alkylation is reported. This alkylative desymmetrization of prochiral 2,2-disubstituted cyclopentene-1,3-dione is catalyzed by a bifunctional tertiary aminourea derivative, utilizes air-stable and inexpensive nitroalkanes as the alkylating agents, and delivers synthetically versatile five-membered carbocycles containing an all-carbon quaternary stereogenic center remote from the reaction site in excellent enantioselectivity.

A versatile, RCM based approach to eudesmane and dihydroagarofuran sesquiterpenoids from (-)-carvone: a formal synthesis of (-)-isocelorbicol

An enantiospecific and diversity oriented approach to a range of functionalized eudesmane, nor-, iso-, and dihydroagarofuran frameworks from (-)-carvone is delineated. The cornerstone of this approach is the installation of the quaternary carbon center through reductive opening of the carvone epoxide and setting-up of RCM reaction to generate the bicyclic eudesmane framework. Various options like carbocation mediated oxycyclization and intramolecular hydroxy directed epoxide opening have been explored for the construction of the bridged tetrahydrofuran moiety. Among the several eudesmane and dihydroagarofurans accessed during the present study, one has been previously elaborated to iso-celorbicol, thus constituting its formal synthesis. (C) 2015 Elsevier Ltd. All rights reserved.

Formal synthesis of degraded sterol (+)-aplykurodinone-1

The formal synthesis of aplykurodinone-1 is accomplished starting from a suitably functionalized bicyclic lactone having the requisite cis-fused ring junction with a quaternary chiral center that was assembled following a Cp2TiCl-mediated radical cyclization protocol. Our synthetic route further elaborates implementation of Grubbs ring closing metathesis (RCM), Eschenmoser-Claisen rearrangement and iodo-lactonization reactions for the synthesis of the final tricyclic precursor of the target molecule. (C) 2015 Elsevier Ltd. All rights reserved.

Lineamientos para un programa de Educación ambiental no formal para el Barrio "El Rodeo", Distrito VI, Managua

El estudio fue desarrollado en el año 2003 para definir los lineamientos para un Programa de Educación Ambiental No Formal, los cuales serán desarrollados con base en las características socio-educativas de las comunidades y en los conflictos ambientales del Barrio El Rodeo, Distrito VI, Managua. Los problemas socio-ambientales existentes en el barrio El Rodeo están relacionados con: tasa alta de desempleo, ingreso familiar promedio bajo, afecciones por enfermedades del sistema respiratorio, acceso limitado de agua potable en los negocios que preparan y comercializan alimentos, inexistencia de sistema de alcantarillado sanitario, calles sin pavimentar, contaminación del aire por emisiones vehiculares, contaminación del agua por vertidos industriales y contaminación por desechos sólidos. Aunque esta situación es evidente y conocida por la sociedad civil y los decisores políticos, se han realizado muy pocas acciones de gestión ambiental para atenderla. La propuesta de lineamientos para un Programa de Educación Ambiental No Formal está dirigida a contribuir a la solución de los conflictos ambientales del barrio El Rodeo. Su implementación contribuiría a la protección y conservación ambiental, con el fin de generar beneficios a las personas que habitan este barrio urbano-marginal de Managua.

El objeto formal de la vis cogitativa en Santo Tomás de Aquino

Resumen: De acuerdo a la mente de Santo Tomás de Aquino, la potencia de conocimiento sensible que se denomina «cogitativa » es susceptible de una doble consideración. Por un lado, es la estimativa animal y, como tal, aprehende su mismo objeto formal quod, esto es, las intenciones de beneficio o perjuicio a nivel sensible. Pero a causa de su particular modo de operar, esas intenciones no son conocidas por ella solamente en orden a la conservación del individuo humano o de la especie a la que él pertenece. El reconocimiento de una doble dimensión de la cogitativa está en Santo Tomás justificado por la particular relación que existe entre ella y la razón universal. Por un lado, la cogitativa no es una facultad distinta de la estimativa natural. Por esto, ella aprehende las intenciones necesarias para la perfección de la vida sensitiva humana. Por otro lado, la razón ejerce sobre la cogitativa un influjo particular que la hace operar a su modo, esto es, de manera discursiva. Este carácter móvil en la aprehensión de la cogitativa permite la conformación de una experiencia a nivel sensible, en virtud de la cual su objeto formal se ve ampliado. Esto resulta aún más razonable si se tiene en cuenta que el conocimiento sensorial del hombre prepara el intelectual. De esta manera, la cogitativa no aprehende simplemente al individuo como beneficioso o perjudicial para la subsistencia del cognoscente, sino como sujeto de una cierta naturaleza.

La abstracción formal y la validación del razonamiento inductivo

Resumen: Suele admitirse que uno de los problemas pendientes, al menos desde Hume, en la teoría de la ciencia es la justificación crítica de los procesos inductivos, que son los que siguen las ciencias experimentales, como son las ciencias naturales. Frente a las ineficaces explicaciones aportadas por el empirismo o neopositivismo, así como por los racionalismos o idealismos, que son radicalmente incapaces para resolver el problema, nosotros presentamos la respuesta del realismo aristotélico, basada en el correcto concepto de abstracción formal, ignorado o malentendido incluso por muchos aristotélicos tanto antiguos como modernos. La respuesta consiste, en suma, en ver que el término del proceso inductivo, en cuanto llega a conclusiones universales a partir de lo particular, debe estar mediado por un proceso previo de abstracción de la forma, bien entendida, en lo mismo concreto y particular. Ello permite ver que la conclusión universal no desborda las premisas, que es el problema clásico de la epagogé aristotélica.

Análisis del flujo de la comunicación interna formal (Vertical-Horizontal) en la estructura organizativa de la Facultad de Desarrollo Rural (UNA-FDR) I semestre 2014

La comunicación representa un papel fundamental en las organizaciones, para alcanzar la eficacia y la eficiencia a través de los medios que se utilizan para trasmitir mensajes e información. Por ello la investigación desarrollada muestra un análisis del flujo de la comunicación interna formal en la estructura organizativa de la Facultad de Desarrollo Rural, con la objeto de realizar propuestas que permitan mejorar las relaciones humanas en el campo laboral de los distintos niveles jerárquicos, como también mejorar la eficacia y eficiencia de la comunicación formal y valorar los medios de comunicación utilizados. La investigación desarrollada es no experimental de tipo descriptivo, la selección de la muestra se realizó de forma razonada por conveniencia, definiendo criterios de selección. La recolección de los datos se realizó mediante la técnica de la entrevista dirigida a autoridades y la encuesta a docentes y estudiantes. Los principales hallazgos encontrados evidencian que: Las autoridades, docentes y estudiantes manifiestan que se desarrolla un proceso de comunicación eficaz y eficiente garantizando las tareas y actividades en tiempo y forma haciendo uso de los medios de comunicación adecuados para la transmisión de mensajes e información. Los medios orales y escritos utilizados por las autoridades docentes y estudiantes les han permitido ser eficientes. Los medios de comunicación utilizados con mayor frecuencia en los diferentes niveles jerárquicos son el correo electrónico personal, comunicación espontánea y las cartas.

Anistia política : conflito e conciliação no âmbito do Congresso Nacional Brasileiro (1964-1979)

Investiga a atuação do Congresso Nacional em torno da anistia política aos apenados pelo regime militar brasileiro. Acompanha o encaminhamento dado à referida questão através dos mecanismos formais de participação política, partindo-se mais especificamente das propostas legislativas apresentadas na Câmara dos Deputados e no Senado Federal. O recorte temporal adotado abarca o período compreendido entre o início do governo Castelo Branco (1964-1967), quando verificaram-se as primeiras articulações parlamentares em torno do tema, e a promulgação da Lei 6.683, em agosto de 1979. Situando-se o debate sobre a anistia na esfera da resistência democrática, são analisadas as estratégias empregadas pelos atores envolvidos, suas motivações, bem como os significados das disputas em torno daquela bandeira para os rumos do processo político.

A contribuição da Legimática para a qualidade formal do texto legislativo

O objetivo deste trabalho é identificar como as ferramentas propostas pela Legimática podem contribuir para diminuir as deficiências dos textos legislativos apontadas pela Legística. A preocupação com o processo de criação e com a qualidade do texto legislativo por ele produzido é o foco principal da Legística Formal. Esta atividade encontra amparo nas ferramentas propostas pela Legimática que auxiliam a elaboração de normas legais por meio de processadores eletrônicos de textos concebidos especificamente para este propósito, ou seja, redação de leis. Tais ferramentas garantem o emprego de regras formalmente estabelecidas para um texto legal, e de forma mais abrangente, facilitam a clareza, o rigor e a uniformidade da linguagem legislativa do documento produzido. A realização de pesquisas qualitativa e bibliográfica permitiu propor a criação de um software que auxilie no processo de elaboração normativa dos órgãos legislativos federais brasileiros baseando-se em considerações de especialistas, análise de ferramentas semelhantes e referências na literatura.

Política Nacional de Saúde da Pessoa Idosa : competência dos cuidadores de pessoas dependentes

Analisa a Política Nacional de Saúde da Pessoa Idosa com foco nas competências profissionais necessárias aos cuidadores que atuam em Instituições de Longa Permanência para Idosos, com vista à qualidade dos serviços prestados. Vinte e duas competências extraídas do projeto piloto do Ministério da Saúde foram incluídas em um questionário, respondido pelos cuidadores em duas instituições. Na opinião de 30 respondentes, todas as competências listadas no instrumento de pesquisa aplicado foram consideradas com alto grau de relevância para a função de cuidadores de idosos. Os resultados obtidos sugerem que as competências avaliadas devem ser incluídas no currículo dos cursos de formação para cuidadores de idosos, sem exceção, e que são fundamentais os conhecimentos específicos de enfermagem para os cuidadores exercerem plenamente sua função.

A redação final de proposições submetidas à apreciação do plenário da Câmara dos Deputados : as consequências da votação da redação presumida

Analisa o fenômeno da má redação das leis sob a ótica do processo legislativo, a partir do exame das etapas de elaboração e de votação da Redação Final das proposições sujeitas à apreciação do Plenário da Câmara dos Deputados. O objetivo é verificar se as incoerências textuais, de forma e de conteúdo, são ocasionadas também pela votação da redação presumida, a par da inobservância das regras e preceitos de Técnica Legislativa. O trabalho mostra que a prática da votação da redação presumida pode provocar lapsos e incoerências no texto final, pelo encerramento da apreciação da matéria sem a possibilidade de sanear erros materiais ou formais porventura existentes. Além disso, propõe que a própria legitimidade do processo e, por conseguinte, do ato legislativo final, estaria maculada, pela impossibilidade de se atestar a conformidade entre a Redação Final e o real conteúdo deliberado pelo Plenário, podendo o texto não espelhar a real intenção do legislador. O trabalho inicia com as noções de Técnica Legislativa, de forma a caracterizar a importância do aspecto formal e da adequada apresentação escrita das proposições legislativas. Em seguida, descreve o atual processo de elaboração e de votação da Redação Final e as suas consequências para a redação e a legitimidade dos textos legais. Para isso, foram analisadas diversas Questões de Ordem acerca do assunto e realizada uma breve pesquisa, que contempla as proposições aprovadas pelo Plenário neste ano de 2011 (até 26/10/11), para verificar a quantidade de modificações introduzidas e a possibilidade de ocorrência de deficiências redacionais em razão da não apresentação do texto da Redação Final antes de considerá-lo definitivamente aprovado. Na sequência, faz um estudo de caso do processo de votação da Lei da "Ficha Limpa". Por fim, apresenta proposta de modificação, no sentido de contribuir para o debate e consequente aperfeiçoamento do referido processo.