Search results for "computer program"
showing 10 items of 807 documents
Cores for parabolic operators with unbounded coefficients
2009
Abstract Let A = ∑ i , j = 1 N q i j ( s , x ) D i j + ∑ i = 1 N b i ( s , x ) D i be a family of elliptic differential operators with unbounded coefficients defined in R N + 1 . In [M. Kunze, L. Lorenzi, A. Lunardi, Nonautonomous Kolmogorov parabolic equations with unbounded coefficients, Trans. Amer. Math. Soc., in press], under suitable assumptions, it has been proved that the operator G : = A − D s generates a semigroup of positive contractions ( T p ( t ) ) in L p ( R N + 1 , ν ) for every 1 ⩽ p + ∞ , where ν is an infinitesimally invariant measure of ( T p ( t ) ) . Here, under some additional conditions on the growth of the coefficients of A , which cover also some growths with an ex…
Randomized renaming in shared memory systems.
2021
Abstract Renaming is a task in distributed computing where n processes are assigned new names from a name space of size m . The problem is called tight if m = n , and loose if m > n . In recent years renaming came to the fore again and new algorithms were developed. For tight renaming in asynchronous shared memory systems, Alistarh et al. describe a construction based on the AKS network that assigns all names within O ( log n ) steps per process. They also show that, depending on the size of the name space, loose renaming can be done considerably faster. For m = ( 1 + ϵ ) ⋅ n and constant ϵ , they achieve a step complexity of O ( log log n ) . In this paper we consider tight as well as loos…
Impact of common property (E.A.) on fixed point theorems in fuzzy metric spaces
2011
We observe that the notion of common property (E.A.) relaxes the required containment of range of one mapping into the range of other which is utilized to construct the sequence of joint iterates. As a consequence, a multitude of recent fixed point theorems of the existing literature are sharpened and enriched.
Numerical approximation of mixed models for digital integrated circuits
1991
To analyse an electrical network many CAD (Computer Aided Design) circuit simulators are available today. The most well-known is probably SPICE -Nagel [1975]. Although this type of simulator is able to precisely compute the transient performances (as delay time), the usage of complete models of devices implies an extremely high time consumption. So, the circuit simulators are unappropriate for the initial stage of VLSI design where a high speed timing analyser (“timing simulator”) is required. To this goal, alternative approaches using either simpler device models or simpler numerical algorithms or easily computable formulae for delay time approximation, have been developed in the past deca…
Perimeter symmetrization of some dynamic and stationary equations involving the Monge-Ampère operator
2017
We apply the perimeter symmetrization to a two-dimensional pseudo-parabolic dynamic problem associated to the Monge-Ampere operator as well as to the second order elliptic problem which arises after an implicit time discretization of the dynamical equation. Curiously, the dynamical problem corresponds to a third order operator but becomes a singular second order parabolic equation (involving the 3-Laplacian operator) in the class of radially symmetric convex functions. Using symmetrization techniques some quantitative comparison estimates and several qualitative properties of solutions are given.
On-line monitoring of food fermentation processes using electronic noses and electronic tongues: A review
2013
Fermentation processes are often sensitive to even slight changes of conditions that may result in unacceptable end-product quality. Thus, close follow-up of this type of processes is critical for detecting unfavorable deviations as early as possible in order to save downtime, materials and resources. Nevertheless the use of traditional analytical techniques is often hindered by the need for expensive instrumentation and experienced operators and complex sample preparation. In this sense, one of the most promising ways of developing rapid and relatively inexpensive methods for quality control in fermentation processes is the use of chemical multisensor systems. In this work we present an ov…
E-Learning in Pharmacology and Pharmacy
2011
Computer-based learning facilitates a shift from externally controlled to self-directed learning. Universities and other educational institutions are challenged by these developments and must react appropriately to meet the requirements of education. The term e-learning has been coined to describe a wide range of diverse learning and teaching strategies based on the use of electronic devices. Recently developed concepts in the science of education and learning provide appropriate frameworks for novel e-learning scenarios. The present review introduces strategies and concepts for the implementation of e-learning in academic and non-academic programs and gives an overview of current e-learnin…
Inferring slowly-changing dynamic gene-regulatory networks
2015
Dynamic gene-regulatory networks are complex since the interaction patterns between their components mean that it is impossible to study parts of the network in separation. This holistic character of gene-regulatory networks poses a real challenge to any type of modelling. Graphical models are a class of models that connect the network with a conditional independence relationships between random variables. By interpreting these random variables as gene activities and the conditional independence relationships as functional non-relatedness, graphical models have been used to describe gene-regulatory networks. Whereas the literature has been focused on static networks, most time-course experi…
Time operators, innovations and approximations
2003
Abstract We present a new approach to the spectral analysis and prediction of such complex systems for which the time evolution is described by a semigroup of operators. This approach is based on an extended concept of time operator and can be interpreted as a shift representation of dynamical systems. The time operator method includes the multiresolution analysis of wavelets as a particular case but can also be applied for a substantially larger class of dynamical systems. Among the examples where shift representation have been explicitly derived are exact endomorphisms, the diffusion equation, generalized shifts associated with the Haar or Faber–Schauder basis and some classes of stochast…