Search results for "Software engineering"

showing 10 items of 1151 documents

Motivic Pattern Extraction in Symbolic Domain

2008

This chapter offers an overview of computational research in motivic pattern extraction. The central questions underlying the topic, concerning the formalization of the motivic structures, the matching strategies and the filtering of the results, have been addressed in various ways. A detailed analysis of these problems leads to the proposal of a new methodology, which will be developed throughout the study. One main conclusion of this review is that the problems cannot be tackled using purely mathematic or geometric heuristics or classical engineering tools, but require also a detailed understanding of the multiple constraints derived by the underlying cognitive context.

AlgebraTheoretical computer scienceData extractionData hierarchyKnowledge extractionMultiple constraintsContext (language use)CognitionHeuristicsMathematicsDomain (software engineering)
researchProduct

Equivalence Problem of Composite Class Diagrams

2001

Multiplicity constraints in a UML composite class diagram may be inconsistent. An algorithm is given for eliminating all such inconsistencies. Using this algorithm an algorithm is constructed which for two given composite class diagrams solves the equivalence problem. These algorithms can be embedded in CASE tools for automated detection of multiplicity inconsistencies.

AlgebraUnified Modeling LanguageComputer scienceComposite numberMultiplicity (mathematics)Class diagramComputer-aided software engineeringcomputerEquivalence (measure theory)computer.programming_language
researchProduct

Sign Languages Recognition Based on Neural Network Architecture

2017

In the last years, many steps forward have been made in speech and natural languages recognition and were developed many virtual assistants such as Apple’s Siri, Google Now and Microsoft Cortana. Unfortunately, not everyone can use voice to communicate to other people and digital devices. Our system is a first step for extending the possibility of using virtual assistants to speech impaired people by providing an artificial sign languages recognition based on neural network architecture.

American Sign LanguageComputer sciencebusiness.industryTime delay neural networkDeep learningSpeech recognition020207 software engineering02 engineering and technologylanguage.human_languageRecurrent neural network0202 electrical engineering electronic engineering information engineeringNeural network architecturelanguage020201 artificial intelligence & image processingArtificial intelligencebusinessNatural languageSign (mathematics)
researchProduct

Data for: Analytical induced force solution in conducting cylindrical bodies and rings due to a rotating finite permanent magnet

2019

Implementation of analytical current density solution in numerical calculations using Wolfram Mathematica software. THIS DATASET IS ARCHIVED AT DANS/EASY, BUT NOT ACCESSIBLE HERE. TO VIEW A LIST OF FILES AND ACCESS THE FILES IN THIS DATASET CLICK ON THE DOI-LINK ABOVE

Analytical MethodComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONComputer Science::Mathematical SoftwareComputer Science::Software EngineeringElectromagneticsComputer Science::Symbolic ComputationInterdisciplinary sciencesOtherNonlinear Sciences::Cellular Automata and Lattice Gases
researchProduct

Ancestral Reconstruction and Investigations of Genomic Recombination on some Pentapetalae Chloroplasts

2019

Abstract In this article, we propose a semi-automated method to rebuild genome ancestors of chloroplasts by taking into account gene duplication. Two methods have been used in order to achieve this work: a naked eye investigation using homemade scripts, whose results are considered as a basis of knowledge, and a dynamic programming based approach similar to Needleman-Wunsch. The latter fundamentally uses the Gestalt pattern matching method of sequence matcher to evaluate the occurrences probability of each gene in the last common ancestor of two given genomes. The two approaches have been applied on chloroplastic genomes from Apiales, Asterales, and Fabids orders, the latter belonging to Pe…

Ancestral reconstructionMost recent common ancestor0206 medical engineeringGenomic recombination02 engineering and technology[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]Dynamic programmingGenome[INFO.INFO-IU]Computer Science [cs]/Ubiquitous ComputingEvolution Molecular[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]AsteralesGene duplication0202 electrical engineering electronic engineering information engineeringPattern matchingGenome ChloroplastRosaceaeResearch ArticlesPhylogenySequence (medicine)Recombination GeneticbiologyGeneral Medicinebiology.organism_classification[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationAncestral genome reconstructionApialesEvolutionary biology[INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA]020201 artificial intelligence & image processing[INFO.INFO-ET]Computer Science [cs]/Emerging Technologies [cs.ET][INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC]Pentapetalae chloroplasts020602 bioinformaticsTP248.13-248.65BiotechnologyJournal of Integrative Bioinformatics
researchProduct

Extended Natural Numbers and Counters

2020

Summary This article introduces extended natural numbers, i.e. the set ℕ ∪ {+∞}, in Mizar [4], [3] and formalizes a way to list a cardinal numbers of cardinals. Both concepts have applications in graph theory.

Applied Mathematics03e10 68v20Mathematics::General Topology020207 software engineeringNatural number0102 computer and information sciences02 engineering and technologysequence01 natural sciencesCombinatoricsComputational MathematicsMathematics::Logic010201 computation theory & mathematicscardinal0202 electrical engineering electronic engineering information engineeringextended natural numbersQA1-939MathematicsMathematicsSequence (medicine)MathematicsofComputing_DISCRETEMATHEMATICSFormalized Mathematics
researchProduct

A Hardware and Secure Pseudorandom Generator for Constrained Devices

2018

Hardware security for an Internet of Things or cyber physical system drives the need for ubiquitous cryptography to different sensing infrastructures in these fields. In particular, generating strong cryptographic keys on such resource-constrained device depends on a lightweight and cryptographically secure random number generator. In this research work, we have introduced a new hardware chaos-based pseudorandom number generator, which is mainly based on the deletion of an Hamilton cycle within the $N$ -cube (or on the vectorial negation), plus one single permutation. We have rigorously proven the chaotic behavior and cryptographically secure property of the whole proposal: the mid-term eff…

Applied cryptography; Chaotic circuits; Constrained devices; Discrete dynamical systems; FPGA; Lightweight Cryptography; Random number generators; Statistical tests; Control and Systems Engineering; Information Systems; Computer Science Applications1707 Computer Vision and Pattern Recognition; Electrical and Electronic EngineeringHardware security moduleComputer scienceRandom number generationCryptography[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]02 engineering and technologyPseudorandom generatorConstrained devicesLightweight CryptographyChaotic circuits[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]PermutationRandom number generatorsStatistical tests0202 electrical engineering electronic engineering information engineeringElectrical and Electronic EngineeringField-programmable gate arrayThroughput (business)FPGAPseudorandom number generatorGenerator (category theory)business.industry020208 electrical & electronic engineeringComputer Science Applications1707 Computer Vision and Pattern Recognition020206 networking & telecommunicationsDiscrete dynamical systems[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationComputer Science ApplicationsApplied cryptography[INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA]Control and Systems EngineeringKey (cryptography)[INFO.INFO-ET]Computer Science [cs]/Emerging Technologies [cs.ET][INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC]businessComputer hardwareInformation SystemsIEEE Transactions on Industrial Informatics
researchProduct

Medical Data Mining for Heart Diseases and the Future of Sequential Mining in Medical Field

2018

Data Mining in general is the act of extracting interesting patterns and discovering non-trivial knowledge from a large amount of data. Medical data mining can be used to understand the events happened in the past, i.e. studying a patients vital signs to understand his complications and discover why he has died, or to predict the future by analyzing the events that had happened. In this chapter we are presenting an overview on studies that use data mining to predict heart failure and heart diseases classes. We will also focus on one of the trendiest data-mining field, namely the Sequential Mining, which is a very promising paradigm. Due to its important results in many fields, this chapter …

Apriori algorithmFocus (computing)SequenceComputer science02 engineering and technology030204 cardiovascular system & hematologycomputer.software_genreField (computer science)Domain (software engineering)03 medical and health sciences0302 clinical medicineMultiple time dimensions0202 electrical engineering electronic engineering information engineeringTime constraintA priori and a posteriori020201 artificial intelligence & image processingData miningcomputer
researchProduct

Towards the Preservation and Dissemination of Historical Silk Weaving Techniques in the Digital Era

2019

Historical weaving techniques have evolved in time and space giving as result more or less fabrics with different aesthetical characteristics. These techniques were transferred along the main silk production centers, thanks to the European Silk Road and creating a common European Frame on themes and techniques. These had made it complicated to determine whether a fabric corresponds to one century or another. Moreover, in order to understand their creation, it is necessary to determine the number of weaves and interlacements that each textile has, therefore, mathematical models can be extracted from these layers. In this sense, three dimensional (3D) virtual representations of the internal s…

ArcheologyArchitectural engineering:CIENCIAS TECNOLÓGICAS [UNESCO]Computer scienceMaterials Science (miscellaneous)02 engineering and technologyConservationmodelling0202 electrical engineering electronic engineering information engineeringmedia_common.cataloged_instancesilklcsh:CC1-960MacroEuropean unionWeavingmedia_commonStructure (mathematical logic)Scope (project management)business.industryFrame (networking)020207 software engineeringweavingUNESCO::CIENCIAS TECNOLÓGICASdesignsVariety (cybernetics)image processingTechnical drawinglcsh:Archaeology020201 artificial intelligence & image processingbusiness3DHeritage
researchProduct

Statistical analysis of engraving traces on a 3D digital model of prehistoric stone stelae

2016

International audience; Studying cultural heritage artefacts, using 3D digital models, is gaining interest. It not only allows applications in documentation and visualisation, but also permits further contact-less examination. In this paper, we are presenting a statistical analysis of stone engravings based on features that were semi-automatically extracted from 3D acquisition data. Our objects of study are two Neolithic stone stelae and a faithful replica that was created in the course of an archaeological study. We use common statistical methods and investigate the populations of depth and diameter of the engraving traces, as well as their correlation. We observe that the erosion of the t…

ArcheologyEngineering[ INFO.INFO-TS ] Computer Science [cs]/Signal and Image Processing[SHS.ARCHEO]Humanities and Social Sciences/Archaeology and PrehistoryMaterials Science (miscellaneous)Neolithic stone stelae02 engineering and technologyConservationEngravingPrehistoryChisel marks[INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing0202 electrical engineering electronic engineering information engineering0601 history and archaeologyStatistical analysisSpectroscopy060102 archaeology3D mesh databusiness.industryReplica020207 software engineering06 humanities and the artsArchaeologyCultural heritageDescriptive statisticsChemistry (miscellaneous)[ SHS.ARCHEO ] Humanities and Social Sciences/Archaeology and Prehistoryvisual_artStone engravingsvisual_art.visual_art_mediumbusinessGeneral Economics Econometrics and FinanceRegression analysis
researchProduct