937 resultados para Formal languages.


Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Eguíluz, Federico; Merino, Raquel; Olsen, Vickie; Pajares, Eterio; Santamaría, José Miguel (eds.)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The First SPARK-STREAM Workshop on Livelihoods and Languages took place in Bangkok, Thailand, from 9-11 April 2003. It was the first activity in a SPARK-STREAM learning and communications process around livelihoods and languages. (PDF contains 53 pages)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The Second SPARK-STREAM Workshop on Livelihoods and Languages took place in Tagaytay City, Philippines, from 12-14 June 2003. Outputs were intended to be: Drafts of language-specific “Guide to Learning and Communicating about Livelihoods”. Drafts of articles for STREAM Journal and SPARK Newsletter. Priorities and practical follow-up for capacity-building in carrying out participatory livelihoods analysis Follow-up plans. [PDF contains 30 pages]

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The present corpus study aimed to examine whether Basque (OV) resorts more often than Spanish (VO) to certain grammatical operations, in order to minimi ze the number of arguments to be processed before the verb. Ueno & Polinsky (2009) argue that VO/OV languages use certain grammatical resources with different frequencies in order to facilitate real-time processing. They observe that both OV and VO languages in their sample (Japanese, Turkish and Spanish) have a similar frequency of use of subject pro-drop; however, they find that OV languages (Japanese, Turkish) use more intransitive sentences than VO languages (English, Spanish), and conclude this is an OV-specific strategy to facilitate processing. We conducted a comparative corpus study of Spanish (VO) and Basque (OV). Results show (a) that the fre- quency of use of subject pro-drop is higher in Basque than in Spanish; and (b) Basque does not use more intransitive sentences than Spanish; both languages have a similar frequency of intransitive sentences. Based on these findings, we conclude that the frequency of use of grammatical resources to facilitate the processing does not depend on a single typological trait (VO/OV) but it is modulated by the concurrence of other grammatical feature.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Computer science and electrical engineering have been the great success story of the twentieth century. The neat modularity and mapping of a language onto circuits has led to robots on Mars, desktop computers and smartphones. But these devices are not yet able to do some of the things that life takes for granted: repair a scratch, reproduce, regenerate, or grow exponentially fast–all while remaining functional.

This thesis explores and develops algorithms, molecular implementations, and theoretical proofs in the context of “active self-assembly” of molecular systems. The long-term vision of active self-assembly is the theoretical and physical implementation of materials that are composed of reconfigurable units with the programmability and adaptability of biology’s numerous molecular machines. En route to this goal, we must first find a way to overcome the memory limitations of molecular systems, and to discover the limits of complexity that can be achieved with individual molecules.

One of the main thrusts in molecular programming is to use computer science as a tool for figuring out what can be achieved. While molecular systems that are Turing-complete have been demonstrated [Winfree, 1996], these systems still cannot achieve some of the feats biology has achieved.

One might think that because a system is Turing-complete, capable of computing “anything,” that it can do any arbitrary task. But while it can simulate any digital computational problem, there are many behaviors that are not “computations” in a classical sense, and cannot be directly implemented. Examples include exponential growth and molecular motion relative to a surface.

Passive self-assembly systems cannot implement these behaviors because (a) molecular motion relative to a surface requires a source of fuel that is external to the system, and (b) passive systems are too slow to assemble exponentially-fast-growing structures. We call these behaviors “energetically incomplete” programmable behaviors. This class of behaviors includes any behavior where a passive physical system simply does not have enough physical energy to perform the specified tasks in the requisite amount of time.

As we will demonstrate and prove, a sufficiently expressive implementation of an “active” molecular self-assembly approach can achieve these behaviors. Using an external source of fuel solves part of the the problem, so the system is not “energetically incomplete.” But the programmable system also needs to have sufficient expressive power to achieve the specified behaviors. Perhaps surprisingly, some of these systems do not even require Turing completeness to be sufficiently expressive.

Building on a large variety of work by other scientists in the fields of DNA nanotechnology, chemistry and reconfigurable robotics, this thesis introduces several research contributions in the context of active self-assembly.

We show that simple primitives such as insertion and deletion are able to generate complex and interesting results such as the growth of a linear polymer in logarithmic time and the ability of a linear polymer to treadmill. To this end we developed a formal model for active-self assembly that is directly implementable with DNA molecules. We show that this model is computationally equivalent to a machine capable of producing strings that are stronger than regular languages and, at most, as strong as context-free grammars. This is a great advance in the theory of active self- assembly as prior models were either entirely theoretical or only implementable in the context of macro-scale robotics.

We developed a chain reaction method for the autonomous exponential growth of a linear DNA polymer. Our method is based on the insertion of molecules into the assembly, which generates two new insertion sites for every initial one employed. The building of a line in logarithmic time is a first step toward building a shape in logarithmic time. We demonstrate the first construction of a synthetic linear polymer that grows exponentially fast via insertion. We show that monomer molecules are converted into the polymer in logarithmic time via spectrofluorimetry and gel electrophoresis experiments. We also demonstrate the division of these polymers via the addition of a single DNA complex that competes with the insertion mechanism. This shows the growth of a population of polymers in logarithmic time. We characterize the DNA insertion mechanism that we utilize in Chapter 4. We experimentally demonstrate that we can control the kinetics of this re- action over at least seven orders of magnitude, by programming the sequences of DNA that initiate the reaction.

In addition, we review co-authored work on programming molecular robots using prescriptive landscapes of DNA origami; this was the first microscopic demonstration of programming a molec- ular robot to walk on a 2-dimensional surface. We developed a snapshot method for imaging these random walking molecular robots and a CAPTCHA-like analysis method for difficult-to-interpret imaging data.