Search results for "a posteriori"

showing 10 items of 144 documents

Quantized ATDHF: theory and realistic applications to heavy ion fusion

1982

The quantized ATDHF theory is reviewed and discussed in the context of the generator coordinate method. This allows for a derivation which does not require an a posteriori quantization process. The ATDHF equations are then solved numerically on a coordinate and momentum grid in fully three dimensional geometry. The theory is applied to various heavy ion systems, where potentials, mass parameters and quantum corrections are evaluated and compared to conventional results from constrained Hartree-Fock. Subbarrier fusion cross sections are calculated and compared with experiment.

Nuclear physicsMomentumPhysicsQuantization (physics)Classical mechanicsSaddle pointA priori and a posterioriSlater determinantContext (language use)GridQuantum
researchProduct

A posteriori error estimates for a Maxwell type problem

2009

In this paper, we discuss a posteriori estimates for the Maxwell type boundary-value problem. The estimates are derived by transformations of integral identities that define the generalized solution and are valid for any conforming approximation of the exact solution. It is proved analytically and confirmed numerically that the estimates indeed provide a computable and guaranteed bound of approximation errors. Also, it is shown that the estimates imply robust error indicators that represent the distribution of local (inter-element) errors measured in terms of different norms. peerReviewed

Numerical AnalysisExact solutions in general relativityDistribution (number theory)Modeling and SimulationWeak solutionCalculusA priori and a posterioriApplied mathematicsType (model theory)MathematicsRussian Journal of Numerical Analysis and Mathematical Modelling
researchProduct

Object Migration Automata for Non-equal Partitioning Problems with Known Partition Sizes

2021

Part 4: Automated Machine Learning; International audience; Solving partitioning problems in random environments is a classic and challenging task, and has numerous applications. The existing Object Migration Automaton (OMA) and its proposed enhancements, which include the Pursuit and Transitivity phenomena, can solve problems with equi-sized partitions. Currently, these solutions also include one where the partition sizes possess a Greatest Common Divisor (GCD). In this paper, we propose an OMA-based solution that can solve problems with both equally and non-equally-sized groups, without restrictions on their sizes. More specifically, our proposed approach, referred to as the Partition Siz…

Object partitioning with non-equal sizesScheme (programming language)Object Migration AutomataLearning automataComputer scienceLearning Automata0102 computer and information sciences01 natural sciencesPartition (database)Field (computer science)AutomatonTask (computing)010201 computation theory & mathematicsGreatest common divisorA priori and a posteriori[INFO]Computer Science [cs]computerAlgorithmComputer Science::Databasescomputer.programming_language
researchProduct

On Optimizing Locally Linear Nearest Neighbour Reconstructions Using Prototype Reduction Schemes

2010

This paper concerns the use of Prototype Reduction Schemes (PRS) to optimize the computations involved in typical k-Nearest Neighbor (k-NN) rules. These rules have been successfully used for decades in statistical Pattern Recognition (PR) applications, and have numerous applications because of their known error bounds. For a given data point of unknown identity, the k-NN possesses the phenomenon that it combines the information about the samples from a priori target classes (values) of selected neighbors to, for example, predict the target class of the tested sample. Recently, an implementation of the k-NN, named as the Locally Linear Reconstruction (LLR) [11], has been proposed. The salien…

Optimization problemComputer science020206 networking & telecommunications02 engineering and technologyReduction (complexity)Set (abstract data type)Data point0202 electrical engineering electronic engineering information engineeringFeature (machine learning)A priori and a posteriori020201 artificial intelligence & image processingPoint (geometry)Quadratic programmingAlgorithm
researchProduct

A comparison of different optimization algorithms for retrieving aerosol optical depths from satellite data: an example of using a dual-angle algorit…

2011

Optimization techniques are often used in remote sensing retrieval of surface or atmospheric parameters. Nevertheless, different algorithms may exhibit different performances for the same optimization problem. Comparison of some classic optimization approaches in this article aims to select the best method for retrieving aerosol opacity, or even for other parameters, from remotely sensed data. Eight frequently used optimization algorithms were evaluated using both simulated data and actual AATSR advanced along track scanning radiometer data. Several typical land cover types and aerosol opacity levels were also considered in the simulations to make the tests more representative. It was obser…

Optimization problemRadiometerOpacityApproximation errorComputer scienceGeneral Earth and Planetary SciencesContrast (statistics)A priori and a posterioriAATSRAlgorithmAerosolInternational Journal of Remote Sensing
researchProduct

Guaranteed lower bounds for cost functionals of time-periodic parabolic optimization problems

2019

In this paper, a new technique is shown for deriving computable, guaranteed lower bounds of functional type (minorants) for two different cost functionals subject to a parabolic time-periodic boundary value problem. Together with previous results on upper bounds (majorants) for one of the cost functionals, both minorants and majorants lead to two-sided estimates of functional type for the optimal control problem. Both upper and lower bounds are derived for the second new cost functional subject to the same parabolic PDE-constraints, but where the target is a desired gradient. The time-periodic optimal control problems are discretized by the multiharmonic finite element method leading to lar…

Optimization problemtime-periodic conditionmultiharmonic finite element methodDiscretizationtwo-sided boundsSystems and Control (eess.SY)010103 numerical & computational mathematicsSystem of linear equationsElectrical Engineering and Systems Science - Systems and Control01 natural sciencesUpper and lower boundsSaddle pointFOS: MathematicsFOS: Electrical engineering electronic engineering information engineeringApplied mathematicsMathematics - Numerical AnalysisBoundary value problem0101 mathematicsMathematics - Optimization and ControlMathematicsosittaisdifferentiaaliyhtälöt35Kxx 65M60 65M70 65M15 65K10parabolic optimal control problemsNumerical Analysis (math.NA)matemaattinen optimointiOptimal controlFinite element method010101 applied mathematicsComputational MathematicsComputational Theory and MathematicsOptimization and Control (math.OC)Modeling and Simulationa posteriori error analysisnumeerinen analyysiguaranteed lower boundsComputers & Mathematics with Applications
researchProduct

Static output-feedback control under information structure constraints

2013

An important challenge in the static output-feedback control context is to provide an isolated gain matrix possessing a zero-nonzero structure, mainly in problems presenting information structure constraints. Although some previous works have contributed some relevant results to this issue, a fully satisfactory solution has not yet been achieved up to now. In this note, by using a Linear Matrix Inequality approach and based on previous results given in the literature, we present an e cient methodology which permits to obtain an isolated static output-feedback gain matrix having, simultaneously, a zero-nonzero structure imposed a priori. Peer Reviewed

Output feedbackAutomatic controlLMIs:Informàtica::Automàtica i control [Àrees temàtiques de la UPC]:Matemàtiques i estadística::Anàlisi numèrica::Mètodes numèrics [Àrees temàtiques de la UPC]:15 Linear and multilinear algebra; matrix theory [Classificació AMS]Information structureControl (management):15 Linear and multilinear algebra [Classificació AMS]Structure (category theory)Linear matrix inequalityContext (language use)Information structure constraintsOutput-feedback controlMatrius (Matemàtica)Control automàticMatrix (mathematics)Control and Systems EngineeringControl theoryInformation structure constraints; LMIs; Output-feedback controlmatrix theoryA priori and a posterioriElectrical and Electronic EngineeringMatrix inequalitiesMathematics
researchProduct

A visual framework to create photorealistic retinal vessels for diagnosis purposes

2020

The methods developed in recent years for synthesising an ocular fundus can be been divided into two main categories. The first category of methods involves the development of an anatomical model of the eye, where artificial images are generated using appropriate parameters for modelling the vascular networks and fundus. The second type of method has been made possible by the development of deep learning techniques and improvements in the performance of hardware (especially graphics cards equipped with a large number of cores). The methodology proposed here to produce high-resolution synthetic fundus images is intended to be an alternative to the increasingly widespread use of generative ad…

PLUS DISEASEData augmentationFundus OculiComputer scienceCOMPUTER-AIDED DIAGNOSISIMAGESSEGMENTATIONComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONHealth InformaticsSynthetic retinal imageFundus (eye)Fundus image analysisStatistical featuresTORTUOSITY03 medical and health sciences0302 clinical medicineImage Processing Computer-AssistedComputer vision030212 general & internal medicineGraphics030304 developmental biologyGraphical user interfaceSettore ING-INF/05 - Sistemi Di Elaborazione Delle Informazioni0303 health sciencesSettore INF/01 - Informaticabusiness.industryDeep learningRetinal VesselsReal imageComputer Science ApplicationsPredictive evaluation diseasesFILTERA priori and a posterioriArtificial intelligencebusinessSYSTEMJournal of Biomedical Informatics
researchProduct

Potential of interactive multiobjective optimization in supporting the design of a groundwater biodenitrification process

2019

The design of water treatment plants requires simultaneous analysis of technical, economic and environmental aspects, identified by multiple conflicting objectives. We demonstrated the advantages of an interactive multiobjective optimization (MOO) method over a posteriori methods in an unexplored field, namely the design of a biological treatment plant for drinking water production, that tackles the process drawbacks, contrarily to what happens in a traditional volumetric-load-driven design procedure. Specifically, we consider a groundwater denitrification biofilter, simulated by the Activated Sludge Model modified with two-stage denitrification kinetics. Three objectives were defined (nitr…

Pareto optimalityDecision support systemdecision supportEnvironmental EngineeringProcess (engineering)Computer science0208 environmental biotechnologypäätöksentukijärjestelmät02 engineering and technologyActivated sludge model010501 environmental sciencesManagement Monitoring Policy and Law01 natural sciencesMulti-objective optimizationInteractive methodIND-NIMBUSWater treatmentSensitivity (control systems)Process engineeringWaste Management and DisposalGroundwater0105 earth and related environmental sciencesvedenpuhdistusNitratesSewagepareto optimalitypareto-tehokkuusbusiness.industrywater treatmentGeneral Medicineinteractive methodvedenkäsittelymonitavoiteoptimointi020801 environmental engineeringDecision supportRange (mathematics)Decision support; IND-NIMBUS; Interactive method; NIMBUS method; Pareto optimality; Water treatment; Algorithms; Denitrification; Nitrates; Sewage; GroundwaterDenitrificationA priori and a posterioriWater treatmentNIMBUS methodbusinessAlgorithms
researchProduct

An Interactive MIDI Accompanist

1998

The ability to infer beat and meter from music is one of the basic activities of musical cognition. After hearing only a short fraction of music, we are able to develop a sense of beat and to tap our foot along with the music. Even if the music is rhythmically complex, containing a range of different time values and possibly syncopation as well, we are capable of inferring the different periodicities present in the music and synchronizing to them. Simulating this activity with a computer program might seem, at first glance, to be simple. If a note onset (that is, an attack) occurs before the system expects it to occur, the estimated tempo is increased, and vice versa. In practice, however, …

ParsingMIDIComputer scienceSpeech recognitionMusicalcomputer.file_formatcomputer.software_genreComputer Science ApplicationsSyncopationRhythmMedia TechnologyA priori and a posterioriComputer musiccomputerBeat (music)MusicComputer Music Journal
researchProduct