Search results for "COMPUTATION"
showing 10 items of 7362 documents
Natural Addition of Ordinals
2019
Summary In [3] the existence of the Cantor normal form of ordinals was proven in the Mizar system [6]. In this article its uniqueness is proven and then used to formalize the natural sum of ordinals.
Computational studies of biomolecular screening and interactions
2015
Identifying the Neurocognitive bases of creativity to increase human and computational creativity
2022
En esta Tesis Doctoral se ha identificado la estructura neurocognitiva que sustenta la creatividad humana a partir del análisis conjunto de más de 800 referencias bibliográficas que muestran las investigaciones más importantes realizadas hasta la fecha. Sobre la base de esta estructura, se ha identificado un paradigma neurocognitivo de la creatividad humana y se ha propuesto un modelo neurocognitivo del proceso creativo. Finalmente, también se ha propuesto un paradigma creativo neurocognitivo computacional y se ha diseñado la estructura de un sistema computacional creativo, basado en una estructura multiagente. La investigación que se ha realizado sobre el tema hasta la fecha es muy especia…
Reactivity of asymmetric benzo-condensed diazines with nitrilimine dipoles in the 1,3-dipolar cycloaddition reactions
2009
The reactivity of asymmetric benzo-condensed diazines in the 1,3-dipolar cycloaddition reactions with nitrilimines was investigated. The results demonstrated that, at variance with the symmetric quinoxaline, a certain grade of diastereoselectivity emerged. Moreover in the case of the 5-methylquinoxaline and quinazoline a mono-cycloadduct was obtained.
Vibrational Spectrum of HXeSH revisited : Combined computational and experimental study
2020
Vibrational spectrum of HXeSH embedded in low-temperature matrix is experimentally studied. To support the spectrum interpretation, anharmonic vibrational analysis is performed using different models and basis sets and the data is compared with previous experimental and theoretical analyses. Computations of overtones and combination modes allowed for new band assignments. The HXeSH molecule exhibits high anharmonicity similarly as other molecules from the noble-gas hydride family. Comparison of the employed computational methods shows once again that the modelling of the noble-gas compounds faces theoretical challenges to yield quantitatively reliable results. peerReviewed
Johnson-Nyquist Noise Effects in Neutron Electric-Dipole-Moment Experiments
2021
Magnetic Johnson-Nyquist noise (JNN) originating from metal electrodes, used to create a static electric field in neutron electric-dipole-moment (nEDM) experiments, may limit the sensitivity of measurements. We present here the first dedicated study on JNN applied to a large-scale long-measurement-time experiment with the implementation of a co-magnetometry. In this study, we derive surface- and volume-averaged root-mean-square normal noise amplitudes at a certain frequency bandwidth for a cylindrical geometry. In addition, we model the source of noise as a finite number of current dipoles and demonstrate a method to simulate temporal and three-dimensional spatial dependencies of JNN. The c…
Experimental on-demand recovery of entanglement by local operations within non-Markovian dynamics
2015
In many applications entanglement must be distributed through noisy communication channels that unavoidably degrade it. Entanglement cannot be generated by local operations and classical communication (LOCC), implying that once it has been distributed it is not possible to recreate it by LOCC. Recovery of entanglement by purely local control is however not forbidden in the presence of non-Markovian dynamics, and here we demonstrate in two all-optical experiments that such entanglement restoration can even be achieved on-demand. First, we implement an open-loop control scheme based on a purely local operation, without acquiring any information on the environment; then, we use a closed-loop s…
The Future of Technology in Positive Psychology: Methodological Advances in the Science of Well-Being
2018
Advances in biotechnology and information technology are poised to transform well-being research. This article reviews the technologies that we predict will have the most impact on both measurement and intervention in the field of positive psychology over the next decade. These technologies include: psychopharmacology, non-invasive brain stimulation, virtual reality environments, and big-data methods for large-scale multivariate analysis. Some particularly relevant potential costs and benefits to individual and collective well-being are considered for each technology as well as ethical considerations. As these technologies may substantially enhance the capacity of psychologists to intervene…
CALIBRATION OF LÉVY PROCESSES USING OPTIMAL CONTROL OF KOLMOGOROV EQUATIONS WITH PERIODIC BOUNDARY CONDITIONS
2018
We present an optimal control approach to the problem of model calibration for L\'evy processes based on a non parametric estimation procedure. The calibration problem is of considerable interest in mathematical finance and beyond. Calibration of L\'evy processes is particularly challenging as the jump distribution is given by an arbitrary L\'evy measure, which form a infinite dimensional space. In this work, we follow an approach which is related to the maximum likelihood theory of sieves. The sampling of the L\'evy process is modelled as independent observations of the stochastic process at some terminal time $T$. We use a generic spline discretization of the L\'evy jump measure and selec…
Very narrow quantum OBDDs and width hierarchies for classical OBDDs
2014
In the paper we investigate a model for computing of Boolean functions - Ordered Binary Decision Diagrams (OBDDs), which is a restricted version of Branching Programs. We present several results on the comparative complexity for several variants of OBDD models. - We present some results on the comparative complexity of classical and quantum OBDDs. We consider a partial function depending on a parameter k such that for any k > 0 this function is computed by an exact quantum OBDD of width 2, but any classical OBDD (deterministic or stable bounded-error probabilistic) needs width 2 k+1. - We consider quantum and classical nondeterminism. We show that quantum nondeterminism can be more efficien…