Search results for "software engineering"

showing 10 items of 1151 documents

Examining the Quality of Evolution Frameworks and Metamodeling Paradigms of Information Systems Development Methodologies

2011

Information systems development methodologies and associated CASE tools have been considered cornerstones for building quality into an information system. The construction and evaluation of methodologies are usually carried out by evaluation frameworks and metamodels, both considered as meta-methodologies. This chapter investigates and reviews representative metamodels and evaluation frameworks for assessing the capability of methodologies to contribute to high-quality outcomes. It presents a summary of their quality features, strengths, and weaknesses. The chapter ultimately leads to a comparison and discussion of the functional and formal quality properties that traditional meta-methodolo…

Development (topology)Computer scienceManagement sciencebusiness.industrymedia_common.quotation_subjectComputabilityInformation systemQuality (business)Computer-aided software engineeringSoftware engineeringbusinessMetamodelingmedia_common
researchProduct

Combining Haar Wavelet and Karhunen Loeve Transforms for Medical Images Watermarking

2014

This paper presents a novel watermarking method, applied to the medical imaging domain, used to embed the patient’s data into the corresponding image or set of images used for the diagnosis. The main objective behind the proposed technique is to perform the watermarking of the medical images in such a way that the three main attributes of the hidden information (i.e., imperceptibility, robustness, and integration rate) can be jointly ameliorated as much as possible. These attributes determine the effectiveness of the watermark, resistance to external attacks, and increase the integration rate. In order to improve the robustness, a combination of the characteristics of Discrete Wavelet and K…

Diagnostic ImagingArticle SubjectComputer scienceWavelet Analysislcsh:Medicine02 engineering and technologyGeneral Biochemistry Genetics and Molecular BiologyWaveletRobustness (computer science)[ INFO.INFO-TI ] Computer Science [cs]/Image Processing0202 electrical engineering electronic engineering information engineeringDigital watermarkingComputer SecurityBlock (data storage)Karhunen–Loève theoremGeneral Immunology and Microbiologybusiness.industryVisibility (geometry)lcsh:RReproducibility of Results020207 software engineeringPattern recognitionWatermarkGeneral MedicineHaar wavelet[INFO.INFO-TI] Computer Science [cs]/Image Processing [eess.IV][INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV]020201 artificial intelligence & image processingArtificial intelligencebusinessAlgorithmsResearch Article
researchProduct

Indispensability and Effectiveness of Diagrams in Molecular Biology

2019

Abstract: In this paper I aim to defend a twofold thesis. On one hand, I will support, against Perini (2005), the indispensability of diagrams when structurally complex biomolecules are concerned, since it is not possible to satisfactorily use linguistic-sentential representations at that domain. On the other hand, even when diagrams are dispensable I will defend than they will generally be more effective than other representations in encoding biomolecular knowledge, relying on Kulvicki-Shimojima’s diagrammatic effectiveness thesis. Finally, I will ground many epistemic virtues of biomolecular diagrams (understandability, explanatory power, prediction and hypothesis evaluation) on their cog…

Diagrammatic reasoningUNESCO::FILOSOFÍA:FILOSOFÍA [UNESCO]Computer scienceRepresentation (systemics)Encoding (semiotics)Epistemic virtueMolecular biologyDomain (software engineering)Quaderns de Filosofia
researchProduct

Conformation constraints for efficient viscoelastic fluid simulation

2017

The simulation of high viscoelasticity poses important computational challenges. One is the difficulty to robustly measure strain and its derivatives in a medium without permanent structure. Another is the high stiffness of the governing differential equations. Solutions that tackle these challenges exist, but they are computationally slow. We propose a constraint-based model of viscoelasticity that enables efficient simulation of highly viscous and viscoelastic phenomena. Our model reformulates, in a constraint-based fashion, a constitutive model of viscoelasticity for polymeric fluids, which defines simple governing equations for a conformation tensor. The model can represent a diverse pa…

Differential equationComputer scienceConstitutive equationConstraint (computer-aided design)Viscoelasticitat020207 software engineering02 engineering and technologySolverComputer Graphics and Computer-Aided DesignViscoelasticityPhysics::Fluid DynamicsPosition (vector)Inviscid flowSimulació per ordinador0202 electrical engineering electronic engineering information engineeringApplied mathematics020201 artificial intelligence & image processingTensorComputingMethodologies_COMPUTERGRAPHICS
researchProduct

ideal: an R/Bioconductor package for interactive differential expression analysis

2020

AbstractBackgroundRNA sequencing (RNA-seq) is an ever increasingly popular tool for transcriptome profiling. A key point to make the best use of the available data is to provide software tools that are easy to use but still provide flexibility and transparency in the adopted methods. Despite the availability of many packages focused on detecting differential expression, a method to streamline this type of bioinformatics analysis in a comprehensive, accessible, and reproducible way is lacking.ResultsWe developed the ideal software package, which serves as a web application for interactive and reproducible RNA-seq analysis, while producing a wealth of visualizations to facilitate data interpr…

Differential expression analysisComputer scienceShinyBioconductorInteractive data analysislcsh:Computer applications to medicine. Medical informaticsReproducible researchBioconductorDifferential expressionCode (cryptography)Transcriptome profilingHumansRNA-SeqTranscriptomicslcsh:QH301-705.5Flexibility (engineering)Ideal (set theory)Base Sequencebusiness.industryData visualizationGene Expression ProfilingRRNAReproducibility of ResultsTransparency (human–computer interaction)Gene Expression Regulationlcsh:Biology (General)Data Interpretation StatisticalWeb applicationlcsh:R858-859.7Software engineeringbusinessSoftwareBMC Bioinformatics
researchProduct

High resolution x-ray investigation of periodically poled lithium tantalate crystals with short periodicity

2009

Domain engineering technology in lithium tantalate is a well studied approach for nonlinear optical applications. However, for several cases of interest, the realization of short period structures (< 2 ��m) is required, which make their characterization difficult with standard techniques. In this work, we show that high resolution x-ray diffraction is a convenient approach for the characterization of such structures, allowing us to obtain in a nondestructive fashion information such as the average domain period, the domain wall inclination, and the overall structure quality.

DiffractionMaterials scienceFerroelectric materialFOS: Physical sciencesGeneral Physics and AstronomyDielectric polarisationElectric domain wallDomain (software engineering)chemistry.chemical_compoundQuality (physics)OpticsLanthanum compoundCondensed Matter - Materials Sciencebusiness.industryMaterials Science (cond-mat.mtrl-sci)Polarization and depolarization.Characterization (materials science)X-ray diffractionDomain wall (magnetism)chemistryLithium tantalateHysteresiDomain engineeringDomain structurebusinessRealization (systems)Optics (physics.optics)Physics - Optics
researchProduct

Capturing and Indexing Rehearsals: The Design and Usage of a Digital Archive of Performing Arts

2015

International audience; Preserving the cultural heritage of the performing arts raises difficult and sensitive issues, as each performance is unique by nature and the juxtaposition between the performers and the audience cannot be easily recorded. In this paper, we report on an experimental research project to preserve another aspect of the performing arts—the history of their rehearsals. We have specifically designed non-intrusive video recording and on-site documentation techniques to make this process transparent to the creative crew, and have developed a complete workflow to publish the recorded video data and their corresponding meta-data online as Open Data using state-of-the-art audi…

Digital archivingComputer science[ INFO.INFO-WB ] Computer Science [cs]/Web02 engineering and technology[ INFO.INFO-CV ] Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]computer.software_genre[SHS.MUSEO]Humanities and Social Sciences/Cultural heritage and museologyvideo processingWorld Wide WebDocumentationopera11. Sustainability0202 electrical engineering electronic engineering information engineeringAudio signal processing[ INFO.INFO-MM ] Computer Science [cs]/Multimedia [cs.MM]HypervideoMultimediahypervideo[INFO.INFO-WB]Computer Science [cs]/Web[INFO.INFO-MM]Computer Science [cs]/Multimedia [cs.MM][INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]020207 software engineering[ MATH.MATH-NA ] Mathematics [math]/Numerical Analysis [math.NA]Video processingLinked dataperforming artsaudio processingCultural heritageWorkflowtheaterLinked Data[ SHS.MUSEO ] Humanities and Social Sciences/Cultural heritage and museology020201 artificial intelligence & image processingPerforming artscomputer[MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
researchProduct

On the Existence of 1-Bounded Bi-ideals with the WELLDOC Property

2015

A combinatorial condition called well distributedoccurrences, or WELLDOC for short, has been introducedrecently. The proofs that WELLDOC property holds for thefamily of Sturmian words, and more generally, for Arnoux-Rauzy words are given in two papers by Balkova et al. The WELLDOC property for bounded bi-ideals is analysed inthis paper. The existence of a 1-bounded bi-ideal over thefinite alphabet that satisfies the WELLDOC property has beenproved by the authors.

Discrete mathematicsAlgebraProperty (philosophy)Computer scienceBounded functionAlphabetComputer-aided software engineeringMathematical proofElectronic mail2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
researchProduct

Complete, Exact and Efficient Implementation for Computing the Adjacency Graph of an Arrangement of Quadrics

2007

The original publication is available at www.springerlink.com ; ISBN 978-3-540-75519-7 ; ISSN 0302-9743 (Print) 1611-3349 (Online); International audience; We present a complete, exact and efficient implementation to compute the adjacency graph of an arrangement of quadrics, \ie surfaces of algebraic degree~2. This is a major step towards the computation of the full 3D arrangement. We enhanced an implementation for an exact parameterization of the intersection curves of two quadrics, such that we can compute the exact parameter value for intersection points and from that the adjacency graph of the arrangement. Our implementation is {\em complete} in the sense that it can handle all kinds of…

Discrete mathematicsDegree (graph theory)ComputationDegenerate energy levelsACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms020207 software engineering010103 numerical & computational mathematics02 engineering and technology[INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]01 natural sciencesACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.3: EfficiencyCombinatoricsIntersection0202 electrical engineering electronic engineering information engineeringGraph (abstract data type)Adjacency listGravitational singularity0101 mathematicsAlgebraic numberACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysisMathematics
researchProduct

Partial Finitely Generated Bi-Ideals

2016

Partial words have been studied by Blanchet-Sadri et al., but bi-ideals or reccurrent words have been studied for centuries by many researchers. This paper gives a solution for some problems for partial reccurrent words. This paper gives an algorithm for a given finitely generated bi-ideal, how to construct a new basis of ultimately finitely generated bi-ideal, which generates the same given bi-ideal. The paper states that it is always possible to find a basis for a given finitely generated bi-ideal. The main results of this paper are presented in third section. At first, we show that if two irreduciable bi-ideals are different, they will differ in infinitely many places. This led to the st…

Discrete mathematicsStatement (computer science)Mathematics::Commutative Algebra020207 software engineering0102 computer and information sciences02 engineering and technologyBasis (universal algebra)01 natural sciencesElectronic mailSection (category theory)Stallings theorem about ends of groups010201 computation theory & mathematics0202 electrical engineering electronic engineering information engineeringFinitely-generated abelian groupFinite setCounterexampleMathematics2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
researchProduct