Search results for "Names"

showing 10 items of 6843 documents

On the relative sizes of learnable sets

1998

Abstract Measure and category (or rather, their recursion-theoretical counterparts) have been used in theoretical computer science to make precise the intuitive notion “for most of the recursive sets”. We use the notions of effective measure and category to discuss the relative sizes of inferrible sets, and their complements. We find that inferable sets become large rather quickly in the standard hierarchies of learnability. On the other hand, the complements of the learnable sets are all large.

General Computer Science0102 computer and information sciencesMachine learningcomputer.software_genre01 natural sciencesMeasure (mathematics)Theoretical Computer ScienceTuring machinesymbols.namesake0101 mathematicsMathematicsBinary treeLearnabilitybusiness.industry010102 general mathematicsInductive inferenceCategoryInductive reasoningMeasureAbstract machine010201 computation theory & mathematicssymbolsArtificial intelligencebusinesscomputerComputer Science(all)Theoretical Computer Science
researchProduct

A High-Resolution Penalization Method for large Mach number Flows in the presence of Obstacles

2009

International audience; A penalization method is applied to model the interaction of large Mach number compressible flows with obstacles. A supplementary term is added to the compressible Navier-Stokes system, seeking to simulate the effect of the Brinkman-penalization technique used in incompressible flow simulations including obstacles. We present a computational study comparing numerical results obtained with this method to theoretical results and to simulations with Fluent software. Our work indicates that this technique can be very promising in applications to complex flows.

General Computer ScienceComputational fluid dynamics01 natural sciencesCompressible flow010305 fluids & plasmas[SPI.MECA.MEFL]Engineering Sciences [physics]/Mechanics [physics.med-ph]/Fluids mechanics [physics.class-ph]Physics::Fluid DynamicsShock Waves.symbols.namesakeIncompressible flow0103 physical sciencesPenalty methodComplex geometries[PHYS.MECA.MEFL]Physics [physics]/Mechanics [physics]/Fluid mechanics [physics.class-ph]0101 mathematicsBrinkman PenalizationChoked flowMathematicsbusiness.industry[SPI.FLUID]Engineering Sciences [physics]/Reactive fluid environmentGeneral EngineeringMechanics[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation010101 applied mathematicsClassical mechanicsCompressible Navier-Stokes EquationsMach numberShock WavesMesh generationCompressibilitysymbolsbusiness[MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
researchProduct

A Trajectory-Driven 3D Non-Stationary mm-Wave MIMO Channel Model for a Single Moving Point Scatterer

2021

This paper proposes a new non-stationary three-dimensional (3D) channel model for a physical millimeter wave (mm-Wave) multiple-input multiple-output (MIMO) channel. This MIMO channel model is driven by the trajectory of a moving point scatterer, which allows us to investigate the impact of a single moving point scatterer on the propagation characteristics in an indoor environment. Starting from the time-variant (TV) channel transfer function, the temporal behavior of the proposed non-stationary channel model has been analyzed by studying the TV micro-Doppler characteristics and the TV mean Doppler shift. The proposed channel model has been validated by measurements performed in an indoor e…

General Computer ScienceComputer scienceAcousticsMIMOData_CODINGANDINFORMATIONTHEORYMotion capturesymbols.namesakemm-Wave channelsInertial measurement unitGeneral Materials Sciencemean Doppler shiftVDP::Teknologi: 500::Informasjons- og kommunikasjonsteknologi: 550Computer Science::Information Theorymultipath propagationGeneral EngineeringPendulumnon-stationary channelsTK1-9971MIMO channelTrajectorysymbolsSpectrogramElectrical engineering. Electronics. Nuclear engineeringchannel measurementsDoppler effectCommunication channelIEEE Access
researchProduct

Robust Light Field Watermarking by 4D Wavelet Transform

2020

Unlike common 2D images, the light field representation of a scene delivers spatial and angular description which is of paramount importance for 3D reconstruction. Despite the numerous methods proposed for 2D image watermarking, such methods do not address the angular information of the light field. Hence the exploitation of such methods may cause severe destruction of the angular information. In this paper, we propose a novel method for light field watermarking with extensive consideration of the spatial and angular information. Considering the 4D innate of the light field, the proposed method incorporates 4D wavelet for the purpose of watermarking and converts the heavily-correlated chann…

General Computer ScienceComputer scienceComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION4D waveletImage processing02 engineering and technologyGaussian noisesymbols.namesakeWaveletRobustness (computer science)Computer Science::Multimedia0202 electrical engineering electronic engineering information engineeringDiscrete cosine transformMedian filterlight fieldplenoptic imageGeneral Materials ScienceComputer visionDigital watermarkingbusiness.industry3D reconstructionGeneral EngineeringWavelet transformDCT020207 software engineeringcomputer.file_formatÒpticaGaussian noiseJPEG 2000symbolsRGB color model020201 artificial intelligence & image processingArtificial intelligenceDigital watermarkinglcsh:Electrical engineering. Electronics. Nuclear engineeringbusinesscomputerlcsh:TK1-9971Light fieldImatges Processament Tècniques digitalsIEEE Access
researchProduct

Strong chromatic index of products of graphs

2007

Graphs and Algorithms

General Computer ScienceCritical graphKronecker product[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]strong productinduced matchingTheoretical Computer ScienceCombinatoricssymbols.namesakeComputer Science::Discrete MathematicsCartesian productDiscrete Mathematics and CombinatoricsChromatic scaleMathematicsDiscrete mathematicsKronecker productMathematics::Combinatoricslcsh:Mathematics[ INFO.INFO-DM ] Computer Science [cs]/Discrete Mathematics [cs.DM]Cartesian productlcsh:QA1-939Graph[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]Edge coloringMSC 05C15strong product.symbolsHypercubeStrong edge colouringMathematicsofComputing_DISCRETEMATHEMATICS
researchProduct

Smoothed particles hydrodynamics numerical simulations of droplets walking on viscous vibrating liquid

2016

We study the phenomenon of the "walking droplet", by means of numerical fluid dynamics simulations using the Smoothed Particle Hydrodynamics numerical method. This phenomenon occurs when a millimetric drop is released on the surface of an oil of the same composition, contained in a tank and subjected to vertical oscillations of frequency and amplitude very close to the Faraday instability threshold. At appropriate values of the parameters of the system under study, the oil droplet jumps permanently on the surface of the vibrating liquid forming a localized wave-particle system, reminding the behaviour of a wave particle quantum system as suggested by de Broglie. In our study, we made releva…

General Computer ScienceFaraday waveFOS: Physical sciences01 natural sciencesInstability010305 fluids & plasmasQuantum analogous phenomenaPhysics::Fluid DynamicsSmoothed-particle hydrodynamicsFaraday wavesymbols.namesake0103 physical sciencesFluid dynamicsQuantum system010306 general physicsPhysicsFluid dynamics numerical simulationDrop (liquid)Fluid Dynamics (physics.flu-dyn)General EngineeringPhysics - Fluid DynamicsMechanicsAmplitudesymbolsWalking dropletMatter waveComputers & Fluids
researchProduct

The impacts of the ALE and hydrostatic-pressure approaches on the energy budget of unsteady free-surface flows

2008

Abstract This paper focuses on the energy budget in the calculation of unsteady free-surface flows on moving grids with and without using the ‘arbitrary Lagrangian–Eulerian’ (ALE) formulation or hydrostatic-pressure assumption. The numerical tool is an in-house general-purpose solver for the unsteady, incompressible and homogeneous Navier–Stokes equations in a Cartesian domain. An explicit fractional-step method and co-located finite-volume method are used for the second-order accurate integrations in time and space. The test cases are nonlinear and linear irrotational standing waves, which allow to characterise the impacts of an ALE or Eulerian formulation with moving grids by comparison w…

General Computer ScienceHydrostatic pressureGeneral EngineeringEulerian pathGeometryMechanicsNumerical methodConservative vector fieldSettore ICAR/01 - Idraulicalaw.inventionPhysics::Fluid DynamicsStanding waveNumerical method; Free-surface flow; Wavessymbols.namesakeNonlinear systemlawFree surfaceWavessymbolsCompressibilityFree-surface flowHydrostatic equilibriumMathematics
researchProduct

The pruning-grafting lattice of binary trees

2008

AbstractWe introduce a new lattice structure Bn on binary trees of size n. We exhibit efficient algorithms for computing meet and join of two binary trees and give several properties of this lattice. More precisely, we prove that the length of a longest (resp. shortest) path between 0 and 1 in Bn equals to the Eulerian numbers 2n−(n+1) (resp. (n−1)2) and that the number of coverings is (2nn−1). Finally, we exhibit a matching in a constructive way. Then we propose some open problems about this new structure.

General Computer ScienceMatching (graph theory)Distribution sequences0102 computer and information sciencesFeasible sequences01 natural sciencesTheoretical Computer ScienceCombinatoricsCatalan numbersymbols.namesakeLattice (order)[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]0101 mathematicsComputingMilieux_MISCELLANEOUSMathematicsBinary tree010102 general mathematicsEulerian pathLatticesJoin (topology)Binary trees010201 computation theory & mathematicsShortest path problemPath (graph theory)symbolsCatalan numbersComputer Science(all)
researchProduct

On the analysis of the cat's pattern recognition system

1983

The objective of the paper is to determine in abstract terms the algorithms used by the cat detecting simple patterns and to quantify the contributions of the visual areas 17, 18, 19 for this task. The data incorporated in the algorithm are collected from behavioral experiments where the animals had to distinguish between two patterns. The patterns were superimposed with gaussian noise and the detection probability was measured. The resulting model describes pattern recognition in two steps: first extraction of features and second classification. The test of the validity of the model system was to predict the outcome of similar experiments but with different patterns. With the help of the m…

General Computer ScienceModels PsychologicalRetinaTask (project management)Discrimination Learningsymbols.namesakeSimple (abstract algebra)medicineAnimalsParametric equationVision Ocularbusiness.industryInformation processingPattern recognitionOutcome (probability)Form PerceptionVisual cortexmedicine.anatomical_structurePattern Recognition VisualGaussian noisePattern recognition (psychology)CatssymbolsArtificial intelligencePsychologybusinessMathematicsBiotechnologyBiological Cybernetics
researchProduct

Introductory Quantum Physics Courses using a LabVIEW multimedia module

2007

We present the development of a LabVIEW multimedia module for introductory Quantum Physics courses and our experience in the use of this application as an educational tool in learning methodologies. The program solves the Time Dependent Schrodinger Equation for arbitrary potentials. We describe the numerical method used for solving this equation, as well as some mathematical tools employed to reduce the calculation time and to obtain more accurate results. As an illustration, we present the evolution of a wave packet for three different potentials: the repulsive barrier potential, the repulsive step potential, and the harmonic oscillator. This application has been successfully integrated in…

General Computer ScienceMultimediaComputer scienceNumerical analysisGeneral EngineeringFinite difference methodPhysics - Physics EducationFOS: Physical sciencesPhysics::Physics Educationcomputer.software_genreEducationSchrödinger equationSolution of Schrödinger equation for a step potentialsymbols.namesakePhysics Education (physics.ed-ph)Quantum mechanicssymbolscomputerHarmonic oscillator
researchProduct