Search results for "Theoretical Computer Science"

showing 10 items of 1151 documents

Common and Domain-specific Metamodel Elements for Problem Description in Simulation Problems

2014

It is well known that the multi-agent system paradigm is well suited for modelling and developing simulations of complex systems belonging to several application domains. Simulation study aims at developing simulation models useful for representing, studying and analyzing entities and their behavior in a system according to specific purposes. With our work we are trying to understand what are the right elements to be considered and included in the description of a simulation problem. In order to root our resulting metamodel in the state of the art of multi-agent simulations we started from the study of twelve papers dealing with four different application domains: Crowd Dynamics, Traffic an…

Vehicle dynamicsRoot (linguistics)Theoretical computer scienceComputer scienceMulti-Agent SimulationSupply chainSimulation modelingComplex systemSystems designSimulationDomain (software engineering)Metamodelingdomain specific metamodeling language multi-agent systems
researchProduct

Skeletons for parallel image processing: an overview of the SKiPPER project

2002

International audience; This paper is a general overview of the SKIPPER project, run at Blaise Pascal University between 1996 and 2002. The main goal of the SKIPPER project was to demonstrate the appli- cability of skeleton-based parallel programming techniques to the fast prototyping of reactive vision applications. This project has produced several versions of a full-fledged integrated pa- rallel programming environment (PPE). These PPEs have been used to implement realistic vi- sion applications, such as road following or vehicle tracking for assisted driving, on embedded parallel platforms embarked on semi-autonomous vehicles. All versions of SKIPPER share a common front-end and reperto…

Vehicle tracking system[ INFO.INFO-TS ] Computer Science [cs]/Signal and Image ProcessingComputer Networks and CommunicationsComputer science02 engineering and technology[ SPI.SIGNAL ] Engineering Sciences [physics]/Signal and Image processingcomputer.software_genreTheoretical Computer ScienceSoftware portability[INFO.INFO-TS]Computer Science [cs]/Signal and Image ProcessingArtificial Intelligence0202 electrical engineering electronic engineering information engineeringcomputer.programming_language020203 distributed computingbusiness.industryProgramming language020207 software engineeringPascal (programming language)Computer Graphics and Computer-Aided DesignSkeleton (computer programming)Parallel image processingData flow diagramHardware and ArchitectureSoftware engineeringbusinesscomputer[SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processingSoftware
researchProduct

Visual spike-based convolution processing with a Cellular Automata architecture

2010

this paper presents a first approach for implementations which fuse the Address-Event-Representation (AER) processing with the Cellular Automata using FPGA and AER-tools. This new strategy applies spike-based convolution filters inspired by Cellular Automata for AER vision processing. Spike-based systems are neuro-inspired circuits implementations traditionally used for sensory systems or sensor signal processing. AER is a neuromorphic communication protocol for transferring asynchronous events between VLSI spike-based chips. These neuro-inspired implementations allow developing complex, multilayer, multichip neuromorphic systems and have been used to design sensor chips, such as retinas an…

Very-large-scale integrationSignal processingTheoretical computer scienceArtificial neural networkComputer sciencebusiness.industrySensory systemCellular automatonConvolutionNeuromorphic engineeringAsynchronous communicationSpike (software development)businessComputer hardwareThe 2010 International Joint Conference on Neural Networks (IJCNN)
researchProduct

Fillets:Cues for connections in Focus+Context views of graph-like diagrams

2003

We apply fillets-smoothing of sharp angles at the joints-between the connections and nodes of graph-like diagrams. In situations where the graph layout is constrained, e.g. Focus+Context views or views where the coordinates of the nodes are informative, fillets can clarify the relationships considerably without altering the layout. A visual search experiment supports our hypothesis that with fillets it is considerably easier to perceive node-connection structures. We discuss algorithms with different tradeoffs for flexibility and performance for rendering these connections in a single pass using OpenGL.

Visual searchTheoretical computer scienceComputer scienceBooksOpenGLGraph LayoutGraph theoryInformation technologyComputer scienceMechanical engineeringSmoothing methodsRendering (computer graphics)Computer graphicsTree graphsGraph (abstract data type)HumansInformation systemsInkConnectorsSmoothing
researchProduct

Visualizations for Decision Support in Scenario-based Multiobjective Optimization

2021

Reproducibility artifacts for: Babooshka Shavazipour, Manuel López-Ibáñez, and Kaisa Miettinen. Visualizations for Decision Support in Scenario-based Multiobjective Optimization. Information Sciences, 2021. doi:10.1016/j.ins.2021.07.025. Abstract: We address challenges of decision problems when managers need to optimize several conflicting objectives simultaneously under uncertainty. We propose visualization tools to support the solution of such scenario-based multiobjective optimization problems. Suitable graphical visualizations are necessary to support managers in understanding, evaluating, and comparing the performances of management decisions according to all objec…

Visualization methodshaasteet (ongelmat)Decision support systemInformation Systems and ManagementComputer sciencevisualisointipäätöksentekoEmpirical attainment functionMachine learningcomputer.software_genreMulti-objective optimizationScenario planningTheoretical Computer ScienceConflicting objectivesoptimointiArtificial IntelligenceScenario-based multi-criteria optimizationMulti-dimensional visualizationMCDMScenario basedbusiness.industryUncertaintyExtension (predicate logic)Decision problemskenaariotmonitavoiteoptimointiComputer Science ApplicationsVisualizationControl and Systems EngineeringArtificial intelligencemallit (mallintaminen)businesscomputerSoftware
researchProduct

Optimal Mass Transport on Metric Graphs

2015

We study an optimal mass transport problem between two equal masses on a metric graph where the cost is given by the distance in the graph. To solve this problem we find a Kantorovich potential as the limit of $p$-Laplacian--type problems in the graph where at the vertices we impose zero total flux boundary conditions. In addition, the approximation procedure allows us to find a transport density that encodes how much mass has to be transported through a given point in the graph, and also provides a simple formula of convex optimization for the total cost.

Voltage graphStrength of a graphDistance-regular graphTheoretical Computer Sciencelaw.inventionPlanar graphMetric k-centerCombinatoricssymbols.namesakelawGraph powerLine graphsymbolsCubic graphSoftwareMathematicsSIAM Journal on Optimization
researchProduct

Turing instability and traveling fronts for a nonlinear reaction–diffusion system with cross-diffusion

2012

In this work we investigate the phenomena of pattern formation and wave propagation for a reaction–diffusion system with nonlinear diffusion. We show how cross-diffusion destabilizes uniform equilibrium and is responsible for the initiation of spatial patterns. Near marginal stability, through a weakly nonlinear analysis, we are able to predict the shape and the amplitude of the pattern. For the amplitude, in the supercritical and in the subcritical case, we derive the cubic and the quintic Stuart–Landau equation respectively. When the size of the spatial domain is large, and the initial perturbation is localized, the pattern is formed sequentially and invades the whole domain as a travelin…

WavefrontNumerical AnalysisQuintic Stuart–Landau equationGeneral Computer ScienceWave propagationApplied MathematicsNonlinear diffusionMathematical analysisPattern formationTheoretical Computer ScienceQuintic functionNonlinear systemAmplitudeModeling and SimulationReaction–diffusion systemPattern formationAmplitude equationMarginal stabilityMathematicsGinzburg–Landau equation
researchProduct

What are the relationships among Web 2.0, market orientation and innovativeness?

2013

PurposeFirms are adopting Web 2.0 technologies to improve collaboration, participation and communication; however there are few empirical studies testing the impact of this adoption. The purpose of this article is to analyze if there is a linkage amongst market orientation, Web 2.0 adoption and innovativeness.Design/methodology/approachStructural equation modeling was used to test the relationships amongst the variables. A sample of 244 firms of the hospitality industry was used. The theoretical approach is based on the market orientation and innovativeness, concepts, which have been studied by various authors in the literature.FindingsA positive relationship was found between market orient…

Web 2.0Knowledge managementWeb 2.0business.industrySample (statistics)Linkage (mechanical)Hospitality industryStructural equation modelingTheoretical Computer Sciencelaw.inventionEmpirical researchControl and Systems EngineeringlawOrder (exchange)Market orientationComputer Science (miscellaneous)ORGANIZACION DE EMPRESASBusinessEngineering (miscellaneous)Social Sciences (miscellaneous)Communications technologies
researchProduct

Modeling a non-stationary bots’ arrival process at an e-commerce Web site

2017

Abstract The paper concerns the issue of modeling and generating a representative Web workload for Web server performance evaluation through simulation experiments. Web traffic analysis has been done from two decades, usually based on Web server log data. However, while the character of the overall Web traffic has been extensively studied and modeled, relatively few studies have been devoted to the analysis of Web traffic generated by Internet robots (Web bots). Moreover, the overwhelming majority of studies concern the traffic on non e-commerce websites. In this paper we address the problem of modeling a realistic arrival process of bots’ requests on an e-commerce Web server. Based on real…

Web serverGeneral Computer ScienceComputer scienceInternet robotReal-time computing02 engineering and technologyE-commercecomputer.software_genreSession (web analytics)Theoretical Computer ScienceWeb traffic characterizationWeb serverWeb traffic0202 electrical engineering electronic engineering information engineeringTraffic generation modelWeb traffic analysis and modelingbusiness.industryComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS020206 networking & telecommunicationsWeb botHeavy-tailed distributionModeling and SimulationHeavy-tailed distribution020201 artificial intelligence & image processingThe InternetWeb log analysis softwareLog file analysisData miningbusinessRegression analysiscomputerJournal of Computational Science
researchProduct

CN2-R: Faster CN2 with randomly generated complexes

2011

Among the rule induction algorithms, the classic CN2 is still one of the most popular ones; a great amount of enhancements and improvements to it is to witness this. Despite the growing computing capacities since the algorithm was proposed, one of the main issues is resource demand. The proposed modification, CN2-R, substitutes the star concept of the original algorithm with a technique of randomly generated complexes in order to substantially improve on running times without significant loss in accuracy.

Weighted Majority AlgorithmTheoretical computer scienceRule inductionComputer sciencePopulation-based incremental learningStability (learning theory)Online machine learningProbabilistic analysis of algorithmsAlgorithm designStar (graph theory)Algorithm2011 16th International Conference on Methods & Models in Automation & Robotics
researchProduct