Search results for "Theoretical Computer Science"

showing 10 items of 1151 documents

Surrogate models for the compressive strength mapping of cement mortar materials

2021

Despite the extensive use of mortar materials in constructions over the last decades, there is not yet a robust quantitative method available in the literature, which can reliably predict their strength based on the mix components. This limitation is attributed to the highly nonlinear relation between the mortar’s compressive strength and the mixed components. In this paper, the application of artificial intelligence techniques for predicting the compressive strength of mortars is investigated. Specifically, Levenberg–Marquardt, biogeography-based optimization, and invasive weed optimization algorithms are used for this purpose (based on experimental data available in the literature). The c…

0209 industrial biotechnologyArtificial neural networksbusiness.industryComputer scienceCementCompressive strengthComputational intelligence02 engineering and technologyStructural engineeringSoft computing techniquesTheoretical Computer ScienceMortarSettore ICAR/09 - Tecnica Delle CostruzioniNonlinear system020901 industrial engineering & automationCompressive strength0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingGeometry and TopologyMortarbusinessMetakaolinSoftwareCement mortarSoft Computing
researchProduct

Harsanyi Power Solutions for Cooperative Games on Voting Structures

2019

International audience; This paper deals with Harsanyi power solutions for cooperative games in which partial cooperation is based on specific union stable systems given by the winning coalitions derived from a voting game. This framework allows for analyzing new and real situations in which there exists a feedback between the economic influence of each coalition of agents and its political power. We provide an axiomatic characterization of the Harsanyi power solutions on the subclass of union stable systems arisen from the winning coalitions from a voting game when the influence is determined by a power index. In particular, we establish comparable axiomatizations, in this context, when co…

0209 industrial biotechnologyClass (set theory)Computer Science::Computer Science and Game TheoryIndex (economics)Computer scienceExistential quantificationmedia_common.quotation_subjectContext (language use)02 engineering and technology[SHS.ECO]Humanities and Social Sciences/Economics and FinanceShapley valueComputer Science ApplicationsTheoretical Computer Science020901 industrial engineering & automationControl and Systems EngineeringModeling and SimulationVotingValue (economics)0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingMathematical economicsAxiomInformation Systemsmedia_common
researchProduct

BIAM: a new bio-inspired analysis methodology for digital ecosystems based on a scale-free architecture

2017

Today we live in a world of digital objects and digital technology; industry and humanities as well as technologies are truly in the midst of a digital environment driven by ICT and cyber informatics. A digital ecosystem can be defined as a digital environment populated by interacting and competing digital species. Digital species have autonomous, proactive and adaptive behaviors, regulated by peer-to-peer interactions without central control point. An interconnecting architecture with few highly connected nodes (hubs) and many low connected nodes has a scale- free architecture. A new bio-inspired analysis methodology (BIAM) environment, an investigation strategy for information flow, fault…

0209 industrial biotechnologyComputer scienceDistributed computingScale (chemistry)Metabolic networkComputational intelligence02 engineering and technologyTheoretical Computer ScienceSet (abstract data type)Scale-free architectureDigital ecosystemDigital ecosystem020901 industrial engineering & automationInformation and Communications TechnologyInformatics0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingEcosystemDE architectural analysiGeometry and TopologyInformation flow (information theory)ArchitectureScience technology and societySoftware
researchProduct

Robust adaptive tracking control of uncertain systems with time-varying input delays

2017

ABSTRACTIn this paper, the problem of robust adaptive tracking control of uncertain systems with time-varying input delays is studied. Under some mild assumptions, a robust adaptive controller is designed by using adaptive backstepping technique such that the system is globally stable and the system output can track a given reference signal. At the same time, a root mean square type of bound is obtained for the tracking error as a function of design parameters and thus can be adjusted. Finally, one numerical example is given to show the effectiveness of the proposed scheme.

0209 industrial biotechnologyControl and OptimizationAdaptive controlComputer scienceControl (management)Uncertain systems02 engineering and technologyFunction (mathematics)SignalComputer Science ApplicationsTheoretical Computer ScienceHuman-Computer InteractionTracking errorRoot mean square020901 industrial engineering & automationControl and Systems EngineeringControl theoryBackstepping0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingElectrical and Electronic EngineeringAdaptive trackingRobust controlInternational Journal of Systems Science
researchProduct

Finite-time stability and stabilisation for a class of nonlinear systems with time-varying delay

2014

This paper is concerned with the problems of finite-time stability FTS and finite-time stabilisation for a class of nonlinear systems with time-varying delay, which can be represented by Takagi–Sugeno fuzzy system. Some new delay-dependent FTS conditions are provided and applied to the design problem of finite-time fuzzy controllers. First, based on an integral inequality and a fuzzy Lyapunov–Krasovskii functional, a delay-dependent FTS criterion is proposed for open-loop fuzzy system by introducing some free fuzzy weighting matrices, which are less conservative than other existing ones. Then, the parallel distributed compensation controller is designed to ensure FTS of the time-delay fuzzy…

0209 industrial biotechnologyEngineeringfinite-time stabilisation; finite-time stability; fuzzy control; nonlinear system; time-delay system; Control and Systems Engineering; Theoretical Computer Science; Computer Science Applications1707 Computer Vision and Pattern RecognitionStability (learning theory)fuzzy controltime-delay system02 engineering and technologynonlinear systemFuzzy logicCompensation (engineering)Theoretical Computer Science020901 industrial engineering & automationControl theory0202 electrical engineering electronic engineering information engineeringfinite-time stabilisationfinite-time stabilityAdaptive neuro fuzzy inference systembusiness.industryComputer Science Applications1707 Computer Vision and Pattern RecognitionFuzzy control systemComputer Science ApplicationsWeightingNonlinear systemControl and Systems Engineering020201 artificial intelligence & image processingbusiness
researchProduct

Forecasting portfolio returns using weighted fuzzy time series methods

2016

We propose using weighted fuzzy time series (FTS) methods to forecast the future performance of returns on portfolios. We model the uncertain parameters of the fuzzy portfolio selection models using a possibilistic interval-valued mean approach, and approximate the uncertain future return on a given portfolio by means of a trapezoidal fuzzy number. Introducing some modifications into the classical models of fuzzy time series, based on weighted operators, enables us to generate trapezoidal numbers as forecasts of the future performance of the portfolio returns. This fuzzy forecast makes it possible to approximate both the expected return and the risk of the investment through the value and a…

0209 industrial biotechnologyMathematical optimizationActuarial scienceSeries (mathematics)Mathematics::General MathematicsComputer scienceApplied MathematicsFuzzy set02 engineering and technologyFuzzy logicDefuzzificationTheoretical Computer Science020901 industrial engineering & automationArtificial Intelligence0202 electrical engineering electronic engineering information engineeringExpected returnPortfolioFuzzy number020201 artificial intelligence & image processingPortfolio optimizationSoftwareInternational Journal of Approximate Reasoning
researchProduct

A survey on handling computationally expensive multiobjective optimization problems with evolutionary algorithms

2017

Evolutionary algorithms are widely used for solving multiobjective optimization problems but are often criticized because of a large number of function evaluations needed. Approximations, especially function approximations, also referred to as surrogates or metamodels are commonly used in the literature to reduce the computation time. This paper presents a survey of 45 different recent algorithms proposed in the literature between 2008 and 2016 to handle computationally expensive multiobjective optimization problems. Several algorithms are discussed based on what kind of an approximation such as problem, function or fitness approximation they use. Most emphasis is given to function approxim…

0209 industrial biotechnologyMathematical optimizationComputer scienceComputationEvolutionary algorithmComputational intelligence02 engineering and technologyMulti-objective optimizationTheoretical Computer Science020901 industrial engineering & automation0202 electrical engineering electronic engineering information engineeringmulticriteria optimizationsurrogateresponse surface approximationcomputational costmetamodelFitness approximationpareto optimalitypareto-tehokkuusFunction (mathematics)monitavoiteoptimointiFunction approximationkoneoppiminen020201 artificial intelligence & image processingGeometry and TopologySoftware
researchProduct

Interrogating witnesses for geometric constraint solving

2012

International audience; Classically, geometric constraint solvers use graph-based methods to decompose systems of geometric constraints. These methods have intrinsic limitations, which the witness method overcomes; a witness is a solution of a variant of the system. This paper details the computation of a basis of the vector space of free infinitesimal motions of a typical witness, and explains how to use this basis to interrogate the witness for dependence detection. The paper shows that the witness method detects all kinds of dependences: structural dependences already detectable by graph-based methods, but also non-structural dependences, due to known or unknown geometric theorems, which…

0209 industrial biotechnologyMathematical optimizationGeometric constraintsTheoretical computer science[ INFO.INFO-NA ] Computer Science [cs]/Numerical Analysis [cs.NA]InfinitesimalComputationRigidity (psychology)02 engineering and technologyTheoretical Computer ScienceDependent and independent constraintsGeometric networks020901 industrial engineering & automation0202 electrical engineering electronic engineering information engineeringConstraint solvingMathematicsGeometric transformationWitness configuration020207 software engineering[INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA]16. Peace & justiceWitnessComputer Science ApplicationsComputational Theory and MathematicsConstraint decompositionGraph (abstract data type)Infinitesimal motionsAlgorithmInformation SystemsVector space
researchProduct

Networked Bio-Inspired Evolutionary Dynamics on a Multi-Population

2019

We consider a multi-population, represented by a network of groups of individuals. Every player of each group can choose between two options, and we study the problem of reaching consensus. The dynamics not only depend on the dynamics within the group, but they also depend on the topology of the network, so neighboring groups influence individuals as well. First, we develop a mathematical model of this networked bio-inspired evolutionary behavior and we study its steady-state. We look at the special case where the underlying network topology is a regular and unweighted graph and show that the steady-state is a consensus equilibrium. A sufficient condition for exponential stability is given.…

0209 industrial biotechnologyTheoretical computer scienceComputer scienceMulti-agent system020208 electrical & electronic engineering02 engineering and technologyNetwork topologyGroup decision-making020901 industrial engineering & automationExponential stability0202 electrical engineering electronic engineering information engineeringGraph (abstract data type)Special caseEvolutionary dynamicsTopology (chemistry)2019 18th European Control Conference (ECC)
researchProduct

Graph-theoretical derivation of brain structural connectivity

2020

Brain connectivity at the single neuron level can provide fundamental insights into how information is integrated and propagated within and between brain regions. However, it is almost impossible to adequately study this problem experimentally and, despite intense efforts in the field, no mathematical description has been obtained so far. Here, we present a mathematical framework based on a graph-theoretical approach that, starting from experimental data obtained from a few small subsets of neurons, can quantitatively explain and predict the corresponding full network properties. This model also changes the paradigm with which large-scale model networks can be built, from using probabilisti…

0209 industrial biotechnologyTheoretical computer scienceComputer scienceNeuronal network02 engineering and technologyMECHANISMSCENTRALITY020901 industrial engineering & automationSettore MAT/05 - Analisi MatematicaNeuronal networksConnectome0202 electrical engineering electronic engineering information engineeringINDEXComputer Science::DatabasesRandom graphsSettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniSettore INF/01 - InformaticaQuantitative Biology::Neurons and CognitionApplied MathematicsProbabilistic logicExperimental data020206 networking & telecommunicationsComputational MathematicsSYNCHRONIZATIONSIMULATIONGraph (abstract data type)Applied Mathematics and Computation
researchProduct