Search results for "Computer programming"

showing 10 items of 741 documents

Towards an Understanding of the Causes of Difficulties in Debugging

2018

Debugging remains one of the areas that have seen little progress since the early days of programming. We argue that the academic approach of observational studies is incapable of capturing the essence of debugging in complex software. Instead, reflections by programmers may provide a better description of the debugging nature and challenges. In this article, we describe a study where we capture the reflections of programmers on thorny bugs that exemplify the major sources of difficulties in debugging. More importantly, we provide suggestions on what could have been done to avoid such thorny bugs from occurring with the same level of difficulties. As a major conclusion, we argue that the be…

SoftwareReflection (computer programming)Software bugDebuggingComputer sciencebusiness.industrymedia_common.quotation_subjectMajor conclusionProgram developmentSoftware engineeringbusinessmedia_commonVisualization2018 International Conference on Computer and Applications (ICCA)
researchProduct

Advanced functionality for radio analysis in the Offline software framework of the Pierre Auger Observatory

2011

The advent of the Auger Engineering Radio Array (AERA) necessitates the development of a powerful framework for the analysis of radio measurements of cosmic ray air showers. As AERA performs ‘‘radio- hybrid’’ measurements of air shower radio emission in coincidence with the surface particle detectors and fluorescence telescopes of the Pierre Auger Observatory, the radio analysis functionality had to be incorporated in the existing hybrid analysis solutions for fluorescence and surface detector data. This goal has been achieved in a natural way by extending the existing Auger Offline software framework with radio functionality. In this article, we lay out the design, highlights and features …

Source codeAstronomycomputer.software_genre01 natural sciencesObservatoryAuger experimentRadio detectionSOFTWARES (ANÁLISE)Instrumentationcosmic rays; radio detection; analysis software; detector simulationmedia_commonPhysicsPhysicsDetectoranalysis softwareAstrophysics::Instrumentation and Methods for AstrophysicsComputingMethodologies_DOCUMENTANDTEXTPROCESSINGFísica nuclearAstrophysics - Instrumentation and Methods for AstrophysicsComputer hardwareNuclear and High Energy Physics[PHYS.ASTR.IM]Physics [physics]/Astrophysics [astro-ph]/Instrumentation and Methods for Astrophysic [astro-ph.IM]media_common.quotation_subjectAstrophysics::High Energy Astrophysical PhenomenaFOS: Physical sciencesAnalysis softwareDetector simulationCosmic rayAstrophysics::Cosmology and Extragalactic AstrophysicsCosmic Rayradio detectionNuclear physicscosmic raysRAY AIR-SHOWERS0103 physical sciencesDETECTORSInstrumentation (computer programming)010306 general physicsInstrumentation and Methods for Astrophysics (astro-ph.IM)Cosmic raysCiencias ExactasNuclear and High Energy PhysicPierre Auger Observatory010308 nuclear & particles physicsbusiness.industrydetector simulationFísicaCosmic ray[SDU.ASTR.IM]Sciences of the Universe [physics]/Astrophysics [astro-ph]/Instrumentation and Methods for Astrophysic [astro-ph.IM]Software frameworkAir showerExperimental High Energy PhysicsEMISSIONbusinesscomputerMONTE-CARLO SIMULATIONS
researchProduct

Dynamics and spectra of composition operators on the Schwartz space

2017

[EN] In this paper we study the dynamics of the composition operators defined in the Schwartz space of rapidly decreasing functions. We prove that such an operator is never supercyclic and, for monotonic symbols, it is power bounded only in trivial cases. For a polynomial symbol ¿ of degree greater than one we show that the operator is mean ergodic if and only if it is power bounded and this is the case when ¿ has even degree and lacks fixed points. We also discuss the spectrum of composition operators.

Space of rapidly decreasing functionsMathematics::Functional AnalysisPure mathematicsComposition operator010102 general mathematicsSpectrum (functional analysis)Power bounded operatorMonotonic functionFixed pointMean ergodic composition operator01 natural sciencesFunctional Analysis (math.FA)Mathematics - Functional Analysis010101 applied mathematicsOperator (computer programming)Schwartz spaceBounded functionSpectrumFOS: MathematicsErgodic theory0101 mathematicsMATEMATICA APLICADAAnalysisMathematics
researchProduct

Composition operators on the Schwartz space

2018

[EN] We study composition operators on the Schwartz space of rapidly decreasing functions. We prove that such a composition operator is never a compact operator and we obtain necessary or sufficient conditions for the range of the composition operator to be closed. These conditions are expressed in terms of multipliers for the Schwartz class and the closed range property of the corresponding operator considered in the space of smooth functions.

Space of rapidly decreasing functionsPure mathematicsClass (set theory)Composition operatorGeneral MathematicsComposite function problem010102 general mathematicsComposition (combinatorics)Space (mathematics)Compact operator01 natural sciencesFunctional Analysis (math.FA)Mathematics - Functional Analysis010101 applied mathematicsRange (mathematics)47B33 46F05 47A05Operator (computer programming)Schwartz spaceFOS: MathematicsComposition operator0101 mathematicsMATEMATICA APLICADAMathematicsRevista Matemática Iberoamericana
researchProduct

Magnetic resonance imaging of the siliceous skeleton of the demosponge Lubomirskia baicalensis

2005

The skeletal elements (spicules) of the demosponge Lubomirskia baicalensis were analyzed; they are composed of amorphous, non-crystalline silica, and contain in a central axial canal the axial filament which consists of the enzyme silicatein. The axial filament, that orients the spicule in its longitudinal axis exists also in the center of the spines which decorate the spicule. During growth of the sponge, new serially arranged modules which are formed from longitudinally arranged spicule bundles are added at the tip of the branches. X-ray analysis revealed that these serial modules are separated from each other by septate zones (annuli). We describe that the longitudinal bundles of spicule…

SpiculebiologyAnatomyLubomirskia baicalensisbiology.organism_classificationSilicon DioxideSkeleton (computer programming)Magnetic Resonance ImagingModels BiologicalPoriferaRadiographySpongeDemospongeSponge spiculeNuclear magnetic resonanceApex (mollusc)Structural BiologyMicroscopy Electron ScanningAnimalsLongitudinal axisBody PatterningJournal of Structural Biology
researchProduct

Strengthened splitting methods for computing resolvents

2021

In this work, we develop a systematic framework for computing the resolvent of the sum of two or more monotone operators which only activates each operator in the sum individually. The key tool in the development of this framework is the notion of the “strengthening” of a set-valued operator, which can be viewed as a type of regularisation that preserves computational tractability. After deriving a number of iterative schemes through this framework, we demonstrate their application to best approximation problems, image denoising and elliptic PDEs. FJAA and RC were partially supported by the Ministry of Science, Innovation and Universities of Spain and the European Regional Development Fund …

Splitting algorithmControl and Optimization0211 other engineering and technologies47H05 90C30 65K05Elliptic pdesMonotonic function02 engineering and technology01 natural sciencesMonotone operatorOperator (computer programming)Development (topology)Estadística e Investigación OperativaFOS: Mathematics0101 mathematicsImage denoisingResolventMathematics - Optimization and ControlMathematicsResolvent021103 operations researchApplied Mathematics010102 general mathematicsAlgebraComputational MathematicsMonotone polygonOptimization and Control (math.OC)StrengtheningKey (cryptography)Computational Optimization and Applications
researchProduct

Linear stability analysis of gas-fluidized beds for the prediction of incipient bubbling conditions

2010

Abstract This work focuses on the development of a novel linear stability criterion for the state of homogeneous fluidization regime, based on a new mathematical model for gas-fluidized beds. The model is developed starting from the well-known particle bed model. A mono-dimensional momentum balance is derived leading to a set of equations which explicitly include voidage-gradient dependent terms (elastic force) for both solid and fluid phases. A fully predictive criterion for the stability of homogeneous fluidization state is here proposed, based on the well-known Wallis’ linear stability analysis. The criterion requires the choice of an appropriate averaging distance, which in the present …

Stability criterionSettore ING-IND/26 - Teoria Dello Sviluppo Dei Processi ChimiciWork (thermodynamics)Gas fluidization Stability criterion Mathematical modellingSettore ING-IND/25 - Impianti ChimiciGeneral Chemical EngineeringGeneral ChemistryState (functional analysis)MechanicsStability (probability)Industrial and Manufacturing EngineeringMATHEMATICAL MODELLINGClosure (computer programming)Control theoryEnvironmental ChemistryParticleSensitivity (control systems)FluidizationGas fluidizationMathematicsLinear stabilityChemical Engineering Journal
researchProduct

Expert-based versus citation-based ranking of scholarly and scientific publication channels

2016

Abstract The Finnish publication channel quality ranking system was established in 2010. The system is expert-based, where separate panels decide and update the rankings of a set of publications channels allocated to them. The aggregated rankings have a notable role in the allocation of public resources into universities. The purpose of this article is to analyze this national ranking system. The analysis is mainly based on two publicly available databases containing the publication source information and the actual national publication activity information. Using citation-based indicators and other available information with association rule mining, decision trees, and confusion matrices, …

Statistics and ProbabilityAssociation rule learningPerformance-based fundingComputer sciencemedia_common.quotation_subjectDecision treeScopusManagement Science and Operations ResearchLibrary and Information Sciences050905 science studiesModelling and SimulationScopusQuality (business)Reference modelmedia_commonta113Information retrievalApplied Mathematics05 social sciencesRank (computer programming)Journal citation reportsData scienceComputer Science ApplicationsRankingFinnish ranking system0509 other social sciences050904 information & library sciencesCitationJournal evaluationJournal of Informetrics
researchProduct

Vector coherent states and intertwining operators

2009

In this paper we discuss a general strategy to construct vector coherent states of the Gazeau-Klauder type and we use them to built up examples of isospectral hamiltonians. For that we use a general strategy recently proposed by the author and which extends well known facts on intertwining operators. We also discuss the possibility of constructing non-isospectral hamiltonians with related eigenstates.

Statistics and ProbabilityComputer scienceFOS: Physical sciencesGeneral Physics and AstronomyStatistical and Nonlinear PhysicsMathematical Physics (math-ph)Construct (python library)Intertwining operatorcoherent statesType (model theory)AlgebraIsospectralOperator (computer programming)Modeling and SimulationCoherent statesMathematics::Mathematical PhysicsSettore MAT/07 - Fisica MatematicaEigenvalues and eigenvectorsMathematical Physics
researchProduct

Algorithms and tools for protein-protein interaction networks clustering, with a special focus on population-based stochastic methods

2014

Abstract Motivation: Protein–protein interaction (PPI) networks are powerful models to represent the pairwise protein interactions of the organisms. Clustering PPI networks can be useful for isolating groups of interacting proteins that participate in the same biological processes or that perform together specific biological functions. Evolutionary orthologies can be inferred this way, as well as functions and properties of yet uncharacterized proteins. Results: We present an overview of the main state-of-the-art clustering methods that have been applied to PPI networks over the past decade. We distinguish five specific categories of approaches, describe and compare their main features and …

Statistics and ProbabilityComputer sciencePopulationPopulation basedMachine learningcomputer.software_genreBiochemistryProtein protein interaction networkgenetic algorithmsProtein–protein interactionBioinformatics Clustering Biological NetworksPPI networkscomplex detectionProtein Interaction MappingAnimalsCluster AnalysisHumanseducationCluster analysisMolecular BiologyTopology (chemistry)Class (computer programming)education.field_of_studybusiness.industryfood and beveragesProteinsComputer Science ApplicationsComputational MathematicsComputational Theory and MathematicsArtificial intelligenceData miningbusinessFocus (optics)computerAlgorithms
researchProduct