Thursday, July 2, 2015

 

 



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 145,765

161. Using Luenberger observers and dwell-time logic for feedback hybrid loops in continuous-time control systems - Fichera, Francesco; Prieur, Christophe; Tarbouriech, Sophie; Zaccarian, Luca
International audience

162. Fuzzy logic techniques for Cybercars: a control and decision approach. - Oriana Rojas, Michelena; Pérez Rastelli, Joshué; Nashashibi, Fawzi
National audience

163. Secure Collaboration for Smartphones - Imine, Abdessamad; Rusinowitch, Michael
International audience

164. ETNICIDAD NEGRA Y ELECCIONES EN COLOMBIA - Agudelo, Carlos
En Colombia, a pesar del crecimiento permanente del desencantamiento de la población por la política - fenómeno común al de muchos países en el mundo - las identidades políticas de los colombianos siguen respondiendo mayoritariamente a la adscripción formal en los partidos políticos tradicionales y a las prácticas clientelistas de participación electoral. Con algunas particularidades, las poblaciones negras no escapan a esta lógica. En la década de 1990 (al calor de una designación oficial, no exenta de contradicciones, de las poblaciones negras como minoría étnica) surgen movimientos étnicos negros que intentan constituirse en alternativas políticas nuevas y arrebatarle a los...

165. A regulação da actividade maritimo-turística: o caso do Rio Douro - Machado, Virgílio
O autor estuda a regulação como produto de uma política pública, com incidência de análise nas políticas públicas de turismo.A sujeição destas a princípios gerais, como a transversalidade, a sustentabilidade e a competitividade, contidas na Lei das Políticas Públicas de Turismo dá o mote para a investigação.A atividade maritimo-turistica tem tido no mundo e em Portugal um crescimento exponencial pelo que o conhecimento científico de sua regulação nacional exige instrumentos intelectuais para ordenar metodicamente o material normativo, classificá-lo, segundo objectos e afinidades, procurar nele princípios comuns que as normas sejam manifestação, de modo a construir um sistema logicamente coerente Esta...

166. Objects and subtyping in the λΠ-calculus modulo - Cauderlier, Raphaël; Dubois, Catherine
We present a shallow embedding of the Object Calculus of Abadi and Cardelli in the λΠ-calculus modulo, an extension of the λΠ-calculus in which conversion is considered modulo a rewrite system. This embedding may be used as an example of translation of subtyping, a feature also present in some proof assistants like Coq and PVS. This embedding is proved correct with respect to the operational semantics and the type system of the Object Calculus. It has been implemented as a translation tool from the Object Calculus to Dedukti, a type-checker for the λΠ-calculus modulo.

167. Simply Typed Lambda-Calculus Modulo Type Isomorphisms - Díaz-Caro, Alejandro; Dowek, Gilles
We define a simply typed, non-deterministic lambda-calculus where isomorphic types are equated. To this end, an equivalence relation is settled at the term level. We then provide a proof of strong normalisation modulo equivalence. Such a proof is a non-trivial adaptation of the reducibility method.

168. Sobre las funciones y reglas de agregación - Montero de Juan, Francisco Javier; Gomez, D.; Lopez, Victoria; Rodríguez, Sergio; Vitoriano Villanueva, Begoña
En este artículo se analiza la definición actualmente al uso de función de agregación,haciendo hincapié en que, a pesar de considerar el problema de la variabilidad de la dimensión de la información a agregar, dicha definición no cierra la posibilidad de disfuncionalidades obvias, subyaciendo en su concepción un potencial abuso del formalismo matemático que, junto con las necesarias consideraciones de implementación práctica pueden llevar a reducir a una simple fórmula lo que es un complejo concepto. En este trabajo propondremos las bases para una definición alternativa que tenga en cuenta los objetivos y las limitaciones que se observan en las...

169. Una generalización de la migratividad - Bustince, Humberto; Fernandez, Javier; De Baets, B.; Montero de Juan, Francisco Javier; Mesiar, R.
En este trabajo presentamos una generalizacion de los conceptos de funcion migrativa y funcion migrativa. En particular, nos centramos en la relacion de estas funciones migrativas generalizadas con algunas propiedades habitualmente requeridas a funciones de agregacion, como puede ser la existencia de elemento neutro.

170. From computer algebra to discretized continuous logic - Roanes-Lozano, E.; Montero de Juan, Francisco Javier; Hernando, A.; Laita, L. M.
The aim of this paper is to present a new algebraic approach from computer algebra to a discretized continuous logic. It makes use of a previous model of p-valued logic (where p is a prime number) based on the use of Grobner bases of polynomial ideals. A five-valued logic (i.e., p = 5) with some modal operators has been considered as a compromise between precision and complexity of the polynomials involved. Therefore the continuous truth values are discretized into five intervals corresponding to the likelihood levels: impossible or very unlikely unlikely dubious probably almost sure or absolutely sure. It is...

171. Caracterización del sistema de memoria de una GPGPU - Candel Margaix, Francisco
[EN] The constant need to increase computing capacity and reduce processors energy intake has led manufacturers to design heterogeneous systems, including GPU in the same chip as the CPU. From the computational point of view, GPUs are far more efficient in the execution of streaming type applications. Besides, they don't include logic to support the execution of instructions out of order, so they are more efficient from an energy point of view. To make the most of the performance on each type of architecture (CPU and GPU), we need to efficiently distribute the computation between the two platforms. In the...

172. $rec.titulo - Wagner, Frank Olaf

173. The computability path ordering - Blanqui, Frédéric; Jouannaud, Jean-Pierre; Rubio, Albert
This paper aims at carrying out termination proofs for simply typed higher-order calculi automatically by using ordering comparisons. To this end, we introduce the computability path ordering (CPO), a recursive relation on terms obtained by lifting a precedence on function symbols. A first version, core CPO, is essentially obtained from the higher-order recursive path ordering (HORPO) by eliminating type checks from some recursive calls and by incorporating the treatment of bound variables as in the com-putability closure. The well-foundedness proof shows that core CPO captures the essence of computability arguments à la Tait and Girard, therefore explaining its name. We...

174. Management of distributed power in hybrid vehicles based on D.P. or Fuzzy Logic - Guemri, Mouloud; Neffati, Ahmed; Caux, Stéphane; Ngueveu, Sandra Ulrich
International audience

175. Reasoning in description logics with variables: preliminary results regarding the EL logic. - Akroun, Lakhdar; Toumani, Farouk; Nourine, Lhouari
International audience

176. On the use of coherence measures for fuzzy preference relations - Franco de los Rios, Camilo; Montero de Juan, Francisco Javier
Although consistency in information and actions is a major argument in any decision making problem, most available tools are crisp, while observation strongly suggests to consider different degrees of consistency, i.e.,consistency is fuzzy in nature. In this paper we propose to put together some of the works in the field, focusing on information consistency rather than on action consistency, showing in this way key classification features.

177. Partition problems for fuzzy graphs - Gomez, Daniel; Montero de Juan, Francisco Javier; Yañez Gestoso, Francisco Javier
The main contribution of this paper is to obtain a polynomial algorithm that allows us to classify step by step a set of items that are related by means of a fuzzy graph extending the algorithm published in [8] to any class of graph.

178. A methodology for building fuzzy rules from data - Rodríguez, Juan Tinguaro; Lopez, Victoria; Montero de Juan, Francisco Javier; Vitoriano Villanueva, Begoña
Extraction of rules for classification and decision tasks from databases is an issue of growing importance as automated processes based on data are being required in these fields. Interpretability of rules is improved by defining classes for independent variables. Moreover, though more complex, a more realistic and flexible framework is attained when fuzzy classes are considered. In this paper, an inductive approach is taken in order to develop a general methodology for building fuzzy rules from databases. Three types of rules are built in order to be able of dealing with both categorical and numerical data.

179. Decision making and Atanassov's approach to fuzzy sets - Rodríguez, Juan Tinguaro; Vitoriano Villanueva, Begoña; Montero de Juan, Francisco Javier
In this paper we stress the role that decision making, and therefore an underlying binary (bipolar) approach, plays in Atanassov's intuitionistic view of fuzzy sets. Moreover, we point out that such a bipolar view can be found in classical multicriteria models.

180. Dinámica de la violencia sociopolítica en Medellín y papel del gobierno local 1988- 2007 - Suárez Rodríguez, Clara Mercedes
Esta tesis tuvo como objetivo principal analizar dinámica de la violencia sociopolítica en Medellín entre 1988-2007 y el papel jugado por el gobierno local. Para lo cual se realizó un estudio analítico interpretativo, que a partir de la combinación de métodos desde la lógica cuantitativa y cualitativa busco abordar la realidad sobre esta tipología de violencia en la ciudad. Se tomaron tres expresiones de violencia como centró de análisis a saber: los homicidios, los secuestros y las desapariciones forzadas. Los resultados dan cuenta de varias fluctuaciones en la dinámica de la violencia de donde es posible caracterizar cuatro periodos, dos de...

 

Busque un recurso