Search results for "theoretical"

showing 10 items of 11439 documents

Usability and acceptability assessment of an empathic virtual agent to prevent major depression

2016

In Human-Computer Interaction, the adaptation of the content and the way of how this content is communicated to the users in interactive sessions is a critical issue to promote the acceptability and usability of any computational system. We present a user-adapted interactive platform to identify and provide an early intervention for symptoms of depression and suicide. In particular, we describe the work performed to assess users' system acceptability and usability. An empathic Virtual Agent is the main interface with the user, and it has been designed to generate the appropriate dialogues and emotions during the interactions according to the detected user's specific needs. This personalizat…

020205 medical informaticsPluralistic walkthroughComputer science02 engineering and technologyTheoretical Computer ScienceUsability lab03 medical and health sciences0302 clinical medicineArtificial IntelligenceHuman–computer interactionHeuristic evaluationacceptabilityemotional virtual agent0202 electrical engineering electronic engineering information engineeringAdaptation (computer science)Web usabilityInteractive systems engineeringbusiness.industryUser modelingUsabilityHuman-computer interaction030227 psychiatryuser-adapted sessionsusabilityComputational Theory and MathematicsControl and Systems EngineeringFISICA APLICADAbusiness
researchProduct

Sewage sludge as cheap alternative to microalgae as feedstock of catalytic hydrothermal liquefaction processes

2019

Abstract Production of biocrude through hydrothermal liquefaction (HTL) of sewage sludge (SS) and Chlorella vulgaris was investigated. NiMo/Al2O3 (KF 851), CoMo/Al2O3 (KF 1022) and activated carbon felt, tested as catalysts at 598 K for 30 min, did not change the biocrude yield but significantly improved its quality. Quantitative sulfur removal and lower oxygen content were found in biocrude when KF 851 and KF 1022 were used with C. vulgaris. The same catalysts decreased O/C and S/C ratio of the biocrude from SS. The highest HHV (38.19 MJ/kg) and H/C ratio (1.65) and the lowest O/C (0.11) of the biocrude from SS were obtained with the cheaper activated carbon felt. A new product phase, prob…

020209 energyGeneral Chemical EngineeringChlorella vulgarischemistry.chemical_element02 engineering and technology010501 environmental sciencesRaw material01 natural sciencesHeterogeneous catalystCatalysis0202 electrical engineering electronic engineering information engineeringmedicineMicroalgaePhysical and Theoretical ChemistrySewage sludge0105 earth and related environmental sciencesSettore ING-IND/27 - Chimica Industriale E TecnologicaCondensed Matter PhysicsSulfur6. Clean waterHydrothermal liquefactionchemistry13. Climate actionYield (chemistry)BiocrudeSludgeHydrothermal liquefactionNuclear chemistryActivated carbonmedicine.drug
researchProduct

Modelling IR Spectra of Sulfonated Polyether Ether Ketone (SPEEK) Membranes for Fuel Cells

2020

Authors acknowledge support from LSC project No 2014/666 ERDF and students ( ) support from project 2DP/2.1.1.1.0/14/APIA/VIAA/009.

020209 energyMechanical EngineeringProton Conducting MembranesInfrared spectroscopySulfonated Poly(Ether Ether Ketone)02 engineering and technology021001 nanoscience & nanotechnology7. Clean energyATR-IR spectraPolyether ether ketonechemistry.chemical_compoundMembranechemistryMechanics of MaterialsPolymer chemistry:NATURAL SCIENCES:Physics [Research Subject Categories]Theoretical IR spectra0202 electrical engineering electronic engineering information engineeringFuel cellsGeneral Materials Science0210 nano-technologyKey Engineering Materials
researchProduct

Robust Network Agreement on Logical Information

2011

Abstract Logical consensus is an approach to distributed decision making which is based on the availability of a network of agents with incomplete system knowledge. The method requires the construction of a Boolean map which defines a dynamic system allowing the entire network to consent on a unique, global decision. Previous work by the authors proved the method to be viable for applications such as intrusion detection within a structured environment, when the agent's communication topology is known in advance. The current work aims at providing a fully distributed protocol, requiring no a priori knowledge of each agent's communication neighbors. The protocol allows the construction of a r…

0209 industrial biotechnology020901 industrial engineering & automationTheoretical computer scienceSettore ING-INF/04 - AutomaticaComputer scienceDistributed computingIntrusion detection security robust logical consensus networked and distributed systems.0202 electrical engineering electronic engineering information engineering020207 software engineeringTopology (electrical circuits)02 engineering and technologyIntrusion detection systemProtocol (object-oriented programming)
researchProduct

Large multiple neighborhood search for the soft-clustered vehicle-routing problem

2021

Abstract The soft-clustered vehicle-routing problem (SoftCluVRP) is a variant of the classical capacitated vehicle-routing problem. Customers are partitioned into clusters and all customers of the same cluster must be served by the same vehicle. In this paper, we present a large multiple neighborhood search for the SoftCluVRP. We design and analyze multiple cluster destroy and repair operators as well as two post-optimization components, which are both based on variable neighborhood descent. The first allows inter-route exchanges of complete clusters, while the second searches for intra-route improvements by combining classical neighborhoods (2-opt, Or-opt, double-bridge) and the Balas-Simo…

0209 industrial biotechnology021103 operations researchTheoretical computer scienceGeneral Computer ScienceHeuristic (computer science)Computer scienceHeuristic0211 other engineering and technologiesNeighborhood search02 engineering and technologyManagement Science and Operations ResearchVariable (computer science)020901 industrial engineering & automationModeling and SimulationVehicle routing problemBenchmark (computing)Cluster (physics)Descent (mathematics)Computers & Operations Research
researchProduct

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