By combining the theories of optimal control and coherent control, we derive an analytical formulation to evaluate the optimal 1-photon and n-photon fields together with their relative phase and intensity in the optimal “1 + n”-coherent control scheme. The optimal coherent control exploits tailored light pulses to produce the best overlap with a predefined nuclear target in an electronically de...

Homotopy And Simple Homotopy Theory Find loads of the abstract homotopy and simple homotopy theory book catalogues in this site as the choice of you visiting this page. You can also join to the website book library that will show you numerous books from any types. Literature, science, politics, and many more catalogues are presented to offer you the best book to find. The book that really makes...

The classical stimulated Raman scattering system describing resonant interaction between two electromagnetic waves and a fast relaxing medium wave is studied by introducting a systematic perturbation approach in powers of the relaxation time. We separate amplitude and phase effects for these complex fields. The analysis of the former shows the existence of a stagnation distance after which mono...

We present a simple model of protein folding dynamics that captures key qualitative elements recently seen in all-atom simulations. The goals of this theory are to serve as a simple formalism for gaining deeper insight into the physical properties seen in detailed simulations as well as to serve as a model to easily compare why these simulations suggest a different kinetic mechanism than previo...

Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys the virtues of simple type theory and attempts to show that simple type theory is an attractive alternative to first-order logic for practical-minded scientists, engineers, and mathematicians. It recommends that simple t...

A three-state stochastic model of motor protein Qian, Biophys. Chem., (1997)] is further developed to illustrate the relationship between the external load on an individual motor protein in aqueous solution with various ATP concentration and its steady-state velocity. A wide variety of dynamic motor behavior are obtained from this simple model. For the particular case of free-load translocation...

We present a straightforward embedding of quantified multimodal logic in simple type theory and prove its soundness and completeness. Modal operators are replaced by quantification over a type of possible worlds. We present simple experiments, using existing higher-order theorem provers, to demonstrate that the embedding allows automated proofs of statements in these logics, as well as meta pro...

We demonstrate the existence of a simple physical picture of superconductivity for extremely overdoped CuO2 planes. It possesses all characteristic features of HTS, such as a high superconducting transition temperature, the dx2−y2 symmetry of order parameter, and the coexistence of a single electron Fermi surface and a pseudogap in the normal state. Values of pseudogap are calculated for differ...

Quantum decision theory (QDT) is a recently developed theory of decision making based on the mathematics of Hilbert spaces, a framework known in physics for its application to quantum mechanics. This framework formalizes the concept of uncertainty and other effects that are particularly manifest in cognitive processes, which makes it well suited for the study of decision making. QDT describes a...