Search results for " Logic"

showing 10 items of 1720 documents

Ontology and semantics: an Aristotelian inspiration,

2013

Being Language Aristotle SemanticsSettore M-FIL/02 - Logica E Filosofia Della Scienza
researchProduct

Adaptive Fuzzy Control of a Process with Bifurcations

2002

Several fuzzy controllers with different structures have been considered for the control of systems with bifurcation. A mixed feedforward-feedback structure with some additional adaptation mechanisms have been checked by simulation in the control of a non-linear process constituted by a bubble column in which a slow kinetics auto-catalytic reaction takes place. Simulation results show the validity of some of the proposed controllers in avoiding the system reaching bifurcation and instability conditions.

Bifurcation theoryControl theoryComputer scienceProcess (computing)Structure (category theory)Fuzzy control systemBifurcation diagramFuzzy logicInstabilityBifurcation
researchProduct

Modelling and development of a generic observatory to harvest and analyze big data

2021

Big Data fascinate, both because of the value they hold that can provide a significant advantage in decision-making, and because of the challenges that their exploitation represents. These challenges are present at several levels of analytics workflows. At the level of the creation of software architectures, the volume and the velocity require at least enough performance to handle the ingestion and storage of data. The data variety has also an impact, as several new storage systems have emerged, each one corresponding to a specific need. The polystores are systems that integrate this diversity, to gain flexibility compared to the data warehouses, now too rigid. However, this diversification…

Big DataStream processing[INFO.INFO-OH] Computer Science [cs]/Other [cs.OH]TenseursData modelsCategory TheoryArchitectures logiciellesTensorsThéorie des catégoriesDonnées massivesModèles de donnéesSoftware Architectures
researchProduct

A Coclustering Approach for Mining Large Protein-Protein Interaction Networks

2012

Several approaches have been presented in the literature to cluster Protein-Protein Interaction (PPI) networks. They can be grouped in two main categories: those allowing a protein to participate in different clusters and those generating only nonoverlapping clusters. In both cases, a challenging task is to find a suitable compromise between the biological relevance of the results and a comprehensive coverage of the analyzed networks. Indeed, methods returning high accurate results are often able to cover only small parts of the input PPI network, especially when low-characterized networks are considered. We present a coclustering-based technique able to generate both overlapping and nonove…

Biologycomputer.software_genreBioinformatics network analysis co-clusteringTask (project management)Set (abstract data type)Protein Interaction MappingGeneticsCluster (physics)Cluster AnalysisHumansRelevance (information retrieval)Protein Interaction MapsCluster analysisStructure (mathematical logic)Applied MathematicsProteinsprotein-protein interaction networksbiological networksComputingMethodologies_PATTERNRECOGNITIONCover (topology)Co-clusteringData miningcomputerAlgorithmsBiological networkBiotechnologyIEEE/ACM Transactions on Computational Biology and Bioinformatics
researchProduct

The Complex System Theory for the Analysis of Inter-Firm Networks: A Literature Overview and Theoretic Framework

2011

In this paper we discuss the body of knowledge known as complex system theory and its relevance to the analysis of inter-firm networks. We start by addressing the development of systems thinking. Through a literature overview, we point out the main elements for the development of systemic thought from its beginning, through its application in business sciences, to the birth of Complex Systems Theory (CST). With these initial annotations we provide an introduction to the concepts of the complex systems theory. We will underscore those aspects of CST that can be useful to analyze inter-firm networks, in order to highlight the evolutionary dynamics of the networks and to clarify the logical li…

Body of knowledgeStructure (mathematical logic)Inter-firm networks Complex System TheoryManagement scienceComputer scienceComplex systemBusiness system planningMulti-level logicSystems thinkingCognitionRelevance (information retrieval)Evolutionary dynamicsSettore SECS-P/08 - Economia E Gestione Delle Imprese
researchProduct

Analysis of Spatially and Temporally Overlapping Events with Application to Image Sequences

2006

Counting spatially and temporally overlapping events in image sequences and estimating their shape-size and duration features are important issues in some applications. We propose a stochastic model, a particular case of the nonisotropic 3D Boolean model, for performing this analysis: the temporal Boolean model. Some probabilistic properties are derived and a methodology for parameter estimation from time-lapse image sequences is proposed using an explicit treatment of the temporal dimension. We estimate the mean number of germs per unit area and time, the mean grain size and the duration distribution. A wide simulation study in order to assess the proposed estimators showed promising resul…

Boolean modelEstimation theorybusiness.industryStochastic modellingApplied MathematicsProbabilistic logicEstimatorFunctional data analysisImage processingBoolean algebrasymbols.namesakeComputational Theory and MathematicsArtificial IntelligencesymbolsComputer visionComputer Vision and Pattern RecognitionArtificial intelligencebusinessAlgorithmSoftwareMathematicsIEEE Transactions on Pattern Analysis and Machine Intelligence
researchProduct

Processing of rock core microtomography images: Using seven different machine learning algorithms

2016

The abilities of machine learning algorithms to process X-ray microtomographic rock images were determined. The study focused on the use of unsupervised, supervised, and ensemble clustering techniques, to segment X-ray computer microtomography rock images and to estimate the pore spaces and pore size diameters in the rocks. The unsupervised k-means technique gave the fastest processing time and the supervised least squares support vector machine technique gave the slowest processing time. Multiphase assemblages of solid phases (minerals and finely grained minerals) and the pore phase were found on visual inspection of the images. In general, the accuracy in terms of porosity values and pore…

Boosting (machine learning)010504 meteorology & atmospheric sciencesComputer performanceComputer sciencebusiness.industryFeature vectorPattern recognition010502 geochemistry & geophysics01 natural sciencesFuzzy logicSupport vector machineComputingMethodologies_PATTERNRECOGNITIONLeast squares support vector machineArtificial intelligenceComputers in Earth SciencesCluster analysisPorositybusiness0105 earth and related environmental sciencesInformation SystemsComputers & Geosciences
researchProduct

Evaluation of Record Linkage Methods for Iterative Insertions

2009

Summary Objectives: There have been many developments and applications of mathematical methods in the context of record linkage as one area of interdisciplinary research efforts. However, comparative evaluations of record linkage methods are still underrepresented. In this paper improvements of the Fellegi-Sunter model are compared with other elaborated classification methods in order to direct further research endeavors to the most promising methodologies. Methods: The task of linking records can be viewed as a special form of object identification. We consider several non-stochastic methods and procedures for the record linkage task in addition to the Fellegi-Sunter model and perform an e…

Boosting (machine learning)Medical Records Systems ComputerizedComputer scienceDecision treeHealth Informaticscomputer.software_genreMachine learningFuzzy LogicHealth Information ManagementGermanyExpectation–maximization algorithmHumansRegistriesAdvanced and Specialized NursingElectronic Data ProcessingModels Statisticalbusiness.industryData CollectionDecision TreesSupport vector machineClassification methodsMedical Record LinkageData miningArtificial intelligencebusinesscomputerAlgorithmsSoftwareRecord linkageMethods of Information in Medicine
researchProduct

Electronic and Functional Scope of Boronic Acid Derived Salicylidenehydrazone (BASHY) Complexes as Fluorescent Dyes

2017

[EN] A series of boronic acid derived salicylidenehydrazone (BASHY) complexes was prepared and photophysically characterized. The dye platform can be modified by (a) electronic tuning along the cyanine-type axis via modification of the donor-acceptor pair and (b) functional tuning via the boronic acid residue. On the one hand, approach (a) allows the control of photophysical parameters such as Stokes shift, emission color, and two-photon absorption (2PA) cross section. The resulting dyes show emission light-up behavior in nonpolar media and are characterized by high fluorescence quantum yields (ca. 0.5-0.7) and brightness (ca. 35000-40000 M-1 cm(-1)). Moreover, the 2PA cross sections reach …

BrightnessDesignFluorophores010402 general chemistryPhotochemistry01 natural sciencessymbols.namesakechemistry.chemical_compoundResidue (chemistry)ChromophoreMolecular logicStokes shiftMoietyPROYECTOS DE INGENIERIABodipy dyes2-Photon absorptionEnhancement010405 organic chemistryChemistryOrganic ChemistryChromophoreFluorescence0104 chemical sciences3. Good healthsymbolsSurface modificationProbesHighly fluorescentDerivativesBoronic acidThe Journal of Organic Chemistry
researchProduct

Detecting faulty wireless sensor nodes through Stochastic classification

2011

In many distributed systems, the possibility to adapt the behavior of the involved resources in response to unforeseen failures is an important requirement in order to significantly reduce the costs of management. Autonomous detection of faulty entities, however, is often a challenging task, especially when no direct human intervention is possible, as is the case for many scenarios involving Wireless Sensor Networks (WSNs), which usually operate in inaccessible and hostile environments. This paper presents an unsupervised approach for identifying faulty sensor nodes within a WSN. The proposed algorithm uses a probabilistic approach based on Markov Random Fields, requiring exclusively an ana…

Brooks–Iyengar algorithmComputer scienceDistributed computingReal-time computingProbabilistic logicMarkov processMarkov Random Fieldsymbols.namesakeKey distribution in wireless sensor networksWireless Sensor Networks.Autonomic ComputingSensor nodesymbolsOverhead (computing)Algorithm designWireless sensor network2011 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops)
researchProduct