Search results for "methodologies"

showing 10 items of 2106 documents

Deformations of Calabi-Yau manifolds in Fano toric varieties

2020

In this article, we investigate deformations of a Calabi-Yau manifold $Z$ in a toric variety $F$, possibly not smooth. In particular, we prove that the forgetful morphism from the Hilbert functor $H^F_Z$ of infinitesimal deformations of $Z$ in $F$ to the functor of infinitesimal deformations of $Z$ is smooth. This implies the smoothness of $H^F_Z $ at the corresponding point in the Hilbert scheme. Moreover, we give some examples and include some computations on the Hodge numbers of Calabi-Yau manifolds in Fano toric varieties.

Pure mathematicsGeneral MathematicsInfinitesimalFano plane01 natural sciencesMathematics - Algebraic GeometryMorphismMathematics::Algebraic GeometryMathematics::Category TheoryFOS: MathematicsCalabi–Yau manifold0101 mathematicsMathematics::Symplectic GeometryAlgebraic Geometry (math.AG)ComputingMethodologies_COMPUTERGRAPHICSMathematicsFunctorComputer Science::Information Retrieval010102 general mathematicsToric varietyFano toric varieties · Calabi-Yau manifolds · Deformations of subvarietiesManifold010101 applied mathematicsHilbert scheme14J32 14J45 32G10Settore MAT/03 - GeometriaMathematics::Differential Geometry
researchProduct

A simple proof for the formula to get symmetrized powers of group representations

1993

A general formula to decompose the p-power of irreducible representations of an arbitrary space group into sum of sets of irreducible representations of such a group, having identical permutational symmetry, is presented. Its proof is based upon a straightforward application of the properties of the generalized projection (shift) operators. © 1993 John Wiley & Sons, Inc.

Pure mathematicsGroup (mathematics)Generalized projectionCondensed Matter PhysicsSpace (mathematics)Atomic and Molecular Physics and OpticsGroup representationSimple (abstract algebra)Representation theory of SUIrreducible representationComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONPhysical and Theoretical ChemistrySymmetry (geometry)MathematicsInternational Journal of Quantum Chemistry
researchProduct

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