Search results for "QUANTIFICATION"

showing 10 items of 157 documents

In-depth evaluation of software tools for data-independent acquisition based label-free quantification.

2015

Label-free quantification (LFQ) based on data-independent acquisition workflows currently experiences increasing popularity. Several software tools have been recently published or are commercially available. The present study focuses on the evaluation of three different software packages (Progenesis, synapter, and ISOQuant) supporting ion mobility enhanced data-independent acquisition data. In order to benchmark the LFQ performance of the different tools, we generated two hybrid proteome samples of defined quantitative composition containing tryptically digested proteomes of three different species (mouse, yeast, Escherichia coli). This model dataset simulates complex biological samples con…

Normalization (statistics)ProteomicsProteomeComputer sciencebusiness.industrycomputer.software_genreBiochemistryMass SpectrometryPeptide FragmentsIdentifierLabel-free quantificationSoftwareIsoquantYeastsProteomeEscherichia coliHumansData-independent acquisitionData miningCluster analysisbusinessMolecular BiologycomputerSoftwareProteomics
researchProduct

On the Power of Non-adaptive Learning Graphs

2012

We introduce a notion of the quantum query complexity of a certificate structure. This is a formalisation of a well-known observation that many quantum query algorithms only require the knowledge of the disposition of possible certificates in the input string, not the precise values therein. Next, we derive a dual formulation of the complexity of a non-adaptive learning graph, and use it to show that non-adaptive learning graphs are tight for all certificate structures. By this, we mean that there exists a function possessing the certificate structure and such that a learning graph gives an optimal quantum query algorithm for it. For a special case of certificate structures generated by cer…

FOS: Computer and information sciencesDiscrete mathematicsQuantum PhysicsTheoretical computer scienceComputational complexity theoryComputer scienceGeneral MathematicsExistential quantificationFOS: Physical sciencesGraph theoryString searching algorithmComputational Complexity (cs.CC)Query optimizationCertificateUpper and lower boundsTheoretical Computer ScienceComputational MathematicsComputer Science - Computational ComplexityComputational Theory and MathematicsBounded functionAdaptive learningSpecial caseQuantum Physics (quant-ph)Quantum computerMathematics2013 IEEE Conference on Computational Complexity
researchProduct

First-order linear differential equations whose data are complex random variables: Probabilistic solution and stability analysis via densities

2022

[EN] Random initial value problems to non-homogeneous first-order linear differential equations with complex coefficients are probabilistically solved by computing the first probability density of the solution. For the sake of generality, coefficients and initial condition are assumed to be absolutely continuous complex random variables with an arbitrary joint probability density function. The probability of stability, as well as the density of the equilibrium point, are explicitly determined. The Random Variable Transformation technique is extensively utilized to conduct the overall analysis. Several examples are included to illustrate all the theoretical findings.

Equilibrium pointcomplex differential equations with uncertaintiesuncertainty quantificationGeneral Mathematicsrandom modelsProbabilistic logicProbability density functionrandom variable transformation methodStability (probability)Transformation (function)Linear differential equationprobability density functionQA1-939Applied mathematicsInitial value problemMATEMATICA APLICADARandom variableMathematicsMathematicsAIMS Mathematics
researchProduct

A short proof of the self-improving regularity of quasiregular mappings

2005

. The theoryof quasiregular mappings is a central topic in modern analysis withimportant connections to a variety of topics as elliptic partial differen-tial equations, complex dynamics, differential geometry and calculus ofvariations [13] [10].A remarkable feature of quasiregular mappings is the self-improvingregularity. In 1957 [2], Bojarski proved that for planar quasiregularmappings, there exists an exponent

Feature (linguistics)Complex dynamicsPure mathematicsApplied MathematicsGeneral MathematicsExistential quantificationMathematical analysisExponentVariety (universal algebra)MathematicsProceedings of the American Mathematical Society
researchProduct

The seaweeds <i>Fucus vesiculosus</i> and <i>Ascophyllum nodosum</i> are significant contribu…

2013

Abstract. Based on the results of a pilot study in 2007, which found high mixing ratios of molecular iodine (I2) above the intertidal macroalgae (seaweed) beds at Mweenish Bay (Ireland), we extended the study to nine different locations in the vicinity of Mace Head Atmospheric Research Station on the west coast of Ireland during a field campaign in 2009. The mean values of I2 mixing ratio found above the macroalgae beds at nine different locations ranged from 104 to 393 ppt, implying a high source strength of I2. Such mixing ratios are sufficient to result in photochemically driven coastal new-particle formation events. Mixing ratios above the Ascophyllum nodosum and Fucus vesiculosus beds …

i-2Atmospheric Science010504 meteorology & atmospheric sciencesFucus vesiculosusIntertidal zone010501 environmental scienceschemistry01 natural sciencesAtmosphereAlgaeMixing ratiomolecular-iodine14. Life underwater0105 earth and related environmental sciencesbiologyparticle formationlaminaria-digitataiobiology.organism_classificationLaminaria digitataquantificationmarine boundary-layerOceanographyin-situ13. Climate actionchamber experimentsEnvironmental scienceBayAscophyllumAtmospheric Chemistry and Physics
researchProduct

Analysing the effect of public health campaigns on reducing excess weight: a modelling approach for the Spanish Autonomous Region of the Community of…

2012

Abstract Excess weight is fast becoming a serious health concern in the developed and developing world. The concern of the public health sector has lead to the development of public health campaigns, focusing on two-fold goals: to inform the public as to the health risks inherent in being overweight, and the benefits of a change in nutritional behaviour. Recent studies indicate that the effects of the average public health campaign on the target community is around 5%. In this study we aim to quantify the effect of different public health campaigns on lifestyle behaviour in the target populations in order to bring about weightloss in a significant number of people over the next few years. T…

MaleHealth Knowledge Attitudes PracticeStrategy and ManagementGeography Planning and DevelopmentHealth BehaviorExcess weightOverweightBody Mass IndexOrder (exchange)Community Health ServicesHealth EducationMiddle AgedHealth communication campaignsHealth policyPrimary PreventionHealth educationFemalePublic Healthmedicine.symptomMATEMATICA APLICADASimulationsAdultmedicine.medical_specialtySocial PsychologyExcess weightDeveloping countryHealth PromotionRisk AssessmentModellingEnvironmental healthQuantificationWeight LossmedicineHumansObesityBusiness and International ManagementPreventive policiesLife StyleHealth policyTreatment policiesAgedPublic healthPublic Health Environmental and Occupational HealthModels TheoreticalHealth promotionSpainPersonal AutonomyBusinessProgram EvaluationEvaluation and program planning
researchProduct

Automated uncertainty quantification analysis using a system model and data

2015

International audience; Understanding the sources of, and quantifying the magnitude of, uncertainty can improve decision-making and, thereby, make manufacturing systems more efficient. Achieving this goal requires knowledge in two separate domains: data science and manufacturing. In this paper, we focus on quantifying uncertainty, usually called uncertainty quantification (UQ). More specifically, we propose a methodology to perform UQ automatically using Bayesian networks (BN) constructed from three types of sources: a descriptive system model, physics-based mathematical models, and data. The system model is a high-level model describing the system and its parameters; we develop this model …

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI]generic modeling environment[SPI] Engineering Sciences [physics]Computer scienceuncertainty quantificationMachine learningcomputer.software_genre01 natural sciencesData modelingSystem model[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]010104 statistics & probability03 medical and health sciences[SPI]Engineering Sciences [physics][ SPI ] Engineering Sciences [physics]Sensitivity analysis0101 mathematicsUncertainty quantification[ INFO.INFO-AI ] Computer Science [cs]/Artificial Intelligence [cs.AI]030304 developmental biologyautomation0303 health sciencesMathematical modelbusiness.industryConditional probabilityBayesian networkmeta-modelMetamodelingBayesian networkProbability distributionData miningArtificial intelligencebusinesscomputer
researchProduct

Proteomics Standards Initiative: Fifteen Years of Progress and Future Work.

2017

Abstract: The Proteomics Standards Initiative (PSI) of the Human Proteome Organization (HUPO) has now been developing and promoting open community standards and software tools in the field of proteomics for 15 years. Under the guidance of the chair, co-chairs, and other leadership positions, the PSI working groups are tasked with the development and maintenance of community standards via special workshops and ongoing work. Among the existing, ratified standards, the PSI working groups continue to update PSI-MI XML, MITAB, mzML, mzIdentML, mzQuantML, mzTab, and the MIAPE (Minimum Information About a Proteomics Experiment) guidelines with the advance of new technologies and techniques. Furthe…

0301 basic medicineProteomicsprotein quantificationEmerging technologiesComputer sciencecomputer.internet_protocolGuidelines as Topiccomputer.software_genreBiochemistry03 medical and health sciencesprotein identificationHuman proteome projectHumansCommunity standardsquality controlDatabases ProteinBiologydatabasemass spectrometryComputer. Automation030102 biochemistry & molecular biologyApplication programming interfaceProteomics Standards InitiativeGeneral ChemistryReference StandardsData sciencemetabolomicsChemistry030104 developmental biologyPerspectivedata standardWeb servicebioinformatics softwareWorking groupcomputerXMLSoftwaremolecular interactionsJournal of proteome research
researchProduct

Herramientas matemáticas multi-escala para el tratamiento de señales

2019

En aquesta tesi doctoral, presentada com a compendi d'articles, es desenvolupen diverses eines matemàtiques per a processar senyals procedents de problemes reals. Aquestes tècniques estan basades en la teoria de la multi-resolució de Harten i la teoria d'esquemes de subdivisió. En aquest compendi es recullen treballs de disseny de nous esquemes de subdivisió no-lineals i aplicacions en Química Analítica, en optimització i en el disseny de velers de competició, entre d'altres. In this doctoral thesis, presented as a compendium of articles, various mathematical tools are developed to process signals from real problems. These techniques are based on Harten's multi-resolution framework and subd…

Tratamiento de señalesOptimización no-linealQuímica AnalíticaUncertainty QuantificationEsquemas de subdivisiónAnálisis de multirresoluciónMultirresolución de HartenCromatografíaAproximación numérica
researchProduct

Screening and authentication of herbal formulations based on microextraction-assisted voltammetry of microparticles

2015

A simple solid state electrochemical methodology for screening and authentication of herbal formulations is described. The proposed method is based on the recording of the voltammetric response, in contact with aqueous buffers, of microparticulate films of antioxidant compounds resulting from micro-extraction of dried herbal samples with ethanol or acetone. The obtained voltammetric responses led us to differentiate between diverse active components upon application of bivariate and multivariate chemometric techniques. Resolution of herbal preparations containing two or more components is possible when well-separated voltammetric signals are recorded. In favorable cases, such characteristic…

Aqueous solutionChromatographyResolution (mass spectrometry)ChemistryGeneral Chemical EngineeringAbsolute quantificationGeneral EngineeringActive componentsSolid-stateAnalytical Chemistrychemistry.chemical_compoundAcetoneHerbal preparationsVoltammetryAnal. Methods
researchProduct