Littérature scientifique sur le sujet « Clause Strengthening »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Clause Strengthening ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Clause Strengthening"
De Angelis, Emanuele, Fabio Fioravanti, Alberto Pettorossi et Maurizio Proietti. « Contract Strengthening through Constrained Horn Clause Verification ». Electronic Proceedings in Theoretical Computer Science 373 (22 novembre 2022) : 23–34. http://dx.doi.org/10.4204/eptcs.373.3.
Texte intégralCarwan, Carwan, et Sari Indah Lestari. « Use Of Standard Clauses in Transactions Therapeutics Based on Regulation Theory ». International Journal of Social Service and Research 3, no 11 (14 novembre 2023) : 2735–45. http://dx.doi.org/10.46799/ijssr.v3i11.576.
Texte intégralCan, Cheng, et Zhihui Wang. « Difficulties and Optimization Paths of the Application of "Cross-default" Clause in Chinese Real Estate Corporate Bonds ». Advances in Economics, Management and Political Sciences 25, no 1 (13 septembre 2023) : 148–58. http://dx.doi.org/10.54254/2754-1169/25/20230489.
Texte intégralBurgess, Mark Alexander, Charles Gretton, Josh Milthorpe, Luke Croak, Thomas Willingham et Alwen Tiu. « Dagster : Parallel Structured Search ». Proceedings of the AAAI Conference on Artificial Intelligence 37, no 13 (26 juin 2023) : 16404–6. http://dx.doi.org/10.1609/aaai.v37i13.27060.
Texte intégralFernandes, Wanderley, et Jéssica Ricci Gago. « Extensão Objetiva da Cláusula Arbitral ». Revista Brasileira de Arbitragem 11, Issue 43 (1 septembre 2014) : 33–58. http://dx.doi.org/10.54648/rba2014035.
Texte intégralZhang, Daqun. « Towards multiple hyperTheme : Theme beyond the clause ». Text & ; Talk 37, no 6 (20 septembre 2017) : 663–81. http://dx.doi.org/10.1515/text-2017-0026.
Texte intégralTrobevšek Drobnak, Frančiška. « Expanded tenses in the old English orosius a syntactic strengthening* ». Linguistica 30, no 1 (1 décembre 1990) : 13–46. http://dx.doi.org/10.4312/linguistica.30.1.13-46.
Texte intégralB.R. Cagney et K.W.Wong. « The Effect of Detailing Steel in the Compression Regions of Internal Supports on the Ductility of Reinforced Concrete Beams ». Electronic Journal of Structural Engineering 4 (1 janvier 2004) : 45–54. http://dx.doi.org/10.56748/ejse.440.
Texte intégralBeljić, Marina, et Olgica Glavaški. « Effectiveness of bail-out mechanisms in the Eurozone : Global vs. pandemic crisis ». Anali Ekonomskog fakulteta u Subotici 57, no 45 (2021) : 79–95. http://dx.doi.org/10.5937/aneksub2145079b.
Texte intégralMilyukov, Sergey, et Nina Skripchenko. « Strengthening Criminal Repressions for Sexual Assaults : Regulatory Vision and Prospective Law Enforcement ». Russian Journal of Criminology 16, no 5 (28 novembre 2022) : 580–89. http://dx.doi.org/10.17150/2500-4255.2022.16(5).580-589.
Texte intégralThèses sur le sujet "Clause Strengthening"
Vovchok, Zoryana. « The Role of the United Nations Security Council in the Strengthening of the Withdrawal Clause of the Treaty on the Non-Proliferation of Nuclear Weapons ». Doctoral thesis, Università degli studi di Trento, 2010. https://hdl.handle.net/11572/368770.
Texte intégralVovchok, Zoryana. « The Role of the United Nations Security Council in the Strengthening of the Withdrawal Clause of the Treaty on the Non-Proliferation of Nuclear Weapons ». Doctoral thesis, University of Trento, 2010. http://eprints-phd.biblio.unitn.it/305/1/PhD_dissertation_Zoryana_VOVCHOK_4_May_2010_SIS.pdf.
Texte intégralVallade, Vincent. « Contributions à la résolution parallèle du problème SAT ». Electronic Thesis or Diss., Sorbonne université, 2023. http://www.theses.fr/2023SORUS260.
Texte intégralThis thesis presents multiple and orthogonal contributions to the improvement of the parallel resolution of the Boolean satisfiability problem (or SAT problem). An instance of the SAT problem is a propositional formula of a particular form (the conjunctive normal form is the most common) representing, in general, the variables and constraints of a real-world problem, such as multi-constraint planning, hardware and software verification or cryptography. Solving the SAT problem involves determining whether there is an assignment of variables that satisfies the formula. An algorithm capable of providing an answer to this problem is called a SAT solver. A simplified view of a SAT solver is an algorithm that will traverse the set of possible combinations of values for each variable until it finds a combination that makes the formula true (the formula is SAT). If the solver has gone through all the possible combinations without finding a solution, the formula is UNSAT. Obviously, this algorithm has an exponential complexity, indeed the SAT problem is the first problem to have been determined NP-complete. Many algorithms and heuristics have been developed to accelerate the solving capacity of this problem, mainly in a sequential context. The ubiquity of multi-core machines has encouraged considerable efforts in the parallel resolution of the SAT problem. This thesis is a continuation of these efforts. The contributions made by this thesis focus on the quality of information sharing between the different workers of a parallel SAT solver. A first contribution presents an efficient method to implement an asynchronous algorithm for reducing the size of the shared information. A second contribution combines the information extracted from the particular structure of the propositional formula with the information extracted dynamically during the resolution of the problem by the solver in order to create a filter that maximizes the quality of the shared information. Finally, a last contribution deals with the integration of a component allowing to determine in a probabilistic way the truth value of the variables allowing to make a formula satisfiable. The call of this component during the solving process allows to guide the solver more quickly towards a solution (if a solution exists)
Kucukdogan, Bilge. « An Investigation Of Strengthening Of Historical Masonry Constructions By Steel Skeleton ». Master's thesis, METU, 2007. http://etd.lib.metu.edu.tr/upload/12608615/index.pdf.
Texte intégralLivres sur le sujet "Clause Strengthening"
Missing class : Strengthening social movement groups by seeing class cultures. Ithaca : ILR Press, an imprint of Cornell University Press, 2014.
Trouver le texte intégralStrengthening America's middle class : Finding economic solutions to help America's families : hearing before the Committee on Education and Labor, U.S. House of Representatives, One Hundred Tenth Congress, first session, hearing held in Washington, DC, February 7, 2007. Washington : U.S. G.P.O., 2007.
Trouver le texte intégralStrengthening America's middle class : Evaluating the economic squeeze on America's families : hearing before the Committee on Education and Labor, U.S. House of Representatives, One Hundred Tenth Congress, first session, hearing held in Washington, DC, January 31, 2007. Washington : U.S. G.P.O., 2007.
Trouver le texte intégralUnited States. Congress. House. Committee on Education and Labor (2007). Strengthening the middle class : Ensuring equal pay for women : hearing before the Committee on Education and Labor, U.S. House of Representatives, One Hundred Tenth Congress, first session, hearing held in Washington, DC, April 24, 2007. Washington : U.S. G.P.O., 2007.
Trouver le texte intégralStrengthening the middle class : Ensuring equal pay for women : hearing before the Committee on Education and Labor, U.S. House of Representatives, One Hundred Tenth Congress, first session, hearing held in Washington, DC, April 24, 2007. Washington : U.S. G.P.O., 2007.
Trouver le texte intégralStrengthening the economy and improving the lives of American workers : Hearing before the Committee on Education and Labor, U.S. House of Representatives, One Hundred Eleventh Congress, second session, hearing held in Washington, D.C., February 3, 2010. Washington : U.S. G.P.O., 2010.
Trouver le texte intégralStrengthening America's middle class through the Employee Free Choice Act : Hearing before the Subcommittee on Health, Employment, Labor and Pensions, Committee on Education and Labor, U.S. House of Representatives, One Hundred Tenth Congress, first session, hearing held in Washington, DC, February 8, 2007. Washington : U.S. G.P.O., 2007.
Trouver le texte intégralInternational trade : Strengthening worldwide protection of intellectual property rights : report to selected congressional subcommittees. Washington, D.C : The Office, 1987.
Trouver le texte intégralLeondar-Wright, Betsy. Missing Class : Strengthening Social Movement Groups by Seeing Class Cultures. Cornell University Press, 2014.
Trouver le texte intégralGrosse Ruse-Khan, Henning. Trips and Later Inter-Se Agreements. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780199663392.003.0005.
Texte intégralChapitres de livres sur le sujet "Clause Strengthening"
Wieringa, Siert, et Keijo Heljanko. « Concurrent Clause Strengthening ». Dans Theory and Applications of Satisfiability Testing – SAT 2013, 116–32. Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39071-5_10.
Texte intégralVan Gelder, Allen. « Generalized Conflict-Clause Strengthening for Satisfiability Solvers ». Dans Theory and Applications of Satisfiability Testing - SAT 2011, 329–42. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-21581-0_26.
Texte intégralVallade, Vincent, Ludovic Le Frioux, Souheib Baarir, Julien Sopena et Fabrice Kordon. « On the Usefulness of Clause Strengthening in Parallel SAT Solving ». Dans Lecture Notes in Computer Science, 222–29. Cham : Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-55754-6_13.
Texte intégralDi Ludovico, M., G. De Martino, A. Prota, G. Manfredi et M. Dolce. « Damage Assessment in Italy, and Experiences After Recent Earthquakes on Reparability and Repair Costs ». Dans Springer Tracts in Civil Engineering, 65–84. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-68813-4_4.
Texte intégralDesmond, Adrian. « 5. Perfectibility ». Dans Reign of the Beast, 159–74. Cambridge, UK : Open Book Publishers, 2024. http://dx.doi.org/10.11647/obp.0393.05.
Texte intégralUegaki, Wataru. « The doubt-whether puzzle ». Dans Non-Interrogative Subordinate Wh-Clauses, 461–91. Oxford University PressOxford, 2023. http://dx.doi.org/10.1093/oso/9780192844620.003.0015.
Texte intégralMeron, Theodor. « Trying Violations of Human Rights in International Criminal Tribunals ». Dans Standing Up for Justice, 103–15. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780198863434.003.0005.
Texte intégralJarausch, Konrad H. « Professionalization German Style ». Dans The Unfree Professions, 3–24. Oxford University PressNew York, NY, 1990. http://dx.doi.org/10.1093/oso/9780195044829.003.0001.
Texte intégralWeissinger, Sandra E., et Ashraf Esmail. « Hard-Learned Lessons ». Dans Online Course Management, 1247–60. IGI Global, 2018. http://dx.doi.org/10.4018/978-1-5225-5472-1.ch064.
Texte intégralDeudney, Daniel. « Superpower Restraints, Planetary Security, and Earth Identity ». Dans Dark Skies, 225–60. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780190903343.003.0007.
Texte intégralActes de conférences sur le sujet "Clause Strengthening"
Cho, Jihoon. « Strengthening Class1 Gen2 RFID tags ». Dans 2009 IEEE 6th International Conference on Mobile Adhoc and Sensor Systems (MASS). IEEE, 2009. http://dx.doi.org/10.1109/mobhoc.2009.5336912.
Texte intégralBouchon-Meunier, Bernadette, Anne Laurent, Marie-Jeanne Lesot et Maria Rifqi. « Strengthening fuzzy gradual rules through “all the more” ; clauses ». Dans 2010 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). IEEE, 2010. http://dx.doi.org/10.1109/fuzzy.2010.5584858.
Texte intégralZhang, Duan. « The Strengthening of Expressive Skills in Modern Chinese Classes ». Dans International Conference on Humanity and Social Science (ICHSS2016). WORLD SCIENTIFIC, 2017. http://dx.doi.org/10.1142/9789813208506_0024.
Texte intégralWillson, Diana, Iain Colquhoun et Dean Carnes. « Strengthening the Current Class Location Designation System ». Dans 2018 12th International Pipeline Conference. American Society of Mechanical Engineers, 2018. http://dx.doi.org/10.1115/ipc2018-78672.
Texte intégralŠtefanek, Štefan. « REGULATORY SANDBOXES AND EXPERIMENTATION CLAUSES : AN ATTEMPT TO MAKE THE (CROATIAN) LEGAL SYSTEM MORE ENTREPRENEURIAL ». Dans The recovery of the EU and strengthening the ability to respond to new challenges – legal and economic aspects. Faculty of Law, Josip Juraj Strossmayer University of Osijek, 2022. http://dx.doi.org/10.25234/eclic/22416.
Texte intégralNatarajan, Harshavardhana, et Akash Vincent. « Development of Silicon Carbide Dispersed Steel Using Wire Arc Additive Manufacturing Process ». Dans International Conference on Advances in Design, Materials, Manufacturing and Surface Engineering for Mobility. 400 Commonwealth Drive, Warrendale, PA, United States : SAE International, 2023. http://dx.doi.org/10.4271/2023-28-0126.
Texte intégralGerasimova, Natalya Sergeevna, et Natalia Olegovna Rubtsova. « PILATES TRAINING ON THE REFORMER ALLEGRO SIMULATOR - AS AN EFFECTIVE MEANS OF CORRECTIVE ACTION ON THE MUSCULOSKELETAL SYSTEM AND IMPROVING THE CONDITIONING ABILITIES OF WOMEN ENGAGED IN FITNESS ». Dans Themed collection of papers from Foreign International Scientific Conference «Trends in the development of science and Global challenges» Ьу НNRI «National development» in cooperation with AFP. April 2023. - Managua (Nicaragua). Crossref, 2023. http://dx.doi.org/10.37539/230415.2023.38.12.014.
Texte intégralRanganathan, Soundararajan, Vishaal Aravinth, Shanthosh gopal, Ajith Raja et Pradeep C. « Design and Analysis of Steering Knuckle at Diverse Strengthening Condition ». Dans International Conference on Advances in Design, Materials, Manufacturing and Surface Engineering for Mobility. 400 Commonwealth Drive, Warrendale, PA, United States : SAE International, 2020. http://dx.doi.org/10.4271/2020-28-0501.
Texte intégralWeinstein, Kathryn. « Visualizing the critique : Strengthening quantitative reasoning skills through design ». Dans HEAd'16 - International Conference on Higher Education Advances. Valencia : Universitat Politècnica València, 2016. http://dx.doi.org/10.4995/head16.2016.2546.
Texte intégralKruszka, Leopold, et Ryszard Chmielewski. « Design analysis of strengthening a damaged supporting structure in a swimming pool building ». Dans The 13th international scientific conference “Modern Building Materials, Structures and Techniques”. Vilnius Gediminas Technical University, 2019. http://dx.doi.org/10.3846/mbmst.2019.121.
Texte intégralRapports d'organisations sur le sujet "Clause Strengthening"
Carter, Becky. Strengthening Gender Equality in Decision-making in Somaliland. Institute of Development Studies (IDS), février 2021. http://dx.doi.org/10.19088/k4d.2021.078.
Texte intégral