Search results for "programming."
showing 10 items of 3035 documents
Apparent magic numbers in embedded Ti-O clusters
2003
Stable clusters constituted of four ${\mathrm{TiO}}_{2}$ entities have been evidenced in nanometer-sized spinel oxides by a combination of diffraction and x-ray-absorption experiments. Contrary to free clusters, the size of the embedded clusters is strongly determined by the constraints imposed by the surrounding matrix so that the magic number of four is in fact specific to the matrix and only then apparent.
Pattern formation in clouds via Turing instabilities
2020
Pattern formation in clouds is a well-known feature, which can be observed almost every day. However, the guiding processes for structure formation are mostly unknown, and also theoretical investigations of cloud patterns are quite rare. From many scientific disciplines the occurrence of patterns in non-equilibrium systems due to Turing instabilities is known, i.e. unstable modes grow and form spatial structures. In this study we investigate a generic cloud model for the possibility of Turing instabilities. For this purpose, the model is extended by diffusion terms. We can show that for some cloud models, i.e special cases of the generic model, no Turing instabilities are possible. However,…
Efficiency of a digital particle image velocimetry (DPIV) method for monitoring the surface velocity of hyper-concentrated flows
2018
Digital particle image velocimetry records high resolution images and allows the identification of the position of points in different time instants. This paper explores the efficiency of the digital image-technique for remote monitoring of surface velocity and discharge measurement in hyper-concentrated flow by the way of laboratory experiment. One of the challenges in the application of the image-technique is the evaluation of the error in estimating surface velocity. The error quantification is complex because it depends on many factors characterizing either the experimental conditions or/and the processing algorithm. In the present work, attention is devoted to the estimation error due …
Implementation of pattern recognition algorithm based on RBF neural network
2002
In this paper, we present implementations of a pattern recognition algorithm which uses a RBF (Radial Basis Function) neural network. Our aim is to elaborate a quite efficient system which realizes real time faces tracking and identity verification in natural video sequences. Hardware implementations have been realized on an embedded system developed by our laboratory. This system is based on a DSP (Digital Signal Processor) TMS320C6x. The optimization of implementations allow us to obtain a processing speed of 4.8 images (240x320 pixels) per second with a correct rate of 95% of faces tracking and identity verification.
Systems, models and languages
2010
This paper presents a comparison of language aspects in a model and a meta-model. The motivation is to get a better understanding of how we should define a modeling language.
Categorical Modeling Method of Intelligent WorkFlow
2018
A category as well as a model is a mixture of graphical information and algebraic operations. Therefore, category language seems to be the most general to describe the models. It can provide us with the features that must characterize both the DSL language and the Modeling Method concept.
An examination of teacher-student interactions in inclusive classrooms: teacher interviews and classroom observations
2013
Teacher–student interactions in 17 inclusive classrooms were examined using a mixed-methods approach that involved quantitative analysis of interactions recorded during classroom observations and follow-up interviews with seven general educators. Observational findings suggest that classrooms were organised along traditional lines with the vast majority of interactions provided by general educators to the whole class, followed by brief intervals of 1 : 1 interactions directed towards individual students, most frequently children with disabilities. Interview findings suggest that teachers were aware of the greater individual attention devoted to students with disabilities and described a num…
Elliptic equations involving the $1$-Laplacian and a subcritical source term
2017
In this paper we deal with a Dirichlet problem for an elliptic equation involving the $1$-Laplacian operator and a source term. We prove that, when the growth of the source is subcritical, there exist two bounded nontrivial solutions to our problem. Moreover, a Pohozaev type identity is proved, which holds even when the growth is supercritical. We also show explicit examples of our results.
Triple solutions for nonlinear elliptic problems driven by a non-homogeneous operator
2020
Abstract Some multiplicity results for a parametric nonlinear Dirichlet problem involving a nonhomogeneous differential operator of p -Laplacian type are given. Via variational methods, the article furnishes new contributions and completes some previous results obtained for problems considering other types of differential operators and/or nonlinear terms satisfying different asymptotic conditions.
Some qualitative properties for the total variation flow
2002
We prove the existence of a finite extinction time for the solutions of the Dirichlet problem for the total variation flow. For the Neumann problem, we prove that the solutions reach the average of its initial datum in finite time. The asymptotic profile of the solutions of the Dirichlet problem is also studied. It is shown that the profiles are nonzero solutions of an eigenvalue-type problem that seems to be unexplored in the previous literature. The propagation of the support is analyzed in the radial case showing a behaviour entirely different to the case of the problem associated with the p-Laplacian operator. Finally, the study of the radially symmetric case allows us to point out othe…