Search results for " propagation"

showing 10 items of 488 documents

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

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

Design of Wideband MIMO Car-to-Car Channel Models Based on the Geometrical Street Scattering Model

2012

Published version of an article in the journal: Modelling and Simulation in Engineering. Also available from the publisher at: http://dx.doi.org/10.1155/2012/264213 Open access We propose a wideband multiple-input multiple-output (MIMO) car-to-car (C2C) channel model based on the geometrical street scattering model. Starting from the geometrical model, a MIMO reference channel model is derived under the assumption of single-bounce scattering in line-of-sight (LOS) and non-LOS (NLOS) propagation environments. The proposed channel model assumes an infinite number of scatterers, which are uniformly distributed in two rectangular areas located on both sides of the street. Analytical solutions a…

EngineeringArticle Subjectbusiness.industryAutocorrelationMIMOGeneral EngineeringFunction (mathematics)Correlation function (quantum field theory)lcsh:QA75.5-76.95Computer Science Applicationssymbols.namesakeNon-line-of-sight propagationModeling and SimulationVDP::Technology: 500::Information and communication technology: 550::Telecommunication: 552Electronic engineeringsymbolslcsh:Electronic computers. Computer scienceWidebandbusinessDoppler effectReference modelAlgorithmModelling and Simulation in Engineering
researchProduct

3D simulations and experiments of guided wave propagation in adhesively bonded multi-layered structures

2010

Understanding guided wave propagation in multi-layered plates and interaction with discontinuities can be difficult, as well as the interpretation of the ultrasonic signals. Propagation of guided waves can be studied analytically solving the equations of motion with the proper boundary conditions; nevertheless analytical models can be difficult to solve for complex multi-layered structures or having inner discontinuities. The problem can be efficiently studied using numerical techniques. Simulation of guided wave propagation in multi-layered structures, for ultrasonic waves in the MHz range, is solved here with the finite element analysis based on an explicit integration rule to solve the e…

EngineeringGuided wave testingComputer simulationWave propagationbusiness.industryMechanical EngineeringAcousticsUltrasonic testingEquations of motionCondensed Matter PhysicsInterference (wave propagation)Finite element methodSettore ING-IND/14 - Progettazione Meccanica E Costruzione Di MacchineDiscontinuity (linguistics)OpticsGeneral Materials Sciencewave propagation bonded multi-layered structures numerical simulationbusinessNDT & E International
researchProduct

A boundary element model for structural health monitoring using piezoelectric transducers

2013

In this paper, for the first time, the boundary element method (BEM) is used for modelling smart structures instrumented with piezoelectric actuators and sensors. The host structure and its cracks are formulated with the 3D dual boundary element method (DBEM), and the modelling of the piezoelectric transducers implements a 3D semi-analytical finite element approach. The elastodynamic analysis of the structure is performed in the Laplace domain and the time history is obtained by inverse Laplace transform. The sensor signals obtained from BEM simulations show excellent agreement with those from finite element modelling simulations and experiments. This work provides an alternative methodolog…

EngineeringLaplace transformbusiness.industryAcousticsInverse Laplace transformStructural engineeringCondensed Matter PhysicsBoundary knot methodPiezoelectricityAtomic and Molecular Physics and OpticsFinite element methodboundary element method smart structure piezoelectric transducer structural health monitoring crack detection wave propagationMechanics of MaterialsSignal ProcessingGeneral Materials ScienceStructural health monitoringElectrical and Electronic EngineeringbusinessActuatorSettore ING-IND/04 - Costruzioni E Strutture AerospazialiBoundary element methodCivil and Structural Engineering
researchProduct