We study interactions between multiple temporal pairs of slits in coherent control photoionization $S$-state atoms using a pulse train $N+1$ evenly delayed time by $\ensuremath{\tau}$, which the two pulses pair with delay ${\ensuremath{\tau}}_{0}$ are counter-rotating circularly polarized. For interacting double-slit experiments, while Ramsey interference identical Archimedean spirals yields pr...

We theoretically study time delays obtained using the attosecond-streaking technique. To this end, we compute time delays by numerically solving the corresponding time-dependent Schrödinger equation and analyze the delays using two classical methods, namely, a perturbative approach and a full numerical solution of Newton’s equation describing the motion of the photoelectron in the continuum. A ...

Using the push-out test, this study evaluated the bond strength of the composite resin Z250 (3M/ESPE) photoactivated with the XL2500 (3M/ESPE) quartz-tungsten-halogen light-curing unit with different curing protocols: soft-start (150 mW/cm² for 2 s (S2), 3 s (S3), 5 s (S5), 10 s (S10) or 15 s (S15), followed by 700 mW/cm² for 15 s; pulse-delay (150 mW/cm² for 2 s (P2), 3 s (P3), 5 s (P5), 10 s ...

Since the investigation of impulsive delay differential equations are inchoate, the literature on delay epidemic models with pulse vaccination is not extensive. In this paper, we propose a delay SIR epidemic model with impulsive effect and analyze the global dynamics behaviors of the model. Using the discrete dynamical system determined by the stroboscopic map, we show that there exists an ’inf...

Languages such as ML or Lisp permit the use of recursively defined function expressions with locally declared storage locations. Although this can be very convenient from a programming point of view it severely complicates the properties of program equivalence even for relatively simple fragments of such languages—such as the simply typed fragment of Standard ML with integer-valued references c...

An Operational Type Theory (OPTT) is developed based on a theory of operational joinability of untyped terms. The theory accomodates functions which might diverge or abort on some inputs. To preserve logical soundness, OPTT distinguishes proofs from programs, and formulas from types. OPTT incorporates proof irrelevance, thus facilitating the combination of internal and external verification.

In the present paper, a numerical method is considered for solving one-dimensional heat equation subject to both Neumann and Dirichlet initial boundary conditions. This method is a combination of collocation method and radial basis functions (RBFs). The operational matrix of derivative for Laguerre-Gaussians (LG) radial basis functions is used to reduce the problem to a set of algebraic equatio...