Search results for "abstract"

showing 10 items of 1959 documents

Concurrent Computing with Shared Replicated Memory

2019

Any concurrent system can be captured by a concurrent Abstract State Machine (cASM). This remains valid, if different agents can only interact via messages. It even permits a strict separation between memory managing agents and other agents that can only access the shared memory by sending query and update requests. This paper is dedicated to an investigation of replicated data that is maintained by a memory management subsystem, where the replication neither appears in the requests nor in the corresponding answers. We specify the behaviour of a concurrent system with such memory management using concurrent communicating ASMs (ccASMs), provide several refinements addressing different replic…

Computer scienceDistributed computing020207 software engineering0102 computer and information sciences02 engineering and technology01 natural sciencesReplication (computing)Consistency (database systems)Memory managementShared memory010201 computation theory & mathematics0202 electrical engineering electronic engineering information engineeringAbstract state machinesConcurrent computingVDP::Teknologi: 500::Informasjons- og kommunikasjonsteknologi: 550
researchProduct

ViziQuer: A Visual Notation for RDF Data Analysis Queries

2019

Visual SPARQL query notations aim at easing the RDF data querying task. At the current state of the art there is still no generally accepted visual graph-based notation suitable to describe RDF data analysis queries that involve aggregation and subqueries. In this paper we present a visual diagram-centered notation for SPARQL select query formulation, capable to handle aggregate/statistics queries and hierarchic queries with subquery structure. The notation is supported by a web-based prototype tool. We present the notation examples, describe its syntax and semantics and describe studies with possible end users, involving both IT and medicine students.

Computer scienceEnd userProgramming languageInformationSystems_INFORMATIONSTORAGEANDRETRIEVAL010401 analytical chemistry05 social sciencesQuery formulationInformationSystems_DATABASEMANAGEMENTcomputer.file_formatNotationcomputer.software_genre01 natural sciences0104 chemical sciencesSPARQLGraph (abstract data type)0501 psychology and cognitive sciencesVisual notationRDFcomputer050107 human factors
researchProduct

Spreading of Competing Information in a Network

2020

We propose a simple approach to investigate the spreading of news in a network. In more detail, we consider two different versions of a single type of information, one of which is close to the essence of the information (and we call it good news), and another of which is somehow modified from some biased agent of the system (fake news, in our language). Good and fake news move around some agents, getting the original information and returning their own version of it to other agents of the network. Our main interest is to deduce the dynamics for such spreading, and to analyze if and under which conditions good news wins against fake news. The methodology is based on the use of ladder fermion…

Computer scienceGeneral Physics and Astronomylcsh:Astrophysics01 natural sciencesArticle010305 fluids & plasmas37M05Simple (abstract algebra)0103 physical scienceslcsh:QB460-466operatorial modelsStatistical dispersionStatistical physics010306 general physicslcsh:ScienceSettore MAT/07 - Fisica Matematica(<i>H</i><i>ρ</i>)-induced dynamicsSingle type37N20lcsh:QC1-99947L90spreading of newslcsh:QFake news(H ρ)-induced dynamicslcsh:Physics(Hρ)-induced dynamicsEntropy
researchProduct

Deep Learning-Based Methods for Prostate Segmentation in Magnetic Resonance Imaging

2021

Magnetic Resonance Imaging-based prostate segmentation is an essential task for adaptive radiotherapy and for radiomics studies whose purpose is to identify associations between imaging features and patient outcomes. Because manual delineation is a time-consuming task, we present three deep-learning (DL) approaches, namely UNet, efficient neural network (ENet), and efficient residual factorized convNet (ERFNet), whose aim is to tackle the fully-automated, real-time, and 3D delineation process of the prostate gland on T2-weighted MRI. While UNet is used in many biomedical image delineation applications, ENet and ERFNet are mainly applied in self-driving cars to compensate for limited hardwar…

Computer scienceGraphics processing unit02 engineering and technologyResiduallcsh:TechnologyArticle030218 nuclear medicine & medical imaginglcsh:Chemistrydeep learning; segmentation; prostate; MRI; ENet; UNet; ERFNet; radiomicsSet (abstract data type)03 medical and health sciences0302 clinical medicineENetERFNet0202 electrical engineering electronic engineering information engineeringGeneral Materials ScienceSegmentationlcsh:QH301-705.5InstrumentationSettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniFluid Flow and Transfer ProcessesprostateArtificial neural networklcsh:Tbusiness.industryProcess Chemistry and TechnologyDeep learningsegmentationGeneral EngineeringProcess (computing)deep learningUNetPattern recognitionlcsh:QC1-999Computer Science Applicationslcsh:Biology (General)lcsh:QD1-999lcsh:TA1-2040radiomics020201 artificial intelligence & image processingArtificial intelligenceCentral processing unitlcsh:Engineering (General). Civil engineering (General)businesslcsh:PhysicsMRIApplied Sciences
researchProduct

Group Nonnegative Matrix Factorization with Sparse Regularization in Multi-set Data

2021

Constrained joint analysis of data from multiple sources has received widespread attention for that it allows us to explore potential connections and extract meaningful hidden components. In this paper, we formulate a flexible joint source separation model termed as group nonnegative matrix factorization with sparse regularization (GNMF-SR), which aims to jointly analyze the partially coupled multi-set data. In the GNMF-SR model, common and individual patterns of particular underlying factors can be extracted simultaneously with imposing nonnegative constraint and sparse penalty. Alternating optimization and alternating direction method of multipliers (ADMM) are combined to solve the GNMF-S…

Computer scienceGroup (mathematics)020206 networking & telecommunications02 engineering and technologySparse approximationNon-negative matrix factorizationSet (abstract data type)Constraint (information theory)Computer Science::Computer Vision and Pattern Recognition0202 electrical engineering electronic engineering information engineeringSource separation020201 artificial intelligence & image processingJoint (audio engineering)Sparse regularizationAlgorithm2020 28th European Signal Processing Conference (EUSIPCO)
researchProduct

Conventional and fuzzy comparisons of large scale land cover products: Application to CORINE, GLC2000, MODIS and GlobCover in Europe

2012

One of the major drawbacks of land cover products is the lack of interoperability among them. Since their development was driven by different national or international initiatives, they were developed for different purposes and hold diverse technical characteristics. Thus, comparison among products and quality monitoring is necessary in assessing their usefulness. This paper provides a methodology to compare global land cover maps that allows for differences in legend definitions among products. Two different approaches were considered for map comparison, a Boolean approach and a new methodology based on fuzzy set theory in which the Land Cover Classification System (LCCS) acted as a genera…

Computer scienceInteroperabilityFuzzy setLand covercomputer.software_genreFuzzy logicAtomic and Molecular Physics and OpticsComputer Science ApplicationsSet (abstract data type)Consistency (database systems)Identification (information)Data miningComputers in Earth SciencesScale (map)Engineering (miscellaneous)computerISPRS Journal of Photogrammetry and Remote Sensing
researchProduct

Distributed Particle Metropolis-Hastings Schemes

2018

We introduce a Particle Metropolis-Hastings algorithm driven by several parallel particle filters. The communication with the central node requires the transmission of only a set of weighted samples, one per filter. Furthermore, the marginal version of the previous scheme, called Distributed Particle Marginal Metropolis-Hastings (DPMMH) method, is also presented. DPMMH can be used for making inference on both a dynamical and static variable of interest. The ergodicity is guaranteed, and numerical simulations show the advantages of the novel schemes.

Computer scienceMonte Carlo methodErgodicity020206 networking & telecommunications02 engineering and technologyFilter (signal processing)Bayesian inferenceStatistics::ComputationSet (abstract data type)Metropolis–Hastings algorithm[INFO.INFO-TS]Computer Science [cs]/Signal and Image ProcessingTransmission (telecommunications)0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingParticle filter[SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processingAlgorithmComputingMilieux_MISCELLANEOUS2018 IEEE Statistical Signal Processing Workshop (SSP)
researchProduct

Structured Output SVM for Remote Sensing Image Classification

2011

Traditional kernel classifiers assume independence among the classification outputs. As a consequence, each misclassification receives the same weight in the loss function. Moreover, the kernel function only takes into account the similarity between input values and ignores possible relationships between the classes to be predicted. These assumptions are not consistent for most of real-life problems. In the particular case of remote sensing data, this is not a good assumption either. Segmentation of images acquired by airborne or satellite sensors is a very active field of research in which one tries to classify a pixel into a predefined set of classes of interest (e.g. water, grass, trees,…

Computer scienceMultispectral imageTheoretical Computer ScienceSet (abstract data type)Kernel (linear algebra)One-class classificationRemote sensingSupport vector machinesStructured support vector machinePixelContextual image classificationbusiness.industryKernel methodsPattern recognitionLand use classificationSupport vector machineTree (data structure)Kernel methodHardware and ArchitectureControl and Systems EngineeringModeling and SimulationKernel (statistics)Radial basis function kernelSignal ProcessingStructured output learningArtificial intelligenceTree kernelStructured output learning; Support vector machines; Kernel methods; Land use classificationbusinessInformation SystemsJournal of Signal Processing Systems
researchProduct

Decentralized Subspace Projection for Asymmetric Sensor Networks

2020

A large number of applications in Wireless Sensor Networks include projecting a vector of noisy observations onto a subspace dictated by prior information about the field being monitored. In general, accomplishing such a task in a centralized fashion, entails a large power consumption, congestion at certain nodes and suffers from robustness issues against possible node failures. Computing such projections in a decentralized fashion is an alternative solution that solves these issues. Recent works have shown that this task can be done via the so-called graph filters where only local inter-node communication is performed in a distributed manner using a graph shift operator. Most of the existi…

Computer scienceNode (networking)020206 networking & telecommunications010103 numerical & computational mathematics02 engineering and technologySolverTopologyNetwork topology01 natural sciencesGraphRobustness (computer science)Convex optimization0202 electrical engineering electronic engineering information engineeringGraph (abstract data type)0101 mathematicsProjection (set theory)Wireless sensor networkSubspace topology2020 IEEE 92nd Vehicular Technology Conference (VTC2020-Fall)
researchProduct

Open Set Audio Classification Using Autoencoders Trained on Few Data.

2020

Open-set recognition (OSR) is a challenging machine learning problem that appears when classifiers are faced with test instances from classes not seen during training. It can be summarized as the problem of correctly identifying instances from a known class (seen during training) while rejecting any unknown or unwanted samples (those belonging to unseen classes). Another problem arising in practical scenarios is few-shot learning (FSL), which appears when there is no availability of a large number of positive samples for training a recognition system. Taking these two limitations into account, a new dataset for OSR and FSL for audio data was recently released to promote research on solution…

Computer scienceOpen set02 engineering and technologylcsh:Chemical technologyMachine learningcomputer.software_genreBiochemistryArticleAnalytical ChemistrySet (abstract data type)open set recognition020204 information systemsaudio classificationautoencoders0202 electrical engineering electronic engineering information engineeringFeature (machine learning)lcsh:TP1-1185few-shot learningElectrical and Electronic EngineeringRepresentation (mathematics)Instrumentationbusiness.industryopen set classificationPerceptronClass (biology)AutoencoderAtomic and Molecular Physics and OpticsEmbedding020201 artificial intelligence & image processingArtificial intelligenceTransfer of learningbusinesscomputerSensors (Basel, Switzerland)
researchProduct