Ballester Bolinches, Adolfo; Esteban Romero, Ramón(Cambridge University Press, 2001-12)
[EN] In this paper a local version of Agrawal's theorem about the structure of finite groups in which Sylow permutability is transitive is given. The result is used to obtain new characterisations of this class of finite groups.
Tubbax, Hans; Peeters, Iris(Editorial Universitat Politècnica de València, 2023-06-16)
[EN] Higher Education Institutes (HEIs) are undergoing a profound and widespread digital transformation with the introduction of digital technologies in education. The introduction of digitised educational environments ...
Cabezos Bernal, Pedro Manuel; Barros da Rocha e Costa, Hugo A.; Iñarra Abad, Susana(Università di Bologna, 2019-06)
[EN] This article aims to highlight the value of immersive panoramic photography, computerized drawing and traditional freehand drawing when representing the landscape, not only analyzing the
particular interest inherent ...
Padró Ferragut, Cristina(Universitat Politècnica de València, 2022-10-11)
[ES] Se prevé que los vehículos sean completamente autónomos para 2040, lo que previsiblemente aportará beneficios considerables a la sociedad. Los vehículos autónomos (AV) dependen en gran medida de los avances en muchas ...
Alpuente Frasnedo, María; Escobar Román, Santiago; Sapiña-Sanchis, Julia; Ballis, Demis(Cambridge University Press, 2019-09)
[EN] Concurrent functional languages that are endowed with symbolic reasoning capabilities such as Maude offer a high-level, elegant, and efficient approach to programming and analyzing complex, highly nondeterministic ...
Program termination is a relevant property that has been extensively studied in the
context of many different formalisms and programming languages. Traditional approaches
to proving termination are usually based on ...
[EN] Art is widely used as an instrument in the dynamics of urban renewal. Among them, Street Art has gone from being considered as a way of highlighting historic centers and contributing to civic identity to become one ...
Alpuente Frasnedo, María; Escobar Román, Santiago; Ballis, Demis; Sapiña-Sanchis, Julia(Cambridge University Press, 2022-05)
[EN] This paper introduces Presto, a symbolic partial evaluator for Maude's rewriting logic theories that can improve system analysis and verification. In Presto, the automated optimization of a conditional rewrite theory ...
Di Maio, Giuseppe; Meccariello, Enrico; Naimpally, Somashekhar(Universitat Politècnica de València, 2008-04-01)
[EN] The subject of hyperspace topologies on closed or closed and compact subsets of a topological space X began in the early part of the last century with the discoveries of Hausdorff metric and Vietoris hit-and-miss ...
Blanes Zamora, Sergio; Calvo, M.P.; Casas, F.; Sanz-Serna, J. M.(Society for Industrial and Applied Mathematics, 2021)
[EN] We construct integrators to be used in Hamiltonian (or Hybrid) Monte Carlo sampling. The new integrators are easily implementable and, for a given computational budget, may deliver five times as many accepted proposals ...
Ortega-Villar, Norma; Muñoz Roca, María del Carmen; Real, José A.(MDPI, 2016-03)
[EN] This review provides an up to date survey of a singular class of iron(II) spin crossover (SCO)
molecular materials that undergo high-spin (HS) Ø low-spin (LS) phase transitions accompanied
by crystallographic symmetry ...
Agustí-Melchor, Manuel; Rodas Jordá, Ángel; Valiente González, José Miguel(Springer, 2011-08-31)
[EN] The symmetry computation has recently been recognized as a topic of interest in many different fields of computer vision and image analysis, which still remains as an open problem. In this work we propose an unified ...
[EN] In this paper, new tools for the dynamical analysis of iterative schemes with memory for solving nonlinear systems of equations are proposed. These tools are in concordance with those of the scalar case and provide ...
Chicharro, Francisco I.; Cordero Barbero, Alicia; Garrido, Neus; Torregrosa Sánchez, Juan Ramón(R. Company, J. C. Cortés, L. Jódar and E. López-Navarro, 2019-07-12)
Garcia March, Miguel Angel; Ferrando Cogollos, Albert; Zacarés González, Mario; Sahu, Sarira; Ceballos Herrera, Daniel Enrique(American Physical Society, 2009-05)
[EN] We determine the functional behavior near the discrete rotational symmetry axis of discrete vortices of the nonlinear Schrodinger equation. We show that these solutions present a central phase singularity whose charge ...
[EN] Two families of symplectic methods specially designed for second-order time-dependent linear systems are presented. Both are obtained from the Magnus expansion of the corresponding first-order equation, but otherwise ...
[EN] We consider the numerical integration of the matrix Hill equation. Parametric resonances
can appear and this property is of great interest in many different physical applications.
Usually, Hill s equations originate ...
[EN] New numerical integrators specifically designed for solving the two-body gravitational problem with a time-varying mass are presented. They can be seen as a generalization of commutator-free quasi-Magnus exponential ...
Blanes Zamora, Sergio; Casas, Fernando; Murua, Ander(American Institute of Physics, 2017-03-21)
[EN] Several symplectic splitting methods of orders four and six are presented for the step-by-step time numerical integration of the Schrodinger equation when the Hamiltonian is a general explicitly time-dependent real ...
[EN] Infectious viroid clones consist of dimeric cDNAs used to generate transcripts which mimic the longer-than-unit replication intermediates. These transcripts can be either generated in vitro or produced in vivo by ...