Search results for "Application"

showing 10 items of 5559 documents

Group-level analysis on multiplayer game collaboration: how do the individuals shape the group interaction?

2010

In this study, the aim was to examine how small-group collaboration is shaped by individuals interacting in a virtual multiplayer game. The data were collected from a design experiment in which six randomly divided groups of four university students played a voice-enhanced game lasting about 1 h. The ‘eScape’ game was a social action adventure developed as a part of the study. In the analysis of the video data, students' discourse functions during the game were analysed with content analytic methods for studying the nature of their interaction. An effort was made to analyse the data on both group and individual levels, and therefore the participants' prior social ties and experience in gami…

Discourse analysismedia_common.quotation_subjectComputingMilieux_PERSONALCOMPUTINGAdventureComputer Science ApplicationsEducationInterpersonal tiesInterpersonal relationshipContent analysisConversationMultiplayer gamePsychologySocial psychologyGame theorymedia_commonInteractive Learning Environments
researchProduct

On the loopless generation of binary tree sequences

1998

Weight sequences were introduced by Pallo in 1986 for coding binary trees and he presented a constant amortized time algorithm for their generation in lexicographic order. A year later, Roelants van Baronaigien and Ruskey developed a recursive constant amortized time algorithm for generating Gray code for binary trees in Pallo's representation. It is common practice to find a loopless generating algorithm for a combinatorial object when enunciating a Gray code for this object. In this paper we regard weight sequences as variations and apply a Williamson algorithm in order to obtain a loopless generating algorithm for the Roelants van Baronaigien and Ruskey's Gray code for weight sequences.

Discrete mathematicsAmortized analysisBinary treeLexicographical orderPseudorandom binary sequenceComputer Science ApplicationsTheoretical Computer ScienceGray codeCombinatoricsSignal ProcessingBinary codeInformation SystemsCoding (social sciences)MathematicsInformation Processing Letters
researchProduct

On 2-(n^2,2n,2n-1) designs with three intersection numbers

2007

The simple incidence structure $${\mathcal{D}(\mathcal{A},2)}$$ , formed by the points and the unordered pairs of distinct parallel lines of a finite affine plane $${\mathcal{A}=(\mathcal{P}, \mathcal{L})}$$ of order n > 4, is a 2 --- (n 2,2n,2n---1) design with intersection numbers 0,4,n. In this paper, we show that the converse is true, when n ? 5 is an odd integer.

Discrete mathematicsApplied Mathematics2-designsOrder (ring theory)ParallelComputer Science ApplicationsCombinatoricsIntegerIntersectionIncidence structureSimple (abstract algebra)Affine plane (incidence geometry)Settore MAT/03 - GeometriaMathematics
researchProduct

A decidable word problem without equivalent canonical term rewriting system

1989

We present a weak associative single-axiom system having the following property: the word problem is decidable with an efficient algorithm even though there does not exist any finite equivalent canonical term rewriting system.

Discrete mathematicsApplied MathematicsPost canonical systemComputer Science ApplicationsDecidabilityPhilosophy of languageComputational Theory and MathematicsConfluenceComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONWord problem (mathematics)RewritingEquivalence (formal languages)Computer Science::Formal Languages and Automata TheoryAssociative propertyMathematicsInternational Journal of Computer Mathematics
researchProduct

Exact, efficient, and complete arrangement computation for cubic curves

2006

AbstractThe Bentley–Ottmann sweep-line method can compute the arrangement of planar curves, provided a number of geometric primitives operating on the curves are available. We discuss the reduction of the primitives to the analysis of curves and curve pairs, and describe efficient realizations of these analyses for planar algebraic curves of degree three or less. We obtain a complete, exact, and efficient algorithm for computing arrangements of cubic curves. Special cases of cubic curves are conics as well as implicitized cubic splines and Bézier curves.The algorithm is complete in that it handles all possible degeneracies such as tangential intersections and singularities. It is exact in t…

Discrete mathematicsArrangementsControl and OptimizationComputationAlgebraic curvesMathematical analysisBézier curveSweep line algorithmComputer Science ApplicationsModuli of algebraic curvesComputational MathematicsGeometric designComputational Theory and MathematicsFamily of curvesSweep-line algorithmExact geometric computationGeometric primitiveAlgebraic curveGeometry and TopologyRobustnessComputingMethodologies_COMPUTERGRAPHICSMathematicsComputational Geometry
researchProduct

Analysis of Optimal High Resolution and Fixed Rate Scalar Quantization

2009

In 2001, Hui and Neuhoff proposed a uniform quantizer with overload for the quantization of scalar signals and derived the asymptotically optimal size of the quantization bins in the high-bitrate limit. The purpose of the present paper is to prove a quantitatively more precise version of this result which, at the same time, is valid for a more general, quite natural class of probability distributions that requires only little regularity and includes, for instance, positive Lipschitz-continuous functions of unit integral.

Discrete mathematicsAsymptotically optimal algorithmScalar quantizationQuantization (signal processing)Applied mathematicsHigh resolutionProbability distributionLibrary and Information SciencesInformation theoryNatural classComputer Science ApplicationsInformation SystemsMathematicsIEEE Transactions on Information Theory
researchProduct

On the listing and random generation of hybrid binary trees

1994

We consider in this paper binary trees whose internal nodes are either associative or non-associative. Hybrid binary trees are equivalence classes with respect to the associative property. We count, list and generate randomly hybrid binary trees using Fibonacci numbers.

Discrete mathematicsBinary treeApplied MathematicsWeight-balanced treeScapegoat treeRandom binary treeComputer Science ApplicationsCombinatoricsComputational Theory and MathematicsBinary search treeGeometry of binary search treesTernary search treeBinary expression treeMathematicsInternational Journal of Computer Mathematics
researchProduct

Root-restricted Kleenean rotations

2010

We generalize the Kleene theorem to the case where nonassociative products are used. For this purpose, we apply rotations restricted to the root of binary trees.

Discrete mathematicsBinary treeMathematics::Rings and AlgebrasRoot (chord)Kleene theoremComputer Science ApplicationsTheoretical Computer ScienceCombinatoricsMathematics::Group TheoryProduct (mathematics)Signal ProcessingRotation (mathematics)Computer Science::Formal Languages and Automata TheoryInformation SystemsMathematicsInformation Processing Letters
researchProduct

On the regularity of circular splicing languages : A survey and new developments

2009

Circular splicing has been introduced to model a specific recombinant behaviour of circular DNA, continuing the investigation initiated with linear splicing. In this paper we focus on the relationship between regular circular languages and languages generated by finite circular splicing systems. We survey the known results towards a characterization of the intersection between these two classes and provide new contributions on the open problem of finding this characterization. First, we exhibit a non-regular circular language generated by a circular simple system thus disproving a known result in this area. Then we give new results related to a restrictive class of circular splicing systems…

Discrete mathematicsComputer scienceOpen problemINF/01 - INFORMATICAGraph theoryCircular wordMolecular computingComputer Science ApplicationsGraph theoryAutomata theory Circular words Formal languages Graph theory Molecular computing Splicing systemsIntersectionFormal languageTheory of computationGraph (abstract data type)CographFormal languageSplicing systemComplement (set theory)Automata theory
researchProduct

Superiority Of One-Way And Realtime Quantum Machines

2012

In automata theory, quantum computation has been widely examined for finite state machines, known as quantum finite automata (QFAs), and less attention has been given to QFAs augmented with counters or stacks. In this paper, we focus on such generalizations of QFAs where the input head operates in one-way or realtime mode, and present some new results regarding their superiority over their classical counterparts. Our first result is about the nondeterministic acceptance mode: Each quantum model architecturally intermediate between realtime finite state automaton and one-way pushdown automaton (one-way finite automaton, realtime and one-way finite automata with one-counter, and realtime push…

Discrete mathematicsFinite-state machineTheoryofComputation_COMPUTATIONBYABSTRACTDEVICESGeneral MathematicsPushdown automaton0102 computer and information sciences02 engineering and technologyω-automaton01 natural sciencesComputer Science ApplicationsNondeterministic algorithmTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES010201 computation theory & mathematics0202 electrical engineering electronic engineering information engineeringQuantum finite automataAutomata theory020201 artificial intelligence & image processingAlgorithmSoftwareComputer Science::Formal Languages and Automata TheoryQuantum cellular automatonMathematicsQuantum computer
researchProduct