Relevant bibliographies by topics / Resolutive clause

Contents

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

Academic literature on the topic 'Resolutive clause'

Author: Grafiati
Published: 10 September 2021
Last updated: 30 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 'Resolutive clause.'

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 "Resolutive clause"

1

de Miranda Valverde Terra, Aline, and Giovanni Ettore Nanni. "A cláusula resolutiva expressa enquanto instrumento privilegiado de gestão de riscos contratuais / The express resolutive clause as an instrument for managing contractual risks." Revista Brasileira de Direito Civil 31, no. 01 (2022): 135–68. http://dx.doi.org/10.33242/rbdc.2022.01.006.

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

Bonet, M. L., S. Buss, and J. Johannsen. "Improved Separations of Regular Resolution from Clause Learning Proof Systems." Journal of Artificial Intelligence Research 49 (April 23, 2014): 669–703. http://dx.doi.org/10.1613/jair.4260.

Full text
Abstract:
This paper studies the relationship between resolution and conflict driven clause learning (CDCL) without restarts, and refutes some conjectured possible separations. We prove that the guarded, xor-ified pebbling tautology clauses, which Urquhart proved are hard for regular resolution, as well as the guarded graph tautology clauses of Alekhnovich, Johannsen, Pitassi, and Urquhart have polynomial size pool resolution refutations that use only input lemmas as learned clauses. For the latter set of clauses, we extend this to prove that a CDCL search without restarts can refute these clauses in po
APA, Harvard, Vancouver, ISO, and other styles
3

Kayali, Didem. "Enforceability of Multi-Tiered Dispute Resolution Clauses." Journal of International Arbitration 27, Issue 6 (2010): 551–77. http://dx.doi.org/10.54648/joia2010033.

Full text
Abstract:
Multi-tiered dispute resolution clauses comprise different steps which begin with various alternative dispute resolution (ADR) techniques. In these clauses, arbitration is designed as the last step if the dispute cannot be resolved by preliminary ADR efforts. However, problems occur regarding the enforceability of these clauses when one of the parties does not comply with the procedure designed in the contract. This article seeks to define the nature of multi-tiered dispute resolution clauses in the light of the different views of scholars, courts, and arbitral tribunals, to ascertain the draf
APA, Harvard, Vancouver, ISO, and other styles
4

Zhao, Lucy Xia. "Ultimate attainment of anaphora resolution in L2 Chinese." Second Language Research 30, no. 3 (2014): 381–407. http://dx.doi.org/10.1177/0267658314521107.

Full text
Abstract:
The current study tests the Interface Hypothesis through forward and backward anaphora in complex sentences with temporal subordinate clauses in highly proficient English-speaking learners’ second-language (L2) Chinese. Forward anaphora is involved when the overt pronoun ta ‘he/she’ or a null element appears in the subject position of the main clause, whereas backward anaphora is involved when it is in the subject position of the temporal clause, because the main clause always follows the temporal clause in Chinese. Specifically, the article tests the syntactic and discourse constraints in the
APA, Harvard, Vancouver, ISO, and other styles
5

Terentyeva, L. V. "Legal Nature of Clauses Determining Arbitration Centers Resolving Disputes under the UDRP." Lex Russica 73, no. 6 (2020): 44–60. http://dx.doi.org/10.17803/1729-5920.2020.163.6.044-060.

Full text
Abstract:
Recent legislative amendments regarding an arbitration agreement incorporated into the agreement of accession have contributed to the formation of the concept in the Russian doctrine giving additional argumentation in favor of qualifying clauses envisaging the consideration of domain disputes under the UDRP as arbitration agreements. Taking into account a number of procedural and legal consequences determined by both the fact of the conclusion of the arbitration agreement and the fact of the award, the author raises the question of the nature of clauses providing for the consideration of dispu
APA, Harvard, Vancouver, ISO, and other styles
6

Wang, Xiao-Tong, and Nak-Hyun Han. "A Study on the Application of Multi-Tiered Dispute Resolution Clauses in China's Dispute Resolution Practice." Korean Academy Of International Commerce 39, no. 4 (2024): 17–38. https://doi.org/10.18104/kalc.2024.39.4.17.

Full text
Abstract:
Purpose: The purpose of this study analyzes the application of multi-tiered dispute resolution clauses in China's dispute resolution practice and the resulting impact. Research design, data, and methodology: This study is centered on literature analysis, and for this purpose, related papers, Internet materials, and reports are utilized. Results: The enforceability of multi-tiered dispute resolution clauses is a nuanced question, depending largely on the wording of the particular agreement and its governing law. To be enforceable, a multi-tiered dispute resolution clause needs to be drafted in
APA, Harvard, Vancouver, ISO, and other styles
7

Gulzar, Unanza. "Evaluation of Drafting and Interpretation of Arbitration Clauses in Commercial Contracts." International Journal of Forensic Sciences 9, no. 2 (2024): 1–10. http://dx.doi.org/10.23880/ijfsc-16000387.

Full text
Abstract:
Arbitration clauses serve as vital mechanisms for dispute resolution in commercial contracts, providing parties with an alternative to traditional litigation. However, the effectiveness of arbitration hinges greatly on the precision and clarity of the clauses drafted within contracts. This article evaluates the drafting and interpretation of arbitration clauses in commercial contracts, scrutinizing the language employed, the specificity of provisions, and the considerations for effective implementation. Drawing on legal principles, case law, and practical insights, this article analysis delves
APA, Harvard, Vancouver, ISO, and other styles
8

Studti, Brendan Lyall. "Notes: Multi-tiered dispute resolution clauses — Peremptory steps or too vague to matter?" South African Law Journal 139, no. 3 (2022): 511–25. http://dx.doi.org/10.47348/salj/v139/i3a2.

Full text
Abstract:
Multi-tiered dispute resolution clauses in agreements in South Africa are prevalent. In many instances these clauses provide for a sequence of dispute resolution processes, often commencing with negotiation, followed by mediation, and then, finally, arbitration. Arbitrators and parties to these clauses need to consider whether the preconditions to arbitration are sufficiently certain to be enforceable and whether they have been fulfilled. The issue has received little attention in South Africa but there is a considerable body of foreign case law on the topic. According to foreign precedent, it
APA, Harvard, Vancouver, ISO, and other styles
9

Galvão Maia, Marina Leal. "As Cláusulas Escalonadas no Ordenamento Jurídico Brasileiro: Breves Considerações sobre as Cláusulas Med-Arb e Seus Efeitos." Revista Brasileira de Arbitragem 18, Issue 72 (2021): 62–79. http://dx.doi.org/10.54648/rba2021044.

Full text
Abstract:
This article aims to discuss multi-tiered dispute resolution clauses, including setting out some of its main examples and analyzing, more specifically, the med-arb multi-tiered dispute resolution clause, which provides for mediation proceedings before the commencement of the arbitration. Some of the main effects of the med-arb clauses are also discussed, such as the effects of its non-observance, the possibility of requiring an interim relief before the mediation and the conservation of its effects during the mediation proceeding, and the possibility of setting aside an award issued in an arbi
APA, Harvard, Vancouver, ISO, and other styles
10

Draguiev, Deyan. "Unilateral Jurisdiction Clauses: The Case for Invalidity, Severability or Enforceability." Journal of International Arbitration 31, Issue 1 (2014): 19–45. http://dx.doi.org/10.54648/joia2014002.

Full text
Abstract:
This article presents a study of the so-called 'unilateral' ('optional', 'hybrid') jurisdiction clauses combining arbitration and choice of court options, which business tends to favour as such clauses seek to designate a method of dispute resolution that provides a more favourable position for one of the parties to an agreement and ensure better enforcement against a debtor's assets. However, there are a growing number of jurisdictions where courts have issued decisions that declare such clauses either invalid or as having a significant defect. This study makes a review of both common law and
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Resolutive clause"

1

Barthe, Benjamin. "La clause de sortie des relations contractuelles : proposition de définition unitaire." Thesis, Aix-Marseille, 2013. http://www.theses.fr/2013AIXM1006.

Full text
Abstract:
La théorie générale des obligations contractuelles ne traite de la rupture du contrat qu’au travers de la résolution. Elle n’évoque pas non plus la notion de durée du contrat. L’attention des juristes français est ainsi essentiellement portée sur la résolution pour inexécution et sur la résiliation unilatérale fautive du contrat à durée indéterminée. Une autre présentation, plus neutre, est possible : il s’agit d’étudier la sortie du contrat et, plus particulièrement, la possibilité offerte aux parties de prévoir la sortie anticipée de leurs relations contractuelles.Il est alors possible de se
APA, Harvard, Vancouver, ISO, and other styles
2

Paulin, Christophe. "La clause resolutoire." Toulouse 1, 1993. http://www.theses.fr/1993TOU10035.

Full text
Abstract:
En raison de l'article 1184 du code civil, le contractant envers lequel l'engagement n'a pas ete respecte est contraint de recourir au juge pour etre degage de ses obligations. L'interet pratique de la clause resolutoire est de lui permettre d'eviter l'intervention des tribunaux en obtenant, par l'effet de la clause, le droit de rompre le contrat en cas d'inexecution. Pour autant, la clause ne se distingue pas seulement de l'article 1184 du code civil par son fonctionnement. Elle est une convention en vertu de laquelle le contrat est resolu en cas de violation par le debiteur de ses obligation
APA, Harvard, Vancouver, ISO, and other styles
3

Chan, Amanda Cho Man. "Dispute resolution clauses in BIMCO standard shipping forms." access abstract and table of contents access full-text, 2006. http://libweb.cityu.edu.hk/cgi-bin/ezdb/dissert.pl?ma-slw-b21843053a.pdf.

Full text
Abstract:
Thesis (M.A.)--City University of Hong Kong, 2006.<br>"Dissertation submitted as part requirement for the degree of Master of Arts in arbitration and dispute resolution of the School of Law of the City University of Hong Kong" Title from PDF t.p. (viewed on May 22, 2007) Includes bibliographical references.
APA, Harvard, Vancouver, ISO, and other styles
4

Sutula, Stepan. "Low-power high-resolution cmos switched-capacitor delta-sigma analog-to-digital converters for sensor applications." Doctoral thesis, Universitat Autònoma de Barcelona, 2015. http://hdl.handle.net/10803/667348.

Full text
Abstract:
Aquesta tesi doctoral explora mètodes per augmentar tant l'eficiència energètica com la resolució de convertidors analògic-digital (ADCs) Delta-Sigma de condensadors commutats mitjançant innovadors circuits CMOS de baix consum. En aquest sentit, s'ha prioritzat un alt rendiment, fiabilitat i baixos costos de fabricació dels circuits, així com un flux de disseny simple per ser reutilitzat per la comunitat científica. S'ha escollit l'arquitectura Delta-Sigma per la seva simplicitat i la tolerància a les imperfeccions dels seus blocs bàsics. La recerca de circuits presentada utilitza tècniques
APA, Harvard, Vancouver, ISO, and other styles
5

MARZOUK, ABDERRAHIM. "Strategies de resolution fondees sur un ordre pour les chaines de clauses." Caen, 1995. http://www.theses.fr/1995CAEN2021.

Full text
Abstract:
On presente une nouvelle strategie de resolution qui reprend de la methode de wu originale l'utilisation d'un (bon) ordre sur une notion appropriee de chaines de clauses, mais en introduisant une nouvelle notion de chaine et, surtout, une notion de base pour un ensemble de clauses qui tient essentiellement compte de la specificite du cas booleen en eliminant directement les problemes de termes de plus haut degre qui, dans le cas de la methode de wu comme dans sa traduction aux clauses, peuvent necessiter le recours a une iteration couteuse. Ceci revient dans le cas present a gerer de facon soi
APA, Harvard, Vancouver, ISO, and other styles
6

Saidani, Hariz. "La rupture du contrat." Thesis, Toulon, 2016. http://www.theses.fr/2016TOUL0101/document.

Full text
Abstract:
Le contentieux contractuel éclate lorsque l'une des parties n'exécute plus ou pas ses obligations. La préoccupation essentielle en matière contractuelle, consiste à lutter contre une rupture abusive et arbitraire du contrat. La particularité du droit civil français en matière de rupture du contrat, est la place très importante qu'occupe le juge judiciaire. L'assurance de la protection des intérêts des parties et la garantie d'une sanction juste et équitable, reposent en effet, sur les épaules du juge. Il est par conséquent inconcevable que le juge soit écarté du jeu de la rupture contractuelle
APA, Harvard, Vancouver, ISO, and other styles
7

Bramberger, Sebastian [Verfasser], Hermann [Gutachter] Nicolai, Claus [Gutachter] Kiefer, and Olaf [Gutachter] Hohm. "Cosmological Singularity Resolution / Sebastian Bramberger ; Gutachter: Hermann Nicolai, Claus Kiefer, Olaf Hohm." Berlin : Humboldt-Universität zu Berlin, 2020. http://d-nb.info/1203126042/34.

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

Salcedo, Castro Myriam. "L’arbitrage dans les contrats publics colombiens." Thesis, Paris 2, 2012. http://www.theses.fr/2012PA020028/document.

Full text
Abstract:
Si le droit administratif colombien se fonde sur les mêmes principes que le droit administratif français, l’interdiction de l’arbitrage aux personnes morales de droit public n’a pas été reprise en Colombie. La jurisprudence a admis l’application de l’arbitrage aux contrats publics même en l’absence d’autorisation législative. Le principe de légalité, la continuité du service public et le respect de l’intérêt public fondent le droit des contrats publics. Cependant, celui-ci se développe sous l’égide du droit commun des obligations et des contrats et il partage les aspects essentiels du droit de
APA, Harvard, Vancouver, ISO, and other styles
9

Saidani, Hariz. "La rupture du contrat." Electronic Thesis or Diss., Toulon, 2016. http://www.theses.fr/2016TOUL0101.

Full text
Abstract:
Le contentieux contractuel éclate lorsque l'une des parties n'exécute plus ou pas ses obligations. La préoccupation essentielle en matière contractuelle, consiste à lutter contre une rupture abusive et arbitraire du contrat. La particularité du droit civil français en matière de rupture du contrat, est la place très importante qu'occupe le juge judiciaire. L'assurance de la protection des intérêts des parties et la garantie d'une sanction juste et équitable, reposent en effet, sur les épaules du juge. Il est par conséquent inconcevable que le juge soit écarté du jeu de la rupture contractuelle
APA, Harvard, Vancouver, ISO, and other styles
10

El, Harti Mohammed. "Le juge et la force obligatoire du contrat : étude comparative du droit français et du droit marocain." Thesis, Paris Est, 2012. http://www.theses.fr/2012PEST0045.

Full text
Abstract:
Cette étude est une recherche de droit comparé sur l'un des problèmes qui se posent à propos du rôle que le juge est amené à jouer pour résoudre certains problèmes liés à la force obligatoire du contrat.Le sujet nous amène tout d'abord à étudier le pouvoir d'appréciation du juge dans la détermination des obligations des parties au contrat en confrontant deux approches, a priori distinctes, celle du système juridique français prônant une interprétation subjective des volontés et celle du système juridique marocain ou l'interprétation objective est de mise.En tous les cas, les abus générés par l
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Resolutive clause"

1

Paulin, Christophe. La clause résolutoire. L.G.D.J., 1996.

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

Agarwal, Anurag K. Business dispute resolution: Taking arbitration clause seriously. Indian Institute of Management, 2014.

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

Center for Public Resources (New York, N.Y.) and CPR Legal Program, eds. Crafting ADR contract clauses. Center for Public Resources, 1988.

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

CPR Institute for Dispute Resolution., ed. Dispute resolution clauses: A drafter's guide. CPR Institute for Dispute Resolution, 1995.

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

American Bar Association. Section of Litigation., ed. Practical pointers for drafting an international dispute resolution clause. Section of Litigation, 1999.

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

Eisinger, Norbert. Completeness, confluence, and related properties of clause graph resolution. Pitman, 1991.

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

Association, American Arbitration, ed. Drafting dispute resolution clauses: A practical guide. The Association, 1993.

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

Association, American Arbitration, ed. Drafting dispute resolution clauses: A practical guide. American Arbitration Association, 1998.

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

American Bar Association. International Business Law Committee. and American Bar Association. Committee on Law of Commerce in Cyberspace., eds. Dispute resolution clauses in international license agreements: The drafter's dilemma. American Bar Association, Section of Business Law, 1996.

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

Beale, Ned. Dispute resolution clauses in international contracts: A global guide. Schulthess, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Resolutive clause"

1

Haifani, Fajar, Sophie Tourret, and Christoph Weidenbach. "Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance." In Automated Deduction – CADE 28. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-79876-5_19.

Full text
Abstract:
AbstractWe prove the SOS strategy for first-order resolution to be refutationally complete on a clause set N and set-of-support S if and only if there exists a clause in S that occurs in a resolution refutation from $$N\cup S$$ N ∪ S . This strictly generalizes and sharpens the original completeness result requiring N to be satisfiable. The generalized SOS completeness result supports automated reasoning on a new notion of relevance aiming at capturing the support of a clause in the refutation of a clause set. A clause C is relevant for refuting a clause set N if C occurs in every refutation o
APA, Harvard, Vancouver, ISO, and other styles
2

Davis, Mark. "Clause 30—Dispute Resolution." In Bareboat Charters, 2nd ed. Informa Law from Routledge, 2022. http://dx.doi.org/10.4324/9781003098003-30.

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

Jones, Edward, Leabeater KC James, Rani Noakes, et al. "Clause 33 – Dispute resolution." In Bareboat Charters. Informa Law from Routledge, 2025. https://doi.org/10.4324/9781003331872-38.

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

Reeves, Joseph E., Marijn J. H. Heule, and Randal E. Bryant. "Preprocessing of Propagation Redundant Clauses." In Automated Reasoning. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_8.

Full text
Abstract:
AbstractThe propagation redundant (PR) proof system generalizes the resolution and resolution asymmetric tautology proof systems used by conflict-driven clause learning (CDCL) solvers. PR allows short proofs of unsatisfiability for some problems that are difficult for CDCL solvers. Previous attempts to automate PR clause learning used hand-crafted heuristics that work well on some highly-structured problems. For example, the solver SaDiCaL incorporates PR clause learning into the CDCL loop, but it cannot compete with modern CDCL solvers due to its fragile heuristics. We present PReLearn, a pre
APA, Harvard, Vancouver, ISO, and other styles
5

Pattinson, Dirk, and Cláudia Nalon. "Non-iterative Modal Resolution Calculi." In Automated Reasoning. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-63501-4_6.

Full text
Abstract:
AbstractNon-monotonic modal logics are typically interpreted over neighbourhood frames. For unary operators, this is just a set of worlds, together with an endofunction on predicates (subsets of worlds). It is known that all systems of not necessarily monotonic modal logics that are axiomatised by formulae of modal rank at most one (non-iterative modal logics) are Kripke-complete over neighbourhood semantics. In this paper, we give a uniform construction to obtain complete resolution calculi for all non-iterative logics. We show completeness for generative calculi (where new clauses with new l
APA, Harvard, Vancouver, ISO, and other styles
6

Padawitz, Peter. "Resolution and Paramodulation." In Computing in Horn Clause Theories. Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/978-3-642-73824-1_5.

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

Waldmann, Uwe. "On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus." In Automated Reasoning. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-63498-7_15.

Full text
Abstract:
AbstractBachmair’s and Ganzinger’s abstract redundancy concept for the Superposition Calculus justifies almost all operations that are used in superposition provers to delete or simplify clauses, and thus to keep the clause set manageable. Typical examples are tautology deletion, subsumption deletion, and demodulation, and with a more refined definition of redundancy joinability and connectedness can be covered as well. The notable exception is Destructive Equality Resolution, that is, the replacement of a clause $$x \not \approx t \vee C$$ x ≉ t ∨ C with $$x \notin \textrm{vars}(t)$$ x ∉ vars
APA, Harvard, Vancouver, ISO, and other styles
8

Hustadt, Ullrich, Fabio Papacchini, Cláudia Nalon, and Clare Dixon. "Model Construction for Modal Clauses." In Automated Reasoning. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-63501-4_1.

Full text
Abstract:
AbstractWe present deterministic model construction algorithms for sets of modal clauses saturated with respect to three refinements of the modal-layered resolution calculus implemented in the prover "Image missing". The model construction algorithms are inspired by the Bachmair-Ganzinger method for constructing a model for a set of ground first-order clauses saturated with respect to ordered resolution with selection. The challenge is that the inference rules of the modal-layered resolution calculus for modal operators are more restrictive than an adaptation of ordered resolution with selecti
APA, Harvard, Vancouver, ISO, and other styles
9

Pattinson, Dirk, Nicola Olivetti, and Cláudia Nalon. "Resolution Calculi for Non-normal Modal Logics." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-43513-3_18.

Full text
Abstract:
AbstractWe present resolution calculi for the cube of classical non-normal modal logics. The calculi are based on a simple clausal form that comprises both local and global clauses. Any formula can be efficiently transformed into a small set of clauses. The calculi contain uniform rules and provide a decision procedure for all logics. Their completeness is based on a new and crucial notion of inconsistency predicate, needed to ensure the usual closure properties of maximal consistent sets. As far as we know the calculi presented here are the first resolution calculi for this class of logics.
APA, Harvard, Vancouver, ISO, and other styles
10

Choi, Seungyeob, and Manfred Kerber. "Semantic Selection for Resolution in Clause Graphs." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36187-1_8.

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

Conference papers on the topic "Resolutive clause"

1

Hartini, Rahayu, and A. A. A. Ngurah Tini Rusmini Gorda. "Position of Arbitration Clause in Relation to Absolute Competence in Bankruptcy Disputes." In Arbitration and Alternative Dispute Resolution International Conference (ADRIC 2019). Atlantis Press, 2020. http://dx.doi.org/10.2991/assehr.k.200917.005.

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

Zamroni, Mohammad. "The Urgency of Arbitration Clause in International Trade Contract of Electronic Transaction." In Arbitration and Alternative Dispute Resolution International Conference (ADRIC 2019). Atlantis Press, 2020. http://dx.doi.org/10.2991/assehr.k.200917.013.

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

Cakabawa Landra, Putu Tuni, Ni Putu Cherry Saraswati, and Lang Palmer Williamson. "Interpreting Dispute Resolution Clauses." In Proceedings of the 1st International Conference on Life, Innovation, Change and Knowledge (ICLICK 2018). Atlantis Press, 2019. http://dx.doi.org/10.2991/iclick-18.2019.72.

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

Kiesl, Benjamin, Martina Seidl, Hans Tompits, and Armin Biere. "Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?" In Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/687.

Full text
Abstract:
Clause-elimination techniques that simplify formulas by removing redundant clauses play an important role in modern SAT solving. Among the types of redundant clauses, blocked clauses are particularly popular. For checking whether a clause C is blocked in a formula F, one only needs to consider the so-called resolution neighborhood of C, i.e., the set of clauses that can be resolved with C. Because of this, blocked clauses are referred to as being locally redundant. In this paper, we discuss powerful generalizations of blocked clauses that are still locally redundant, viz. set-blocked clauses a
APA, Harvard, Vancouver, ISO, and other styles
5

Engleman, Rolf, C. Brazier, C. Frum, et al. "High Resolution Spectroscopy of the CN Violet System." In High Resolution Fourier Transform Spectroscopy. Optica Publishing Group, 1989. http://dx.doi.org/10.1364/hrfts.1989.wb5.

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

Zilio, S. C., and V. S. Bagnato. "Ultra-Narrow Velocity Distributions of Slow Atoms Produced with the Zeeman Tuning Technique." In High Resolution Spectroscopy. Optica Publishing Group, 1993. http://dx.doi.org/10.1364/hrs.1993.thb3.

Full text
Abstract:
We report on the use of a stimulated Raman transition in a slowed atomic beam to produce a narrow velocity distribution of atoms in a selected electronic state, which could be used for atomic collisions studies in the low temperature regime(1). The velocity selection is part of the deceleration process and in this sense it is unique. The atomic beam is decelerated by the radiation pressure force exerted on the atoms by a counter- propagating laser beam. The resonance condition is maintained along the deceleration path because the changing Doppler shift is compensated by Zeeman tuning the elect
APA, Harvard, Vancouver, ISO, and other styles
7

Ning, Xinran, Ying Xie, Guanfeng Wu, Yang Xu, and Peiyao Liu. "A principle of clause elimination: Multi-literal implication modulo resolution." In Conference on Machine learning, Multi Agent and Cyber Physical Systems (FLINS 2022). WORLD SCIENTIFIC, 2023. http://dx.doi.org/10.1142/9789811269264_0075.

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

Li, Z. H., G. F. Wu, Y. Xu, and J. Liu. "Horn Clause First in Ordered Linear Resolution for the CDCL Solver." In 16th FLINS Conference on Computational Intelligence in Decision and Control & the 19th ISKE Conference on Intelligence Systems and Knowledge Engineering (FLINS-ISKE 2024). WORLD SCIENTIFIC, 2024. http://dx.doi.org/10.1142/9789811294631_0061.

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

Stuart, B. C., S. Herman, B. W. Shore, and M. D. Perry. "Pulsewidth-Dependent Damage Measurements of Dielectric Materials." In High Resolution Fourier Transform Spectroscopy. Optica Publishing Group, 1994. http://dx.doi.org/10.1364/hrfts.1994.we3.

Full text
Abstract:
The application of chirped pulse amplification to short-pulse lasers [1] has led to a dramatic increase in the number of high-power, sub-picosecond laser systems. Accordingly, knowledge of the short-pulse damage thresholds of optical components and the scaling of the damage thresholds with pulsewidth has become increasingly important. The development of high energy, (e.g., kilojoule class) short-pulse lasers is contingent on the ability to produce optical components capable of withstanding high fluence nanosecond and femtosecond pulses. In tins paper, we report on our measurements of the front
APA, Harvard, Vancouver, ISO, and other styles
10

Umstadter, D., J. Workman, A. Maksimchuk, et al. "Bright Picosecond Thermal Continuum X-Rays from Intense Sub-Picosecond Laser-Plasma Interactions." In High Resolution Fourier Transform Spectroscopy. Optica Publishing Group, 1994. http://dx.doi.org/10.1364/hrfts.1994.md3.

Full text
Abstract:
Short-pulse high-intensity lasers interacting with solid targets make possible the study of a new class of plasmas.1 They are unique because during the ultrashort laser pulse relatively little expansion occurs and the density scale length remains much less than the laser wavelength. This makes possible the deposition of a significant amount of the laser energy at densities much greater than the critical density, which is then efficiently converted into heat, ionization, and subsequently x ray emission, either through de-excitation or recombination. The x-ray pulse will be extremely bright beca
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Resolutive clause"

1

Baggenstoss, Paul M. A Multi-Resolution Hidden Markov Model Using Class-Specific Features. Defense Technical Information Center, 2008. http://dx.doi.org/10.21236/ada494596.

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

Fernandes, R. A., and L. Sun. Monthly fraction of canopy cover of Canada from medium-resolution satellite imagery. Natural Resources Canada/CMSS/Information Management, 2025. https://doi.org/10.4095/ptshx1qf3b.

Full text
Abstract:
La fraction de couverture végétale (FCOVER) correspond à la portion de la surface terrestre recouverte par la végétation, y compris le sous-bois, lorsqu'on l'observe verticalement (du nadir). FCOVER est un indicateur de l'étendue spatiale de la végétation, indépendamment de la classe de couverture terrestre. C'est une quantité sans dimension variant de 0 à 1, et en tant que propriété intrinsèque de la canopée, elle n'est pas dépendante des conditions d'observation satellitaire. Ce produit comprend une couverture à l'échelle nationale (Canada) de cartes mensuelles de l'indicateur FCOVER pendant
APA, Harvard, Vancouver, ISO, and other styles
3

Spangler, Stephen, and Steve Hutsell. USACE Interference Management Standard v1.0. Engineer Research and Development Center (U.S.), 2024. https://doi.org/10.21079/11681/49497.

Full text
Abstract:
The Interference Management Standard (IMS) is a comprehensive frame-work designed to streamline the coordination of design, construction, and operation and maintenance models. The IMS provides clear guidelines, defined goals, and objectives to ensure effective interference management. The process encompasses several stages: authoring and compiling models, clash detection, clash analysis, conflict resolution, report compilation, and deliverables submission. By implementing the IMS, users can expect im-proved efficiency and accuracy in model coordination, leading to enhanced project outcomes.
APA, Harvard, Vancouver, ISO, and other styles
4

Muldavin, Esteban, Yvonne Chauvin, Teri Neville, et al. A vegetation classi?cation and map: Guadalupe Mountains National Park. National Park Service, 2024. http://dx.doi.org/10.36967/2302855.

Full text
Abstract:
A vegetation classi?cation and map for Guadalupe Mountains National Park (NP) is presented as part of the National Park Service Inventory &amp; Monitoring - Vegetation Inventory Program to classify, describe, and map vegetation communities in more than 280 national park units across the United States. Guadalupe Mountains NP lies in far west Texas and contains the highest point in the state, Guadalupe Peak (8,751 ft; 2,667 m). The mountain escarpments descend some 5,000 ft (1,500 m) to the desert basins below forming a complex geologic landscape that supports vegetation communities ranging from
APA, Harvard, Vancouver, ISO, and other styles
5

King, Wayne. Barriers to Adoption of Artificial Intelligence in Metal Additive Manufacturing. SAE International, 2025. https://doi.org/10.4271/epr2025001.

Full text
Abstract:
&lt;div class="section abstract"&gt;&lt;div class="htmlview paragraph"&gt;Artificial intelligence (AI) is poised to significantly impact metal additive manufacturing (AM). Understanding how one might use AI in AM is challenging because AM experts are not AI experts, nor the other way around. This document introduces AI in AM and guides researchers in accessing relevant literature. It also discusses the hype surrounding AI in AM, the rush to publish peer-reviewed papers that use AI in AM, and the resulting uneven quality of the literature. Conclusions regarding the application of AI in both lar
APA, Harvard, Vancouver, ISO, and other styles
6

Crouch. L51747 Assessment of NDT Needs for Pipeline Integrity Assurance II. Pipeline Research Council International, Inc. (PRCI), 1996. http://dx.doi.org/10.55274/r0010612.

Full text
Abstract:
This project was done to reassess the industry's perceptions of NDT needs and to recommend areas of research pertinent to those needs. The project included two survey questionnaires-one sent to 41 pipeline operating companies, yielding 31 responses, and the other sent to 10 inspection vendors with 9 responses. The surveys covered pipeline integrity issues, NDT technologies, and the perceptions of both operators and vendors regarding the need for new or improved inspection capabilities. The survey responses showed the four most important pipeline integrity issues to be (in order of priority):Co
APA, Harvard, Vancouver, ISO, and other styles
7

Lasko, Kristofer, and Elena Sava. Semi-automated land cover mapping using an ensemble of support vector machines with moderate resolution imagery integrated into a custom decision support tool. Engineer Research and Development Center (U.S.), 2021. http://dx.doi.org/10.21079/11681/42402.

Full text
Abstract:
Land cover type is a fundamental remote sensing-derived variable for terrain analysis and environmental mapping applications. The currently available products are produced only for a single season or a specific year. Some of these products have a coarse resolution and quickly become outdated, as land cover type can undergo significant change over a short time period. In order to enable on-demand generation of timely and accurate land cover type products, we developed a sensor-agnostic framework leveraging pre-trained machine learning models. We also generated land cover models for Sentinel-2 (
APA, Harvard, Vancouver, ISO, and other styles
8

Luciano, Dinys, and Nidia Hidalgo. Abierta configuration options Estándares y herramientas para la gestión de casos de violencia sexual y basada en género. Inter-American Development Bank, 2022. http://dx.doi.org/10.18235/0004206.

Full text
Abstract:
Las víctimas de violencia sexual y basada en género (VSBG), para ser atendidas, requieren de distintos servicios que pueden ser ofrecidos por una o varias instituciones y que se extienden en diferentes momentos en el tiempo. De ahí que resulte pertinente diseñar e implementar estrategias para la gestión de casos (case management) de VSBG, pues la atención de cada sobreviviente sigue una trayectoria particular que debe ser administrada o gestionada. La gestión de casos es clave para garantizar la continuidad y la capacidad resolutiva de la atención, así como para asegurar resultados de mediano
APA, Harvard, Vancouver, ISO, and other styles
9

Luciano, Dinys, and Nidia Hidalgo. Abierta configuration options Estándares y herramientas para la gestión de casos de violencia sexual y basada en género. Inter-American Development Bank, 2022. http://dx.doi.org/10.18235/0004206.

Full text
Abstract:
Las víctimas de violencia sexual y basada en género (VSBG), para ser atendidas, requieren de distintos servicios que pueden ser ofrecidos por una o varias instituciones y que se extienden en diferentes momentos en el tiempo. De ahí que resulte pertinente diseñar e implementar estrategias para la gestión de casos (case management) de VSBG, pues la atención de cada sobreviviente sigue una trayectoria particular que debe ser administrada o gestionada. La gestión de casos es clave para garantizar la continuidad y la capacidad resolutiva de la atención, así como para asegurar resultados de mediano
APA, Harvard, Vancouver, ISO, and other styles
10

Sladen, W. E., R. J. H. Parker, P. D. Morse, S V Kokelj, and S. L. Smith. Geomorphic feature inventory along the Dempster and Inuvik to Tuktoyaktuk highway corridor, Yukon and Northwest Territories. Natural Resources Canada/CMSS/Information Management, 2022. http://dx.doi.org/10.4095/329969.

Full text
Abstract:
Thaw of permafrost and associated ground ice melt can reduce ground stability, modify terrain, and reconfigure drainage patterns affecting terrestrial and aquatic ecosystems and presenting challenges to northern infrastructure and societies. The integrity of ground-based transportation infrastructure is critical to northern communities. Geomorphic features can indicate ground ice presence and thaw susceptibility. This Geological Survey of Canada Open File presents the digital georeferenced database of landforms identified in continuous permafrost terrain using high-resolution satellite imagery
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Resolutive clause' for particular source types:
Journal articles Dissertations / Theses Books
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