Search results for "a posteriori"

showing 10 items of 144 documents

Aerial Spectrum Surveying: Radio Map Estimation with Autonomous UAVs

2020

Radio maps are emerging as a popular means to endow next-generation wireless communications with situational awareness. In particular, radio maps are expected to play a central role in unmanned aerial vehicle (UAV) communications since they can be used to determine interference or channel gain at a spatial location where a UAV has not been before. Existing methods for radio map estimation utilize measurements collected by sensors whose locations cannot be controlled. In contrast, this paper proposes a scheme in which a UAV collects measurements along a trajectory. This trajectory is designed to obtain accurate estimates of the target radio map in a short time operation. The route planning a…

Signal Processing (eess.SP)Situation awarenessComputer scienceActive learning (machine learning)business.industry05 social sciencesReal-time computing050801 communication & media studies020206 networking & telecommunications02 engineering and technologyBayesian inferenceComputer Science::Robotics0508 media and communicationsInterference (communication)Metric (mathematics)0202 electrical engineering electronic engineering information engineeringTrajectoryMaximum a posteriori estimationFOS: Electrical engineering electronic engineering information engineeringWirelessElectrical Engineering and Systems Science - Signal Processingbusiness
researchProduct

2018

Electrocardiographic imaging (ECGI) strongly relies on a priori assumptions and additional information to overcome ill-posedness. The major challenge of obtaining good reconstructions consists in finding ways to add information that effectively restricts the solution space without violating properties of the sought solution. In this work, we attempt to address this problem by constructing a spatio-temporal basis of body surface potentials (BSP) from simulations of many focal excitations. Measured BSPs are projected onto this basis and reconstructions are expressed as linear combinations of corresponding transmembrane voltage (TMV) basis vectors. The novel method was applied to simulations o…

Spatial correlationFocus (geometry)Basis (linear algebra)GeodesicPhysiology0206 medical engineering02 engineering and technology030204 cardiovascular system & hematologyInverse problem020601 biomedical engineeringCorrelation03 medical and health sciences0302 clinical medicinePhysiology (medical)A priori and a posterioriLinear combinationAlgorithmMathematicsFrontiers in Physiology
researchProduct

Adaptive Modifications of Hypotheses After an Interim Analysis

2001

It is investigated how one can modify hypotheses in a trial after an interim analysis such that the type I error rate is controlled. If only a global statement is desired, a solution was given by Bauer (1989). For a general multiple testing problem, Kieser, Bauer and Lehmacher (1999) and Bauer and Kieser (1999) gave solutions, by means of which the initial set of hypotheses can be reduced after the interim analysis. The same techniques can be applied to obtain more flexible strategies, as changing weights of hypotheses, changing an a priori order, or even including new hypotheses. It is emphasized that the application of these methods requires very careful planning of a trial as well as a c…

Statistics and ProbabilityStatement (computer science)Mathematical optimizationGeneral MedicineInterim analysisWeightingMultiple comparisons problemA priori and a posterioriStatistics Probability and UncertaintySet (psychology)AlgorithmStatistical hypothesis testingType I and type II errorsMathematicsBiometrical Journal
researchProduct

Against Metaphysical Structuralism

2020

Abstract Inductive Metaphysics (IM) combines an anti-aprioristic emphasis on an empirical and scientific basis for metaphysics with an insistence on a specifically philosophical abductive theory-building. Since the latter specifically philosophical work is not empirical itself, it may in a liberal sense be called apriori. This paper highlights this apriori dimension within IM by a case study on Structuralism, the view that fundamental reality consists of a network of relations (and properties), which a number of philosophers consider to be suggested by modern physics. Focussing on Dasgupta’s algebraic Generalism, the author argues that Structuralism suffers from a severe entailment problem,…

Structuralism (biology)PhilosophyPhilosophyMetaphysicsA priori and a posterioriDimension (data warehouse)EpistemologyGrazer Philosophische Studien
researchProduct

Passive time-multiplexing super-resolved technique for axially moving targets

2013

In this paper we present a super-resolving approach for detecting an axially moving target that is based upon a time-multiplexing concept and that overcomes the diffraction limit set by the optics of an imaging camera by a priori knowledge of the high-resolution background in front of which the target is moving. As the movement trajectory is axial, the approach can be applied to targets that are approaching or moving away from the camera. By recording a set of low-resolution images at different target axial positions, the super-resolving algorithm weights each image by demultiplexing them using the high-resolution background image and provides a super-resolved image of the target. Theoretic…

Synthetic aperture radarPhysicsbusiness.industryComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONsuper-resolutionMultiplexingAtomic and Molecular Physics and Opticstime-multiplexingOpticsComputer Science::Computer Vision and Pattern RecognitionMedical imagingTrajectoryA priori and a posterioriElectrical and Electronic EngineeringLimit setdiffraction limitbusinessAxial symmetryEngineering (miscellaneous)Image resolutionsuper-resolvedApplied Optics
researchProduct

Inter-Model Consistency and Complementarity: Learning from ex-vivo Imaging and Electrophysiological Data towards an Integrated Understanding of Cardi…

2011

International audience; Computational models of the heart at various scales and levels of complexity have been independently developed, parameterised and validated using a wide range of experimental data for over four decades. However, despite remarkable progress, the lack of coordinated efforts to compare and combine these computational models has limited their impact on the numerous open questions in cardiac physiology. To address this issue, a comprehensive dataset has previously been made available to the community that contains the cardiac anatomy and fibre orientations from magnetic resonance imaging as well as epicardial transmembrane potentials from optical mapping measured on a per…

Time FactorsComputer scienceSwine[SDV.IB.IMA]Life Sciences [q-bio]/Bioengineering/ImagingBiophysics030204 cardiovascular system & hematologyIn Vitro Techniquescomputer.software_genreModels BiologicalBiophysical PhenomenaPersonalizationMembrane PotentialsDiffusionPurkinje Fibers03 medical and health sciences0302 clinical medicine[INFO.INFO-TS]Computer Science [cs]/Signal and Image ProcessingOptical mappingMaximum a posteriori estimation[INFO.INFO-IM]Computer Science [cs]/Medical ImagingAnimalsMolecular Biology030304 developmental biology0303 health sciencesComputational modelCardiac electrophysiologybusiness.industryBiophysical PhenomenaExperimental dataReproducibility of ResultsHeartMagnetic Resonance Imaging[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationElectrophysiological PhenomenaSystems IntegrationSystem integrationArtificial intelligenceData miningbusinesscomputerPericardium[SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing
researchProduct

A Lightweight Network Discovery Algorithm for Resource-constrained IoT Devices

2019

Although quite simple, existing protocols for the IoT suffer from the inflexibility of centralized infrastructures and require several configuration stages. The implementation of these protocols is often prohibitive on resource-constrained devices. In this work, we propose a distributed lightweight implementation of network discovery for simple IoT devices. Our approach is based on the exchange of symbolic executable code among nodes. Based on this abstraction, we propose an algorithm that makes even IoT resource-constrained nodes able to construct the network topology graph incrementally and without any a priori information about device positioning and presence. The minimal set of executab…

Topology constructionSIMPLE (military communications protocol)Computer scienceExecutable code exchangeResource-constrained devicecomputer.file_formatConstruct (python library)Network topologyDistributed processingSet (abstract data type)Computer Networks and CommunicationHardware and ArchitectureA priori and a posterioriGraph (abstract data type)Symbolic processingExecutableInternet of ThingAlgorithmcomputerSoftwareAbstraction (linguistics)2019 International Conference on Computing, Networking and Communications (ICNC)
researchProduct

2021

Abstract. In this study, we implement a vertical grid refinement scheme in the radiation routine of the global aerosol–climate model ECHAM-HAM, aiming to improve the representation of stratocumulus clouds and address the underestimation of their cloud cover. The scheme is based on a reconstruction of the temperature inversion as a physical constraint for the cloud top. On the refined grid, the boundary layer and the free troposphere are separated and the cloud's layer is made thinner. The cloud cover is recalculated either by conserving the cloud volume (SC-VOLUME) or by using the Sundqvist cloud cover routine on the new grid representation (SC-SUND). In global climate simulations, we find …

TroposphereBoundary layerMeteorologyCover (telecommunications)business.industryCloud coverEnvironmental scienceA priori and a posterioriCloud computingInversion (meteorology)businessGridGeoscientific Model Development
researchProduct

A posteriori error estimates for Webster's equation in wave propagation

2015

We consider a generalised Webster’s equation for describing wave propagation in curved tubular structures such as variable diameter acoustic wave guides. Webster’s equation in generalised form has been rigorously derived in a previous article starting from the wave equation, and it approximates cross-sectional averages of the propagating wave. Here, the approximation error is estimated by an a posteriori technique. peerReviewed

Wave propagationWave propagationApplied MathematicsMathematical analysista111Tubular domainDynamical Systems (math.DS)Acoustic waveWave equationPrimary 37L05. Secondary 35L05 35L20 47N70 93C20A posteriori error analysisMathematics - Analysis of PDEsApproximation errorFOS: MathematicsCalculusA priori and a posterioriWebster's modelMathematics - Dynamical SystemsAnalysisAnalysis of PDEs (math.AP)MathematicsVariable (mathematics)
researchProduct

On the a posteriori error analysis for linear Fokker-Planck models in convection-dominated diffusion problems

2018

This work is aimed at the derivation of reliable and efficient a posteriori error estimates for convection-dominated diffusion problems motivated by a linear Fokker-Planck problem appearing in computational neuroscience. We obtain computable error bounds of the functional type for the static and time-dependent case and for different boundary conditions (mixed and pure Neumann boundary conditions). Finally, we present a set of various numerical examples including discussions on mesh adaptivity and space-time discretisation. The numerical results confirm the reliability and efficiency of the error estimates derived.

Work (thermodynamics)Discretizationelliptic partial differential equations01 natural sciencesdiffuusiodiffuusio (fysikaaliset ilmiöt)mesh-adaptivityFOS: MathematicsNeumann boundary conditionApplied mathematicsBoundary value problemMathematics - Numerical Analysis0101 mathematicsDiffusion (business)virheanalyysiMathematicsosittaisdifferentiaaliyhtälötconvection-dominated diffusion problemsApplied Mathematicsta111010102 general mathematicsComputer Science - Numerical AnalysisNumerical Analysis (math.NA)a posteriori error estimation010101 applied mathematicsparabolic partial differential equationsComputational MathematicsElliptic partial differential equationA priori and a posterioriFokker–Planck equation
researchProduct