Relevant bibliographies by topics / Operation X

Contents

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

Academic literature on the topic 'Operation X'

Author: Grafiati
Published: 29 July 2024
Last updated: 30 July 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 'Operation X.'

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 "Operation X"

1

Desbarats, Robert P., and Donald G. MacDiarmid. "Independent Operations: Article X of the CAPL Operating Procedure." Alberta Law Review 34, no. 3 (May 1, 1996): 602. http://dx.doi.org/10.29173/alr658.

Full text
Abstract:
This article discusses independent oil and gas operations on jointly held properties, and in particular considers the application of Article X of the Operating Procedures of the Canadian Association of Petroleum Landmen. It explores the rights and obligations of both the party proposing the independent operation and the non-participating party. Recent judicial consideration of some aspects of the operating procedures is discussed. The article suggests some specific changes parties may wish to incorporate when adapting the operating procedure to their circumstances.
APA, Harvard, Vancouver, ISO, and other styles
2

Sandoval-Ruiz, Cecilia E. "Fractal mathematical over extended finite fields Fp[x]/(f(x))." Proyecciones (Antofagasta) 40, no. 3 (June 1, 2021): 731–42. http://dx.doi.org/10.22199/issn.0717-6279-4322.

Full text
Abstract:
In this paper, we have defined an algorithm for the construction of iterative operations, based on dimensional projections and correspondence between the properties of extended fields, with respect to modular reduction. For a field with product operations R(x) ⊗ D(x), over finite fields, GF[(pm)n−k]. With Gp[x]/(g(f(x)), whence the coefficient of the g(x) is replaced after a modular reduction operation, with characteristic p. Thus, the reduced coefficients of the generating polynomial of G contain embedded the modular reduction and thus simplify operations that contain basic finite fields. The algorithm describes the process of construction of the GF multiplier, it can start at any stage of LFSR; it is shift the sequence of operation, from this point on, thanks to the concurrent adaptation, to optimize the energy consumption of the GF iterative multiplier circuit, we can claim that this method is more efficient. From this, it was realized the mathematical formalization of the characteristics of the iterative operations on the extended finite fields has been developed, we are applying a algorithm several times over the coefficients in the smaller field and then in the extended field, concurrent form.
APA, Harvard, Vancouver, ISO, and other styles
3

Dhard, Chandra Prakash, Michael Nagel, Holger Bau, Sylvio Raatz, Uwe Meyer, and Thomas Rummel. "Refrigerator operation during commissioning and first plasma operations of Wendelstein 7-X." Fusion Engineering and Design 123 (November 2017): 111–14. http://dx.doi.org/10.1016/j.fusengdes.2017.05.002.

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

Gani, Fathurrahmah Abd, Dasa Ismaimuza, and Sudarman Sudarman. "PROFIL PEMAHAMAN KONSEP SISWA DITINJAU DARI TINGKAT KEMAMPUAN MATEMATIKA PADA MATERI FUNGSI KOMPOSISI." Aksioma 9, no. 2 (September 25, 2020): 98–111. http://dx.doi.org/10.22487/aksioma.v9i2.520.

Full text
Abstract:
Abstract: The aim of this research was to describe the profile of understanding the concept of class X MIA students based on the level of mathematical ability. The research was conducted at MA Alkhairaat Palu using a qualitative descriptive approach. The results of the study show that the understanding of the concept of ST in classifying the function of composition is that there is a function and operation of composition. Identify the characteristics of operations or concepts students use associative, distributive, composition operations and algebraic. Applying the concept students explain the properties and operations. Giving examples and not the composition function of the students explains the example, that there is an operation of composition and not there is no operation of the composition. Presenting the problem students presents in the form of mathematical models. Understanding the SS concept in classifying composition functions, namely a combination of functions associated with composition operations. Identify the characteristics of operations or concepts, namely the nature of distributive, operating composition and calculating algebra. Applying the concept students explain the properties and operations. Give an example and not an example of a composition function is an example is that there is a composition operation and not that there is no composition operation. Presenting problems in the form of mathematical models. Understanding the concept of SR in classifying the function of composition, namely there is a composition operation. Give an example and not an example of a composition function, is an example there is a composition operation and not an example, that is, there is no composition operation.
APA, Harvard, Vancouver, ISO, and other styles
5

van Eeten, P., H. S. Bosch, R. Brakel, and S. Degenkolbe. "Organizing Wendelstein 7-X device operation." Fusion Engineering and Design 160 (November 2020): 111843. http://dx.doi.org/10.1016/j.fusengdes.2020.111843.

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

Fiedorowicz, H. "X-Ray Lasers, Operation and Applications." Acta Physica Polonica A 91, no. 5 (May 1997): 945–51. http://dx.doi.org/10.12693/aphyspola.91.945.

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

Samsatli, N. J., L. G. Papageorgiou, and N. Shah. "Batch process design and operation using operational envelopes." Computers & Chemical Engineering 23 (June 1999): S887—S890. http://dx.doi.org/10.1016/s0098-1354(99)80218-x.

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

Zhitai Jia, Zhitai Jia, Yanru Yin Yanru Yin, He Yang He Yang, Baitao Zhang Baitao Zhang, Jingliang He Jingliang He, Mauro Tonelli Mauro Tonelli, and and Xutang Tao and Xutang Tao. "Highly efficient Nd:(LaxGd1?x)3Gd5O12 laser operation at 1.33??μm." Chinese Optics Letters 14, no. 2 (2016): 021405–21408. http://dx.doi.org/10.3788/col201614.021405.

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

Smetaniuk, Bohdan. "Distributed operation of the X.500 directory." Computer Networks and ISDN Systems 21, no. 1 (March 1991): 17–40. http://dx.doi.org/10.1016/0169-7552(91)90071-j.

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

Arhangelskii, A. V. "An operation on topological spaces." Applied General Topology 1, no. 1 (October 1, 2000): 13. http://dx.doi.org/10.4995/agt.2000.3021.

Full text
Abstract:
<p>A (binary) product operation on a topological space X is considered. The only restrictions are that some element e of X is a left and a right identity with respect to this multiplication, and that certain natural continuity requirements are satisfied. The operation is called diagonalization (of X). Two problems are considered: 1. When a topological space X admits such an operation, that is, when X is diagonalizable? 2. What are necessary conditions for diagonalizablity of a space (at a given point)? A progress is made in the article on both questions. In particular, it is shown that certain deep results about the topological structure of compact topological groups can be extended to diagonalizable compact spaces. The notion of a Moscow space is instrumental in our study.</p>
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Operation X"

1

Allmond, Jon, Ryan Birkelbach, Joe Campbell, Will Chapman, Karl Hassenftatz, Andrew Laidler, Tood Lucht, et al. "Recapitalization of Amphibious Operation and Lift." Thesis, Monterey, California : U.S. Naval Postgraduate School, 2012. http://hdl.handle.net/10945/7278.

Full text
Abstract:
Includes supplementary material.
CAPSTONE PROJECT REPORT
System Engineering and Analysis Cohort 18A and Temasek Defense Systems Institute
Approved for public release, distribution unlimited
The aging Whidbey Island and Harpers Ferry class ships, LSD-41 and 49 respectively, comprise just over one third of the amphibious navy. However, a solution to the capability gap created by the loss of these ships is needed to maintain the effectiveness of the amphibious fleet across a broad spectrum of mission areas. This research effort considers future ship designs and fleet architectures to meet the capability gaps left by the decommissioning of the LSD-41 and 49 class ships. With respect to lift capacity, performance capability, cost and a risk assessment, the analysis showed the LPD-17 or a LSD(X) approximately 30% larger than the existing classes to be acceptable replacement classes. This analysis also supports further research to determine the most robust fleet architecture apart from the current eleven LHA or LHD, eleven LPD and eleven LSD paradigm.
APA, Harvard, Vancouver, ISO, and other styles
2

Stewart, Neil Sutherland. "Enhanced microcomputer operation of X-ray diffractometers and subsequent applications." Thesis, Robert Gordon University, 1992. http://hdl.handle.net/10059/577.

Full text
Abstract:
The work described within this thesis is mainly concerned with the solution and refinement of the molecular structures of a variety of novel compounds. A number of X-ray and neutron diffractometers have been utilised for the analysis of specific compounds, depending on the nature of the investigation. Each of the instruments represented differing levels of computer automation and instrumentation. A powder diffractometer, representing old technology was interfaced to a microcomputer to enhance the instruments performance. A brief overview is given of the numerical processes involved in the elucidation and refinement of molecular structures from X-ray and neutron diffraction data. Particular attention has been placed on the role of computers to perform these calculations. The operation of the diffractometers employed in this study has been discussed comparing the benefits of each. A detailed report of the techniques used to enhance the low resolution diffractometer and of the experiments performed to highlight the increased performance has been included. Single crystal and powder diffraction studies were made of a wide variety of crystalline materials ranging from steroids to organometallic compounds. The X-ray structures were solved using Direct and Patterson vector methods from experimental data collected on a four circle diffractometer at Aberdeen University. Neutron diffraction experiments, performed at the Rutherford Appleton Laboratory, were commissioned to determine and refine the positions of the hydrogen atoms of two known structures, previously solved by Xray studies. Finally a critical evaluation of current computer automated diffractometers is presented, highlighting the new areas of instrument development.
APA, Harvard, Vancouver, ISO, and other styles
3

Haskiya, Wasim. "Robotic assembly : chamferless peg-hole assembly operation from X/Y/Z directions." Thesis, De Montfort University, 2000. http://hdl.handle.net/2086/4816.

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

Restadh, Petter. "The Ratliff-Rush Operation for Certain Monomial Ideals in K[x, y]." Thesis, Uppsala universitet, Algebra och geometri, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-328743.

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

Lin, Jiunn-Yuan. "Optimisation of multi-pulse pumping for collisional excitation X-ray lasers." Thesis, University of Essex, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.265028.

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

Pietruszka, Renee B. "Operation and characteristics of the Flash X-Ray Generator at the Naval Postgraduate School." Thesis, Monterey, California. Naval Postgraduate School, 1989. http://hdl.handle.net/10945/26130.

Full text
Abstract:
Installation of the Model 112A Pulserad Pulsed X ray Generator at the Naval Postgraduate School Flash X ray Facility was completed in August of 1988. Characterization of the Pulserad 112A is essential to its effective use in future radiation effects study. This study will describe the basic system components, the principles of beam generation, an the characteristics of the radiation output. Fundamentals of radiation dosimetry and their application to flash X-ray sources will be discussed. Finally, the results of initial mapping of the radiation field generated by the Model 112A Pulserad Pulsed X-Ray Generator will be presented
APA, Harvard, Vancouver, ISO, and other styles
7

Wang, Li Ge. "Particle breakage mechanics in milling operation." Thesis, University of Edinburgh, 2017. http://hdl.handle.net/1842/28950.

Full text
Abstract:
Milling is a common unit operation in industry for the purpose of intentional size reduction. Considerable amount of energy is consumed during a grinding process and much of the energy is dissipated as heat and sound, which often makes grinding into an energy-intensive and highly inefficient operation. Despite many attempts to interpret particle breakage during a milling process, the grindability of a material in a milling operation remains aloof and the mechanisms of particle breakage are still poorly understood. Hence the optimisation and refinement in the design and operation of milling are in great need of an improved scientific understanding of the complex failure mechanisms. This thesis aims to provide an in-depth understanding of particle breakage associated with stressing events that occur during milling. A hybrid of experimental, theoretical and numerical methods has been adopted to elucidate the particle breakage mechanics. This study covers from single particle damage at micro-scale to bulk comminution during the whole milling process. The mechanical properties of two selected materials, i.e. alumina and zeolite were measured by indentation techniques. The breakage test of zeolite granules subjected to impact loading was carried out and it was found that tangential component velocity plays an increasingly important role in particle breakage with increasing impact velocity. Besides, single particle breakage via in-situ loading was conducted under X-ray microcomputed tomography (μCT) to study the microstructure of selected particles, visualize the progressive failure process and evaluate the progressive failure using the technique of digital image correlation (DIC). A new particle breakage model was proposed deploying a mechanical approach assuming that the subsurface lateral crack accounts for chipping mechanism. Considering the limitation of existing models in predicting breakage under oblique impact and the significance of tangential component velocity identified from experiment, the effect of impact angle is considered in the developed breakage model, which enables the contribution of the normal and tangential velocity component to be rationalized. The assessment of breakage models including chipping and fragmentation under oblique impact suggests that the equivalent normal velocity proposed in the new model is able to give close prediction with experimental results sourced from the public literature. Milling experiments were performed using the UPZ100 impact pin mill (courtesy by Hosokawa Micron Ltd. UK) to measure the comminution characteristics of the test solids. Several parameters were used to evaluate the milling performance including product size distribution, relative size span, grinding energy and size reduction ratio etc. The collective data from impact pin mill provides the basis for the validation of numerical simulation results. The Discrete Element Method (DEM) is first used to model single particle breakage subject to normal impact loading using a bonded contact model. A validation of the bonded contact model was conducted where the disparity with the experimental results is discussed. A parametric study of the most significant parameters e.g. bond Young’s modulus, the mean tensile bond strength, the coefficient of variation of the strength and particle & particle restitution coefficient in the DEM contact model was carried out to gain a further understanding of the effect of input parameters on the single particle breakage behavior. The upscaling from laboratory scale (single particle impact test) to industrial process scale (impact pin mill) is achieved using Population Balance Modelling (PBM). Two important functions in PBM, the selection function and breakage function are discussed based on the single particle impact from both experimental and numerical methods. An example of predicting product size reduction via PBM was given and compared to the milling results from impact pin mill. Finally, the DEM simulation of particle dynamics with emphasis on the impact energy distribution was presented and discussed, which sheds further insights into the coupling of PBM and DEM.
APA, Harvard, Vancouver, ISO, and other styles
8

Bender, Howard A. "Analysis of the operation and plasma dynamics of extreme-ultraviolet and soft x-ray lasers." Doctoral diss., University of Central Florida, 1998. http://digital.library.ucf.edu/cdm/ref/collection/RTD/id/13443.

Full text
Abstract:
University of Central Florida College of Arts and Sciences Thesis
Extending lasing action into the extreme ultaviolet and soft x-ray regions of the electromagnetic spectrum has been a natural progression in the continuing development of short wavelength radiation sources. However fundamental difficulties with the media used to produce short wavelength lasers has in general hindered the widespread development and use of such lasers in applications. Up to now all EUV and soft x-ray lasers have operated with plasmas as the gain medium to support lasing. This is a general requiremnt imposed by 1) the characteristics of short wavelength radiation as it originates from highly energetic atomic transitions and 2) the fundamental aspects of lasing at these wavelengths. Thus the plasma environment has been the defining characteristic in achieving lasing in the EUV and soft x-ray spectral regions. This thesis presents investigations into two types of EUV/Soft x-ray lasers that describe the operation and associated plasma dynamics of these devices. The first is a numerical investigation into a recombination pumped x-ray laser at 13.5 nm operating in a Li plasma. Using a collisional-radiative model of the atomic system, simulations were performed to determine the plasma conditions necessary to produce gain that were observed in reported experiments. The second investigation is the experimental development and operation of a capillary discharge driven laser operating at 46.9 nm in Ar. This device is a new generation of EUV/Soft X-ray laser based on a small scale driver system. The first interferometric probing experiments of this device will be discussed and related to the plasma dynamics of the capillary discharge.
Ph.D.;
Physics
Arts and Sciences;
Physics
162 p.
xiii, 162 leaves, bound : ill. ; 28 cm.
APA, Harvard, Vancouver, ISO, and other styles
9

Kusi-Obodum, Christian. "Alfonso X and Islam : narratives of conflict and co-operation in the Estoria de España." Thesis, University of Birmingham, 2018. http://etheses.bham.ac.uk//id/eprint/8095/.

Full text
Abstract:
Medieval Iberian literary tradition constitutes a vast corpus of writings with which to study interfaith relations – in particular, Christian attitudes towards Muslims. This thesis focuses on works produced in the thirteenth century under king Alfonso X of Castile-Leon. Scholars have often looked to Alfonso X's poetry and legal texts to explore Christian responses to Islam, at a pivotal moment of Christian domination in the Peninsula. The thesis looks to Alfonso's historiography (the Estoria de España), which has received much less attention from scholars of interfaith relations. This study employs a historical-critical method of interpretation to explore the transmission and reformulation of Christian society's attitudes towards Islam. It offers a sophisticated analysis of the narratives of three prominent figures in the history of Spanish Islam: a) the Prophet Muhammad, b) Ibn Abi Amir al-Mansur, and c) King al- Mamun of Toledo. The study reveals the wide-ranging and contrasting attitudes towards Muslims visible not only in the writings of Alfonso X, but throughout the broader historiography and literature of medieval Spain. The thesis explains how these contradictions are rooted in the paradoxes of conflict and co-operation among the faiths in the Peninsula. It concludes that the ambivalence of Christian writers allows for the coexistence of both disdain and respect for Muslims in medieval society.
APA, Harvard, Vancouver, ISO, and other styles
10

Lauf, Thomas Verfasser], Günther [Akademischer Betreuer] [Hasinger, and Stephan [Akademischer Betreuer] Paul. "Analysis and Operation of DePFET X-ray Imaging Detectors / Thomas Lauf. Gutachter: Günther Hasinger ; Stephan Paul. Betreuer: Günther Hasinger." München : Universitätsbibliothek der TU München, 2011. http://d-nb.info/1013436253/34.

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

Books on the topic "Operation X"

1

Spiegelhauer, Morten, and Anders Stahlschmidt. Operation Spiegelhauer. Kbh.]: Bogkompagniet, 2007.

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

United States. National Aeronautics and Space Administration. Scientific and Technical Information Program., ed. An X-band mixer engineered for 77-K operation. [Washington, DC]: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, 1995.

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

Romanofsky, Robert R. An X-band mixer engineered for 77-K operation. Cleveland, Ohio: Lewis Research Center, 1995.

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

Haskiya, Wasim. Robotic assembly: Chamferless peg-hole assembly operation from X/Y/Z directions. Leicester: De Montfort University, 2000.

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

Pietruszka, Renee B. Operation and characteristics of the Flash X-Ray Generator at the Naval Postgraduate School. Monterey, Calif: Naval Postgraduate School, 1989.

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

United States. National Aeronautics and Space Administration., ed. A normal incidence X-ray telescope (NIXT) sounding rocket payload: Semiannual reports for the periods 1 July 1992-31 December 1992 ... 1 January 1995-31 July 1995, annual reports, 1 August 1995-31 July 1996. Cambridge, Mass: Smithsonian Institution, Astrophysical Observatory, 1996.

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

United States. National Aeronautics and Space Administration., ed. A normal incidence X-ray telescope (NIXT) sounding rocket payload: Semiannual reports for the periods 1 July 1992-31 December 1992 ... 1 January 1995-31 July 1995, annual reports, 1 August 1995-31 July 1996. Cambridge, Mass: Smithsonian Institution, Astrophysical Observatory, 1996.

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

Golub, L. A normal incidence X-ray telescope (NIXT) sounding rocket payload: Semiannual reports for the periods 1 July 1992-31 December 1992 ... 1 January 1995-31 July 1995, annual reports, 1 August 1995-31 July 1996. Cambridge, Mass: Smithsonian Institution, Astrophysical Observatory, 1996.

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

United States. National Aeronautics and Space Administration., ed. A normal incidence X-ray telescope (NIXT) sounding rocket payload: Semiannual reports for the periods 1 July 1992-31 December 1992 ... 1 January 1995-31 July 1995, annual reports, 1 August 1995-31 July 1996. Cambridge, Mass: Smithsonian Institution, Astrophysical Observatory, 1996.

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

European, Sports Conference (10th 1991 Oslo Norway). The new Europe and future sports co-operation: Report : X. European Sports Conference 1991, Oslo, Norway, June 3-6, 1991. [Rud, Norway]: Program Committee of the X. European Sports Conference, 1991.

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

Book chapters on the topic "Operation X"

1

Gerhold, J., and C. Sumereder. "Insulation Systems for Superconducting Power Devices: Normal Operation Versus Abnormal Conditions." In Gaseous Dielectrics X, 433–42. Boston, MA: Springer US, 2004. http://dx.doi.org/10.1007/978-1-4419-8979-6_56.

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

Goldstein, Joseph I., Dale E. Newbury, Patrick Echlin, David C. Joy, Charles E. Lyman, Eric Lifshin, Linda Sawyer, and Joseph R. Michael. "The SEM and Its Modes of Operation." In Scanning Electron Microscopy and X-ray Microanalysis, 21–60. Boston, MA: Springer US, 2003. http://dx.doi.org/10.1007/978-1-4615-0215-9_2.

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

Marusawa, Hiroshi, and Yoshinori Saito. "CO2 Absorption Properties of Barium Orthotitanate under Continuous Operation." In Electroceramics in Japan X, 143–46. Stafa: Trans Tech Publications Ltd., 2007. http://dx.doi.org/10.4028/0-87849-449-9.143.

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

Rohde, F. G., M. Haase, and Ch Gitschel. "Computer Aided Generation and Operation of Hydrologic Simulation Models." In Computational Methods in Water Resources X, 1473–80. Dordrecht: Springer Netherlands, 1994. http://dx.doi.org/10.1007/978-94-010-9204-3_178.

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

Hase, Takashi, Kazuyuki Shibutani, Seiji Hayashi, Masao Shimada, Yoshio Kawate, Tsukasa Kiyoshi, Hitoshi Hkitaguchi, and Hitoshi Wada. "Persistent-current-mode Operation of Bi-2212 Solenoidal Coil with a Clear Bore of 60 mm Diameter." In Advances in Superconductivity X, 925–28. Tokyo: Springer Japan, 1998. http://dx.doi.org/10.1007/978-4-431-66879-4_219.

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

Okada, Hidetaka, Seiji Yamaguchi, Mitsuhiro Hibino, Takeshi Yao, Shin Hasegawa, Masashi Neo, and Takashi Nakamura. "Development of Apatite Micropattern Test Specimen for Cell Operation." In Bioceramics 18, 663–66. Stafa: Trans Tech Publications Ltd., 2006. http://dx.doi.org/10.4028/0-87849-992-x.663.

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

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

Full text
Abstract:
AbstractBachmair’s and Ganzinger’s abstract redundancy concept for the Superposition Calculus justifies almost all operations that are used in superposition provers to delete or simplify clauses, and thus to keep the clause set manageable. Typical examples are tautology deletion, subsumption deletion, and demodulation, and with a more refined definition of redundancy joinability and connectedness can be covered as well. The notable exception is Destructive Equality Resolution, that is, the replacement of a clause $$x \not \approx t \vee C$$ x ≉ t ∨ C with $$x \notin \textrm{vars}(t)$$ x ∉ vars ( t ) by $$C\{x \mapsto t\}$$ C { x ↦ t } . This operation is implemented in state-of-the-art provers, and it is clearly useful in practice, but little is known about how it affects refutational completeness. We demonstrate on the one hand that the naive addition of Destructive Equality Resolution to the standard abstract redundancy concept renders the calculus refutationally incomplete. On the other hand, we present several restricted variants of the Superposition Calculus that are refutationally complete even with Destructive Equality Resolution.
APA, Harvard, Vancouver, ISO, and other styles
8

Kashyap, Parismita A., Smriti Rekha Das, and Sunandan Baruah. "Nanomaterial-Based Microstrip Patch Antenna Array for X Band Operation." In Emerging Technologies for Smart Cities, 65–76. Singapore: Springer Singapore, 2021. http://dx.doi.org/10.1007/978-981-16-1550-4_8.

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

Kabir, M. Zahangir. "Basic Principles of Solid-State X-Ray Radiation Detector Operation." In Handbook of II-VI Semiconductor-Based Sensors and Radiation Detectors, 3–34. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-24000-3_1.

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

Schefold, Josef, and Annabelle Brisse. "Stability testing beyond 1000 hours of solid oxide cells under steam electrolysis operation." In Advances in Solid Oxide Fuel Cells X, 87–96. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2015. http://dx.doi.org/10.1002/9781119040637.ch9.

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

Conference papers on the topic "Operation X"

1

Raskhodchikov, Dmitrii, Jannis Bensmann, Kirill Nikolaev, Lin Jin, ROBERT SCHMIDT, Johannes Kern, Rudolf Bratschitsch, Sergej Demokritov, Vladislav Demidov, and Wolfram Pernice. "Operation a spin-waveguide with memory elements." In Nanophotonics X, edited by David L. Andrews, Angus J. Bain, and Antonio Ambrosio. SPIE, 2024. http://dx.doi.org/10.1117/12.3022522.

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

Gee, N., and M. Machell. "The X-Craft." In High Speed Craft: Design & Operation. RINA, 2004. http://dx.doi.org/10.3940/rina.hs.2004.13.

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

Blesener, I. C., P. U. Duselis, B. R. Kusse, M. D. Mitchell, S. A. Pikuz, and T. A. Shelkovenko. "Positive polarity x-pinch operation." In The 33rd IEEE International Conference on Plasma Science, 2006. ICOPS 2006. IEEE Conference Record - Abstracts. IEEE, 2006. http://dx.doi.org/10.1109/plasma.2006.1707152.

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

Hajnsek, Irena, Alberto Moreira, Manfred Zink, Stefan Buckreuss, Thomas Kraus, Markus Bachmann, and Thomas Busche. "TanDEM-X: 10 Years of Operation." In IGARSS 2020 - 2020 IEEE International Geoscience and Remote Sensing Symposium. IEEE, 2020. http://dx.doi.org/10.1109/igarss39084.2020.9323263.

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

Larscheid, Mitchell T., and Jens Lautenbach. "Aircraft and cloud detection software for autonomous observation system operation." In Photonic Instrumentation Engineering X, edited by Yakov Soskind and Lynda E. Busse. SPIE, 2023. http://dx.doi.org/10.1117/12.2651200.

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

Taljaard, Cornelius. "Engineering performance management: design to operation." In Observatory Operations: Strategies, Processes, and Systems X, edited by Lisa J. Storrie-Lombardi, Chris R. Benn, and Antonio Chrysostomou. SPIE, 2024. http://dx.doi.org/10.1117/12.3021148.

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

Seaberg, Matthew H., Lance Lee, May Ling Ng, and William Lane. "The LCLS-II x-ray optical system: from metrology to routine operation." In Advances in Metrology for X-Ray and EUV Optics X, edited by Lahsen Assoufid, Haruhiko Ohashi, and Frank Siewert. SPIE, 2023. http://dx.doi.org/10.1117/12.2677199.

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

Munekata, Hiro, Ronel C. Roca, Kazuhiro Nishibayashi, and Nozomi Nishizawa. "Progress in the room temperature operation of GaAs-based lateral-type spin-PD in near-infrared wavelength region." In Spintronics X, edited by Henri Jaffrès, Henri-Jean Drouhin, Jean-Eric Wegrowe, and Manijeh Razeghi. SPIE, 2017. http://dx.doi.org/10.1117/12.2275577.

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

Yun, Min, F. Peter Schloerb, David H. Hughes, Alaina Einsig, Zhiyuan Ma, Alfredo Montana, Lee G. Mundy, et al. "Scientific operation of the Large Millimeter Telescope." In Observatory Operations: Strategies, Processes, and Systems X, edited by Lisa J. Storrie-Lombardi, Chris R. Benn, and Antonio Chrysostomou. SPIE, 2024. http://dx.doi.org/10.1117/12.3020561.

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

Furuya, S. "Triboluminescence x-ray source enabling continuous operation." In 2012 IEEE 39th International Conference on Plasma Sciences (ICOPS). IEEE, 2012. http://dx.doi.org/10.1109/plasma.2012.6383635.

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

Reports on the topic "Operation X"

1

Anderson, David P. X-Ray Analysis: Operation and Theory Involved in Program 'DIFF'. Fort Belvoir, VA: Defense Technical Information Center, June 1985. http://dx.doi.org/10.21236/ada169310.

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

B.C. Stratton, R. Feder, S. von Goeler, G.F. Renda, J.L. Lowrance, and V.J. Mastrocola. Initial Operation of the NSTX Fast Tangential Soft X-Ray Camera. Office of Scientific and Technical Information (OSTI), May 2004. http://dx.doi.org/10.2172/827939.

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

Stefan, P. M., S. Krinsky, G. Rakowsky, and L. Solomon. Operation of a small-gap undulator on the NSLS X-ray Ring. Office of Scientific and Technical Information (OSTI), February 1995. http://dx.doi.org/10.2172/88782.

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

Dell G. F. and S. Lee. Split tune operation of a hybrid booster lattice ?x = 3.820, ?y = 4.830. Office of Scientific and Technical Information (OSTI), June 1986. http://dx.doi.org/10.2172/1150421.

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

Sayers, D. Research at and operation of the material science x-ray absorption beamline (X-11) at the National synchrotron light source. Office of Scientific and Technical Information (OSTI), January 1989. http://dx.doi.org/10.2172/5569082.

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

Hermon, H., R. B. James, and E. Cross. Lead iodide X-ray and gamma-ray spectrometers for room and high temperature operation. Office of Scientific and Technical Information (OSTI), February 1997. http://dx.doi.org/10.2172/477612.

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

Diegert, Carl F. Model-based statistical estimation of Sandia RF ohmic switch dynamic operation form stroboscopic, x-ray imaging. Office of Scientific and Technical Information (OSTI), December 2006. http://dx.doi.org/10.2172/900418.

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

Hughes K. B. THE ALTERNATING CURRENT POWER SYSTEM X/R RATIO AND ITS EFFECT ON THREE PHASE BRIDGE RECTIFIER OPERATION. Office of Scientific and Technical Information (OSTI), January 1989. http://dx.doi.org/10.2172/1151218.

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

Sayers, Dale E. Research at and Operation of the Materials Science Beamline (X-11) at the National Synchrotron Light Source. Final Report. Office of Scientific and Technical Information (OSTI), October 2003. http://dx.doi.org/10.2172/821801.

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

Pablant, N. A., L. Delgado-Apricio, M. Goto, K. W. Hill, S. Lzerson, S. Morita, A. L. Roquemore, et al. Layout And Results From The Initial Operation Of The High-resolution X-ray Imaging Crystal Spectrometer On The Large Helical Device. Office of Scientific and Technical Information (OSTI), April 2012. http://dx.doi.org/10.2172/1063122.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Operation X' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography