Search results for "artificial intelligence"

showing 10 items of 6122 documents

Multifunctions determined by integrable functions

2019

Integral properties of multifunctions determined by vector valued functions are presented. Such multifunctions quite often serve as examples and counterexamples. In particular it can be observed that the properties of being integrable in the sense of Bochner, McShane or Birkhoff can be transferred to the generated multifunction while Henstock integrability does not guarantee it.

Pure mathematicsPositive multifunctionIntegrable systemApplied Mathematicsselection02 engineering and technologymultifunction determined by a functionTheoretical Computer ScienceFunctional Analysis (math.FA)28B20 26E25 26A39 28B05 46G10 54C60 54C65Mathematics - Functional AnalysisPositive multifunction gauge integral selection multifunction determined by a function measure theory.measure theorySettore MAT/05 - Analisi MatematicaArtificial Intelligence020204 information systemsgauge integral0202 electrical engineering electronic engineering information engineeringFOS: Mathematics020201 artificial intelligence & image processingVector-valued functionSoftwareCounterexampleMathematics
researchProduct

Decompositions of Weakly Compact Valued Integrable Multifunctions

2020

We give a short overview on the decomposition property for integrable multifunctions, i.e., when an &ldquo

Pure mathematicsProperty (philosophy)Integrable systemGeneral MathematicsPhysics::Medical PhysicsMathematics::Optimization and ControlBanach space02 engineering and technologyCharacterization (mathematics)Translation (geometry)01 natural sciencesSeparable spaceSettore MAT/05 - Analisi Matematica0202 electrical engineering electronic engineering information engineeringComputer Science (miscellaneous)Decomposition (computer science)0101 mathematicsEngineering (miscellaneous)MathematicsMathematics::Functional Analysislcsh:Mathematics010102 general mathematicsRegular polygonGauge multivalued integrallcsh:QA1-939scalarly defined multivalued integralComputer Science::Otherdecomposition of a multifunction020201 artificial intelligence & image processing
researchProduct

Algebraic aspects and coherence conditions for conjoined and disjoined conditionals

2019

We deepen the study of conjoined and disjoined conditional events in the setting of coherence. These objects, differently from other approaches, are defined in the framework of conditional random quantities. We show that some well known properties, valid in the case of unconditional events, still hold in our approach to logical operations among conditional events. In particular we prove a decomposition formula and a related additive property. Then, we introduce the set of conditional constituents generated by $n$ conditional events and we show that they satisfy the basic properties valid in the case of unconditional events. We obtain a generalized inclusion-exclusion formula and we prove a …

Pure mathematicsProperty (philosophy)Settore MAT/06 - Probabilita' E Statistica MatematicaDistributivityApplied MathematicsProbability (math.PR)02 engineering and technologyCoherence (statistics)Characterization (mathematics)Settore MAT/01 - Logica Matematica60Axx 03B48Theoretical Computer ScienceCoherenceConditional random quantities Conjunction and disjunction of conditionals Decomposition formula Conditional constituents Inclusion-exclusion formulaSet (abstract data type)Artificial Intelligence020204 information systemsFOS: Mathematics0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingInclusion–exclusion principleAlgebraic numberMathematics - ProbabilitySoftwareCounterexampleMathematics
researchProduct

Introducing a novel mesh following technique for approximation-free robotic tool path trajectories

2017

Abstract Modern tools for designing and manufacturing of large components with complex geometries allow more flexible production with reduced cycle times. This is achieved through a combination of traditional subtractive approaches and new additive manufacturing processes. The problem of generating optimum tool-paths to perform specific actions (e.g. part manufacturing or inspection) on curved surface samples, through numerical control machinery or robotic manipulators, will be increasingly encountered. Part variability often precludes using original design CAD data directly for toolpath generation (especially for composite materials), instead surface mapping software is often used to gener…

QA750209 industrial biotechnologyEngineeringComputational MechanicsMesh following techniqueCAD02 engineering and technologyTool path generationTriangular meshescomputer.software_genreNDT020901 industrial engineering & automationSoftwarelcsh:TA1740202 electrical engineering electronic engineering information engineeringComputer Aided DesignEngineering (miscellaneous)SimulationCommercial softwareSubtractive colorbusiness.industry020207 software engineeringRoboticsRoboticslcsh:Engineering designComputer Graphics and Computer-Aided DesignHuman-Computer InteractionComputational MathematicsModeling and SimulationComputer-aided manufacturingNumerical controlArtificial intelligencebusinessAlgorithmcomputerJournal of Computational Design and Engineering
researchProduct

Hierarchical Syntactic Models for Human Activity Recognition through Mobility Traces

2019

AbstractRecognizing users’ daily life activities without disrupting their lifestyle is a key functionality to enable a broad variety of advanced services for a Smart City, from energy-efficient management of urban spaces to mobility optimization. In this paper, we propose a novel method for human activity recognition from a collection of outdoor mobility traces acquired through wearable devices. Our method exploits the regularities naturally present in human mobility patterns to construct syntactic models in the form of finite state automata, thanks to an approach known asgrammatical inference. We also introduce a measure ofsimilaritythat accounts for the intrinsic hierarchical nature of su…

QA75Computer science02 engineering and technologyManagement Science and Operations ResearchSimilarity measureMachine learningcomputer.software_genreZA4050Set (abstract data type)Activity recognitionGrammatical inference Human activity recognition Mobility020204 information systemsSmart citySimilarity (psychology)0202 electrical engineering electronic engineering information engineeringSettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniFinite-state machineT1business.industryGrammar inductionComputer Science ApplicationsHardware and Architecture020201 artificial intelligence & image processingArtificial intelligenceGranularitybusinesscomputer
researchProduct

A Context-Aware System for Ambient Assisted Living

2017

In the near future, the world's population will be characterized by an increasing average age, and consequently, the number of people requiring for a special household assistance will dramatically rise. In this scenario, smart homes will significantly help users to increase their quality of life, while maintaining a great level of autonomy. This paper presents a system for Ambient Assisted Living (AAL) capable of understanding context and user's behavior by exploiting data gathered by a pervasive sensor network. The knowledge inferred by adopting a Bayesian knowledge extraction approach is exploited to disambiguate the collected observations, making the AAL system able to detect and predict…

QA75Computer sciencemedia_common.quotation_subjectPopulationAmbient Assisted LivingContext (language use)02 engineering and technologyTheoretical Computer ScienceDynamic Bayesian NetworkKnowledge extractionQuality of lifeRule-based reasoningHuman–computer interactionHome automation0202 electrical engineering electronic engineering information engineeringContext awarenesseducationmedia_commonSettore ING-INF/05 - Sistemi Di Elaborazione Delle Informazionieducation.field_of_studyMulti-sensor data fusionbusiness.industryComputer Science (all)Context awarene020206 networking & telecommunicationsRule-based system020201 artificial intelligence & image processingbusinessWireless sensor networkAutonomy
researchProduct

An Ambient Intelligence System for Assisted Living

2017

Nowadays, the population's average age is constantly increasing, and thus the need for specialized home assistance is on the rise. Smart homes especially tailored to meet elderly and disabled people's needs can help them maintaining their autonomy, whilst ensuring their safety and well-being. This paper proposes a complete context-aware system for Ambient Assisted Living (AAL), which infers user's actions and context, analyzing its past and current behavior to detect anomalies and prevent possible emergencies. The proposed system exploits Dynamic Bayesian Networks to merge raw data coming from heterogeneous sensors and infer user's behavior and health conditions. A rule-based reasoner is ab…

QA75ExploitComputer sciencemedia_common.quotation_subjectPopulationAmbient Assisted Living02 engineering and technologyAmbient Assisted Living; Multi-sensor data fusion; Dynamic Bayesian Networks; Context awareness; Rule-based ReasoningDynamic Bayesian NetworkHome automationHuman–computer interaction0202 electrical engineering electronic engineering information engineeringeducationDynamic Bayesian networkmedia_commonSettore ING-INF/05 - Sistemi Di Elaborazione Delle Informazionieducation.field_of_studyAmbient intelligenceMulti-sensor data fusionbusiness.industryRule-based ReasoningContext awarene020206 networking & telecommunicationsSemantic reasoner020201 artificial intelligence & image processingbusinessRaw dataAutonomy
researchProduct

A Deep Learning Approach for Energy Efficient Computational Offloading in Mobile Edge Computing

2019

Mobile edge computing (MEC) has shown tremendous potential as a means for computationally intensive mobile applications by partially or entirely offloading computations to a nearby server to minimize the energy consumption of user equipment (UE). However, the task of selecting an optimal set of components to offload considering the amount of data transfer as well as the latency in communication is a complex problem. In this paper, we propose a novel energy-efficient deep learning based offloading scheme (EEDOS) to train a deep learning based smart decision-making algorithm that selects an optimal set of application components based on remaining energy of UEs, energy consumption by applicati…

QA75General Computer ScienceComputer scienceDistributed computingenergy efficient offloading02 engineering and technologyVDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 42001 natural sciencesuser equipmentComputational offloadingServer0202 electrical engineering electronic engineering information engineeringGeneral Materials ScienceVDP::Teknologi: 500::Informasjons- og kommunikasjonsteknologi: 550Mobile edge computingbusiness.industryDeep learning010401 analytical chemistryGeneral Engineeringdeep learning020206 networking & telecommunicationsEnergy consumption0104 chemical sciencesUser equipmentArtificial intelligencemobile edge computinglcsh:Electrical engineering. Electronics. Nuclear engineeringbusinesslcsh:TK1-9971Efficient energy useIEEE Access
researchProduct

Markerless 2D kinematic analysis of underwater running : A deep learning approach

2018

Kinematic analysis is often performed with a camera system combined with reflective markers placed over bony landmarks. This method is restrictive (and often expensive), and limits the ability to perform analyses outside of the lab. In the present study, we used a markerless deep learning-based method to perform 2D kinematic analysis of deep water running, a task that poses several challenges to image processing methods. A single GoPro camera recorded sagittal plane lower limb motion. A deep neural network was trained using data from 17 individuals, and then used to predict the locations of markers that approximated joint centres. We found that 300–400 labelled images were sufficient to tra…

QA75Motion analysisComputer scienceQP301.H75_Physiology._Sport.0206 medical engineeringBiomedical EngineeringBiophysicsVideo RecordingSTRIDEImage processing02 engineering and technologyKinematicstekoälySports biomechanicsRunning03 medical and health sciencesMotion0302 clinical medicineImmersionImage Processing Computer-AssistedHumansOrthopedics and Sports MedicineComputer visionliikeanalyysita315liikeoppiGV557_SportsArtificial neural networkPixelbusiness.industryDeep learningmotion analysisRehabilitationvesijuoksuReproducibility of Resultsdeep learningdeep water runningartificial intelligence020601 biomedical engineeringBiomechanical PhenomenaLower ExtremitykinematicsArtificial intelligenceNeural Networks Computerbusiness030217 neurology & neurosurgeryJournal of Biomechanics
researchProduct

Gray coding cubic planar maps

2016

International audience; The idea of (combinatorial) Gray codes is to list objects in question in such a way that two successive objects differ in some pre-specified small way. In this paper, we utilize beta-description trees to cyclicly Gray code three classes of cubic planar maps, namely, bicubic planar maps, 3-connected cubic planar maps, and cubic non-separable planar maps. (C) 2015 Elsevier B.V. All rights reserved.

QA75[ INFO ] Computer Science [cs]General Computer SciencePlanar straight-line graph0102 computer and information sciences02 engineering and technologyComputer Science::Computational GeometryCubic non-separable planar map01 natural sciencesTheoretical Computer ScienceGray codeCombinatoricssymbols.namesakePlanarPlanar mapbeta(01)-Tree0202 electrical engineering electronic engineering information engineering[INFO]Computer Science [cs]Gray codeMathematicsDiscrete mathematicsBicubic planar map3-Connected cubic planar mapPlanar graph010201 computation theory & mathematicsDescription treesymbolsBicubic interpolation020201 artificial intelligence & image processingMathematicsofComputing_DISCRETEMATHEMATICS
researchProduct