Complutense University Library

Items where Subject is "Sciences > Mathematics > Logic, Symbolic and mathematical"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Creators
Jump to: | A | B | C | D | F | G | H | J | L | M | P | S | T | V | Y
Number of items at this level: 76.

Amo, Ana del and Montero de Juan, Francisco Javier and Fernández, Angela and López, Marina and Tordesillas, José Manuel and Biging, Greg (2002) Spectral fuzzy classification: An application. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 32 (1). pp. 42-48. ISSN 1094-6977

A

Alejos Castroviejo, Javier and Arranz García, Diego and Mosquera Logoño, Saskya Isabel (2014) Depurador algorítmico para estructuras de control Java. [Coursework] (Unpublished)

Aguirre Garcia, Luis Manuel (2013) Conditional narrowing modulo in Rewriting Logic and Maude. [Trabajo Fin de Máster]

Amo, Ana del and Montero de Juan, Francisco Javier and Binging, Gregory and Cutello, V. (2004) Fuzzy classification systems. European journal of operational research, 156 (2). pp. 495-507. ISSN 0377-2217

Amo, Ana del and Montero de Juan, Francisco Javier and Molina, E. (2001) Representation of consistent recursive rules. European journal of operational research, 130 (1). pp. 29-53. ISSN 0377-2217

B

Baro González, Elías and Berarducci, Alessandro (2011) Topology of definable abelian groups in o-minimal structures. Bulletin of the London Mathematical Society . pp. 1-7. ISSN 1469-2120

Bustince, H. and Pagola, M. and Fernandez, J. and Melo-Pinto, P. and Couto, P. and Tizhoosh, H.R. and Montero de Juan, Francisco Javier (2010) Ignorance functions. An application to the calculation of the threshold in prostate ultrasound images. Fuzzy Sets and Systems, 161 (1). pp. 20-36. ISSN 0165-0114

Baro González, Elías and Otero, Margarita (2010) Locally definable homotopy. Annals of Pure and Applied Logic, 161 (4). pp. 488-503. ISSN 0168-0072

Bustince, H. and Fernandez, J. and Mesiar, R. and Montero de Juan, Francisco Javier and Orduna, R (2010) Overlap functions. Nonlinear Analysis: Theory, Methods & Applications , 72 (3-4 A). pp. 1488-1499. ISSN 0362-546X

Bustince, H. and Fernandez, J. and Mesiar, R. and Montero de Juan, Francisco Javier and Orduna, R (2009) Overlap index, overlap functions and migrativity. In Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference. Computer Science Bibliographies . European Society of Fuzzy Logic and Technology, Lisbon, PORTUGAL, pp. 300-305. ISBN 978-989-95079-6-8

Bradley Delso, Margarita (1990) An elementary based sufficient condition for sums of 2mth powers of polynomials over non-archimedean real closed fields. Journal of Pure and Applied Algebra , 63 (3). pp. 219-224. ISSN 0022-4049

Bradley Delso, Margarita (1989) A sufficient condition for a polynomial to be sum of 2mth powers of rational functions. Comptes Rendus Mathématiques de l'Académie des Sciences. Mathematical Reports of the Academy of Science , 11 (2). pp. 63-68. ISSN 0706-1994

C

Corrales Rodrigañez, Carmen (2007) Matemáticas con algunos cuadros. Suma : Revista sobre Enseñanza y Aprendizaje de las Matematicas, 55 . pp. 93-99. ISSN 1130-488X

Corrales Rodrigañez, Carmen (2007) Máquinas y maquinaciones. Suma : Revista sobre Enseñanza y Aprendizaje de las Matematicas, 54 . pp. 85-94. ISSN 1130-488X

Corrales Rodrigañez, Carmen (2006) Construyendo curvas con las manos. Suma : Revista sobre Enseñanza y Aprendizaje de las Matematicas, 52 . pp. 97-100. ISSN 1130-488X

Corrales Rodrigañez, Carmen (2006) Gauss y Goya: Los dos gigantes que se acercaron a las cosas. Suma : Revista sobre Enseñanza y Aprendizaje de las Matematicas, 51 . pp. 93-97. ISSN 1130-488X

Corrales Rodrigañez, Carmen (2006) Mirando con la cabeza. Suma : Revista sobre Enseñanza y Aprendizaje de las Matematicas, 53 . pp. 75-81. ISSN 1130-488X

Corrales Rodrigañez, Carmen (2005) Escher I: Las matemáticas para construir. Suma : Revista sobre Enseñanza y Aprendizaje de las Matematicas, 49 . pp. 101-108. ISSN 1130-488X

Corrales Rodrigañez, Carmen (2005) Escher II: Las matemáticas para pensar. Suma : Revista sobre Enseñanza y Aprendizaje de las Matematicas, 50 . pp. 109-117. ISSN 1130-488X

Corrales Rodrigañez, Carmen (2005) Un ejemplo de espacio cociente. Suma : Revista sobre Enseñanza y Aprendizaje de las Matematicas , 48 . pp. 99-103. ISSN 1130-488X

Corrales Rodrigañez, Carmen (2004) Salvador Dalí y la cuestión de las dimensiones. Suma : Revista sobre Enseñanza y Aprendizaje de las Matematicas, 47 . pp. 99-108. ISSN 1130-488X

Cutello, V. and Montero de Juan, Francisco Javier (1997) Equivalence and compositions of fuzzy rationality measures. Fuzzy Sets and Systems, 85 (1). pp. 31-43. ISSN 0165-0114

Cutello, V. and Montero de Juan, Francisco Javier and Yañez Gestoso, Francisco Javier (1996) Structure functions with fuzzy states. Fuzzy Sets and Systems, 83 (2). pp. 189-202. ISSN 0165-0114

Cutello, V. and Montero de Juan, Francisco Javier (1994) Hierarchies of aggregation operators. International Journal of Intelligent Systems, 9 (11). pp. 1025-1045. ISSN 0884-8173

Cutello, V. and Montero de Juan, Francisco Javier (1993) A characterization of rational amalgamation operations. International Journal of Approximate Reasoning, 8 (4). pp. 325-344. ISSN 0888-613X

D

Díaz Agrela, Diana (2009) Determinación taxonómica inteligente de Flora Ibérica mediante lógica fuzzy. [Trabajo Fin de Máster]

Durán, Francisco and Verdejo López, José Alberto (2002) Cardelli’s Challenge in Mobile Maude: A Conference Reviewing System. Technical report, 124-02 . pp. 1-31.

F

Franco, Camilo and Tinguaro Rodríguez, J. and Montero de Juan, Francisco Javier (2010) Information Measures over Intuitionistic Four Valued Fuzzy Preferences. In 2010 IEEE International Conference on Fuzzy Systems (FUZZ-IEE 2010),. 2010 IEEE World Congress on Computational Intelligence . IEEE, pp. 1-8. ISBN 978-1-4244-6920-8

G

Gomez, D. and Montero de Juan, Francisco Javier and Yañez Gestoso, Francisco Javier (2009) A Structural Approach to Image Segmentation. In 2009 Ninth International Conference on Intelligent Systems Design and Applications. IEEE, Pisa, ITALY, pp. 1329-1334. ISBN 978-1-4244-4735-0

Garmendia, L. and Salvador , A and Montero de Juan, Francisco Javier (2009) Computing a T-transitive lower approximation or opening of a proximity relation. Fuzzy Sets and Systems, 160 (14). pp. 2097-2015. ISSN 0165-0114

Garmendia, L. and Salvador , A and Montero de Juan, Francisco Javier (2008) Computing a T-transitive opening of a proximity. In Computational intelligence in decision and control : proceedings of the 8th International FLINS Conference. World Scientific, Singapore , pp. 157-162. ISBN 978-981-279-946-3

Gómez, D. and Montero de Juan, Francisco Javier and Yañez Gestoso, Francisco Javier (2007) Decomposing preference relations. In 2007 IEEE international conference on fuzzy systems. IEE monograph series , 1-4 . IEEE,electron devices soc &reliability group, London, England, pp. 1256-1260. ISBN 978-1-4244-1209-9

Guijarro Mata-García, María (2007) Diseño de un nuevo clasificador híbrido no supervisado para texturas naturales en imágenes. [Trabajo Fin de Máster]

Gomez, D. and Montero de Juan, Francisco Javier (2004) A discussion on aggregation operators. Kybernetika, 40 (1). pp. 107-120. ISSN 0023-5954

González-Pachón, J. and Gomez, D. and Montero de Juan, Francisco Javier and Yañez Gestoso, Francisco Javier (2003) Soft dimension theory. Fuzzy Sets and Systems, 137 (1). pp. 137-149. ISSN 0165-0114

H

Hidalgo Herrero, Mercedes and Ortega Mallén, Yolanda and Rubio, Fernando (2007) Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages. In Implementation and Application of Functional Languages. Lecture Notes in Computer Science, 4449 . Board, Berlin, pp. 55-72. ISBN 978-3-540-74129-9

Hidalgo Herrero , Mercedes and Ortega Mallen, Yolanda and Rubio, Fernando (2006) Analyzing the influence of mixed evaluation on the performance of Eden skeletons. Parallel Computing, 32 (7-8). pp. 523-538. ISSN 0167-8191

J

Jesus Zarrazola, E. de and Gómez, Daniel and Montero de Juan, Francisco Javier and Yañez Gestoso, Francisco Javier (2010) A hierarchical segmentation for image processing. In 2010 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC). IEEE Conference Publications (http:/). IEEE , pp. 1-4. ISBN 978-1-4244-8126-2

L

Lopez, Victoria and Montero de Juan, Francisco Javier and Tinguaro Rodríguez, J. (2010) Formal Specification and Implementation of Computational. In Computational Intelligence: Foundations and Applications, Proceedings of the 9th International FLINS Conference (World Scientific Proceedings Series on Computer Engineering and Information Science). World Scientific Proceedings Series on Computer Engineering and Information Science, 4 (4). World Scientific Publishing Company , pp. 523-528. ISBN 9789814324694

Lupianez, Francisco Gallego (2010) On neutrosophic paraconsistent topology. Kybernetes, 39 (4). pp. 598-601. ISSN 0368-492X

Lopez, Victoria and Montero de Juan, Francisco Javier (2009) Formal Specification under Fuzziness. Journal of Multiple-Valued Logic and Soft Computin, 15 (2-3). pp. 209-228. ISSN 1542-3980

Lupianez, Francisco Gallego (2009) Interval neutrosophic sets and topology. Kybernetes, 38 (3/4). pp. 621-624. ISSN 0368-492X

Lupianez, Francisco Gallego (2009) On various neutrosophic topologies. Kybernetes, 38 (6). pp. 1005-1009. ISSN 0368-492X

Lupianez, Francisco Gallego (2008) Some recent results on Atanassov's intuitionistic fuzzy topological spaces. In Computational Intelligence in Decision and Control. World Scientific Proceedings Series on Computer Engineering and Information Science (1). World Scientific , Singapore, pp. 229-234. ISBN 978-981-279-946-3

Lupianez, Francisco Gallego (2007) Covering properties in intuitionistic fuzzy topological spaces. Kybernetes, 36 (5/6). pp. 749-753. ISSN 0368-492X

Lupianez, Francisco Gallego (2007) On some fuzzy maps. Kybernetes, 36 (2). pp. 267-269. ISSN 0368-492X

Lupianez, Francisco Gallego (2003) Fuzzy partitions of unity. International Mathematical Journal , 4 (1). pp. 65-68. ISSN 1311-6797

Lupianez, Francisco Gallego (1998) Fuzzy perfect maps and fuzzy paracompactness. Fuzzy Sets and Systems, 98 (1). pp. 137-140. ISSN 0165-0114

M

Martín Bonilla, Raúl (2011) Gestión de sostenibilidad utilizando lógica borrosa. [Trabajo Fin de Máster]

Montero de Juan, Francisco Javier and Martinez, Luis (2010) Upgrading ideas about the concept of Soft Computing. International Journal of Computational Intelligence Systems, 3 (2). pp. 144-147. ISSN 1875-6883

Morata Palacios, Francisco (2009) Controlador fuzzy de un quadrotor. [Trabajo Fin de Máster]

Montero de Juan, Francisco Javier and Gómez, Daniel and Bustince, H. (2007) Atanassov’s Intuitionistic Fuzzy Sets as a Classification Model. In Foundations of fuzzy logic and soft computing :12th International fuzzy systems association world congress. Lecture Notes in Computer Science (4529). Springer, Berlin, pp. 69-75. ISBN 978-3-540-72917-4

Montero de Juan, Francisco Javier and Gómez , D. and Bustince, H. (2007) On the relevance of some families of fuzzy Sets. Fuzzy Sets and Systems, 158 (22). pp. 2429-2442. ISSN 0165-0114

Martín de la Calle, Pedro Jesús (2003) Métodos de tableaux para lógicas con declaraciones de términos, dominios preordenados y operaciones monótonas. [Thesis]

Montero de Juan, Francisco Javier (1994) Rational aggregation rules. Fuzzy Sets and Systems, 62 (3). pp. 267-276. ISSN 0165-0114

Menéndez Calleja, María Luisa and Taneja, I.J. and Pardo Llorente, Julio Ángel (1993) A fuzzy probabilistic information system comparison criterion: Applications and properties. Fuzzy Sets and Systems, 58 (2). pp. 171-183. ISSN 0165-0114

Menéndez Calleja, María Luisa and Pardo Llorente, Julio Ángel and Pardo Llorente, Leandro (1992) Some statistical applications of generalized Jensen difference divergence measures for fuzzy information systems. Fuzzy Sets and Systems, 52 (2). pp. 169-180. ISSN 0165-0114

Menéndez Calleja, María Luisa and Pardo Llorente, Julio Ángel and Pardo Llorente, Leandro (1989) Sufficient fuzzy information systems. Fuzzy Sets and Systems, 32 (1). pp. 81-89. ISSN 0165-0114

Montero de Juan, Francisco Javier and Tejada Cazorla, Juan Antonio (1986) Sobre la transitividad difusa. Estadística Española (111). pp. 49-58. ISSN 0014-1151

Meseguer Guaita, José and Sols Lucía, Ignacio (1975) Automata in semimodule categories. Bulletin de l'Académie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques, 23 (11). pp. 1161-1166. ISSN 0001-4117

P

Palomino Palomino, Mª Pilar (2009) Algoritmo para la localización y estimación de masa forestal a partir de imágenes LiDAR. [Trabajo Fin de Máster]

Piorno Campo, Juan (2009) Diseño de un nuevo clasificador supervisado para minería de datos. [Trabajo Fin de Máster]

Pita Andreu, María Isabel (2004) Técnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura. [Thesis]

Pardo Llorente, Julio Ángel (1993) The (α, β)-terminal Information energy in the sequential selection of fuzzy information systems. Information Sciences, 69 (1-2). pp. 65-88. ISSN 0020-0255

S

Santos Benavides, Germán Pablo (2011) Medida borrosa de la fiabilidad de un recurso para entornos Grid. [Trabajo Fin de Máster]

Samborski-Forlese, Julian (2011) Two Algorithms for Model Checking of Regular Linear Temporal Logic. [Trabajo Fin de Máster]

Sánchez-Velisco Sánchez, Carlos and García Martínez, Antonio José and Fernández Maiquez, David (2010) Diseño de un entorno para la inserción y detección de errores en sistemas basados en FPGAs. [Coursework] (Unpublished)

Sobrevilla, P. and Gómez, D. and Montero de Juan, Francisco Javier and Montseny, E. (2005) Unsupervised perceptual model for color image's segmentation. In NAFIPS 2005 - 2005 Annual meeting of the north american fuzzy information processing society. IEE monograph series . IEEE, Detroit, MI, pp. 349-354. ISBN 0-7803-9187-X

Sánchez Gil, Lidia and Hidalgo Herrero, Mercedes and Ortega Mallén, Yolanda (2001) Relating function spaces to resourced function spaces. In Proceeding SAC '11 Proceedings of the 2011 ACM Symposium on Applied Computing. ACM, New York, pp. 1301-1308. ISBN 978-1-4503-0113-8

Sols Lucía, Ignacio (1975) Bon ordre dans l'objet des nombres naturels d'un topos booléen. Comptes Rendus de l'Académie des Sciences. Série I. Mathématique , 281 (15). pp. 601-603. ISSN 0764-4442

T

Tinguaro Rodríguez, J. and Vitoriano, Begoña and Montero de Juan, Francisco Javier and Gomez, D. (2009) Modelling Bipolar Multicriteria Decision Making. In Computational intelligence in miulti-criteria decision-making, 2009. mcdm '09. ieee symposium on comutational intelligence in multi-criteria decision-marking. IEEE Symposium on Computational Intelligence in Multi-Criteria Decision-Making . IEEE, Nashville, TN, pp. 115-117. ISBN 978-1-4244-2764-2

V

Verdejo López, José Alberto and Martí Oliet, Narciso (2003) Executable Structural Operational Semantics in Maude. Technical report, 134-03 . pp. 1-73.

Verdejo López, José Alberto (2002) A tool for Full LOTOS in Maude. Technical report, 123-02 . pp. 1-51.

Verdejo López, José Alberto (2002) LOTOS Symbolic Semantics in Maude. Technical report, 122-02 . pp. 1-43.

Verdejo López, José Alberto and Pita Andreu, María Isabel and Martí Oliet, Narciso (2001) The Leader Election Protocol of IEEE 1394 in Maude. Technical report, 118.01 . pp. 1-40.

Y

Yañez Gestoso, Francisco Javier and Montero de Juan, Francisco Javier and Gomez, D. (2008) An Algorithmic Approach to Preference Representation. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 16 (Suppl.). pp. 1-18. ISSN 0218-4885

This list was generated on Tue Sep 2 02:47:54 2014 CEST.