Search results for " programmi"

showing 10 items of 1629 documents

The scientific payload on-board the HERMES-TP and HERMES-SP CubeSat missions

2021

HERMES (High Energy Rapid Modular Ensemble of Satellites) Technological and Scientific pathfinder is a space borne mission based on a LEO constellation of nano-satellites. The 3U CubeSat buses host new miniaturized detectors to probe the temporal emission of bright high-energy transients such as Gamma-Ray Bursts (GRBs). Fast transient localization, in a field of view of several steradians and with arcmin-level accuracy, is gained by comparing time delays among the same event detection epochs occurred on at least 3 nano-satellites. With a launch date in 2022, HERMES transient monitoring represents a keystone capability to complement the next generation of gravitational wave experiments. In t…

Computer scienceAstrophysics::High Energy Astrophysical PhenomenaFOS: Physical sciencesField of viewAstrophysics01 natural sciencesAstrophysics - Instrumentation and MethodsSettore FIS/05 - Astronomia E Astrofisica0103 physical sciencesCubeSatTransient (computer programming)Aerospace engineeringInstrumentation and Methods for Astrophysics (astro-ph.IM)010303 astronomy & astrophysicsConstellationHigh Energy Astrophysical Phenomena (astro-ph.HE)010308 nuclear & particles physicsbusiness.industryGravitational wavePayloadAstrophysics::Instrumentation and Methods for AstrophysicsSteradianSatelliteAstrophysics - Instrumentation and Methods for AstrophysicsbusinessAstrophysics - High Energy Astrophysical PhenomenaSpace Telescopes and Instrumentation 2020: Ultraviolet to Gamma Ray
researchProduct

Unmanned Aerial Vehicle-Based Non Destructive Diagnostics

2018

The paper proposes a cloud platform for analyzing the radiometric infrared videos uploaded by drones which patrol large photovoltaic plants. Thanks to artificial vision algorithms, it does not require any human support to select and associate the framed PV modules to the corresponding ones in the topology of the photovoltaic plant. The algorithm implements an innovative diagnostic protocol, which evaluates the thermal state of the photovoltaic module, whichever the environmental conditions are. The data automatically computed and collected in a multimedia database provide the O&M technicians with significant information to monitor the ageing of each module of the photovoltaic plant. The pro…

Computer scienceComputer Networks and CommunicationsMultimedia databaseReal-time computingEnergy Engineering and Power TechnologyCloud computingPV modulesdigital image processingIndustrial and Manufacturing EngineeringUploadSoftwareComputer aided diagnostics; digital image processing; drone based monitoring; PV cells; PV modules; thermography; Artificial Intelligence; Computer Networks and Communications; Computer Science Applications1707 Computer Vision and Pattern Recognition; Energy Engineering and Power Technology; Renewable Energy Sustainability and the Environment; Industrial and Manufacturing Engineering; InstrumentationPV moduleArtificial IntelligenceComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMSInstrumentation (computer programming)Renewable EnergyProtocol (object-oriented programming)InstrumentationSustainability and the Environmentbusiness.industryPV cellsRenewable Energy Sustainability and the EnvironmentPV cellPhotovoltaic systemComputer Science Applications1707 Computer Vision and Pattern RecognitionDronedrone based monitoringthermographySettore ING-IND/31 - ElettrotecnicaComputer Networks and CommunicationComputer aided diagnosticsbusinesscomputer aided diagnostic
researchProduct

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