Gotowe bibliografie tematyczne / Operation X

Spis treści

Artykuły w czasopismach
Rozprawy doktorskie
Książki
Części książek
Streszczenia konferencji
Raporty organizacyjne

Gotowa bibliografia na temat „Operation X”

Autor: Grafiati

Data publikacji: 29 lipca 2024

Data aktualizacji: 30 lipca 2024

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Operation X”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "Operation X"

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

<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>

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Rozprawy doktorskie na temat "Operation X"

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

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 Españ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.

Style APA, Harvard, Vancouver, ISO itp.

Lauf, Thomas Verfasser], Günther [Akademischer Betreuer] [Hasinger i 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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Książki na temat "Operation X"

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

United States. National Aeronautics and Space Administration. Scientific and Technical Information Program., red. 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.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

United States. National Aeronautics and Space Administration., red. 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.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Części książek na temat "Operation X"

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Goldstein, Joseph I., Dale E. Newbury, Patrick Echlin, David C. Joy, Charles E. Lyman, Eric Lifshin, Linda Sawyer i Joseph R. Michael. "The SEM and Its Modes of Operation". W 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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Kabir, M. Zahangir. "Basic Principles of Solid-State X-Ray Radiation Detector Operation". W 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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Schefold, Josef, i Annabelle Brisse. "Stability testing beyond 1000 hours of solid oxide cells under steam electrolysis operation". W 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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "Operation X"

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Blesener, I. C., P. U. Duselis, B. R. Kusse, M. D. Mitchell, S. A. Pikuz i T. A. Shelkovenko. "Positive polarity x-pinch operation". W 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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "Operation X"

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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), styczeń 1989. http://dx.doi.org/10.2172/5569082.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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), grudzień 2006. http://dx.doi.org/10.2172/900418.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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), styczeń 1989. http://dx.doi.org/10.2172/1151218.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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), październik 2003. http://dx.doi.org/10.2172/821801.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Pablant, N. A., L. Delgado-Apricio, M. Goto, K. W. Hill, S. Lzerson, S. Morita, A. L. Roquemore i in. 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), kwiecień 2012. http://dx.doi.org/10.2172/1063122.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!