Search results for " Programming"

showing 10 items of 1616 documents

A Linguistic Model in Component Oriented Programming

2016

Abstract It is a fact that the component-oriented programming, well organized, can bring a large increase in efficiency in the development of large software systems. This paper proposes a model for building software systems by assembling components that can operate independently of each other. The model is based on a computing environment that runs parallel and distributed applications. This paper introduces concepts as: abstract aggregation scheme and aggregation application. Basically, an aggregation application is an application that is obtained by combining corresponding components. In our model an aggregation application is a word in a language.

Computer scienceFunctional logic programmingbusiness.industryProgramming languageGeneral Medicinecomputer.software_genreInductive programmingProcedural programmingProgramming paradigmReactive programmingArtificial intelligenceProgramming domainFirst-generation programming languagebusinesscomputerFunctional reactive programmingNatural language processingACTA Universitatis Cibiniensis
researchProduct

Contextualized project-based learning for training chemical engineers in graphic expression

2021

Abstract This paper describes the planning of a computer-aided design (CAD) laboratory for training chemical engineers in graphic expression. The CAD laboratory was organised into four projects following a project-based learning method. Flipped classroom and contextualised learning were used to motivate the students and promote meaningful learning. The laboratory mainly focused on engaging the students by replicating 2D and 3D plans of common industrial engineering equipment and piping and instrumentation diagrams of industrial facilities. Two surveys carried out before and after the course showed that the student’s perception of their graphic expression skills significantly increased. Gend…

Computer scienceGeneral Chemical Engineeringmedia_common.quotation_subject05 social sciences050301 educationCAD02 engineering and technologyProject-based learningFlipped classroomEducationLikert scale020401 chemical engineeringMeaningful learningExpression (architecture)PerceptionMathematics educationInstrumentation (computer programming)0204 chemical engineering0503 educationmedia_commonEducation for Chemical Engineers
researchProduct

Semi-automated evaluation tool for retinal vasculopathy.

2009

The ocular fundus is the only area of human body where vascular system is visible using relatively simple instrumentation. Furthermore, there is medical suggestive evidence of a direct relationship between certain measures of vascular characteristics in the ocular fundus (arteriolar and venular calibers and focal arteriolar narrowing) and cardiovascular diseases. In order to establish such relationship on sound statistical basis a method must be provided to measure the needed values in an easy, yet precise and repeatable way. This paper presents a system to assist physicians in signaling and storing the data associated to signs of vascular deterioration and vascular calibers in non-mydriati…

Computer scienceHealth InformaticsFundus (eye)Sensitivity and SpecificityPattern Recognition AutomatedUser-Computer InterfaceRetinal DiseasesArtificial IntelligenceImage Interpretation Computer-AssistedmedicinePhotographyHumansComputer visionInstrumentation (computer programming)Vascular DiseasesRetinoscopymedicine.diagnostic_testbusiness.industryPhotographyReproducibility of ResultsRetinal Vesselseye diseasesComputer Science ApplicationsRetinal vasculopathyArtificial intelligencebusinessAlgorithmsSoftwareRetinoscopyComputer methods and programs in biomedicine
researchProduct

Intertwining operators between different Hilbert spaces: connection with frames

2009

In this paper we generalize a strategy recently proposed by the author concerning intertwining operators. In particular we discuss the possibility of extending our previous results in such a way to construct (almost) isospectral self-adjoint operators living in different Hilbert spaces. Many examples are discussed in details. Many of them arise from the theory of frames in Hilbert spaces, others from the so-called g-frames.

Computer scienceHilbert spaceFOS: Physical sciencesStatistical and Nonlinear PhysicsMathematical Physics (math-ph)Operator theoryConnection (mathematics)Mathematical OperatorsAlgebrasymbols.namesakeIntertwining operatorsIsospectralOperator (computer programming)Linear algebrasymbolsMathematics::Metric GeometryFrameSettore MAT/07 - Fisica MatematicaEigenvalues and eigenvectorsMathematical Physics
researchProduct

WSN Design and Verification Using On-Board Executable Specifications

2019

The gap between informal functional specifications and the resulting implementation in the chosen programming language is notably a source of errors in embedded systems design. In this paper, we discuss a methodology and a software platform aimed at coping with this issue in programming resource-constrained wireless sensor network nodes (WSNs). Whereas the typical development model for the WSNs is based on cross compilation, the proposed approach supports high-level symbolic coding of abstract models and distributed applications, as well as their test and their execution, directly on the target hardware. As a working example, we discuss the application of our methodology to specify the func…

Computer scienceInformation System02 engineering and technologywireless sensor networkSoftware0202 electrical engineering electronic engineering information engineeringElectrical and Electronic EngineeringEmbedded systemsymbolic programmingSettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniFunctional specificationbusiness.industry020208 electrical & electronic engineeringRuntime verificationresource-constrained deviceComputer Science Applications1707 Computer Vision and Pattern Recognitioncomputer.file_formatsystem specificationComputer Science ApplicationsControl and Systems EngineeringEmbedded systemsystem programmingExecutablebusinesscomputerInformation SystemsIEEE Transactions on Industrial Informatics
researchProduct

Bag-of-word based brand recognition using Markov Clustering Algorithm for codebook generation

2015

International audience; In order to address the issue of counterfeiting online, it is necessary to use automatic tools that analyze the large amount of information available over the Internet. Analysis methods that extract information about the content of the images are very promising for this purpose. In this paper, a method that automatically extract the brand of objects in images is proposed. The method does not explicitly search for text or logos. This information is implicitly included in the Bag-of-Words representation. In the Bag-of-Words paradigm, visual features are clustered to create the visual words. Despite its shortcomings, k-means is the most widely used algorithm. With k-mea…

Computer scienceInitialization02 engineering and technologyMachine learningcomputer.software_genre[ INFO.INFO-CV ] Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV][INFO.INFO-CV] Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]0502 economics and business0202 electrical engineering electronic engineering information engineeringVisual WordCluster analysisRepresentation (mathematics)Markov chainbusiness.industry05 social sciencesCodebook[INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]Pattern recognitionIdentity (object-oriented programming)050211 marketing020201 artificial intelligence & image processingArtificial intelligencebusinessAlgorithmcomputerWord (computer architecture)
researchProduct

Off-line Programming and simulation for automatic robot control software generation

2007

In this paper an off-line programming approach for welding robots is presented. The approach is based on the integration of a software tool for robot simulation and an user-friendly interface for automatic generation of the control program. The user can graphically arrange the components in a robotic work-cell and simulate the movements and operations of robotic arms before converting motions and operating sequences in controller-specific tasks. This methodology guarantees high level of flexibility of the robotic system when high variety of work-pieces needs to be welded. The approach has been implemented and tested in a real welding work-cell.

Computer scienceInterface (computing)ComputerApplications_COMPUTERSINOTHERSYSTEMSControl engineeringWeldingComputer simulationControl system analysisRobot applicationsRobotic armsSettore ING-IND/35 - Ingegneria Economico-GestionaleRobot controllaw.inventionRobot weldinglawRobotUser interfaceAutomatic programmingRobotic armSettore ING-IND/16 - Tecnologie E Sistemi Di LavorazioneSimulation
researchProduct

The Implications of Fuzzy Logic in Qualitative Mathematical Modeling of Some Key Aspects Related to the Sustainability Issues around “Roşia Montană P…

2013

Abstract This paper aims to address in terms of fuzzy logic the qualitative mathematical modeling of some key aspects that implies ensuring of sustainability within “Rosia Montana mining Project”, both from the business itself perspective, as well as from the community and ecological ones. The proposed fuzzy methodology is also very useful and can be successfully applied for any company that evolves in uncertainty and ambiguity conditions and within which the decisional factor reasoning is subjective, due to itself abstract thinking of human being in this kind of situations, which often manifests itself through qualitative linguistic values. In this context, the development of a fuzzy metho…

Computer scienceManagement sciencemedia_common.quotation_subjectPerspective (graphical)General EngineeringEnergy Engineering and Power TechnologyContext (language use)Ambiguitymulticriteria decision.sustainabilityFuzzy logicFactor (programming language)SustainabilityKey (cryptography)fuzzy logiccomputerJava Programming Languagecomputer.programming_languagemedia_commonProcedia Economics and Finance
researchProduct

Optimised assembly mode reconfiguration of the 5-DOF Gantry-Tau using mixed-integer programming

2010

Pulished version of an article in the journal: Meccanica. Also available from the publisher at: http://dx.doi.org/10.1007/s11012-010-9404-y This paper presents a systematic approach based on Mixed Integer Linear Programming for finding an optimal singularity-free reconfiguration path of the 5-DOF Gantry-Tau parallel kinematic machine. The results in the paper demonstrate that singularity-free reconfiguration (change of assembly mode) of the machine is possible, which significantly increases the usable workspace. The method has been applied to a full-scale prototype and the singularity-free path has been verified both in simulations and with physical experiments using real-time control of th…

Computer scienceMechanical Engineeringparallell kinematic machine sigularity avoidance assembly mode reconfigurationVDP::Technology: 500::Mechanical engineering: 570::Machine construction and engineering technology: 571Mode (statistics)Control reconfigurationKinematicsWorkspaceCondensed Matter PhysicsUSableMechanics of MaterialsControl theoryLaser trackerPath (graph theory)Integer programming
researchProduct

CovSel

2018

Ensemble methods combine the predictions of a set of models to reach a better prediction quality compared to a single model's prediction. The ensemble process consists of three steps: 1) the generation phase where the models are created, 2) the selection phase where a set of possible ensembles is composed and one is selected by a selection method, 3) the fusion phase where the individual models' predictions of the selected ensemble are combined to an ensemble's estimate. This paper proposes CovSel, a selection approach for regression problems that ranks ensembles based on the coverage of adequately estimated training points and selects the ensemble with the highest coverage to be used in th…

Computer scienceProcess (computing)Phase (waves)Genetic programming02 engineering and technology01 natural sciencesEnsemble learningSet (abstract data type)010104 statistics & probability0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingPoint (geometry)0101 mathematicsSymbolic regressionAlgorithmSelection (genetic algorithm)Proceedings of the Genetic and Evolutionary Computation Conference
researchProduct