Search results for "universal"

showing 10 items of 678 documents

Varieties with at most quadratic growth

2010

Let V be a variety of non necessarily associative algebras over a field of characteristic zero. The growth of V is determined by the asymptotic behavior of the sequence of codimensions cn(V); n = 1; 2, … and here we study varieties of polynomial growth. Recently, for any real number a, 3 < a < 4, a variety V was constructed satisfying C1n^a < cn(V) < C2n^a; for some constants C1;C2. Motivated by this result here we try to classify all possible growth of varieties V such that cn(V) < Cn^a; with 0 < a < 2, for some constant C. We prove that if 0 < a < 1 then, for n large, cn(V) ≤ 1, whereas if V is a commutative variety and 1 < a < 2, then lim logn cn(V) = 1 o…

CombinatoricsQuadratic growthDiscrete mathematicsSettore MAT/02 - AlgebraVarieties codimension growthGeneral MathematicsZero (complex analysis)Field (mathematics)Variety (universal algebra)Algebra over a fieldMathematicsReal numberIsrael Journal of Mathematics
researchProduct

On the exponential growth of graded Capelli polynomials

2013

In a free superalgebra over a field of characteristic zero we consider the graded Capelli polynomials Cap M+1[Y,X] and Cap L+1[Z,X] alternating on M+1 even variables and L+1 odd variables, respectively. Here we compute the superexponent of the variety of superalgebras determinated by Cap M+1[Y,X] and Cap L+1[Z,X]. An essential tool in our computation is the generalized-six-square theorem proved in [3].

CombinatoricsSettore MAT/02 - AlgebraExponential growthMathematics::Quantum AlgebraGeneral MathematicsZero (complex analysis)algebras with pilynomial identities noncommutative invariant theory asymptotic equivalenceField (mathematics)Algebra over a fieldVariety (universal algebra)Mathematics::Representation TheorySuperalgebraMathematicsIsrael Journal of Mathematics
researchProduct

Searching for a Common Language

2010

Perhaps you remember Steven Spielberg’s movie released in 1977, Close Encounters of the Third Kind. The memorable end of this movie shows how humans might communicate with extraterrestrials through the interchange of music, with the famous melody “D E C C G” that we all hummed.

CommunicationHistoryUniversal Networking LanguageLanguage identificationbiologybusiness.industryHowler monkeybiology.organism_classificationbusinessVocal tract
researchProduct

K4-free Graphs as a Free Algebra

2017

International audience; Graphs of treewidth at most two are the ones excluding the clique with four vertices (K4) as a minor, or equivalently, the graphs whose biconnected components are series-parallel. We turn those graphs into a finitely presented free algebra, answering positively a question by Courcelle and Engelfriet, in the case of treewidth two. First we propose a syntax for denoting these graphs: in addition to parallel composition and series composition, it suffices to consider the neutral elements of those operations and a unary transpose operation. Then we give a finite equational presentation and we prove it complete: two terms from the syntax are congruent if and only if they …

Completeness000 Computer science knowledge general worksGraph minors[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]Graph theoryTree decompositions[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]Àlgebra universalUniversal Algebra[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]Computer Science::Discrete MathematicsComputer ScienceAxiomatisation[INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
researchProduct

“La victoria de la técnica”, según Ortega y Gasset (una alternativa a Heidegger)

2013

ABSTRACT Ortega y Gasset's "Mediation on Technique" is part of his historical diagnostic of modern  and contemporary life, wich we can resume by means of the expression "the victory of technique". But, secondly, Ortegian reflections upon technique is decisive for understanding human being, its reason and universal history. And, thirdly, it represents an alternative to the herdeggerian way, not only in relation to technique, but to philosophical thinking in general, although wothout accepting naturalism as way out. RESUMEN “Meditacion de la tecnica” de Ortega y Gasset forma parte del diagnostico historico de la vida moderna y contemporanea, que puede resumirse mediante la expresion “la victo…

Computer Networks and CommunicationsContemporary lifemedia_common.quotation_subjectArt historyArtHuman beingComputer Science ApplicationsPhilosophical thinkingUniversal historyRelation (history of concept)HumanitiesNaturalismInformation Systemsmedia_commonTECHNO REVIEW. International Technology, Science and Society Review /Revista Internacional de Tecnología, Ciencia y Sociedad
researchProduct

Compression-based classification of biological sequences and structures via the Universal Similarity Metric: experimental assessment.

2007

Abstract Background Similarity of sequences is a key mathematical notion for Classification and Phylogenetic studies in Biology. It is currently primarily handled using alignments. However, the alignment methods seem inadequate for post-genomic studies since they do not scale well with data set size and they seem to be confined only to genomic and proteomic sequences. Therefore, alignment-free similarity measures are actively pursued. Among those, USM (Universal Similarity Metric) has gained prominence. It is based on the deep theory of Kolmogorov Complexity and universality is its most novel striking feature. Since it can only be approximated via data compression, USM is a methodology rath…

Computer scienceAlgorismesPrediction by partial matchingCompression dissimilaritycomputer.software_genreBiochemistryProtein Structure SecondaryPhylogenetic studiesStructural BiologySequence Analysis ProteinDatabases Proteinlcsh:QH301-705.5Biological dataNCDApplied MathematicsGenomicsClassificationCDComputer Science ApplicationsBenchmarking:Informàtica::Informàtica teòrica [Àrees temàtiques de la UPC]Universal compression dissimilarityArea Under CurveMetric (mathematics)lcsh:R858-859.7Data miningAlgorithmsData compressionResearch Article:Informàtica::Aplicacions de la informàtica::Bioinformàtica [Àrees temàtiques de la UPC]Normalization (statistics)lcsh:Computer applications to medicine. Medical informaticsBioinformatics Sequence Alignment AlgorithmsSet (abstract data type)Similarity (network science)Normalized compression sissimilarityData compression (Computer science)AnimalsHumansAmino Acid SequenceMolecular BiologyBiologyDades -- Compressió (Informàtica)USMUniversal similarity metricProteinsUCDProtein Structure TertiaryData setGenòmicaStatistical classificationlcsh:Biology (General)ROC CurvecomputerSequence AlignmentSoftwareBMC bioinformatics
researchProduct

Towards Diagrammatic Patterns

2008

This article presents the idea that the graphical representation (concrete syntax) of a visual language can be specified based on some pre-defined diagrammatic patterns. A diagram from the Specification and Description Language (SDL) is used as illustration.

Computer scienceProgramming languagebusiness.industryObject languageComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)Specification languagecomputer.software_genreSpecification and Description LanguageVisual languageDiagrammatic reasoningLanguage Of Temporal Ordering SpecificationUniversal Networking LanguageSoftware_SOFTWAREENGINEERINGProgramming language specificationComputer Science::Programming LanguagesArtificial intelligencebusinesscomputerNatural language processingcomputer.programming_language
researchProduct

LCL - A Graphical Meta-Language for Specification of Language Constraints

2015

The Object Constraint Language (OCL) is commonly used for constraints in meta-model-based language specifications. However, it may be advantageous to have a domain-specific constraint meta-language optimised for language specifications. A survey of OCL usage in language specifications has been performed, in order to gain an understanding of common constraint patterns. This is used as a starting point for defining a new meta-language for language constraints, Language Constraint Language (LCL), that has an intuitive graphical syntax.

Computer scienceProgramming languagebusiness.industryObject languageSpecification languagecomputer.software_genreUniversal Networking LanguageHigh-level programming languageProgramming language specificationData control languageArtificial intelligenceFirst-generation programming languagebusinesscomputerNatural language processingObject Constraint Languagecomputer.programming_languageProceedings of the 3rd International Conference on Model-Driven Engineering and Software Development
researchProduct

Language Learning Methodology for Adults: A Study of Linguistic Transfer

2014

Abstract The purpose of the present research is to bring together the evidence on transfer in adult L2 and L3 language acquisition and investigate the use and the relationship between languages in contact. The role of linguistic transfer ( Odlin, 1989 ) i.e. the imposition of previously learned patterns onto a new learning situation, has a facilitation or inhibition effect on the learner's progress in mastering a new language (L2 or L3). Our findings reveal that the cross-linguistic influence occurs both from the direction of the L2 to the L3 and from the L3 to the L2 ( Odlin, 2003 , Jarvis and Pavlenko, 2008 ). In the case of our participants, in the acquisition of L2 as the foreign langua…

Computer sciencelinguistic transferComprehension approachForeign languageSecond-language attritionLanguage acquisitionSecond-language acquisitionLinguisticsConstructed languageUniversal Networking LanguageLanguage transferlanguage interferenceLanguage assessmentL2/L3 acquisitionDevelopmental linguisticsLanguage educationGeneral Materials ScienceLinguistic descriptionNatural languageLanguage pedagogylanguage learning methodologyProcedia - Social and Behavioral Sciences
researchProduct

Universal design as resilient urban space plan strategy. New scenarios for environmental resources’ sustainable management

2021

Nowadays, urban framework, stressed by the growing anthropic pressure and its constantly evolving use requests is split by uneven structures, contexts, users and patchy needs, which come out to be inefficient and ineffective in access and management. This fact is directly connected both with morph-functional structure of urban texture and its continuous changing trends. The most important consequences of this situation are some negative effects that produce entropy, mistaken anthropic space uses, ecological networks decrease and most of all a substantial urban life quality reduction connected with mobility problems and non-resilient spaces' use at the different plan scales. These elements m…

Computer sciencemedia_common.quotation_subjectUniversal designEnvironmental resources Plan strategy Resilience Universal design Urban contextPlan (drawing)Environmental economicsEcological networkEnvironmental sciencesenvironmental resourcesPublic spaceuniversal design; urban context; plan strategy; resilience; environmental resourcesuniversal designSustainable managementSettore AGR/01 - Economia Ed Estimo RuraleSustainabilityplan strategyurban contextQuality (business)GE1-350Design for AllresilienceGeneral Environmental Sciencemedia_common
researchProduct