Letteratura scientifica selezionata sul tema "Ambisonie de premier ordre"
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Ambisonie de premier ordre".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Articoli di riviste sul tema "Ambisonie de premier ordre":
Bernd, Zilá. "Un patrimoine culturel de premier ordre". Voix et Images 30, n. 3 (2005): 9. http://dx.doi.org/10.7202/011852ar.
Sorin Stratulat. "Récurrence nœthérienne pour le raisonnement de premier ordre". Bulletin 1024, n. 19 (aprile 2022): 157–70. http://dx.doi.org/10.48556/sif.1024.19.157.
Nguyen, Pierre. "Hypertranscendance de fonctions de Mahler du premier ordre". Comptes Rendus Mathematique 349, n. 17-18 (settembre 2011): 943–46. http://dx.doi.org/10.1016/j.crma.2011.08.021.
Fruchard, Augustin. "Sur l'équation aux différences affine du premier ordre unidimensionnelle". Annales de l’institut Fourier 46, n. 1 (1996): 139–81. http://dx.doi.org/10.5802/aif.1510.
LLIBRE, JAUME, e CLÀUDIA VALLS. "On theC1non-integrability of differential systems via periodic orbits". European Journal of Applied Mathematics 22, n. 4 (6 aprile 2011): 381–91. http://dx.doi.org/10.1017/s0956792511000143.
Amiot, Gilles. "Sur l'existence de modèles du second ordre non dénombrables avec domaine du premier ordre dénombrable". Comptes Rendus de l'Académie des Sciences - Series I - Mathematics 324, n. 9 (maggio 1997): 959–62. http://dx.doi.org/10.1016/s0764-4442(97)87867-6.
Rivenc, François. "Remarques à propos d'une récente Introduction à la logique". Dialogue 38, n. 2 (1999): 369–78. http://dx.doi.org/10.1017/s0012217300007265.
Awatif, Sayah. "Equqtions D'Hamilton-Jacobi Du Premier Ordre Avec Termes Intégro-Différentiels". Communications in Partial Differential Equations 16, n. 6-7 (gennaio 1991): 1057–74. http://dx.doi.org/10.1080/03605309108820789.
Awatif, Sayah. "Equqtions D'Hamilton-Jacobi Du Premier Ordre Avec Termes Intégro-Différentiels". Communications in Partial Differential Equations 16, n. 6-7 (gennaio 1991): 1075–93. http://dx.doi.org/10.1080/03605309108820790.
Barthélemy, Louise. "Problème d'obstacle pour une équation quasi-linéaire du premier ordre". Annales de la faculté des sciences de Toulouse Mathématiques 9, n. 2 (1988): 137–59. http://dx.doi.org/10.5802/afst.653.
Tesi sul tema "Ambisonie de premier ordre":
Mahé, Pierre. "Codage ambisonique pour les communications immersives". Thesis, La Rochelle, 2022. http://www.theses.fr/2022LAROS011.
This thesis takes place in the context of the spread of immersive content. For the last couple of years, immersive audio recording and playback technologies have gained momentum and have become more and more popular. New codecs are needed to handle those spatial audio formats, especially for communication applications. There are several ways to represent spatial audio scenes. In this thesis, we focused on First Order Ambisonic. The first part of our research focused on improving multi-monocoding by decorrelated each ambisonic signal component before the multi-mono coding. To guarantee signal continuity between frames, efficient quantization new mechanisms are proposed. In the second part of this thesis, we proposed a new coding concept using a power map to recreate the original spatial image. With this concept, we proposed two compressing methods. The first one is a post-processing focused on limiting the spatial distortion of the decoded signal. The spatial correction is based on the difference between the original and the decoded spatial image. This post-processing is later extended to a parametric coding method. The last part of this thesis presents a more exploratory method. This method studied audio signal compression by neural networks inspired by image compression models using variational autoencoders
Georgy, Nicolas. "Equations de type implicite du premier ordre /". [S.l.] : [s.n.], 1999. http://library.epfl.ch/theses/?nr=2068.
André, Simon. "Groupes hyperboliques et logique du premier ordre". Thesis, Rennes 1, 2019. http://www.theses.fr/2019REN1S030/document.
Two groups are said to be elementarily equivalent if they satisfy the same first-order sentences in the language of groups, that is the same mathematical statements whose variables are only interpreted as elements of a group. Around 1945, Tarski asked the following question : are non-abelian free groups elementarily equivalent? An affirmative answer to this famous Tarski's problem was given in 2006 by Sela and independently by Kharlampovich and Myasnikov, as the culmination of two voluminous series of papers. Then, Sela gave a classification of all finitely generated groups that are elementarily equivalent to a given torsion-free hyperbolic group. The results contained in the present thesis fall into this context and deal with first-order theories of hyperbolic groups with torsion. In the first chapter, we prove that any finitely generated group that is elementarily equivalent to a hyperbolic group is itself a hyperbolic group. Then, we prove that virtually free groups are almost homogeneous, meaning that elements are almost determined up to automorphism by their type, i.e. the first-order formulas they satisfy. In the last chapter, we give a complete classification of finitely generated virtually free groups up to elementary equivalence with two quantifiers
Croce, Gisella. "Sur quelques inclusions différentielles de premier et de deuxième ordre /". [S.l.] : [s.n.], 2004. http://library.epfl.ch/theses/?display=detail&nr=3010.
Wasiolek, Victor. "Analyse asymptotique de systèmes hyperboliques quasi-linéaires du premier ordre". Thesis, Clermont-Ferrand 2, 2015. http://www.theses.fr/2015CLF22577/document.
Hyperbolic systems arise in a large field of sciences : kinetic theory, inviscid reactive flow, magnetohydrodynamics, inviscid gas dynamics, traffic flow, river or glacier flow, sedimentation processes, chemical exchange processes, etc. In these kind of systems, small paramaters often appear, and an asymptotic study may lead to mathematical or computational simplifications. One fundamental problem that we may work on is local and global existence of solutions for these systems, uniformly with respect to these parameters. This Ph.D. thesis includes, on one hand, general results on uniform local existence of solutions for first order quasi-linear hyperbolic systems ; and on the other hand, results on uniform global existence of solutions near constant equilibriums for these same systems. In the case of Euler-Maxwell systems, required conditions are not fulfilled for uniform global existence, then we treat it separately
Cohen, Cyril. "Formalisation des nombres algébriques : construction et théorie du premier ordre". Phd thesis, Ecole Polytechnique X, 2012. http://pastel.archives-ouvertes.fr/pastel-00780446.
Pottier, Loïc. "Algorithmes de complétion et généralisation en logique du premier ordre". Nice, 1989. http://www.theses.fr/1989NICE4261.
Dross, Claire. "Procédures de décision génériques pour des théories axiomatiques du premier ordre". Phd thesis, Université Paris Sud - Paris XI, 2014. http://tel.archives-ouvertes.fr/tel-01002190.
Chihani, Hichem Zakaria. "Certification de preuves en logiques classique et intuitionniste du premier ordre". Palaiseau, Ecole polytechnique, 2015. http://www.theses.fr/2015EPXX0047.
Milchior, Arthur. "Logique du premier ordre, relations d'entiers et automates dans une base fixe". Sorbonne Paris Cité, 2016. http://www.theses.fr/2016USPCC098.
This manuscript deals with first order logic with order relation and modular predicate, denoted by FO[<,mod]. The, class of regular set, that is of of FO[<,mod]-definable sets, is the class of sets accepted by a base 1 automaton. Lt is also the greatest class C of set such that FO[C] only defines regular languages. It is therefore natural to consider this logic, and we give in this manuscript some new characterization of regular sets. We show that the class of regular sets adroits a characterization in terms of set of smaller dimension and in tenn of periodicity. We show that a set, definable in Presburger, is regular if and only if all unary function which are FO[<,R]-definable are regulars. This characterization allows to prove that the maximal fragment C of Presburger arithmetic such that the satisfiability of FO[<,C] is decidable is the class of regular sets. Similarly, the satisfiability of first-order logic over words with the successor function and an unary increasing function f is undecidable as soon as n-f(n) is unbounded. Lf f is uninterpreted, the first-order logic with the successor function and f is undecidable over integers. Finally, a linear time angolithm is given, which takes as input a automaton A in base b greater than 1 and accepts if and only if A accepts a regular set. A second algorithm, in quasi-cubi trame, returns a FO[<,mod]-formula which defines the set of integers accepted by the automaton A
Libri sul tema "Ambisonie de premier ordre":
Bouchard, Yves. Calcul en logique du premier ordre. Québec (Québec): Presses de l'Université du Québec, 2015.
Abiteboul, S. Sciences des données: De la logique du premier ordre à la Toile. Paris]: Fayard, 2012.
Fauconpret, Benoît de. Les chevaliers de Saint-Michel, 1665-1790: Le premier ordre de mérite civil. Paris: P. du Puy, 2007.
Église catholique. Archidiocèse de Québec. Administrateur (1855-1867 : Baillargeon). Lettre pastorale de Mgr. l'administrateur du diocèse de Québec, au clergé, pour la promulgation du cérémonial publié par ordre du premier concile provincial. [S.l: s.n., 1986.
Lassaigne, Richard. Logique et fondements de l'informatique: Logique du 1er ordre, calculabilité et lambda-calcul. Paris: Hermès, 1993.
Baldeschi, Giuseppe. Notes explicatives et complémentaires sur la première édition du Cérémonial selon le rit romain, par J. Baldeschi: Faite en Canada par ordre du Premier Concile provincial de Québec. [S.l: s.n, 1987.
Beauregard, Jean Brumauld de. Mémoires de Mgr J. Brumauld de Beauregard, évêque d'Orléans, chanoine du premier ordre au chapitre royal de St-Denis : précédés de sa vie, écrite sur des notes et des documents authentiques. Poitiers, 1842. Ingrandes-sur-Loire: [D. Lambert de La Douasnerie], 2005.
Habrias, Henri. Introduction a la specification. Paris: Masson, 1993.
Jon, Barwise. Hyperproof. Stanford, Calif: CSLI Publications, 1994.
Autonne, Léon César. Sur la Théorie des Équations Différentielles du Premier Ordre et du Premier Degré. Creative Media Partners, LLC, 2018.
Capitoli di libri sul tema "Ambisonie de premier ordre":
"III.1. Conditions de minimalité du premier ordre". In Optimisation et analyse convexe, 63–65. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-0700-0-008.
"II.1. Conditions de minimalité du premier ordre". In Optimisation et analyse convexe, 41. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-0700-0-006.
"II.1. Conditions de minimalité du premier ordre". In Optimisation et analyse convexe, 41. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-0700-0.c006.
"III.1. Conditions de minimalité du premier ordre". In Optimisation et analyse convexe, 63–65. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-0700-0.c008.
"III Cinétique de transition de phase du premier ordre". In Théorie des formes de croissance, 65–88. EDP Sciences, 2000. http://dx.doi.org/10.1051/978-2-7598-0297-5.c004.
Krikorian, Sandrine. "Iconographie et sources écrites : des matériaux de premier ordre". In Les rois à table, 15–36. Presses universitaires de Provence, 2011. http://dx.doi.org/10.4000/books.pup.13222.
Abiteboul, Serge. "Sciences des données : de la logique du premier ordre à la Toile". In Sciences des données : de la logique du premier ordre à la Toile. Collège de France, 2012. http://dx.doi.org/10.4000/books.cdf.529.
Everist, Mark. "L'obligation de jouer le répertoire du premier ordre—Repertory and Management at the Odéon". In Music Drama at the Paris Odéon, 1824–1828, 44–72. University of California Press, 2002. http://dx.doi.org/10.1525/california/9780520234451.003.0003.
Dumont, Jonathan. "La redéfinition du premier ordre au début de la Renaissance : l’exemple du cardinal d’Amboise". In Georges Ier d'Amboise, 81–93. Presses universitaires de Rennes, 2013. http://dx.doi.org/10.4000/books.pur.112836.
Corvol, Pierre. "Présentation de Serge Abiteboul". In Sciences des données : de la logique du premier ordre à la Toile. Collège de France, 2012. http://dx.doi.org/10.4000/books.cdf.528.