Search results for "computer.software_genre"

showing 10 items of 3858 documents

Comparing data mining and deterministic pedology to assess the frequency of WRB reference soil groups in the legend of small scale maps

2015

Abstract The assessment of class frequency in soil map legends is affected by uncertainty, especially at small scales where generalization is greater. The aim of this study was to test the hypothesis that data mining techniques provide better estimation of class frequency than traditional deterministic pedology in a national soil map. In the 1:5,000,000 map of Italian soil regions, the soil classes are the WRB reference soil groups (RSGs). Different data mining techniques, namely neural networks, random forests, boosted tree, classification and regression tree, and supported vector machine (SVM), were tested and the last one gave the best RSG predictions using selected auxiliary variables a…

Soil mapGeomaticBayesian probabilitySoil ScienceSoil classificationLearning machinecomputer.software_genreSoil typeRandom forestSupport vector machineItalySettore AGR/14 - PedologiaSoil classificationStatisticsPedologyData miningBayesian predictivityScale (map)computerMathematics
researchProduct

Sound and reusable components for abstract interpretation

2019

Abstract interpretation is a methodology for defining sound static analysis. Yet, building sound static analyses for modern programming languages is difficult, because these static analyses need to combine sophisticated abstractions for values, environments, stores, etc. However, static analyses often tightly couple these abstractions in the implementation, which not only complicates the implementation, but also makes it hard to decide which parts of the analyses can be proven sound independently from each other. Furthermore, this coupling makes it hard to combine soundness lemmas for parts of the analysis to a soundness proof of the complete analysis. To solve this problem, we propose to c…

SoundnessComputer scienceProgramming language020207 software engineering02 engineering and technologyStatic analysisReaching definitionReusecomputer.software_genreAbstract interpretation020204 information systems0202 electrical engineering electronic engineering information engineeringArrowHaskellSafety Risk Reliability and QualitycomputerSoftwarecomputer.programming_languageTransformer (machine learning model)Proceedings of the ACM on Programming Languages
researchProduct

Advanced functionality for radio analysis in the Offline software framework of the Pierre Auger Observatory

2011

The advent of the Auger Engineering Radio Array (AERA) necessitates the development of a powerful framework for the analysis of radio measurements of cosmic ray air showers. As AERA performs ‘‘radio- hybrid’’ measurements of air shower radio emission in coincidence with the surface particle detectors and fluorescence telescopes of the Pierre Auger Observatory, the radio analysis functionality had to be incorporated in the existing hybrid analysis solutions for fluorescence and surface detector data. This goal has been achieved in a natural way by extending the existing Auger Offline software framework with radio functionality. In this article, we lay out the design, highlights and features …

Source codeAstronomycomputer.software_genre01 natural sciencesObservatoryAuger experimentRadio detectionSOFTWARES (ANÁLISE)Instrumentationcosmic rays; radio detection; analysis software; detector simulationmedia_commonPhysicsPhysicsDetectoranalysis softwareAstrophysics::Instrumentation and Methods for AstrophysicsComputingMethodologies_DOCUMENTANDTEXTPROCESSINGFísica nuclearAstrophysics - Instrumentation and Methods for AstrophysicsComputer hardwareNuclear and High Energy Physics[PHYS.ASTR.IM]Physics [physics]/Astrophysics [astro-ph]/Instrumentation and Methods for Astrophysic [astro-ph.IM]media_common.quotation_subjectAstrophysics::High Energy Astrophysical PhenomenaFOS: Physical sciencesAnalysis softwareDetector simulationCosmic rayAstrophysics::Cosmology and Extragalactic AstrophysicsCosmic Rayradio detectionNuclear physicscosmic raysRAY AIR-SHOWERS0103 physical sciencesDETECTORSInstrumentation (computer programming)010306 general physicsInstrumentation and Methods for Astrophysics (astro-ph.IM)Cosmic raysCiencias ExactasNuclear and High Energy PhysicPierre Auger Observatory010308 nuclear & particles physicsbusiness.industrydetector simulationFísicaCosmic ray[SDU.ASTR.IM]Sciences of the Universe [physics]/Astrophysics [astro-ph]/Instrumentation and Methods for Astrophysic [astro-ph.IM]Software frameworkAir showerExperimental High Energy PhysicsEMISSIONbusinesscomputerMONTE-CARLO SIMULATIONS
researchProduct

Exploratory Analysis of the Relations between Code Cloning and Open Source Software Quality

2010

In recent literature there is still a lack of understanding how the reuse and cloning of software affects its quality. The focus of this study is to analyze the relationships between source code cloning and software quality for the case of open source software project forks (SPFs) as a kind of software reuse. In total 117 releases related to three generations of eight eMule SPFs were scrutinized. Software quality was measured in terms of internal quality attributes. The tools CCFinderX and SoftCalc were used to measure code cloning metrics and internal quality attributes, respectively. In total 8 code cloning metrics and 71 internal quality attributes were analyzed. The quantitative relatio…

Source codeCloning (programming)DatabaseComputer sciencebusiness.industrymedia_common.quotation_subjectReusecomputer.software_genrePearson product-moment correlation coefficientSoftware qualitySoftware metricsymbols.namesakeSoftwaresymbolsQuality (business)Software engineeringbusinesscomputermedia_common2010 Seventh International Conference on the Quality of Information and Communications Technology
researchProduct

Compiler Driven Automatic Kernel Context Migration for Heterogeneous Computing

2014

Computer systems provide different heterogeneous resources (e.g., GPUs, DSPs and FPGAs) that accelerate applications and that can reduce the energy consumption by using them. Usually, these resources have an isolated memory and a require target specific code to be written. There exist tools that can automatically generate target specific codes for program parts, so-called kernels. The data objects required for a target kernel execution need to be moved to the target resource memory. It is the programmers' responsibility to serialize these data objects used in the kernel and to copy them to or from the resource's memory. Typically, the programmer writes his own serializing function or uses e…

Source codeProgramming languageComputer sciencemedia_common.quotation_subjectSerializationSymmetric multiprocessor systemcomputer.software_genreData structureKernel preemptionKernel (image processing)Operating systemCompilerProgrammercomputermedia_common2014 IEEE 34th International Conference on Distributed Computing Systems
researchProduct

FINDUS: An Open-Source 3D Printable Liquid-Handling Workstation for Laboratory Automation in Life Sciences

2020

3D-printed laboratory devices can enable ambitious research purposes even at a low-budget level. To follow this trend, here we describe the construction, calibration, and usage of the FINDUS (Fully Integrable Noncommercial Dispensing Utility System). We report the successful 3D printing and assembly of a liquid-handling workstation for less than $400. Using this setup, we achieve reliable and flexible liquid-dispensing automation with relative pipetting errors of less than 0.3%. We show our system is well suited for several showcase applications from both the biology and chemistry fields. In support of the open-source spirit, we make all 3D models, assembly instructions, and source code ava…

Source codeWorkstationComputer sciencemedia_common.quotation_subject3D printingcomputer.software_genre01 natural sciencesBiological Science DisciplinesCathepsin Blaw.invention03 medical and health scienceslawArduinoHumansSolid-Phase Synthesis Techniques030304 developmental biologymedia_commoncomputer.programming_languageAutomation Laboratory0303 health sciences010405 organic chemistrybusiness.industryPython (programming language)Automation0104 chemical sciencesComputer Science ApplicationsMedical Laboratory TechnologyOpen sourceCalibrationPrinting Three-DimensionalLaboratory automationOperating systemPeptidesbusinesscomputerSoftwareSLAS Technology
researchProduct

Increasing GP Computing Power for Free via Desktop GRID Computing and Virtualization

2009

This paper presents how it is possible to increase the Genetic Programming (GP) Computing Power (CP) for free, via Volunteer Computing (VC), using the well known framework BOINC plus a new ``virtualization'' layer which adds all the benefits from the virtualization paradigm. Two different experiments, employing a standard GP tool and a complex GP system, are performed --with distributed PCs over several cities-- to show the free achieved CP by means of VC, without the necessity of modifying or adapting the original GP source code. The methodology can be easily extended to Evolutionary Algorithms (EAs).

Source codebusiness.industryComputer sciencemedia_common.quotation_subjectEvolutionary algorithmGenetic programmingcomputer.software_genreVirtualizationMultiplexingSoftwareGrid computingMiddleware (distributed applications)Operating systembusinesscomputermedia_common2009 17th Euromicro International Conference on Parallel, Distributed and Network-based Processing
researchProduct

Gesture Recognition for Improved User Experience in a Smart Environment

2013

Ambient Intelligence (AmI) is a new paradigm that specifically aims at exploiting sensory and context information in order to adapt the environment to the user's preferences; one of its key features is the attempt to consider common devices as an integral part of the system in order to support users in carrying out their everyday life activities without affecting their normal behavior. Our proposal consists in the definition of a gesture recognition module allowing users to interact as naturally as possible with the actuators available in a smart office, by controlling their operation mode and by querying them about their current state. To this end, readings obtained from a state-of-the-art…

Source dataAmbient intelligenceAmbient Intelligencebusiness.industryComputer scienceGesture RecognitionProbabilistic logicUsabilityMachine learningcomputer.software_genreSupport vector machineGesture recognitionArtificial intelligencebusinessClassifier (UML)computerGesture
researchProduct

TIME : A Translator Compiler for CIS

2002

To build a Cooperative Information System, a first step is to collect schemas of each local database. All the schemas exported from databases are translated and integrated into a cooperative schema, which is used by the final user to query the cooperation “transparently”. In this article, we focus on the definition of tools that are used to build and manage cooperative information systems. These tools enable the automatic or semi-automatic generation of specific translators. The first step of our methodology is a knowledge acquisition step that allows for the data model description of each local database. The second step is to compare all these descriptions in order to organize the correspo…

Source dataDatabaseComputer scienceProgramming languageSchema (psychology)InteroperabilityInformation systemCompilercomputer.software_genrecomputerKnowledge acquisitionMetamodeling
researchProduct

VIRES: A distributed open architecture for pictorial database

2006

In this paper we describe VIRES (Visual Information Retrieval Extendible System) an open distributed pictorial database for image retrieval. The retrieval methods, pictorial indexing and data are distributed over the network. VIRES has been designed as an open architecture. The system is based on the concept of distributed model via dictionary in order to reach a good versatility without changing the kernel of VIRES.

Space technologyInformation retrievalSettore INF/01 - InformaticaDistributed databaseDatabaseComputer scienceSearch engine indexingFeature extractioncomputer.software_genreDatabase indexKernel (image processing)Control and Systems EngineeringHardware and ArchitectureElectrical and Electronic EngineeringOpen architecturecomputerImage retrieval2003 IEEE International Workshop on Computer Architectures for Machine Perception
researchProduct