Search results for "Abstract"

showing 10 items of 1959 documents

PIP-Space Valued Reproducing Pairs of Measurable Functions

2019

We analyze the notion of reproducing pairs of weakly measurable functions, a generalization of continuous frames. The aim is to represent elements of an abstract space Y as superpositions of weakly measurable functions belonging to a space Z : = Z ( X , μ ), where ( X , μ ) is a measure space. Three cases are envisaged, with increasing generality: (i) Y and Z are both Hilbert spaces; (ii) Y is a Hilbert space, but Z is a pip-space; (iii) Y and Z are both pip-spaces. It is shown, in particular, that the requirement that a pair of measurable functions be reproducing strongly constrains the structure of the initial space Y. Examples are presented for each case.

Pure mathematicspartial inner product spacesMeasurable functionLogicGeneralizationreproducing pairs; continuous frames; upper and lower semi-frames; partial inner product spacesStructure (category theory)upper and lower semi-framecontinuous frameAbstract spaceSpace (mathematics)01 natural sciencesMeasure (mathematics)symbols.namesakeSettore MAT/05 - Analisi Matematica0103 physical sciences0101 mathematics010306 general physicsreproducing pairMathematical PhysicsMathematicscontinuous framesAlgebra and Number Theorylcsh:Mathematics010102 general mathematicsHilbert spaceupper and lower semi-frameslcsh:QA1-939reproducing pairssymbolsGeometry and TopologyAnalysis
researchProduct

Tripled Fixed Point Results for T-Contractions on Abstract Metric Spaces

2014

In this paper we introduce the notion of T-contraction for tripled fi xed points in abstract metric spaces and obtain some tripled fi xed point theorems which extend and generalize well-known comparable results in the literature. To support our results, we present an example and an application to integral equations.

QA299.6-433Tripled fixed pointSequentially convergentlcsh:QA299.6-433lcsh:AnalysisSubsequentially convergent.QA273-280T-contractionAbstract metric spaceSettore MAT/05 - Analisi Matematicalcsh:Probabilities. Mathematical statisticslcsh:QA273-280Probabilities. Mathematical statisticsAnalysisInternational Journal of Analysis and Applications
researchProduct

Hierarchical Syntactic Models for Human Activity Recognition through Mobility Traces

2019

AbstractRecognizing users’ daily life activities without disrupting their lifestyle is a key functionality to enable a broad variety of advanced services for a Smart City, from energy-efficient management of urban spaces to mobility optimization. In this paper, we propose a novel method for human activity recognition from a collection of outdoor mobility traces acquired through wearable devices. Our method exploits the regularities naturally present in human mobility patterns to construct syntactic models in the form of finite state automata, thanks to an approach known asgrammatical inference. We also introduce a measure ofsimilaritythat accounts for the intrinsic hierarchical nature of su…

QA75Computer science02 engineering and technologyManagement Science and Operations ResearchSimilarity measureMachine learningcomputer.software_genreZA4050Set (abstract data type)Activity recognitionGrammatical inference Human activity recognition Mobility020204 information systemsSmart citySimilarity (psychology)0202 electrical engineering electronic engineering information engineeringSettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniFinite-state machineT1business.industryGrammar inductionComputer Science ApplicationsHardware and Architecture020201 artificial intelligence & image processingArtificial intelligenceGranularitybusinesscomputer
researchProduct

Extended-order algebras as a generalization of posets

2011

Motivated by the recent study of several researchers on extended-order algebras, introduced by C. Guido and P. Toto as a possible common framework for the majority of algebraic structures used in many-valued mathematics, the paper focuses on the properties of homomorphisms of the new structures, considering extended-order algebras as a generalization of partially ordered sets. The manuscript also introduces the notion of extended-relation algebra providing a new framework for developing the theory of rough sets.

Quadratic algebraAlgebraInterior algebraJordan algebraGeneral MathematicsSubalgebraClifford algebraAlgebra representationDivision algebraAbstract algebraMathematicsDemonstratio Mathematica
researchProduct

On the accurate determination of nonisolated solutions of nonlinear equations

1981

A simple but efficient method to obtain accurate solutions of a system of nonlinear equations with a singular Jacobian at the solution is presented. This is achieved by enlarging the system to a higher dimensional one whose solution in question is isolated. Thus it can be computed e. g. by Newton's method, which is locally at least quadratically convergent and selfcorrecting, so that high accuracy is attainable.

Quadratic growthNumerical AnalysisMathematical analysisComputer Science ApplicationsTheoretical Computer ScienceLocal convergenceComputational MathematicsNonlinear systemsymbols.namesakeComputational Theory and MathematicsSimple (abstract algebra)Jacobian matrix and determinantsymbolsComputer communication networksSoftwareMathematicsComputing
researchProduct

Strategies for annotation and curation of translational databases: the eTUMOUR project

2012

Altres ajuts: LSHC/CT2004-503094 The eTUMOUR (eT) multi-centre project gathered in vivo and ex vivo magnetic resonance (MR) data, as well as transcriptomic and clinical information from brain tumour patients, with the purpose of improving the diagnostic and prognostic evaluation of future patients. In order to carry this out, among other work, a database-the eTDB-was developed. In addition to complex permission rules and software and management quality control (QC), it was necessary to develop anonymization, processing and data visualization tools for the data uploaded. It was also necessary to develop sophisticated curation strategies that involved on one hand, dedicated fields for QC-gene…

Quality ControlComputer sciencePermissioncomputer.software_genreData typeGeneral Biochemistry Genetics and Molecular BiologySet (abstract data type)Translational Research BiomedicalUploadAnnotationUser-Computer InterfaceData visualizationSoftwareNeoplasmsData MiningHumansInternetInformation retrievalDatabaseData curationbusiness.industrySpectrum AnalysisReproducibility of ResultsOriginal ArticlesMagnetic Resonance ImagingDatabases as TopicMetric SystemDatabase Management SystemsGeneral Agricultural and Biological SciencesbusinesscomputerInformation Systems
researchProduct

Toward a Quality Guide to Facilitate the Transference of Analytical Methods from Research to Testing Laboratories: A Case Study

2009

Abstract At present, there is no single viewpoint that defines QA strategies in analytical chemistry. On the other hand, there are no unique protocols defining a set of analytical tasks and decision criteria to be performed during the method development phase (e.g., by a single research laboratory) in order to facilitate the transference to the testing laboratories intending to adapt, validate, and routinely use this method. This study proposes general criteria, a priori valid for any developed method, recommended as a provisional quality guide containing the minimum internal tasks necessary to publish new analytical method results. As an application, the selection of some basic internal qu…

Quality ControlComputer sciencemedia_common.quotation_subjectChemistry Techniques AnalyticalAnalytical ChemistrySet (abstract data type)Environmental ChemistryComputer SimulationQuality (business)Differential (infinitesimal)Publicationmedia_commonPharmacologyNitratesbusiness.industryReproducibility of ResultsReference StandardsMultiple-criteria decision analysisMethod developmentInternal qualitySystems engineeringA priori and a posterioriIndicators and ReagentsLaboratoriesbusinessMonte Carlo MethodAgronomy and Crop SciencePolarographyFood ScienceJournal of AOAC INTERNATIONAL
researchProduct

Application of machine-vision techniques to fish-quality assessment

2012

Abstract Machine vision is a non-destructive, rapid, economic, consistent and objective inspection tool and is also an evaluation technique based on image analysis and processing with a variety of applications. We review the use of machine vision and imaging technologies for fish-quality assessment. This review updates and condenses a representative selection of recent research and industrial solutions proposed in order to evaluate the general trends of machine vision and image processing in the visible range applied for inspection of fish and fish products. In order to determine freshness and composition, it is necessary to measure and to evaluate size and volume, to estimate weight, to me…

Quality assessmentComputer scienceMachine visionbusiness.industryComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONFish speciesColor analysisImage processingMachine learningcomputer.software_genreFish qualityAbstract machineAnalytical ChemistryVisible rangeArtificial intelligencebusinesscomputerSpectroscopyComputingMethodologies_COMPUTERGRAPHICSTrAC Trends in Analytical Chemistry
researchProduct

Computer simulations of DNA stretching

2006

Abstract In this chapter we will give short review of computer modelling/simulations of DNA manipulation as a complementary tool to current single molecule manipulation experiments in order to follow the impact on molecular structure during the manipulation experiments. As an example we report molecular dynamics simulations of a 22 base-pair DNA fragment in an explicit water solution with counter-ions to mimic a torsionally unconstrained single-molecule stretching experiment. Positions of the O5′ and O3′ atoms at one end of the 22-mer were fixed while an external linearly increasing tensile force was applied on the corresponding atoms at the other end. Changes in the intramolecular potentia…

Quantitative Biology::BiomoleculesCrystallographyMolecular dynamicsStack (abstract data type)Chemical physicsChemistryPosition (vector)Intramolecular forceMoleculeTwistPotential energyGroove (engineering)
researchProduct

Optimizing auditory images and distance metrics for self‐organizing timbre maps*

1996

Abstract The effect of using different auditory images and distance metrics on the final configuration of a self‐organized timbre map is examined by comparing distance matrices, obtained from simulations, with a similarity rating matrix, obtained using the same set of stimuli as in the simulations. Gradient images, which are intended to represent idealizations of physiological gradient maps in the auditory pathway, are constructed. The optimal auditory image and distance metric, with respect to the similarity rating data, are searched using the gradient method.

Quantitative Biology::Neurons and CognitionVisual Arts and Performing Artsbusiness.industryRating matrixPattern recognitionImage (mathematics)Set (abstract data type)Similarity (network science)Computer Science::SoundComputer visionArtificial intelligencebusinessGradient methodTimbreMusicDistance matrices in phylogenyMathematicsJournal of New Music Research
researchProduct