Log in

Relevant bibliographies by topics / And Blocking techniques

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'And Blocking techniques'

Author: Grafiati

Published: 4 June 2025

Last updated: 15 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 'And Blocking techniques.'

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 "And Blocking techniques"

1

Valuskar, Ashish, Madhu Shandilya, and Arvind Rajawat. "Analysis of Mesh Topology of NoC for Blocking and Non-blocking Techniques." International Journal of Computer Applications 70, no. 14 (2013): 35–38. http://dx.doi.org/10.5120/12033-8078.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Papadakis, George, Dimitrios Skoutas, Emmanouil Thanos, and Themis Palpanas. "Blocking and Filtering Techniques for Entity Resolution." ACM Computing Surveys 53, no. 2 (2020): 1–42. http://dx.doi.org/10.1145/3377455.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Kasianchuk, Ihor. "Orchestration of service-oriented applications with reactive programming techniques." Technology audit and production reserves 4, no. 2(78) (2024): 24–29. http://dx.doi.org/10.15587/2706-5448.2024.310031.

Full text

Abstract:

The object of research is the modular approach to application development using SOA, as well as the comparison of synchronous and asynchronous request processing methodologies using a reactive programming architecture. SOA allows applications to be divided into independent components, ensuring easy integration and scalability in distributed computing environments. With SOA, it is possible to create a network of loosely coupled services, providing users with the flexibility to develop applications tailored to specific needs. One of the main issues is thread blocking and system instability under heavy loads when using synchronous methods. The study compares synchronous and asynchronous request processing methodologies using WebFlux, and examines key components of SOA, such as service discovery mechanisms and interaction models, particularly orchestration and choreography. The results show that asynchronous approaches, using a non-blocking, event-driven architecture, reduce the number of active threads, increase system resilience, and improve performance. This is because the proposed non-blocking, event-driven approach has several features, including reducing thread blocking and enhancing system stability under heavy loads. Synchronous methods, while straightforward, have drawbacks such as thread blocking and system instability under excessive loads. As a result, there is a high efficiency in processing a large number of requests in real-time. Compared to similar known approaches, this provides advantages such as increased system resilience and efficient resource utilization, making this approach particularly useful for scalable application architectures in distributed computing environments.

APA, Harvard, Vancouver, ISO, and other styles

4

Charier, David, Jean Pascal, Malou Navez, Christian Auboyer, and Serge Molliex. "Regional Blocking Techniques for Facial Soft-Tissue Surgery." Anesthesiology 96, Sup 2 (2002): A923. http://dx.doi.org/10.1097/00000542-200209002-00923.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Kaur, Parmjeet, and Poonam Sethi. "Removal of Blocking Artifacts using Various Filtering Techniques." International Journal of Computer Applications 48, no. 24 (2012): 11–18. http://dx.doi.org/10.5120/7527-0470.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Zanon, Igor de Barcellos, Charbel Jacob Júnior, Igor Machado Cardoso, et al. "COMPARISON OF THE EFFECTIVENESS OF RADICULAR BLOCKING TECHNIQUES IN THE TREATMENT OF LUMBAR DISK HERNIA." Coluna/Columna 14, no. 4 (2015): 295–98. http://dx.doi.org/10.1590/s1808-185120151404152856.

Full text

Abstract:

Objective : Compare the interlaminar blocking technique with the transforaminal blocking, with regard to pain and the presence or absence of complications. Methods : Prospective, descriptive and comparative, double-blind, randomized study, with 40 patients of both sex suffering from sciatic pain due to central-lateral or foraminal disc herniation, who did not respond to 20 physiotherapy sessions and had no instability diagnosed on examination of dynamic radiography. The type of blocking, transforaminal or interlaminar, to be performed was determined by draw. Results : We evaluated 40 patients, 17 males, mean age 49 years, average VAS pre-blocking of 8.85, average values in transforaminal technique in 24 hours, 7, 21, and 90 days of 0.71, 1.04, 2.33 and 3.84, respectively; the average VAS post-blocking for interlaminar technique was 0.89, 1.52, 3.63 and 4.88. The techniques differ only in the post-blocking period of 21 days and overall post-blocking, with significance of p=0.022 and p=0.027, respectively. Conclusion : Both techniques are effective in relieving pain and present low complication rate, and the transforaminal technique proved to be the most effective.

APA, Harvard, Vancouver, ISO, and other styles

7

Venkatraman, K., and A. Akila. "Survey of duplicate detection using progressive detection techniques." International Journal of Engineering & Technology 7, no. 1.9 (2018): 171. http://dx.doi.org/10.14419/ijet.v7i1.9.9757.

Full text

Abstract:

Data is an important task in real world; the common data is represented and used in all the fields. The duplicate data is executed and displayed in scenario. The proposed work two types of techniques used first one Progressive Sort Neighbourhood Method (PSNM) and Progressive Blocking (PB). Progressive Sort Neighbourhood Method is used to deliver the exact input based output and the method will separate the input based keywords and check the similarity of the output data. The progressive blocking is to filter the irrelevant information, keywords based indexing and entry level filtering standard input is implemented based on user requirement.

APA, Harvard, Vancouver, ISO, and other styles

8

Papadakis, George, Jonathan Svirsky, Avigdor Gal, and Themis Palpanas. "Comparative analysis of approximate blocking techniques for entity resolution." Proceedings of the VLDB Endowment 9, no. 9 (2016): 684–95. http://dx.doi.org/10.14778/2947618.2947624.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Layton, Clive, Morio Higaonna, and Steve Arneil. "Karate for Self-Defense: An Analysis of Goju-Ryu and Kyokushinkai Kata." Perceptual and Motor Skills 77, no. 3 (1993): 829–30. http://dx.doi.org/10.2466/pms.1993.77.3.829.

Full text

Abstract:

12 Goju-ryu and 24 Kyokushinkai kata (forms) widely practised today were analysed for blocking and counter-offensive techniques. A statistically significant preference was found for blocking in Goju-ryu kata and a significant preference for counter-offensive techniques in Kyokushinkai kata. The kata from both styles were seen as fostering nonviolence in their practitioners, however.

APA, Harvard, Vancouver, ISO, and other styles

10

Araújo, Tiago Brasileiro, Kostas Stefanidis, Carlos Eduardo Santos Pires, Jyrki Nummenmaa, and Thiago Pereira da Nóbrega. "Incremental Entity Blocking over Heterogeneous Streaming Data." Information 13, no. 12 (2022): 568. http://dx.doi.org/10.3390/info13120568.

Full text

Abstract:

Web systems have become a valuable source of semi-structured and streaming data. In this sense, Entity Resolution (ER) has become a key solution for integrating multiple data sources or identifying similarities between data items, namely entities. To avoid the quadratic costs of the ER task and improve efficiency, blocking techniques are usually applied. Beyond the traditional challenges faced by ER and, consequently, by the blocking techniques, there are also challenges related to streaming data, incremental processing, and noisy data. To address them, we propose a schema-agnostic blocking technique capable of handling noisy and streaming data incrementally through a distributed computational infrastructure. To the best of our knowledge, there is a lack of blocking techniques that address these challenges simultaneously. This work proposes two strategies (attribute selection and top-n neighborhood entities) to minimize resource consumption and improve blocking efficiency. Moreover, this work presents a noise-tolerant algorithm, which minimizes the impact of noisy data (e.g., typos and misspellings) on blocking effectiveness. In our experimental evaluation, we use real-world pairs of data sources, including a case study that involves data from Twitter and Google News. The proposed technique achieves better results regarding effectiveness and efficiency compared to the state-of-the-art technique (metablocking). More precisely, the application of the two strategies over the proposed technique alone improves efficiency by 56%, on average.

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "And Blocking techniques"

1

Papadakis, Georgios [Verfasser]. "Blocking techniques for efficient entity resolution over large, highly heterogeneous information spaces / Georgios Papadakis." Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2013. http://d-nb.info/1041230567/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Hosie, Arthur Hugh Frank. "The application of molecular techniques to investigate the production of sodium channel blocking toxins by heterotrophic marine bacteria." Thesis, University of Glasgow, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.298068.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Lange, Julia Verfasser], and Frank [Gutachter] [Werner. "Solution techniques for the blocking job shop scheduling problem with total tardiness minimization / Julia Lange ; Gutachter: Frank Werner." Magdeburg : Universitätsbibliothek Otto-von-Guericke-Universität, 2019. http://d-nb.info/1220036145/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Lange, Julia [Verfasser], and Frank [Gutachter] Werner. "Solution techniques for the blocking job shop scheduling problem with total tardiness minimization / Julia Lange ; Gutachter: Frank Werner." Magdeburg : Universitätsbibliothek Otto-von-Guericke-Universität, 2019. http://nbn-resolving.de/urn:nbn:de:gbv:ma9:1-1981185920-141815.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Dutta, Ray Tathagat. "Novel Complement Blocking Antibodies Against Serogroup B N. meningitidis: A Dissertation." eScholarship@UMMS, 2010. https://escholarship.umassmed.edu/gsbs_diss/495.

Full text

Abstract:

N. meningitidis is a common commensal of the human upper respiratory tract and a leading cause of bacterial meningitis and septicemia worldwide. The classical pathway of complement (C) is essential for both naturally acquired and vaccine induced immunity against N. meningitidis. Qualitative and/or quantitative differences in anti-meningococcal antibodies (Abs) in serum is one reason for variations in C-dependent bactericidal Ab activity among individuals. I showed that IgG isolated from select individuals could block killing of group B meningococci by Abs that were otherwise bactericidal. Ligand overlay immunoblots revealed that these blocking IgG Abs were directed against a meningococcal antigen called H.8, Killing of meningococci in reactions containing bactericidal mAbs and human blocking Abs was restored when blocking Ab binding to meningococci was inhibited (or competed for) using either synthetic peptides corresponding to H.8 or a non-blocking mAb against H.8. Further, genetic deletion of H.8 from target organisms abrogated blocking. The Fc region of the blocking IgG was required for blocking because F(ab)2 fragments alone generated by pepsin treatment were ineffective. Blocking required IgG glycosylation; deglycosylation of blocking IgG with peptide:N-glycanase (PNGase) eliminated blocking. C4 deposition mediated by a bactericidal mAb directed against a meningococcal vaccine candidate, called factor H-binding protein (fHbp), was reduced by blocking Ab. Anti-fHbp-mediated C4 deposition was unaffected, however, by deglycosylated blocking IgG. Although preliminary, our data suggests blocking of serum bactericidal activity by human anti-H.8 blocking antibody may require mannan-binding lectin (MBL), which itself is a complement activator. Also, whether MBL recruits a complement inhibitor(s) that facilitates blocking remains to be determined. In conclusion, we have identified H.8 as a meningococcal target for novel blocking antibodies that are commonly found in human serum. Blocking Ab may reduce the efficacy of meningococcal vaccines. We propose that outer membrane vesicle-containing meningococcal vaccines may be more efficacious if purged of subversive immunogens such as H.8.

APA, Harvard, Vancouver, ISO, and other styles

6

Scuro, Loren Semionatto. "Obtenção e estudo das propriedades de hibridomas produtores de anticorpos monoclonais anti-IL6 humana." [s.n.], 2005. http://repositorio.unicamp.br/jspui/handle/REPOSIP/317407.

Full text

Abstract:

Orientador: Wirla Maria da Silva Cunha Tamashiro<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Biologia<br>Made available in DSpace on 2018-08-05T10:09:32Z (GMT). No. of bitstreams: 1 Scuro_LorenSemionatto_M.pdf: 980651 bytes, checksum: f54e323b2050cb528e7e829af26086ad (MD5) Previous issue date: 2005<br>Resumo: O objetivo do presente trabalho foi a obtenção e caracterização de anticorpos monoclonais contra a IL6 humana recombinante (hr) para serem empregados em ensaios imunoenzimáticos do tipo ELISA (Enzyme linked immunosorbent assay) de detecção da IL6 humana nativa, presente em fluídos biológicos de pacientes portadores de quadros onde os níveis de IL6 encontram-se elevados, ou então produzida por monócitos humanos e murinos ativados in vitro. Dois grupos de hibridomas (1A6 e 3B1) secretores de anticorpos monoclonais anti-IL6 foram obtidos pela fusão de células de mieloma da linhagem SP2 Ag14/0 com esplenócitos de camundongos BALB/c, previamente imunizados com a IL6 humana recombinante. Esses hibridomas foram selecionados com base em sua reatividade com a hrIL6, através de ensaios do tipo ELISA indireto. As imunoglobulinas (Igs) monoclonais produzidas pelos hibridomas dos dois grupos são do isotipo IgG1 Kappa e foram purificadas de líquidos ascíticos e dos sobrenadantes de cultura por cromatografia de afinidade. As proteínas purificadas foram conjugadas com biotina para uso em ensaios de ELISA de captura da hrIL6, de modo a se identificar um ou mais pares de anticorpos adequados a esse tipo de teste, bem como para definir a sensibilidade de detecção da citocina. O par de anticorpos monoclonais 3B1E4 x 1A6F10-biotinilado se mostrou mais promissor nos ensaios de ELISA, detectando a citocina recombinante entre 8 e 512 ng/mL, liberando densidades óticas mais elevadas. Todos os anticorpos monoclonais (AcMos) anti IL6 estudados foram capazes de neutralizar a atividade biológica da citocina em ensaios empregando o hibridoma B13.9, uma célula dependente de IL-6 para seu crescimento. Finalmente, o par de hibridomas anti IL6 3B1E4 e 1A6F10 foi estudado quanto às suas principais características de cultivo: crescimento, produção in vitro dos anticorpos, consumo de glicose e produção de lactato e amônia. O seqüênciamento da porção N-terminal do par 3B1E4 e 1A6F10 revelou que as cadeias leves dos dois anticorpos apresentam seqüência idêntica de aminoácidos. Porém, a análise dos dez resíduos de aminoácidos presentes na região variável das cadeias pesadas resultou em seqüências completamente distintas nos dois monoclonais, sendo um forte indício de diferença nos sítios de ligação ao antígeno dos anticorpos estudados<br>Abstract: In the present study we have developed monoclonal antibodies against human recombinant (hr) IL6, for the use in ELISA assays to detect the human native IL6 present in biological fluid of patients or in supernatant of activated human and rodent monocytes. Two families of hibridomas (1A6 and 3B1) secreting MAb against-IL6 were obtained from the fusion of mieloma cells from SP2 Ag14/0 lineage with spleen cells from BALB/c mice, previously immunized with human recombinant IL6. Those hibridomas were selected on the basis of their reactivity with the hrIL6, through an ELISA indirect assay. The monoclonal immunoglobulins (Igs) produced by these hibridomas are from IgG1 Kappa isotype and were purified from ascitic fluid and culture supernatant by affinity chromatography. The purified proteins from the ascitic fluid were conjugated with biotin for the use in ELISA hrIL6 capture assay, to identify one or more pairs of antibodies appropriated to this kind of test, as well to define the sensibility of cytokine detection. The pair of MAbs 3B1E4 x 1A6F10-biotinilates was shown promising in ELISA assays, detecting the recombinant cytokine between 8 and 512 ng/mL, liberating elevated optical densities. All of the a-IL6 MAbs studied were capable to neutralize the biological activity of the cytokine in attempt employing the hibridoma B13.9 IL-6 dependent. Finally, the pair of hibridomas a-IL6 3B1E4 and 1A6F10 was studied as regards his main cultivation characteristics: growth, MAb production in vitro, lactate and ammonia production and glucose consumption. The N-Terminal portion sequence of 3B1E4 and 1A6F10 revealed that both light-chains present identical amino acid sequence. However, the analysis of the ten amino acid residues present in variable region of heavy-chains resulted in completely distinct sequences in both antibodies, being a strong indication of difference in their ability to recognize the antigen<br>Mestrado<br>Imunologia<br>Mestre em Genética e Biologia Molecular

APA, Harvard, Vancouver, ISO, and other styles

7

Aronis, Stavros. "Effective Techniques for Stateless Model Checking." Doctoral thesis, Uppsala universitet, Avdelningen för datalogi, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-333541.

Full text

Abstract:

Stateless model checking is a technique for testing and verifying concurrent programs, based on exploring the different ways in which operations executed by the processes of a concurrent program can be scheduled. The goal of the technique is to expose all behaviours that can be a result of scheduling non-determinism. As the number of possible schedulings is huge, however, techniques that reduce the number of schedulings that must be explored to achieve veriﬁcation have been developed. Dynamic partial order reduction (DPOR) is a prominent such technique. This dissertation presents a number of improvements to dynamic partial order reduction that signiﬁcantly increase the effectiveness of stateless model checking. Central among these improvements are the Source and Optimal DPOR algorithms (and the theoretical framework behind them) and a technique that allows the observability of the interference of operations to be used in dynamic partial order reduction. Each of these techniques can exponentially decrease the number of schedulings that need to be explored to verify a concurrent program. The dissertation also presents a simple bounding technique that is compatible with DPOR algorithms and effective for ﬁnding bugs in concurrent programs, if the number of schedulings is too big to make full veriﬁcation possible in a reasonable amount of time, even when the improved algorithms are used. All improvements have been implemented in Concuerror, a tool for applying stateless model checking to Erlang programs. In order to increase the effectiveness of the tool, the interference of the high-level operations of the Erlang/OTP implementation is examined, classiﬁed and precisely characterized. Aspects of the implementation of the tool are also described. Finally, a use case is presented, showing how Concuerror was used to ﬁnd bugs and verify key correctness properties in repair techniques for the CORFU chain replication protocol.<br>UPMARC<br>RELEASE

APA, Harvard, Vancouver, ISO, and other styles

8

Shehzad, Wasim. "Etude du régime alimentaire des carnivores par des techniques moléculaires." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00680037.

Full text

Abstract:

La caractérisation des réseaux trophiques est nécessaire pour comprendre le fonctionnement des écosystèmes et les mécanismes impliqués dans leur stabilité. Il est parfois difficile de déterminer les régimes alimentaires notamment pour des espèces discrètes et difficiles à observer comme les grands carnivores. Cependant, ces espèces jouent un rôle clé dans les écosystèmes dont elles influencent le fonctionnement et la biodiversité. Ainsi, connaitre le régime alimentaire des grands prédateurs avec précision est essentiel pour établir des stratégies de conservation. Diverses méthodes basées sur le monitoring, l'analyse d'échantillons invasifs ou non ont été utilisées pour étudier les régimes alimentaires. Elles sont généralement biaisées ou peu résolutives. Les méthodes basées sur l'identification des fragments d'ADN dans les fèces ont le potentiel de fournir une meilleure information, notamment dans le cadre d'une approche métabarcoding. Il s'agit de caractériser simultanément l'ensemble des espèces dont l'ADN est présent dans un échantillon environnemental, en utilisant les Nouvelles Techniques de Séquençage. Dans ce cas, les amorces universelles nécessaires pour amplifier toutes les proies potentielles amplifient également l'ADN du prédateur s'il y a proximité taxonomique (par exemple mammifères). Ainsi les produits PCR obtenus à partir des fèces sont essentiellement composés d'ADN du prédateur et ne reflètent pas l'ensemble du régime alimentaire. L'utilisation d'un oligonucléotide de blocage limitant spécifiquement l'amplification de l'ADN du prédateur peut résoudre ce problème. Nous avons développé une méthode de ce type basée sur l'utilisation d'amorces universelles pour les vertébrés (amplifiant la région 12SV5) et d'oligonucléotides de blocage. Bien que non quantitative, cette méthode s'est montrée robuste, adaptée à l'étude de prédateurs à très large spectre de proies, et très résolutive pour identifier les proies au niveau du genre et de l'espèce. Nous l'avons appliquée à l'étude du régime alimentaire du chat léopard (Prionailurus bengalensis) qui s'est avéré très diversifié (mammifères, oiseaux, amphibiens et poissons) dans les deux populations du Pakistan étudiées. Avec la même approche, nous avons démontré la réalité du conflit entre l'homme et le léopard commun (Panthera pardus) dont le régime est presque exclusivement composé d'animaux domestiques. Enfin, nous avons pu proposer des actions de conservations pertinentes après avoir montré que le régime de la très menacée panthère des neiges (Panthera uncia) est principalement composé d'ongulés sauvages.

APA, Harvard, Vancouver, ISO, and other styles

9

Si, Fodil Rachid. "Nouvelles dynamiques en cavité laser à fibre dopée : auto organisation et lois d'échelles : application à la génération expérimentale d'impulsions ultracourtes à haute cadence contrôlée en cavité laser à fibre dopée." Electronic Thesis or Diss., Bourgogne Franche-Comté, 2017. http://www.theses.fr/2017UBFCK058.

Full text

Abstract:

Les effets non-linéaires dépendant essentiellement de l’intensité du champ électrique de l’onde et du guide, sont indispensables à la génération des régimes impulsionnels dans les lasers à fibre dopée. L’effet Kerr, qui se manifeste quel que soit l’énergie de propagation et de pompage, va engendrer le phénomène de l’auto modulation de phase (SPM) qui se traduira par un élargissement spectral. La SPM peut se voir aussi dans l’interaction entre les deux ondes qui se propagent le long des axes lents et rapides du guide (XPM). Dans un guide uniforme passif, cette auto modulation de phase en se conjuguant avec la dispersion chromatique du guide peut conduire à l’impulsion soliton, mais ce cadre doit être largement dépassé pour aborder la mise en forme d’impulsions dans un système dissipatif, tel qu’une cavité laser. Ce cadre élargi est celui du soliton dissipatif. Dans ce travail, nous avons passé en revue la fibre optique dopée en tant que milieu actif. Nous avons présenté le principe physique du blocage de modes, en introduisant l’absorbant saturable virtuel reposant sur l’évolution non linéaire de la polarisation (ENLP). Dans la partie expérimentale, on s’est penché plus particulièrement sur de nouvelles dynamiques à haute cadence (multi-GHz) d’un laser à fibre dopée, à modes bloqués. Avant de présenter et positionner notre travail, on s’est intéressé dans un premier temps à ce qui a été publié sur la génération des trains d’impulsions ultracourtes à haute cadence. Nous avons étudié chaque configuration, allant de la génération de régime harmonique à haute cadence par le blocage de modes habituel jusqu’aux techniques utilisant l’instabilité de modulation avec un filtrage interférométrique (µcavité, F.P, SFBG). En évaluant les opportunités de réalisation de chacune, nous avons été attirés par la configuration de Mao, publiée dans Sci. Reports, toute fibrée, qui sera le premier volet de notre contribution expérimentale. Effectivement, dans un premier temps nous avons repris les travaux de Mao et al. où le MZI est pris en série dans la cavité fondamentale. Dans le souci d’apporter plus de stabilité, nous avons proposé une autre configuration où le MZI est pris dans une boucle de recirculation qui permettra plus de filtrage des modes cavité en phase. Cette stabilité du régime impulsionnel, à haute cadence, a été observée en temps réel<br>Non-linear effects, which depend essentially on the intensity of the electric field of the wave and the guide, are essential for the generation of pulse regimes in doped fiber lasers. The Kerr effect, which occurs regardless of the propagation and pumping energy, will generate the phenomenon of phase auto modulation (SPM), which will result in a spectral expansion. The SPM can also be seen in the interaction between the two waves that propagate along the slow and fast axes of the guide (XPM). In a passive uniform guide, this self-phase modulation in combination with the chromatic dispersion of the guide can lead to the soliton pulse, but this framework must be largely overcome to address pulse shaping in a dissipative system, such as a laser cavity. This extended framework is that of the dissipative soliton. In this work, we reviewed doped optical fiber as an active medium. We presented the physical principle of mode blocking, introducing the virtual saturable absorber based on the non-linear evolution of polarization (ENLP). In the experimental part, we focused more particularly on new high rate dynamics (multi-GHz) of a doped fiber laser with blocked modes. Before presenting and positioning our work, we first focused on what was published on the generation of ultra-short high speed pulse trains. We studied each configuration, ranging from the generation of high-rate harmonic regime by blocking the usual modes to techniques using modulation instability with interferometric filtering (µcavity, F.P, SFBG). In assessing the opportunities for each, we were attracted by the configuration of Mao, published in Sci. Reports, all fiber, which will be the first part of our experimental contribution. Indeed, initially we resumed the work of Mao et al. where the MZI is taken in series in the fundamental cavity. In order to provide more stability, we have proposed another configuration where the MZI is caught in a recirculation loop that will allow more filtering of the cavity modes in phase. This stability of the impulse regime, at high repetition rate, was observed in real time

APA, Harvard, Vancouver, ISO, and other styles

10

Si, Fodil Rachid. "Nouvelles dynamiques en cavité laser à fibre dopée : auto organisation et lois d'échelles : application à la génération expérimentale d'impulsions ultracourtes à haute cadence contrôlée en cavité laser à fibre dopée." Thesis, Bourgogne Franche-Comté, 2017. http://www.theses.fr/2017UBFCK058/document.

Full text

Abstract:

Les effets non-linéaires dépendant essentiellement de l’intensité du champ électrique de l’onde et du guide, sont indispensables à la génération des régimes impulsionnels dans les lasers à fibre dopée. L’effet Kerr, qui se manifeste quel que soit l’énergie de propagation et de pompage, va engendrer le phénomène de l’auto modulation de phase (SPM) qui se traduira par un élargissement spectral. La SPM peut se voir aussi dans l’interaction entre les deux ondes qui se propagent le long des axes lents et rapides du guide (XPM). Dans un guide uniforme passif, cette auto modulation de phase en se conjuguant avec la dispersion chromatique du guide peut conduire à l’impulsion soliton, mais ce cadre doit être largement dépassé pour aborder la mise en forme d’impulsions dans un système dissipatif, tel qu’une cavité laser. Ce cadre élargi est celui du soliton dissipatif. Dans ce travail, nous avons passé en revue la fibre optique dopée en tant que milieu actif. Nous avons présenté le principe physique du blocage de modes, en introduisant l’absorbant saturable virtuel reposant sur l’évolution non linéaire de la polarisation (ENLP). Dans la partie expérimentale, on s’est penché plus particulièrement sur de nouvelles dynamiques à haute cadence (multi-GHz) d’un laser à fibre dopée, à modes bloqués. Avant de présenter et positionner notre travail, on s’est intéressé dans un premier temps à ce qui a été publié sur la génération des trains d’impulsions ultracourtes à haute cadence. Nous avons étudié chaque configuration, allant de la génération de régime harmonique à haute cadence par le blocage de modes habituel jusqu’aux techniques utilisant l’instabilité de modulation avec un filtrage interférométrique (µcavité, F.P, SFBG). En évaluant les opportunités de réalisation de chacune, nous avons été attirés par la configuration de Mao, publiée dans Sci. Reports, toute fibrée, qui sera le premier volet de notre contribution expérimentale. Effectivement, dans un premier temps nous avons repris les travaux de Mao et al. où le MZI est pris en série dans la cavité fondamentale. Dans le souci d’apporter plus de stabilité, nous avons proposé une autre configuration où le MZI est pris dans une boucle de recirculation qui permettra plus de filtrage des modes cavité en phase. Cette stabilité du régime impulsionnel, à haute cadence, a été observée en temps réel<br>Non-linear effects, which depend essentially on the intensity of the electric field of the wave and the guide, are essential for the generation of pulse regimes in doped fiber lasers. The Kerr effect, which occurs regardless of the propagation and pumping energy, will generate the phenomenon of phase auto modulation (SPM), which will result in a spectral expansion. The SPM can also be seen in the interaction between the two waves that propagate along the slow and fast axes of the guide (XPM). In a passive uniform guide, this self-phase modulation in combination with the chromatic dispersion of the guide can lead to the soliton pulse, but this framework must be largely overcome to address pulse shaping in a dissipative system, such as a laser cavity. This extended framework is that of the dissipative soliton. In this work, we reviewed doped optical fiber as an active medium. We presented the physical principle of mode blocking, introducing the virtual saturable absorber based on the non-linear evolution of polarization (ENLP). In the experimental part, we focused more particularly on new high rate dynamics (multi-GHz) of a doped fiber laser with blocked modes. Before presenting and positioning our work, we first focused on what was published on the generation of ultra-short high speed pulse trains. We studied each configuration, ranging from the generation of high-rate harmonic regime by blocking the usual modes to techniques using modulation instability with interferometric filtering (µcavity, F.P, SFBG). In assessing the opportunities for each, we were attracted by the configuration of Mao, published in Sci. Reports, all fiber, which will be the first part of our experimental contribution. Indeed, initially we resumed the work of Mao et al. where the MZI is taken in series in the fundamental cavity. In order to provide more stability, we have proposed another configuration where the MZI is caught in a recirculation loop that will allow more filtering of the cavity modes in phase. This stability of the impulse regime, at high repetition rate, was observed in real time

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "And Blocking techniques"

1

Grosse-Erdmann, Karl-Goswin. The Blocking Technique, Weighted Mean Operators and Hardy’s Inequality. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0093486.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Grosse-Erdmann, Karl-Goswin. The blocking technique: Weighted mean operators and Hardy's inequality. Springer, 1998.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Howard, Rainie. Undeniable Breakthrough: Transform Your Life and Defeat Everything That's Blocking Your Blessings. Howard Global Enterprise, 2016.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Rogers, JoLanda, and LaTara Venise. Heal Your Soul Heal Your Business: 7 Core Wounds Blocking Your Business Growth and How to Break Through Them. T.A.L.K. Consulting, LLC, 2021.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Rogers, JoLanda, and LaTara Venise. Heal Your Soul Heal Your Business: 7 Core Wounds Blocking Your Business Growth and How to Break Through Them. T.A.L.K. Consulting, LLC, 2021.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Johnson, Kandia. Show up Anyway a Guided Journal: Own the B.S. Blocking Your Success and Lead a Confident, Productive, and Fulfilling Life. Kandid Conversations Global, 2023.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Farrier, Delphine. Ultimate Guide to the Great Soccer Player Specific Lessons for Perfecting Individual Player Techniques: Goalkeeper Shot Blocking. Independently Published, 2020.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Pace, Chelsea. Staging Sex: Best Practices, Tools, and Techniques for Theatrical Intimacy. Taylor & Francis Group, 2020.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Pace, Chelsea. Staging Sex: Best Practices, Tools, and Techniques for Theatrical Intimacy. Taylor & Francis Group, 2020.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Pace, Chelsea. Staging Sex: Best Practices, Tools, and Techniques for Theatrical Intimacy. Taylor & Francis Group, 2020.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "And Blocking techniques"

1

Goldberg, Mary Ellen, Nancy Shaffran, Kim Spelts, et al. "Locoregional Analgesic Blocking Techniques." In Pain Management for Veterinary Technicians and Nurses. John Wiley & Sons, Ltd, 2017. http://dx.doi.org/10.1002/9781119421436.ch6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Gansterer, Wilfried N., Dieter F. Kvasnicka, and Christoph W. Ueberhuber. "Blocking Techniques in Numerical Software." In Parallel Computation. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-49164-3_13.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

El-Harake, Khalil, Yliès Falcone, Wassim Jerad, Mattieu Langet, and Mariem Mamlouk. "Blocking Advertisements on Android Devices Using Monitoring Techniques." In Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications. Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-662-45231-8_17.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Peton, Lori A., and Miguel Reyes-Múgica. "Primary Antibody Selection and Blocking Techniques for Immunohistochemistry." In Methods in Molecular Biology. Springer US, 2021. http://dx.doi.org/10.1007/978-1-0716-1948-3_6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Deo, Nachiket, Joyanta Basak, Ahmed Soliman, Daniel Weinberg, Rebecca Steorts, and Sanguthevar Rajasekaran. "Novel Blocking Techniques and Distance Metrics for Record Linkage." In Information Integration and Web Intelligence. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-48316-5_40.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Houtekamer, Gilbert E. "Modelling DASD Configurations with Multipathing and Multiple Blocking Points." In Modeling Techniques and Tools for Computer Performance Evaluation. Springer US, 1989. http://dx.doi.org/10.1007/978-1-4613-0533-0_15.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Iwashita, Hidetoshi, and Masahiro Nakao. "Coarrays in the Context of XcalableMP." In XcalableMP PGAS Programming Language. Springer Singapore, 2020. http://dx.doi.org/10.1007/978-981-15-7683-6_3.

Full text

Abstract:

AbstractCoarray features have been implemented on the Omni XcalableMP compiler with a source-to-source translator and layered runtime libraries. Three memory allocation methods for coarrays were implemented for the GASNet and MPI-3 communication libraries and the native interface of Fujitsu. For the coarray PUT/GET communication, algorithms using DMA (zero-copy) and buffering were introduced. Important techniques for achieving high performance were the non-blocking PUT communication implemented in the runtime library and the optimization for the GET communication in the translator. Using the ping-pong benchmark and the modified version, the fundamental performance was evaluated and analyzed. The MPI version of the Himeno benchmark was ported to the coarray version and modified for fully using the non-blocking PUT. As a result of the evaluation, the non-blocking coarray version clearly outperformed the original and non-blocking MPI versions.

APA, Harvard, Vancouver, ISO, and other styles

8

Frohn, Florian, and Jürgen Giesl. "Integrating Loop Acceleration Into Bounded Model Checking." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-71162-6_4.

Full text

Abstract:

AbstractBounded Model Checking (BMC) is a powerful technique for proving unsafety. However, finding deep counterexamples that require a large bound is challenging for BMC. On the other hand, acceleration techniques compute “shortcuts” that “compress” many execution steps into a single one. In this paper, we tightly integrate acceleration techniques into SMT-based bounded model checking. By adding suitable “shortcuts” on the fly, our approach can quickly detect deep counterexamples. Moreover, using so-called blocking clauses, our approach can prove safety of examples where BMC diverges. An empirical comparison with other state-of-the-art techniques shows that our approach is highly competitive for proving unsafety, and orthogonal to existing techniques for proving safety.

APA, Harvard, Vancouver, ISO, and other styles

9

Tancrez, Jean-Sébastien, Philippe Chevalier, and Pierre Semal. "A Tight Bound on the Throughput of Queueing Networks with Blocking." In Analytical and Stochastic Modeling Techniques and Applications. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39408-9_28.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Molina, Rafael, Aggelos K. Katsaggelos, and Javier Mateos. "Removal of Blocking Artifacts Using a Hierarchical Bayesian Approach." In Signal Recovery Techniques for Image and Video Compression and Transmission. Springer US, 1998. http://dx.doi.org/10.1007/978-1-4757-6514-4_1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "And Blocking techniques"

1

Walker, Alexis, J. Andrés Diaz-Pace, and Fernanda Mendez. "Identifying Duplicate Customer Records Using Blocking and Supervised Learning Techniques." In 2024 IEEE Biennial Congress of Argentina (ARGENCON). IEEE, 2024. http://dx.doi.org/10.1109/argencon62399.2024.10735953.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Appiah, Obed, and Ezekiel Mensah Martey. "Concentric Blocking Techniques for Improved Feature Extraction in Local Binary Pattern (LBP) Systems." In 2024 IEEE 9th International Conference on Adaptive Science and Technology (ICAST). IEEE, 2024. https://doi.org/10.1109/icast61769.2024.10856506.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Wang, Qiwei, Waleed Al-Nasser, Tao Chen, and Feng Liang. "Calcium Carbonate Scale Inhibition: Effects of EOR Chemicals." In CORROSION 2018. NACE International, 2018. https://doi.org/10.5006/c2018-10546.

Full text

Abstract:

Abstract We present a systematic laboratory investigation on the impacts of enhanced oil recovery (EOR) chemicals, i.e., surfactant and polymer, on calcium carbonate scale formation and inhibition. Commonly used inhibitor products, which are based on tri-phosphonate, penta-phosphonate and polyacrylate, are evaluated in the absence and presence of the EOR chemicals. The inhibition efficiency is determined using a modified static bottle procedure and the dynamic tube blocking method. In addition, scale precipitates are characterized with scanning electron microscope and X-ray diffraction techniques. Test results show that the EOR chemicals can have a significant influence on inhibitor performance and scale morphology and polymorphs. These results suggest that new treatment program should be developed beforehand to ensure effective scale control in the chemical EOR project.

APA, Harvard, Vancouver, ISO, and other styles

4

Schuetzenduebel, W. G., I. E. Johnson, C. W. Clemons, and H. Thielsch. "Accelerated Tube Metal Wastage in Municipal Solid Waste Fired Furnaces." In CORROSION 1991. NACE International, 1991. https://doi.org/10.5006/c1991-91244.

Full text

Abstract:

Abstract Accelerated tube metal wastage occurred in a municipal waste fired furnace prompting a study of the cause and remedial action required to prevent a recurrence. The study included a review of operating conditions, documentation of tube wall thinning, physical inspection of systems, metallographic examination of tubes and chemical analysis of tube scale utilizing Scanning Electron Microscopy and X-Ray Diffraction techniques. The high levels of tube metal wastage was attributed to fireside corrosive attack linked to a localized reducing atmosphere. The most likely cause of the localized reducing atmosphere was the buildup of a slag shelf over the secondary air nozzles, blocking flow, and preventing intimate mixing of air with products of combustion. Remedial efforts included tube repair, removal of slag deposits and changes in operating practices to minimize formation of localized reducing atmospheres. Tube repair was effected by replacement of a 3' x 3.5' tube wall section and an in-situ weld metal overlay of Alloy 625 (SFA - 5.14 ERNiCrMo-3) for added corrosion protection.

APA, Harvard, Vancouver, ISO, and other styles

5

Wang, H. B., H. Shi, T. Hong, C. Kang, and W. P. Jepson. "Characterization of Inhibitor and Corrosion Product Film Using Electrochemical Impedance Spectroscopy (EIS)." In CORROSION 2001. NACE International, 2001. https://doi.org/10.5006/c2001-01023.

Full text

Abstract:

Abstract In the work, EIS and Tefal techniques were used to study the corrosion inhibitor performance in multiphase flow conditions. The experimental results show that the corrosion product layer without inhibitor is non-protective at a low temperature and low pressure environment. In slug flow at a Froude number of 6, the effectiveness of the inhibitor increases with the addition of an oil phase and reaches almost 100 % for 100 ppm of inhibitor. Tafel analysis suggest that the most possible way to decrease the corrosion rates could result from the effect of blocking the active sites on the metal surface by adsorbed imidazoline molecules. From EIS, it is shown that with an increase in the inhibitor concentration, the double layer capacitance and inhibitor film capacitance decrease sharply, whilst the solution resistance in the pores increases. The analysis shows that the formation of a very dense inhibitor film on the metal surface rather than an increase in the corrosion product film thickness. This may explain both the decrease of charge transfer resistance and the decrease of film capacitance.

APA, Harvard, Vancouver, ISO, and other styles

6

Raheem, Kabir, Olujide Sanni, Thibaut Charpentier, and Anne Neville. "Surface Precipitation and Growth Kinetics of Calcium Carbonate (CaCO3) Scale Using a Novel Capillary Flow Rig." In CORROSION 2021. AMPP, 2021. https://doi.org/10.5006/c2021-16560.

Full text

Abstract:

Abstract The oil and gas industry is plagued with various flow assurance challenges including the formation of inorganic scale on component surfaces. Much research into scaling and inhibition is now being directed towards surface deposition as fouling on surfaces often causes operational problems and the rates cannot be predicted by consideration of bulk precipitation processes. However, achieving a mechanistic understanding of surface kinetics requires laboratory techniques that offer the ability to control thermodynamic parameters. A novel once-through capillary flow rig design based on the conventional tube blocking methodology was used to evaluate the surface formation of CaCO3 under dynamic flowing conditions; an important attribute of this set-up is that saturation ratio (SR) remains constant in the capillary cell due to the short residence time of the flowing brine, and conditions can be such that there is no bulk (pre-precipitated) crystals in the solution when it flows through the cell. This allows the decoupling of bulk and surface scaling, enabling the reliable assessment of the kinetics of scale deposits present in the capillaries and provides an improved mechanistic understanding of mineral scaling on surfaces. CaCO3 surface scaling kinetics was investigated by evaluating the induction times and gravimetric measurements of mass gain in the capillary cell. Scale precipitation tests were carried out on as-received (plain) and functionalized stainless steel substrates at three saturation ratios and flow rates ranging from 10-30 ml/min. Analyses of the induction times and deposition of scale show the significant influence of flow velocity and surface wettability on heterogeneous crystallization processes, and that scale growth on surfaces is not necessarily due to the deposition of bulk precipitated crystals.

APA, Harvard, Vancouver, ISO, and other styles

7

Cushner, M. C., J. L. Przybylinski, and J. W. Ruggeri. "How Temperature and pH Affect the Performance of Barium Sulfate Inhibitors." In CORROSION 1988. NACE International, 1988. https://doi.org/10.5006/c1988-88428.

Full text

Abstract:

Abstract Carbon dioxide flooding is an Enhanced Oil Recovery (EOR) technique which has become more widespread in recent years. This technique often causes the reservoir fluids to become more acidic. This may result in difficulty in controlling barium sulfate deposition problems which were formerly manageable. Investigations employing seeded crystal growth tests and capillary blocking tests were carried out with simulated oilfield brines near pH 4 and pH 7 at 40°C and 80°C. This was done to demonstrate how temperature and pH affect the efficiency of barium sulfate inhibitors. Saturation Indices (SI) of the relevant minerals at the test conditions are reported. The effect of pressure on the barite SI was estimated. The five scale inhibitors chosen for evaluation in the screening tests were diethylenetriaminepenta (methylenephosphonic acid), a poly (acrylic acid), hydroxyethylidine-diphosphonic acid, triethanolamine triphosphate and a polymeric phosphonic acid. The seeded growth test results favored the diethylenetriaminepenta (methylenephosphonic acid) and the polymeric phosphonic acid. At each set of test conditions they were the most efficient antiprecipitants. The results of the capillary blocking tests were dependent on the inhibitors' antiscalant properties and were best for the poly(acrylic acid) and polymeric phosphonic acid. The results, their trends and their implications are discussed.

APA, Harvard, Vancouver, ISO, and other styles

8

Johnson, Kris W. "Production Blocking Techniques." In Optical Fabrication and Testing. Optica Publishing Group, 1986. http://dx.doi.org/10.1364/oft.1986.wa4.

Full text

Abstract:

Production blocking of lenses and prisms is unfortunately an area that tends to have the back seat to how well you can generate a block, or the details of effective pellet lapping. Of course, all the processes take second fiddle to high speed polishing. Everyone recognizes, in theory, that production fabrication of precision lenses is not how well any one operation works, but the effective marriage of the entire process.

APA, Harvard, Vancouver, ISO, and other styles

9

Choi, Jee, Xing Liu, Shaden Smith, and Tyler Simon. "Blocking Optimization Techniques for Sparse Tensor Computation." In 2018 IEEE International Parallel and Distributed Processing Symposium (IPDPS). IEEE, 2018. http://dx.doi.org/10.1109/ipdps.2018.00066.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Griffin, Leigh, Kieran Ryan, Eamonn de Leastar, and Dmitri Botvich. "Scaling Instant Messaging communication services: A comparison of blocking and non-blocking techniques." In 2011 IEEE Symposium on Computers and Communications (ISCC). IEEE, 2011. http://dx.doi.org/10.1109/iscc.2011.5983895.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "And Blocking techniques"

1

Sun, Lina, Yanan Han, Hua Wang, et al. MicroRNAs as Potential Biomarkers for the Diagnosis of Inflammatory Bowel Disease: A Systematic Review and Meta-analysis. INPLASY - International Platform of Registered Systematic Review and Meta-analysis Protocols, 2022. http://dx.doi.org/10.37766/inplasy2022.2.0027.

Full text

Abstract:

Review question / Objective: The purpose of this systematic review was to systematically review the clinical studies regarding miRNAs as diagnostic biomarkers for inflammatory bowel disease and assess the overall diagnostic accuracy of miRNAs. Condition being studied: The symptoms of inflammatory bowel disease (IBD) are highly variable. The diagnosis of IBD must be made through medical history, physical, laboratory, radiologic, endoscopic, and histological examinations. However, these diagnostic techniques are not specific and sometimes even equivocal. Therefore, reliable biomarkers are urgently needed in the diagnosis of IBD. Several clinical and preclinical researches have shown that dysregulated microRNAs (miRNAs) play a crucial role in IBD development. miRNAs, as single-stranded noncoding RNAs that contain 22-24 nucleotides, can post-transcriptionally regulate gene expression by blocking mRNA translation or degrading target mRNAs. miRNAs are widely involved in physiological and pathological cellular processes, such as differentiation, proliferation and apoptosis. Besides, they are stable, noninvasive, and resistant to degradation by ribonucleases, making them valuable targets in the diagnosis, monitoring, prognosis, and treatment of diseases. To date, inconsistent results have been found about miRNA expression profiling in the patients with IBD. Moreover, the diagnostic accuracy of miRNAs for IBD has not been reported in any meta-analysis.

APA, Harvard, Vancouver, ISO, and other styles

2

Horrocks, Ian, Ulrike Sattler, and Stephan Tobies. A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.94.

Full text

Abstract:

As widely argued [HG97; Sat96], transitive roles play an important role in the adequate representation of aggregated objects: they allow these objects to be described by referring to their parts without specifying a level of decomposition. In [HG97], the Description Logic (DL) ALCHR+ is presented, which extends ALC with transitive roles and a role hierarchy. It is argued in [Sat98] that ALCHR+ is well-suited to the representation of aggregated objects in applications that require various part-whole relations to be distinguished, some of which are transitive. However, ALCHR+ allows neither the description of parts by means of the whole to which they belong, or vice versa. To overcome this limitation, we present the DL SHI which allows the use of, for example, has part as well as is part of. To achieve this, ALCHR+ was extended with inverse roles. It could be argued that, instead of defining yet another DL, one could make use of the results presented in [DL96] and use ALC extended with role expressions which include transitive closure and inverse operators. The reason for not proceeding like this is the fact that transitive roles can be implemented more efficiently than the transitive closure of roles (see [HG97]), although they lead to the same complexity class (ExpTime-hard) when added, together with role hierarchies, to ALC. Furthermore, it is still an open question whether the transitive closure of roles together with inverse roles necessitates the use of the cut rule [DM98], and this rule leads to an algorithm with very bad behaviour. We will present an algorithm for SHI without such a rule. Furthermore, we enrich the language with functional restrictions and, finally, with qualifying number restrictions. We give sound and complete decision proceduresfor the resulting logics that are derived from the initial algorithm for SHI. The structure of this report is as follows: In Section 2, we introduce the DL SI and present a tableaux algorithm for satisfiability (and subsumption) of SI-concepts—in another report [HST98] we prove that this algorithm can be refined to run in polynomial space. In Section 3 we add role hierarchies to SI and show how the algorithm can be modified to handle this extension appropriately. Please note that this logic, namely SHI, allows for the internalisation of general concept inclusion axioms, one of the most general form of terminological axioms. In Section 4 we augment SHI with functional restrictions and, using the so-called pairwise-blocking technique, the algorithm can be adapted to this extension as well. Finally, in Section 5, we show that standard techniques for handling qualifying number restrictions [HB91;BBH96] together with the techniques described in previous sections can be used to decide satisfiability and subsumption for SHIQ, namely ALC extended with transitive and inverse roles, role hierarchies, and qualifying number restrictions. Although Section 5 heavily depends on the previous sections, we have made it self-contained, i.e. it contains all necessary definitions and proofs from scratch, for a better readability. Building on the previous sections, Section 6 presents an algorithm that decides the satisfiability of SHIQ-ABoxes.

APA, Harvard, Vancouver, ISO, and other styles

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!