Obtaining a 3D extension of Pascal theorem for non-degenerated quadrics and its complete configuration with the aid of a computer algebra system.
A terminal area topology-independent GB-based conflict detection system for A-SMGCS.
A module for conflict detection in A-SMGCS is presented. It supervises the operations that the ground controller has to perform. It doesn?t depend on the topology of the terminal area. The system guarantees the safety of the proposed situation, that is, the impossibility that a conflict arises among aircrafts (and also road vehicles) obeying the signaling. We suppose that the terminal area has stop bars (or semaphores) controlling all intersections and accesses between runways, taxiways, exits,...
A Logic and computer algebra approach to a decision-making problem in medicine
What machines can and cannot do.
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 machines cannot do, we will rely on the results obtained by the mathematicians Alan Turing and Kurt G¨odel. Turing machines, their purpose of defining an exact definition of computation and the relevance of Church-Turing thesis in the theory of computability will be treated in detail. The undecidability of the “Entscheidungsproblem”...
Teorema de irreducibilidad para correspondencias algebraicas.
Sea T una correspondencia algebraica irreducible entre dos variedades proyectivas, V y V', sobre un cuerpo k algebraicamente cerrado y de característica cero. Sea W una subvariedad irreducible de V y W' = T{W} la transformada total de W en T. En [1] se estudia el problema de la conexión de W' y en [3] se estudia el problema de la irreducibilidad de la transformada total de W en correspondencias locales. La finalidad de este artículo es la de aprovechar los resultados de los dos trabajos citados,...
Ángulos medibles.
Bounded queries to arbitrary sets
On certain closed subgroups of .
On the surjectivity of Galois representations attached to elliptic curves over number fields
El problema de Beherens-Fisher en la investigación biomédica. Análisis crítico de un estudio clínico mediante simulación.
En el artículo se hace una revisión del problema de Behrens-Fisher, discutiendo los fundamentos inferenciales asociados a la dificultad de su resolución y exponiendo las soluciones prácticas más comunes, juntamente con una nueva solución basada en conceptos de geometría diferencial. A continuación, se realiza un estudio crítico de una investigación biomédica en donde las verdaderas probabilidades de error son distintas de las supuestas debido a que se ignoran probables diferencias entre las varianzas....
Investigando en nudos y variedades con la ayuda de Mathematica®.
Bernoulli numbers, Hurwitz numbers, p-adic L-functions and Kummer's criterion.
Let K = Q(ζ) and let h be its class number. Kummer showed that p divides h if and only if p divides the numerator of some Bernoulli number. In this expository note we discuss the generalizations of this type of criterion to totally real fields and quadratic imaginary fields.
Variedades tridimensionales cónicas: geometría e invariantes.
Flujos en 3 variedades
Flujos geodésicos de caleidoscopios (orbifolds).
An Approximation Technique for the Numerical Solution of a Stefan Problem.
On universal groups and three-manifolds.
Harmane derivatives in Marcgravia williamsii (MacBr). VII Hallucinogens from South American plants
In Marcgravia williamsii (Marcgraviaceae) pianta usata in Perù nella medicina popolare con il nome di Murcu Huasca sono stati isolati l'armina, la tetraidroarmina e in minore quantità l'armalina, l'armolo e l'armano. È la prima volta che questo gruppo di alcaloidi viene riscontrato in Marcgraviaceae.
The use of fuzzy connectives to design real-coded genetic algorithms.
Genetic algorithms are adaptive methods that use principles inspired by natural population genetics to evolve solutions to search and optimization problems. Genetic algorithms process a population of search space solutions with three operations: selection, crossover and mutation. A great problem in the use of genetic algorithms is premature convergence; the search becomes trapped in a local optimum before the global optimum is found. Fuzzy logic techniques may be used for solving this problem. This...
Heurística complementaria a enfoques duales para la planificación de la producción.
Este trabajo presenta una heurística de varios pasos para la obtención de soluciones admisibles al problema de la planificación de la producción con limitaciones de capacidad, a partir de las soluciones aproximadas que presentan los métodos duales basados en la relajación del problema. La heurística es complementaria a la aplicación de dichos métodos, buscando soluciones admisibles derivadas de las proporcionadas por la solución a la relajación.
Page 1 Next