Accedi

Bibliografie tematiche / Axions

Indice

Articoli di riviste
Tesi
Libri
Capitoli di libri
Atti di convegni
Rapporti di organizzazioni

Letteratura scientifica selezionata sul tema "Axions"

Autore: Grafiati

Pubblicato: 4 giugno 2021

Ultima modifica: 26 luglio 2025

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Axions".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Articoli di riviste sul tema "Axions"

1

Lee, Junseok, Kai Murai, Fuminobu Takahashi, and Wen Yin. "Bubble misalignment mechanism for axions." Journal of Cosmology and Astroparticle Physics 2024, no. 05 (2024): 122. http://dx.doi.org/10.1088/1475-7516/2024/05/122.

Testo completo

Abstract (sommario):

Abstract We study the dynamics of axions at first-order phase transitions in non-Abelian gauge theories. When the duration of the phase transition is short compared to the timescale of the axion oscillations, the axion dynamics is similar to the trapped misalignment mechanism. On the other hand, if this is not the case, the axions are initially expelled from the inside of the bubbles, generating axion waves on the outside. Analogous to the Fermi acceleration, these axions gain energy by repeatedly scattering off the bubble walls. Once they acquire enough energy, they can enter the bubbles. If

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Gnedin, Yu N., and M. Yu Piotrovich. "New results in searching for axions by astronomical methods." International Journal of Modern Physics A 31, no. 02n03 (2016): 1641019. http://dx.doi.org/10.1142/s0217751x16410190.

Testo completo

Abstract (sommario):

We discuss the astronomical methods of searching for light Goldstone bosons (axions and arions). The basic idea is to use processes of coupling between axions and photons: a) the axion decay into two photons; b) the transformation process of photons into axions (arions) in the magnetic fields of stars and also of interstellar and intergalactic media; c) the inverse process of transformations of axions (arions) which are generated into cores of stars into X-ray photons. The decaying axions affect upon the diffuse extragalactic background radiation, the brightness of the night sky and especially

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Flambaum, V. V., H. B. Tran Tan, I. B. Samsonov, Y. V. Stadnik, and D. Budker. "Resonant detection and production of axions with atoms." International Journal of Modern Physics A 33, no. 31 (2018): 1844030. http://dx.doi.org/10.1142/s0217751x1844030x.

Testo completo

Abstract (sommario):

The axions and axion-like particles can be detected via a resonant atomic or molecular transition induced by axion absorption. The signal obtained in this process is second order in the axion-electron interaction constant and hence small. In this chapter, it is demonstrated that this signal may become first order in the axion-electron interaction constant if we allow the interference between the axion-induced transition amplitude and the transition amplitude induced by the electromagnetic radiation. Additionally, we show that the conventional scheme of producing axions from photons in a magnet

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Chen, Liang, and Thomas W. Kephart. "A Review of Axion Lasing in Astrophysics." Universe 10, no. 1 (2024): 24. http://dx.doi.org/10.3390/universe10010024.

Testo completo

Abstract (sommario):

Axions can be stimulated to decay into photons by ambient photons of the right frequency or by photons from the decay of neighboring axions. If the axion density is high enough, the photon intensity can be amplified, which is a type of lasing or an axion maser. Here, we review the astrophysical situations where axion lasing can appear and possibly be detected.

Gli stili APA, Harvard, Vancouver, ISO e altri

5

SIKIVIE, P. "DARK MATTER AXIONS." International Journal of Modern Physics A 25, no. 02n03 (2010): 554–63. http://dx.doi.org/10.1142/s0217751x10048846.

Testo completo

Abstract (sommario):

The hypothesis of an 'invisible' axion was made by Misha Shifman and others, approximately thirty years ago. It has turned out to be an unusually fruitful idea, crossing boundaries between particle physics, astrophysics and cosmology. An axion with mass of order 10-5 eV (with large uncertainties) is one of the leading candidates for the dark matter of the universe. It was found recently that dark matter axions thermalize and form a Bose-Einstein condensate (BEC). Because they form a BEC, axions differ from ordinary cold dark matter (CDM) in the non-linear regime of structure formation and upon

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Massó, Eduard. "Axions and axion-like particles." Nuclear Physics B - Proceedings Supplements 114 (February 2003): 67–73. http://dx.doi.org/10.1016/s0920-5632(02)01893-5.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Lee, Junseok, Kai Murai, Fuminobu Takahashi, and Wen Yin. "Induced domain walls of QCD axion, and gravitational waves." Journal of Cosmology and Astroparticle Physics 2024, no. 10 (2024): 038. http://dx.doi.org/10.1088/1475-7516/2024/10/038.

Testo completo

Abstract (sommario):

Abstract We show that heavy axion domain walls induce domain walls of the QCD axion through a mixing between the heavy axion and the QCD axion, even when the pre-inflationary initial condition is assumed for the QCD axion. The induced domain walls arise because the effective θ parameter changes across the heavy axion domain walls, shifting the potential minimum of the QCD axion. When the heavy axion domain walls collapse, the induced QCD axion domain walls collapse as well. This novel mechanism for producing the QCD axions can explain dark matter even with the axion decay constant as small as

Gli stili APA, Harvard, Vancouver, ISO e altri

8

D’Eramo, Francesco. "Thermal Axions: What’s next?" EPJ Web of Conferences 274 (2022): 01007. http://dx.doi.org/10.1051/epjconf/202227401007.

Testo completo

Abstract (sommario):

Scattering and decay processes of thermal bath particles in the early universe can dump relativistic axions in the primordial plasma. If produced with a significant abundance, their presence can leave observable signatures in cosmological observables probing both the early and the late universe. We focus on the QCD axion and present recent and significant improvements for the calculation of the axion production rate across the different energy scales during the expansion of the universe. We apply these rates to predict the abundance of produced axions and to derive the latest cosmological boun

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Galan, Javier. "Exploring the Sun’s core with BabylAXO." Journal of Physics: Conference Series 2156, no. 1 (2021): 012014. http://dx.doi.org/10.1088/1742-6596/2156/1/012014.

Testo completo

Abstract (sommario):

Abstract Axions are a natural consequence of the Peccei-Quinn mechanism, the most compelling solution to the strong-CP problem. Similar axion-like particles (ALPs) also appear in a number of possible extensions of the Standard Model, notably in string theories. Both, axions and ALPs, are very well motivated candidates for Dark Matter (DM), and they would be copiously produced at the sun’s core. A relevant effort during the last two decades has been the CAST experiment at CERN, the most sensitive axion helioscope to date. The International Axion Observatory (IAXO) is a large-scale 4th generatio

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Di Luzio, Luca. "Flavour Violating Axions." EPJ Web of Conferences 234 (2020): 01005. http://dx.doi.org/10.1051/epjconf/202023401005.

Testo completo

Abstract (sommario):

I review the physics case for flavour violating axions. In particular, I argue that relaxing the assumption of the universality of the Peccei-Quinn current opens up new pathways, including: the relaxation of the Supernova bound on the axion mass, a possible connection with the Standard Model flavour puzzle and the experimental opportunity of discovering the axion via flavoured axion searches.

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Tesi sul tema "Axions"

1

Cadamuro, Davide. "Cosmological limits on axions and axion-like particles." Diss., lmu, 2012. http://nbn-resolving.de/urn:nbn:de:bvb:19-149191.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Burrows, A., M. S. Turner, and R. P. Brinkmann. "Axions and SN1987A." Steward Observatory, The University of Arizona (Tucson, Arizona), 1988. http://hdl.handle.net/10150/623885.

Testo completo

Abstract (sommario):

We consider the effect of free -streaming axion emission on numerical models for the cooling of the newly born neutron star associated with SN1987A. We find that for an axion mass of greater than -10-3 eV, axion emission shortens the duration of the expected neutrino burst so significantly that it would be inconsistent with the neutrino observations made by the Kamiokande II (KII) and Irvine -Michigan- Brookhaven (IMB) detectors. However, we have not investigated the possibility that axion trapping (which should occur for masses 20.02 eV) sufficiently reduces axion emission so that axi

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Daw, Edward John 1969. "A search for halo axions." Thesis, Massachusetts Institute of Technology, 1998. http://hdl.handle.net/1721.1/50335.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Cadamuro, Davide [Verfasser], and Georg [Akademischer Betreuer] Raffelt. "Cosmological limits on axions and axion-like particles / Davide Cadamuro. Betreuer: Georg Raffelt." München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2012. http://d-nb.info/1027669298/34.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Righi, Nicole. "Fuzzy dark matter from string axions." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2019. http://amslaurea.unibo.it/18010/.

Testo completo

Abstract (sommario):

In this thesis we study the viability for ultra-light axions coming from moduli stabilisation in the Large volume scenario to fit recent observations about the dark matter presence in several galaxies and clusters. After a historical introduction on the dark matter problem and a review of the candidates proposed as dark matter constituents through the years, in Chapter 1 we present WIMPs and ALPs, which are nowadays believed to be the most likely constituents. In Chapter 2 we give the theoretical basis to analyse these particles, that is Supersymmetry and String theory, focusing especially on

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Yu, D. B. (Daniel Byungyoon) 1976. "An improved RF cavity search for halo axions." Thesis, Massachusetts Institute of Technology, 2004. http://hdl.handle.net/1721.1/29459.

Testo completo

Abstract (sommario):

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Physics, 2004.<br>Includes bibliographical references (leaves 165-167) and index.<br>The axion is a hypothetical elementary particle and cold dark matter candidate. In this RF cavity experiment, halo axions entering a resonant cavity immersed in a static magnetic field convert into microwave photons, with the resulting photons detected by a low-noise receiver. I present new limits on the axion-to-photon coupling and local axion dark matter halo mass density from a RF cavity axion search in the axion mass range 1.9-2.3 [mu]eV, bro

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Henkenjohann, Philipp [Verfasser], and Arthur [Akademischer Betreuer] Hebecker. "Quantum Gravity and Axions / Philipp Henkenjohann ; Betreuer: Arthur Hebecker." Heidelberg : Universitätsbibliothek Heidelberg, 2019. http://d-nb.info/1187740853/34.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Bonnefoy, Quentin. "Topics beyond the Standard Model : axions, supersymmetry, string theory." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLX034/document.

Testo completo

Abstract (sommario):

Cette thèse a pour but l'étude de théories diverses, toutefois interconnectées, décrivant la nouvelle physique au-delà du modèle standard de la physique des particules. Ces sont des théories d'un nouveau type de particules, les axions, d'un nouveau principe de symétrie, la supersymétrie, et d'une nouvelle description des degrés de liberté fondamentaux, la théorie des cordes. Les progrès instrumentaux et théoriques constamment fait au fil des ans ont confirmé que ces théories sont des candidates privilégiées pour une description de la physique au-delà du modèle standard.Les axions sont d'abord

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Picker, Zachary Shadrach Cohen. "The gravity of particle physics: dark matter, black holes, and axions." Thesis, The University of Sydney, 2022. https://hdl.handle.net/2123/29192.

Testo completo

Abstract (sommario):

Perhaps chief among the mysteries of physics is the nature of dark matter (DM). In this thesis, I explore the physics of two DM candidates—primordial black holes (PBHs) and axions. Central to the thesis was the tension between gravity and particle physics, and the consequences that only arise when both are modelled. PBHs form in the early universe and so could be the DM. However, the Schwarzschild metric describes black holes in an empty background. In the early universe this is not applicable—the PBH solution must be cosmologically embedded. I explore the physics of cosmological black holes

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Wouters, Denis. "Recherche de nouveaux bosons légers en astronomie de haute énergie." Phd thesis, Université Paris Sud - Paris XI, 2014. http://tel.archives-ouvertes.fr/tel-01065648.

Testo completo

Abstract (sommario):

L'astronomie de haute énergie se concentre sur l'étude des phénomènes les plus violents de l'univers à partir d'observations dans une gamme d'énergie allant des rayons X aux rayons gammas de très hautes énergies (1 keV - 100 TeV). Ces phénomènes incluent par exemple les explosions de supernovae et leurs vestiges, les pulsars et les nébuleuses de vent de pulsar ou encore la formation de jets ultrarelativistes au niveau des noyaux actifs de galaxie. Leur compréhension fait appel à des processus de physique des particules bien connus qui seront décrits dans cette thèse. Par l'intermédiaire de pho

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Libri sul tema "Axions"

1

Kuster, Markus, Georg Raffelt, and Berta Beltrán, eds. Axions. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-73518-2.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Stanley, Turner Michael, Brinkmann R. P, Fermi National Accelerator Laboratory, and United States. National Aeronautics and Space Administration., eds. Axions and SN1987A. Fermi National Accelerator Laboratory, 1988.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Turner, Michael S. Periodic signatures for the detection of cosmic axions. Fermi National Accelerator Laboratory, 1990.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

4

M, Kuster, Beltrán B, Raffelt Georg G, and European Organization for Nuclear Research., eds. Axions: Theory, cosmology, and experimental searches. Springer, 2008.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

5

IFT workshop on Axions (5th 1998 Gainsville, Florida). Axions '98: Proceedings of the 5th IFT workshop on Axions ; Gainsville Florida, USA 13-15 March, 1998. North-Holland, 1999.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

6

IFT Workshop on Axions (5th 1998 Gainseville, Florida, USA). Axions '98: Proceedings of the 5th IFT Workshop on Axions, Gainesville, Florida, USA, 13-15 March, 1998. North-Holland, 1999.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Karl, Van Bibber, and United States. National Aeronautics and Space Administration., eds. A Proposed search for dark-matter axions in the 0.6-16 ueV range. Fermi National Accelerator Laboratory, 1991.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Physics, American Institute of, ed. AXIONS 2010: Proceedings of the international conference, Gainesville, Florida, 15-17 January 2010. American Institute of Physics, 2010.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Kulicki, Piotr. Aksjomatyczne systemy rachunku nazw. Wydawn. KUL, 2011.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Woodin, W. H. The axiom of determinacy, forcing axioms, and the nonstationary ideal. 2nd ed. De Gruyter, 2010.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Capitoli di libri sul tema "Axions"

1

Raffelt, Georg. "Axions." In Space Sciences Series of ISSI. Springer Netherlands, 2002. http://dx.doi.org/10.1007/978-94-017-2215-5_13.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Vogel, Julia K., and Igor G. Irastorza. "Solar Production of Ultralight Bosons." In The Search for Ultralight Bosonic Dark Matter. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-95852-7_5.

Testo completo

Abstract (sommario):

AbstractThis chapter will spotlight axions produced in the core of the Sun. A first focus will be put on the production mechanism for axions in the solar interior through coupling of axions to photons via the Primakoff effect as well as their interactions with electrons. In addition to the axion production, the axion-to-photon conversion probability is a crucial quantity for solar axion searches (also referred to as helioscopes) and determines the expected number of photons from solar axion conversion that are detectable in a ground-based search. After these basic considerations, the helioscop

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Kang, Kyungsik. "Introduction to Axions." In Springer Proceedings in Physics. Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/978-3-642-73473-1_41.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Simanovskaia, Maria, Gianpaolo Carosi, and Karl van Bibber. "Microwave Cavity Searches." In The Search for Ultralight Bosonic Dark Matter. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-95852-7_4.

Testo completo

Abstract (sommario):

AbstractThe axion “haloscope” technique is a well-established method to search for dark matter axions with a resonant microwave cavity and has excluded axion models over several frequency ranges with unparalleled sensitivity. This chapter describes the basics of microwave cavity searches, including overviews of the main experimental components and details on the figure of merit for these searches.

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Tsuruta, S., and K. Nomoto. "Axions in the Universe." In Observational Cosmology. Springer Netherlands, 1987. http://dx.doi.org/10.1007/978-94-009-3853-3_83.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Bailin, David, and Alexander Love. "Relic neutrinos and axions." In Cosmology in Gauge Field Theory and String Theory. CRC Press, 2021. http://dx.doi.org/10.1201/9780367806637-5.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Rogers, Joseph T. "An Experimental Search for Galactic Axions." In Gauge Theory and the Early Universe. Springer Netherlands, 1988. http://dx.doi.org/10.1007/978-94-009-3059-9_13.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Zioutas, K., and Y. Semertzidis. "A New Detector Scheme for Axions." In Astronomy, Cosmology and Fundamental Physics. Springer Netherlands, 1989. http://dx.doi.org/10.1007/978-94-009-0965-6_53.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Maroudas, Marios, and Kaan Ozbozduman. "Hunting Dark Matter Axions with CAST." In Advances in Cosmology. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-05625-3_8.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Peccei, Roberto D. "The Strong CP Problem and Axions." In Lecture Notes in Physics. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-73518-2_1.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Atti di convegni sul tema "Axions"

1

D'Eramo, Francesco. "Thermal Axions: What’s Next?" In 2nd Training School and General Meeting of the COST Action COSMIC WISPers (CA21106). Sissa Medialab, 2025. https://doi.org/10.22323/1.474.0019.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Smith, Christopher. "The strong CP puzzle and axions." In 31st International Workshop on Deep Inelastic Scattering. Sissa Medialab, 2024. https://doi.org/10.22323/1.469.0013.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Vanvlasselaer, Miguel. "Photon production of axions and neutrinos in compact objects." In 2nd Training School and General Meeting of the COST Action COSMIC WISPers (CA21106). Sissa Medialab, 2025. https://doi.org/10.22323/1.474.0026.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Ruan, Hanqi. "Probing Candidates for Dark Matter: Evidence from WIMPs and Axions." In International Conference on Innovations in Applied Mathematics, Physics and Astronomy. SCITEPRESS - Science and Technology Publications, 2024. http://dx.doi.org/10.5220/0013075000004601.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Vega, V., C. Wang, C. Pena, et al. "Characterization of Superconducting Nanowire Single Photon Detectors to Search for Axions." In 2024 IEEE Nuclear Science Symposium (NSS), Medical Imaging Conference (MIC) and Room Temperature Semiconductor Detector Conference (RTSD). IEEE, 2024. http://dx.doi.org/10.1109/nss/mic/rtsd57108.2024.10655273.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Kim, Jihn E. "Axions." In Proceedings of the Corfu Summer Institute 2014. Sissa Medialab, 2015. http://dx.doi.org/10.22323/1.231.0064.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Shifman, M., David B. Tanner, and Karl A. van Bibber. "Non-Abelian Strings and Axions." In AXIONS 2010: Proceedings of the International Conference. AIP, 2010. http://dx.doi.org/10.1063/1.3489557.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Yamaguchi, Masahide, M. Kawasaki, and Jun'ichi Yokoyama. "Relic axions radiated from axionic strings." In Proceedings of the Third International Workshop. WORLD SCIENTIFIC, 2001. http://dx.doi.org/10.1142/9789812811363_0033.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Shellard, E. P. S., and R. A. Battye. "COSMIC AXIONS." In Proceedings of the First International Workshop on Particle Physics and the Early Universe. WORLD SCIENTIFIC, 1998. http://dx.doi.org/10.1142/9789814447263_0026.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Sikivie, Pierre. "Axions 05." In PARTICLES, STRINGS, AND COSMOLOGY: 11th International Symposium on Particles, Strings, and Cosmology; PASCOS 2005. AIP, 2005. http://dx.doi.org/10.1063/1.2149671.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Rapporti di organizzazioni sul tema "Axions"

1

Sikivie, P. Dark matter axions `96. Office of Scientific and Technical Information (OSTI), 1996. http://dx.doi.org/10.2172/446290.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Svrcek, Peter, and Edward Witten. Axions in String Theory. Office of Scientific and Technical Information (OSTI), 2006. http://dx.doi.org/10.2172/883239.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

van Bibber, K. A. Searches for invisible axions. Office of Scientific and Technical Information (OSTI), 1998. http://dx.doi.org/10.2172/16780.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Morales, Robert O. Theoretical Survey of Higgs Boson and Axions. Office of Scientific and Technical Information (OSTI), 2000. http://dx.doi.org/10.2172/763743.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Turner, M. S. Thermal production of not so invisible axions in the early universe. Office of Scientific and Technical Information (OSTI), 1986. http://dx.doi.org/10.2172/6926041.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Obua, Steven. Abstraction Logic. Steven Obua (as Recursive Mind), 2021. http://dx.doi.org/10.47757/abstraction.logic.1.

Testo completo

Abstract (sommario):

Abstraction Logic is introduced as a foundation for Practical Types and Practal. It combines the simplicity of ﬁrst-order logic with direct support for variable binding constants called abstractions. It also allows free variables to depend on parameters, which means that ﬁrst-order axiom schemata can be encoded as simple axioms. Conceptually abstraction logic is situated between ﬁrst-order logic and second-order logic. It is sound and complete with respect to an intuitive and simple algebraic semantics.

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Obua, Steven. Abstraction Logic. Recursive Mind, 2021. http://dx.doi.org/10.47757/abstraction.logic.2.

Testo completo

Abstract (sommario):

Abstraction Logic is introduced as a foundation for Practical Types and Practal. It combines the simplicity of ﬁrst-order logic with direct support for variable binding constants called abstractions. It also allows free variables to depend on parameters, which means that ﬁrst-order axiom schemata can be encoded as simple axioms. Conceptually abstraction logic is situated between ﬁrst-order logic and second-order logic. It is sound with respect to an intuitive and simple algebraic semantics. Completeness holds for both intuitionistic and classical abstraction logic, and all abstraction logics i

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Baader, Franz, Martin Knechtel, and Rafael Peñaloza. Computing Boundaries for Reasoning in Sub-Ontologies. Technische Universität Dresden, 2009. http://dx.doi.org/10.25368/2022.171.

Testo completo

Abstract (sommario):

Consider an ontology T where every axiom is labeled with an element of a lattice (L, ≤). Then every element l of L determines a sub-ontology Tl, which consists of the axioms of T whose labels are greater or equal to l. These labels may be interpreted as required access rights, in which case Tl is the sub-ontology that a user with access right l is allowed to see, or as trust levels, in which case Tl consists of those axioms that we trust with level at least l. Given a consequence α (such as a subsumption relationship between concepts) that follows from the whole ontology T, we want to know fro

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Lee, S. A., W. M. Jr Fairbank, W. H. Toki, J. L. Hall, P. F. Jr Kraushaar, and T. S. Jaffery. Measurement of the magnetically-induced QED birefringence of the vacuum and an improved search for laboratory axions: Technical report. Project definition study of the use of assets and facilities of the Superconducting Super Collider Laboratory. Office of Scientific and Technical Information (OSTI), 1994. http://dx.doi.org/10.2172/10107194.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Peñaloza, Rafael, and Barış Sertkaya. On the Complexity of Axiom Pinpointing in Description Logics. Technische Universität Dresden, 2009. http://dx.doi.org/10.25368/2022.173.

Testo completo

Abstract (sommario):

We investigate the computational complexity of axiom pinpointing in Description Logics, which is the task of finding minimal subsets of a knowledge base that have a given consequence. We consider the problems of enumerating such subsets with and without order, and show hardness results that already hold for the propositional Horn fragment, or for the Description Logic EL. We show complexity results for several other related decision and enumeration problems for these fragments that extend to more expressive logics. In particular we show that hardness of these problems depends not only on expre

Gli stili APA, Harvard, Vancouver, ISO e altri

Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!