Literatura académica sobre el tema "Clause Strengthening"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Clause Strengthening".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Clause Strengthening"
De Angelis, Emanuele, Fabio Fioravanti, Alberto Pettorossi y Maurizio Proietti. "Contract Strengthening through Constrained Horn Clause Verification". Electronic Proceedings in Theoretical Computer Science 373 (22 de noviembre de 2022): 23–34. http://dx.doi.org/10.4204/eptcs.373.3.
Texto completoCarwan, Carwan y Sari Indah Lestari. "Use Of Standard Clauses in Transactions Therapeutics Based on Regulation Theory". International Journal of Social Service and Research 3, n.º 11 (14 de noviembre de 2023): 2735–45. http://dx.doi.org/10.46799/ijssr.v3i11.576.
Texto completoCan, Cheng y 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, n.º 1 (13 de septiembre de 2023): 148–58. http://dx.doi.org/10.54254/2754-1169/25/20230489.
Texto completoBurgess, Mark Alexander, Charles Gretton, Josh Milthorpe, Luke Croak, Thomas Willingham y Alwen Tiu. "Dagster: Parallel Structured Search". Proceedings of the AAAI Conference on Artificial Intelligence 37, n.º 13 (26 de junio de 2023): 16404–6. http://dx.doi.org/10.1609/aaai.v37i13.27060.
Texto completoFernandes, Wanderley y Jéssica Ricci Gago. "Extensão Objetiva da Cláusula Arbitral". Revista Brasileira de Arbitragem 11, Issue 43 (1 de septiembre de 2014): 33–58. http://dx.doi.org/10.54648/rba2014035.
Texto completoZhang, Daqun. "Towards multiple hyperTheme: Theme beyond the clause". Text & Talk 37, n.º 6 (20 de septiembre de 2017): 663–81. http://dx.doi.org/10.1515/text-2017-0026.
Texto completoTrobevšek Drobnak, Frančiška. "Expanded tenses in the old English orosius a syntactic strengthening*". Linguistica 30, n.º 1 (1 de diciembre de 1990): 13–46. http://dx.doi.org/10.4312/linguistica.30.1.13-46.
Texto completoB.R. Cagney y 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 de enero de 2004): 45–54. http://dx.doi.org/10.56748/ejse.440.
Texto completoBeljić, Marina y Olgica Glavaški. "Effectiveness of bail-out mechanisms in the Eurozone: Global vs. pandemic crisis". Anali Ekonomskog fakulteta u Subotici 57, n.º 45 (2021): 79–95. http://dx.doi.org/10.5937/aneksub2145079b.
Texto completoMilyukov, Sergey y Nina Skripchenko. "Strengthening Criminal Repressions for Sexual Assaults: Regulatory Vision and Prospective Law Enforcement". Russian Journal of Criminology 16, n.º 5 (28 de noviembre de 2022): 580–89. http://dx.doi.org/10.17150/2500-4255.2022.16(5).580-589.
Texto completoTesis sobre el tema "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.
Texto completoVovchok, 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.
Texto completoVallade, Vincent. "Contributions à la résolution parallèle du problème SAT". Electronic Thesis or Diss., Sorbonne université, 2023. http://www.theses.fr/2023SORUS260.
Texto completoThis 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.
Texto completoLibros sobre el tema "Clause Strengthening"
Missing class: Strengthening social movement groups by seeing class cultures. Ithaca: ILR Press, an imprint of Cornell University Press, 2014.
Buscar texto completoStrengthening 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.
Buscar texto completoStrengthening 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.
Buscar texto completoUnited 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.
Buscar texto completoStrengthening 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.
Buscar texto completoStrengthening 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.
Buscar texto completoStrengthening 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.
Buscar texto completoInternational trade: Strengthening worldwide protection of intellectual property rights : report to selected congressional subcommittees. Washington, D.C: The Office, 1987.
Buscar texto completoLeondar-Wright, Betsy. Missing Class: Strengthening Social Movement Groups by Seeing Class Cultures. Cornell University Press, 2014.
Buscar texto completoGrosse Ruse-Khan, Henning. Trips and Later Inter-Se Agreements. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780199663392.003.0005.
Texto completoCapítulos de libros sobre el tema "Clause Strengthening"
Wieringa, Siert y Keijo Heljanko. "Concurrent Clause Strengthening". En 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.
Texto completoVan Gelder, Allen. "Generalized Conflict-Clause Strengthening for Satisfiability Solvers". En 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.
Texto completoVallade, Vincent, Ludovic Le Frioux, Souheib Baarir, Julien Sopena y Fabrice Kordon. "On the Usefulness of Clause Strengthening in Parallel SAT Solving". En Lecture Notes in Computer Science, 222–29. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-55754-6_13.
Texto completoDi Ludovico, M., G. De Martino, A. Prota, G. Manfredi y M. Dolce. "Damage Assessment in Italy, and Experiences After Recent Earthquakes on Reparability and Repair Costs". En Springer Tracts in Civil Engineering, 65–84. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-68813-4_4.
Texto completoDesmond, Adrian. "5. Perfectibility". En Reign of the Beast, 159–74. Cambridge, UK: Open Book Publishers, 2024. http://dx.doi.org/10.11647/obp.0393.05.
Texto completoUegaki, Wataru. "The doubt-whether puzzle". En Non-Interrogative Subordinate Wh-Clauses, 461–91. Oxford University PressOxford, 2023. http://dx.doi.org/10.1093/oso/9780192844620.003.0015.
Texto completoMeron, Theodor. "Trying Violations of Human Rights in International Criminal Tribunals". En Standing Up for Justice, 103–15. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780198863434.003.0005.
Texto completoJarausch, Konrad H. "Professionalization German Style". En The Unfree Professions, 3–24. Oxford University PressNew York, NY, 1990. http://dx.doi.org/10.1093/oso/9780195044829.003.0001.
Texto completoWeissinger, Sandra E. y Ashraf Esmail. "Hard-Learned Lessons". En Online Course Management, 1247–60. IGI Global, 2018. http://dx.doi.org/10.4018/978-1-5225-5472-1.ch064.
Texto completoDeudney, Daniel. "Superpower Restraints, Planetary Security, and Earth Identity". En Dark Skies, 225–60. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780190903343.003.0007.
Texto completoActas de conferencias sobre el tema "Clause Strengthening"
Cho, Jihoon. "Strengthening Class1 Gen2 RFID tags". En 2009 IEEE 6th International Conference on Mobile Adhoc and Sensor Systems (MASS). IEEE, 2009. http://dx.doi.org/10.1109/mobhoc.2009.5336912.
Texto completoBouchon-Meunier, Bernadette, Anne Laurent, Marie-Jeanne Lesot y Maria Rifqi. "Strengthening fuzzy gradual rules through “all the more” clauses". En 2010 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). IEEE, 2010. http://dx.doi.org/10.1109/fuzzy.2010.5584858.
Texto completoZhang, Duan. "The Strengthening of Expressive Skills in Modern Chinese Classes". En International Conference on Humanity and Social Science (ICHSS2016). WORLD SCIENTIFIC, 2017. http://dx.doi.org/10.1142/9789813208506_0024.
Texto completoWillson, Diana, Iain Colquhoun y Dean Carnes. "Strengthening the Current Class Location Designation System". En 2018 12th International Pipeline Conference. American Society of Mechanical Engineers, 2018. http://dx.doi.org/10.1115/ipc2018-78672.
Texto completoŠtefanek, Štefan. "REGULATORY SANDBOXES AND EXPERIMENTATION CLAUSES: AN ATTEMPT TO MAKE THE (CROATIAN) LEGAL SYSTEM MORE ENTREPRENEURIAL". En 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.
Texto completoNatarajan, Harshavardhana y Akash Vincent. "Development of Silicon Carbide Dispersed Steel Using Wire Arc Additive Manufacturing Process". En 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.
Texto completoGerasimova, Natalya Sergeevna y 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". En 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.
Texto completoRanganathan, Soundararajan, Vishaal Aravinth, Shanthosh gopal, Ajith Raja y Pradeep C. "Design and Analysis of Steering Knuckle at Diverse Strengthening Condition". En 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.
Texto completoWeinstein, Kathryn. "Visualizing the critique: Strengthening quantitative reasoning skills through design". En HEAd'16 - International Conference on Higher Education Advances. Valencia: Universitat Politècnica València, 2016. http://dx.doi.org/10.4995/head16.2016.2546.
Texto completoKruszka, Leopold y Ryszard Chmielewski. "Design analysis of strengthening a damaged supporting structure in a swimming pool building". En 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.
Texto completoInformes sobre el tema "Clause Strengthening"
Carter, Becky. Strengthening Gender Equality in Decision-making in Somaliland. Institute of Development Studies (IDS), febrero de 2021. http://dx.doi.org/10.19088/k4d.2021.078.
Texto completo