Relevant bibliographies by topics / Partial termination

Contents

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

Academic literature on the topic 'Partial termination'

Author: Grafiati
Published: 4 June 2021
Last updated: 22 June 2024

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 'Partial termination.'

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 "Partial termination"

1

Uydur, Cihat Cagdas, and Oktay Arikan. "Use of Tanδ and Partial Discharge for Evaluating the Cable Termination Assembly." Energies 13, no. 20 (October 12, 2020): 5299. http://dx.doi.org/10.3390/en13205299.

Full text
Abstract:
It is known that the failure of cable terminations causes power outages and impairs system quality and continuity. Besides, serious economic losses on both the distribution and consumer sides occur. In this study, the dielectric behavior of the cable and the faults caused by the defects in the cable termination under overvoltage has been examined. As test samples, 12 kV XLPE insulated cable is used and they were aged at three (3*U0) and five (5*U0) times the rated voltage. After each aging cycle, dielectric parameters of the cable were measured by an OMIRCRON CPC100/CPTD1 device, and the partial discharge (PD) was measured by an OMICRON MPD600 device. In the measurements, it was observed that the cable was broken down at different aging cycle numbers as a result of defects in the cable termination due to weak workmanship. As a result of the measurements, it is concluded that defects in the cable termination give information about the increase in the probability of failure and the decrease of the cable lifetime. Consequently, it is concluded that fine workmanship and timely maintenance of cable terminations prevent the system from unwanted power outages and economic losses.
APA, Harvard, Vancouver, ISO, and other styles
2

Blass, Andreas, and Yuri Gurevich. "Program termination and well partial orderings." ACM Transactions on Computational Logic 9, no. 3 (June 2008): 1–26. http://dx.doi.org/10.1145/1352582.1352586.

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

Suwanasri, Cattareeya, Thanapong Suwanasri, and Phanupong Fuangpian. "Investigation on Partial Discharge of Power Cable Termination Defects using High Frequency Current Transformer." ECTI Transactions on Electrical Engineering, Electronics, and Communications 12, no. 1 (November 19, 2013): 16–23. http://dx.doi.org/10.37936/ecti-eec.2014121.170810.

Full text
Abstract:
This paper presents partial discharge (PD) investigation of different cable termination defects. The medium voltage power cables as rated of 3.6/6(7.2) kV are applied. Finite Element Method Magnetic (FEMM) program is used as a simulation tool for electric field stress investigation. The partial discharges patterns are detected by using a commercial High Frequency Current Transformer (HFCT). The simple cases for internal, surface and corona discharge are firstly observed in order to investigate the performance of the HFCT. Then eight different case studies of cable termination defects are further investigated, which includes non-terminator, voids between XLPE and stress control, 20 mm. overlaps between semiconductor and stress control, particles on XLPE, non-smooth XLPE, needle tip on insulation screen, impropriate cable bending, and proper termination. The results are then compared with the results from a conventional PD diagnosis tool according to IEC 60270 standard. The results of PD detection show that the commercial product can detect the PD waveform and measure the electric charge when it is highly enough. The test can also identify trends toward breakdown and there severity due to improper cable termination defects.
APA, Harvard, Vancouver, ISO, and other styles
4

Codish, Michael, Vitaly Lagoon, and Peter J. Stuckey. "Solving Partial Order Constraints for LPO Termination." Journal on Satisfiability, Boolean Modeling and Computation 5, no. 1-4 (June 1, 2008): 193–215. http://dx.doi.org/10.3233/sat190056.

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

de Curtis, Marco, and Massimo Avoli. "Initiation, Propagation, and Termination of Partial (Focal) Seizures." Cold Spring Harbor Perspectives in Medicine 5, no. 7 (July 2015): a022368. http://dx.doi.org/10.1101/cshperspect.a022368.

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

Dionisio, Jenna, and William O. Tatum. "Triggers and techniques in termination of partial seizures." Epilepsy & Behavior 17, no. 2 (February 2010): 210–14. http://dx.doi.org/10.1016/j.yebeh.2009.11.027.

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

Mints, G. "A termination proof for epsilon substitution using partial derivations." Theoretical Computer Science 303, no. 1 (June 2003): 187–213. http://dx.doi.org/10.1016/s0304-3975(02)00451-6.

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

Schulze-Bonhage, A., S. Hefft, and B. Oehl. "Termination of complex partial status epilepticus by intravenous levetiracetam." Journal of Neurology, Neurosurgery & Psychiatry 80, no. 8 (March 12, 2007): 931–33. http://dx.doi.org/10.1136/jnnp.2006.113951.

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

DOMÉNECH, JESÚS J., JOHN P. GALLAGHER, and SAMIR GENAIM. "Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis." Theory and Practice of Logic Programming 19, no. 5-6 (September 2019): 990–1005. http://dx.doi.org/10.1017/s1471068419000310.

Full text
Abstract:
AbstractControl-flow refinement refers to program transformations whose purpose is to make implicit control-flow explicit, and is used in the context of program analysis to increase precision. Several techniques have been suggested for different programming models, typically tailored to improving precision for a particular analysis. In this paper we explore the use of partial evaluation of Horn clauses as a general-purpose technique for control-flow refinement for integer transitions systems. These are control-flow graphs where edges are annotated with linear constraints describing transitions between corresponding nodes, and they are used in many program analysis tools. Using partial evaluation for control-flow refinement has the clear advantage over other approaches in that soundness follows from the general properties of partial evaluation; in particular, properties such as termination and complexity are preserved. We use a partial evaluation algorithm incorporating property-based abstraction, and show how the right choice of properties allows us to prove termination and to infer complexity of challenging programs that cannot be handled by state-of-the-art tools. We report on the integration of the technique in a termination analyzer, and its use as a preprocessing step for several cost analyzers.
APA, Harvard, Vancouver, ISO, and other styles
10

Cai, Zi-Jian. "The Spatial Constraint Requiring Organogenetic Termination: Supplemental to Haeckel and von Baer for Development and Evolution." European Journal of Theoretical and Applied Sciences 2, no. 3 (May 1, 2024): 504–16. http://dx.doi.org/10.59324/ejtas.2024.2(3).39.

Full text
Abstract:
In this article, it is pointed out that the requirement for organogenetic termination is the new spatial constraint for animal development and heredity, based on that: (a) organogenesis manifests limitation in time and possession of termination, while infinite cell proliferation known as cancer is lethal; (b) the notable indeterminate growth in some fishes and a few outgrowing skin derivatives reversely demonstrates that termination is required for organogenesis inside the animal. In further, it is supplemented this new spatial constraint to Haeckel and von Baer for development and evolution. While not influencing the temporal and spatial reorganization of morphogenesis during evolution, it places restrictions on alteration of organogenetic mechanisms themselves, as that: (a) addition of new induction mechanism or elimination of termination mechanism would usually cause endless organogenesis, liable to become lethal; (b) addition of new termination mechanism or elimination of induction mechanism in evolution not be affected by this spatial constraint. Finally, it is identified this spatial constraint as partial convergence and partial difference with Haeckel’s recapitulation, and as restriction onto Baer’s tree. It is perspectives to use the method of mathematical probability and statistics to study the spatial constraint of development onto evolution in future.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Partial termination"

1

Lahnane, Nabila. "Le déblocage des sources d'anéantissement du contrat en droit commun." Thesis, Perpignan, 2018. http://www.theses.fr/2018PERP0045/document.

Full text
Abstract:
Débloquer le contrat, relevant du droit commun, de ses sources d’anéantissement revient à le faire échapper à la nullité ou à la résolution grâce à l’application de sanctions alternatives. Le but n’étant pas de proposer toutes les solutions salvatrices possibles mais uniquement celles dont la primauté sur les sanctions destructrices peut être justifiée par une argumentation juridique solide. Afin de défendre cette idée, notre étude ne se contente aucunement de décrire ce que l’ord. du 10 fév. 2016 permet déjà à ce sujet (art. 1170, 1171 et 1195 C.civ.). En premier lieu, un fondement général est proposé. Les solutions alternatives au lieu et place de la nullité peuvent se fonder sur l’art. 1184 C.civ., en vertu duquel l’irrégularité partielle ne peut pas mener à autre chose qu’une sanction partielle maintenant le contrat. S’agissant des solutions alternatives à la résolution, elles ont été fondées sur une relecture, plus moderne, du principe de la force obligatoire du contrat. En second lieu, sont proposées des sanctions salvatrices, parfois inédites, basées sur une interprétation originale des nouveaux textes du droit commun des contrats. Par ex., est envisagée une requalification de l’indemnité octroyée en contrepartie d’un engagement de non-concurrence afin qu’elle ne soit plus considérée comme une rémunération salariale mais plutôt comme la rémunération d’une prestation de service. Pourrait ainsi être appliqué l’art. 1165 C.civ. qui autorise la détermination du prix postérieurement à la formation du contrat alors que selon le droit prétorien en vigueur, l’absence de fixation du prix au sein de la clause de non-concurrence, entraîne son annulation. En outre, au sein du nouveau droit des contrats ont été découverts des fondements tout à fait appropriés pour justifier, entre autres, le recours à la nullité partielle pour tous les vices du consentement incidents, ainsi que la possibilité de sanctionner l’abus dans la fixation du prix par sa réduction, etc
The saving adaptation of the contract threatened by a nullity or a termination amounts to get it out of a dead end and thus unblock it. Unblocking applied to the contract is not a notion but a mechanism in which the means, allowing it to pursue its destiny in a sustainable way, are integrated. Since it is a matter of giving priority to alternative remedies to the annihilation of the contract and that these are of a great diversity, it cannot be a question of a single notion, and even less of a unified legal regime. The identified blockages are solved by very different solutions, each with its own regime. However, they all come together for their purpose, which is to maintain an effective contract. This inevitably happens by reshuffling the Court's powers toward the contract because its release requires it to be rewritten almost systematically. The ordonnance of February 10, 2016 reforming the law of contract modifies this role only in a fragmented way. Indeed, we can note that it is more increased in unfair terms (Art. 1170 and 1171 civ. C.) and change of circumstances (Art. 1195 civ. C.) but the virtues of the unblocking of the contract that we have identified invite to a greater generalization of this recent dynamic. The techniques of unblocking the contract proposed in this thesis constitute either original interpretations of the new texts of the law of contract, or novel solutions for which we have discovered the appropriate juridical basis
APA, Harvard, Vancouver, ISO, and other styles
2

Lahnane, Nabila. "Le déblocage des sources d'anéantissement du contrat en droit commun." Electronic Thesis or Diss., Perpignan, 2018. http://www.theses.fr/2018PERP0045.

Full text
Abstract:
Débloquer le contrat, relevant du droit commun, de ses sources d’anéantissement revient à le faire échapper à la nullité ou à la résolution grâce à l’application de sanctions alternatives. Le but n’étant pas de proposer toutes les solutions salvatrices possibles mais uniquement celles dont la primauté sur les sanctions destructrices peut être justifiée par une argumentation juridique solide. Afin de défendre cette idée, notre étude ne se contente aucunement de décrire ce que l’ord. du 10 fév. 2016 permet déjà à ce sujet (art. 1170, 1171 et 1195 C.civ.). En premier lieu, un fondement général est proposé. Les solutions alternatives au lieu et place de la nullité peuvent se fonder sur l’art. 1184 C.civ., en vertu duquel l’irrégularité partielle ne peut pas mener à autre chose qu’une sanction partielle maintenant le contrat. S’agissant des solutions alternatives à la résolution, elles ont été fondées sur une relecture, plus moderne, du principe de la force obligatoire du contrat. En second lieu, sont proposées des sanctions salvatrices, parfois inédites, basées sur une interprétation originale des nouveaux textes du droit commun des contrats. Par ex., est envisagée une requalification de l’indemnité octroyée en contrepartie d’un engagement de non-concurrence afin qu’elle ne soit plus considérée comme une rémunération salariale mais plutôt comme la rémunération d’une prestation de service. Pourrait ainsi être appliqué l’art. 1165 C.civ. qui autorise la détermination du prix postérieurement à la formation du contrat alors que selon le droit prétorien en vigueur, l’absence de fixation du prix au sein de la clause de non-concurrence, entraîne son annulation. En outre, au sein du nouveau droit des contrats ont été découverts des fondements tout à fait appropriés pour justifier, entre autres, le recours à la nullité partielle pour tous les vices du consentement incidents, ainsi que la possibilité de sanctionner l’abus dans la fixation du prix par sa réduction, etc
The saving adaptation of the contract threatened by a nullity or a termination amounts to get it out of a dead end and thus unblock it. Unblocking applied to the contract is not a notion but a mechanism in which the means, allowing it to pursue its destiny in a sustainable way, are integrated. Since it is a matter of giving priority to alternative remedies to the annihilation of the contract and that these are of a great diversity, it cannot be a question of a single notion, and even less of a unified legal regime. The identified blockages are solved by very different solutions, each with its own regime. However, they all come together for their purpose, which is to maintain an effective contract. This inevitably happens by reshuffling the Court's powers toward the contract because its release requires it to be rewritten almost systematically. The ordonnance of February 10, 2016 reforming the law of contract modifies this role only in a fragmented way. Indeed, we can note that it is more increased in unfair terms (Art. 1170 and 1171 civ. C.) and change of circumstances (Art. 1195 civ. C.) but the virtues of the unblocking of the contract that we have identified invite to a greater generalization of this recent dynamic. The techniques of unblocking the contract proposed in this thesis constitute either original interpretations of the new texts of the law of contract, or novel solutions for which we have discovered the appropriate juridical basis
APA, Harvard, Vancouver, ISO, and other styles
3

Trần, Thế Quang. "Unfolding based verification of concurrent infinite-state systems." Thesis, Bordeaux 1, 2009. http://www.theses.fr/2009BOR13832/document.

Full text
Abstract:
Nous proposons une technique de dépliage pour vérifier les systèmes concurrents infinis bien structurés. Certaines propriétés d'intérêt comme la bornitude, la couverture et la terminaison sont décidables grâce à la bonne structure de ces systèmes. D'autre part, le dépliage réduit efficacement l'explosion combinatoire en exploitant l'ordre partiel entre les événements des systèmes concurrents. Nous proposons une modélisation par structure d'événements pour des systèmes bien structurés élémentaires, tels les compteurs et les files de communication. Le dépliage d'un réseau de structures d'événements étant une structure d'événements, nous proposons ensuite une approche hiérarchique à la modélisation et à la vérification des systèmes, qui préserve la bonne structure. Enfin, nous proposons une technique d'élimination des événements redondants. La mise en œuvre de notre approche dans l'outil ESU nous permet de conclure à son efficacité
We propose an unfolding technique for verifying concurrent infinite-state systems that are well-structured. Some properties of interest such as boundedness, coverability and termination are decidable thanks to the well-structure of these systems. Moreover, the unfolding effectively reduces the combinatorial explosion by exploiting the partial order between events of concurrent systems. We propose a modelization using event structures for basic well-structured systems, such as counters and communication channels. As the unfolding of a synchronized product of event structures is an event structure, we obtain a hierarchical approach to modeling as well as to verifying systems, which preserves the well-structure. Finally, we propose a technique for eliminating redundant events. The implementation of our approach in the ESU tool allows us to conclude on its efficiency
APA, Harvard, Vancouver, ISO, and other styles
4

Gale, Sarah Jane. "Band termination spectroscopy of '1'5'7Er." Thesis, University of Liverpool, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.240568.

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

Pelikán, Luděk. "Měření částečných výbojů u vysokonapěťových kabelů." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2018. http://www.nusl.cz/ntk/nusl-376964.

Full text
Abstract:
The main topic of this work is the analysis of the measurement of partial discharge measurements on high voltage cables. The thesis also deals with other measurements, including the measurement of the loss factor and the voltage retention and breakdown test. Part of the text describes the issue of partial discharge, its measurement by galvanic method and methods of elimination of disturbing influences that affect this method in terms of sensitivity and accuracy of the measured values. Thesis also describes the construction of the cables, their marking and the tests carried out on them. There is also a description of the cable terminals used for measuring, especially water terminals, which are designed for high voltages and which are carried out in the practical part of the thesis. The next part deals with problems prior to the commissioning of water terminals and their preparation for certain tests, including description and evaluation of the results of the measurements.
APA, Harvard, Vancouver, ISO, and other styles
6

Colberg, Clara Ottilie Freifrau Loeffelholz von. "Etudes au microscope électronique du transport des protéines durant la traduction chez E. Coli, et de la terminaison de la traduction chez l'homme." Thesis, Grenoble, 2013. http://www.theses.fr/2013GRENV038/document.

Full text
Abstract:
La particule de reconnaissance du signal (signal recognition particle-SRP) et son récepteur (FtsY chez Escherichia coli) médiatise le processus simultané de traduction-ciblage de la protéine en dirigeant le complexe ribosome-nascent chain (RNCs) vers la membrane de destination. La reconnaissance par la SRP d'une charge RNC à transporter dépend de la présence de la partie N-terminale. L'assemblage de Ftsy au complexe RNC-PRS entraine plusieurs changements de configuration de SRP et de FtsY durant le cycle de direction. D'abord un stade « précoce » sans GTP est adopté. Celui-ci est stabilisé par le RNC. Ensuite une configuration « fermée » avec GTP est formée. Cette dernière peut s'activer pour hydrolyser GTP, elle entre alors dans sa configuration « active ». La succession de ces trois étapes conduit à la libération du complexe SRP-récepteur d'avec le ribosome et de sa protéine en cours de traduction, et leur mise à disposition au pore de la membrane. Dans ce projet, notre intérêt se limite à la traduction par le ribosome de la séquence signale EspP (RNCEspP). In vivo, EspP est une protéine dont le ciblage vers le récepteur membranaire se réalise après la traduction. Cependant il arrive que RNCEspP se lie au complexe SRP-FtsY, faisant échouer le ciblage. Nous avons étudié les bases structurales du rejet de RNCEspP par SRP et FtsY. Pour cela nous avons effectué la comparaison de la structure RNCEspP-SRP-FtsY obtenue par observation au cryo-microscope électronique avec d'autres complexes ribosome-SRP-récepteurs traduisant la charge FtsQ, qui est elle normalement ciblé par SRP. Nous avons cherché à observer la différence de structure entre les complexes SRP-FtsY dans les deux cas. Deux différences majeurs entre les complexes de ciblages contenants les séquences RNCFtsQ et RNCEspP ont été observés. Premièrement, dans le cas de la structure de RNCEspP le domaine M -Ffh est attaché à l'hélice 59 du ribosome, alors que celui-ci est détaché dans le cas de la structure de RNCFtsQ. Nous pensons que le domaine M empêche la libération de la séquence de signal, étape nécessaire à la réalisation du ciblage. Deuxièmement, dans le cas de la structure du complexe avec RNCEspP l'arrangement Ffh-FtsY avec le domaine NG était flexible. Ceci indiquerait que le complexe “précoce” formé sur RNCEspP est moins stable que celui formé sur RNCFtsQ. Une étude biochimique utilisant le transfert d'énergie via résonance fluorescente a corroboré ce résultat, montrant que FTS Y est lié avec une affinité moindre dans le cas du complexe précoce formé sur RNCEspP et que la reconfiguration au stade de complexe fermé est moins efficace. Une analyse biochimique plus poussée des variantes de la séquence de EspP montre que la partie N-Terminale de la séquence est la principale cause de rejet du cycle de ciblage via SRP.Dans un second projet, nous avons étudié la configuration “fermée” de SRP et ftsY en complexe avec une charge RNC stabilisée par un analogue non-hydrolysable de GTP (GMP-PCP). Pour franchir la barrière cinétique qui permet de passer du complexe précoce au complexe fermé, nous avons utilisé une version tronquée de FtsY, à laquelle la séquence terminale avait été amputée de tout le domaine acide (A-) ainsi que de la première hélice alpha du domaine NG. De plus, pour la formation du complexe, nous avons utilisé une construction contenant les 50 premiers acides aminés du leader peptidase (RNCLep50). En l'absence de nucléotides, notre reconstruction au cryo-EM a montré une configuration similaire à celle du stade précoce, dans laquelle Ftsy et Ffh- domaine NG, sont proche du tetraloop de la 4.5 S ARN. Une incubation avec GMP-PCP induit un détachement du domaine NG d'avec la queue du tetraloop. Il semblerait que les domaines NG soient flexibles dans l'état clos, et non attaché à la terminaison ouverte de l'ARN
The signal recognition particle (SRP) and its receptor (FtsY in Escherichia coli) mediate co-translational protein targeting by delivering ribosome nascent chain complexes (RNCs) to the target membrane. Recognition of an RNC cargo by SRP is dependent on an N-terminal signal sequence. Binding of FtsY to the RNC-SRP complex leads to several conformational changes of SRP and FtsY during the targeting cycle: first, an “early” GTP-independent state is adopted which is stabilized by the RNC, subsequently a “closed” GTP- dependent conformation is formed which can activate itself to hydrolyze GTP (the “activated” state). Faithful completion of all three steps leads to release of the cargo from SRP-FtsY and hand over of the RNC to the translocation pore.It has been shown for E. coli that cargos can be rejected from the SRP pathway during all targeting steps. In the first project, our interest concentrates on ribosomes translating the EspP signal sequence (RNCEspP). In vivo, EspP is a post-translationally targeted protein, but RNCEspP has been shown to be bound by SRP and FtsY leading to a non-productive “early”-like RNCEspP-SRP-FtsY complex. Using single particle cryo-electron microscopy (EM), we analysed the structural basis for the rejection of RNCEspP by SRP and FtsY. Comparison of our RNCEspP-SRP-FtsY cryo-EM structure to other available cryo-EM structures of co-translational targeting complexes containing the correct cargo RNCFtsQ unravelled differences in the SRP-FtsY structure between a correct cargo and an incorrect cargo. Two major differences between the targeting complexes containing the cargos RNCFtsQ and RNCEspP were observed: first, the Ffh M-domain was attached to ribosomal RNA helix 59 of RNCEspP, while it was detached from this site in the case of RNCFtsQ. It could be that such an ordered M-domain is hampering the release of the signal sequence which is required for successful completion of targeting. Second, the Ffh-FtsY NG-domain arrangement was flexible in the complex with RNCEspP in comparison to RNCFtsQ indicating that the "early"-like complex formed on RNCEspP is less stable. Biochemical data using fluorescence resonance energy transfer corroborated these results, showing that FtsY is bound with lower affinity in the RNCEspP “early” complex and that the rearrangement to the “closed” conformation is less efficient. Further biochemical analysis of EspP signal sequence variants showed that mainly the N-terminal extension of the EspP signal sequence is responsible for its rejection from the SRP pathway
APA, Harvard, Vancouver, ISO, and other styles
7

Mevoungou, Zambo Romy Suzanne. "Nullité et volonté individuelle." Thesis, Paris 1, 2020. http://www.theses.fr/2020PA01D010.

Full text
Abstract:
Avant l’ordonnance du 10 février 2016 portant droit des contrats, la majorité des études était basée sur la nullité prononcée par le juge, tandis que l’hypothèse d’une l’annulation voulue par les parties était confinée à une place subsidiaire, sinon à une existence substantiellement discutée. La consécration législative de l’annulation voulue répond à des besoins de simplicité et de rapidité en cas de mésentente entre les parties, ainsi qu’au besoin de désengorgement des tribunaux, lorsque les contractants s’accordent pour une extinction amiable de leur contrat. Sous ces attributs non exhaustifs résident l’intérêt pratique de la consécration du mécanisme. Toutefois, cette œuvre législative pose une question fondamentale relative à l’accueil de l’annulation voulue dans l’ordonnancement juridique. Il s’agit précisément de savoir comment se réalise la conciliation entre la puissance de l’accord des volontés et le prononcé de l’annulation du contrat. L’étude portant sur le thème «nullité et volonté individuelle» est ainsi consacrée à la problématique de l’annulation du contrat par la volonté des parties à l’acte. L’étude interroge de façon générale les mécanismes et les conséquences de la nullité lorsqu’elle est prononcée par les parties au contrat. Les idées construites autour des questions ainsi posées s’articulent en deux hypothèses concernant d’une part le prononcé de l’annulation voulue et d’autre part celle de l’annulation prononcée par les parties. D’abord, le prononcé de l’annulation conduit à questionner la possibilité d’une annulation voulue et examiner ensuite les mécanismes et modalités de sa mise en œuvre. Ensuite, l’annulation prononcée par les parties appréhende ses conséquences à travers l’analyse de l’impact de l’accord de volontés sur les effets nécessaires et contingents de la nullité
Before the ordinance of February 10, 2016 on the law of contracts, the major part of studies have largely reserved nullity for the sanction pronounced by the judge while the hypothesis of the willful annulment was confined to a subsidiary place if not to a existence substantially discussed. The legislative consecration of the willful annulment meets the need for simplicity and celerity when the parties come to misunderstand each to other, as well as the need to relief the courts’ congestion, when the contractors agree to an amicable termination of their contract. Under these non-exhaustive attributes resides the practical interest of the consecration of the mechanism. However, this legislative act addresses a fundamental concern relating to the reception of the willful annulment in legal framework. It is precisely a matter of knowing how to reconcile the power of the agreement of wills and the pronouncement of the annulment of the contract. The study on "nullity and individual will" is therefore devoted to the problematic of the cancellation of the contract by the will of the parties to the agreement. The study generally questions the mechanisms and consequences of willful annulment. The ideas built around the questions thus posed are articulated in two hypotheses concerning on the one hand the pronouncement of the willful annulment and on the other hand that of the annulment pronounced by the parties. Firstly, the pronouncement of the annulment leads to questioning the possibility of a willful annulment and then examining the mechanisms and modalities of its implementation. Secondly, the annulment pronounced by the parties exhibits the impact of the agreement of wills and produces contingent effects on the nullity
APA, Harvard, Vancouver, ISO, and other styles
8

Siri, Aurélien. "Le mutuus dissensus : notion, domaine, régime." Thesis, Aix-Marseille 3, 2011. http://www.theses.fr/2011AIX32054.

Full text
Abstract:
Le mutuus dissensus est une locution latine de droit positif français. Elle est utilisée par la doctrine civiliste depuis la fin du XIXème siècle pour désigner une notion fondamentale du droit des conventions. La notion juridique de mutuus dissensus peut être définie comme la convention par laquelle toutes les parties consentent à la révocation de la convention qu’elles ont conclue antérieurement. La notion de mutuus dissensus présente une unité. Elle repose sur la réunion de deux éléments constitutifs essentiels. Le premier est une procédure classique : une convention. La convention de mutuus dissensus est une véritable convention extinctive plutôt qu’un nouveau contrat identique en sens inverse du contrat révoqué. Le second est un effet de droit spécifique : la révocation. La révocation par mutuus dissensus est plutôt une résiliation du contrat opérant uniquement pour l’avenir qu’une prétendue résolution d’un contrat à effet rétroactif. La notion de mutuus dissensus a un domaine très large en droit positif. La révocation par mutuus dissensus est un principe général du droit des conventions fondé sur l’article 1134, alinéa 2, du Code civil, qui a vocation à s’appliquer à toutes les conventions et dans toutes les matières. La notion de mutuus dissensus détermine un régime juridique spécifique. Les parties sont libres de déterminer les effets de la révocation par mutuus dissensus. Le principe de la liberté des parties est limité par l’ordre public. La sécurité des tiers est assurée par une protection générale et des protections spéciales reposant principalement sur le mécanisme de l’inopposabilité
Mutuus dissensus is a latin expression in the French positive law. It has been used by civil doctrine since the end of the nineteenth century to designate a basic notion of Contract Law. The juridic notion of mutuus dissensus may be defined as an agreement between all the parties to rescind their precedent contract. The notion of mutuus dissensus has an unity. It stands on two essentials constituent elements. The first one is a classical procedure: an agreement. Mutuus dissensus agreement is a real subsequent agreement to end a contract, rather than a new identical contract but opposite to the rescinded contract. The second one is an effect of specific right: the rescission. Rescission by mutuus dissensus is the termination of a contract for the future rather than a supposed discharge of a contract with a retroactive effect. The notion of mutuus dissensus has a very wide field in positive law. Rescission by mutuus dissensus is a general principle of law of contracts based on section 1134, subsection 2, of the French civil code, which is to apply to every contract and in every subject. The notion of mutuus dissensus determines a specific juridical system. Parties are free to decide the effects of the rescission by mutuus dissensus. The principle of freedom of parties is limited by law and order. The protection of third parties is ensured by a general protection and special protections which limit the effects of the rescission of contract by mutuus dissensus
APA, Harvard, Vancouver, ISO, and other styles
9

Šilinskaitė, Jurga. "Išbandymas sudarant darbo sutartį : jo reguliavimo Lietuvoje ir ES valstybėse - narėse lyginamoji analizė." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2006. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2006~D_20060316_133748-25430.

Full text
Abstract:
By means of comparative analysis the features of regulation of probationary period in a contract of employment in the law of Lithuania and the members of the EU are revealed. The problem of evaluation of the results of probationary period as well as the right to dispute the dismissal due to the negative outcome of probationary period are considered. The author also discusses some law cases of the Supreme Court of Lithuania to reveal the problems, related to probation clause.
APA, Harvard, Vancouver, ISO, and other styles
10

Bagdonaitė, de Jesus Kristina. "Terminuotos darbo sutarties sudarymo ir nutraukimo ypatumai." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2005. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2004~D_20050606_223505-83459.

Full text
Abstract:
Conclusion and termination of fixed-term work agreements has influence on legal status of employees, work quality, efficiency of undertaking’s activity as well as provides parties with opportunities to individualize operating conditions and implement reasonable objectives, increases employment. In addition to common labour law norms, according to peculiarities of employment relations there are also rights and guaranties determined by special legal norms applied to fixed-term work agreements. With reference to summarized experience of national legal regulation in Lithuania and other foreign countries, European Union labour law acts, judicial practice and research work results of other authors this work deals with legal employment relationship existing between employer and employee in the process of conclusion and termination of a fixed-term work agreement and paying the main attention to their particularities in the whole of similar relations. It analyzes the machinery of given legal relations’ regulation. There is a conception of a fixed-term work agreement presented. It determines the parties of this legal relation and the content of a fixed-term agreement settled by them. Fixed-term employment meets labour market requirements in upsurge of flexible work organization forms. One of these forms is also a fixed-term work agreement.
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Partial termination"

1

United States. National Aeronautics and Space Administration., ed. Motion of the heliospheric termination shock at high heliographic latitude. [Washington, D.C: National Aeronautics and Space Administration, 1995.

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

Zhu, Daming. The detection of partial discharge in high voltage insulating materials, cable and cable terminations using acoustic emission techniques. Manchester: University of Manchester, 1996.

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

Egamberdiev, Eduard. Legal basis of divorce in the Republic of Uzbekistan. ru: INFRA-M Academic Publishing LLC., 2022. http://dx.doi.org/10.12737/1862596.

Full text
Abstract:
The monograph examines the concepts of family, marriage, divorce, termination of marriage, annulment of marriage, the procedure for divorce in the Republic of Uzbekistan (judicial procedure and dissolution of marriage in the registry office), analyzes the reasons for divorce. A sociological study is being conducted — a survey of judges of the Republic of Uzbekistan in civil cases. In addition, the history of the development and formation of divorce legislation in Uzbekistan since the spread of the religions of Zoroastrianism, Islam, during the period of being part of the former USSR, during the years of independence; the legal nature of the institution of divorce and its place in the system of termination of marriage; the procedure and grounds for divorce in the registry office with the mutual consent of the spouses or upon application one of the spouses; the procedure and grounds for the dissolution of marriage in court; problems arising during the dissolution of marriage related to the material interest of the parties and the determination of the future fate of the children. It is intended for students, researchers, teachers of law schools, as well as for a wide range of readers.
APA, Harvard, Vancouver, ISO, and other styles
4

Kilina, Irina. Alternative ways to resolve criminal law conflicts. ru: INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/1989218.

Full text
Abstract:
The monograph examines the issues of development and differentiation of the criminal procedure form. The author solves a number of general and specific issues of alternative resolution of criminal conflicts. The issues of prerequisites and the legal nature of alternative resolution of criminal conflicts are considered; about the essential features, prerequisites, advantages and disadvantages, limits of application and legal guarantees for the completion of procedural activities without clarifying the key issue of criminal law - the question of the guilt of the accused in committing a crime. The author's vision of the optimal differentiation of such components of the institution of exemption from criminal liability and termination of a criminal case (criminal prosecution) as the basis and condition for exemption from criminal liability and the procedural procedure for termination of a criminal case (prosecution) in connection with the release of a person from criminal liability is outlined. The emphasis is placed on the primacy of the material and legal content of the institute - a general basis for exemption from criminal liability on alternative grounds is proposed, which is based on the possibility of evaluating the positive behavior of a person after committing a crime, allowing to assess the identity of the accused and the expediency of bringing him to criminal responsibility. The solution of particular problems related to the termination of a criminal case (prosecution) in connection with active repentance, reconciliation of the parties, compensation for damage, the use of coercive measures of educational influence and the imposition of a court fine as other measures of a criminal nature is proposed. Proposals are formulated for further improvement of an alternative to the traditional approach to resolving criminal law conflicts. It is intended for researchers, teachers, graduate students and students of law schools and faculties, as well as practicing lawyers and anyone interested in the problems of procedural law.
APA, Harvard, Vancouver, ISO, and other styles
5

Kataskeuazontas hena ethnos: To Makedoniko xana sto proskēnio : historiko hypovathro, paracharaxē tou hellēnikou politismou kai Symphōnia tōn Prespōn. Athēna: Ekdotikos Organismos Livanē, 2022.

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

Peter, Huber. Ch.7 Non-performance, s.3: Termination, Art.7.3.1. Oxford University Press, 2015. http://dx.doi.org/10.1093/law/9780198702627.003.0142.

Full text
Abstract:
This commentary analyses Article 7.3.1 of the UNIDROIT Principles of International Commercial Contracts (PICC) concerning the aggrieved party's right to terminate the contract if the other party fails to perform an obligation under the contract. Art 7.3.1 sets out the requirements which must be met if one party wishes to terminate the contract in response to the other party's non-performance. The basic rule is that termination will be available as a remedy if the other party's non-performance amounts to a fundamental non-performance. This commentary discusses the policy considerations underlying Art 7.3.1, freedom of contract, termination for fundamental non-performance, termination after expiry of an additional period of time for performance, use of the Nachfrist mechanism within the doctrine of fundamental non-performance, termination for partial non-performance, burden of proof relating to termination, and effects of termination.
APA, Harvard, Vancouver, ISO, and other styles
7

Roderick, Munday. 13 Termination of Agency. Oxford University Press, 2016. http://dx.doi.org/10.1093/law/9780198784685.003.0013.

Full text
Abstract:
This chapter considers both how agencies come to be terminated, and the effects of termination. In the ordinary course of events, as between principal and agent, an agency will come to an end because the parties so wish it. As a general rule, parties whose legal relations derive from agreement are at liberty to release one another from their obligations. Certain agencies, however, are treated as irrevocable, and cannot be freely revoked. An agency may also be terminated by operation of law, independently of the will of the parties. These two species of liability are therefore treated separately in this chapter.
APA, Harvard, Vancouver, ISO, and other styles
8

Peter, Huber. Ch.7 Non-performance, s.3: Termination, Art.7.3.5. Oxford University Press, 2015. http://dx.doi.org/10.1093/law/9780198702627.003.0146.

Full text
Abstract:
This commentary analyses Article 7.3.5 of the UNIDROIT Principles of International Commercial Contracts (PICC) concerning the general effects of a lawful termination. Lawful termination refers to a termination which has been declared (in time) and which is based on a valid ground for termination. According to Art 7.3.5, termination of the contract releases both parties from their obligation to effect and to receive future performance. Termination does not preclude a claim for damages for non-performance and has no effect on any provision in the contract for the settlement of disputes or any other term of the contract which is to operate even after termination. This commentary discusses release from future performance obligations, autonomy of ‘termination-resistant’ provisions, effects of unlawful termination, and proprietary aspects of rules in Arts 7.3.5–7.3.7.
APA, Harvard, Vancouver, ISO, and other styles
9

Annalisa, Ciampi. Part IV Invalidity and Termination of Treaties, 22 Invalidity and Termination of Treaties and Rules of Procedure. Oxford University Press, 2011. http://dx.doi.org/10.1093/acprof:oso/9780199588916.003.0022.

Full text
Abstract:
As a rule, treaties do not come to an end automatically but entitle the injured state or all states parties to the treaty (as the case may be) to plead on the basis thereof the invalidity or termination of a treaty. In principle, therefore, it is up to the discretion of the party(ies) concerned to make the relevant choices. In this respect, no general role of the judiciary can be grounded in specific national provisions, application by analogy of the rules on the treaty-making power, or the courts' power to interpret the applicable law. A customary rule, however, has emerged on the basis of which courts of the parties concerned are under an obligation to impeach the validity, or terminate the operation, of treaties concluded under the threat of use of force or conflicting with jus cogens. It is also reasonable to conceive a rule of customary law allowing any third party to invoke invalidity or termination in accordance with Article 52, 53, or 64 (or the corresponding customary rules).
APA, Harvard, Vancouver, ISO, and other styles
10

Motion of the heliospheric termination shock at high heliographic latitude. [Washington, D.C: National Aeronautics and Space Administration, 1995.

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

Book chapters on the topic "Partial termination"

1

Brauburger, Jürgen, and Jürgen Giesl. "Termination analysis for partial functions." In Static Analysis, 113–27. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61739-6_37.

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

Codish, Michael, Vitaly Lagoon, and Peter J. Stuckey. "Solving Partial Order Constraints for LPO Termination." In Lecture Notes in Computer Science, 4–18. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11805618_2.

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

Brauburger, Jürgen. "Automatic termination analysis for partial functions using polynomial orderings." In Static Analysis, 330–44. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0032751.

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

Glenstrup, Arne J., and Neil D. Jones. "BTA Algorithms to ensure termination of off-line partial evaluation." In Lecture Notes in Computer Science, 273–84. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-62064-8_23.

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

Leuschel, Michael, Salvador Tamarit, and Germán Vidal. "Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation." In Functional and Constraint Logic Programming, 111–27. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-11999-6_8.

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

Andersen, Peter Holst, and Carsten Kehler Holst. "Termination analysis for offline partial evaluation of a higher order functional language." In Static Analysis, 67–82. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61739-6_34.

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

Dimovski, Aleksandar S. "Quantitative Program Sketching using Lifted Static Analysis." In Fundamental Approaches to Software Engineering, 102–22. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99429-7_6.

Full text
Abstract:
AbstractWe present a novel approach for resolving numerical program sketches under Boolean and quantitative objectives. The input is a program sketch, which represents a partial program with missing numerical parameters (holes). The aim is to automatically synthesize values for the parameters, such that the resulting complete program satisfies: a Boolean (qualitative) specification given in the form of assertions; and a quantitative specification that estimates the number of execution steps to termination and which the synthesizer is expected to optimize.To address the above quantitative sketching problem, we encode a program sketch as a program family (a.k.a. software product line) and analyze it by the specifically designed lifted analysis algorithms based on abstract interpretation. In particular, we use a combination of forward (numerical) and backward (termination) lifted analysis of program families to find the variants (family members) that satisfy all assertions, and moreover are optimal with respect to the given quantitative objective. Such obtained variants represent “correct & optimal” sketch realizations.We present a prototype implementation of our approach within the FamilySketcher tool for resolving C sketches with numerical types. We have evaluated our approach on a set of benchmarks, and experimental results confirm the effectiveness of our approach.
APA, Harvard, Vancouver, ISO, and other styles
8

Bach, R., Rouven Berkemeier, and Markus Köster. "Development of a Measuring System to Detect and Localize Partial Discharges in a Termination with UHF-Sensors." In Lecture Notes in Electrical Engineering, 1146–60. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-31680-8_110.

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

Hofman, Piotr, Filip Mazowiecki, and Philip Offtermatt. "Fast Termination and Workflow Nets." In Computer Aided Verification, 132–55. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37706-8_7.

Full text
Abstract:
AbstractPetri nets are an established model of concurrency. A Petri net is terminating if for every initial marking there is a uniform bound on the length of all possible runs. Recent work on the termination of Petri nets suggests that, in general, practical models should terminate fast, i.e. in polynomial time. In this paper we focus on the termination of workflow nets, an established variant of Petri nets used for modelling business processes. We partially confirm the intuition on fast termination by showing a dichotomy: workflow nets are either non-terminating or they terminate in linear time.The central problem for workflow nets is to verify a correctness notion called soundness. In this paper we are interested in generalised soundness which, unlike other variants of soundness, preserves desirable properties like composition. We prove that verifying generalised soundness is coNP-complete for terminating workflow nets.In general the problem is PSPACE-complete, thus intractable. We utilize insights from the coNP upper bound to implement a procedure for generalised soundness using MILP solvers. Our novel approach is a semi-procedure in general, but is complete on the rich class of terminating workflow nets, which contains around 90% of benchmarks in a widely-used benchmark suite. The previous state-of-the-art approach for the problem is a different semi-procedure which is complete on the incomparable class of so-called free-choice workflow nets, thus our implementation improves on and complements the state-of-the-art.Lastly, we analyse a variant of termination time that allows parallelism. This is a natural extension, as workflow nets are a concurrent model by design, but the prior termination time analysis assumes sequential behavior of the workflow net. The sequential and parallel termination times can be seen as upper and lower bounds on the time a process represented as a workflow net needs to be executed. In our experimental section we show that on some benchmarks the two bounds differ significantly, which agrees with the intuition that parallelism is inherent to workflow nets.
APA, Harvard, Vancouver, ISO, and other styles
10

Havlena, Vojtěch, Ondřej Lengál, Yong Li, Barbora Šmahlíková, and Andrea Turrini. "Modular Mix-and-Match Complementation of Büchi Automata." In Tools and Algorithms for the Construction and Analysis of Systems, 249–70. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30823-9_13.

Full text
Abstract:
AbstractComplementation of nondeterministic Büchi automata (BAs) is an important problem in automata theory with numerous applications in formal verification, such as termination analysis of programs, model checking, or in decision procedures of some logics. We build on ideas from a recent work on BA determinization by Li et al. and propose a new modular algorithm for BA complementation. Our algorithm allows to combine several BA complementation procedures together, with one procedure for a subset of the BA’s strongly connected components (SCCs). In this way, one can exploit the structure of particular SCCs (such as when they are inherently weak or deterministic) and use more efficient specialized algorithms, regardless of the structure of the whole BA. We give a general framework into which partial complementation procedures can be plugged in, and its instantiation with several algorithms. The framework can, in general, produce a complement with an Emerson-Lei acceptance condition, which can often be more compact. Using the algorithm, we were able to establish an exponentially better new upper bound of $$\mathcal {O}(4^n)$$ O ( 4 n ) for complementation of the recently introduced class of elevator automata. We implemented the algorithm in a prototype and performed a comprehensive set of experiments on a large set of benchmarks, showing that our framework complements well the state of the art and that it can serve as a basis for future efficient BA complementation and inclusion checking algorithms.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Partial termination"

1

Vidal, Germán. "Quasi-terminating logic programs for ensuring the termination of partial evaluation." In the 2007 ACM SIGPLAN symposium. New York, New York, USA: ACM Press, 2007. http://dx.doi.org/10.1145/1244381.1244390.

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

Holdermans, Stefan. "Session details: Session 4: termination." In PEPM '10: Partial Evaluation and Program Manipulation. New York, NY, USA: ACM, 2010. http://dx.doi.org/10.1145/3250311.

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

Czaszejko, Tadeusz, and Jonathan Sookun. "Acoustic emission from partial discharges in cable termination." In 2014 International Symposium on Electrical Insulating Materials (ISEIM). IEEE, 2014. http://dx.doi.org/10.1109/iseim.2014.6870715.

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

Popov, Nikolaj, and Tudor Jebelean. "Proving Partial Correctness and Termination of Mutually Recursive Programs." In 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010). IEEE, 2010. http://dx.doi.org/10.1109/synasc.2010.65.

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

Wong, J. K., H. A. Illias, H. Mokhlis, and A. H. A. Bakar. "Investigation of partial discharge severity at XLPE cable without termination." In 2014 IEEE International Conference on Power and Energy (PECon). IEEE, 2014. http://dx.doi.org/10.1109/pecon.2014.7062405.

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

Marah, Issam, Anthony Ghiotto, Jean-Marie Pham, Tifenn Martin, and Aurelie Boisse. "AFSIW Termination with Full- and Partial-Height Absorbing Material Loading." In 2019 49th European Microwave Conference (EuMC). IEEE, 2019. http://dx.doi.org/10.23919/eumc.2019.8910911.

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

Suwanasri, Thanapong, Phanupong Fuangpian, Nattapon Panmala, Tanachai Somsak, Cattareeya Suwanasri, Shan Rungsivattagapong, Nattawut Atiwet, and Papatsporn Poonpoch. "Partial Discharge Investigation on Power Cable Termination Using PD Acoustic Detection." In 2020 International Conference on Power, Energy and Innovations (ICPEI). IEEE, 2020. http://dx.doi.org/10.1109/icpei49860.2020.9431400.

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

Suaebah, Evi, Takuro Naramura, and Hiroshi Kawarada. "Direct partial CH3 termination into carboxyl terminated diamond surface for biosensor." In 2015 IEEE Sensors. IEEE, 2015. http://dx.doi.org/10.1109/icsens.2015.7370587.

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

Futami, H., R. Shutani, T. Ogawa, Y. Wakabayashi, and S. I. Kobayashi. "Sensitivity evaluation of partial discharge measurement method for XLPE cable termination." In 27th International Conference on Electricity Distribution (CIRED 2023). Institution of Engineering and Technology, 2023. http://dx.doi.org/10.1049/icp.2023.0635.

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

Fukaishi, Ren, Naoki Kobayashi, and Ryosuke Sato. "Productivity Verification for Functional Programs by Reduction to Termination Verification." In PEPM '24: 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. New York, NY, USA: ACM, 2024. http://dx.doi.org/10.1145/3635800.3636963.

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

Reports on the topic "Partial termination"

1

Avis, William. Armed Group Transition from Rebel to Government. Institute of Development Studies (IDS), October 2021. http://dx.doi.org/10.19088/k4d.2021.125.

Full text
Abstract:
Governments and political parties with an armed history are not unusual, yet how these groups function during and after the transition from conflict has largely been ignored by the existing literature. Many former armed groups have assumed power in a variety of contexts. Whilst this process is often associated with brokered peace agreements that encourage former combatants to transform into political parties, mobilise voters, and ultimately stand for elections, this is not always the case. What is less clearly understood is how war termination by insurgent victory shapes patterns of post-war politics. This rapid literature review collates available evidence of transitions made by armed groups to government. The literature collated presents a mixed picture, with transitions mediated by an array of contextual factors that are location and group specific. Case studies are drawn from a range of contexts where armed groups have assumed some influence over government (these include those via negotiated settlement, victory and in contexts of ongoing protracted conflict). The review provides a series of readings and case studies that are of use in understanding how armed groups may transition in “post-conflict” settings.
APA, Harvard, Vancouver, ISO, and other styles
2

Pack, David. PR-616-17607-R01 Sulfur Condensation in Pressure Reduction Equipment. Chantilly, Virginia: Pipeline Research Council International, Inc. (PRCI), August 2019. http://dx.doi.org/10.55274/r0011615.

Full text
Abstract:
In natural gas transmission pipelines systems, there is a growing awareness of contamination due to the presence of sulfur vapor in the gas stream at sub ppm levels. Particularly at pressure reduction facilities, the sulfur vapor can desublimate out as solid elemental sulfur and then combine with other particle matter and trace liquids in the gas stream to form the observed contamination deposits. In order to better control the formation of the elemental sulfur, an improved understanding of the contribution that the design of pressure regulators make to this desublimation process is required. This research program has come to the challenge of this requirement. In the conducted program, two pressure regulators were tested at a common facility that was known to have an elemental sulfur deposition problem. Each pressure regulator was alternatively placed in service so as each was subjected to, as near as possible, identical operating conditions. A requirement for the selection of the two pressure regulators was that they had to have different internal design features. The quality of the natural gas supply was regularly sampled and analyzed, with the contamination deposits on the pressure regulator internals sampled and analyzed at the termination of the test period. These deposits were analyzed for both hydrocarbon and other liquid deposits as well as a range of metal and semi-metal compounds captured in the deposits.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Partial termination' for particular source types:
Journal articles 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