Search results for "tomate"

showing 10 items of 261 documents

Automated Synthesis of Application-layer Connectors from Automata-based Specifications

2019

Abstract Ubiquitous and Pervasive Computing, and the Internet of Things, promote dynamic interaction among heterogeneous systems. To achieve this vision, interoperability among heterogeneous systems represents a key enabler, and mediators are often built to solve protocol mismatches. Many approaches propose the synthesis of mediators. Unfortunately, a rigorous characterization of the concept of interoperability is still lacking, hence making hard to assess their applicability and soundness. In this paper, we provide a framework for the synthesis of mediators that allows us to: (i) characterize the conditions for the mediator existence and correctness; and (ii) establish the applicability bo…

CorrectnessUbiquitous computingGeneral Computer ScienceComputer Networks and CommunicationsComputer scienceDistributed computingInteroperability0102 computer and information sciences02 engineering and technology01 natural sciencesHeterogeneous ApplicationsTheoretical Computer Science020204 information systems0202 electrical engineering electronic engineering information engineeringProtocol MismatchesCommunication & CoordinationProtocol (object-oriented programming)Automated Mediator SynthesisSoundnessApplied MathematicsAutomated Mediator Synthesis Interoperability Protocols Heterogeneous Applications Communication & Coordination Protocol MismatchesInteroperabilityApplication layerAutomatonComputational Theory and Mathematics010201 computation theory & mathematicsKey (cryptography)Protocols
researchProduct

Measuring Spatiotemporal Dependencies in Bivariate Temporal Random Sets with Applications to Cell Biology

2008

Analyzing spatiotemporal dependencies between different types of events is highly relevant to many biological phenomena (e.g., signaling and trafficking), especially as advances in probes and microscopy have facilitated the imaging of dynamic processes in living cells. For many types of events, the segmented areas can overlap spatially and temporally, forming random clumps. In this paper, we model the binary image sequences of two different event types as a realization of a bivariate temporal random set and propose a nonparametric approach to quantify spatial and spatiotemporal interrelations using the pair correlation, cross-covariance, and the Ripley K functions. Based on these summary st…

Covariance functionModels BiologicalSensitivity and SpecificityPattern Recognition Automated03 medical and health sciences0302 clinical medicineArtificial IntelligenceImage Interpretation Computer-AssistedCells CulturedIndependence (probability theory)030304 developmental biologyMathematics0303 health sciencesModels Statisticalbusiness.industryStochastic processApplied MathematicsNonparametric statisticsReproducibility of ResultsEstimatorImage EnhancementEndocytosisTemporal databaseMicroscopy FluorescenceComputational Theory and Mathematics[SDV.NEU]Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC]Computer Vision and Pattern RecognitionArtificial intelligenceCross-covariancebusinessAlgorithms030217 neurology & neurosurgerySoftwareRealization (probability)IEEE Transactions on Pattern Analysis and Machine Intelligence
researchProduct

Syntactic complexity in Finnish-background EFL learners’ writing at CEFR levels A1–B2

2022

Eurooppalaisen viitekehyksen (EVK) merkitys kielikoulutukselle on lisännyt tutkimusta sen taitotasojen kielellisistä piirteistä; tarkempi tieto näistä piirteistä auttaisi EVK:n soveltamista opetusmateriaalien, kurssien ja arviointin laatimiseen. Tutkimuksessa selvitettiin eroavatko EVK:n tasot toisistaan syntaksin kompleksisuuden perusteella. Suomalaiset 14- ja 17-vuotiaat englannin oppijat (N=379) kirjoittivat kolme kirjoitelmaa, jotka arvioitiin EVK:n taitotasoille. Arviointiaineisto tutkittiin monitahoisella Rasch-analyysillä ja tekstien piirteet selvitettiin automaattisilla analyysiohjelmilla. Tuloksien perusteella alimpia EVK-tasoja (A1–A2) erotti selvimmin toisistaan lauseiden ja T-yk…

Cultural Studieskieli ja kieletkieltenopetussyntactic complexityYhteinen Eurooppalainen Viitekehys (EVK)CommunicationCommon European Framework of Reference (CEFR)English as a foreign language (EFL)syktaktinen kompleksisuuskompleksisuusLanguage and Linguisticsfraasitkielikurssit (oppimateriaalit)osaaminenkielenkäyttöautomated analysis of learners’ written scriptssanatkielen oppiminenoppijoiden kirjoituksen automaattinen analyyysienglannin kieliarviointilauseoppiEnglanti vieraana kielenävieraat kieletoppimateriaaliEuropean Journal of Applied Linguistics
researchProduct

Parenting culture(s): Ideal-parent beliefs across 37 countries

2022

What is it to be “an ideal parent”? Does the answer differ across countries and social classes? To answer these questions in a way that minimizes bias and ethnocentrism, we used open-ended questions to explore ideal-parent beliefs among 8,357 mothers and 3,517 fathers from 37 countries. Leximancer Semantic Network Analysis was utilized to first determine parenting culture zones (i.e., countries with shared ideal-parent beliefs) and then extract the predominant themes and concepts in each culture zone. The results yielded specific types of ideal-parent beliefs in five parenting culture zones: being “responsible and children/family-focused” for Asian parents, being “responsible and proper de…

Cultural StudiesyhteiskuntaluokatSocial PsychologyvanhemmuusSocial Sciencesvanhempi-lapsisuhdePSYCHOLOGYCHILDuskomuksetRELATEDNESSkulttuurierotDISCIPLINEsemantic network analysisCONCEPTUALIZATIONparental beliefsMOTHERSkasvatusAMERICANihanteetkansainvälinen vertailuSELFsisällönanalyysivanhemmatpositive parentingautomated content analysisAnthropologyqualitative and quantitative methodsCHINESEMENTAL-HEALTH
researchProduct

FRIPON: a worldwide network to track incoming meteoroids

2020

Context. Until recently, camera networks designed for monitoring fireballs worldwide were not fully automated, implying that in case of a meteorite fall, the recovery campaign was rarely immediate. This was an important limiting factor as the most fragile - hence precious - meteorites must be recovered rapidly to avoid their alteration. Aims. The Fireball Recovery and InterPlanetary Observation Network (FRIPON) scientific project was designed to overcome this limitation. This network comprises a fully automated camera and radio network deployed over a significant fraction of western Europe and a small fraction of Canada. As of today, it consists of 150 cameras and 25 European radio receiver…

DYNAMICS[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]MeteorsComputer scienceRadio receiver[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]Surveys010502 geochemistry & geophysicsTrack (rail transport)01 natural sciencesMeteorites meteors meteoroidslaw.inventionPlanets and planetary system[INFO.INFO-TS]Computer Science [cs]/Signal and Image ProcessingMethods: observationallaw[INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]meteoroids010303 astronomy & astrophysicsComputingMilieux_MISCELLANEOUSObservational methodsEarth and Planetary Astrophysics (astro-ph.EP)meteoroids -surveys -methods: observational -interplanetary medium[SDU.ASTR]Sciences of the Universe [physics]/Astrophysics [astro-ph]ORIGIN[INFO.INFO-AO]Computer Science [cs]/Computer Arithmeticmeteorites meteors meteoroids – surveys – methods: observational – interplanetary mediumMeteoroidsRECOVERYORBITMeteoriteFully automatedInterplanetary medium; Meteorites meteors meteoroids; Methods: observational; Surveys[INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV][INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC]Astrophysics - Instrumentation and Methods for Astrophysics[SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processingFLUXReal-time computingfripon[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]FOS: Physical sciencesContext (language use)CAMERA[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE][SPI.AUTO]Engineering Sciences [physics]/Automatic[SDU.STU.PL]Sciences of the Universe [physics]/Earth Sciences/Planetology0103 physical sciencesFIREBALL NETWORKobservational [Methods]meteorsInstrumentation and Methods for Astrophysics (astro-ph.IM)0105 earth and related environmental sciencesMeteoroidINNISFREE METEORITE[INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]Astronomy and AstrophysicsMETEORITE FALLMeteorites meteors meteoroidCamera networkSpace and Planetary Science[SDU]Sciences of the Universe [physics]Interplanetary spaceflightmeteroids trackingmeteoroids - surveys - methods: observationalSYSTEMInterplanetary mediumAstrophysics - Earth and Planetary AstrophysicsMeteorites
researchProduct

Towards Low-Cost Pavement Condition Health Monitoring and Analysis Using Deep Learning

2020

Governments are faced with countless challenges to maintain conditions of road networks. This is due to financial and physical resource deficiencies of road authorities. Therefore, low-cost automated systems are sought after to alleviate these issues and deliver adequate road conditions for citizens. There have been several attempts at creating such systems and integrating them within Pavement management systems. This paper utilizes replicable deep learning techniques to carry out hotspot analyses on urban road networks highlighting important pavement distress types and associated severities. Following this, analyses were performed illustrating how the hotspot analysis can be carried out to…

Damage detectionComputer science0211 other engineering and technologies02 engineering and technologylcsh:Technologylcsh:ChemistryTransport engineeringAutomated detectionSeverity assessmentRoad networks021105 building & constructionlow-cost technologies0202 electrical engineering electronic engineering information engineeringSettore ICAR/04 - Strade Ferrovie Ed AeroportiGeneral Materials ScienceRoad pavement distresseslcsh:QH301-705.5InstrumentationPavement management systemFluid Flow and Transfer Processeslcsh:Tbusiness.industryProcess Chemistry and TechnologyDeep learningLow-cost technologieGeneral EngineeringPavement managementDeep learningUrban roadIntegrated approachlcsh:QC1-999Computer Science ApplicationsWorkflowlcsh:Biology (General)lcsh:QD1-999lcsh:TA1-2040020201 artificial intelligence & image processingArtificial intelligencelcsh:Engineering (General). Civil engineering (General)businesslcsh:PhysicsPavement condition monitoringApplied Sciences
researchProduct

Local dimensionality reduction and supervised learning within natural clusters for biomedical data analysis

2006

Inductive learning systems were successfully applied in a number of medical domains. Nevertheless, the effective use of these systems often requires data preprocessing before applying a learning algorithm. This is especially important for multidimensional heterogeneous data presented by a large number of features of different types. Dimensionality reduction (DR) is one commonly applied approach. The goal of this paper is to study the impact of natural clustering--clustering according to expert domain knowledge--on DR for supervised learning (SL) in the area of antibiotic resistance. We compare several data-mining strategies that apply DR by means of feature extraction or feature selection w…

Databases FactualComputer scienceFeature extractionInformation Storage and RetrievalFeature selectionMachine learningcomputer.software_genreModels BiologicalPattern Recognition AutomatedImmune systemArtificial IntelligenceDrug Resistance BacterialCluster AnalysisHumansComputer SimulationElectrical and Electronic EngineeringRepresentation (mathematics)Cluster analysisCross Infectionbusiness.industryDimensionality reductionSupervised learningGeneral MedicineAnti-Bacterial AgentsComputer Science ApplicationsData pre-processingData miningArtificial intelligenceMultidimensional systemsbusinesscomputerAlgorithmsBiotechnology
researchProduct

A completely automated CAD system for mass detection in a large mammographic database.

2006

Mass localization plays a crucial role in computer-aided detection (CAD) systems for the classification of suspicious regions in mammograms. In this article we present a completely automated classification system for the detection of masses in digitized mammographic images. The tool system we discuss consists in three processing levels: (a) Image segmentation for the localization of regions of interest (ROIs). This step relies on an iterative dynamical threshold algorithm able to select iso-intensity closed contours around gray level maxima of the mammogram. (b) ROI characterization by means of textural features computed from the gray tone spatial dependence matrix (GTSDM), containing secon…

Databases FactualInformation Storage and RetrievalReproducibility of ResultsBreast NeoplasmsSensitivity and SpecificityNeural networkPattern Recognition AutomatedRadiographic Image EnhancementBreast cancerTextural featuresRadiology Information SystemsImage processingComputer-aided detection (CAD)Artificial IntelligenceCluster AnalysisDatabase Management SystemsHumansRadiographic Image Interpretation Computer-AssistedFemaleBreast cancer; Computer-aided detection (CAD); Image processing; Mammographic mass detection; Neural network; Textural featuresMammographic mass detectionAlgorithmsMammographyMedical physics
researchProduct

Exudate-based diabetic macular edema detection in fundus images using publicly available datasets

2010

International audience; Diabetic macular edema (DME) is a common vision threatening complication of diabetic retinopathy. In a large scale screening environment DME can be assessed by detecting exudates (a type of bright lesions) in fundus images. In this work, we introduce a new methodology for diagnosis of DME using a novel set of features based on colour, wavelet decomposition and automatic lesion segmentation. These features are employed to train a classifier able to automatically diagnose DME through the presence of exudation. We present a new publicly available dataset with ground-truth data containing 169 patients from various ethnic groups and levels of DME. This and other two publi…

Databases Factualgenetic structuresFeature extractionDiabetic macular edemaHealth Informatics02 engineering and technologySensitivity and SpecificityMacular Edema030218 nuclear medicine & medical imagingPattern Recognition Automated03 medical and health sciences0302 clinical medicineWavelet decompositionWaveletImage Interpretation Computer-Assisted[ INFO.INFO-TI ] Computer Science [cs]/Image Processing0202 electrical engineering electronic engineering information engineeringFalse positive paradoxMedicineHumansRadiology Nuclear Medicine and imagingComputer visionGround truthDiabetic RetinopathyRadiological and Ultrasound Technologybusiness.industryReproducibility of ResultsDiabetic retinopathyExudates and Transudatesmedicine.diseaseImage EnhancementComputer Graphics and Computer-Aided Designeye diseases[INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV]020201 artificial intelligence & image processingComputer Vision and Pattern RecognitionArtificial intelligencebusinessClassifier (UML)AlgorithmsRetinoscopy
researchProduct

An automated image analysis methodology for classifying megakaryocytes in chronic myeloproliferative disorders

2008

This work describes an automatic method for discrimination in microphotographs between normal and pathological human megakaryocytes and between two kinds of disorders of these cells. A segmentation procedure has been developed, mainly based on mathematical morphology and wavelet transform, to isolate the cells. The features of each megakaryocyte (e.g. area, perimeter and tortuosity of the cell and its nucleus, and shape complexity via elliptic Fourier transform) are used by a regression tree procedure applied twice: the first time to find the set of normal megakaryocytes and the second to distinguish between the pathologies. The output of our classifier has been compared to the interpretati…

Decision treeReproducibility of ResultHealth InformaticsMathematical morphologySensitivity and SpecificityWavelet analysiPattern Recognition Automatedsymbols.namesakeWaveletMegakaryocyteMegakaryocyteArtificial IntelligenceImage Interpretation Computer-AssistedmedicineAnimalsHumansRadiology Nuclear Medicine and imagingComputer visionSegmentationMyeloproliferative DisorderCells Cultured1707MathematicsHealth InformaticMyeloproliferative DisordersSettore INF/01 - InformaticaRadiological and Ultrasound TechnologyAnimalbusiness.industryMorphometryReproducibility of ResultsWavelet transformPattern recognitionAutomatic classification; Elliptic Fourier transform; Morphometry; Wavelet analysis; Animals; Cells Cultured; Humans; Image Enhancement; Image Interpretation Computer-Assisted; Megakaryocytes; Myeloproliferative Disorders; Pattern Recognition Automated; Reproducibility of Results; Sensitivity and Specificity; Algorithms; Artificial Intelligence; Computer Graphics and Computer-Aided Design; 1707; Radiology Nuclear Medicine and Imaging; Health Informatics; Radiological and Ultrasound TechnologyImage EnhancementComputer Graphics and Computer-Aided DesignAlgorithmFourier transformmedicine.anatomical_structuresymbolsAutomatic classificationElliptic Fourier transformComputer Vision and Pattern RecognitionArtificial intelligencebusinessMegakaryocytesClassifier (UML)AlgorithmsHumanMedical Image Analysis
researchProduct