Search results for "Mathematica"

showing 10 items of 7971 documents

Stochastic Decision Support Models and Optimal Stopping Rules in a New Product Lifetime Testing

2010

Determining when to stop a statistical test is an important management decision. Several stopping criteria have been proposed, including criteria based on statistical similarity, the probability that the system has a desired reliability, and the expected cost of remaining faults. This paper presents a new stopping rule in fixed-sample testing based on the statistical estimation of total costs involved in the decision to continue beyond an early failure as well as a stopping rule in sequential-sample testing to determine when testing should be stopped. The paper considers the problem that can be stated as follows. A new product is submitted for lifetime testing. The product will be accepted …

Decision support systemMathematical optimizationbusiness.industryComputer scienceNew product developmentOptimal stoppingbusiness
researchProduct

Stochastic multicriteria acceptability analysis using the data envelopment model

2006

Abstract Data envelopment analysis (DEA) and stochastic multicriteria acceptability analysis (SMAA-2) are methods for evaluating alternatives based on multiple criteria. While DEA is mainly an ex-post tool used for classifying alternatives into efficient and inefficient ones, SMAA-2 is an ex-ante tool for supporting multiple criteria decision-making. Both methods use a kind of value function where the importance of criteria is modeled using weights. Unlike many other methods, neither DEA nor SMAA-2 requires decision-makers’ weights as input. Instead, these so-called non-parametric methods explore the weight space in order to identify weights favorable for each alternative. This paper introd…

Decision support systemStochastic multicriteria acceptability analysisMathematical optimizationInformation Systems and ManagementGeneral Computer ScienceOperations researchWeight spaceStochastic efficiencyExtension (predicate logic)Management Science and Operations ResearchIndustrial and Manufacturing EngineeringModeling and SimulationBellman equationData envelopment analysisEnvelopmentMathematicsEuropean Journal of Operational Research
researchProduct

An automated image analysis methodology for classifying megakaryocytes in chronic myeloproliferative disorders

2008

This work describes an automatic method for discrimination in microphotographs between normal and pathological human megakaryocytes and between two kinds of disorders of these cells. A segmentation procedure has been developed, mainly based on mathematical morphology and wavelet transform, to isolate the cells. The features of each megakaryocyte (e.g. area, perimeter and tortuosity of the cell and its nucleus, and shape complexity via elliptic Fourier transform) are used by a regression tree procedure applied twice: the first time to find the set of normal megakaryocytes and the second to distinguish between the pathologies. The output of our classifier has been compared to the interpretati…

Decision treeReproducibility of ResultHealth InformaticsMathematical morphologySensitivity and SpecificityWavelet analysiPattern Recognition Automatedsymbols.namesakeWaveletMegakaryocyteMegakaryocyteArtificial IntelligenceImage Interpretation Computer-AssistedmedicineAnimalsHumansRadiology Nuclear Medicine and imagingComputer visionSegmentationMyeloproliferative DisorderCells Cultured1707MathematicsHealth InformaticMyeloproliferative DisordersSettore INF/01 - InformaticaRadiological and Ultrasound TechnologyAnimalbusiness.industryMorphometryReproducibility of ResultsWavelet transformPattern recognitionAutomatic classification; Elliptic Fourier transform; Morphometry; Wavelet analysis; Animals; Cells Cultured; Humans; Image Enhancement; Image Interpretation Computer-Assisted; Megakaryocytes; Myeloproliferative Disorders; Pattern Recognition Automated; Reproducibility of Results; Sensitivity and Specificity; Algorithms; Artificial Intelligence; Computer Graphics and Computer-Aided Design; 1707; Radiology Nuclear Medicine and Imaging; Health Informatics; Radiological and Ultrasound TechnologyImage EnhancementComputer Graphics and Computer-Aided DesignAlgorithmFourier transformmedicine.anatomical_structuresymbolsAutomatic classificationElliptic Fourier transformComputer Vision and Pattern RecognitionArtificial intelligencebusinessMegakaryocytesClassifier (UML)AlgorithmsHumanMedical Image Analysis
researchProduct

Lower semicontinuity of weak supersolutions to the porous medium equation

2013

Weak supersolutions to the porous medium equation are defined by means of smooth test functions under an integral sign. We show that nonnegative weak supersolutions become lower semicontinuous after redefinition on a set of measure zero. This shows that weak supersolutions belong to a class of supersolutions defined by a comparison principle.

Degenerate diffusion35K55 31C45Applied MathematicsGeneral MathematicsMathematical analysista111Mathematics::Analysis of PDEscomparison principlelower semicontinuitysupersolutionsMathematics - Analysis of PDEsporous medium equationFOS: MathematicsPorous mediumdegenerate diffusionSign (mathematics)MathematicsAnalysis of PDEs (math.AP)
researchProduct

Boundary behavior of quasi-regular maps and the isodiametric profile

2001

We study obstructions for a quasi-regular mapping f : M → N f:M\rightarrow N of finite degree between Riemannian manifolds to blow up on or collapse on a non-trivial part of the boundary of M M .

Degree (graph theory)Mathematical analysisMathematics::Analysis of PDEsBoundary (topology)Collapse (topology)GeometryGeometry and TopologyMathematics::Differential GeometryMathematics::Geometric TopologyMathematics::Symplectic GeometryBoundary behavior.Quasi-regular mappingsMathematics
researchProduct

Delay-Dependent Control for Networked Control Systems with Large Delays

2013

We consider the problems of robust stability and control for a class of networked control systems with long-time delays. Firstly, a nonlinear discrete time model with mode-dependent time delays is proposed by converting the uncertainty of time delay into the uncertainty of parameter matrices. We consider a probabilistic case where the system is switched among different subsystems, and the probability of each subsystem being active is defined as its occurrence probability. For a switched system with a known subsystem occurrence probabilities, we give a stochastic stability criterion in terms of linear matrix inequalities (LMIs). Then, we extend the results to a more practical case where the …

Delay dependentMathematical problemArticle SubjectComputer sciencelcsh:TA1-2040General MathematicsControl systemlcsh:MathematicsControl (management)General EngineeringControl engineeringlcsh:Engineering (General). Civil engineering (General)lcsh:QA1-939Mathematical Problems in Engineering
researchProduct

B-parameters for ΔS=2 supersymmetric operators

1998

We present a calculation of the matrix elements of the most general set of DeltaS=2 dimension-six four-fermion operators. The values of the matrix elements are given in terms of the corresponding B-parameters. Our results can be used in many phenomenological applications, since the operators considered here give important contributions to K^0--K^0bar mixing in several extensions of the Standard Model (supersymmetry, left-right symmetric models, multi-Higgs models etc.). The determination of the matrix elements improves the accuracy of the phenomenological analyses intended to put bounds on basic parameters of the different models, as for example the pattern of the sfermion mass matrices. Th…

DeltaNuclear and High Energy PhysicsHigh Energy Physics::LatticeLattice (group)FOS: Physical sciencesQuenched approximationRenormalizationMatrix (mathematics)Theoretical physicsHigh Energy Physics - LatticeHigh Energy Physics - Phenomenology (hep-ph)Lattice (order)Mixing (physics)Mathematical physicskaon decays lattice supersymmetryPhysicsHigh Energy Physics - Lattice (hep-lat)FísicaSupersymmetryAtomic and Molecular Physics and Opticskaone decays lattice supersymmetryFIS/02 - FISICA TEORICA MODELLI E METODI MATEMATICIHigh Energy Physics - PhenomenologyStandard Model (mathematical formulation)SfermionNon-perturbative
researchProduct

La demostración matemática: problemática actual

2002

RESUMENAnalizamos la problemática actual en torno a la demostración matemática, con particular énfasis en las ideas introducidas por las demostraciones asistidas por ordenador y por la llamada matemática experimental. Examinamos además la influencia que pueden tener estas ideas sobre el concepto de demostración y proponemos una caracterización atendiendo a las diferentes funciones que puede desempeñar la demostración en su vertientes explicativa, comunicativa, sistematizadora, como incrementadora de la comprensión de resultados y como transmisora de conocimiento y convicción. Finalmente, se ofrecen algunas conclusiones sobre problemas relacionados con la intuición, la lógica, la certeza, el…

Demostración asistida por ordenadorPhilosophycuasi-empirismoConocimiento matemáticoDemostraciónMathematical proof:LÓGICA [UNESCO]HumanitiesUNESCO::LÓGICAMathematicsEpistemologyContrastes. Revista Internacional de Filosofía
researchProduct

Mathematical modelling of greenhouse gas emissions from membrane bioreactors: A comprehensive comparison of two mathematical models.

2018

Abstract This paper compares two mathematical models (Model I and Model II) to predict greenhouse gases emission from a University Cape Town (UCT) – membrane bioreactor (MBR) plant. Model I considers N 2 O production only during denitrification. Model II takes into account the ammonia-oxidizing bacteria (AOB) formation pathways for N 2 O. Both models were calibrated adopting real data. Model comparison was performed in terms of (i) sensitivity analysis (ii) best fit and (iii) model prediction uncertainty. On average 6% of factors of Model I and 9% of Model II resulted to be important. In terms of best fit, Model II had a better capability of reproducing the measured data. The average effici…

DenitrificationEnvironmental EngineeringModel prediction0208 environmental biotechnologyBioreactorNitrous OxideSoil scienceBioengineering02 engineering and technology010501 environmental sciencesMembrane bioreactor01 natural sciencesN2O modellingGreenhouse GasesSouth AfricaBioreactorsNutrient removalBioreactorSensitivity (control systems)Waste Management and Disposal0105 earth and related environmental sciencesMathematicsWWTPMathematical modelSettore ICAR/03 - Ingegneria Sanitaria-AmbientaleRenewable Energy Sustainability and the EnvironmentGeneral MedicineModels Theoretical020801 environmental engineeringGreenhouse gasGreenhouse GaseBioresource technology
researchProduct

Comparison of Two Mathematical Models for Greenhouse Gas Emission from Membrane Bioreactors

2017

In this study two mathematical models (Model I and Model II), able to predict the nitrous oxide (N2O) and carbon dioxide (CO2) emission from an University Cape Town (UCT) – membrane bioreactor (MBR) plant, have been compared. Model I considers the N2O production only during the denitrification. Model II takes into account the two ammonia-oxidizing bacteria (AOB) formation pathways for N2O. Both models were calibrated adopting real data. Results highlight that Model II had a better capability of reproducing the measured data especially in terms of N2O model outputs. Indeed, the average efficiency related to the N2O model outputs was equal to 0.3 and 0.38 for Model I and Model II respectively.

DenitrificationSettore ICAR/03 - Ingegneria Sanitaria-AmbientaleMathematical modelEnvironmental engineeringgreenhouse gases.Nitrous oxideMembrane bioreactorN2O modellingchemistry.chemical_compoundMembranechemistryGreenhouse gasCarbon dioxideBioreactorEnvironmental sciencenutrient removalWWTP N2O modelling Nutrient removal Greenhouse gasesWWTP
researchProduct