Search results for " Software"

showing 10 items of 1178 documents

Il paradigma proprietario e l'appropriazione dell'immateriale

2014

Uno studio sui paradigmi dell'appropriazione materiale e immateriale, con particolare attenzione per il diritto privato europeo e dalle prospettive dei limiti dei diritti e dell'evoluzione tecnologica. A study on the paradigms of the material and immaterial appropriation, with particular attention to the european private law and from the perspective of limitations to the rights and technological innovation.

Proprietà proprietà intellettuale diritto d'autore proprietà europea diritto privato europeo diritto dell'unione europea funzione sociale pubblico dominio beni comuni open source internet cloud software peer-to-peer social network streaming open patentSettore IUS/01 - Diritto Privato
researchProduct

Investigating the causal mechanisms underlying the customization of software development methods

2017

Over the last four decades, software development has been one of the mainstream topics in the Software Engineering and Information Systems disciplines. Thousands of methods have been put forward offering prescriptions for software development processes. The goal of these methods is to produce high-quality software in a systematic manner. However, it is widely known that these methods are rarely followed as prescribed – developers often modify or skip different steps, practices, or quality rules recommended by software development methods. While a group of previous studies suggests that maximizing the flexibility and leanness of software development processes is the key driver of such custom…

Prosessiteoriatekninen velkaKirjallisuuskatsauksetohjelmistokehittäjätohjelmistotuotantosystematic literature reviewlaatubalancinginformation systems developmentGrounded theorytyötavatmenetelmättyömenetelmättechnical debtprocess theoryräätälöintisoftware development methodsbehavioral software engineeringohjelmistokehitysvaatimukset
researchProduct

Minimal Information About an Immuno-Peptidomics Experiment (MIAIPE)

2018

Minimal Information about an Immuno-Peptidomics Experiment (MIAIPE) is an initiative of the members of the Human Immuno-Peptidome Project (HIPP), an international program organized by the Human Proteome Organization (HUPO). The aim of the MIAIPE guidelines is to deliver technical guidelines representing the minimal information required to sufficiently support the evaluation and interpretation of immunopeptidomics experiments. The MIAIPE document has been designed to report essential information about sample preparation, mass spectrometric measurement and associated mass spectrometry (MS)-related bioinformatics aspects that are unique to immunopeptidomics and may not be covered by the genera…

Proteomics0301 basic medicineComputer scienceComputational biologyProteomicsBiochemistrySpecimen Handling03 medical and health sciencesStandardisation & GuidelinesHuman proteome projectHumansantigen processing and presentationDatabases ProteinMolecular Biology030102 biochemistry & molecular biologyHistocompatibility Antigens Class IHistocompatibility Antigens Class IIimmunopeptidomicsComputational BiologyMass spectrometricPeptide Fragmentsmajor histocompatibility complex3. Good health030104 developmental biologyComputational Biology/standards; Databases Protein; Histocompatibility Antigens Class I/analysis; Histocompatibility Antigens Class I/immunology; Histocompatibility Antigens Class I/metabolism; Histocompatibility Antigens Class II/analysis; Histocompatibility Antigens Class II/immunology; Histocompatibility Antigens Class II/metabolism; Humans; Peptide Fragments/analysis; Peptide Fragments/immunology; Peptide Fragments/metabolism; Proteomics/standards; Software; Specimen Handling/standards; antigen processing and presentation; immunopeptidomics; major histocompatibility complexSoftwareantigen processing and presentation; immunopeptidomics; major histocompatibility complex
researchProduct

Teaching mechanical oscillations using an integrate curriculum

1997

Abstract A set of teaching materials dealing with harmonic oscillations was developed as part of a research project investigating the influence of different pedagogical tools on physics learning. The materials incorporate simulation software and laboratory activities associated with Teacher and Student Units. The project involved research groups at seven Italian universities and the materials have been trialled in high schools nation‐wide. This paper describes the experimental protocol for the use of these materials in pilot classes and the evaluation of student learning and teacher training results. The intervention was found to improve physics education at school praxis level and to promo…

Protocol (science)Sociology of scientific knowledgePraxisContent areaLaboriatorymedia_common.quotation_subjectPhysics educationOn-line measurementsinnovative apprachesIntegrated curriculumcomputer.software_genreEducationSimulation softwarePhysics EducationSeven Italian universities coordinationMechanical OscillationsPhysics Education; Mechanical Oscillations; Laboriatory; On-line measurementsComputingMilieux_COMPUTERSANDEDUCATIONMathematics educationstudents difficultieSet (psychology)computermedia_common
researchProduct

Deformed quons and bi-coherent states

2017

We discuss how a q-mutation relation can be deformed replacing a pair of conjugate operators with two other and unrelated operators, as it is done in the construction of pseudo-fermions, pseudo-bosons and truncated pseudo-bosons. This deformation involves interesting mathematical problems and suggests possible applications to pseudo-hermitian quantum mechanics. We construct bi-coherent states associated to $\D$-pseudo-quons, and we show that they share many of their properties with ordinary coherent states. In particular, we find conditions for these states to exist, to be eigenstates of suitable annihilation operators and to give rise to a resolution of the identity. Two examples are discu…

Pseudo-bosonComputer Science::Machine LearningSimilarity (geometry)Mathematical problemGeneral MathematicsFOS: Physical sciencesGeneral Physics and AstronomyComputer Science::Digital Libraries01 natural sciencesPhysics and Astronomy (all)Statistics::Machine LearningTheoretical physicsIdentity (mathematics)Engineering (all)Quon0103 physical sciencesMathematics (all)0101 mathematics010306 general physicsSettore MAT/07 - Fisica MatematicaEigenvalues and eigenvectorsMathematical PhysicsPhysicsQuantum PhysicsAnnihilation010102 general mathematicsGeneral EngineeringMathematical Physics (math-ph)Bounded functionComputer Science::Mathematical SoftwareCoherent statesQuantum Physics (quant-ph)Coherent stateResolution (algebra)
researchProduct

Chronic obstructive lung disease “expert system”: Validation of a predictive tool for assisting diagnosis

2018

Purpose: The purposes of this study were development and validation of an expert system (ES) aimed at supporting the diagnosis of chronic obstructive lung disease (COLD). Methods: A questionnaire and a WebFlex code were developed and validated in silico. An expert panel pilot validation on 60 cases and a clinical validation on 241 cases were performed. Results: The developed questionnaire and code validated in silico resulted in a suitable tool to support the medical diagnosis. The clinical validation of the ES was performed in an academic setting that included six different reference centers for respiratory diseases. The results of the ES expressed as a score associated with the risk of su…

Pulmonary and Respiratory MedicineChronic ObstructivePilot ProjectsExpert SystemsSettore MED/10 - Malattie Dell'Apparato RespiratorioPulmonary DiseasePulmonary Disease Chronic ObstructiveSoftware DesignSurveys and QuestionnairesChronic obstructive lung diseaseDiagnosisSurveys and QuestionnaireHumansAge FactorPilot ProjectExpert SystemChronic obstructive lung diseasesAgedHealth PolicyEnvironmental and Occupational HealthPublic Health Environmental and Occupational HealthMethodologyAge FactorsChronic obstructive lung diseases Diagnosis Expert systems Pulmonary and Respiratory Medicine Health Policy Public Health Environmental and Occupational HealthMiddle AgedAsthmaCoughSpirometrySample SizeChronic DiseasePublic HealthChronic obstructive lung diseases; Diagnosis; Expert systems; Age Factors; Aged; Asthma; Chronic Disease; Cough; Humans; Middle Aged; Pilot Projects; Pulmonary Disease Chronic Obstructive; Sample Size; Spirometry; Expert Systems; Software Design; Surveys and QuestionnairesDiagnosiHuman
researchProduct

Hamiltonians Generated by Parseval Frames

2021

AbstractIt is known that self-adjoint Hamiltonians with purely discrete eigenvalues can be written as (infinite) linear combination of mutually orthogonal projectors with eigenvalues as coefficients of the expansion. The projectors are defined by the eigenvectors of the Hamiltonians. In some recent papers, this expansion has been extended to the case in which these eigenvectors form a Riesz basis or, more recently, a ${\mathcal{D}}$ D -quasi basis (Bagarello and Bellomonte in J. Phys. A 50:145203, 2017, Bagarello et al. in J. Math. Phys. 59:033506, 2018), rather than an orthonormal basis. Here we discuss what can be done when these sets are replaced by Parseval frames. This interest is moti…

Pure mathematicsBasis (linear algebra)Applied MathematicsFrames Hamiltonian operators Orthonormal basesSpectrum (functional analysis)Hilbert spacePhysical systemObservableComputer Science::Digital LibrariesParseval's theoremsymbols.namesakeComputer Science::Mathematical SoftwaresymbolsOrthonormal basisSettore MAT/07 - Fisica MatematicaEigenvalues and eigenvectorsMathematics
researchProduct

All congruences below stability-preserving fair testing or CFFD

2020

AbstractIn process algebras, a congruence is an equivalence that remains valid when any subsystem is replaced by an equivalent one. Whether or not an equivalence is a congruence depends on the set of operators used in building systems from subsystems. Numerous congruences have been found, differing from each other in fine details, major ideas, or both, and none of them is good for all situations. The world of congruences seems thus chaotic, which is unpleasant, because the notion of congruence is at the heart of process algebras. This study continues attempts to clarify the big picture by proving that in certain sub-areas, there are no other congruences than those that are already known or …

Pure mathematicsComputer Networks and CommunicationsMathematics::Number TheoryStability (learning theory)Contrast (statistics)020207 software engineering0102 computer and information sciences02 engineering and technologyCongruence relation01 natural sciencesSmall setSet (abstract data type)Congruence (geometry)010201 computation theory & mathematicsrinnakkaiskäsittelyTheory of computation0202 electrical engineering electronic engineering information engineeringEquivalence (measure theory)SoftwaretietojenkäsittelyInformation SystemsMathematics
researchProduct

Decoupling on the Wiener Space, Related Besov Spaces, and Applications to BSDEs

2021

We introduce a decoupling method on the Wiener space to define a wide class of anisotropic Besov spaces. The decoupling method is based on a general distributional approach and not restricted to the Wiener space. The class of Besov spaces we introduce contains the traditional isotropic Besov spaces obtained by the real interpolation method, but also new spaces that are designed to investigate backwards stochastic differential equations (BSDEs). As examples we discuss the Besov regularity (in the sense of our spaces) of forward diffusions and local times. It is shown that among our newly introduced Besov spaces there are spaces that characterize quantitative properties of directional derivat…

Pure mathematicsGeneral MathematicsType (model theory)Directional derivativeSpace (mathematics)Computer Science::Digital LibrariesStochastic differential equationQuadratic equationFOS: MathematicsAnisotropic Besov spacesMathematicsstokastiset prosessitosittaisdifferentiaaliyhtälöt60H07 60H10 46E35Applied MathematicsProbability (math.PR)Decoupling (cosmology)interpolationFunctional Analysis (math.FA)Mathematics - Functional Analysisbackward stochastic differential equationsComputer Science::Mathematical Softwaredecoupling on the Wiener spacefunktionaalianalyysiMathematics - ProbabilityGenerator (mathematics)Interpolation
researchProduct

Introducing a novel mesh following technique for approximation-free robotic tool path trajectories

2017

Abstract Modern tools for designing and manufacturing of large components with complex geometries allow more flexible production with reduced cycle times. This is achieved through a combination of traditional subtractive approaches and new additive manufacturing processes. The problem of generating optimum tool-paths to perform specific actions (e.g. part manufacturing or inspection) on curved surface samples, through numerical control machinery or robotic manipulators, will be increasingly encountered. Part variability often precludes using original design CAD data directly for toolpath generation (especially for composite materials), instead surface mapping software is often used to gener…

QA750209 industrial biotechnologyEngineeringComputational MechanicsMesh following techniqueCAD02 engineering and technologyTool path generationTriangular meshescomputer.software_genreNDT020901 industrial engineering & automationSoftwarelcsh:TA1740202 electrical engineering electronic engineering information engineeringComputer Aided DesignEngineering (miscellaneous)SimulationCommercial softwareSubtractive colorbusiness.industry020207 software engineeringRoboticsRoboticslcsh:Engineering designComputer Graphics and Computer-Aided DesignHuman-Computer InteractionComputational MathematicsModeling and SimulationComputer-aided manufacturingNumerical controlArtificial intelligencebusinessAlgorithmcomputerJournal of Computational Design and Engineering
researchProduct