Search results for " Integra"

showing 10 items of 2527 documents

Probabilities to Accept Languages by Quantum Finite Automata

1999

We construct a hierarchy of regular languages such that the current language in the hierarchy can be accepted by 1-way quantum finite automata with a probability smaller than the corresponding probability for the preceding language in the hierarchy. These probabilities converge to 1/2.

Discrete mathematicsTheoretical computer scienceNested wordFinite-state machineHierarchy (mathematics)Computer scienceComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)Turing machinesymbols.namesakeNonlinear Sciences::Exactly Solvable and Integrable SystemsRegular languageProbabilistic automatonAnalytical hierarchysymbolsComputer Science::Programming LanguagesQuantum finite automataQuantum algorithmNondeterministic finite automaton
researchProduct

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…

Discrete mathematicsVery-large-scale integrationComputer scienceSpiceAnalyserCADcomputer.software_genrelaw.inventionTree (data structure)lawElectrical networkComputer Aided DesignTransient (computer programming)Algorithmcomputer
researchProduct

On Branciari’s theorem for weakly compatible mappings

2010

AbstractIn a recent paper B. Samet and H. Yazidi [B. Samet, H. Yazidi, An extension of Banach fixed point theorem for mappings satisfying a contractive condition of integral type, Ital. J. Pure Appl. Math. (in press)] have obtained an interesting theorem for mappings satisfying a contractive condition of integral type. The aim of this note is to present a generalization of their main result.

Discrete mathematicsWeakly compatibleGeneralizationBanach fixed-point theoremApplied MathematicsFixed-point theoremWeakly compatible mappingsExtension (predicate logic)Type (model theory)Common fixed pointContractive condition of integral typeCommon fixed point Weakly compatible mappings Contractive condition of integral typeSettore MAT/05 - Analisi MatematicaCommon fixed pointMathematicsApplied Mathematics Letters
researchProduct

A Constructive Minimal Integral which Includes Lebesgue Integrable Functions and Derivatives

2000

In this paper we provide a minimal constructive integration process of Riemann type which includes the Lebesgue integral and also integrates the derivatives of differentiable functions. We provide a new solution to the classical problem of recovering a function from its derivative by integration, which, unlike the solution provided by Denjoy, Perron and many others, does not possess the generality which is not needed for this purpose.The descriptive version of the problem was treated by A. M. Bruckner, R. J. Fleissner and J. Foran in [2]. Their approach was based on the trivial observation that for the required minimal integral, a function F is the indefinite integral of f if and only if F'…

Discrete mathematicssymbols.namesakeDifferentiation of integralsGeneral MathematicssymbolsRiemann–Stieltjes integralLocally integrable functionRiemann integralDaniell integralDifferentiable functionLebesgue integrationLebesgue–Stieltjes integrationMathematicsJournal of the London Mathematical Society
researchProduct

Wavelet-based efficient simulation of electromagnetic transients in a lightning protection system

2003

In this paper, a wavelet-based efficient simulation of electromagnetic transients in a lightning protection systems (LPS) is presented. The analysis of electromagnetic transients is carried out by employing the thin-wire electric field integral equation in frequency domain. In order to easily handle the boundary conditions of the integral equation, semiorthogonal compactly supported spline wavelets, constructed for the bounded interval [0,1], have been taken into account in expanding the unknown longitudinal currents. The integral equation is then solved by means of the Galerkin method. As a preprocessing stage, a discrete wavelet transform is used in order to efficiently compress the Fouri…

Discrete wavelet transformCooley–Tukey FFT algorithmComputer scienceFast Fourier transformElectric-field integral equationSettore MAT/08 - Analisi Numericasymbols.namesakeWaveletWaveformBoundary value problemElectrical and Electronic EngineeringElectromagnetic transient analysiGalerkin methodIntegral equationContinuous wavelet transformMathematical analysisWavelet transformIntegral equationElectronic Optical and Magnetic MaterialsSettore ING-IND/31 - ElettrotecnicaSpline (mathematics)Fourier transformFrequency domainsymbolsWavelet transformHarmonic wavelet transformIEEE Transactions on Magnetics
researchProduct

On an iterative method for a class of integral equations of the first kind

1987

In this paper, we investigate an iterative method which has been proposed [1] for the numerical solution of a special class of integral equations of the first kind, where one of the essential assumptions is the positivity of the kernel and the given right-hand side. Integral equations of this special type occur in experimental physics, astronomy, medical tomography and other fields where density functions cannot be measured directly, but are related to observable functions via integral equations. In order to take into account the non-negativity of density functions, the proposed iterative scheme was defined in such a way that only non-negative solutions can be approximated. The first part o…

DiscretizationIterative methodGeneral MathematicsConvergence (routing)Mathematical analysisGeneral EngineeringFunctional integrationDaniell integralSummation equationIntegral equationMathematicsLocal convergenceComputing and Computers
researchProduct

Symmetric Galerkin Boundary Element Methods

1998

This review article concerns a methodology for solving numerically, for engineering purposes, boundary and initial-boundary value problems by a peculiar approach characterized by the following features: the continuous formulation is centered on integral equations based on the combined use of single-layer and double-layer sources, so that the integral operator turns out to be symmetric with respect to a suitable bilinear form. The discretization is performed either on a variational basis or by a Galerkin weighted residual procedure, the interpolation and weight functions being chosen so that the variables in the approximate formulation are generalized variables in Prager’s sense. As main con…

DiscretizationMechanical EngineeringMathematical analysisBoundary (topology)Singular integralGalerkin methodSingular boundary methodBoundary knot methodBoundary element methodFinite element methodMathematicsApplied Mechanics Reviews
researchProduct

Analysis of attitudes towards disability among university students: a focus on the theory of reasoned action

2011

Los valores democráticos presentes mayoritariamente en occidente han impulsado normas sociales favorables a la inclusión de colectivos en riesgo de exclusión social. Esta investigación se centra en la inclusión de colectivos con discapacidad en el ámbito de la universidad, para lo cual se realizó una encuesta a jóvenes estudiantes universitarios matriculados en la Universidad de A Coruña, en diferentes estudios y niveles, pertenecientes a las ramas de Economía y Empresa. Posteriormente, se llevó a cabo un estudio descriptivo y un análisis factorial basado en la Teoría de la Acción Razonada. Los resultados alcanzados muestran que los valores sociales prevalentes se presentan como la variable…

Discriminación por DiscapacidadDisabilitiesEspañaintegración socialactitud juvenillcsh:LB5-3640EducationActitudes socialesEducative DiscriminationJuventudAdultosNecesidades educativas especialesSocial IntegrationInclusionUniversidadDisabilityInclusión educativaAttitudes; Disability; Inclusion; Educative Discrimination; Social Integration; Disability Discrimination; Higher Education.Educación SuperiorHigher EducationHigher Education.Disability DiscriminationGaliciaIntegración SocialEncuestasActitudeslcsh:Theory and practice of educationEstudiantesAttitudedeficienteenseñanza superiorAttitudesEducación superiorDiscapacidadDiscriminación EducativaInclusión
researchProduct

Indicators for a Comprehensive Evaluation of Academic Productivity in Higher Education

2003

This article reports the results of an evaluation of academic productivity of three academic departments of the University of Guadalajara, Mexico, through an interrelated system of evaluative indicators it is possible to construct an effective method for identifying the levels and degree of equilibrium in the academic productivity of  an  institution of higher education. The method used to evaluate the dimensions of departmental academic productivity permitted interpretation and analysis of the data in order to make comprehensive value judgments and recommendations. Thus, achievements in the areas of research, extension, and teaching were evaluated for the departments observed. The criteria…

Docencia Educación superior Efectividad Eficacia Eficiencia Extensión Evaluación productividad académica Evaluación integral Evaluación departamental Indicadores Investigación Suficiencia
researchProduct

A novel XML document structure comparison framework based-on sub-tree commonalities and label semantics

2012

International audience; XML similarity evaluation has become a central issue in the database and information communities, its applications ranging over document clustering, version control, data integration and ranked retrieval. Various algorithms for comparing hierarchically structured data, XML documents in particular, have been proposed in the literature. Most of them make use of techniques for finding the edit distance between tree structures, XML documents being commonly modeled as Ordered Labeled Trees. Yet, a thorough investigation of current approaches led us to identify several similarity aspects, i.e., sub-tree related structural and semantic similarities, which are not sufficient…

Document Structure DescriptionComputer Networks and Communicationscomputer.internet_protocolComputer scienceEfficient XML Interchange[SCCO.COMP]Cognitive science/Computer science0102 computer and information sciences02 engineering and technologycomputer.software_genre01 natural sciencesSemantic similarityXML Schema Editor020204 information systems0202 electrical engineering electronic engineering information engineeringXML schemacomputer.programming_languageInformation retrieval[INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB][INFO.INFO-WB]Computer Science [cs]/Web[INFO.INFO-MM]Computer Science [cs]/Multimedia [cs.MM]XML validationcomputer.file_formatDocument clusteringHuman-Computer InteractionXML frameworkTree (data structure)XML databaseTree structure010201 computation theory & mathematics[INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR]020201 artificial intelligence & image processingSemi-structured dataEdit distancecomputerSoftwareXMLXML CatalogData integration
researchProduct