Search results for "Lattice"

showing 10 items of 3278 documents

Modal Consequence Relations Extending S4.3: An Application of Projective Unification

2016

We characterize all finitary consequence relations over $\mathbf{S4.3}$ , both syntactically, by exhibiting so-called (admissible) passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic $L$ extending $\mathbf{S4}$ has projective unification if and only if $L$ contains $\mathbf{S4.3}$ . In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend the known results by Bull and Fine, from logics, to consequence relations. We also show that the lattice of consequence relation…

projective unificationPure mathematicsUnificationLogicFinite model property02 engineering and technology68T15Lattice (discrete subgroup)01 natural sciencesadmissible rulesComputer Science::Logic in Computer Science0202 electrical engineering electronic engineering information engineeringCountable setFinitaryHeyting algebra08C150101 mathematics03B45MathematicsDiscrete mathematics010102 general mathematicsquasivarietiesModal logicstructural completenessconsequence relations03B35Distributive property06E25$\mathbf{S4.3}$S4.3020201 artificial intelligence & image processingNotre Dame Journal of Formal Logic
researchProduct

Pinning of a kink in a nonlinear diffusive medium with a geometrical bifurcation: Theory and experiments

2004

International audience; We study the dynamics of a kink propagating in a Nagumo chain presenting a geometrical bifurcation. In the case of weak couplings, we define analytically and numerically the coupling conditions leading to the pinning of the kink at the bifurcation site. Moreover, real experiments using a nonlinear electrical lattice confirm the theoretical and numerical predictions.

propagation failure[ PHYS.COND.CM-DS-NN ] Physics [physics]/Condensed Matter [cond-mat]/Disordered Systems and Neural Networks [cond-mat.dis-nn]Saddle-node bifurcationBifurcation diagram01 natural sciences010305 fluids & plasmasBifurcation theory[NLIN.NLIN-PS]Nonlinear Sciences [physics]/Pattern Formation and Solitons [nlin.PS]NagumoLattice (order)0103 physical sciences[ NLIN.NLIN-PS ] Nonlinear Sciences [physics]/Pattern Formation and Solitons [nlin.PS][PHYS.COND.CM-DS-NN]Physics [physics]/Condensed Matter [cond-mat]/Disordered Systems and Neural Networks [cond-mat.dis-nn]010306 general physicsEngineering (miscellaneous)Nonlinear Sciences::Pattern Formation and SolitonsBifurcationMathematicsCouplingApplied MathematicsNonlinear latticeneural networks[SPI.TRON]Engineering Sciences [physics]/Electronics[ SPI.TRON ] Engineering Sciences [physics]/ElectronicsNonlinear systemClassical mechanicsModeling and SimulationNonlinear dynamics
researchProduct

Proton Direct Ionization in Sub-Micron Technologies : Test Methodologies and Modelling

2023

Two different low energy proton (LEP) test methods, one with quasi-monoenergetic and the other with very wide proton beam energy spectra, have been studied. The two test methodologies have been applied to devices that were suggested from prior heavy-ion tests to be sensitive to proton direct ionization (PDI). The advantages and disadvantages of the two test methods are discussed. The test method using quasi-monoenergetic beams requires device preparation and high energy resolution beams, but delivers results that can be interpreted directly and can be used in various soft error rate (SER) calculation methods. The other method, using a heavily degraded high energy proton beam, requires littl…

protonitprotonstestausmenetelmätsäteilyfysiikkalatticesrandom access memoryparticle beamsionisoiva säteilykäyttömuistitradiation effectssensitivityperformance evaluationelektroniikkakomponentit
researchProduct

Vortex dynamics in rotating counterflow and plane Couette and Poiseuille turbulence in superfluid Helium

2008

An equation previously proposed to describe the evolution of vortex line density in rotating counterflow turbulent tangles in superfluid helium is generalized to incorporate nonvanishing barycentric velocity and velocity gradients. Our generalization is compared with an analogous approach proposed by Lipniacki, and with experimental results by Swanson et al. in rotating counterflow, and it is used to evaluate the vortex density in plane Couette and Poiseuille flows of superfluid helium.

quantum vorticePhysicsCondensed Matter::Quantum GasesTurbulencePlane (geometry)Condensed Matter::OtherFOS: Physical sciencesLaminar flowVorticityCondensed Matter PhysicsHagen–Poiseuille equationNonlinear Sciences::Cellular Automata and Lattice Gasessuperfluid turbulenceElectronic Optical and Magnetic MaterialsVortexCondensed Matter - Other Condensed MatterPhysics::Fluid Dynamicscoflow and counterflowClassical mechanicsSettore MAT/07 - Fisica MatematicaCouette flowSuperfluid helium-4Other Condensed Matter (cond-mat.other)
researchProduct

Controlling Atom-Photon Bound States in an Array of Josephson-Junction Resonators

2022

Engineering the electromagnetic environment of a quantum emitter gives rise to a plethora of exotic light -matter interactions. In particular, photonic lattices can seed long-lived atom-photon bound states inside photonic band gaps. Here, we report on the concept and implementation of a novel microwave architecture consisting of an array of compact superconducting resonators in which we have embedded two frequency -tunable artificial atoms. We study the atom-field interaction and access previously unexplored coupling regimes, in both the single-and double-excitation subspace. In addition, we demonstrate coherent interactions between two atom-photon bound states, in both resonant and dispers…

quantumPhotonics:Física [Àrees temàtiques de la UPC]latticesFotònicaedgeGeneral Physics and Astronomylight-matter interactionsCircuit QED. Waveguide QED. Quantum information processing implementationsSettore FIS/03 - Fisica Della Materia
researchProduct

Approach to equilibrium of a quarkonium in a quark-gluon plasma

2018

We derive equations of motion for the reduced density matrix of a heavy quarkonium in contact with a quark-gluon plasma in thermal equilibrium. These equations allow in particular a proper treatment of the regime when the temperature of the plasma is comparable to the binding energy of the quarkonium. These equations are used to study how the quarkonium approaches equilibrium with the plasma, and we discuss the corresponding entropy increase, or free energy decrease, depending on the temperature regime. The effect of collisions can be accounted for by the generalization of the imaginary potential introduced in previous studies, and from which collision rates are derived. An important outcom…

quark-gluon plasmaHigh Energy Physics::LatticeHigh Energy Physics::Phenomenologykvarkki-gluoniplasmahiukkasfysiikkaparticle physicsNuclear Experiment
researchProduct

Highly occupied gauge theories in 2 + 1 dimensions : a self-similar attractor

2019

Motivated by the boost-invariant Glasma state in the initial stages in heavy-ion collisions, we perform classical-statistical simulations of SU(2) gauge theory in 2+1 dimensional space-time both with and without a scalar field in the adjoint representation. We show that irrespective of the details of the initial condition, the far-from-equilibrium evolution of these highly occupied systems approaches a unique universal attractor at high momenta that is the same for the gauge and scalar sectors. We extract the scaling exponents and the form of the distribution function close to this non-thermal fixed point. We find that the dynamics are governed by an energy cascade to higher momenta with sc…

quark-gluon plasmaScalar (mathematics)Adjoint representationhep-latFOS: Physical scienceshiukkasfysiikka114 Physical sciences01 natural sciencesComputer Science::Digital Librariessymbols.namesakeHigh Energy Physics - LatticeHigh Energy Physics - Phenomenology (hep-ph)Correlation functionfysikk0103 physical sciencesAttractorquantum chromodynamicsGauge theory010306 general physicsUNIVERSAL DYNAMICSParticle Physics - PhenomenologyMathematical physicsDebyePhysics:Matematikk og Naturvitenskap: 400::Fysikk: 430 [VDP]010308 nuclear & particles physicsHigh Energy Physics - Lattice (hep-lat)finite temperature field theoryParticle Physics - Latticehep-ph115 Astronomy Space scienceHigh Energy Physics - PhenomenologyDistribution functionsymbolsScalar fieldrelativistic heavy-ion collisions
researchProduct

Role of the N-*(1535) in the J/psi -> pp and J/psi -> p(+)Lambda reactions

2009

We study the J/psi -> p eta p and J/psi -> pK(+)Lambda reactions with a unitary chiral approach. We find that the unitary chiral approach, which generates the N-*(1535) dynamically, can describe the data reasonably well, particularly the ratio of the integrated cross sections. This study provides further support for the unitary chiral description of the N-*(1535). We also discuss some subtle differences between the coupling constants determined from the unitary chiral approach and those determined from phenomenological studies

ratio [width]High Energy Physics::LatticeJ/psi(3100) --> p anti-p etaJ/psi(3100) --> Lambda anti-p K+Físicahadronic decay [J/psi(3100)]coupling constant [N(1535)]mass spectrumwidth [J/psi(3100)]unitarityddc:530chiral [effective Lagrangian]numerical calculations
researchProduct

Mixing of pseudoscalar-baryon and vector-baryon in meson-baryon interaction and the generation of resonances

2014

215 páginas. Tesis Doctoral del Departamento de Física Teórica de la Universidad de Valencia y del Instituto de Física Corpuscular (IFIC).

resonanciasUNESCO::FÍSICA::Física TeóricaHigh Energy Physics::LatticeNuclear TheoryHigh Energy Physics::PhenomenologyHigh Energy Physics::Experimenthadrones:FÍSICA::Física Teórica [UNESCO]UNESCO::FÍSICA::Física Teórica::HadronesNuclear Experiment:FÍSICA::Física Teórica::Hadrones [UNESCO]física teórica
researchProduct

Mercado de los sistemas integrados

2014

Material docente perteneciente a la asignatura Sistemas Integrados que se imparte en el Máster Oficial de Ingeniería Electrónica de la ETSE-UV. Este material docente presenta los fabricantes FPGAs con Sistemas Integrados y describe otros Sistemas Integrados con diferentes arquitecturas. De este modo, también se exponen los principales microprocesadores hardware embebidos: Xilinx con sus modelos Virtex (PowerPC), Zynq (Cortex-A9 ARM); Altera con sus modelos Arria V y Cyclone V (Cortex-A9 ARM); Actel (Microsemi) y SmartFusion (Cortex-M3 ARM). Así mismo, se propone dos ejercicios aplicados cuyos objetivos son la utilización del asistente para la creación e importación de periféricos, la explor…

sistemas digitales avanzadossistemas integradosLatticesistemas embebidosUNESCO::CIENCIAS TECNOLÓGICASXilinxFPGAAltera
researchProduct