cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Neutron Stars in Scalar Torsion Theories with Nonminimal Coupling
Creators: name: Kehal, Youcef
name: Nouicer, Khireddine
name: Boumaza, Hamza
Publisher: name: arXiv
Year: 2023
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences
subject: 85-08, 85-10

description: We study the existence and structure of static and slowly rotating neutron stars (NSs) in a particular truncation of scalar torsion theory with a scalar field $ ϕ$ non-minimally coupled to the torsion scalar, and a potential of the form $ V(ϕ)=-μ^2ϕ^2/2 +λϕ^4 /4 $. We derive the hydrostatic equilibrium equations in the static case and solve them numerically for both interior and exterior regions using the appropriate boundary conditions near the center and far from the star. We plot the radial profiles of the metric functions and the scalar field as well as the mass-radius diagram of the star employing a set of four different realistic equations of state (EoS). Our findings show a high degree of compatibility with the observational constraints of the GW170817 event and indicate a maximum mass $2.37M_{\odot}$ obtained with the BSk21 EoS for a coupling parameter $ ξ=0.25 $. We extend our analysis to include slow rotation, and determine the relation between the star's moment of inertia and its mass. We also show that the universality relation of the two forms of the normalized moment of inertia continue to hold in scalar torsion theory with non minimal coupling.
description: 25 pages, 6 figures
Additional file 6: of Reducing the information gap on Loricarioidei (Siluriformes) mitochondrial genomics
Creators: name: Moreira, Daniel
name: Buckup, Paulo
name: Furtado, Carolina
name: Val, Adalberto
name: Schama, Renata
name: Thiago Parente
Publisher: name: Figshare
Year: 2017
Subjects: subject: Microbiology
subject: FOS: Biological sciences
subject: Cell Biology
subject: Genetics
subject: Molecular Biology
subject: Physiology
subject: Evolutionary Biology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: Marine Biology
subject: Infectious Diseases
subject: FOS: Health sciences
subject: Plant Biology

description: Phylogenetic tree retrieved using the three longest genes (A) and the three genes with the best performance (B). The three longest genes, cox1, nad4 and nad5, also harbored most informative characters. A - The position of Dekeyseria amazonica, highlighted in a red box, changed in relation to the tree using the 15 mitochondrial genes. The three genes with best performance as identified by Havird & Santos [13] were nad2, nad4 and nad5. B - The position of Loricaria cataphracta, highlighted in a red box, changed in relation to the tree using the 15 mitochondrial genes. Genes were aligned with built-in MUSCLE using SeaView and used for phylogenetic tree reconstruction using RAxML under the GTR + GAMMA + I model and 1000 bootstrap replica. (PDF 62 kb)
Gonia bimaculata Wiedemann 1819
Creators: name: El-Hawagry, Magdi S.
name: Sharaf, Mostafa R.
name: Al Dhafer, Hathal M.
name: Fadl, Hassan H.
name: Aldawood, Abdulrahman S.
Publisher: name: Zenodo
Year: 2015
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Tachinidae
Gonia
Gonia bimaculata

description: Gonia bimaculata Wiedemann
Ghabet Shahba (Al-Baha City) 20.02723° N, 41.28565° E: May – July 2012.
description: Published as part of El-Hawagry, Magdi S., Sharaf, Mostafa R., Al Dhafer, Hathal M., Fadl, Hassan H. & Aldawood, Abdulrahman S., 2015, Addenda to the insect fauna of Al-Baha Province, Kingdom of Saudi Arabia with zoogeographical notes, pp. 1209-1236 in Journal of Natural History 50 on page 1229, DOI: 10.1080/00222933.2015.1103913, http://zenodo.org/record/3990247
Continuous Wigner-Mott transition at $ν=1/5$
Creators: name: Kiely, Thomas G.
name: Chowdhury, Debanjan
Publisher: name: arXiv
Year: 2023
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: Electrons can organize themselves into charge-ordered states to minimize the effects of long-ranged Coulomb interactions. In the presence of a lattice, commensurability constraints lead to the emergence of incompressible Wigner-Mott insulators at various rational electron fillings, $ν~=p/q$. The mechanism for quantum fluctuation-mediated melting of the Mott insulators with increasing electron kinetic energy remains an outstanding problem. Here, using matrix product state techniques, we analyze the bandwidth-tuned transition out of the Wigner-Mott insulator at $ν=1/5$ in an extended Hubbard model on infinite cylinders of varying circumference. For the two-leg ladder, the transition from the Mott insulator to the Luttinger liquid proceeds via a distinct intermediate phase with gapless Cooper-pairs and gapped electronic excitations. The resulting Luther-Emery liquid is the analog of a strongly fluctuating superconductor. We place these results in the context of a low-energy bosonization based theory for the transition. On the five-leg cylinder, we provide numerical evidence for a direct continuous transition between the Wigner-Mott insulator and a metallic phase across which the spin and charge-gaps vanish simultaneously. We comment on the connections to ongoing experiments in dual-gated bilayer moiré transition metal dichalcogenide materials.
description: Main text: 5 pages, 3 figures. Supplementary material: 11 pages, 10 figures
Additional file 7: of Reducing the information gap on Loricarioidei (Siluriformes) mitochondrial genomics
Creators: name: Moreira, Daniel
name: Buckup, Paulo
name: Furtado, Carolina
name: Val, Adalberto
name: Schama, Renata
name: Thiago Parente
Publisher: name: Figshare
Year: 2017
Subjects: subject: Biochemistry
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Molecular Biology
subject: Evolutionary Biology
subject: Ecology
subject: Marine Biology
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: 60506 Virology

description: Confirmation of species identification using cox1 barcode sequence and the BOLD Systems. The Folmer region of Cytochrome c oxidase subunit 1 of each species was used as queries for similarity searches against the BOLD database. The resulting output is presented as a phylogenetic tree generated online. The query species are shown in red and indicated by a red arrow. For each tree, the species name, as well as its field and voucher numbers are shown above the arrow. (PDF 765 kb)
Approach to Data Science with Multiscale Information Theory
Creators: name: Nawaz, Shahid
name: Saleem, Muhammad
name: Kusmartsev, F. V.
name: Anjum, Dalaver H.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Data Analysis, Statistics and Probability (physics.data-an)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Data Science is a multidisciplinary field that plays a crucial role in extracting valuable insights and knowledge from large and intricate datasets. Within the realm of Data Science, two fundamental components are Information Theory (IT) and Statistical Mechanics (SM), which provide a theoretical framework for understanding dataset properties. IT enables efficient storage and transmission of information, while SM focuses on the behavior of systems comprising numerous interacting components. In the context of data science, SM allows us to model complex interactions among variables within a dataset. By leveraging these tools, data scientists can gain a profound understanding of data properties, leading to the development of advanced models and algorithms for analysis and interpretation. Consequently, data science has the potential to drive accurate predictions and enhance decision-making across various domains, including finance, marketing, healthcare, and scientific research.
 In this paper, we apply this data science framework to a large and intricate quantum mechanical system composed of particles. Our research demonstrates that the dynamic and probabilistic nature of such systems can be effectively addressed using a Multiscale Entropic Dynamics (MED) approach, derived from the Boltzmann methods of SM. Through the MED approach, we can describe the system's dynamics by formulating a general form of the Nonlinear Schrödinger equation and how it can be applied to various systems with particles and quasi-particles, such as electrons, plasmons, polarons, and solitons. By employing this innovative approach, we pave the way for a deeper understanding of quantum mechanical systems and their behaviors within complex materials.
description: 12 pages
Orius (Heterorius) minutus Linnaeus 1758
Creators: name: Ballal, Chandish R.
name: Akbar, Shahid Ali
name: Yamada, Kazutaka
name: Wachkoo, Aijaz Ahmad
name: Varshney, Richa
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Anthocoridae
Orius
Orius minutus

description: Orius (Heterorius) minutus Linnaeus, 1758
Cimex minutus Linnaeus, 1758: 446. NEOTYPE (designated by PÉRICART 1970: 742): France, near Montereau, Marolles (MNHN).
For further synonyms and references of this species, see PÉRICART (1996) and BU & ZHENG (2001).
Material examined. INDIA: ARUNACHAL PRADESH: Pasighat, v.2014, 3 3 ♀♀ (TKPM, NBAIR).
Distribution in India. Arunachal Pradesh: Pasighat (this paper); Jammu and Kashmir: Kashmir (BHAGAT 2015); Tamil Nadu (VISWANATHAN & ANANTHAKRISHNAN 1974).
General distribution. Palaearctic species widespread in Europe, North Africa, Transcaucasia, Kazakhstan, Asian Russia, Mongolia, China, Korea, Japan, Thailand (PÉRICART 1996, AUKEMA et al. 2013, YAMADA et al. 2016b).
Biology. The species has been reported from quickstick (Gliricidia sepium) feeding on the thrips Taeniothrips distalis Karny, 1913, Frankliniella schultzei, Haplothrips ganglbaueri, and several aphid species (VISWANATHAN & ANANTHAKRISHNAN 1974, BHAGAT 2015, BALLAL & YAMADA 2016).
description: Published as part of Ballal, Chandish R., Akbar, Shahid Ali, Yamada, Kazutaka, Wachkoo, Aijaz Ahmad & Varshney, Richa, 2018, Annotated catalogue of the flower bugs from India (Heteroptera: Anthocoridae, Lasiochilidae), pp. 207-226 in Acta Entomologica Musei Nationalis Pragae 58 (1) on page 218, DOI: 10.2478/aemnp-2018-0018, http://zenodo.org/record/3699210
Additional file 1: of Codon 141 polymorphisms of the ovine prion protein gene affect the phenotype of classical scrapie transmitted from goats to sheep
Creators: name: Konold, Timm
name: Phelan, Laura
name: Donnachie, Ben
name: Chaplin, Melanie
name: Saira Cawthraw
name: Gonzรกlez, Lorenzo
Publisher: name: Figshare
Year: 2017
Subjects: subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Developmental Biology
subject: Science Policy
subject: Infectious Diseases
subject: FOS: Health sciences

description: study design. This file provides a graphical overview of the design of the pilot and milk transmission studies. (PDF 197 kb)
title: Investigation of Formulation, Stability Limits, and Characterization of Lipid Nanoparticles for mRNA Vaccines
Creators: name: Beck, Nichole
Publisher: name: Georgia State University
Year: 2026

description:
Lipid nanoparticles (LNPs) represent a significant advancement in mRNA delivery, especially regarding the recent Coronavirus Disease 2019 (COVID-19) pandemic. The use of LNPs in COVID-19 mRNA vaccines allows for the particles to have a larger carrying capacity, meaning an easier and safer delivery of nucleic acids with little to no cytotoxicity. While most LNPs target hepatocytes, their specific formulation allows for a more tunable delivery system, as well as increased stability, distribution, and bioavailability. This study investigates various lipid combinations for the purpose of mRNA-LNPs that show high protein expression in vitro and are cost-effective. These formulations were tested in two different human cell lines to assess the expression of mRNA-encoded luciferase protein. The findings indicate that an optimized lipid formulation utilizing a cationic lipid does potentiate strong protein expression in both cell lines tested, meaning that this formulation may have potential to be optimized even further for vaccination use
MOESM1 of Role of estrogen receptors and Src signaling in mechanisms of bone metastasis by estrogen receptor positive breast cancers
Creators: name: Jen-Hwey Chiu
name: Che-Sheng Wen
name: Jir-You Wang
name: Chih-Yi Hsu
name: Tsai, Yi-Fang
name: Shih-Chieh Hung
name: Ling-Ming Tseng
name: Shyr, Yi-Ming
Publisher: name: Figshare
Year: 2017
Subjects: subject: Biophysics
subject: Biochemistry
subject: Space Science
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Physiology
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Cancer
subject: Computational Biology

description: Additional file 1. Additional information.
MOESM4 of
                     IDH1 or -2 mutations do not predict outcome and do not cause loss of 5-hydroxymethylcytosine or altered histone modifications in central chondrosarcomas
Creators: name: Cleven, Arjen
name: Suijker, Johnny
name: Agrogiannis, Georgios
name: Bruijn, Inge Briaire-De
name: Frizzell, Norma
name: Attje Hoekstra
name: Wijers-Koster, Pauline
name: Cleton-Jansen, Anne-Marie
name: BovĂŠe, Judith
Publisher: name: Figshare
Year: 2017
Subjects: subject: Biochemistry
subject: Space Science
subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Molecular Biology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Computational Biology

description: Additional file 4: Table S2. Mutation status for SDH (SDHB) and FH (2-SC) defined by immunohistochemistry on the TMA.
Mintho praeceps
Creators: name: El-Hawagry, Magdi S.
name: Sharaf, Mostafa R.
name: Al Dhafer, Hathal M.
name: Fadl, Hassan H.
name: Aldawood, Abdulrahman S.
Publisher: name: Zenodo
Year: 2015
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Tachinidae
Mintho
Mintho praeceps

description: Mintho praeceps (Scopoli)
Baljurashi City (Baljurashi) 19.877804° N, 41.571622° E: March 2013.
description: Published as part of El-Hawagry, Magdi S., Sharaf, Mostafa R., Al Dhafer, Hathal M., Fadl, Hassan H. & Aldawood, Abdulrahman S., 2015, Addenda to the insect fauna of Al-Baha Province, Kingdom of Saudi Arabia with zoogeographical notes, pp. 1209-1236 in Journal of Natural History 50 on page 1229, DOI: 10.1080/00222933.2015.1103913, http://zenodo.org/record/3990247
Nonlinear Boundary Conditions for Initial Boundary Value Problems with Applications in Computational Fluid Dynamics
Creators: name: Nordström, Jan
Publisher: name: arXiv
Year: 2023
Subjects: subject: Numerical Analysis (math.NA)
subject: FOS: Mathematics
subject: 35Mxx, 65Mxx

description: We derive new boundary conditions and implementation procedures for nonlinear initial boundary value problems (IBVPs) with non-zero boundary data that lead to bounded solutions. The new boundary procedure is applied to nonlinear IBVPs in skew-symmetric form, including dissipative terms. The complete procedure has two main ingredients. In the first part (published in [1, 2]), the energy and entropy rate in terms of a surface integral with boundary terms was produced for problems with first derivatives. In this second part we complement it by adding second derivative terms and new nonlinear boundary procedures leading for boundary conditions with non-zero data. The new nonlinear boundary procedure generalise the well known characteristic boundary procedure for linear problems to the nonlinear setting. To introduce the procedure, a skew-symmetric scalar IBVP encompassing the linear advection equation and Burgers equation is analysed. Once the continuous analysis is done, we show that energy stable nonlinear discrete approximations follow by using summation-by-parts operators combined with weak boundary conditions. The scalar analysis is subsequently repeated for general nonlinear systems of equations. Finally, the new boundary procedure is applied to four important IBVPs in computational fluid dynamics: the incompressible Euler and Navier-Stokes, the shallow water and the compressible Euler equations.
description: arXiv admin note: substantial text overlap with arXiv:2301.04568
CaptAinGlove: Capacitive and Inertial Fusion-Based Glove for Real-Time on Edge Hand Gesture Recognition for Drone Control
Creators: name: Bello, Hymalai
name: Suh, Sungho
name: Geißler, Daniel
name: Ray, Lala
name: Zhou, Bo
name: Lukowicz, Paul
Publisher: name: arXiv
Year: 2023
Subjects: subject: Machine Learning (cs.LG)
subject: Human-Computer Interaction (cs.HC)
subject: Robotics (cs.RO)
subject: FOS: Computer and information sciences

description: We present CaptAinGlove, a textile-based, low-power (1.15Watts), privacy-conscious, real-time on-the-edge (RTE) glove-based solution with a tiny memory footprint (2MB), designed to recognize hand gestures used for drone control. We employ lightweight convolutional neural networks as the backbone models and a hierarchical multimodal fusion to reduce power consumption and improve accuracy. The system yields an F1-score of 80% for the offline evaluation of nine classes; eight hand gesture commands and null activity. For the RTE, we obtained an F1-score of 67% (one user).
Orius ianthe
Creators: name: Ballal, Chandish R.
name: Akbar, Shahid Ali
name: Yamada, Kazutaka
name: Wachkoo, Aijaz Ahmad
name: Varshney, Richa
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Anthocoridae
Orius
Orius ianthe

description: Orius ianthe (Distant, 1910)
Triphleps ianthe Distant, 1910: 305. HOLOTYPE: sex unknown (abdomen lost), India, Calcutta [= Kolkata] (BMNH) (see GHAURI 1972a: 409).
Orius ianthe: GHAURI (1972a):409 (treated as Orius without any comment on the new generic combination).
Type material examined. HOLOTYPE: sex unknown, ‘Type- / H. T.’ [printed circle with red border], ‘Calcutta’ [handwritten], ‘Triphleps / ianthe Dist. ’ [handwritten], ‘Distant Coll. / 1911-383’ [printed]; pinned, abdomen lost (BMNH).
Distribution in India. West Bengal: Kolkata (DISTANT 1910, GHAURI 1972a).
General distribution. Endemic.
Note. The subgeneric placement of the species has not been established yet.
description: Published as part of Ballal, Chandish R., Akbar, Shahid Ali, Yamada, Kazutaka, Wachkoo, Aijaz Ahmad & Varshney, Richa, 2018, Annotated catalogue of the flower bugs from India (Heteroptera: Anthocoridae, Lasiochilidae), pp. 207-226 in Acta Entomologica Musei Nationalis Pragae 58 (1) on page 219, DOI: 10.2478/aemnp-2018-0018, http://zenodo.org/record/3699210
Additional file 1: of Exploring â  generative mechanismsâ   of the antiretroviral adherence club intervention using the realist approach: a scoping review of research-based antiretroviral treatment adherence theories
Creators: name: Mukumbang, Ferdinand
name: Belle, Sara Van
name: Marchal, Bruno
name: Wyk, Brian Van
Publisher: name: Figshare
Year: 2017
Subjects: subject: Medicine
subject: Biotechnology
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: Plant Biology
subject: FOS: Biological sciences

description: Data extraction process. This table describes the characteristics and findings of the various studies included in the review. (DOCX 54Â kb)
OPTIMIZATION OF DIAGNOSTICS AND TACTICS OF TREATMENT OF RIGID HYDROTHORAX
Creators: name: Eshonkhodjaev, O.D.
name: Tursunov, N.T.
name: Amonov, B.B.
name: Yakubov, B.F.
Publisher: name: Zenodo
Year: 2024

description: Rigid hydrothorax is a condition characterized by persistent fluid accumulation in the pleural cavity, which can cause significant narrowing of lung volume and complications in respiratory function. This condition has serious clinical significance and requires timely intervention.
ИЧИМЛИК СУВИ СИФАТИНИ МЕЪЁРЛАШНИНГ ГИГИЕНИК АСОСЛАРИ
Creators: name: Эшонқулов, Жамшид
Publisher: name: Zenodo
Year: 2024

description: Ушбу мақолада тирик организмга ҳар қандай ташқи физик, кимёвий ва биологик таъсирлар ушбу организм аъзолари тузилиши, функцияси ўзгаришига олиб келиши, натижада организм компенсатор-мослашув механизмлари доирасида клиник-лаборатор параметрлар, жумладан аъзолар морфологиясини ўзгартириш орқали жавоб бериши келтирилган. Ташқи таьсирлар орасида ҳозирги замонда энг кўп учраётган таъсирлардан бири бу турли хил таркибли истеъмол қилинаётган сувлардир, сувнинг керагидан ортиқ миқдордаги тузлар, макро ва микро элементлар, кимёвий ва биологик таркиби организм аъзо ва тизимларига салбий таъсир кўрсатиши исботланганлиги келтирилган.
Cylindromyia Meigen 1803
Creators: name: El-Hawagry, Magdi S.
name: Sharaf, Mostafa R.
name: Al Dhafer, Hathal M.
name: Fadl, Hassan H.
name: Aldawood, Abdulrahman S.
Publisher: name: Zenodo
Year: 2015
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Tachinidae
Cylindromyia

description: Cylindromyia sp.
(Figure 15)
Al-Mekhwa City (Al-Mekhwa) 19.770576° N, 41.434293° E: February – March 2012. [First record in KSA].
description: Published as part of El-Hawagry, Magdi S., Sharaf, Mostafa R., Al Dhafer, Hathal M., Fadl, Hassan H. & Aldawood, Abdulrahman S., 2015, Addenda to the insect fauna of Al-Baha Province, Kingdom of Saudi Arabia with zoogeographical notes, pp. 1209-1236 in Journal of Natural History 50 on page 1230, DOI: 10.1080/00222933.2015.1103913, http://zenodo.org/record/3990247
Orius indicus
Creators: name: Ballal, Chandish R.
name: Akbar, Shahid Ali
name: Yamada, Kazutaka
name: Wachkoo, Aijaz Ahmad
name: Varshney, Richa
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Anthocoridae
Orius
Orius indicus

description: Orius indicus (Reuter, 1884)
Triphleps indicus Reuter, 1884: 101. LECTOTYPE (designated by GHAURI 1972a: 409): ♀, India, Bengalia (ZMUC).
Orius indicus: GHAURI (1972a): 409 (treated as Orius without any comment on the new generic combination).
Distribution in India. Kerala: Calicut (= Kozhikode) (MURALEEDHARAN & ANANTHAKRISHNAN 1974a); Tamil Nadu: Madras [= Chennai], Kovilpatti (MURALEEDHARAN &ANANTHAKRISHNAN 1974a); West Bengal (GHAURI 1972a).
General distribution. Endemic.
Biology. The species is known to feed on thrips including Gynaikothrips fucorum (Marchal, 1908); Scirtothrips dorsalis Hood, 1919; Megalurothrips nigricornis (Schmutz, 1913), and Taeniothrips nigricornis (Schmutz, 1913) (RAJASEKHARA & CHATTERJI 1970, ANANTHAKRISHNAN & SURESHKUMAR 1985).
Note. The subgeneric placement of the species has not been established yet.
description: Published as part of Ballal, Chandish R., Akbar, Shahid Ali, Yamada, Kazutaka, Wachkoo, Aijaz Ahmad & Varshney, Richa, 2018, Annotated catalogue of the flower bugs from India (Heteroptera: Anthocoridae, Lasiochilidae), pp. 207-226 in Acta Entomologica Musei Nationalis Pragae 58 (1) on page 219, DOI: 10.2478/aemnp-2018-0018, http://zenodo.org/record/3699210
The twisted G$_2$ equation for strong G$_2$-structures with torsion
Creators: name: Fino, Anna
name: Martín-Merchán, Lucía
name: Raffero, Alberto
Publisher: name: arXiv
Year: 2023
Subjects: subject: Differential Geometry (math.DG)
subject: FOS: Mathematics

description: We discuss general properties of strong G$_2$-structures with torsion and we investigate the twisted G$_2$ equation, which represents the G$_2$-analogue of the twisted Calabi-Yau equation for SU$(n)$-structures introduced by Garcia-Fernández - Rubio - Shahbazi - Tipler. In particular, we show that invariant strong G$_2$-structures with torsion do not occur on compact non-flat solvmanifolds. This implies the non-existence of non-trivial solutions to the twisted Calabi-Yau equation on compact solvmanifolds of dimensions $4$ and $6$. More generally, we prove that a compact, connected homogeneous space admitting invariant strong G$_2$-structures with torsion is diffeomorphic either to $S^3 \times T^4$ or to $S^3 \times S^3 \times S^1$, up to a covering, and that in both cases solutions to the twisted G$_2$ equation exist. Finally, we discuss the behavior of the homogeneous Laplacian coflow for strong G$_2$-structures with torsion on these spaces.
description: Final version, to appear in Pure and Applied Mathematics Quarterly
Scoloposcelis asiaticus Muraleedharan & Ananthakrishnan 1974
Creators: name: Ballal, Chandish R.
name: Akbar, Shahid Ali
name: Yamada, Kazutaka
name: Wachkoo, Aijaz Ahmad
name: Varshney, Richa
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Anthocoridae
Scoloposcelis
Scoloposcelis asiaticus

description: Scoloposcelis asiaticus Muraleedharan & Ananthakrishnan, 1974
Scoloposcelis asiaticus Muraleedharan & Ananthakrishnan, 1974c: 511. HOLOTYPE:, India, Tamil Nadu, Madras [= Chennai] (ZSI).
Distribution in India. Karnataka: Mysore (MURALEEDHARAN & ANANTHAKRISHNAN 1974c); Tamil Nadu: Chennai, Thimbam (MURALEEDHARAN & ANANTHAKRISHNAN 1974c).
General distribution. Endemic.
Biology. The species has been seen feeding on egg clusters and early instars of mycophagous thrips Ecacanthothrips sanguineus Bagnall, 1908 and on staphylinid larvae on decaying bark of Erythrina sp. (MURALEEDHARAN & ANANTHAKRISHNAN 1974c).
description: Published as part of Ballal, Chandish R., Akbar, Shahid Ali, Yamada, Kazutaka, Wachkoo, Aijaz Ahmad & Varshney, Richa, 2018, Annotated catalogue of the flower bugs from India (Heteroptera: Anthocoridae, Lasiochilidae), pp. 207-226 in Acta Entomologica Musei Nationalis Pragae 58 (1) on page 220, DOI: 10.2478/aemnp-2018-0018, http://zenodo.org/record/3699210
Kunziana Pretzmann 1971
Creators: name: Magalhães, Célio
name: Türkay, Michael
name: Means, Bruce
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Malacostraca
Decapoda
Pseudothelphusidae
Kunziana

description: Kunziana Pretzmann, 1971 new status
Eudaniela (Kunziana) Pretzmann, 1971: 1. ― Pretzmann 1972: 22.
Diagnosis. Male first gonopod with apical plate strongly twisted transversally towards the cephalic side, and twisted longitudinally towards the basal portion of the stem. Field of apical spines narrow, directed basally. Type species. Eudaniela (Kunziana) irengis Pretzmann, 1971 (by monotypy)
description: Published as part of Magalhães, Célio, Türkay, Michael & Means, Bruce, 2009, The status of Kunziana Pretzmann, 1971 (Crustacea: Decapoda: Pseudothelphusidae), with a redescription of the holotype of K. irengis Pretzmann, 1971, pp. 40-48 in Zootaxa 2276 on page 41, DOI: 10.5281/zenodo.191071
Uncertain Data in Initial Boundary Value Problems: Impact on Short and Long Time Predictions
Creators: name: Nordström, Jan
Publisher: name: arXiv
Year: 2023
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics
subject: G.1.8
subject: 35, 65

description: We investigate the influence of uncertain data on solutions to initial boundary value problems. Uncertainty in the forcing function, initial conditions and boundary conditions are considered and we quantify their relative influence for short and long time calculations. It is shown that dissipative boundary conditions leading to energy bounds play a crucial role. For short time calculations, uncertainty in the initial data dominate. As time grows, the influence of initial data vanish exponentially fast. For longer time calculations, the uncertainty in the forcing function and boundary data dominate, as they grow in time. Errors due to the forcing function grows faster (linearly in time) than the ones due to the boundary data (grows as the square root of time). Roughly speaking, the results indicate that for short time calculations, the initial conditions are the most important, but for longer time calculations, focus should be on modelling efforts and boundary conditions. Our findings have impact on predictions where similar mathematical and numerical techniques are used for both short and long times as for example in regional weather and climate predictions.
Phasia
Creators: name: El-Hawagry, Magdi S.
name: Sharaf, Mostafa R.
name: Al Dhafer, Hathal M.
name: Fadl, Hassan H.
name: Aldawood, Abdulrahman S.
Publisher: name: Zenodo
Year: 2015
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Tachinidae
Phasia

description: ? Phasia sp.
Wadi Turabet Zahran (Al-Mandaq) 20.12397° N, 41.17176° E: May 2012.
description: Published as part of El-Hawagry, Magdi S., Sharaf, Mostafa R., Al Dhafer, Hathal M., Fadl, Hassan H. & Aldawood, Abdulrahman S., 2015, Addenda to the insect fauna of Al-Baha Province, Kingdom of Saudi Arabia with zoogeographical notes, pp. 1209-1236 in Journal of Natural History 50 on page 1230, DOI: 10.1080/00222933.2015.1103913, http://zenodo.org/record/3990247
Scoloposcelis contubernalis
Creators: name: Ballal, Chandish R.
name: Akbar, Shahid Ali
name: Yamada, Kazutaka
name: Wachkoo, Aijaz Ahmad
name: Varshney, Richa
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Anthocoridae
Scoloposcelis
Scoloposcelis contubernalis

description: Scoloposcelis contubernalis (Distant, 1904)
Ostorodias contubernalis Distant, 1904a: 219. SYNTYPE (S): North West Himalayas (BMNH).
Scoloposcelis contubernalis: POPPIUS (1909): 25 (new combination).
Distribution in India. North-western Himalayas (DISTANT 1904a).
General distribution. Endemic.
Biology. The type series has been reported to inhabit galleries of the beetle Polygraphus sp. in spruce-fir (DISTANT 1904a).
description: Published as part of Ballal, Chandish R., Akbar, Shahid Ali, Yamada, Kazutaka, Wachkoo, Aijaz Ahmad & Varshney, Richa, 2018, Annotated catalogue of the flower bugs from India (Heteroptera: Anthocoridae, Lasiochilidae), pp. 207-226 in Acta Entomologica Musei Nationalis Pragae 58 (1) on page 220, DOI: 10.2478/aemnp-2018-0018, http://zenodo.org/record/3699210
Additional file 1: of Exploring â  generative mechanismsâ   of the antiretroviral adherence club intervention using the realist approach: a scoping review of research-based antiretroviral treatment adherence theories
Creators: name: Mukumbang, Ferdinand
name: Belle, Sara Van
name: Marchal, Bruno
name: Wyk, Brian Van
Publisher: name: Figshare
Year: 2017
Subjects: subject: Medicine
subject: Biotechnology
subject: Science Policy
subject: Infectious Diseases
subject: FOS: Health sciences
subject: Plant Biology
subject: FOS: Biological sciences

description: Data extraction process. This table describes the characteristics and findings of the various studies included in the review. (DOCX 54Â kb)
Additional file 2: of Exploring â  generative mechanismsâ   of the antiretroviral adherence club intervention using the realist approach: a scoping review of research-based antiretroviral treatment adherence theories
Creators: name: Mukumbang, Ferdinand
name: Belle, Sara Van
name: Marchal, Bruno
name: Wyk, Brian Van
Publisher: name: Figshare
Year: 2017
Subjects: subject: Molecular Biology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Infectious Diseases
subject: FOS: Health sciences

description: Data code manual. This is the coding manual that was used to indentify the various aspects of the context-mechanism-outcome heuristic tool. (DOCX 12Â kb)
Additional file 2: of Exploring â  generative mechanismsâ   of the antiretroviral adherence club intervention using the realist approach: a scoping review of research-based antiretroviral treatment adherence theories
Creators: name: Mukumbang, Ferdinand
name: Belle, Sara Van
name: Marchal, Bruno
name: Wyk, Brian Van
Publisher: name: Figshare
Year: 2017
Subjects: subject: Molecular Biology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Data code manual. This is the coding manual that was used to indentify the various aspects of the context-mechanism-outcome heuristic tool. (DOCX 12Â kb)
ҲАДИС РОВИЙЛАРИГА БАҒИШЛАНГАН АСАРЛАР ВА УЛАРНИНГ ЎЗИГА ХОСЛИГИ
Creators: name: Тўраев, Нўъмонжон
Publisher: name: Zenodo
Year: 2024

description: Имом Бухорийнинг (810-870 й.й.) “жарҳ ва таъдил” илмига бағишланган “ат-Тарих ал-кабир”, “ат-Тарих ал-авсат”, “аз-Зуафо ал-сағир” асарлари бугунги кунгача етиб келган бўлиб, улар мавзу ва маълумотлар қамрови кенглиги билан ушбу турдаги бошқа манбалардан ажралиб туради.
The Effectiveness Of Portage Early Intervention Program In Improving Adaptive Behavior Skills With Intellectual Disorders
Creators: name: Ashraf Bader Al Ddin Al Wedyan, Alia Mohammed Al Oweidi
Publisher: name: Zenodo
Year: 2025
Subjects: Portage Program, Mothers With Children Having Intellectual Disabilities, Adaptive Behavior

description: The aim of this study was to find the effectiveness of the Portage Program for Early Intervention in improving cognitive competencies of mothers with children having intellectual disabilities in applying portage  program, and in developing those children’s adaptive behavior. The experimental sample included 10 children from Irbid Governorate with simple intellectual disabilities, using single-group experimentation. To achieve the goal of the study, the Portage Program (second edition) was adopted as well as the cognitive competence scale for pre and post-test, and the adaptive behavior scale for children with intellectual disabilities. Data from the implemented scales were treated statistically using proper statistical methods. The study reached the following results: There were statistically significant differences at the level of significance (α=0.05) between the means of the pre- and post-test for performance of mothers of children with simple intellectual disabilities in the cognitive competence scale. There were statistically significant differences at the level of significance (α=0.05) between the pre- and post-test means for performance of children with simple intellectual disabilities in the adaptive behavior scale. There were statistically significant differences at the level of significance (α=0.05) between the post and follow up test means for performance of children with simple intellectual disabilities in the adaptive behavior scale. The study sets various recommendations in the fields of education and research. The results of the qualitative analysis indicated a noticeable  improvement in the performance of the adaptive behavior skills of the individuals participated in study.
Additional file 2: Table S2. of Whole genome sequencing identifies missense mutation in MTBP in Shar-Pei affected with Autoinflammatory Disease (SPAID)
Creators: name: Metzger, Julia
name: Nolte, Anna
name: Ann-Kathrin Uhde
name: Hewicker-Trautwein, Marion
name: Distl, Ottmar
Publisher: name: Figshare
Year: 2017
Subjects: subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Evolutionary Biology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Ecology
subject: 69999 Biological Sciences not elsewhere classified
subject: Inorganic Chemistry
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Whole genome sequencing statistics for two SPAID-affected Shar-Pei and five controls. DNA-libraries of two Shar-Pei were sequenced on the Illumina MiSeq whereas further five whole genome sequences from dogs of four different breeds were derived from sequence read archive (NCBI). (DOCX 15Â kb)
Pachytarsus crassicornis Fieber 1860
Creators: name: Ballal, Chandish R.
name: Akbar, Shahid Ali
name: Yamada, Kazutaka
name: Wachkoo, Aijaz Ahmad
name: Varshney, Richa
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Lampyridae
Pachytarsus
Pachytarsus crassicornis

description: Pachytarsus crassicornis Fieber, 1860
Pachytarsus crassicornis Fieber, 1860:269. SYNTYPE (S): sex not indicated, ‘Ostindien’ [= East India] (MNHN).
Type material examined. SYNTYPE: sex unknown, ‘MUSEUM PARIS / COLL. NOUALHIER 1898’ [printed], ‘ Pachytarsus / crassicornis / type Fieber / Indes or.’ [handwritten], ‘type’ [printed, red square], ‘ Pachytarsus / crassicornis / Fieb.’ [Carayon’s handwritten]; pinned, abdomen lost (MNHN).
Distribution in India. East India (no locality given) (DISTANT 1906, FORD 1979).
General distribution. Endemic.
description: Published as part of Ballal, Chandish R., Akbar, Shahid Ali, Yamada, Kazutaka, Wachkoo, Aijaz Ahmad & Varshney, Richa, 2018, Annotated catalogue of the flower bugs from India (Heteroptera: Anthocoridae, Lasiochilidae), pp. 207-226 in Acta Entomologica Musei Nationalis Pragae 58 (1) on pages 219-220, DOI: 10.2478/aemnp-2018-0018, http://zenodo.org/record/3699210
Additional file 2: Table S2. of Whole genome sequencing identifies missense mutation in MTBP in Shar-Pei affected with Autoinflammatory Disease (SPAID)
Creators: name: Metzger, Julia
name: Nolte, Anna
name: Ann-Kathrin Uhde
name: Hewicker-Trautwein, Marion
name: Distl, Ottmar
Publisher: name: Figshare
Year: 2017
Subjects: subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Evolutionary Biology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Ecology
subject: 69999 Biological Sciences not elsewhere classified
subject: Inorganic Chemistry
subject: Infectious Diseases
subject: FOS: Health sciences

description: Whole genome sequencing statistics for two SPAID-affected Shar-Pei and five controls. DNA-libraries of two Shar-Pei were sequenced on the Illumina MiSeq whereas further five whole genome sequences from dogs of four different breeds were derived from sequence read archive (NCBI). (DOCX 15Â kb)
Deep Neural Networks and Brain Alignment: Brain Encoding and Decoding (Survey)
Creators: name: Oota, Subba Reddy
name: Chen, Zijiao
name: Gupta, Manish
name: Bapi, Raju S.
name: Jobard, Gael
name: Alexandre, Frederic
name: Hinaut, Xavier
Publisher: name: arXiv
Year: 2023
Subjects: subject: Neurons and Cognition (q-bio.NC)
subject: Artificial Intelligence (cs.AI)
subject: Computation and Language (cs.CL)
subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Human-Computer Interaction (cs.HC)
subject: Machine Learning (cs.LG)
subject: FOS: Biological sciences
subject: FOS: Computer and information sciences

description: Can artificial intelligence unlock the secrets of the human brain? How do the inner mechanisms of deep learning models relate to our neural circuits? Is it possible to enhance AI by tapping into the power of brain recordings? These captivating questions lie at the heart of an emerging field at the intersection of neuroscience and artificial intelligence. Our survey dives into this exciting domain, focusing on human brain recording studies and cutting-edge cognitive neuroscience datasets that capture brain activity during natural language processing, visual perception, and auditory experiences. We explore two fundamental approaches: encoding models, which attempt to generate brain activity patterns from sensory inputs; and decoding models, which aim to reconstruct our thoughts and perceptions from neural signals. These techniques not only promise breakthroughs in neurological diagnostics and brain-computer interfaces but also offer a window into the very nature of cognition. In this survey, we first discuss popular representations of language, vision, and speech stimuli, and present a summary of neuroscience datasets. We then review how the recent advances in deep learning transformed this field, by investigating the popular deep learning based encoding and decoding architectures, noting their benefits and limitations across different sensory modalities. From text to images, speech to videos, we investigate how these models capture the brain's response to our complex, multimodal world. While our primary focus is on human studies, we also highlight the crucial role of animal models in advancing our understanding of neural mechanisms. Throughout, we mention the ethical implications of these powerful technologies, addressing concerns about privacy and cognitive liberty. We conclude with a summary and discussion of future trends in this rapidly evolving field.
description: 61 pages, 22 figures
Additional file 3: Table S3. of Whole genome sequencing identifies missense mutation in MTBP in Shar-Pei affected with Autoinflammatory Disease (SPAID)
Creators: name: Metzger, Julia
name: Nolte, Anna
name: Ann-Kathrin Uhde
name: Hewicker-Trautwein, Marion
name: Distl, Ottmar
Publisher: name: Figshare
Year: 2017
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Evolutionary Biology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 60506 Virology

description: Mutant allele frequencies for SPAID candidate variants. All nine variants were investigated for their genotypic distribution in SPAID-affected and unaffected Shar-Pei as well as in 162 dogs of 11 different breeds. (DOCX 20Â kb)
Apis florea Fabricius 1787
Creators: name: El-Hawagry, Magdi S.
name: Sharaf, Mostafa R.
name: Al Dhafer, Hathal M.
name: Fadl, Hassan H.
name: Aldawood, Abdulrahman S.
Publisher: name: Zenodo
Year: 2015
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Apidae
Apis
Apis florea

description: Tribe Apini Apis florea Fabricius
[The specific epithet was inadvertently written as fl orae in the original study (El-Hawagry et al. 2013)].
Al-Mekhwa City (Al-Mekhwa) 19.770576° N, 41.434293° E: February – March 2011.
Wadi Jalla: May – September 2011.
Wadi Turabet Zahran (Al-Mandaq) 20.12397° N, 41.17176° E: May – October 2011.
Dhee Ain (Al-Mekhwa) 19.55459° N, 41.26302° E: May – August 2011.
description: Published as part of El-Hawagry, Magdi S., Sharaf, Mostafa R., Al Dhafer, Hathal M., Fadl, Hassan H. & Aldawood, Abdulrahman S., 2015, Addenda to the insect fauna of Al-Baha Province, Kingdom of Saudi Arabia with zoogeographical notes, pp. 1209-1236 in Journal of Natural History 50 on page 1230, DOI: 10.1080/00222933.2015.1103913, http://zenodo.org/record/3990247
MOESM1 of Histone 3.3 hotspot mutations in conventional osteosarcomas: a comprehensive clinical and molecular characterization of six H3F3A mutated cases
Creators: name: Koelsche, Christian
name: Schrimpf, Daniel
name: Tharun, Lars
name: Roth, Eva
name: Sturm, Dominik
name: Jones, David
name: Eva-Kristin Renker
name: Sill, Martin
name: Baude, Annika
name: Sahm, Felix
name: Capper, David
name: Bewerunge-Hudler, Melanie
name: Hartmann, Wolfgang
name: Kulozik, Andreas
name: Petersen, Iver
name: Flucke, Uta
name: Schreuder, Hendrik
name: BĂźttner, Reinhard
name: Marc-AndrĂŠ Weber
name: Schirmacher, Peter
name: Plass, Christoph
name: Pfister, Stefan
name: Deimling, Andreas
name: Mechtersheimer, Gunhild
Publisher: name: Figshare
Year: 2017
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Developmental Biology
subject: Cancer
subject: Computational Biology

description: Additional file 1: Table S1. Clinical information of the entire study cohort.
Scoloposcelis parallela
Creators: name: Ballal, Chandish R.
name: Akbar, Shahid Ali
name: Yamada, Kazutaka
name: Wachkoo, Aijaz Ahmad
name: Varshney, Richa
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Anthocoridae
Scoloposcelis
Scoloposcelis parallela

description: Scoloposcelis parallela (Motschulsky, 1863)
Anthocoris parallelus Motschulsky, 1863: 89. LECTOTYPE: (designated by KERZHNER & JANSSON 1985: 38): remnants of a specimen, Sri Lanka, Nura-Ellia [= Nuwara Eliya] Mts. (ZMUM).
Sesellius parallelus: DISTANT (1904): 222 (new combination).
Scoloposcelis parallela: POPPIUS (1909): 25 (new combination).
Material examined. INDIA: ANDAMAN NICOBAR ISLANDS: Andaman Islands, Havelock Island, v.1997, 1 5 ♀♀, K. & S. Majer lgt. (NMPC).
Distribution in India. Andaman Islands: Havelock Island (this paper); Meghalaya: Garo Hills, Dainadubi (MURALEEDHARAN 1977a); Tamil Nadu: Madras [= Chennai] (MURALEEDHARAN & ANANTHAKRISHNAN 1978b).
General distribution. Sri Lanka (DISTANT 1906), Indonesia (POPPIUS 1909), Philippines (POPPIUS 1909), Taiwan (POPPIUS 1915), Micronesia (Guam for USINGER, 1946; Caroline Is., Mariana Is. for HERRING 1967), Australia (CASSIS & GROSS 1995), Papua New Guinea (CASSIS & GROSS 1995), China (BU & ZHENG 2001), Japan (YAMADA et al 2016a).
Biology. It lives under the bark of fallen trees (mainly Erythrina indica), living among large colonies of Ecacanthothrips sanguineus and Dinothrips sumatrensis Bagnall, 1908, feeding on their eggs and larvae (MURALEEDHARAN 1977a, MURALEEDHARAN & ANANTHAKRISHNAN 1978b, BALLAL & YAMADA 2016).
description: Published as part of Ballal, Chandish R., Akbar, Shahid Ali, Yamada, Kazutaka, Wachkoo, Aijaz Ahmad & Varshney, Richa, 2018, Annotated catalogue of the flower bugs from India (Heteroptera: Anthocoridae, Lasiochilidae), pp. 207-226 in Acta Entomologica Musei Nationalis Pragae 58 (1) on page 220, DOI: 10.2478/aemnp-2018-0018, http://zenodo.org/record/3699210
Programming and proving with classical types
Creators: name: Matache, C
name: Gomes, VBF
name: Mulligan, DP
Publisher: name: Springer International Publishing
Year: 2017
Subjects: 46 Information and Computing Sciences
4612 Software Engineering

description: The propositions-as-types correspondence is ordinarily presen- ted as linking the metatheory of typed λ-calculi and the proof theory of intuitionistic logic. Griffin observed that this correspondence could be extended to classical logic through the use of control operators. This observation set off a flurry of further research, leading to the development of Parigot’s λμ-calculus. In this work, we use the λμ-calculus as the foundation for a system of proof terms for classical first-order logic. In particular, we define an extended call-by-value λμ-calculus with a type system in correspondence with full classical logic. We extend the language with polymorphic types, add a host of data types in ‘direct style’, and prove several metatheoretical properties. All of our proofs and definitions are mechanised in Isabelle/HOL, and we automatically obtain an inter- preter for a system of proof terms cum programming language—called μML—using Isabelle’s code generation mechanism. Atop our proof terms, we build a prototype LCF-style interactive theorem prover—called μTP— for classical first-order logic, capable of synthesising μML programs from completed tactic-driven proofs. We present example closed μML programs with classical tautologies for types, including some inexpressible as closed programs in the original λμ-calculus, and some example tactic-driven μTP proofs of classical tautologies.