Menos volume, mais valor pesquisador defende a lógica de biorrefinarias.

2015

Distintos enfoques hacia una teoría de la formalización en Lógica

Suele decirse que una de las funciones de la lógica formal deductiva es analizar la validez de los argumentos expresados en lenguaje natural. Para ello, se requiere que el argumento en lenguaje natural sea simbolizado en un lenguaje formal correspondiente donde se llevará a cabo el análisis del argumento. Sin embargo, dicho procedimiento de simbolización resulta teóricamente problemático. El presente trabajo intentará exponer los tres enfoques principales presentes en la literatura para una teoría de la formalización en lógica: a) encontrar procedimientos efectivos de formalización; b) proporcionar criterios para una formalización adecuada; c) analizar el concepto de forma lógica

Distintos enfoques hacia una teoría de la formalización en Lógica

Suele decirse que una de las funciones de la lógica formal deductiva es analizar la validez de los argumentos expresados en lenguaje natural. Para ello, se requiere que el argumento en lenguaje natural sea simbolizado en un lenguaje formal correspondiente donde se llevará a cabo el análisis del argumento. Sin embargo, dicho procedimiento de simbolización resulta teóricamente problemático. El presente trabajo intentará exponer los tres enfoques principales presentes en la literatura para una teoría de la formalización en lógica: a) encontrar procedimientos efectivos de formalización; b) proporcionar criterios para una formalización adecuada; c) analizar el concepto de forma lógica

Aplicação do método POLD® na redução da sintomatologia álgica da lombociatalgia

Projeto de Graduação apresentado à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Licenciado em Fisioterapia

Efeitos do suster-relaxar na cinemática tridimensional, função neuromuscular e sintomatologia álgica de um atleta de crossfit com dor lombar

Projeto de Graduação apresentado à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Licenciado em Fisioterapia

El 19 de abril de 1810: su construcción simbólica como fecha patriótica en Venezuela.

El propósito de este ensayo de comprensión histórica es abordar el proceso de construcción simbólica de la fecha patria, más allá de su condición histórica como acontecimiento que podríamos denominar objetivo, ya que la fecha se integra a la memoria histórica de la nación como hito fundacional de la Patria, proceso que puede seguirse a través de los diferentes actos festivos de celebración que le han dado su significación histórica posterior en el imaginario político de la Nación.

Lógica de funconamento das EMAP

A imagem apresenta a lógica de cobertura das Equipes Multiprofissionais de Apoio (EMAP).

Homogeneidade e heterogeneidade nos sistemas educacionais: Argentina, Brasil, Chile e México

This study focus on the reconfiguration of educational management in Argentina, Brazil, Chile and Mexico, which was promoted by the new logic of social regulation and the new role attributed to the State, considering each country's own historicity. So, the cultural factors that interfere on the dynamics of the 90' school reform are analyzed. Aspects that show the homogeneity or heterogeneity of these reforms in the region, as well as local specificities that block out the concretization of the reform are underlined. It is shown that the historicity that characterizes the educational reform has taken, in each country, a form that can be called, in Mexico, conservative rupture; in Chile, conservative continuity; in Brazil, conservative renovation; and, in Argentina, interrupted rupture. Some conclusions about the impact of educational reform in the selected countries are recuperated through the analysis of 186 academic texts on the subject.

Estimativa de bem-estar de frango de corte em função da concentração de amônia e grau de luminosidade no galpão de produção

Brazil is an important poultry meat export country, and large parts of its destination are countries with specific rearing restrictions related to broiler s welfare. One of the aerial pollutants mostly found in high concentrations in closed poultry housing environment is ammonia. There are evidences that broilers welfare may be compromised by the continuous exposition to this pollutant in rearing housing. This research aimed to estimate broilers welfare reared under specific thermal environmental attributes and bird s density, as function of the ammonia concentration and light intensity inside the housing environment using the Fuzzy Theory. Results showed that the best welfare value (0.89 in the scale: 0-1) approximately 90% of the ideal was found in the conditions that associated the ideal thermal environment, with bird s density between 13-15 birds m-2, with values of the ammonia concentration in the environment below 5 ppm, and light intensity near 1 lx. Using the predictive method it was possible to estimate broilers welfare with relation to the ammonia concentration and light intensity in the housing.

Ambiências térmica, aérea e acústica para reprodutores suínos

The swine breeder rearing environment directly affects the animal's performance. This research had the objective of developing a thermal, aerial and acoustic environmental evaluation pattern for boar housing. The experiment was carried on a commercial swine farm in Salto County -SP, Brazil. Thermal, aerial and acoustic environment data of rearing conditions were registered. Data were statistically analyzed using as threshold the ideal housing environment that leads to animal welfare. Results showed that ambient temperature was around 70% beyond normal range, while air relative humidity, air speed and gases concentration were within threshold values. Noise level data besides being within normal range did not present large variation. In relation to the fuzzy logic analysis it was possible to build up a scenario which indicated that the best welfare indexes to male swine breeders happens when thermal comfort index are close to 80%, and noise level is lower than 40 dB. In the other hand the worst welfare index occur in the sector where the thermal comfort values are below 40% at the same time that the noise level is higher than 80 dB leading to inadequate conditions to the animal, and may directly interfere in the reproduction system performance.

FORMAÇÕES DISCURSIVAS E PROCESSOS IDENTIFICATÓRIOS NA AQUISIÇÃO DE LÍNGUAS

This paper discusses theoretical results of the research project Linguistic Identity and Identification: A Study of Functions of Second Language in Enunciating Subject Constitution. Non-cognitive factors that have a crucial incidence in the degree of success and ways of accomplishment of second language acquisition process are focused. A transdisciplinary perspective is adopted, mobilising categories from Discourse Analysis and Psychoanalysis. The most relevant ones are: discursive formation, intradiscourse, interdiscourse, forgetting n° 1, forgetting n° 2 (Pêcheux, 1982), identity, identification (Freud, 1966; Lacan, 1977; Nasio, 1995). Revuz s views (1991) are discussed. Her main claim is that during the process of learning a foreign language, the foundations of psychical structure, and consequently first language, are required. After examining how nomination and predication processes work in first and second languages, components of identity and identification processes are focused on, in an attempt to show how second language acquisition strategies depend on them. It is stated that methodological affairs of language teaching, learner s explicit motivation and the like are subordinated to the comprehension of deeper non-cognitive factors that determine the accomplishment of the second language acquisition process. It is also pointed out that those factors are to be approached, questioning the bipolar biological-social conception of subjectivity in the study of language acquisition and use and including in the analysis symbolic and significant dimensions of the discourse constitution process.

A metalinguagem como lugar da interpretação: terminologia e bases de dados informatizadas

The main objective of this work is to discuss the notion of metalanguage concerning the use of thesaurus (symbols systems, functions indicators, descriptors) utilized by indexers for article representation in computerized bibliographical databases. Our corpus comprises article abstracts and bibliographical database descriptors LILACS (Literatura Latino-Americana em Ciências da Saúde) and SOCIOFILE Sociological Abstracts. We aim at clarifying the effects of subjectivity in the functioning of indexing taking account the grounds for interpretation that allow different meanings.

Uma observação sobre o lugar da teoria da ligação e do critério temático dentro do programa minimalista

In this paper I present some evidencie that forces us to conclude that within the Minimalist Program (Chomsky 1993; 1995), Binding Theory (BT) should be computed after LF (Logical Form). I show that derivations leading to structures containing violations of BT-Principles must converge at LF, since less economical alternative derivations respecting those principles are also ungrammatical. Being irrelevant to the notion of convergence, BT must apply after LF. A similar reasoning reveals that the Theta-Criterion should have the status of a bare output condition appling at LF, since less economical derivations are allowed by the computational system to prevent violations of it.