Search results for "Propagation"

showing 10 items of 676 documents

Using Wave Propagation Simulations and Convolutional Neural Networks to Retrieve Thin Film Thickness from Hyperspectral Images

2021

Ill-posed inversion problems are one of the major challenges when there is a need to combine measurements with the theory and numerical model. In this study, we demonstrate the use of wave propagation simulations to train a convolutional neural network (CNN) for retrieving sub-wavelength thickness profiles of thin film coatings from hyperspectral images. The simulations are produced by solving numerically one-dimensional wave equation with a method based on Discrete Exterior Calculus (DEC). This approach provides a powerful tool to produce large sets of training data for the neural network. CNN was verified by simulated verification sets and measured reflectance spectra, both of which showe…

Discrete exterior calculusArtificial neural networkComputer scienceWave propagationHyperspectral imagingThin filmWave equationConvolutional neural networkAlgorithmSample (graphics)
researchProduct

Efficient CNF Encoding of Boolean Cardinality Constraints

2003

In this paper, we address the encoding into CNF clauses of Boolean cardinality constraints that arise in many practical applications. The proposed encoding is efficient with respect to unit propagation, which is implemented in almost all complete CNF satisfiability solvers. We prove the practical efficiency of this encoding on some problems arising in discrete tomography that involve many cardinality constraints. This encoding is also used together with a trivial variable elimination in order to re-encode parity learning benchmarks so that a simple Davis and Putnam procedure can solve them.

Discrete mathematicsTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESCardinalityUnit propagationComputer scienceConstrained optimizationData_CODINGANDINFORMATIONTHEORYVariable eliminationComputer Science::Computational ComplexityConjunctive normal formBoolean data typeSatisfiability
researchProduct

Transitive Reasoning with Imprecise Probabilities

2015

We study probabilistically informative (weak) versions of transitivity by using suitable definitions of defaults and negated defaults in the setting of coherence and imprecise probabilities. We represent \(\text{ p-consistent }\) sequences of defaults and/or negated defaults by g-coherent imprecise probability assessments on the respective sequences of conditional events. Finally, we present the coherent probability propagation rules for Weak Transitivity and the validity of selected inference patterns by proving p-entailment of the associated knowledge bases.

Discrete mathematicsTransitive relationSettore MAT/06 - Probabilita' E Statistica MatematicaSettore INF/01 - Informaticabusiness.industryProbabilistic logicSyllogismInferenceCoherence (philosophical gambling strategy)Settore M-FIL/02 - Logica E Filosofia Della ScienzaComputer Science::Artificial IntelligenceImprecise probabilityCoherence default imprecise probability knowledge base p-consistency p-entailment reasoning syllogism weak transitivityProbability propagationKnowledge basebusinessMathematics
researchProduct

New Encodings of Pseudo-Boolean Constraints into CNF

2009

International audience; This paper answers affirmatively the open question of the existence of a polynomial size CNF encoding of pseudo-Boolean (PB) constraints such that generalized arc consistency (GAC) is maintained through unit propagation (UP). All previous encodings of PB constraints either did not allow UP to maintain GAC, or were of exponential size in the worst case. This paper presents an encoding that realizes both of the desired properties. From a theoretical point of view, this narrows the gap between the expressive power of clauses and the one of pseudo-Boolean constraints.

Discrete mathematics[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]Polynomial021103 operations researchUnit propagation[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]0211 other engineering and technologies[INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS]02 engineering and technologyComputer Science::Computational ComplexityExpressive powerExponential functionCombinatorics[ INFO.INFO-CC ] Computer Science [cs]/Computational Complexity [cs.CC]Encoding (memory)0202 electrical engineering electronic engineering information engineeringLocal consistency020201 artificial intelligence & image processingPoint (geometry)[INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC][ INFO.INFO-DS ] Computer Science [cs]/Data Structures and Algorithms [cs.DS]Mathematics
researchProduct

Time-dependent density-functional theory in the projector augmented-wave method

2008

We present the implementation of the time-dependent density-functional theory both in linear-response and in time-propagation formalisms using the projector augmented-wave method in real-space grids. The two technically very different methods are compared in the linear-response regime where we found perfect agreement in the calculated photoabsorption spectra. We discuss the strengths and weaknesses of the two methods as well as their convergence properties. We demonstrate different applications of the methods by calculating excitation energies and excited state Born–Oppenheimer potential surfaces for a set of atoms and molecules with the linear-response method and by calculating nonlinear e…

ELECTRONIC EXCITATIONStime propagationGeneral Physics and AstronomySpectral linelaw.inventionlinear responseATOMSlawQuantum mechanicsSPECTRAPhysical and Theoretical ChemistryEXCHANGEEQUATIONSPhysicsREAL-TIMEPhysicsAtoms in moleculesTime-dependent density functional theorytime-dependent density-functional theoryNonlinear systemProjectorRESPONSE THEORYphotoabsorptionExcited statenon-linear responseProjector augmented wave methodDensity functional theoryCLUSTERSAPPROXIMATION
researchProduct

Effects of pulsed electromagnetic fields on cognitive processes - a pilot study on pulsed field interference with cognitive regeneration.

2004

Background – Due to the ubiquitous use of cellular phones much has been speculated on secondary effects of electromagnetic irradiation emitted by those. Additionally, several studies have reported vegetative alterations as well as effects on the neuronal and molecular levels in humans. Here, using a psycho–physiological test paradigm, we examined effects of exposure to pulsed electromagnetic fields on cognitive performance. Materials and methods – In 11 volunteers, we tested cognitive processing under field exposure (GSM standard) and under field-free conditions. To examine the hypothesized effect of pulsed fields, we applied an auditory discrimination task and determined the participant's …

Electromagnetic fieldAdultMalemedicine.medical_specialtyField (physics)Pilot ProjectsAudiologyInterference (wave propagation)Discrimination LearningCognitionElectromagnetic FieldsMedicineHumansEffects of sleep deprivation on cognitive performanceSound LocalizationField exposurebusiness.industryBrainCognitionGeneral MedicineMiddle AgedNeurologyAcoustic StimulationFemaleNeurology (clinical)businessCognition DisordersCell PhoneActa neurologica Scandinavica
researchProduct

A RADIATION CONDITION FOR UNIQUENESS IN A WAVE PROPAGATION PROBLEM FOR 2-D OPEN WAVEGUIDES

2009

We study the uniqueness of solutions of Helmholtz equation for a problem that concerns wave propagation in waveguides. The classical radiation condition does not apply to our problem because the inhomogeneity of the index of refraction extends to infinity in one direction. Also, because of the presence of a waveguide, some waves propagate in one direction with different propagation constants and without decaying in amplitude. Our main result provides an explicit condition for uniqueness which takes into account the physically significant components, corresponding to guided and non-guided waves; this condition reduces to the classical Sommerfeld-Rellich condition in the relevant cases. Final…

Electromagnetic fieldAsymptotic analysisHelmholtz equationWave propagationGeneral Mathematicsmedia_common.quotation_subject78A40 35J05 78A50 35A05Mathematical analysisGeneral Engineeringelectromagnetic fields • wave propagation • Helmholtz equation • optical waveguides • uniqueness of solutions • radiation conditionInfinitylaw.inventionAmplitudeMathematics - Analysis of PDEslawFOS: Mathematicswave propagation; Helmholtz equation; optical waveguides; radiation condition; uniqueness theoremsUniquenessWaveguidemedia_commonMathematicsAnalysis of PDEs (math.AP)
researchProduct

Communication modes in vector diffraction

2010

The communication modes, which mathematically correspond to singular value decomposition, have proven a useful concept in optical scalar-field diffraction, with applications in resolution studies, image synthesis, and wave propagation. For optical near-field geometries the communication modes have to be extended to electromagnetic field accounting for the polarization properties. In this paper we present the vector-valued communication modes method based on the rigorous electric-field diffraction integral. As a special case the transverse-electric scalar field modes are obtained. The intensity and polarization properties of the leading electromagnetic communication modes in near-field arran…

Electromagnetic fieldDiffractionGuided-mode resonanceta221diffractionoptical informationsymbols.namesakeOpticspropagationStokes parametersElectrical and Electronic Engineeringta218Physicsta214ta114business.industryOptical polarizationwave opticsPhysical opticsPolarization (waves)Atomic and Molecular Physics and OpticsElectronic Optical and Magnetic MaterialsWavelengthsymbolsbusinessnear fieldsOptik
researchProduct

A method of variation of boundaries for waveguide grating couplers

2008

We describe a method for calculating the solution of the electromagnetic field in a non-rectilinear open waveguide by using a series expansion, starting from the field of a rectilinear waveguide. Our approach is based on a method of variation of boundaries. We prove that the obtained series expansion converges and we provide a radiation condition at infinity in such a way that the problem has a unique solution. Our approach can model several kinds of optical devices which are used in optical integrated circuits. Numerical examples will be shown for the case of finite aperiodic waveguide grating couplers.

Electromagnetic fieldPhysicsField (physics)business.industryApplied MathematicsPhysics::Opticswave propagationIntegrated circuitVariation (game tree)Radiationoptical waveguidesWaveguide (optics)law.inventionOpticsAperiodic graphlawHelmholtz equationbusinessSeries expansionAnalysisApplicable Analysis
researchProduct

Micropropagation and in vitro culture of Pyrethrum [Chrysanthemum cinerariifolium (Trev.) Vis.]

2014

Pyrethrum (Chrysanthemum cinerariifolium (Trev.) Vis. = Tanacetum cineariaefolium (Trev.) Schultz-Bip.) is a perennial herbaceous plant belonging to the family Asteraceae, native to Albania and the area of former Yugoslavia. It is the only species in the genus Tanacetum having an agronomic importance, although the genus consists of several species producing similar types of bioactive metabolites. The species is grown in order to obtain the insecticidal compounds collectively termed pyrethrins, which are found primarily in the flower heads. In this work we discuss the results found from a worldwide literature review about the micropropagation techniques followed on Pyrethrum, the in vitro cu…

Embriogenic callus Mediterranean environments natural insecticides Pyrethrins vegetative propagationSettore AGR/02 - Agronomia E Coltivazioni Erbacee
researchProduct