Search results for " Computer Science"

showing 10 items of 3983 documents

Accurate representation of the distributions of the 3D Poisson-Voronoi typical cell geometrical features

2019

Understanding the intricate and complex materials microstructure and how it is related to materials properties is an important problem in the Materials Science field. For a full comprehension of this relation, it is fundamental to be able to describe the main characteristics of the 3-dimensional microstructure. The most basic model used for approximating steel microstructure is the Poisson-Voronoi diagram. Poisson-Voronoi diagrams have interesting mathematical properties, and they are used as a good model for single-phase materials. In this paper we exploit the scaling property of the underlying Poisson process to derive the distribution of the main geometrical features of the grains for ev…

General Computer SciencePoisson-Voronoi diagramsMonte Carlo methodVoronoiGeneral Physics and Astronomy02 engineering and technology010402 general chemistryPoisson distribution01 natural sciencesParametric representationsymbols.namesakeGeneral Materials ScienceStatistical physicsRepresentation (mathematics)ScalingParametric statisticsDiagramGeneral Chemistry021001 nanoscience & nanotechnology0104 chemical sciencesComputational MathematicsDistribution (mathematics)Mechanics of Materialssymbols0210 nano-technologyVoronoi diagram3D grain sizeComputational Materials Science
researchProduct

On the exhaustive generation of k-convex polyominoes

2017

The degree of convexity of a convex polyomino P is the smallest integer k such that any two cells of P can be joined by a monotone path inside P with at most k changes of direction. In this paper we present a simple algorithm for computing the degree of convexity of a convex polyomino and we show how it can be used to design an algorithm that generates, given an integer k, all k-convex polyominoes of area n in constant amortized time, using space O(n). Furthermore, by applying few changes, we are able to generate all convex polyominoes whose degree of convexity is exactly k.

General Computer SciencePolyomino0102 computer and information sciences02 engineering and technologyComputer Science::Computational Geometry01 natural sciencesConvexityTheoretical Computer ScienceCombinatoricsCAT algorithmIntegerExhaustive generation0202 electrical engineering electronic engineering information engineeringConvex polyominoeConvexity K-convex polyominoes.Convex polyominoesComputer Science::DatabasesMathematicsDiscrete mathematicsAmortized analysisMathematics::CombinatoricsDegree (graph theory)Settore INF/01 - InformaticaComputer Science (all)Regular polygonMonotone polygon010201 computation theory & mathematicsPath (graph theory)020201 artificial intelligence & image processingCAT algorithms; Convex polyominoes; Exhaustive generation;CAT algorithms
researchProduct

Exploring social media network landscape of post-Soviet space

2019

The “post-Soviet space” consists of countries with a substantial fraction of the world’s population; however, unlike many other regions, its social media network landscape is still somewhat under-explored. This paper aims at filling this gap. To this purpose, we use anonymized data on user friendships at VK.com (also known as VKontakte and, informally, as “Russian Facebook”), which is the largest and most popular social media portal in the post-Soviet space with hundreds of millions of user accounts. Using the VK network snapshots from October 2015 to December 2016, we conduct a “multiscale” empirical study of this network by considering conn…

General Computer SciencePopulationsosiaalinen mediaContext (language use)010501 environmental sciencesSpace (commercial competition)01 natural sciencesEmpirical researchbig data0502 economics and businessSocial network servicesGeneral Materials ScienceSocial mediaEconomic geographyeducationsovellukset (tietotekniikka)0105 earth and related environmental sciencesta113verkostoteducation.field_of_studyModularity (networks)big data applicationsData collection05 social sciencesGeneral Engineeringnetwork theory (graphs)Scale (social sciences)lcsh:Electrical engineering. Electronics. Nuclear engineeringsocial network serviceslcsh:TK1-9971050203 business & management
researchProduct

Approximation Algorithms for Multicoloring Planar Graphs and Powers of Square and Triangular Meshes

2006

A multicoloring of a weighted graph G is an assignment of sets of colors to the vertices of G so that two adjacent vertices receive two disjoint sets of colors. A multicoloring problem on G is to find a multicoloring of G. In particular, we are interested in a minimum multicoloring that uses the least total number of colors. The main focus of this work is to obtain upper bounds on the weighted chromatic number of some classes of graphs in terms of the weighted clique number. We first propose an 11/6-approximation algorithm for multicoloring any weighted planar graph. We then study the multicoloring problem on powers of square and triangular meshes. Among other results, we show that the infi…

General Computer SciencePower graphAstrophysics::High Energy Astrophysical PhenomenaInduced subgraphDisjoint setsAstrophysics::Cosmology and Extragalactic Astrophysics[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]Theoretical Computer ScienceCombinatoricssymbols.namesakeTriangle meshGreedy algorithmDiscrete Mathematics and CombinatoricsAstrophysics::Solar and Stellar AstrophysicsColoringPolygon meshProduct graphMathematicsComputingMethodologies_COMPUTERGRAPHICSDiscrete mathematicsGreedy algorithm.lcsh:MathematicsApproximation algorithmGraph theory[ INFO.INFO-DM ] Computer Science [cs]/Discrete Mathematics [cs.DM]Cartesian productlcsh:QA1-939Approximation algorithmPlanar graphGraph theory[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]symbolsMulticoloring
researchProduct

Extending formal language hierarchies to higher dimensions

1999

General Computer ScienceProgramming languageComputer scienceObject languagecomputer.software_genreFormal systemTheoretical Computer ScienceFormal grammarDeterministic finite automatonRegular languageFormal languageAutomata theoryNondeterministic finite automatoncomputerACM Computing Surveys
researchProduct

The intentional stance as structure learning: a computational perspective on mindreading

2015

Recent theories of mindreading explain the recognition of action, intention, and belief of other agents in terms of generative architectures that model the causal relations between observables (e.g., observed movements) and their hidden causes (e.g., action goals and beliefs). Two kinds of probabilistic generative schemes have been proposed in cognitive science and robotics that link to a "theory theory" and "simulation theory" of mindreading, respectively. The former compares perceived actions to optimal plans derived from rationality principles and conceptual theories of others' minds. The latter reuses one's own internal (inverse and forward) models for action execution to perform a look…

General Computer ScienceRationalityIntentionModels PsychologicalRecognition (Psychology)050105 experimental psychologyStructure learning03 medical and health sciences0302 clinical medicineMindreadingTheory-theoryHumansLearning0501 psychology and cognitive sciencesComputer SimulationCausal modelCognitive scienceSettore ING-INF/05 - Sistemi Di Elaborazione Delle Informazionibusiness.industry05 social sciencesComputer Science (all)Recognition PsychologySimulated realityAlgorithmIntentional stanceGenerative modelOnline learningFolk psychologyArtificial intelligencebusinessPsychology030217 neurology & neurosurgeryGenerative grammarAlgorithmsGenerative modelIntentional stanceHumanBiotechnology
researchProduct

Field Reconstruction for Modeling Multiple Faults in Permanent Magnet Synchronous Motors in Transient States

2021

Conventional field reconstruction model (FRM) for electrical machines has proved its main strength in efficient computations of magnetic fields and forces in healthy permanent magnet synchronous machines (PMSM) or faulty machines in steady states. This study aims to develop a magnet library of different magnet defects and include inter-turn short-circuit (ITSC) in the FRM for PMSM. The developed FRM can model a combination fault between ITSC, and magnet defect in a PMSM in transient states. Within the framework, an 8-turn ITSC was modelled in both finite element analysis (FEA) and FRM, and then identified by the extended Park’s vector approach. The air-gap magnetic field reproduced b…

General Computer ScienceRotor (electric)Computer scienceStatorMathematics::General Mathematicsinter-turn short circuitfield reconstructionGeneral EngineeringFault (power engineering)Finite element methodlaw.inventionMagnetic fieldTK1-9971VDP::Teknologi: 500DemagnetisationlawControl theoryElectromagnetic coilMagnetpermanent magnet synchronous motorGeneral Materials ScienceTransient (oscillation)Electrical engineering. Electronics. Nuclear engineeringIEEE Access
researchProduct

Inflow/outflow pressure boundary conditions for smoothed particle hydrodynamics simulations of incompressible flows

2017

Abstract Open Boundary treatment is a well-known issue in the Smoothed Particle Hydrodynamics (SPH) method, mainly when the truly Incompressible (ISPH) approach is employed. In the paper a novel method is proposed to set pressure boundary conditions in the computational domain inlets and outlets, without requiring the velocity profile assignment. The new technique allows to treat in the same way inflow and outflow sections, effectively dealing with the release of new particles at inlets and the deactivation of the ones leaving the domain through the outlets. Several 3D numerical tests, both in the laminar and turbulent regimes, are carried out to validate the proposed numerical scheme consi…

General Computer ScienceSPHInflow01 natural sciencesDomain (mathematical analysis)Settore ICAR/01 - Idraulica010305 fluids & plasmasPhysics::Fluid DynamicsSmoothed-particle hydrodynamicsEngineering (all)0103 physical sciencesBoundary value problem0101 mathematicsPressure Poisson EquationPhysicsTurbulenceOpen-boundaryComputer Science (all)General EngineeringLaminar flowMechanicsComputational physics010101 applied mathematicsIncompressible SPHCompressibilityOutflowPressure boundary conditionComputers & Fluids
researchProduct

A combinatorial view on string attractors

2021

Abstract The notion of string attractor has recently been introduced in [Prezza, 2017] and studied in [Kempa and Prezza, 2018] to provide a unifying framework for known dictionary-based compressors. A string attractor for a word w = w 1 w 2 ⋯ w n is a subset Γ of the positions { 1 , … , n } , such that all distinct factors of w have an occurrence crossing at least one of the elements of Γ. In this paper we explore the notion of string attractor by focusing on its combinatorial properties. In particular, we show how the size of the smallest string attractor of a word varies when combinatorial operations are applied and we deduce that such a measure is not monotone. Moreover, we introduce a c…

General Computer ScienceSettore INF/01 - InformaticaString (computer science)de Bruijn word0102 computer and information sciences02 engineering and technologyCharacterization (mathematics)Burrows-Wheeler transform01 natural sciencesMeasure (mathematics)Standard Sturmian wordTheoretical Computer ScienceCombinatoricsConjugacy classMonotone polygonString attractor010201 computation theory & mathematicsAttractorThue-Morse word0202 electrical engineering electronic engineering information engineeringLempel-Ziv encoding020201 artificial intelligence & image processingWord (group theory)Mathematics
researchProduct

Sliding Mode Control of Quadratic Boost Converters Based on Min-Type Control Strategy

2023

The paper deals with the control of a quadratic boost converter supplied by low-voltage energy sources, such as photovoltaic panels, fuel cells, or batteries. The control scheme consists of two control loops. A min-type controller governs the inner loop to force the current state of the nominal model to converge in a neighborhood of the equilibrium state. The external loop processes the output tracking error using an integrator, and it allows reconfiguring the converter's working point by changing the equilibrium state given in the input to the internal loop. This configuration assures both zero tracking error of the output voltage and robustness against load and input voltage variations an…

General Computer ScienceSettore ING-INF/04 - AutomaticaLow-cost hardware implementation min-type control quadratic boost converterGeneral EngineeringGeneral Materials ScienceElectrical and Electronic EngineeringSettore ING-INF/01 - Elettronica
researchProduct