Sunday, May 26, 2013

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía
 

rss_1.0 Clasificación por Disciplina

Nomenclatura Unesco > (11) Lógica

Mostrando recursos 161 - 180 de 118,469

161. ¿Supervición o incentivos?, un dilema que admite un razonamiento lógico - Regent, Pablo

162. Desarrollo de vehículo aéreo no tripulado y sus aplicaciones duales - Roca González, José Luis; García Laencina, Pedro J.; Rodríguez Bermúdez, Germán; Roca González, Joaquín; Roca Dorda, Joaquín
El avance de la tecnología de aplicación al desarrollo de UAVs (Unmaned Aerial Vehicle) permite configurar vehículos propios orientados en la fase inicial de diseño a suplir a suplir necesidades que un objetivo dual, requiere, unos destinado a aplicaciones en el ámbito civil e industrial y otro destinado a su utilización en aplicaciones de seguridad y defensa. El presente artículo presente una metodología para el desarrollo de un UAV considerando tres subproyectos distintos: (I) Diseño e implantación de un banco de pruebas para los sistemas electrónicos de piloto automático y control de vuelo en primera persona de un avión no...

163. O papel da escrita na construção das aprendizagens : perceções e conceções dos professores do 3º ciclo do ensino básico - Lopes, José Carlos de Oliveira
A aquisição da competência de escrita é condicionante essencial de toda a aprendizagem futura do aluno. Daí, a mais que justificada relevância atribuída atualmente pela escola ao ensino da referida competência, podendo o aluno, quando sujeito a práticas pedagógicas rotineiras e ineficazes, ver condicionado o seu sucesso nos contextos escolar e social. A escrita, quer perspetivada sob o ponto de vista das caraterísticas da linguagem escrita e da comunicação por escrito, quer perspetivada a partir do processo cognitivo, quer perspetivada a partir da prática sociocultural, desempenha, na dialética de ensino-aprendizagem, um papel fundamental na construção do conhecimento, funcionando, concomitantemente, como objeto de aprendizagem e como ferramenta de aprendizagem (Carvalho &...

164. Perspetivas de avaliação de desempenho docente : um estudo com professores em Cabo Verde - Borges, Abraão António do Espírito Santo Tavares
A avaliação de desempenho docente tem vindo a ser conceptualizada entre duas lógicas: a de controlo e a de desenvolvimento profissional, que originam, na sua implementação, diferentes modos de organização e avaliação do trabalho escolar e, consequentemente, de encarar a profissão docente. A investigação aborda as perspetivas de professores, de gestores e de diretores das escolas do Ensino Básico Integrado e do Ensino Secundário, para compreender se e em que medida o processo de avaliação do pessoal docente tem contribuído para melhorar a prestação pedagógica e o profissionalismo dos docentes em Cabo Verde. Foram definidos os seguintes objetivos: identificar as mudanças ocorridas nas práticas efetivas nas escolas a partir...

165. Implementation of an event driven scheme for visualizing parallel execution of logic programs. - Carro Liñares, Manuel; Gómez Henríquez, Luis M.; Hermenegildo Salinas, Manuel Vicente
This article presents in an informal way some early results on the design of a series of paradigms for visualization of the parallel execution of logic programs. The results presented here refer to the visualization of or-parallelism, as in MUSE and Aurora, deterministic dependent and-parallelism, as in Andorra-I, and independent and-parallelism as in &-Prolog. A tool has been implemented for this purpose and has been interfaced with these systems. Results are presented showing the visualization of executions from these systems and the usefulness of the resulting tool is briefly discussed.

166. Avaliação da qualidade da água : proposta de novo índice alicerçado na lógica Fuzzy - Pereira, Aécio Alves; Ocazionez, Sergio Andrés Conde; Tomaz, Carlos Alberto Bezerra
Qualidade da água é um aspecto fundamental do ambiente para a saúde. Índices de Qualidade das Águas – IQA’s são operadores matemáticos que processam um conjunto de indicadores analíticos, produzindo um resultado numérico indexado, capaz de expressar a qualidade da água. O IQA mais difundido e aceito mundialmente é o proposto pela National Sanitation Foudantion - NSF, estando fundamentado na lógica clássica. No presente artigo, apresenta-se um novo IQA, alicerçado na lógica fuzzy, cujos conjuntos não têm fronteiras rigidamente definidas e incluem variáveis linguísticas em sua matriz de decisão, produzindo estimativas de um sistema não linear complexo, sem recorrer a...

167. Answer set programming for computing decisions under uncertainty - Confalonieri, Roberto; Prade, Henri
Possibility theory offers a qualitative framework for modeling decision under uncertainty. In this setting, pessimistic and optimistic decision criteria have been formally justified. The computation by means of possibilistic logic inference of optimal decisions according to such criteria has been proposed. This paper presents an Answer Set Programming (ASP)-based methodology for modeling decision problems and computing optimal decisions in the sense of the possibilistic criteria. This is achieved by applying both a classic and a possibilistic ASP-based methodology in order to handle both a knowledge base pervaded with uncertainty and a prioritized preference base.

168. Controlador fuzzy para un motor de combustión interna - Manzanares Brotons, Manuel; Domingo Peña, Joan
En la presente comunicación se exponen los principios de la inyección electrónica de carburante en motores de combustión interna. Se presenta el principio de operación de un sistema comercial de control electrónico del combustible y los elementos que ha de incorporar un controlador lógico fuzzy que supla dicho sistema comercial haciéndolo más manejable que los sistemas actuales. Este trabajo se está desarrollando íntegramente en la EUETIB dentro del proyecto Eco Shell-Marathon que lleva a término el grupo EEEI (Eco Enginys Escola Industrial) y cuyo objetivo es conseguir que un vehículo con motor de combustión a gasolina recorra la máxima distancia posible con un solo litro...

169. Ramón del Valle-Inclán: los condicionantes socio-políticos del hombre y su obra - Casteleiro Oliveros, Luis
Ramón María del Valle - Inclán vivió en su patria sesenta y dos años de los sesenta y nueve que tenía al morir. Pocas y breves fueron sus estancias fuera de España: apenas un año en México, menos de dos en Roma y un viaje a Francia durante la Primera Guerr a Mundial. En tales condiciones, es lógico que Valle - Inclán dependiera, más que otros hombres y más que otros escritores, de la sociedad en que nació. Este artículo pretende analizar cómo actuaron sobre el escritor los condicionantes políticos y sociales de su época, y cómo respondió él en su obra y con sus actitudes...

170. A PEQUENA PROPRIEDADE RURAL NO ESPÍRITO SANTO: CONSTITUIÇÃO - BERGAMIM, MARCIA CRISTINA
O presente trabalho aborda a constituição, a consolidação e a crise de uma estrutura produtiva predominantemente assentada na agricultura familiar. O recorte temporal inicia-se por volta de 1850, com a emergência da cultura cafeeira no Espírito Santo e encerra-se nos anos 1960, quando a agricultura familiar entra em crise. Baseado no processo de formação de diferentes regiões produtivas no estado analisa-se a expansão da cafeicultura e a constituição e difusão da agricultura familiar. Como a lógica de produção do espaço capixaba estabeleceu um processo inverso ao verificado na maioria dos estados brasileiros, pois enquanto nestes consolidava-se o latifúndio, no Espírito Santo, a formação espacial caracterizava-se pela hegemonia...

171. Sistema de monitorització distribuït de turbines eóliques - Domingo González, Arnau
Este proyecto ha sido realizado a partir de la necesidadaparecida durante el proceso de sustitución de grandescomponentes en los aerogeneradores, de la que espropietaria la empresa RWE Innogy AERSA.Cuando el cambio era realizado no existía un controlexhaustivo, en el que se pudiera garantizar la efectividaddel cambio. Esto provocaba que aparecieran errores en lasmáquinas eólicas, generando pérdidas económicasconsiderables que debían ser paliadas.Tras el estudio del tipo de aerogenerador NM48 750 kW,definir criterios necesarios del algoritmo y estudiar laarquitectura de comunicaciones de los distintos sistemas dela empresa, se ha desarrollado un sistema de monitorizacióny supervisión de turbinas eólicas, utilizando Labview comoherramienta de...

172. Vencer en el diálogo. Justicia y retórica en Esquilo y Platón - Clavo Sebastián, Ma Teresa
«Tú (Polo) sostenías que los injustos son felices si no pagan justicia» «Exacto». «Yo en cambio digo que son muy desgraciados, pero los que pagan justicia, menos. ¿Quieres refutar también esto?» «Eso, Sócrates, es aún más difícil de refutar que aquello» « No difícil, Polo, sino imposible, pues lo verdadero jamás puede refutarse» (Gorg. 473b). En este momento del diálogo con Polo, Sócrates introduce el presupuesto que está en la base de su práctica dialogal, a saber, que la verdad no es refutable, y, por tanto, el discurso que vence en el diálogo es el verdadero. Claro que las implicaciones...

173. Gorgias y el final del Ion de Eurípides - Clavo Sebastián, Ma Teresa
En las últimas décadas, los estudios de narratología han subrayado la función estructuradora que cumple el final de una obra en el conjunto de la trama, advirtiendo que, desde la lógica de una narración que progresa hacia un final, es éste el que da sentido al proceso. En tragedia griega el fenómeno resulta especialmente sensible en Sófocles, que ha diseñado sus propias pautas genéricas, las que mejor responden a nuestro concepto de intriga conclusiva. Eurípides resulta desde esta perspectiva un radical innovador del género trágico , pues el final de la performance es, con frecuencia, una pausa arbitraria en la...

174. Simulando virtualmente un packaging de golosina, utilizando softwares de diseño - Cappelletti, Silvia
Siendo la Informática una herramienta esencial de trabajo en el mundo actual, se propone un aprendizaje en disciplinas de comunicación, a través de una herramienta lógico-exacta. En dicho contexto se logra fusionar dos orientaciones concretas: el pensamiento abstracto y la creatividad con libertad de expresión. A través del diseño del Packaging se logra simular en forma constructiva la realización de envases y etiquetas comerciales valorando situaciones comunicacionales, estéticas y experienciales. El objetivo inicial del Packaging consiste en embalar o envasar productos, pero el principal consiste en atraer al público para el consumo de los mismos, a través de su imagen. Durante el desarrollo...

175. Specialization and optimization of constraint programs with dynamic scheduling - Puebla Sánchez, Alvaro Germán; Hermenegildo Salinas, Manuel Vicente
In this report we discuss some of the issues involved in the specialization and optimization of constraint logic programs with dynamic scheduling. Dynamic scheduling, as any other form of concurrency, increases the expressive power of constraint logic programs, but also introduces run-time overhead. The objective of the specialization and optimization is to reduce as much as possible such overhead automatically, while preserving the semantics of the original programs. This is done by program transformation based on global analysis. We present implementation techniques for this purpose and report on experimental results obtained from an implementation of the techniques in the context of...

176. An interpretable guideline model to handle incomplete information - Oliveira, Tiago José Martins; Neves, João C. P.; Costa, Ângelo; Novais, Paulo; Neves, José
Healthcare institutions are both natural and emotionalstressful environments; indeed, the healthcare professionals may fall intopractices that may lead to medical errors, undesirable variations in clinical doing and defensive medicine. On the other hand, Clinical Guidelines may offer an effective response to these irregularities in clinical practice, if the issues concerning their availability during the clinical process are solved. Hence, in this work it is proposed a model intended to provide a formal representation of Computer-Interpretable Guidelines, in terms of the extensions of the predicates that make their universe of discourse, as well as a Decision Support System framework to handle...

177. Visser’s Generalization: The Syntax of Control and the Passive - van Urk, Coppe Gerrit
This squib presents an argument for an agreement-based model of control (Borer 1989, Landau 2000, 2004, 2006, 2008), drawn from a crosslinguistic generalization about control in passives. Specifically, I show that obligatory control by the thematic subject of a passive is sensitive to a purely syntactic restriction: it is only possible if T does not agree with an overt DP. This restriction follows from the logic of an agreement-based approach, if implicit arguments participate in Agree relations (Landau 2010, Legate 2010). This generalization subsumes and derives an old observation about control, Visser’s Generalization ( Jenkins 1972, Bresnan 1982).

178. O informal e o artesanal : pescadores e revendedeiras de peixe na Guiné-Bissau : fronteiras pós-coloniais : rigidez, heterogeneidade e mobilidade - Fernandes, Raul Mendes.
Procura-se saber nesta tese o que significam o ‘informal’ e o ‘artesanal’ de que tanto se fala e pouco se sabe, situando a nossa compreensão nas experiências vividas na Guiné- Bissau. Quem são as pessoas do ‘informal’ e do ‘artesanal’? Como vivem e que percepções têm do seu modo de vida? Quais são as suas expectativas? Para responder a estas questões a nossa escolha recai sobre uma actividade particular, a pesca ‘artesanal’ na Guiné-Bissau. Esta actividade comporta três dimensões interligadas, as duas primeiras, a produção e a transformação, correspondem às dimensões recobertas pela classificação ‘artesanal’ e a terceira, a comercialização, recai sob a classificação de ‘informal’. Recorrendo aos estudos...

179. Planning Support Systems and the New Logic of Computation - Batty, M

180. Health-care providers' views on pursuing reproductive benefit through newborn screening: the case of sickle cell disorders - Bombard, Yvonne; Miller, Fiona A; Hayeems, Robin Z; Wilson, Brenda J; Carroll, June C; Paynter, Martha; Little, Julian; Allanson, Judith; Bytautas, Jessica P; Chakraborty, Pranesh
Newborn screening (NBS) programs aim to identify affected infants before the onset of treatable disorders. Historically, benefits to the family and society were considered secondary to this clinical benefit; yet, recent discourse defending expanded NBS has argued that screening can in part be justified by secondary benefits, such as learning reproductive risk information to support family planning (‘reproductive benefit'). Despite increased attention to these secondary benefits of NBS, stakeholders' values remain unknown. We report a mixed methods study that included an examination of providers' views toward the pursuit of reproductive risk information through NBS, using sickle cell disorder carrier status...

 

Busque un recurso