Search results for "METHODOLOGIE"

showing 10 items of 2141 documents

An Algebraic Approach to Knowledge Representation

1999

This paper is an attempt to apply domain-theoretic ideas to a new area, viz. knowledge representation. We present an algebraic model of a belief system. The model consists of an information domain of special kind (belief algebra) and a binary relation on it (entailment). It is shown by examples that several natural belief algebras are, essentially, algebras of flat records. With an eye on this, we characterise those domains and belief algebras that are isomorphic to domains or algebras of records. For illustration, we suggest a system of axioms for revision in such a model and describe an explicit construction of what could be called a maxichoise revision.

Pure mathematicsKnowledge representation and reasoningComputer scienceBinary relationComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONBelief systemNatural (music)IsomorphismAlgebraic numberBelief revisionLogical consequenceAxiom
researchProduct

Unbounded C$^*$-seminorms and $*$-Representations of Partial *-Algebras

2009

The main purpose of this paper is to construct *-representations from unbounded C*-seminorms on partial *-algebras and to investigate their *-representations. © Heldermann Verlag.

Pure mathematicsMathematics::Functional AnalysisMathematics::Commutative AlgebraMathematics::Operator AlgebrasApplied MathematicsUnbounded C*-seminormFOS: Physical sciencesMathematical Physics (math-ph)Quasi *-algebraComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONMathematics::Metric GeometryPartial *-algebraConstruct (philosophy)Mathematics::Representation TheorySettore MAT/07 - Fisica Matematica(unbounded) *-representationAnalysisMathematical PhysicsMathematics
researchProduct

On defects of characters and decomposition numbers

2017

We propose upper bounds for the number of modular constituents of the restriction modulo [math] of a complex irreducible character of a finite group, and for its decomposition numbers, in certain cases.

Pure mathematicsModulodefect of charactersGroup Theory (math.GR)01 natural sciences0103 physical sciencesComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONDecomposition (computer science)FOS: Mathematics0101 mathematicsRepresentation Theory (math.RT)Mathematics20C20Finite groupAlgebra and Number Theorybusiness.industry010102 general mathematicsModular design20C20 20C33Character (mathematics)heights of charactersdecomposition numbers20C33010307 mathematical physicsbusinessMathematics - Group TheoryMathematics - Representation Theory
researchProduct

Skeleta of affine hypersurfaces

2014

A smooth affine hypersurface Z of complex dimension n is homotopy equivalent to an n-dimensional cell complex. Given a defining polynomial f for Z as well as a regular triangulation of its Newton polytope, we provide a purely combinatorial construction of a compact topological space S as a union of components of real dimension n, and prove that S embeds into Z as a deformation retract. In particular, Z is homotopy equivalent to S.

Pure mathematicsPolynomialMathematicsofComputing_GENERALAffinePolytopeComplex dimensionTopological spaceTriangulation14J70Mathematics - Algebraic GeometryComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONFOS: MathematicsHomotopy equivalenceAlgebraic Topology (math.AT)Mathematics - Algebraic TopologyKato–Nakayama spaceAlgebraic Geometry (math.AG)SkeletonMathematicsToric degenerationTriangulation (topology)HomotopyLog geometry14J70 14R99 55P10 14M25 14T05RetractionHypersurfaceHypersurfaceNewton polytopeSettore MAT/03 - GeometriaGeometry and TopologyAffine transformationKato-Nakayama space14R99
researchProduct

Truncated modules and linear presentations of vector bundles

2018

We give a new method to construct linear spaces of matrices of constant rank, based on truncated graded cohomology modules of certain vector bundles as well as on the existence of graded Artinian modules with pure resolutions. Our method allows one to produce several new examples, and provides an alternative point of view on the existing ones.

Pure mathematicsRank (linear algebra)General Mathematics[MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC]Vector bundle010103 numerical & computational mathematicsLinear presentationCommutative Algebra (math.AC)01 natural sciences[ MATH.MATH-AC ] Mathematics [math]/Commutative Algebra [math.AC]Mathematics - Algebraic GeometryComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONFOS: MathematicsPoint (geometry)MSC: 13D02 16W50 15A30 14J600101 mathematicsVector bundleAlgebraic Geometry (math.AG)MathematicsMathematics::Commutative Algebra010102 general mathematicsConstruct (python library)Graded truncated moduleMathematics - Commutative AlgebraInstanton bundleCohomology[ MATH.MATH-AG ] Mathematics [math]/Algebraic Geometry [math.AG]Matrix of co nstant rank[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]Constant (mathematics)
researchProduct

Sylow Normalizers with a Normal Sylow 2-Subgroup

2008

AbstractIf G is a finite solvable group and p is a prime, then the normalizer of a Sylow p-subgroup has a normal Sylow 2-subgroup if and only if all non-trivial irreducible real 2-Brauer characters of G have degree divisible by p.

Pure mathematicsSolvable groupGeneral MathematicsComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONSylow theoremsMathematicsProceedings of the Edinburgh Mathematical Society
researchProduct

Statistical guidelines for quality control of next-generation sequencing techniques.

2021

Condition-specific statistical guidelines and accurate classification trees for quality control of functional genomics NGS files (RNA-seq, ChIP-seq and DNase-seq) have been generated using thousands of reference files from the ENCODE project and made available to the community.

Quality ControlComputer scienceHealth Toxicology and Mutagenesismedia_common.quotation_subjectControl (management)genetic processes26Plant ScienceBiochemistry Genetics and Molecular Biology (miscellaneous)HumansQuality (business)Statistical analysisRelevance (information retrieval)natural sciencesResearch Articlesmedia_commonEcologyScope (project management)Genome HumanComputational BiologyHigh-Throughput Nucleotide Sequencing15Sequence Analysis DNA11Data scienceComputingMethodologies_PATTERNRECOGNITIONTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESSoftwareResearch ArticleLife science alliance
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

"Table 4" of "Lowest Q**2 measurement of the gamma* p --> delta reaction: Probing the pionic contribution."

2006

Measured value of SIG(C=LTP) as a function of the pion angle relative to the virtual photon direction.

Quantitative Biology::Neurons and CognitionElectron productionQuantitative Biology::Molecular NetworksNuclear TheoryIntegrated Cross SectionComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONCross SectionSIG7.950E-017.950E-01E- P --> E- PI0 PExclusiveNuclear Experiment1.221ComputingMethodologies_COMPUTERGRAPHICSComputer Science::Cryptography and Security
researchProduct

Direct measurement of the mass difference between top and antitop quarks

2009

We present a direct measurement of the mass difference between top and antitop quarks (dm) in lepton+jets top-antitop final states using the "matrix element" method. The purity of the lepton+jets sample is enhanced for top-antitop events by identifying at least one of the jet as originating from a b quark. The analyzed data correspond to 3.6 fb-1 of proton-antiproton collisions at 1.96 TeV acquired by D0 in Run II of the Fermilab Tevatron Collider. The combination of the e+jets and mu+jets channels yields dm = 0.8 +/- 1.8 (stat) +/- 0.5 (syst) GeV, which is in agreement with the standard model expectation of no mass difference.

QuarkNuclear and High Energy PhysicsAntiparticleParticle physicsAstrophysics::High Energy Astrophysical PhenomenaTevatronFOS: Physical sciencesGeneral Physics and AstronomyElementary particle01 natural sciences7. Clean energyBottom quarkHigh Energy Physics - ExperimentNuclear physicsHigh Energy Physics - Experiment (hep-ex)0103 physical sciences[PHYS.HEXP]Physics [physics]/High Energy Physics - Experiment [hep-ex]Fermilab010306 general physicsNuclear ExperimentPhysics010308 nuclear & particles physicsHigh Energy Physics::PhenomenologyAntimatterExperimental High Energy PhysicsComputingMethodologies_DOCUMENTANDTEXTPROCESSINGHigh Energy Physics::ExperimentLepton
researchProduct