Добірка наукової літератури з теми "Logiciel QUASES"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Logiciel QUASES".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Logiciel QUASES":
Zyrianov, Aleksandr I., and Inna S. Zyrianova. "Planning of the Interregional Tourist Route in the Urals." Quaestiones Geographicae 40, no. 2 (June 1, 2021): 109–18. http://dx.doi.org/10.2478/quageo-2021-0018.
GARCIA, André Luiz Ming. "A NATUREZA LÓGICA E SEMIÓTICA DOS SIGNOS DE PRIMEIRIDADE THE LOGICAL AND SEMIOTIC NATURE OF THE ‘PRIMEIRIDADE’ SIGNS." Acta Semiótica et Lingvistica 22, no. 1 (October 24, 2017). http://dx.doi.org/10.22478/ufpb.2446-7006.2017v22n1.36049.
Campos, Alexandre. "Algumas considerações sobre os movimentos dos corpos na antiguidade e na Idade Média: a teoria do ímpeto e a inércia." Ensino & Multidisciplinaridade, April 9, 2022, e0322. http://dx.doi.org/10.18764/2447-5777v8n1.2022.3.
Дисертації з теми "Logiciel QUASES":
Bure, Taylor Rose. "Inelastic background analysis from lab-based HAXPES spectra for critical interfaces in nano-electronics." Electronic Thesis or Diss., Université Clermont Auvergne (2021-...), 2023. http://www.theses.fr/2023UCFA0125.
This work uses lab-scale hard X-ray photoelectron spectroscopy (HAXPES) in the perspective of inelastic background analysis (IBA) for applications in the metrology field in order to provide thickness measurements of technologically relevant materials in memory and power devices. We seek to meet the need for a method adapted for inline processes and routine analysis. The samples presented in this work were fabricated by pre-industrial processes and are representative of real device technology with concerns like complex interdiffusion properties and deeply buried active layers and interfaces. In this work, we evaluate the HAXPES-IBA technique executed with QUASES software by studying the free parameters, the operator contributions, and uncertainty in the depth distribution. We present a self-contained analysis by accessing high energy photoelectron spectra of elements from each sample layer recorded with a novel lab-scale HAXPES instrument (PHI Quantes) fitted with a Cr Kα photon source (hv = 5414.72 eV). First, highly controlled reference samples of known thicknesses (Al2O3 and HfO2 thin films) were studied to confirm the accuracy of the IBA method through validation against highly quantitative reference techniques. HAXPES-IBA thickness determinations of bilayer samples with a thick overlayer up to 25 nm and a buried layer of approximately 2.5 nm were found to be in excellent agreement with results from X-ray reflectivity (XRR) with fitting uncertainty of the IBA solution in the sub-nanometer range. The need to select the appropriate HAXPES excitation energy depending on total film thickness was demonstrated thanks to complimentary HAXPES measurements recorded with Ga Kα radiation (hv = 9251.74 eV). Finally, we apply the method to realistic technological samples. In the first study, we present thickness results from a sample class of Al2O3 films deposited over GaN by atomic layer deposition (ALD), representative of a recessed gate MOS channel High Electron Mobility Transistor (HEMT). Quantitative secondary ion mass spectrometry (SIMS) measurements compliment the IBA technique by confirming need for reference spectrum. In the second study, the HAXPES-IBA method is combined with ion sputtering to confirm the Ti/TiN overlayer thickness in a Ti/HfO2-based structure used for oxide resistive random access memory (OxRRAM) technology. We provide a critical summary of advances to reach for an accurate and reliable HAXPES-IBA method fully-integrated into inline process control
Binet, Sébastien. "Environnement logiciel et étalonnage de l'échelle en énergie des jets dans l'expérience ATLAS." Clermont-Ferrand 2, 2006. https://tel.archives-ouvertes.fr/tel-00140524.
LEDDA, ANTONIO. "Logical and algebraic structures from Quantum Computation." Doctoral thesis, Università degli Studi di Cagliari, 2008. http://hdl.handle.net/11584/265966.
Bousson, Nicolas. "Recherche de nouveaux quarks lourds avec l'expérience ATLAS au LHC. Mise en oeuvre d'algorithmes d'identification de jets issus de quarks b." Thesis, Aix-Marseille, 2012. http://www.theses.fr/2012AIXM4101/document.
The hypothesis of a fourth generation of fermions – the matter particles described in the Standard Model (SM) of particle physics – is one of the simplest model of new physics still not excluded and accessible at the start of the Large Hadron Collider (LHC) – the world most powerful hadron collider since 2009. We search for the pair production of up-type t' quarks decaying to a W boson and a b-quark. The search is optimized for the high quark mass regime, for which the production can be distinguished from the top background by exploiting kinematic features of the decay products arising from the proton-proton collisions occurring at the center of the ATLAS detector. We present a novel search strategy reconstructing explicitly very high-pT W bosons from their collimated decay products. The analysis benefits from the commissioning of algorithms intended to identify jets stemming from the fragmentation of b-quarks. These algorithms are based on the precise reconstruction of the trajectory of charged particles, vertices of primary interaction and secondary vertices in jets. The b-tagging ability allows for ATLAS to improve the (re)discovery of the SM, and the sensibility to new physics. It will hence play an important role in the future of the LHC, the reason why we study the expected performance with an upgrade of the ATLAS pixel detector, called IBL and currently under construction. Our search of t' quark, using 4.7 fb^−1 of the 7 TeV data collected in 2011, has resulted in the world most stringent limit, excluding t' masses below 656 GeV, with also an interpretation in the framework of vector-like quarks
Desnos, Nicolas. "Ports composites pour l'assemblage automatique de composants logiciels : application à la construction dynamique et à l'évolution non anticipée." Montpellier 2, 2008. http://www.theses.fr/2008MON20124.
Lefort, Vincent. "Un modèle lattice pour simuler la propagation de fissures sous l’effet d’une injection de fluide dans un milieu hétérogène quasi-fragile." Thesis, Pau, 2016. http://www.theses.fr/2016PAUU3011/document.
This research study aims at developing a lattice-type numerical model allowing the simulation of crack propagation under fluid injection in a quasi-brittle heterogeneous medium. This numerical tool will be used to get a better understanding of initiation and propagation conditions of cracks in rock materials presenting natural joints where the coupling between mechanical damage and fluid transfer properties are at stake. If the final goal of the study does concern natural rocks, the model has been validated by different comparisons with experimental results obtained on cementitious materials mimicking natural rocks in term of mechanical and transport behaviours but presenting heterogeneities which are better controlled. The first part of the manuscript presents a general state of the art. The second part of the manuscript is dedicated to the study of crack propagation in quasi-brittle materials where a significant fracture process zone is evolving upon failure. Only the solid phase is studied here and a statistical tool based on Ripley’s functions is adapted in order to extract a characteristic length representative of the correlations appearing between a set of point undergoing mechanical damage. This tool is then used in the context of numerical and experimental fracture tests on 3 point bending concrete beams. The results show that the lattice-type numerical model is able to capture the global fracture process – in term of force vs. crack opening mouth displacement – but also the local fracture process – in term of dissipated energy and correlation length evolution between damage points. Moreover, this statistical tool shows how the solicitation mode may influence the development of damage within a structure. The third part presents a new elasto-plastic damage constitutive law for joint modelling. The originality of the model lies in the coupling between mechanical damage under normal strain and plasticity under tangential strain. This new constitutive law is able to reproduce indirect shear experimental tests performed on mortar specimens presenting a plaster joint where a classical Mohr-Coulomb criterion fails. The fourth part is dedicated to the representation of the full hydro-mechanical coupling within the lattice-type numerical model. The hydro-mechanical coupling is introduced through a poromechanical framework based on the intrinsic and dual hydro-mechanical description of the lattice model, which is based on a "hydraulic" Voronoï tessellation and a "mechanical" Delaunay triangulation. The total stress links the mechanical stress and the pore pressure through the Biot coefficient of the medium whereas the local permeability, which drives the hydraulic pressure gradient, depends on the local crack openings. The numerical results are compared with analytical solutions from the literature for "bi-wings" shape cracks and it is shown that both approaches present similar results for a perfect straight crack. Once the lattice-model has been successfully validated within the former parts of the manuscript, its fifth and last part is dedicated to the numerical simulation of the fully hydro-mechanical coupling problem of a free crack propagation due to fluid injection and its interaction with a natural joint in an heterogeneous rock medium. Different crack paths, which are not pre-meshed a priori, and different pressure profiles are obtained and compared for different joint inclinations. Finally, our statistical tool, which has been primarily developed for the analysis of the failure behaviour of the solid phase, is used to characterise the evolution of correlation lengths between points undergoing damage upon the crack propagation and its interaction with a natural joint. It is shown that the hydro-mechanical lattice model is able to represent different mechanism of crack stop and restart from a joint depending on its inclination
Vacher, Camille. "Automates d'arbres à contraintes globales pour la vérification de propriétés de sécurité." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2010. http://tel.archives-ouvertes.fr/tel-00598494.
Meguellati, Fatima. "Estimation par approximation de Laplace dans les modèles GLM Mixtes : application à la gravité corporelle maximale des accidents de la route." Thesis, Lille 1, 2014. http://www.theses.fr/2014LIL10204/document.
This thesis is a contribution to the construction of statistical methods for the evaluation (modeling and estimation) of some indices used to analyze the injury severity of road crashes. We focus on four points during the development of the adopted methodology: the random variables (or factors) selection, the construction of mixed logistic-Normal model, the parameters estimation by Laplace approximation and PQL (penalized quasi-likelihood) and the performance comparison of the estimation methods. In a first contribution, a logistic-Normal model is constructed with "collision type" as random variable to analyze the maximum injury severity observed in a sample of crashed vehicles. Estimation methods based on the Laplace approximation of the log-likelihood are proposed to estimate and analyze the contribution of variables in the model. We compare, by simulation, this Laplacian approximation to those based on the adaptation of Gauss-Hermite polynomials (AGH). We show that the two approaches are equivalent with respect to the accuracy of the estimate although AGH is superior. A second contribution is to adapt some algorithms of PQL family to estimate the parameters of a second model and compare its performance to Laplace and AGH methods in terms of bias. Two examples of simulated data illustrate the obtained results. In a third and dense contribution, we identify several mixed logistic-Normal models with more than one random effect. The convergence of the algorithms (Laplace, AGH, and PQL) and the precision of the estimates are investigated. Simulations as well as a database of detailed crash data are used to analyze the models performance to detect vehicles containing users with maximum injury severity. Programming oriented R accompany all results. The thesis concludes with perspectives on GLM Mixed models selection criteria and the extension of these models to the multinomial family
Neu, Thibault. "Etude expérimentale et modélisation de la compression quasi isotherme d’air pour le stockage d’énergie en mer." Thesis, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire, 2017. http://www.theses.fr/2017IMTA0021/document.
Energy storage by compressed air would be one of the required technologies for enabling massive use of intermittent solar or wind renewable energy sources. Air compression using a liquid piston enables an increase in the energy storage efficiency by inducing an intense heat exchange in the compression chamber. Few studies reported in the literature have focused on the description and evaluation of the convective heat exchange for a low ratio compression chamber (L/D). Using an experimental study and two test benches, the internal convective heat transfer during compression has been studied. In addition to measuring liquid piston position and air pressure, an inverse method was used to determine the instantaneous parietal convective heat flow during compression. After highlighting the presence of a systematic transition from laminar to turbulent convective regime in the compressed air, new convective heat transfer correlations were sought. On the basis of 73 experiments, several correlation forms based on dimensionless numbers were optimized and compared. Two new Nusselt number correlations, one for laminar and the other for turbulent flow, were then selected. A 1D thermodynamic transient model of the compression chamber was built using Matlab / Simulink environment in order to test the quality of these correlations. Thus, numerical results and experimental data were compared. Finally, results from two additional experiments carried out on a different test bench have confirmed the quality of the new proposed correlations for convective heat exchange
Smith, Edward Charles. "Reconceptualizing mathematics teaching and learning: Teacher learning in a realistic mathematics context." University of the Western Cape, 2000. http://hdl.handle.net/11394/8470.
In this study the construct of personal theories is used to represent the teacher's conceptions, which are interpreted as the consciously held beliefs. The teacher's personal theories encompass beliefs, images, values and attitudes as well as understanding about teaching and learning. This study investigates the influence of the teacher's conceptions of mathematics, of the teaching and learning of mathematics and of the context before and after a structured learning experience. The interest in the teacher's conceptions is derived from the assumption that these serve as a primary component that influence how teachers think about their professional responsibilities and how they act in their classrooms. Furthermore, the extent of implementation of a new curriculum has been linked to the scope of congruence between the teachers' conceptions and the underpinning philosophy of the intended curriculum. The study of the teacher's conceptions is especially relevant during a time of educational reform, such as the current transition to an Outcomes Based Education curriculum in South Africa. The participants in this study consist of four primary school mathematics teachers with various educational backgrounds, who teach at schools situated in different physical environments. The conceptions that these teachers have of mathematics, of the teaching and learning of mathematics and the influence of the context are investigated using a variety of instruments. Data collection was done with a questionnaire, a repertory grid, a semi-structured interview and lesson observations. The teachers participated in the Teaching Intervention and Support Programme (TISP), as a structured teacher learning experience. The programme is centred on the integration of the developmental and socio-cultural perspectives on teacher learning. With the developmental perspective the focus is on the acquisition of intellectual skills, while the socio-cultural perspective emphasizes participation in social practice. Both are directed at effecting conceptual change. With the developmental approach the process of conceptual change involves the development of new conceptions from existing conceptions. From the socio-cultural perspective the context is paramount and conceptual change is seen as new ways of being and acting within a particular context. The teachers were invited to attend a two-week intervention session, followed by a six months support programme that was aimed at establishing a teacher learning community. The learning experiences provided during the intervention session were drawn mainly from Realistic Mathematics Education. On completion of the programme, the teachers' conceptions of mathematics, of the teaching and learning of mathematics and the influence of the context were again investigated. The results of this study show that two of the participants had highly mechanistic conceptions of mathematics, and the teaching and learning of mathematics. The remaining two had a more empiristic approach with its high focus on environmental activities. After the programme, the teachers with the mechanistic views adopted a mixed. conception with some of the mechanistic conceptions retained, but now interspersed with some empiristic and realistic conceptions. The participants with the empiristic conceptions adopted a more realistic conception, but again to varying degrees. Thompson's (1991) hierarchical structure for the development of conceptions was also used to describe the extent of conceptual change. However, it was found that a concentric, rather than a hierarchical representation is a more appropriate to describe these changes. With regards to the socio-cultural view of conceptual change, all the participants perceived the context differently. The teachers' actions were also more commensurate with the practices associated with teachers that encourage learner autonomy, mathematical investigations and a facilitative role for the teacher.
Книги з теми "Logiciel QUASES":
Baldwin, Thomas. Russell on Modality. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198786436.003.0007.
Parfit, Derek. On What Matters. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198778608.001.0001.
Частини книг з теми "Logiciel QUASES":
Blackburn, Simon. "Attitudes and Contents." In Essays in Quasi-Realism, 182–97. Oxford University PressNew York, NY, 1993. http://dx.doi.org/10.1093/oso/9780195080414.003.0015.
Marcone, Alberto. "On the Logical Strength of Nash-Williams’ Theorem on Transfinite Sequences." In Logic: from Foundations to Applications, 327–552. Oxford University PressOxford, 1996. http://dx.doi.org/10.1093/oso/9780198538622.003.0014.
Hill, Christopher S. "Percepts and Concepts." In Perceptual Experience, 189—C8.P85. Oxford University PressOxford, 2022. http://dx.doi.org/10.1093/oso/9780192867766.003.0008.
Blackburn, Simon. "Quasi-Realism no Fictionalism." In Fictionalism In Metaphysics, 322–38. Oxford University PressOxford, 2005. http://dx.doi.org/10.1093/oso/9780199282180.003.0012.
Kuusela, Oskari. "Epilogue." In Wittgenstein on Logic as the Method of Philosophy, 245–46. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780198829751.003.0008.
*, Nicholas Asher. "Commonsense Entailment: A Conditional Logic for Some Generics." In Conditionals: from Philosophy to Computer Science, 103–46. Oxford University PressOxford, 1995. http://dx.doi.org/10.1093/oso/9780198538615.003.0005.
Kuusela, Oskari. "The Tractatus’ Philosophy of Logic and Carnap." In Wittgenstein on Logic as the Method of Philosophy, 77–108. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780198829751.003.0003.
Smith, Gary. "Beat the Market II." In The AI Delusion. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198824305.003.0013.
Hanson, Ann Ellis. "Talking Recipes in the Gynaecological Texts of the Hippocratic Corpus." In Parchments of Gender Deciphering the Bodies of Antiquity, 71–94. Oxford University PressOxford, 1998. http://dx.doi.org/10.1093/oso/9780198150800.003.0004.
Crouch, Richard. "Ellipsis and Glue Languages." In Fragments, 32–67. Oxford University PressNew York, NY, 1999. http://dx.doi.org/10.1093/oso/9780195123029.003.0003.
Тези доповідей конференцій з теми "Logiciel QUASES":
Alshawi, Hiyan, David Carter, Manny Rayner, and Björn Gambäck. "Translation by Quasi Logical Form transfer." In the 29th annual meeting. Morristown, NJ, USA: Association for Computational Linguistics, 1991. http://dx.doi.org/10.3115/981344.981365.
Losev, Vladimir V., and Victor I. Staroselsky. "Regularities of power consumption in quasi-adiabatic logical gates." In SPIE Proceedings, edited by Kamil A. Valiev and Alexander A. Orlikovsky. SPIE, 2004. http://dx.doi.org/10.1117/12.562669.
Lima Neto, Clodomir Silva, Thiago Nascimento da Silva, and Umberto Rivieccio. "Quasi-N4-lattices and their logic." In Workshop Brasileiro de Lógica. Sociedade Brasileira de Computação, 2022. http://dx.doi.org/10.5753/wbl.2022.222852.
Lager, Torbjörn, and William J. Black. "Bidirectional incremental generation and analysis with Categorial Grammar and indexed quasi-logical form." In the Seventh International Workshop. Morristown, NJ, USA: Association for Computational Linguistics, 1994. http://dx.doi.org/10.3115/1641417.1641444.
Godovitsyn, Maxim, Julia Zhivchikova, Nickolay Starostin, and Anton Shtanyuk. "Algorithm for Implementing Logical Operations on Sets of Orthogonal Polygons." In 31th International Conference on Computer Graphics and Vision. Keldysh Institute of Applied Mathematics, 2021. http://dx.doi.org/10.20948/graphicon-2021-3027-1088-1097.
Zhang, Xueping, Rajiv Shivpuri, and Anil K. Srivastava. "Stress Triaxiality in Chip Segmentation During High Speed Machining of Titanium Alloy." In ASME 2014 International Manufacturing Science and Engineering Conference collocated with the JSME 2014 International Conference on Materials and Processing and the 42nd North American Manufacturing Research Conference. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/msec2014-3915.
Nan, Emanuela. "Rinaturactivazione: nuove strategie di sviluppo sostenibile dai centri storici mediterranei: Genova città-laboratorio." In International Conference Virtual City and Territory. Roma: Centre de Política de Sòl i Valoracions, 2014. http://dx.doi.org/10.5821/ctv.7984.
Maiorano, Massimo, and Enrico Sciubba. "Heat Exchangers Networks Synthesis and Optimisation Performed by an Exergy-Based Expert Assistant." In ASME 1999 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 1999. http://dx.doi.org/10.1115/imece1999-0851.
Trillo, S., and S. Wabnitz. "Generation of Spatio-Temporal Patterns and All-Optical Switching based on Coherently Induced Modulational Instability in Fibers." In Nonlinear Guided-Wave Phenomena. Washington, D.C.: Optica Publishing Group, 1991. http://dx.doi.org/10.1364/nlgwp.1991.mb5.
Mariano, Carmela. "Il futuro della città è policentrico? Una riflessione sull’area metropolitana romana." In International Conference Virtual City and Territory. Roma: Centre de Política de Sòl i Valoracions, 2014. http://dx.doi.org/10.5821/ctv.7965.