Search results for "Solver"

showing 10 items of 157 documents

Heuristics for the Constrained Incremental Graph Drawing Problem

2019

Abstract Visualization of information is a relevant topic in Computer Science, where graphs have become a standard representation model, and graph drawing is now a well-established area. Within this context, edge crossing minimization is a widely studied problem given its importance in obtaining readable representations of graphs. In this paper, we focus on the so-called incremental graph drawing problem, in which we try to preserve the user’s mental map when obtaining successive drawings of the same graph. In particular, we minimize the number of edge crossings while satisfying some constraints required to preserve the position of vertices with respect to previous drawings. We propose heur…

Theoretical computer scienceOptimization problemCombinatorial optimizationInformation Systems and ManagementGeneral Computer ScienceComputer science0211 other engineering and technologiesHeuristicMetaheuristic02 engineering and technologyManagement Science and Operations ResearchIndustrial and Manufacturing EngineeringGraph drawing0502 economics and business050210 logistics & transportation021103 operations researchHeuristic05 social sciencesComputer Science (all)SolverGraphVertex (geometry)VisualizationGraph drawingModeling and SimulationCombinatorial optimizationHeuristicsMathematicsofComputing_DISCRETEMATHEMATICS
researchProduct

An ontological-based knowledge organization for bioinformatics workflow management system

2012

Motivation and Objectives In the field of Computer Science, ontologies represent formal structures to define and organize knowledge of a specific application domain (Chandrasekaran et al., 1999). An ontology is composed of entities, called classes, and relationships among them. Classes are characterized by features, called attributes, and they can be arranged into a hierarchical organization. Ontologies are a fundamental instrument in Artificial Intelligence for the development of Knowledge-Based Systems (KBS). With its formal and well defined structure, in fact, an ontology provides a machine-understandable language that allows automatic reasoning for problems resolution. Typical KBS are E…

Theoretical computer scienceworkflow management systembusiness.industryComputer scienceIntelligent decision support systemBioinformatics workflow management systembioinformaticsOntology (information science)Solvercomputer.software_genreExpert systemWorkflowArtificial intelligenceontologybusinessCluster analysiscomputerWorkflow management system
researchProduct

On solving separable block tridiagonal linear systems using a GPU implementation of radix-4 PSCR method

2018

Partial solution variant of the cyclic reduction (PSCR) method is a direct solver that can be applied to certain types of separable block tridiagonal linear systems. Such linear systems arise, e.g., from the Poisson and the Helmholtz equations discretized with bilinear finite-elements. Furthermore, the separability of the linear system entails that the discretization domain has to be rectangular and the discretization mesh orthogonal. A generalized graphics processing unit (GPU) implementation of the PSCR method is presented. The numerical results indicate up to 24-fold speedups when compared to an equivalent CPU implementation that utilizes a single CPU core. Attained floating point perfor…

Tridiagonal linear systemsProgramvaruteknikComputer Networks and CommunicationsComputer sciencePartial solution techniquereduction010103 numerical & computational mathematicsParallel computingtietotekniikka01 natural scienceslineaariset mallitTheoretical Computer ScienceSeparable spaceinformation technologyArtificial IntelligenceSeparable block tridiagonal linear systemBlock (telecommunications)Fast direct solverRadix0101 mathematicsta113Computer Sciencesta111Linear systemSoftware EngineeringGPU computingSolverComputer Science::Numerical Analysis010101 applied mathematicsPSCR methodDatavetenskap (datalogi)partial solution techniqueHardware and ArchitectureComputer Science::Mathematical Softwarepienennyslinear modelsSoftwareRoofline modelCyclic reductionJournal of Parallel and Distributed Computing
researchProduct

Fast Poisson solvers for graphics processing units

2013

Two block cyclic reduction linear system solvers are considered and implemented using the OpenCL framework. The topics of interest include a simplified scalar cyclic reduction tridiagonal system solver and the impact of increasing the radix-number of the algorithm. Both implementations are tested for the Poisson problem in two and three dimensions, using a Nvidia GTX 580 series GPU and double precision floating-point arithmetic. The numerical results indicate up to 6-fold speed increase in the case of the two-dimensional problems and up to 3- fold speed increase in the case of the three-dimensional problems when compared to equivalent CPU implementations run on a Intel Core i7 quad-core CPU…

Tridiagonal matrixOpenCLComputer scienceparallel computingScalar (mathematics)Linear systemSyklinen reductionGPGPUGPUDouble-precision floating-point formatParallel computingSolverPoisson distributionPSCRComputational sciencefast Poisson solversymbols.namesakenopea Poisson-ratkaisijanäytönohjainsymbolsComputer Science::Mathematical SoftwareCyclic reductionGraphicsrinnakkaislaskentaCyclic reduction
researchProduct

Simulation of the Propagation of Tsunamis in Coastal Regions by a Two-Dimensional Non-Hydrostatic Shallow Water Solver

2017

Due to the enormous damages and losses of human lives in the inundated regions, the simulation of the propagation of tsunamis in coastal areas has received an increasing interest of the researchers. We present a 2D depth-integrated, non- hydrostatic shallow waters solver to simulate the propagation of tsunamis, solitary waves and surges in coastal regions. We write the governing continuity and momentum equations in conservative form and discretize the domain with unstructured triangular Generalized Delaunay meshes. We apply a fractional- time-step procedure, where two problems (steps) are consecutively solved. In the first and in the second step, we hypothesize a hydrostatic and a non-hydro…

TurbulenceVoronoi cellShallow waters; Non-hydrostatic pressure; Unstructured mesh; Wetting/drying; Tsunami propagation; Long waves; Voronoi cells; Runge-Kutta method; Galerkin scheme; Manning equation; Dirichlet condition; OpenFOAMShallow waterLong waveUnstructured meshGeophysicsSolverTsunami propagationSettore ICAR/01 - IdraulicaThermal hydraulicsWetting/dryingWaves and shallow waterBoundary layerNon-hydrostatic pressureDirichlet conditionFluid dynamicsRunge-Kutta methodOpenFOAMMagnetohydrodynamicsNavier–Stokes equationsGalerkin schemeGeologyManning equation
researchProduct

Integrated plasmonic waveguides: A mode solver based on density of states formulation

2009

International audience; We express the density of states (DOS) near guided resonances of plasmonic waveguides by using multiple-scattering theory. In direct analogy with the case of localized electronic defect states in condensed matter, we demonstrate that optical DOS variations follow a lorentzian profile near guided modes resonances. The lorentzian shape gives quantitative information on the guided modes (effective index, propagation length, and polarization state). We numerically investigate both leaky and bound (lossy) modes supported by dielectric-loaded surface-plasmon-polariton waveguides.

Wave propagationPhysics::Optics02 engineering and technologyLossy compression01 natural sciences0103 physical sciences[SPI.NANO]Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics010306 general physicsQuantum wellPhysics[PHYS.PHYS.PHYS-OPTICS]Physics [physics]/Physics [physics]/Optics [physics.optics]Mesoscopic physics[ PHYS.PHYS.PHYS-OPTICS ] Physics [physics]/Physics [physics]/Optics [physics.optics]Condensed matter physicsSolver021001 nanoscience & nanotechnologyCondensed Matter PhysicsPolarization (waves)3. Good healthElectronic Optical and Magnetic MaterialsComputational physics[SPI.OPTI]Engineering Sciences [physics]/Optics / PhotonicQuasiparticleDensity of states[ SPI.NANO ] Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics[ SPI.OPTI ] Engineering Sciences [physics]/Optics / Photonic0210 nano-technology
researchProduct

An Algorithm for Optimal Sizing of BESS in Smart Islands Energy Communities: the Case of Pantelleria

2021

Energy Communities (EC) are a promising solution to reduce both the carbon footprint and the impact of Renewable Energy Sources (RES) on the distribution grid. Based on a simple energy sharing principle, EC can be decisive in the next future energy transition of some problematic territories, like small islands not supplied by the main power grid. By integrating Battery Energy Storage Systems (BESS), it is possible to improve the EC performance. However, due to the still high BESSs unit prices, the goal of this work is to find the optimal size of BESSs, under various conditions, which combines the need to maximize shared energy and the possible revenue of EC actors. To set this multi-objecti…

Work (thermodynamics)Computer sciencebusiness.industryEnergy transitionSolverSizingRenewable energySettore ING-IND/33 - Sistemi Elettrici Per L'EnergiaSet (abstract data type)Carbon footprintbusinessAlgorithmEnergy (signal processing)battery energy storage systems Energy community optimization2021 IEEE International Conference on Environment and Electrical Engineering and 2021 IEEE Industrial and Commercial Power Systems Europe (EEEIC / I&CPS Europe)
researchProduct

OPTIMIZATIONS FOR TENSORIAL BERNSTEIN–BASED SOLVERS BY USING POLYHEDRAL BOUNDS

2010

The tensorial Bernstein basis for multivariate polynomials in n variables has a number 3n of functions for degree 2. Consequently, computing the representation of a multivariate polynomial in the tensorial Bernstein basis is an exponential time algorithm, which makes tensorial Bernstein-based solvers impractical for systems with more than n = 6 or 7 variables. This article describes a polytope (Bernstein polytope) with a number of faces, which allows to bound a sparse, multivariate polynomial expressed in the canonical basis by solving several linear programming problems. We compare the performance of a subdivision solver using domain reductions by linear programming with a solver using a c…

[ INFO.INFO-NA ] Computer Science [cs]/Numerical Analysis [cs.NA]Linear programmingPolytopeBernstein polynomials01 natural sciencesSimplex algorithmApplied mathematicssimplex algorithm0101 mathematicsMathematicsDiscrete mathematicsBasis (linear algebra)Applied Mathematics010102 general mathematicssubdivision solverlinear programmingalgebraic systemsQuadratic function[INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA]Solver1991 Mathematics Subject Classification: 14Q15 14Q20 65G40Bernstein polynomialComputer Science Applications010101 applied mathematicsModeling and SimulationStandard basisGeometry and TopologyComputer Vision and Pattern RecognitionSoftwareInternational Journal of Shape Modeling
researchProduct

Bridging Sensing and Decision Making in Ambient Intelligence Environments

2009

Context-aware and Ambient Intelligence environments represent one of the emerging issues in the last decade. In such intelligent environments, information is gathered to provide, on one hand, autonomic and easy to manage applications, and, on the other, secured access controlled environments. Several approaches have been defined in the literature to describe context-aware application with techniques to capture and represent information related to a specified domain. However and to the best of our knowledge, none has questioned the reliability of the techniques used to extract meaningful knowledge needed for decision making especially if the information captured is of multimedia types (image…

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI]Ambient intelligenceComputer science02 engineering and technologycomputer.software_genreBridging (programming)[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]uncertainty resolver modelHuman–computer interaction020204 information systemsResolver0202 electrical engineering electronic engineering information engineeringcontext-aware applicationsemantic-based020201 artificial intelligence & image processingData mining[ INFO.INFO-AI ] Computer Science [cs]/Artificial Intelligence [cs.AI]computer
researchProduct

On GPU-accelerated fast direct solvers and their applications in image denoising

2015

block cyclic reductionnäytönohjaimetOpenCLnumeeriset menetelmätprosessoritimage denoisingparallel computingmean curvatureGPU computingkuvankäsittelyimage processingfast Poisson solverseparable block tridiagonal linear systemPSCR methodoptimointialgoritmitohjelmointiaugmented Lagrangian methodkohinafast direct solverrinnakkaislaskentaalternating direction methods of multipliers
researchProduct