This paper introduces a formalism named SINC aimed at the design and verification of synchronous concurrent systems. The components of this formalism are a transition system and a first-order linear-time temporal logic. The SINC transition system adopts a synchronous computation model, includes a method to solve write-conflicts, and represents transitions as possibly non-terminating imperative ...

SINC, a new type III secreted protein of the avian and human pathogen Chlamydia psittaci, uniquely targets the nuclear envelope of C. psittaci-infected cells and uninfected neighboring cells. Digitonin-permeabilization studies of SINC-GFP-transfected HeLa cells indicate that SINC targets the inner nuclear membrane. SINC localization at the nuclear envelope was blocked by importazole, confirming...

Multifunctional theranostic platforms capable of concurrent near-infrared (NIR) fluorescence imaging and phototherapies are strongly desired for cancer diagnosis and treatment. However, the integration of separate imaging and therapeutic components into nanocarriers results in complex theranostic systems with limited translational potential. A single agent-based theranostic nanoplatform, theref...

We consider a class of interpolation algorithms, including the least-squares optimal Yen interpolator, and we derive a closed-form expression for the interpolation error for interpolators of this type. The error depends on the eigenvalue distribution of a matrix that is specified for each set of sampling points. The error expression can be used to prove that the Yen interpolator is optimal. The...

‎‎In this paper, Solvability nonlinear Volterra integral equations with general vanishing delays is stated. So far sinc methods for approximating the solutions of Volterra integral equations have received considerable attention mainly due to their high accuracy. These approximations converge rapidly to the exact solutions as number sinc points increases. Here the numerical solution of nonlinear...

Tensor-product approximation provides a convenient tool for efficient numerical treatment of high dimensional problems that arise, in particular, in electronic structure calculations in Rd. In this work we apply tensor approximation to the Galerkin representation of the Newton and Yukawa potentials for a set of tensor-product, piecewise polynomial basis functions. To construct tensor-structured...

the determination of an unknown boundary condition, in a nonlinaer inverse diffusion problem is considered. for solving these ill-posed inverse problems, galerkin method based on sinc basis functions for space and time will be used. to solve the system of linear equation, a noise is imposed and tikhonove regularization is applied. by using a sensor located at a point in the domain of $x$, say $...

This paper presents the application of Sinc method to solve second order two-point boundary value problems based on derivative interpolation. Even in the presence of singularities, the Sinc numerical method is known to exhibit exponential convergence, resulting in highly accurate solutions. However, the customary approach of interpolating the solution variable with the Sinc bases requires first...

BACKGROUND Electrical Impedance Tomography (EIT) is used as a fast clinical imaging technique for monitoring the health of the human organs such as lungs, heart, brain and breast. Each practical EIT reconstruction algorithm should be efficient enough in terms of convergence rate, and accuracy. The main objective of this study is to investigate the feasibility of precise empirical conductivity i...