Retracts, fixed point index and differential equations Rafael Ortega (2009)
Rev R. Acad, Cien Serie, A. Mat
Abstract. Some problems in differential equations evolve towards Topology from an analytical origin. Two such problems will be discussed: the existence of solutions asymptotic to the equilibrium and...
Ciencias de la Computación / Computational Sciences Hypersequents and Fuzzy Logic (2008)
Rev R. Acad, Cien Serie, A. Mat, Dov Gabbay, George Metcalfe, Nicola Olivetti
Abstract. Fuzzy logics based on t-norms and their residua have been investigated extensively from a semantic perspective but a unifying proof theory for these logics has, until recently, been...
Rev R. Acad, Cien Serie, A. Mat
Equilibria in a class of games and topological results implying their existence
Strongly compact algebras (2008)
Rev R. Acad, Cien Serie, A. Mat, Miguel Lacruz, Victor Lomonosov, Luis Rodríguez-piazza
Abstract. An algebra of bounded linear operators on a Hilbert space is said to be strongly compact if its unit ball is relatively compact in the strong operator topology. A bounded linear operator on...
Numerical Ranges of Some Composition Operators (2008)
Rev R. Acad, Cien Serie, A. Mat, Catherine Finet
Abstract. This paper is a short survey on the numerical range of some composition operators. The first part is devoted to composition operators on the Hilbert Hardy space H 2 on the unit disk. The...
Rev R. Acad, Cien Serie, A. Mat, Michael Franssen, Harrie De Swart
Abstract. Cocktail is a tool for deriving correct programs from their specifications. The present version is powerful enough for educational purposes. The tool yields support for many sorted first...
Agent-Oriented Abstraction (2008)
Rev R. Acad, Cien Serie, A. Mat, Jacques Calmet, Pierre Maret, Regine Endsuleit
Abstract. We define an agent-oriented abstraction formalism devoted to generalized theories of abstraction that have been proposed in Artificial Intelligence. The model we propose extends the...
Rev R. Acad, Cien Serie, A. Mat, J. M. Rakotoson
Relative rearrangement and interpolation inequalities
Artículo panorámico / Survey Misclassified multinomial data: a Bayesian approach (2008)
Rev R. Acad, Cien Serie, A. Mat, C. J. Pérez, F. J. Girón, J. Martín, ...
Abstract. In this paper, the problem of inference with misclassified multinomial data is addressed. Over the last years there has been a significant upsurge of interest in the development of Bayesian...
Rev R. Acad, Cien Serie, A. Mat, José Antonio Alonso, Joaquín Borrego, María José Hidalgo, ...
Abstract. This paper is concerned with a formal verification of the Formal Concept Analysis framework. We use the PVS system to represent and formally verify some algorithms of this theory. We also...
Rev R. Acad, Cien Serie, A. Mat
Satisfiability and matchings in bipartite graphs: relationship
Rev R. Acad, Cien Serie, A. Mat, Laurent Henocque
Abstract. Object oriented constraint programs (OOCPs) emerge as a leading evolution of constraint programming and artificial intelligence, first applied to a range of industrial applications called...
A Modal Logic for Incidence Spherical Geometry (2008)
Rev R. Acad, Cien Serie, A. Mat, Alfonso Ríder Moyano, Rafael María, Rubio Ruiz
Abstract. Usually, the incidence geometries are based in two-sorted structures formed of points, lines conected each other for a relationship. Furthermore, we introduce a one-sorted structure that we...
Rev R. Acad, Cien Serie, A. Mat, Luis M. Laita, Eugenio Roanes-lozano
Abstract. In this paper, the questions of what machines cannot do and what they can do will be treated by examining the ideas and results of eminent mathematicians. Regarding the question of what...
Rev R. Acad, Cien Serie, A. Mat, Jordi López Abad, Stevo Todorcevic
Partial unconditionality of weakly null sequences
Mathematical Methods in Modern Risk Measurement: A Survey ∗ (2008)
Rev R. Acad, Cien Serie, A. Mat, Alejandro Balbás
Abstract. In the last ten years we have been facing the development on new approaches in Risk Measurement. The Coherent, Expectation Bounded, Convex, Consistent, etc. Risk Measures have been...
A Variational Inequality for Discontinuous Solutions of Degenerate Parabolic Equations (2008)
Rev R. Acad, Cien Serie, A. Mat, Lorina Dascal, Shoshana Kamin, Nir A. Sochen
Abstract. The Beltrami framework for image processing and analysis introduces a non-linear parabolic problem, called in this context the Beltrami flow. We study in the framework for functions of...
Rev R. Acad, Cien Serie, A. Mat, Enric Trillas, Claudi Alsina, Ana Pradera
Abstract. This paper deals with numerical functions  �� � ℄ ¢ � � ℄ � � � ℄ able to functionally express operators � � � � ℄ � ¢ � � ℄ � � � � ℄...
Rev R. Acad, Cien Serie, A. Mat, John A. Campbell
Abstract. Numerical taxonomy, which uses numerical methods to classify and relate items whose properties are non-numerical, is suggested as both an advantageous tool to support case-based reasoning...
Álgebra / Algebra P-adic Root Isolation (2008)
Rev R. Acad, Cien Serie, A. Mat, Thomas Sturm, Volker Weispfenning
Abstract. We present an implemented algorithmic method for counting and isolating all Ô-adic roots of univariate polynomials � over the rational numbers. The roots of � are uniquely described by...
Rev R. Acad, Cien Serie, A. Mat, Jochen Pfalzgraf
Abstract. The concept of logical fiberings is briefly summarized. Based on experiences with concrete examples an algorithmic approach is developed which leads to a represention of a many-valued logic...
Rev R. Acad, Cien Serie, A. Mat
A result of existence for an original convection-diffusion equation G. Gagneux and G. Vallet Abstract. In this paper, we are interested in the mathematical analysis of a non-classical conservation...
Rev R. Acad, Cien Serie, A. Mat, Bruno Buchberger
Abstract. We discuss the question of whether the central result of algorithmic Gröbner bases theory, namely the notion of S–polynomials together with the algorithm for constructing Gröbner bases...
Análisis Matemático / Mathematical Analysis Recent developments in hypercyclicity (2008)
Rev R. Acad, Cien Serie, A. Mat
Abstract. In these notes we report on recent progress in the theory of hypercyclic and chaotic operators. Our discussion will be guided by the following fundamental problems: How do we recognize...
Rev R. Acad, Cien Serie, A. Mat, Matt Kaufmann, J Strother Moore
Abstract. This paper sketches the state of the art in the application of mechanical theorem provers to the verification of commercial computer hardware and software. While the paper focuses on the...
Rev R. Acad, Cien Serie, A. Mat, Bernhard Beckert, Martin Giese, Elmar Habermalz, ...
Abstract. Frameworks for interactive theorem proving give the user explicit control over the construction of proofs based on meta languages that contain dedicated control structures for describing...
Taclets: A New Paradigm for Constructing Interactive Theorem Provers (2008)
Rev R. Acad, Cien Serie, A. Mat, Bernhard Beckert, Martin Giese, Elmar Habermalz, ...
Abstract. Frameworks for interactive theorem proving give the user explicit control over the construction of proofs based on meta languages that contain dedicated control structures for describing...
Ciencias de la Computación / Computational Sciences Induction and Decision Procedures (2008)
Rev R. Acad, Cien Serie, A. Mat, Deepak Kapur, Jürgen Giesl, Mahadevan Subramaniam
Abstract. Mechanization of inductive reasoning is an exciting research area in artificial intelligence and automated reasoning with many challenges. An overview of our work on mechanizing inductive...
Agent-Oriented Abstraction (2007)
Rev R. Acad, Cien Serie, R. Endsuleit, A. Mat, J. Calmet, P. Maret, ...
We define an agent-oriented abstraction formalism devoted to generalized theories of abstraction that have been proposed in Artificial Intelligence. The model we propose extends the abstraction...
Taclets: A New Paradigm for Constructing Interactive Theorem Provers (2007)
Rev R. Acad, Cien Serie, A. Mat, Bernhard Beckert, Martin Giese, Elmar Habermalz, ...
Abstract. Frameworks for interactive theorem proving give the user explicit control over the construction of proofs based on meta languages that contain dedicated control structures for describing...
Towards the Automated Synthesis of a Gröbner Bases Algorithm (2004)
Rev R. Acad, Cien Serie, A. Mat, Falta Falta, Bruno Buchberger
We discuss the question of whether the central result of algorithmic Gr obner bases theory, namely the notion of S--polynomials together with the algorithm for constructing Gr obner bases using...