Academic literature on the topic 'Clause Strengthening'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Clause Strengthening.'
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 "Clause Strengthening"
De Angelis, Emanuele, Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti. "Contract Strengthening through Constrained Horn Clause Verification." Electronic Proceedings in Theoretical Computer Science 373 (November 22, 2022): 23–34. http://dx.doi.org/10.4204/eptcs.373.3.
Full textCarwan, Carwan, and Sari Indah Lestari. "Use Of Standard Clauses in Transactions Therapeutics Based on Regulation Theory." International Journal of Social Service and Research 3, no. 11 (November 14, 2023): 2735–45. http://dx.doi.org/10.46799/ijssr.v3i11.576.
Full textCan, Cheng, and 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 (September 13, 2023): 148–58. http://dx.doi.org/10.54254/2754-1169/25/20230489.
Full textBurgess, Mark Alexander, Charles Gretton, Josh Milthorpe, Luke Croak, Thomas Willingham, and Alwen Tiu. "Dagster: Parallel Structured Search." Proceedings of the AAAI Conference on Artificial Intelligence 37, no. 13 (June 26, 2023): 16404–6. http://dx.doi.org/10.1609/aaai.v37i13.27060.
Full textFernandes, Wanderley, and Jéssica Ricci Gago. "Extensão Objetiva da Cláusula Arbitral." Revista Brasileira de Arbitragem 11, Issue 43 (September 1, 2014): 33–58. http://dx.doi.org/10.54648/rba2014035.
Full textZhang, Daqun. "Towards multiple hyperTheme: Theme beyond the clause." Text & Talk 37, no. 6 (September 20, 2017): 663–81. http://dx.doi.org/10.1515/text-2017-0026.
Full textTrobevšek Drobnak, Frančiška. "Expanded tenses in the old English orosius a syntactic strengthening*." Linguistica 30, no. 1 (December 1, 1990): 13–46. http://dx.doi.org/10.4312/linguistica.30.1.13-46.
Full textB.R. Cagney and 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 (January 1, 2004): 45–54. http://dx.doi.org/10.56748/ejse.440.
Full textBeljić, Marina, and 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.
Full textMilyukov, Sergey, and Nina Skripchenko. "Strengthening Criminal Repressions for Sexual Assaults: Regulatory Vision and Prospective Law Enforcement." Russian Journal of Criminology 16, no. 5 (November 28, 2022): 580–89. http://dx.doi.org/10.17150/2500-4255.2022.16(5).580-589.
Full textDissertations / Theses on the topic "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.
Full textVovchok, 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.
Full textVallade, Vincent. "Contributions à la résolution parallèle du problème SAT." Electronic Thesis or Diss., Sorbonne université, 2023. http://www.theses.fr/2023SORUS260.
Full textThis 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.
Full textBooks on the topic "Clause Strengthening"
Missing class: Strengthening social movement groups by seeing class cultures. Ithaca: ILR Press, an imprint of Cornell University Press, 2014.
Find full textStrengthening 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.
Find full textStrengthening 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.
Find full textUnited 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.
Find full textStrengthening 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.
Find full textStrengthening 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.
Find full textStrengthening 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.
Find full textInternational trade: Strengthening worldwide protection of intellectual property rights : report to selected congressional subcommittees. Washington, D.C: The Office, 1987.
Find full textLeondar-Wright, Betsy. Missing Class: Strengthening Social Movement Groups by Seeing Class Cultures. Cornell University Press, 2014.
Find full textGrosse Ruse-Khan, Henning. Trips and Later Inter-Se Agreements. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780199663392.003.0005.
Full textBook chapters on the topic "Clause Strengthening"
Wieringa, Siert, and Keijo Heljanko. "Concurrent Clause Strengthening." In 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.
Full textVan Gelder, Allen. "Generalized Conflict-Clause Strengthening for Satisfiability Solvers." In 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.
Full textVallade, Vincent, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, and Fabrice Kordon. "On the Usefulness of Clause Strengthening in Parallel SAT Solving." In Lecture Notes in Computer Science, 222–29. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-55754-6_13.
Full textDi Ludovico, M., G. De Martino, A. Prota, G. Manfredi, and M. Dolce. "Damage Assessment in Italy, and Experiences After Recent Earthquakes on Reparability and Repair Costs." In Springer Tracts in Civil Engineering, 65–84. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-68813-4_4.
Full textDesmond, Adrian. "5. Perfectibility." In Reign of the Beast, 159–74. Cambridge, UK: Open Book Publishers, 2024. http://dx.doi.org/10.11647/obp.0393.05.
Full textUegaki, Wataru. "The doubt-whether puzzle." In Non-Interrogative Subordinate Wh-Clauses, 461–91. Oxford University PressOxford, 2023. http://dx.doi.org/10.1093/oso/9780192844620.003.0015.
Full textMeron, Theodor. "Trying Violations of Human Rights in International Criminal Tribunals." In Standing Up for Justice, 103–15. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780198863434.003.0005.
Full textJarausch, Konrad H. "Professionalization German Style." In The Unfree Professions, 3–24. Oxford University PressNew York, NY, 1990. http://dx.doi.org/10.1093/oso/9780195044829.003.0001.
Full textWeissinger, Sandra E., and Ashraf Esmail. "Hard-Learned Lessons." In Online Course Management, 1247–60. IGI Global, 2018. http://dx.doi.org/10.4018/978-1-5225-5472-1.ch064.
Full textDeudney, Daniel. "Superpower Restraints, Planetary Security, and Earth Identity." In Dark Skies, 225–60. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780190903343.003.0007.
Full textConference papers on the topic "Clause Strengthening"
Cho, Jihoon. "Strengthening Class1 Gen2 RFID tags." In 2009 IEEE 6th International Conference on Mobile Adhoc and Sensor Systems (MASS). IEEE, 2009. http://dx.doi.org/10.1109/mobhoc.2009.5336912.
Full textBouchon-Meunier, Bernadette, Anne Laurent, Marie-Jeanne Lesot, and Maria Rifqi. "Strengthening fuzzy gradual rules through “all the more” clauses." In 2010 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). IEEE, 2010. http://dx.doi.org/10.1109/fuzzy.2010.5584858.
Full textZhang, Duan. "The Strengthening of Expressive Skills in Modern Chinese Classes." In International Conference on Humanity and Social Science (ICHSS2016). WORLD SCIENTIFIC, 2017. http://dx.doi.org/10.1142/9789813208506_0024.
Full textWillson, Diana, Iain Colquhoun, and Dean Carnes. "Strengthening the Current Class Location Designation System." In 2018 12th International Pipeline Conference. American Society of Mechanical Engineers, 2018. http://dx.doi.org/10.1115/ipc2018-78672.
Full textŠtefanek, Štefan. "REGULATORY SANDBOXES AND EXPERIMENTATION CLAUSES: AN ATTEMPT TO MAKE THE (CROATIAN) LEGAL SYSTEM MORE ENTREPRENEURIAL." In 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.
Full textNatarajan, Harshavardhana, and Akash Vincent. "Development of Silicon Carbide Dispersed Steel Using Wire Arc Additive Manufacturing Process." In 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.
Full textGerasimova, Natalya Sergeevna, and 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." In 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.
Full textRanganathan, Soundararajan, Vishaal Aravinth, Shanthosh gopal, Ajith Raja, and Pradeep C. "Design and Analysis of Steering Knuckle at Diverse Strengthening Condition." In 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.
Full textWeinstein, Kathryn. "Visualizing the critique: Strengthening quantitative reasoning skills through design." In HEAd'16 - International Conference on Higher Education Advances. Valencia: Universitat Politècnica València, 2016. http://dx.doi.org/10.4995/head16.2016.2546.
Full textKruszka, Leopold, and Ryszard Chmielewski. "Design analysis of strengthening a damaged supporting structure in a swimming pool building." In 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.
Full textReports on the topic "Clause Strengthening"
Carter, Becky. Strengthening Gender Equality in Decision-making in Somaliland. Institute of Development Studies (IDS), February 2021. http://dx.doi.org/10.19088/k4d.2021.078.
Full text