Relevant bibliographies by topics / Schéma passif

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Schéma passif'

Author: Grafiati
Published: 1 June 2024
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Schéma passif.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Schéma passif"

1

Veland, Reidar. "Une construction dite ne pas exister en français moderne: le passif suivi d'un infinitif nu." Journal of French Language Studies 8, no. 1 (1998): 97–113. http://dx.doi.org/10.1017/s0959269500000582.

Full text
Abstract:
AbstractOn se propose, dans cet article, de montrer que l'expansion d'un passif morphologique par un syntagme infinitif sans terme introducteur aboutit, en français moderne, à une construction doublement problématique.Dans le cas des verbes de perception, c'est un problème prescriptif qui se pose, puisque la passivation de la construction accusativus cum infintivo, stratégie de thématisation optimale dans certains cas, est critiquée par la grammaire traditionnelle à tendance normative.S'agissant des verbes dont le schéma transitif ne comporte pas de proposition infinitive, la construction ‘pas
APA, Harvard, Vancouver, ISO, and other styles
2

Fedorova, Liudmila L'vovna. "Языковой стиль времени (на материале современной прессы и авторских текстов В. Шендеровича и Земфиры)". Chroniques slaves 2, № 1 (2006): 69–84. http://dx.doi.org/10.3406/chros.2006.868.

Full text
Abstract:
<i>Le style discursif de notre temps étude des textes de la presse et d’auteurs populaires, V. Chenderovitch et Zemphira </i> Le discours publiciste de la Russie contemporaine appelle à la compétence culturelle et linguistique du lecteur de masses, par laquelle se représente l’image linguistique du monde - image populaire mais tout de même pas «naïve». Elle puise dans les modèles qui sont propres aux diverses couches de la conscience linguistique et qui forment un assemblage multiple. Ce sont d’abord des éléments représentatifs de l’esprit national (proverbes, locutions figées, bon
APA, Harvard, Vancouver, ISO, and other styles
3

Pilosu, Alessandro. "'"I passi fidi". Studi in onore di Carlos López Cortezo', a cura di Carlota Cattermole Ordóñez, Augusto Nava Mora, Rosario Scrimieri Martín, Juan Varela-Portas de Orduña, 2 tt., Canterano, Aracne, 2020." Tenzone, no. 21 (December 7, 2022): 181–92. https://doi.org/10.26034/fr.tenzone.2022.3964.

Full text
Abstract:
Scheda del libro "I passi fidi". Studi in onore di Carlos López Cortezo, a cura di Carlota Cattermole Ordóñez, Augusto Nava Mora, Rosario Scrimieri Martín, Juan Varela-Portas de Orduña, 2 tt., Canterano, Aracne, 2020. Review of the book "I passi fidi". Studi in onore di Carlos López Cortezo, a cura di Carlota Cattermole Ordóñez, Augusto Nava Mora, Rosario Scrimieri Martín, Juan Varela-Portas de Orduña, 2 tt., Canterano, Aracne, 2020.
APA, Harvard, Vancouver, ISO, and other styles
4

Shrestha, L. J., M. P. Devkota, and B. K. Sharma. "Tree regeneration in sacred groves of Kathmandu valley, Nepal." Ecoprint: An International Journal of Ecology 22 (September 22, 2016): 29–38. http://dx.doi.org/10.3126/eco.v22i0.15468.

Full text
Abstract:
Population structure and regeneration status of tree species were studied in two sacred groves of Kathmandu valley, Pashupati (PSG) and Bajrabarahi (BSG) by sampling in concentric circular plots of 20 m radius. The dominant tree species of PSG are Schima wallichii, Pyrus pashia, Myrsine capitellata, Persea odoratissima and Quercus glauca, where as those in BSG are Neolitsea cuipala, Castanopsis indica,, Choerospondias axillaris, Schima wallichii and, Myrsine capitellata. On the basis of biomass removal, tree cutting, livestock and wildlife grazing and other anthropogenic activities, disturbanc
APA, Harvard, Vancouver, ISO, and other styles
5

Sampognaro, Giuseppe. "Il burnout del terapeuta: il cortocircuito emotivo del guaritore ferito." QUADERNI DI GESTALT 36, no. 1 (2023): 29–49. http://dx.doi.org/10.3280/gest2023-001003.

Full text
Abstract:
L'articolo intende illustrare i fattori di rischio burnout a cui il terapeuta è esposto. Soprat-tutto, focalizza una particolare situazione ricorrente nell'esperienza del clinico: il cortocircuito emotivo che nasce dall'incontro con pazienti che presentano una marcata affinità con lo sfondo del terapeuta, e che pertanto suscitano in lui particolare risonanza. Per prevenire il burnout, è auspicabile che il terapeuta abbandoni lo schema narcisistico del farsi carico della salvezza del paziente; che accetti la propria fallibilità e che sia disposto a met-tere al servizio dell'Altro le proprie pau
APA, Harvard, Vancouver, ISO, and other styles
6

Kinoshita, Shin, Yoshihiko Nomura, and Yoshiaki Kashino. "MoP-31 COMPARATIVE STUDY OF ACTIVE AND PASSIVE MOTION LEARNING SCHEME WITH HAPTIC INFORMATION." Proceedings of JSME-IIP/ASME-ISPS Joint Conference on Micromechatronics for Information and Precision Equipment : IIP/ISPS joint MIPE 2015 (2015): _MoP—31–1_—_MoP—31–3_. http://dx.doi.org/10.1299/jsmemipe.2015._mop-31-1_.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Kokoro, Hénoc LANKOANDÉ. "SOUFFRANCE ET DISCOURS PASSIONNEL DANS LA NOUVELLE LA DAMNÉE DE WILLIAM ARISTIDE NASSIDIA COMBARY." Limbaj si context / Speech and Context International Journal of Linguistics, Semiotics and Literary Science 1/2022, no. 14 (2023): 61–72. https://doi.org/10.5281/zenodo.7632953.

Full text
Abstract:
<em>Suffering is a widespread phenomenon in our world today. It is expressed in various ways, on several categories of people. The most common is the one that refers to the lack of capital. In the short story entitled &ldquo;La Damn&eacute;e&rdquo;, suffering is rooted, intensely, to better act in the affect of sensitive subjects. To then identify the meaning that pivots around this theme at the heart of the work, we resort to the theory of semiotics of discourse and the semiotics of passions developed by Algirdas-Julien Greimas. To achieve this, we ask the following question constituting our
APA, Harvard, Vancouver, ISO, and other styles
8

Kang, Gil-Mo, and Oh-Soon Shin. "Message Passing Algorithm-based Multi-UAV Signal Detection Scheme in Aerial Communication Environments." Journal of the Institute of Electronics and Information Engineers 61, no. 11 (2024): 18–24. https://doi.org/10.5573/ieie.2024.61.11.18.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Puglisi, Melania. "Eros e linguaggio in Se una notte d'inverno un viaggiatore." Cuadernos de Filología Italiana 28 (July 15, 2021): 379–403. http://dx.doi.org/10.5209/cfit.72734.

Full text
Abstract:
Quanto e in che modo l’eros informa la scrittura calviniana? L'articolo propone un approfondimento nuovo e originale sul tema, toccato finora in modo complessivo solo in Gabriele 1994, e lo fa in modo interdisciplinare, secondo due prospettive: quella letteraria e quella linguistica. L’analisi si concentra su Se una notte d’inverno un viaggiatore, in particolare sulla scena erotica del romanzo, caratterizzata dalla descrizione del sesso come lettura del corpo. L’articolo mostra come, sia sul piano letterario sia su quello linguistico, il romanzo sia pervaso dall’erotismo in modo più profondo d
APA, Harvard, Vancouver, ISO, and other styles
10

Kobayashi, Hiromichi, and Takauki Aoki. "615 Turbulence Simulation of Passive Scalar with IDO Scheme." Proceedings of The Computational Mechanics Conference 2008.21 (2008): 273–74. http://dx.doi.org/10.1299/jsmecmd.2008.21.273.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Schéma passif"

1

Mrad, Imed. "La méthode du recuit simulé pour la synthèse automatique de schéma électrique équivalent : Application à la modélisation de composant et à l'adaptation à large bande." Châtenay-Malabry, Ecole centrale de Paris, 1997. http://www.theses.fr/1997ECAP0588.

Full text
Abstract:
Les méthodes stochastiques d'optimisation globale ont fait preuve d'une plus grande performance sur certains problèmes que sur d'autres. La méthode que nous avons choisie comme outil d'optimisation est la méthode du recuit simule : c'est une méthode issue de la thermodynamique statistique, qui a montré son efficacité sur des fonctions analytiques complexes, comme les fonctions de Rosenbrock à 100 variables, Shekel à 4 variables et Zakharov à 100 variables. Grâce à un couplage entre un simulateur de circuits linéaires et le recuit simulé, nous avons pu résoudre non seulement les problèmes d'opt
APA, Harvard, Vancouver, ISO, and other styles
2

Lai, Dac Kien. "Contribution à l'Optimisation du Dimensionnement de Composants Passifs Intégrés pour l'Electronique de Puissance." Phd thesis, Université de Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00567450.

Full text
Abstract:
Suite à la tendance de miniaturisation des convertisseurs d'électronique de puissance, un type de composant passif hybride mariant trois composants conventionnels y compris une inductance, un condensateur et un transformateur est étudié au G2Elab depuis 2001. Ce composant baptisé LCT donne plusieurs avantages tant en terme d'intégration qu'en performance. Pourtant, le dimensionnement classique des composants passifs ne garantisse pas de résultats optimaux pour les composant LCT. En contexte d'optimiser du dimensionnement des ces composants, cette thèse propose une nouvelle approche. L'optimisa
APA, Harvard, Vancouver, ISO, and other styles
3

Akhavanfoomani, Aria. "Derivative-free stochastic optimization, online learning and fairness." Electronic Thesis or Diss., Institut polytechnique de Paris, 2023. http://www.theses.fr/2023IPPAG001.

Full text
Abstract:
Dans cette thèse, nous étudions d'abord le problème de l'optimisation d'ordre zéro dans le cadre actif pour des fonctions lisses et trois classes différentes de fonctions : i) les fonctions qui satisfont la condition de Polyak-Łojasiewicz, ii) les fonctions fortement convexes, et iii) la classe plus large des fonctions non convexes fortement lisses.De plus, nous proposons un nouvel algorithme basé sur la randomisation de type l1, et nous étudions ses propriétés pour les fonctions convexes Lipschitz dans un cadre d'optimisation en ligne. Notre analyse est due à la dérivation d'une nouvelle inég
APA, Harvard, Vancouver, ISO, and other styles
4

Lai, Dac Kien. "Contribution à l’optimisation du dimensionnement de composants passifs intégrés pour l’électronique de puissance." Grenoble INPG, 2010. https://hal.science/tel-00567450.

Full text
Abstract:
Suite à la tendance de miniaturisation des convertisseurs d'électronique de puissance, un type de composant passif hybride mariant trois composants conventionnels y compris une inductance, un condensateur et un transformateur est étudié au G2Elab depuis 2001. Ce composant baptisé LCT donne plusieurs avantages tant en termes d'intégration qu'en performance. Pourtant, le dimensionnement classique des composants passifs ne garantit pas de résultats optimaux pour les composants LCT. En contexte d'optimiser le dimensionnement de ces composants, cette thèse propose une nouvelle approche. L'optimisat
APA, Harvard, Vancouver, ISO, and other styles
5

Jobic, Yann. "Numerical approach by kinetic methods of transport phenomena in heterogeneous media." Thesis, Aix-Marseille, 2016. http://www.theses.fr/2016AIXM4723/document.

Full text
Abstract:
Les phénomènes de transport en milieux poreux sont étudiés depuis près de deux siècles, cependant les travaux concernant les milieux fortement poreux sont encore relativement peu nombreux. Les modèles couramment utilisés pour les poreux classiques (lits de grains par exemple) sont peu applicables pour les milieux fortement poreux (les mousses par exemple), un certain nombre d’études ont été entreprises pour combler ce manque. Néanmoins, les résultats expérimentaux et numériques caractérisant les pertes de charge dans les mousses sont fortement dispersés. Du fait des progrès de l’imagerie 3D, u
APA, Harvard, Vancouver, ISO, and other styles
6

Soares, Carlos Walter Alves. "Metáforas e significados na composição musical : quando o compositor revisita e ressignifica seus passos." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2016. http://hdl.handle.net/10183/148285.

Full text
Abstract:
Esta tese apresenta elucidações técnicas e interpretações póscomposicionais de quatro peças compostas durante o doutorado: “Io” e “Calisto”, para piano solo, “Ganimedes” e “Europa”, para dois pianos. A composição musical é abordada em três etapas: a) descrição dos aspectos musicais e extramusicais dos primeiros estágios da composição; b) investigação das características sonoras das peças; c) construção de interpretações ficcionais pós-composicionais, imaginando as luas de Júpiter como ímpeto composicional e interpretativo. O terceiro estágio é realizado na perspectiva da teoria contemporânea d
APA, Harvard, Vancouver, ISO, and other styles
7

Smiley, W. J. "Collision detection scheme for unmanned aircraft using passive Panospheric§T§M Imaging sensor." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape8/PQDD_0002/MQ44858.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Kubrak, Boris. "Direct numerical simulation of gas transfer at the air-water interface in a buoyant-convective flow environment." Thesis, Brunel University, 2014. http://bura.brunel.ac.uk/handle/2438/10196.

Full text
Abstract:
The gas transfer process across the air-water interface in a buoyant-convective environment has been investigated by Direct Numerical Simulation (DNS) to gain improved understanding of the mechanisms that control the process. The process is controlled by a combination of molecular diffusion and turbulent transport by natural convection. The convection when a water surface is cooled is combination of the Rayleigh-B´enard convection and the Rayleigh-Taylor instability. It is therefore necessary to accurately resolve the flow field as well as the molecular diffusion and the turbulent transport wh
APA, Harvard, Vancouver, ISO, and other styles
9

Boutiton, Sophie. "Généralisation des schémas GQ2 et Rabin-Williams : équivalence avec la factorisation des grands nombres." Limoges, 2006. http://aurore.unilim.fr/theses/nxfile/default/2f7cec9e-e03a-447e-bb17-8d20828d1a30/blobholder:0/2006LIMO0007.pdf.

Full text
Abstract:
L’objectif de cette thèse est de généraliser les protocoles de sécurité GQ2 et Rabin- Williams, tous deux reliés au problème difficile de la factorisation des grands nombres. Nous évaluons la sécurité du schéma GQ2, en particulier à travers l’estimation de la capacité d’usurper une identité relativement à la capacité de factoriser la clé publique. Puis, nous montrons la forte probabilité de générer des clés GQ2 compatibles avec l’utilisation de modules RSA généraux, de modules multi-facteurs, ou de plus grands exposants publics. Dans le domaine de la signature, aucun schéma de type Rabin-Willi
APA, Harvard, Vancouver, ISO, and other styles
10

Faleh, Alaeddine. "Allocation stratégique d’actifs et ALM pour les régimes de retraites." Thesis, Lyon 1, 2011. http://www.theses.fr/2011LYO10084.

Full text
Abstract:
La présente thèse s’intéresse aux modèles d’allocation stratégiques d’actifs et à leurs applications pour la gestion des réserves financières des régimes de retraite par répartition, en particulier ceux partiellement provisionnés. L’étude de l’utilité des réserves pour un système par répartition et a fortiori de leur gestion reste un sujet peu exploré. Les hypothèses classiques sont parfois jugées trop restrictives pour décrire l'évolution complexe des réserves. De nouveaux modèles et de nouveaux résultats sont développés à trois niveaux : la génération de scénarios économiques (GSE), les tech
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Schéma passif"

1

Duty Entitlement Pass Book (DEPB) Scheme: Report of the Comptroller and Auditor General of India for the year 2012-13. Comptroller and Auditor General of India, 2014.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Cohn, Jr., Samuel K. The Great Influenza. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198819660.003.0020.

Full text
Abstract:
By October 1918, influenza had passed from a joking matter about the usual coughs and sniffles to a disease suddenly perceived as new, mysterious, and deadly. This chapter reviews the recent historiography of the Great Influenza from the 1970s to later studies that attempt to wedge this pandemic into a post-AIDS schema, claiming that it too ignited blame and the scapegoating of diseased victims and ‘others’. The chapter questions this portrayal along with the notion that it was a ‘Forgotten Pandemic’, especially in America. It also anticipates a theme developed in subsequent chapters that this
APA, Harvard, Vancouver, ISO, and other styles
3

Sindico, Francesco. National Measures and WTO Consistency—Border Measures and other Instruments to Prevent Carbon Leakage and Level the Carbon Playing Field. Edited by Kevin R. Gray, Richard Tarasofsky, and Cinnamon Carlarne. Oxford University Press, 2016. http://dx.doi.org/10.1093/law/9780199684601.003.0015.

Full text
Abstract:
This chapter analyses the consistency of the measures used by the states and the World Trade Organization (WTO) in facing carbon leakage. As a response to the wave of migration of private CO2 emitters to developing states with lax emission reduction measures, numerous developing states passed measures such as border tax adjustments (BTAs), border adjustment measures linked to the existence of an emissions trading scheme, climate change-related technical regulations, and green energy domestic support policies such as feed-in tariffs. The chapter also discusses the reasons for national climate m
APA, Harvard, Vancouver, ISO, and other styles
4

Zachary, Douglas, and Bodnar Andrew. Part V Financial Wrongdoing and Private International Law, 13 Introduction. Oxford University Press, 2017. http://dx.doi.org/10.1093/law/9780198716587.003.0013.

Full text
Abstract:
Private international law plays an important role in determining whether victims of corruption and commercial fraud can obtain private redress in the national courts. If the principles and rules of private international law are incoherent or parochial in design or in application, then private remedies against fraudsters may be jeopardized merely because the fraud has transnational elements. The chapter asks: can a fraudster avoid the jurisdiction of the victim’s courts by planning and implementing the fraudulent scheme in an ‘offshore’ territory? It also asks: can a victim trace misappropriate
APA, Harvard, Vancouver, ISO, and other styles
5

Minnich, Elizabeth K., and Michael Quinn Patton, eds. Thought Work. The Rowman & Littlefield Publishing Group, 2019. https://doi.org/10.5040/9798881818371.

Full text
Abstract:
Thinking has, for many of us, become as passive as breathing.While it’s essential to our very existence, we devote little energy or time to cultivating it. Thought Work:Thinking, Action, and the Fate of the World challenges us to reinstate the restless, complicated activity of thinking as the heart of all education, life, and work. Our underappreciation of careful thought has crippled our ability to sustain a moral, conscience-driven society, and it now falls to each of us to examine the underlying thought processes that guide our every action. Distinguished philosopher Elizabeth K. Minnich an
APA, Harvard, Vancouver, ISO, and other styles
6

Sack, Allen L., and Ellen J. Staurowsky. College Athletes for Hire. Greenwood Publishing Group, Inc., 1998. http://dx.doi.org/10.5040/9798400628443.

Full text
Abstract:
Many books have been written on the evils of commercialism in college sport, and the hypocrisy of payments to athletes from alumni and other sources outside the university. Almost no attention, however, has been given to the way that the National Collegiate Athletic Association has embraced professionalism through its athletic scholarship policy. Because of this gap in the historical record, the NCAA is often cast as an embattled defender of amateurism, rather than as the architect of a nationwide money-laundering scheme. Sack and Staurowsky show that the NCAA formally abandoned amateurism in
APA, Harvard, Vancouver, ISO, and other styles
7

Kelly, Thomas Forrest. Melisma. Oxford University PressNew York, 2025. https://doi.org/10.1093/oso/9780197763483.001.0001.

Full text
Abstract:
Abstract Melisma is the word we use to describe a long melody sung without words or on a single vowel. St. Augustine and St. Jerome and many others speak of the ineffable joy that cannot be expressed in words, when music passes beyond the realm of words into that of pure praise. Mostly the word describes those long florid passages that occur in medieval liturgical song, especially in solo chants and in the music that is designed for the schola, the experienced singers. This book is about that phenomenon, how it works, how melismas in Gregorian chant look when they are written, how they sound w
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Schéma passif"

1

Fähndrich, Johannes, Sabine Weber, and Hannes Kanthak. "A Marker Passing Approach to Winograd Schemas." In Semantic Technology. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-04284-4_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Panda, Dhabaleswar K., Sanjay Singal, and Pradeep Prabhakaran. "Multidestination message passing mechanism conforming to base wormhole routing scheme." In Parallel Computer Routing and Communication. Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58429-3_33.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Shparlinski, Igor. "Bit Security of the RSA Encryption and the Shamir Message Passing Scheme." In Cryptographic Applications of Analytic Number Theory. Birkhäuser Basel, 2003. http://dx.doi.org/10.1007/978-3-0348-8037-4_19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Wakatani, Akiyoshi. "A Parallel Scheme for Solving a Tridiagonal Matrix with Pre-propagation." In Recent Advances in Parallel Virtual Machine and Message Passing Interface. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-39924-7_32.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Czarnul, Pawel, Karen Tomko, and Henryk Krawczyk. "Dynamic Partitioning of the Divide-and-Conquer Scheme with Migration in PVM Environment." In Recent Advances in Parallel Virtual Machine and Message Passing Interface. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45417-9_26.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Hanzlik, Lucjan, Kamil Kluczniak, and Mirosław Kutyłowski. "Attack on U-Prove Revocation Scheme from FC’13 - Passing Verification by Revoked Users." In Financial Cryptography and Data Security. Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-662-45472-5_18.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Russo, Francesco. "The Hilbert Scheme of Lines Contained in a Variety and Passing Through a General Point." In On the Geometry of Some Special Projective Varieties. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-26765-4_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Jianqiang, Rao, Jiang Shengming, and He Dajiang. "A Token Passing Tree MAC Scheme for Wireless Ad Hoc Networks to Support Real-Time Traffic." In Mobile and Wireless Communications Networks. Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-45494-2_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Chalupa, Marek, and Cedric Richter. "BUBAAK: Dynamic Cooperative Verification." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-90660-2_14.

Full text
Abstract:
Abstract Cooperative verification is gaining momentum in recent years. The usual setup in cooperative verification is that a verifier A is run with some pre-defined resources, and if it is not able to verify the program, the verification task is passed to a verifier B together with information learned about the program by verifier A, then the chain can continue to a verifier C, and so on. This scheme is static: tools run one after another in a fixed pre-defined order and fixed parameters and resource limits (the scheme may differ for properties to be analyzed, though). Bubaak is a program anal
APA, Harvard, Vancouver, ISO, and other styles
10

Wolpert, Stanley. "The Road Back to Satyagraha." In Gandhi’s Passion. Oxford University PressNew York, NY, 2001. http://dx.doi.org/10.1093/oso/9780195130607.003.0014.

Full text
Abstract:
Abstract He drew up a scheme for reactivating the Congress and mobilizing its local committees to serve as volunteers going “from door to door in every town and village” to collect foreign cloth that was to be “publicly burnt” and to take orders for handwoven cloth from every householder. “Picketing foreign cloth shops may be undertaken wherever possible.... All units should from day to day report to the Central Office details of work done.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Schéma passif"

1

Wang, Ruisi, Zhijun Yan, Yibo Liu, et al. "Gaussian Mixture Model Based Intelligent Passive Optical Networks Monitoring Scheme." In 2024 9th Optoelectronics Global Conference (OGC). IEEE, 2024. http://dx.doi.org/10.1109/ogc62429.2024.10738758.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Li, Zijian, Chen Ding, Qiarong Xiao, Zixian Wei, Chaoran Huang, and Chester Shu. "Multipoint-to-Point All-Optical Channel Aggregation for Coherent Passive Optical Network Using Talbot-Based Processing and Power-Division Multiplexing." In Optical Fiber Communication Conference. Optica Publishing Group, 2025. https://doi.org/10.1364/ofc.2025.th1j.3.

Full text
Abstract:
We propose a multipoint-to-point all-optical channel aggregation scheme using Talbot-based processing and power-division multiplexing, enhancing scalability of uplink traffic in a coherent passive optical network through superposition of multipath signals at the power-domain physical layer.
APA, Harvard, Vancouver, ISO, and other styles
3

Zheng, Jiabin, Xuedao Shu, Qinying Lu, Zixuan Li, Haijie Xu, and Junkun Len. "Spin Forming Simulation and Forming Defect Analysis of Thin-Walled Deep Conical Parts." In ASME 2023 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2023. http://dx.doi.org/10.1115/imece2023-114640.

Full text
Abstract:
Abstract Aluminum alloy is widely used in various thin-walled deep conical parts due to its strong corrosion resistance, high specific strength and good plasticity. In this paper, the deep cone 1100 aluminum alloy parts are spun by the preform scheme. This scheme combines the advantages of multi-pass stamping and spinning, and can reduce the number of spinning passes of deep cone parts to four passes, which significantly improves the production efficiency. In this paper, Simufact software is used for simulation experiments. Different spinning schemes and different spinning parameters are impor
APA, Harvard, Vancouver, ISO, and other styles
4

Jaiswal, Richa, and Karan Verma. "Modified IP passing scheme to check correctness of passed IP in VANET." In 2017 International Conference on Computer, Communications and Electronics (Comptelix). IEEE, 2017. http://dx.doi.org/10.1109/comptelix.2017.8004014.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Tao, Shiquan, Bo Wang, and Dayong Wang. "TWOR scheme for holographic wavelength filters." In Passive Components and Fiber-based Devices III. SPIE, 2006. http://dx.doi.org/10.1117/12.689336.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Dombovari, Zoltan, Daniel Bachrathy, and Gabor Stepan. "Optimization of Edge Geometry of Cylindrical Milling Tools to Enhance Dynamic Stability." In ASME 2019 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2019. http://dx.doi.org/10.1115/detc2019-97761.

Full text
Abstract:
Abstract Tool geometry directly influences the dynamic performance of milling operations. Both surface properties and stability behavior are significantly influenced by the regeneration effect. The regeneration phenomenon is modelled by delay differential equations with delays originated from the time passed between consecutive flute passes. This work presents the implementation study of a constrained general optimization scheme for cutting edges of cylindrical milling cutters based on functional minimization principle. Mathematically, this leads to the determination of the corresponding weigh
APA, Harvard, Vancouver, ISO, and other styles
7

Elmasry, Aly, and Matthias Liermann. "Passive Pneumatic Teleoperation System." In ASME/BATH 2013 Symposium on Fluid Power and Motion Control. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/fpmc2013-4464.

Full text
Abstract:
This paper describes the modeling and control of a pneumatic tele-operation scheme, where the connection of master and slave cylinder is realized signal based but also physically via long transmission lines. The system is called passive because of the passive physical connection, which can also serve as a safety fallback solution. The advantage of this scheme is that a limited force feedback is realized with a minimum of extra effort in comparison to a teleportation system without force feedback. The stiffness of the physical connection is enhanced through a cascaded position and pressure cont
APA, Harvard, Vancouver, ISO, and other styles
8

Ghorab, M., S. I. Kim, and I. Hassan. "Conjugate Heat Transfer and Film Cooling of a Multi-Stage Cooling Scheme." In ASME 2008 International Mechanical Engineering Congress and Exposition. ASMEDC, 2008. http://dx.doi.org/10.1115/imece2008-69138.

Full text
Abstract:
Cooling techniques play a key role in improving efficiency and power output of modern gas turbines. The conjugate technique of film and impingement cooling schemes is considered in this study. The Multi-Stage Cooling Scheme (MSCS) involves coolant passing from inside to outside turbine blade through two stages. The first stage; the coolant passes through first hole to internal gap where the impinging jet cools the external layer of the blade. Finally, the coolant passes through the internal gap to the second hole which has specific designed geometry for external film cooling. The effect of des
APA, Harvard, Vancouver, ISO, and other styles
9

Millsaps, Knox T., and Gregory L. Reed. "Reducing Lateral Vibrations of a Rotor Passing Through Critical Speeds by Acceleration Scheduling." In ASME 1997 International Gas Turbine and Aeroengine Congress and Exhibition. American Society of Mechanical Engineers, 1997. http://dx.doi.org/10.1115/97-gt-234.

Full text
Abstract:
A method is presented for reducing the lateral response of an imbalanced rotor accelerating or decelerating through its first lateral bending critical speed by using a variable acceleration rate. A lumped parameter model along with a numerical integration scheme is used to simulate the response of a simply supported, single disk rotor during fast acceleration and deceleration through critical speed. The results indicate that the maximum response and/or the total vibrational energy of a rotor passing through the critical speed can be reduced significantly by using a variable acceleration schedu
APA, Harvard, Vancouver, ISO, and other styles
10

Bothra, S., H. Sur, H. Brugge, and D. Pramanik. "Use of Failure Analysis Techniques to Optimize the Passivation Process for a TLM 0.35 µm Process." In ISTFA 1997. ASM International, 1997. http://dx.doi.org/10.31399/asm.cp.istfa1997p0293.

Full text
Abstract:
Abstract Optimization of the passivation scheme for a 0.35 μm TLM process is presented. The passivation layer is required to provide mechanical and chemical protection during the assembly and packaging process and long term environmental protection. The passivation scheme was optimized by testing a product-like test vehicle at accelerated environmental stress conditions of high humidity and high temperature. The initial passivation scheme showed a unique electrical test signature - a voltage dependent failure with open circuit at low voltage/pass at high voltage. Advanced wafer-level failure a
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Schéma passif"

1

Pauly, T., S. Valdez, and C. A. Wood. The Privacy Pass HTTP Authentication Scheme. RFC Editor, 2024. http://dx.doi.org/10.17487/rfc9577.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Chattopadhyay, S., C. Kim, D. Massoletti, and A. Zholents. Study on a test of optical stochastic cooling scheme in a single pass beam line. Office of Scientific and Technical Information (OSTI), 1997. http://dx.doi.org/10.2172/451204.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Arthur, R. Evaluating the 3D PBL scheme for wind energy applications in the complex terrain of Altamont Pass, CA. Office of Scientific and Technical Information (OSTI), 2023. http://dx.doi.org/10.2172/1964009.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Evaluating the inclusion of family planning within the National Health Insurance benefits package in Ghana. Population Council, 2020. http://dx.doi.org/10.31899/sbsr2021.1036.

Full text
Abstract:
Contraceptive use in Ghana has remained low despite annual increases since 2012. Having a high unmet need for family planning (FP) suggests that there may be barriers to access and uptake. Over time, several policies, including Ghana’s Costed Implementation Plan from 2015–20, have suggested FP initiatives to improve contraceptive use yet they have not been entirely implemented. Further, although FP was included in the health insurance act passed in 2003, amended in 2008, and revised in 2012, which indicated that health-care benefits include FP, people continue to pay out of pocket for services
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Schéma passif' for particular source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography