Search results for "artificial intelligence"

showing 10 items of 6122 documents

Model transformation language MOLA

2005

The paper describes a new graphical model transformation language MOLA. The basic idea of MOLA is to merge traditional structured programming as a control structure with pattern-based transformation rules. The key language element is a graphical loop concept. The main goal of MOLA is to describe model transformations in a natural and easy readable way.

biologyComputer sciencebusiness.industryProgramming languageTransitive closureStructured programmingbiology.organism_classificationcomputer.software_genreTransformation languageMolaArtificial intelligenceGraphical modelbusinesscomputerModel transformation languagecomputer.programming_languageMerge (linguistics)
researchProduct

Athletes as ‘Cultural Architects’: A Qualitative Analysis of Elite Coaches` Perceptions of Highly Influential Soccer Players

2019

The main purpose of this study was to gain a better understanding of highly influential players\ud in elite soccer. Semi-structured interviews were conducted with ten elite coaches to determine\ud their perceptions of the characteristics, emergence and impact of highly influential players.\ud The interview guide was anchored in coaching literature and leadership theory, and after\ud exploring the interview data in this frame, we decided to label these athletes as cultural\ud architects. The results of the analysis revealed three general dimensions of cultural architects\ud in elite teams: a) Personal characteristics, which include elements related to their\ud achievements on the soccer pitc…

biologybusiness.industryAthletesmedia_common.quotation_subject05 social sciencesApplied psychologyMindset030229 sport sciencesbiology.organism_classificationCoaching050105 experimental psychology03 medical and health sciences0302 clinical medicineQualitative analysisFacilitatorPerceptionEliteH1Frame (artificial intelligence)0501 psychology and cognitive sciencesbusinessPsychologyApplied Psychologymedia_common
researchProduct

Consequences of applying new technologies to sources of law (overview)

2020

Technological change has a very significant impact on the functioning of a lawyer. It is not only an advocate, judge, adviser or notary public with a law, but also specialized software in which the law is incorporated. The quality of this software, safety but also the certainty of its correctness is very important for legal certainty and functioning of lawyers. Modern law is not only the text of legal acts or contracts but also IT codes in which the law is incorporated (for example, smart contract). The law is controlled by the courts. The question arises as to who will control the codes in which the law is written. In the EU, only a few countries have recognised this problem when creating …

blockchainsoftware controllaw engineerlaw technologyartificial intelligenceIT codesdigital economy 4.0automatic decision-making processes
researchProduct

Comparison between two different cardiovascular models during a hemorrhagic shock scenario

2020

Hemorrhagic shock is a form of hypovolemic shock determined by rapid and large loss of intravascular blood volume and represents the first cause of death in the world, whether on the battlefield or in civilian traumatology. For this, the ability to prevent hemorrhagic shock remains one of the greatest challenges in the medical and engineering fields. The use of mathematical models of the cardiocirculatory system has improved the capacity, on one hand, to predict the risk of hemorrhagic shock and, on the other, to determine efficient treatment strategies. In this paper, a comparison between two mathematical models that simulate several hemorrhagic scenarios is presented. The models considere…

blood flow simulationComputer science02 engineering and technologyShock HemorrhagichemodynamicsSettore ING-INF/01 - Elettronicahemorrhagic shockBattlefield0502 economics and business0202 electrical engineering electronic engineering information engineeringmedicineQA1-939HumansStructured modelSettore MAT/07 - Fisica MatematicaMathematical modelApplied Mathematics05 social sciencesModels CardiovascularGeneral MedicineComputational MathematicsRisk analysis (engineering)cardiovascular modelModeling and SimulationShock (circulatory)Settore ING-INF/06 - Bioingegneria Elettronica E InformaticaHemorrhagic shockTreatment strategy020201 artificial intelligence & image processingmedicine.symptomhemorrhageGeneral Agricultural and Biological Sciences050203 business & managementTP248.13-248.65MathematicsBiotechnology
researchProduct

Convergence Analysis of Distributed Set-Valued Information Systems

2016

This paper focuses on the convergence of information in distributed systems of agents communicating over a network. The information on which the convergence is sought is not rep- resented by real numbers, as often in the literature, rather by sets. The dynamics of the evolution of information across the net- work is accordingly described by set-valued iterative maps. While the study of convergence of set-valued iterative maps is highly complex in general, this paper focuses on Boolean maps, which are comprised of arbitrary combinations of unions, intersections, and complements of sets. For these important class of systems, we provide tools to study both global and local convergence. A distr…

boolean dynamic systems0209 industrial biotechnologyClass (set theory)Geographic information systemTheoretical computer scienceBinary encoding boolean dynamic systems con- sensus algorithms convergence cooperative systems distributed information systems set-valued dynamic maps.consensus algorithms02 engineering and technologyBoolean algebraSet (abstract data type)symbols.namesakecooperative systems020901 industrial engineering & automationSettore ING-INF/04 - AutomaticaConvergence (routing)0202 electrical engineering electronic engineering information engineeringInformation systemElectrical and Electronic EngineeringMathematicsReal numberconvergencebusiness.industryset-valued dynamic mapsComputer Science Applications1707 Computer Vision and Pattern Recognitiondistributed information systemsComputer Science ApplicationsLocal convergenceControl and Systems EngineeringsymbolsBinary encoding; boolean dynamic systems; consensus algorithms; convergence; cooperative systems; distributed information systems; set-valued dynamic maps; Electrical and Electronic Engineering; Control and Systems Engineering; Computer Science Applications1707 Computer Vision and Pattern RecognitionBinary encoding020201 artificial intelligence & image processingbusinessIEEE Transactions on Automatic Control
researchProduct

Geometry control of the junction between two fractal curves

2012

International audience; The general objective of our work is to create a geometric modeller based on iterative processes. With this objective in mind, we have to provide tools that work with fractal objects in the same manner as with objects of classical topology. In this article we focus on the constructing of an intermediate curve between two other curves defined by different iterative construction processes. A similar problem often arises with subdivision surfaces, when the goal is to connect two surfaces with different subdivision masks. We start by dealing with curves, willing to later generalise our approach to surfaces. We formalise the problem with the Boundary Controlled Iterated F…

business.industry010102 general mathematics[INFO.INFO-GR] Computer Science [cs]/Graphics [cs.GR]Boundary (topology)Geometry[ INFO.INFO-GR ] Computer Science [cs]/Graphics [cs.GR]02 engineering and technology01 natural sciencesComputer Graphics and Computer-Aided DesignIndustrial and Manufacturing Engineering[INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR]Computer Science ApplicationsConnection (mathematics)FractalIterated function system0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingSubdivision surface0101 mathematicsbusinessEigenvalues and eigenvectorsDifferential (mathematics)MathematicsSubdivisionComputingMethodologies_COMPUTERGRAPHICS
researchProduct

Image difference detection under varying illumination based on vector space and correlations

2012

Abstract We propose two methods to detect differences in images independently of local changes of intensity. The methods are based on calculating geometrical operators when images are considered as vectors. Operators can be expressed in terms of correlations for the possibility of optical implementations. The methods are invariant to changes of the form af ( x , y ) +  b , where a and b are arbitrary unknown parameters that may vary over the image f ( x , y ). Computer simulations show that the method works well when the illumination model is satisfied. Results from real images taken with a web camera show the robustness of the method.

business.industry02 engineering and technologyReal image01 natural sciencesAtomic and Molecular Physics and OpticsElectronic Optical and Magnetic Materials010309 opticsOpticsRobustness (computer science)0103 physical sciencesOptical correlator0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingElectrical and Electronic EngineeringInvariant (mathematics)businessAlgorithmMathematicsVector spaceOptik
researchProduct

Learning-based multiresolution transforms with application to image compression

2013

In Harten's framework, multiresolution transforms are defined by predicting finer resolution levels of information from coarser ones using an operator, called prediction operator, and defining details (or wavelet coefficients) that are the difference between the exact and predicted values. In this paper we use tools of statistical learning in order to design a more accurate prediction operator in this framework based on a training sample, resulting in multiresolution decompositions with enhanced sparsity. In the case of images, we incorporate edge detection techniques in the design of the prediction operator in order to avoid Gibbs phenomenon. Numerical tests are presented showing that the …

business.industry020206 networking & telecommunicationsPattern recognition02 engineering and technologySample (graphics)Edge detectionGibbs phenomenonsymbols.namesakeWaveletOperator (computer programming)Control and Systems EngineeringCompression (functional analysis)Statistical learning theorySignal Processing0202 electrical engineering electronic engineering information engineeringsymbols020201 artificial intelligence & image processingComputer Vision and Pattern RecognitionArtificial intelligenceElectrical and Electronic EngineeringbusinessSoftwareImage compressionMathematicsSignal Processing
researchProduct

A LDR image expansion method for displaying on HDR screen

2013

International audience

business.industry020207 software engineering02 engineering and technologyTone mappingImage (mathematics)[INFO.INFO-TI] Computer Science [cs]/Image Processing [eess.IV]Computer graphics (images)[INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV][ INFO.INFO-TI ] Computer Science [cs]/Image Processing0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingComputer visionArtificial intelligencebusinessComputingMilieux_MISCELLANEOUSMathematics
researchProduct

Predicting human performance in interactive tasks by using dynamic models

2017

The selection of an appropriate sequence of activities is an essential task to keep student motivation and foster engagement. Usually, decisions in this respect are made by taking into account the difficulty of the activities, in relation to the student's level of competence. In this paper, we present a dynamic model that aims to predict the average performance of a group of students at solving a given series of maths problems. The system takes into account both student- and task-related features. This model was built and validated by using the data gathered in an experimental session that involved 64 participants solving a sequence of 26 arithmetic problems. The data collected from the fir…

business.industry05 social sciences050301 education02 engineering and technologyMachine learningcomputer.software_genreElectronic mailData modelingCorrelationDynamic models0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingArtificial intelligenceRemainderbusiness0503 educationCompetence (human resources)computer2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC)
researchProduct