Search results for " Logic"

showing 10 items of 1720 documents

Subjective Logic-Based In-Network Data Processing for Trust Management in Collocated and Distributed Wireless Sensor Networks

2018

While analyzing an explosive amount of data collected in today’s wireless sensor networks (WSNs), the redundant information in the sensed data needs to be handled. In-network data processing is a technique which can eliminate or reduce such redundancy, leading to minimized resource consumption. On the other hand, trust management techniques establish trust relationships among nodes and detect unreliable nodes. In this paper, we propose two novel in-network data processing schemes for trust management in static WSNs. The first scheme targets at networks, where sensor nodes are closely collocated to report the same event. Considering both spatial and temporal correlations, this scheme generat…

021110 strategic defence & security studiesComputer scienceNode (networking)Reliability (computer networking)Distributed computing0211 other engineering and technologies020206 networking & telecommunications02 engineering and technologyEnergy consumptionSensor node0202 electrical engineering electronic engineering information engineeringRedundancy (engineering)Trust management (information system)Electrical and Electronic EngineeringSubjective logicInstrumentationWireless sensor networkIEEE Sensors Journal
researchProduct

Two novel subjective logic-based in-network data processing schemes in wireless sensor networks

2016

Wireless sensor networks (WSNs) consist of connected low-cost and small-size sensor nodes. The sensor nodes are characterized by various limitations, such as energy availability, processing power, and storage capacity. Typically, nodes collect data from an environment and transmit the raw or processed data to a sink. However, the collected data contains often redundant information. An in-network processing scheme attempts to eliminate or reduce such redundancy in sensed data. In this paper, we propose two in-network data processing schemes for WSNs, which are built based on a lightweight algebra for data processing. The schemes bring also benefits like decreased network traffic load and inc…

021110 strategic defence & security studiesData processingbusiness.industryComputer scienceVisual sensor networkReal-time computing0211 other engineering and technologies020206 networking & telecommunications02 engineering and technologySynthetic dataKey distribution in wireless sensor networks0202 electrical engineering electronic engineering information engineeringMobile wireless sensor networkWirelessbusinessSubjective logicWireless sensor network2016 IEEE 12th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob)
researchProduct

"The human use of human beings": Interdisciplinarity, transdisciplinarity and all that in biophysics and beyond.

2017

Abstract Biophysics, just by looking at its name, indicates an interdisciplinary scientific activity, although the notion of interdisciplinarity, as such, seems to be not widely or specifically discussed by biophysicists. The same seems to have happened as well in the early stages of the development of cybernetics, notably in Norbert Wiener's writings. This situation seems to contrast with what has happened in subsequent developments of cybernetics ideas, notably in general system theory and cognitive sciences. After a few general reflections on the notion of interdisciplinarity, its sophisticated variants and the path leading to the birth of cognitive science, we shall refer to Wiener's th…

0301 basic medicine030103 biophysicsSettore INF/01 - InformaticaChemistryOrganic ChemistryInterdisciplinarityBiophysicsSettore MAT/01 - Logica MatematicaHistory 20th CenturyBiochemistry03 medical and health sciencesBiophysicHuman useTransdisciplinarityWienerBiophysicsCyberneticsHumansCyberneticSocial responsibilityCyberneticsScientific activityHumanInterdisciplinarityBiophysical chemistry
researchProduct

miRToolsGallery: a tag-based and rankable microRNA bioinformatics resources database portal

2017

Abstract Hundreds of bioinformatics tools have been developed for MicroRNA (miRNA) investigations including those used for identification, target prediction, structure and expression profile analysis. However, finding the correct tool for a specific application requires the tedious and laborious process of locating, downloading, testing and validating the appropriate tool from a group of nearly a thousand. In order to facilitate this process, we developed a novel database portal named miRToolsGallery. We constructed the portal by manually curating > 950 miRNA analysis tools and resources. In the portal, a query to locate the appropriate tool is expedited by being searchable, filterable and …

0301 basic medicineComputer scienceProcess (engineering)media_common.quotation_subjectmiRToolsGallerycomputer.software_genreBioinformaticsGeneral Biochemistry Genetics and Molecular Biology03 medical and health sciencesUpload0302 clinical medicinetyövälineetFunction (engineering)Data Curationmedia_commonStructure (mathematical logic)DatabaseData curationSequence Analysis RNAbioinformatiikkabioinformaticsMicroRNAsIdentification (information)Database Tool030104 developmental biologyRankingFeature (computer vision)toolsta1181Databases Nucleic AcidGeneral Agricultural and Biological SciencescomputerAlgorithms030217 neurology & neurosurgeryInformation SystemsDatabase
researchProduct

Probing the operability regime of an engineered ribocomputing unit in terms of dynamic range maintenance with extracellular changes and time

2020

Synthetic biology aims at engineering gene regulatory circuits to end with cells (re)programmed on purpose to implement novel functions or discover natural behaviors. However, one overlooked question is whether the resulting circuits perform as intended in variety of environments or with time. Here, we considered a recently engineered genetic system that allows programming the cell to work as a minimal computer (arithmetic logic unit) in order to analyze its operability regime. This system involves transcriptional and post-transcriptional regulations. In particular, we studied the analog behavior of the system, the effect of physicochemical changes in the environment, the impact on cell gro…

0301 basic medicineEnvironmental EngineeringOperabilityProcess (engineering)Computer scienceSystems biologyBiomedical EngineeringHeterologous03 medical and health sciencesArithmetic logic unitSynthetic biology0302 clinical medicinelcsh:QH301-705.5Molecular BiologySynthetic biologyBiological computationResearchCell BiologyExpression (computer science)030104 developmental biologyRegulatory RNAlcsh:Biology (General)Heterologous expressionBiological systemSystems biology030217 neurology & neurosurgery
researchProduct

High-Performance Biocomputing in Synthetic Biology-Integrated Transcriptional and Metabolic Circuits

2019

Biocomputing uses molecular biology parts as the hardware to implement computational devices. By following pre-defined rules, often hard-coded into biological systems, these devices are able to process inputs and return outputs-thus computing information. Key to the success of any biocomputing endeavor is the availability of a wealth of molecular tools and biological motifs from which functional devices can be assembled. Synthetic biology is a fabulous playground for such purpose, offering numerous genetic parts that allow for the rational engineering of genetic circuits that mimic the behavior of electronic functions, such as logic gates. A grand challenge, as far as biocomputing is concer…

0301 basic medicineHistologyComputer scienceProcess (engineering)lcsh:BiotechnologyBiomedical EngineeringBioengineering02 engineering and technologyField (computer science)Metabolic engineering03 medical and health sciencesSynthetic biologygenetic circuitslcsh:TP248.13-248.65ConceptualizationIntersection (set theory)business.industryBioengineering and Biotechnologybiocomputing021001 nanoscience & nanotechnologyboolean logic030104 developmental biologyPerspectiveKey (cryptography)metabolic networkssynthetic biology0210 nano-technologySoftware engineeringbusinessmetabolic engineeringHost (network)Biotechnology
researchProduct

Automatic monitoring system for the detection and evaluation of the evolution of hemangiomas

2016

In this paper we introduce an automatic monitoring system for the detection and the evaluation of the evolution of hemangiomas using a fuzzy logic system based on two parameters: area and redness. We have considered pairs of images (from two different moments in time) that show hemangiomas either evolving, stationary or regressing. The starting points of the algorithm are the rectangular regions of interest (ROI), manually selected for each of the two images, and automatically segmented using Fuzzy C-means. Using the area and the redness of the hemagiomas extracted with Fuzzy C-means, for the same patient, at different moments of time, the algorithm decides whether the hemangioma is evolvin…

0301 basic medicineMatching (graph theory)Computer sciencebusiness.industryFeature extractionFuzzy setMonitoring systemImage segmentationmedicine.diseaseFuzzy logicHemangioma03 medical and health sciences030104 developmental biologymedicineComputer visionArtificial intelligencebusiness2016 Sixth International Conference on Image Processing Theory, Tools and Applications (IPTA)
researchProduct

On the structural connectivity of large-scale models of brain networks at cellular level

2021

AbstractThe brain’s structural connectivity plays a fundamental role in determining how neuron networks generate, process, and transfer information within and between brain regions. The underlying mechanisms are extremely difficult to study experimentally and, in many cases, large-scale model networks are of great help. However, the implementation of these models relies on experimental findings that are often sparse and limited. Their predicting power ultimately depends on how closely a model’s connectivity represents the real system. Here we argue that the data-driven probabilistic rules, widely used to build neuronal network models, may not be appropriate to represent the dynamics of the …

0301 basic medicineProcess (engineering)Computer scienceScienceModels NeurologicalCellular levelMachine learningcomputer.software_genreArticle03 medical and health sciencesComputational biophysics0302 clinical medicineSettore MAT/05 - Analisi MatematicamedicineBiological neural networkHumansSettore MAT/07 - Fisica MatematicaOn the structural connectivity of large-scale models of brain networks at cellular levelSettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniNeuronsMultidisciplinaryNetwork modelsSettore INF/01 - Informaticabusiness.industryQRProbabilistic logicBrain030104 developmental biologymedicine.anatomical_structureMathematical framework Neuron networks Large‑scale model Data‑driven probabilistic rules Modeling cellular-level brain networksMedicineNeuronArtificial intelligencebusinessScale modelcomputer030217 neurology & neurosurgeryScientific Reports
researchProduct

Towards Self-explanatory Ontology Visualization with Contextual Verbalization

2016

Ontologies are one of the core foundations of the Semantic Web. To participate in Semantic Web projects, domain experts need to be able to understand the ontologies involved. Visual notations can provide an overview of the ontology and help users to understand the connections among entities. However, the users first need to learn the visual notation before they can interpret it correctly. Controlled natural language representation would be readable right away and might be preferred in case of complex axioms, however, the structure of the ontology would remain less apparent. We propose to combine ontology visualizations with contextual ontology verbalizations of selected ontology (diagram) e…

0301 basic medicineStructure (mathematical logic)Computer sciencebusiness.industry05 social sciences050301 educationRepresentation (arts)Ontology (information science)computer.software_genreNotationlanguage.human_languageDomain (software engineering)03 medical and health sciences030104 developmental biologyControlled natural languagelanguageArtificial intelligencebusiness0503 educationcomputerSemantic WebNatural language processingAxiom
researchProduct

An effective extension of the applicability of alignment-free biological sequence comparison algorithms with Hadoop

2016

Alignment-free methods are one of the mainstays of biological sequence comparison, i.e., the assessment of how similar two biological sequences are to each other, a fundamental and routine task in computational biology and bioinformatics. They have gained popularity since, even on standard desktop machines, they are faster than methods based on alignments. However, with the advent of Next-Generation Sequencing Technologies, datasets whose size, i.e., number of sequences and their total length, is a challenge to the execution of alignment-free methods on those standard machines are quite common. Here, we propose the first paradigm for the computation of k-mer-based alignment-free methods for…

0301 basic medicineTheoretical computer science030102 biochemistry & molecular biologySettore INF/01 - InformaticaComputer scienceComputationExtension (predicate logic)Information SystemHash tableDistributed computingTask (project management)Theoretical Computer Science03 medical and health sciences030104 developmental biologyAlignment-free sequence comparison and analysisHadoopHardware and Architecturealignment-free sequence comparison and analysis; distributed computing; Hadoop; MapReduce; software; theoretical computer science; information systems; hardware and architectureSequence comparisonMapReduceAlignment-free sequence comparison and analysiAlignment-free sequence comparison and analysis; Distributed computing; Hadoop; MapReduce; Theoretical Computer Science; Software; Information Systems; Hardware and ArchitectureSoftwareInformation Systems
researchProduct