cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
A Proof Theoretic Approach to Failure in Functional Logic Programming
Creators: name: Lopez-Fraguas, Francisco Javier
name: Sanchez-Hernandez, Jaime
Publisher: name: arXiv
Year: 2004
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences
subject: D.1.6; D.3.2

description: How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a proof-theoretic perspective. The starting point of our work is CRWL (Constructor based ReWriting Logic), a well established theoretical framework for functional logic programming, whose fundamental notion is that of non-strict non-deterministic function. We present a proof calculus, CRWLF, which is able to deduce negative information from CRWL-programs. In particular, CRWLF is able to prove finite failure of reduction within CRWL.
description: Appeared in Theory and Practice of Logic Programming, vol. 4, no. 1&2, 2004
Caractérisation de la conductivité thermique radiale d'une fibre de carbone de type PAN par la méthode 3$\omega$
Creators: name: Olaya G., Rodrigo A.
name: Garnier, Bertrand
name: Mishra, Ketaki
Publisher: name: Société Française de Thermique
Year: 2021
Subjects: conductivité thermique radiale
fibre de carbone
méthode 3omega
quadrupoles

description: La prédiction des transferts de chaleur dans les matériaux composites (époxy/fibre) nécessite la connaissance de leurs propriétés thermiques effectives. Dans un premier temps, il est important de mesurer la conductivité thermique axiale ainsi que radiale des fibres en l'occurrence en carbone et de type PAN. Contrairement à la conductivité thermique axiale des fibres de carbone, il n'y a pas beaucoup de travaux sur la mesure de leurs conductivités thermiques radiales. Le présent travail décrit la caractérisation de la conductivité thermique des fibres de carbone dans la direction radiale en utilisant la méthode 3$\omega$ avec une source de courant constante. Cette méthode utilise une seule fibre qui agit à la fois comme source de chaleur et comme capteur de température. La fibre de carbone est entourée d'un matériau à forte effusivité thermique pour améliorer le transfert de chaleur radial et donc a permis d'augmenter la sensibilité de la tension 3$\omega$ mesurée à la conductivité radiale recherchée. Un modèle thermique approprié est nécessaire pour estimer la conductivité thermique radiale. Par conséquent, un modèle analytique 2D décrivant les transferts thermiques dans la fibre en régime périodique établi a été développé en utilisant la méthode des quadripoles et a été validé à l'aide d'un modèle numérique 2D. Un modèle radial 1D a été mis au point afin d'analyser l'effet du transfert de chaleur axial résiduel à l'intérieur de la fibre pendant la mesure. Une étude de sensibilité détaillée du paramètre inconnu a été effectuée afin de trouver la meilleure plage de conditions opératoires en particulier la plage de fréquences et le type de matériau environnant le plus pertinent. Les mesures ont été effectuées avec de la fibre de carbone de type PAN (BT300) de 6 à 8 micromètres de diamètre et avec différentes longueurs de 0,5 à 2,5 mm. De l'eau dé-ionisée a été utilisée comme matériau environnant. Enfin, les valeurs de conductivité thermique radiale obtenues se sont avérées beaucoup plus petites que les valeurs axiales précédemment mesurées, typiquement plus d'un ordre de grandeur inférieur.
Modélisation individu centré de la condensation en goutte
Creators: name: Lethuillier, Jérémie
name: Miscevic, Marc
name: Lavieille, Pascal
name: Topin, Frédéric
Publisher: name: Société Française de Thermique
Year: 2021
Subjects: Condensation en goutte

description: La condensation en gouttes est un régime extrêmement efficace dans l'optique de gérer d'important flux de chaleur. De récentes études ont obtenu des coefficients de transfert allant jusqu'à 250~$\unit{kW.m^{-2}}$. Afin de modéliser le coefficient de transfert lors de la condensation en gouttes, deux sous modèles sont nécessaires. Un premier modèle évaluant les transferts thermiques à l'intérieur de la goutte, ce qui permet par la suite de déterminer sa vitesse de croissance. Le modèle classiquement utilisé dans la littérature est basé sur un réseau de plusieurs résistances thermiques entre la phase vapeur et le substrat sous-refroidi. Le second modèle concerne la détermination de la distribution de la taille des gouttes sur la surface. Actuellement cette distribution est calculée à partir d'un modèle hybride basé sur une loi semi-empirique pour les gouttes observables expérimentalement (c'est à dire les gouttes supérieures à quelques microns) et sur un modèle statistique pour les plus petites gouttes. Comme aucunes données n'existent à ce jour pour valider la distribution des petites gouttes, une approche numérique de type individu centré a été utilisée afin de confronter ce modèle statistique. L'approche de type individu centré permet de retrouver la distribution des grosses gouttes qui a été validée expérimentalement. En revanche, la distribution des gouttes de petites tailles est relativement différente. Dans les configurations considérées dans la présente étude, une analyse des principales hypothèses retenues dans l'approche statistique (en particulier, l'hypothèse d'un temps caractéristique de renouvellement constant $\tau$ quelle que soit la taille des gouttes) a révélé que le mécanisme principal de renouvellement de la surface est en réalité uniquement lié au coalescence des gouttes immobiles et non au balayage des gouttes en mouvement. A partir de ces résultats, une modification du modèle statistique est proposée et discutée, ainsi qu'une analyse de l'influence de ces hypothèses sur le coefficient de transfert.
On the complexity of curve fitting algorithms
Creators: name: Chernov, N.
name: Lesort, C.
name: Simanyi, N.
Publisher: name: arXiv
Year: 2003
Subjects: subject: Computational Complexity (cs.CC)
subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences
subject: I.4.8; I.5.1; G.3

description: We study a popular algorithm for fitting polynomial curves to scattered data based on the least squares with gradient weights. We show that sometimes this algorithm admits a substantial reduction of complexity, and, furthermore, find precise conditions under which this is possible. It turns out that this is, indeed, possible when one fits circles but not ellipses or hyperbolas.
description: 8 pages, no figures
Additional file 6 of Genes optimized by evolution for accurate and fast translation encode in Archaea and Bacteria a broad and characteristic spectrum of protein functions
Creators: name: Von Mandach, Conrad
name: Merkl, Rainer
Publisher: name: figshare
Year: 2021
Subjects: subject: Biochemistry
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Ecology
subject: Cancer
subject: Computational Biology

description: Additional file 6:Figure S2 - TCA cycle as depicted in the reference pathway of KEGG. (PDF 1 MB)
Additional file 6: of Prevalence and risk factors for acute kidney injury among trauma patients: a multicenter cohort study
Creators: name: Harrois, Anatole
name: Soyer, Benjamin
name: Gauss, Tobias
name: Hamada, Sophie
name: Raux, Mathieu
name: Duranteau, Jacques
Publisher: name: figshare
Year: 2018
Subjects: Biotechnology
Biological Sciences not elsewhere classified
Mathematical Sciences not elsewhere classified
Developmental Biology
Science Policy

description: Assessment of AKI stage I or F and AKI of all stages (R, I or F) as risk factors associated with mortality in a stepwise logistic regression model. (DOCX 29 kb)
Modélisation CFD des performances thermiques d'un mur Trombe
Creators: name: Laribi, Afef
name: Bégot, Sylvie
name: Lepiller, Valérie
name: Ait-Oumeziane, Yacine
name: Désévaux, Philippe
Publisher: name: Société Française de Thermique
Year: 2021
Subjects: Mur Trombe
CFD
énergies renouvelables
convection naturelle
transfert thermique conjugué

description: Dans le monde et particulièrement en France, le secteur du bâtiment est un gros consommateur d'énergie. Une part importante de cette énergie est en effet utilisée pour assurer le confort hygrothermique de l'occupant. Afin de limiter la consommation d'énergie carbonée et de limiter les émissions de gaz à effet de serre, les réglementations énergétiques incitent au développement de sources d'énergies propres. Dans ce contexte, les systèmes solaires passifs apparaissent comme une alternative intéressante pour répondre aux besoins de chauffage, de ventilation et de climatisation en permettant d'économiser jusqu'à 30 \% de l'énergie consommée. L'une des techniques passives les plus performantes réside dans l'utilisation de murs Trombe. Un mur Trombe est un système composé, de l'extérieur vers l'intérieur, d'un vitrage séparé d'une paroi stockeuse opaque par une lame d'air ventilée. Afin de favoriser les échanges thermiques convectifs, des ouïes sont installées en parties haute et basse de la paroi stockeuse. Son intégration au bâtiment vise à valoriser le rayonnement solaire en associant deux phénomènes physiques : l'effet de serre à travers un vitrage et l'inertie thermique du mur. Cependant, cette technique, performante en saison hivernale, présente des inconvénients en été car elle engendre une surchauffe. C'est pourquoi, des modifications doivent être mises en place afin d'adapter le fonctionnement de ce système indépendamment des conditions climatiques. Notre étude consiste à réaliser un modèle numérique afin de simuler le comportement thermique d'un mur Trombe. Le comportement du mur Trombe en régime permanent est étudié via un modèle CFD en deux dimensions prenant en compte les transferts par conduction, convection et par rayonnement ainsi que la turbulence de l'écoulement d'air. Après une validation des simulations à partir de résultats issus de la littérature, une première étude paramétrique concernant l'influence de la largeur des ouïes et de l'épaisseur de la lame d'air est proposée. Les performances thermiques du mur Trombe sont analysées numériquement par le biais de plusieurs grandeurs (température au niveau au niveau de la lame d'air, des ouïes, de l'intérieur du local, vitesse au niveau de la lame d'air) décrivant les aspects thermo-aérauliques locaux et à travers la notion d'efficacité thermique du système.
Level crossings and new exact solutions of the two-photon Rabi model
Creators: name: Maciejewski, Andrzej J.
name: Stachowiak, Tomasz
Publisher: name: arXiv
Year: 2019
Subjects: subject: Quantum Physics (quant-ph)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: An infinite family of exact solutions of the two-photon Rabi model was found by investigating the differential algebraic properties of the Hamiltonian. This family corresponds to energy level crossings not covered by the Juddian class, which is given by elemetary functions. In contrast, the new states are expressible in terms of parabolic cylinder or Bessel functions. We discuss three approaches for discovering this hidden structure: factorization of differential equations, Kimura transformation, and a doubly-infinite, transcendental basis of the Bargmann space.
description: Accepted for publication in Journal of Physics A; 17 pages, 1 color figure
Développement d'un fluxmètre imageur hyperspectrale sans contact par thermographie InfraRouge
Creators: name: Aouali, Abderezak
name: Chevalier, Stéphane
name: Sommier, Alain
name: Batsale, Jean-Christophe
name: Pradere, Christophe
Publisher: name: Société Française de Thermique
Year: 2021
Subjects: Fluxmètrie hyperspectrale
thermographie infrarouge
méthodes inverses

description: Ces travaux s'inscrivent dans le cadre du projet IGAR qui vise à caractériser thermiquement et chimiquement des torches à plasma. L'enjeu principal est la mesure des champs 3D de la température et du flux sans contact en vue de l'optimisation énergétique des torches. La connaissance du flux thermique est souvent primordiale dans certains domaines, citons à titre d'exemple le domaine de la construction, l'aéronautique, l'aérospatiale, la métrologie ..., cette connaissance du flux thermique peut: (i), permettre la réalisation de bilans thermiques, (ii), servir de données d'entrées à des modèles ou (ii), contrôler les procédés. Dans les travaux précédents, il existe de nombreuses méthodes d'estimation des sources de chaleur en fonction de la nature du transfert thermique : conduction, convection ou rayonnement; on s'intéressera dans cette étude uniquement aux méthodes inverses thermiques liées au transfert conductif. Différents capteurs de flux (pour des estimations du flux ponctuel ou spatialement répartie) ont déjà été développés auparavant en se basant sur différentes méthodes (méthodes inverses analytiques, méthodes inverses numériques, méthode du gradient de température spatiale ...). Ces capteurs sont tous conçus pour l'estimation de source dans la gamme spectrale de l'infrarouge. De plus, l'estimation simultanée de la répartition spatiale ainsi que l'amplitude (densité d'énergie) de la source est rarement atteint. Ici l'objectif est de développer un capteur de flux hyperspectrale en utilisant un film de carbone très fin et homogène appelé thermoconvertisseur hyperspectrale. Des études ont été faites auparavant sur le thermoconvertisseur et ont démontré sa capacité à absorber le rayonnement dans une très large gamme spectrale (du visible aux ondes radio) avec des proportionnalités différentes (selon la longueur d'onde). Ce capteur permettra d'estimer la répartition spatiale de la source ainsi que sa densité d'énergie. Dans cette communication, nous présenterons le montage expérimental ainsi que le modèle analytique et la méthode inverse utilisés. Ensuite, nous proposerons une méthode de calibration du thermoconvertisseur hyperspectrale afin de mettre en évidence l'aspect quantitatif du capteur, Enfin, nous présenterons des résultats obtenus par le capteur pour différentes sources (différentes gammes spectrales).
Beam-size effect in Bremsstrahlung
Creators: name: Baier, V. N.
name: Katkov, V. M.
Publisher: name: arXiv
Year: 2003
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: The smallness of the transverse dimensions of the colliding beams leads to suppression of bremsstrahlung cross section. This beam-size effect was discovered and investigated at INP, Novosibirsk. Different mechanisms of radiation are discussed. Separation of coherent and incoherent radiation is analyzed in detail. For linear collider this suppression affects the whole radiation spectrum. It is shown that objections to the subtraction procedure in \cite{BK2} are groundless.
description: Plenary talk at the Workshop "Quantum Aspects of Beam Physics", Hiroshima, Japan, January 7-11, 2003. To be pulished in the Proceedings (World Scientific, Singapore)
Electrostatic cooling at electrolyte-electrolyte junctions
Creators: name: Porada, S.
name: Hamelers, H. V. M.
name: Biesheuvel, P. M.
Publisher: name: arXiv
Year: 2019
Subjects: subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: Electrostatic cooling is known to occur in conductors and in porous electrodes in contact with aqueous electrolytes. Here we present for the first time evidence of electrostatic cooling at the junction of two electrolyte phases. These are, first, water containing salt, and, second, an ion-exchange membrane, which is a water-filled porous layer containing a large concentration of fixed charges. When ionic current is directed through such a membrane in contact with aqueous phases on both sides, a temperature difference develops across the membrane which rapidly switches sign when the current direction is reversed. The temperature difference develops because one water-membrane junction cools down, while the other heats up. Cooling takes place when the inner product of ionic current $\textbf{I}$ and field strength $\textbf{E}$ is a negative quantity, which is possible in the electrical double layers that form on the surface of the membrane. Theory reproduces the magnitude of the effect but overestimates the rate by which the temperature difference across the membrane adjusts itself to a reversal in current.
Additional file 7 of Genes optimized by evolution for accurate and fast translation encode in Archaea and Bacteria a broad and characteristic spectrum of protein functions
Creators: name: Von Mandach, Conrad
name: Merkl, Rainer
Publisher: name: figshare
Year: 2021
Subjects: subject: Biochemistry
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Ecology
subject: Cancer
subject: Computational Biology

description: Authors’ original file for figure 1
MOESM1 of Optimized production of a biologically active Clostridium perfringens glycosyl hydrolase phage endolysin PlyCP41 in plants using virus-based systemic expression
Creators: name: Hammond, Rosemarie
name: Swift, Steven
name: Foster-Frey, Juli
name: Kovalskaya, Natalia
name: Donovan, David
Publisher: name: figshare
Year: 2019
Subjects: subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Molecular Biology
subject: Biotechnology
subject: Evolutionary Biology
subject: Ecology
subject: 69999 Biological Sciences not elsewhere classified
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: Plant Biology
subject: 60506 Virology
subject: Computational Biology

description: Additional file 1: Figure S1. Plant codon-optimized PlyCP41pc gene. A. Nucleotide sequence of the PlyCP41pc gene and explanatory notes and encoded protein. B. Alignment of E. coli optimized gene PlyCP41 (and identical PlyCP41p) nucleotide sequence (lower line in black) and plant codon-optimized gene PlyCP41pc (upper line in red). Yellow boxes indicate the modified sequences in PlyCP41pc.
Additional file 8 of Genes optimized by evolution for accurate and fast translation encode in Archaea and Bacteria a broad and characteristic spectrum of protein functions
Creators: name: Von Mandach, Conrad
name: Merkl, Rainer
Publisher: name: figshare
Year: 2021
Subjects: subject: Biochemistry
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Ecology
subject: Cancer
subject: Computational Biology

description: Authors’ original file for figure 2
MOESM2 of Prediction and prognostic significance of BCAR3 expression in patients with multiple myeloma
Creators: name: Zhang, Weilong
name: Lin, Yuansheng
name: Liu, Xiaoni
name: He, Xue
name: Zhang, Ye
name: Fu, Wei
name: Yang, Zuozhen
name: Yang, Ping
name: Wang, Jing
name: Hu, Kai
name: Zhang, Xiuru
name: Liu, Weiyou
name: Yuan, Xiaoliang
name: Jing, Hongmei
Publisher: name: figshare
Year: 2018
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Pharmacology
subject: Biological Sciences not elsewhere classified
subject: Mathematical Sciences not elsewhere classified
subject: Developmental Biology
subject: Cancer
subject: Hematology
subject: Infectious Diseases
subject: FOS: Health sciences
subject: Computational Biology

description: Additional file 2: Table S1. Multivariate analysis of clinical prognostic parameters in 559 multiple myeloma patients (Cox regression multivariate analysis). Table S2. Baseline patient characteristics according to the expression level of BCAR3.
A relational solution to the problem of time in quantum mechanics and quantum gravity induces a fundamental mechanism for quantum decoherence
Creators: name: Gambini, Rodolfo
name: Porto, Rafael
name: Pullin, Jorge
Publisher: name: arXiv
Year: 2004
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: The use of a relational time in quantum mechanics is a framework in which one promotes to quantum operators all variables in a system, and later chooses one of the variables to operate like a ``clock''. Conditional probabilities are computed for variables of the system to take certain values when the ``clock'' specifies a certain time. This framework is attractive in contexts where the assumption of usual quantum mechanics of the existence of an external, perfectly classical clock, appears unnatural, as in quantum cosmology. Until recently, there were problems with such constructions in ordinary quantum mechanics with additional difficulties in the context of constrained theories like general relativity. A scheme we recently introduced to consistently discretize general relativity removed such obstacles. Since the clock is now an object subject to quantum fluctuations, the resulting evolution in the time is not exactly unitary and pure states decohere into mixed states. Here we work out in detail the type of decoherence generated, and we find it to be of Lindblad type. This is attractive since it implies that one can have loss of coherence without violating the conservation of energy. We apply the framework to a simple cosmological model to illustrate how a quantitative estimate of the effect could be computed. For most quantum systems it appears to be too small to be observed, although certain macroscopic quantum systems could in the future provide a testing ground for experimental observation.
description: 13 pages, RevTex
Additional file 9 of Genes optimized by evolution for accurate and fast translation encode in Archaea and Bacteria a broad and characteristic spectrum of protein functions
Creators: name: Von Mandach, Conrad
name: Merkl, Rainer
Publisher: name: figshare
Year: 2021
Subjects: subject: Biochemistry
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Ecology
subject: Cancer
subject: Computational Biology

description: Authors’ original file for figure 3
Additional file 8 of Obesity and dyslipidemia are associated with partially reversible modifications to DNA hydroxymethylation of apoptosis- and senescence-related genes in swine adipose-derived mesenchymal stem/stromal cells
Creators: name: Glasstetter, Logan M.
name: Oderinde, Tomiwa S.
name: Mirchandani, Mohit
name: Rajagopalan, Kamalnath Sankaran
name: Barsom, Samer H.
name: Thaler, Roman
name: Siddiqi, Sarosh
name: Zhu, Xiang-Yang
name: Tang, Hui
name: Jordan, Kyra L.
name: Saadiq, Ishran M.
name: van Wijnen, Andre J.
name: Eirin, Alfonso
name: Lerman, Lilach O.
Publisher: name: figshare
Year: 2023
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 8: Figure S7. Lower rates of cell death in swine Obese-MSCs. A The percentage of apoptotic cells, determined by flow cytometry gated on Annexin-V+ and Sytox–, was not significantly different between swine Obese- and Lean-MSCs. B The percentage of dead cells, determined by flow cytometry gated on Annexin-V+ and Sytox+, was lower in Obese-MSCs compared with Lean-MSCs. C The percentage of live cells, determined by flow cytometry gated on Annexin-V− and Sytox–, was higher in Obese-MSCs compared with Lean-MSCs. n = 6 per group; *p-value = 0.0022 vs. Lean-MSCs.
Chemodynamical gas flow cycles and their influence on the chemical evolution of dwarf irregular galaxies
Creators: name: Rieschick, Andreas
name: Hensler, Gerhard
Publisher: name: arXiv
Year: 2003
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: Here we investigate an exemplary chemodynamical evolutionary simulation of a dwarf irregular galaxy. By means of this model we demonstrate the existence of three gas mixing cycles: 1) An inner "local cycle" mixing the metals produced in stars locally, and 2) an outer "galactic cycle" on which hot gas is driven out of the galaxy by multiple supernovae type II and mixes on a short timescale with the available cold gas. 3) Only a small fraction of the metals leaves the galactic gravitational field and follows the "global cycle" with the intergalactic matter. The large-scale mixing results in a temporary depletion of supernova ejected metals. We will discuss this "delayed recycling" and its influence on the chemical evolution, especially on the nitrogen over oxygen ratio which is increased temporarily. These results presented her are also relevant for less sophisticated analytical approaches and chemical evolutionary models of galaxies which have to parameterize the metal loss through outflow.
description: 4 pages, 1 figure, to appear in Proceedings of "The Evolution of Galaxies - III. From simple approaches to self-consistent models", eds. G. Hensler et al., Kluwer Publ., Dordrecht
Ab initio study of the beta$-tin->Imma->sh phase transitions in silicon and germanium
Creators: name: Gaal-Nagy, Katalin
name: Pavone, Pasquale
name: Strauch, Dieter
Publisher: name: arXiv
Year: 2003
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: We have investigated the structural sequence of the high-pressure phases of silicon and germanium. We have focussed on the cd->beta-tin->Imma->sh phase transitions. We have used the plane-wave pseudopotential approach to the density-functional theory implemented within the Vienna ab-initio simulation package (VASP). We have determined the equilibrium properties of each structure and the values of the critical parameters including a hysteresis effect at the phase transitions. The order of the phase transitions has been obtained alternatively from the pressure dependence of the enthalpy and of the internal structure parameters. The commonly used tangent construction is shown to be very unreliable. Our calculations identify a first-order phase transition from the cd to the beta-tin and from the Imma to the sh phase, and they indicate the possibility of a second-order phase-transition from the beta-tin to the Imma phase. Finally, we have derived the enthalpy barriers between the phases.
description: 12 pages, 16 figures
Anisotropic Compact Star Model Satisfying Karmarkar Conditions
Creators: name: Pandya, D. M.
name: Thakore, B.
name: Goti, R.
name: Rank, J. P.
name: Shah, S.
Publisher: name: arXiv
Year: 2019
Subjects: subject: General Physics (physics.gen-ph)
subject: FOS: Physical sciences

description: A new class of solutions describing the composition of compact stars has been proposed, assuming that the fluid distribution inside the star is anisotropic. This is achieved by assuming the appropriate metric potential and then solving Einstein's field equations using Karmarkar conditions [Karmarkar K. R., \textit{Proc. Indian Acad. Sci.} \textbf{27} (1948) 56] to derive the expressions for star density, the radial and tangential pressures in terms of the constants A, B, a paramter `a' and the curvature parameter R. The equations thus obtained have been passed through rigorous conditional analysis. It is further shown that the model is physically viable and mathematically well-behaved, fulfilling the requisite conditions viz., regularity condition, strong energy condition, causality condition, etc. Observed star candidates including EXO 1785-248, SMC X-1, SAXJ1808.43658(SS2), HER X-1, 4U 1538-52, Cen X-3 and LMC X-4 were found to conform to a good approximation through the outcome of this model for a=0.5.
description: 36 Pages, 12 figures, 4 tables
Propagation de fumées en façade avec contamination d'un local supérieur
Creators: name: Serre, Lilian
name: Bastide, Alain
name: Vauquelin, Olivier
name: Juhoor, Karim Khan
name: Varrall, Kévin
Publisher: name: Société Française de Thermique
Year: 2021
Subjects: Propagation de fumées
sécurité incendie
ventilation naturelle
façades
contamination

description: Les constructions dites « bioclimatiques » sont en plein essor en milieu tropical, comme sur l'île de La Réunion. L'importante porosité aéraulique des façades de ces constructions permet de rafraîchir l'ambiance des bâtiments par la ventilation naturelle. Cependant, cette utilisation de la ventilation naturelle à des fins de confort thermique peut nuire aux objectifs de sécurité incendie. L'écoulement interne d'une cellule où se développent les fumées d'un incendie dépend de la puissance de la source et de la géométrie du local (et en particulier la position des ouvrants). Ainsi, selon les conditions, l'ambiance peut être stratifiée ou mélangée, et les écoulements fluides aux ouvrants sont unidirectionnels (entrant ou sortant) ou bidirectionnels. Le présent travail a pour objectif d'étendre ces études et de comprendre dans quelles mesures le panache de fumée issu de ce local dit « source » peut, par propagation en façade [4-5], contaminer un local qui lui est superposé. Une étude numérique, réalisée sur le logiciel de MFN Fire Dynamics Simulator, permet d'aborder la dynamique de cette contamination. Dans une configuration académique, dans laquelle les locaux sont de mêmes dimensions et ouverts sur une face commune, le panache déversant est défini par ses conditions de température et vitesse d'injection imposées à la source (Ui = 0.5, 1, 1.5 et 2 m/s, et Ti = 80, 100, 200 et 300$^{\circ}$C). Le transport d'un polluant passif (ici le monoxyde de carbone) permet une quantification de la contamination du local supérieur. Pour une température d'injection fixée, le taux de contamination décroit systématiquement avec l'augmentation de la vitesse d'injection. A contrario, l'augmentation de la température n'engendre que des variations peu significatives du taux de contamination pour de faibles vitesses d'injection, mais a un impact important pour les vitesses d'injection élevées. L'aérodynamisme joue un rôle important dans cette contamination, la modélisation en Froude permettant classiquement de traiter la dynamique de panache n'est plus suffisante pour retranscrire la physique rencontrée ici.
Implementation of Shor's Algorithm on a Linear Nearest Neighbour Qubit Array
Creators: name: Fowler, Austin G.
name: Devitt, Simon J.
name: Hollenberg, Lloyd C. L.
Publisher: name: arXiv
Year: 2004
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Shor's algorithm, which given appropriate hardware can factorise an integer $N$ in a time polynomial in its binary length $L$, has arguable spurred the race to build a practical quantum computer. Several different quantum circuits implementing Shor's algorithm have been designed, but each tacitly assumes that arbitrary pairs of qubits within the computer can be interacted. While some quantum computer architectures possess this property, many promising proposals are best suited to realising a single line of qubits with nearest neighbour interactions only. In light of this, we present a circuit implementing Shor's factorisation algorithm designed for such a linear nearest neighbour architecture. Despite the interaction restrictions, the circuit requires just $2L+4$ qubits and to first order requires $8L^{4}$ gates arranged in a circuit of depth $32L^{3}$ -- identical to first order to that possible using an architecture that can interact arbitrary pairs of qubits.
description: 9 pages, 8 figures
Mesure thermique indirecte en temps réel dans un four radiant par modèle réduit
Creators: name: Gaume, Benjamin
name: Rouizi, Yassine
name: Joly, Frédéric
name: Quemener, Olivier
Publisher: name: Société Française de Thermique
Year: 2021
Subjects: Problème inverse
Rayonnement thermique
Réduction de modèle

description: La réduction de modèle par la méthode AROMM (Amalgam Reduced Order Modal Model) permet une forte réduction du temps de simulation tout en permettant un accès à l'ensemble de la scène thermique avec une prise en compte des phénomènes radiatifs. D'autre part, des travaux sur l'identification avec cette même méthode ont montré leur intérêt pour l'identification de flux de chaleur sur un disque de frein. Dans la continuité de ces travaux, nous proposons ici d'utiliser la méthode AROMM, afin (i) d'identifier une source radiative variable dans le temps à partir de quelques points de mesures avec un modèle d'ordre faible, (ii) de reconstruire la scène thermique complète avec un modèle réduit d'un ordre plus important. L'exemple traité ici porte sur un four industriel dans lequel une pièce en titane est chauffée par deux tubes radiants ayant une température variable dans le temps comprise entre 293 et 1173K. Les données d'entrées pour l'identification sont les températures de deux points de mesure sur le four, caractérisées par un bruit blanc de 2K. A partir d'un modèle réduit d'ordre 20, la source rayonnante est identifiée en temps réel sur une fenêtre de temps glissante via une procédure de minimisation utilisant l'algorithme de région de confiance. Il est alors possible de reconstruire toujours en temps réel le champ de température complet sur l'intégralité de la pièce en titane à l'aide d'un modèle réduit d'ordre 150. Le champ erreur obtenu se distingue par une erreur moyenne inférieure à 2K et une erreur maximum ponctuelle en temps et en espace inférieure à 40K.
Geometric Perturbation Theory and Acoustic Boundary Condition Dynamics
Creators: name: Heider, David T.
name: van Hemmen, J. Leo
Publisher: name: arXiv
Year: 2019
Subjects: subject: Mathematical Physics (math-ph)
subject: Quantitative Methods (q-bio.QM)
subject: FOS: Physical sciences
subject: FOS: Biological sciences

description: Geometric perturbation theory is universal. A typical example is provided by the 3D wave equation, widely used in acoustics. We face vibrating eardrums as a binaural auditory input stemming from an external sound source. In the setup of internally coupled ears (ICE), which are present in more than half of the land-living vertebrates, the two tympana are coupled by an internal air-filled cavity, whose geometry determines the acoustic properties of the ICE system. The eardrums themselves are described by a 2-dimensional, damped, wave equation and are part of the spatial boundary conditions of the three-dimensional Laplacian belonging to the wave equation in the internal cavity that couples and internally drives the eardrums. In animals with ICE the resulting signal is the superposition of external sound arriving at both eardrums and the internal pressure coupling them. This is also the typical setup for geometric perturbation theory. In the context of ICE it boils down to acoustic boundary-condition dynamics (ABCD) for the coupled dynamical system of eardrums and internal cavity. In acoustics the deviations from equilibrium are extremely small (nm). Perturbation theory is therefore natural and shown to be appropriate. In doing so, we use a time-dependent perturbation theory à la Dirac in the context of Duhamel's principle. The relaxation dynamics of the tympanic-membrane system, which neuronal information processing stems from, is explicitly obtained in first order. Furthermore, both the initial and the quasi-stationary asymptotic state are derived and analyzed. Finally, we set the general stage for geometric perturbation theory where (d-1)-dimensional manifolds as subsets of the boundary of a d-dimensional domain are driven by their own dynamics with the domain pressure $p$ and an external source term as input, at the same time constituting time-dependent boundary conditions for $p$.
MOESM5 of Comparison of the transcriptomes of two tardigrades with different hatching coordination
Creators: name: Yoshida, Yuki
name: Sugiura, Kenta
name: Tomita, Masaru
name: Matsumoto, Midori
name: Kazuharu Arakawa
Publisher: name: figshare
Year: 2019
Subjects: subject: Biochemistry
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Physiology
subject: Evolutionary Biology
subject: Ecology
subject: 69999 Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Marine Biology
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 5: Figure S5. Profiles of anti-oxidative stress related genes. Z-scaled TPM values of catalase (CATE), glutathione S-transferase (GST), superoxide dismutase (SOD), and Thioredoxin reductase (TRX) of both species were plotted as a heatmap.
Bayesian Tools of the Trade for Developmental Psychologists: A Quick-Start Guide Using JASP
Creators: name: Coon, Jeff
name: Silva, Paulina N
name: Etz, Alexander
name: Sarnecka, Barbara W
Publisher: name: Taylor & Francis
Year: 2024
Subjects: subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Information Systems not elsewhere classified
subject: Mathematical Sciences not elsewhere classified

description: Bayesian methods offer many advantages when applied to psychological research, yet they may seem esoteric to researchers who are accustomed to traditional methods. This paper aims to lower the barrier of entry for developmental psychologists who are interested in using Bayesian methods. We provide worked examples of how to analyze common study designs, demonstrating how to use Bayesian versions of traditional statistical routines (t-tests, binomial tests, correlation, linear regression, and ANOVA). By adopting this approach, we focus on providing researchers with Bayesian analyses that will be both immediately applicable and somewhat familiar. In the process, we introduce fundamental Bayesian concepts and fundamental challenges that come with using Bayesian methods.
Observed Non-Steady State Cooling and the Moderate Cluster Cooling Flow Model
Creators: name: Soker, Noam
name: David, Laurence P.
Publisher: name: arXiv
Year: 2003
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We examine recent developments in the cluster cooling flow scenario following recent observations by Chandra and XMM-Newton. We show that the distribution of gas emissivity verses temperature determined by XMM-Newton gratings observations demonstrates that the central gas in cooling flow clusters cannot be in simple steady-state. Combining this result with the lack of spectroscopic evidence for gas below one-third of the ambient cluster temperature is strong evidence that the gas is heated intermittently. While the old steady-state isobaric cooling flow model is incompatible with recent observations, a "moderate cooling flow model", in which the gas undergoes intermittent heating that effectively reduces the age of a cooling flow is consistent with observations. Most of the gas within cooling flows resides in the hottest gas, which is prevented from cooling continuously and attaining a steady-state configuration. This results in a mass cooling rate that decreases with decreasing temperature, with a much lower mass cooling rate at the lowest temperatures. The present paper strengthens the moderate cooling flow model, which can accommodate the unique activities observed in cooling flow clusters.
description: ApJ, in press
On the Formation of Giant Elliptical Galaxies and Globular Clusters
Creators: name: Lee, Myung Gyoon
Publisher: name: arXiv
Year: 2003
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: I review the current status of understanding when, how long, and how giant elliptical galaxies formed, focusing on the globular clusters. Several observational evidences show that massive elliptical galaxies formed at $z>2$ ($>10$ Gyr ago). Giant elliptical galaxies show mostly a bimodal color distribution of globular clusters, indicating a factor of $\approx 20$ metallicity difference between the two peaks. The red globular clusters (RGCs) are closely related with the stellar halo in color and spatial distribution, while the blue globular clusters (BGCs) are not. The ratio of the number of the RGCs and that of the BGCs varies depending on galaxies. It is concluded that the BGCs might have formed 12--13 Gyr ago, while the RGCs and giant elliptical galaxies might have formed similarly 10-11 Gyr ago. It remains now to explain the existence of a gap between the RGC formation epoch and the BGC formation epoch, and the rapid metallicity increase during the gap ($Δt \approx 2$ Gyr). If hierarchical merging can form a significant number of giant elliptical galaxies $>10$ Gyr ago, several observational constraints from stars and globular clusters in elliptical galaxies can be explained.
description: The proceedings of 28 pages, 14 figures (11 ps, 3 jpg), proceedings of APCTP 2nd Korean Astrophysics Workshop on "Formation and Interaction of Galaxies" (H.M.Lee & D. Ryu eds), to appear in the Journal of Korean Astronomical Society
Optimisation de la caractérisation thermique de l'argent fritté par la méthode flash
Creators: name: Sghuri, Anas
name: Billaud, Yann
name: Signor, Loïc
name: Gadaud, Pascal
name: Saury, Didier
name: Milhet, Xavier
Publisher: name: Société Française de Thermique
Year: 2021
Subjects: Argent fritté
conduction thermique
estimation de paramètres
méthode flash
méthodes inverses.

description: Ce travail présente une optimisation de la caractérisation thermique par la méthode flash de l'argent fritté, utilisé notamment pour le report de composants électroniques. L'étude s'appuie sur une évaluation comparative de la durée et du niveau d'intensité d'excitation du laser, par rapport à la face de mesure, et de leurs effets sur la précision de l'estimation des diffusivités thermiques du matériau. La méthode d'estimation des diffusivités repose sur la résolution d'un problème inverse en minimisant l'écart quadratique entre la réponse d'un modèle semi-analytique 3D et les mesures issues d'une unique expérience de type méthode flash. Pour cette étude préliminaire, des données synthétiques représentatives seront utilisées. L'estimateur retenu, connu sous le nom de ENH (Estimation par Normalisation des Harmoniques), consiste à diviser les mesures par une harmonique de référence de manière à transformer le problème inverse non-linéaire en un problème inverse linéaire par rapport aux paramètres à estimer. Cette méthode permet l'estimation simultanée des composantes de la diffusivité dans le plan de l'excitation ($\alpha_x$ et $\alpha_y$) ainsi que les paramètres associés à l'excitation non uniforme. La précision de la méthode est évaluée à partir de données synthétiques, et les résultats de l'identification correspondants aux configurations étudiées, en termes de face de mesure et d'excitation, sont présentés et commentés.
On model checking data-independent systems with arrays without reset
Creators: name: Lazic, R. S.
name: Newcomb, T. C.
name: Roscoe, A. W.
Publisher: name: arXiv
Year: 2004
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: D.1.6; D.3.2

description: A system is data-independent with respect to a data type X iff the operations it can perform on values of type X are restricted to just equality testing. The system may also store, input and output values of type X. We study model checking of systems which are data-independent with respect to two distinct type variables X and Y, and may in addition use arrays with indices from X and values from Y . Our main interest is the following parameterised model-checking problem: whether a given program satisfies a given temporal-logic formula for all non-empty nite instances of X and Y . Initially, we consider instead the abstraction where X and Y are infinite and where partial functions with finite domains are used to model arrays. Using a translation to data-independent systems without arrays, we show that the u-calculus model-checking problem is decidable for these systems. From this result, we can deduce properties of all systems with finite instances of X and Y . We show that there is a procedure for the above parameterised model-checking problem of the universal fragment of the u-calculus, such that it always terminates but may give false negatives. We also deduce that the parameterised model-checking problem of the universal disjunction-free fragment of the u-calculus is decidable. Practical motivations for model checking data-independent systems with arrays include verification of memory and cache systems, where X is the type of memory addresses, and Y the type of storable values. As an example we verify a fault-tolerant memory interface over a set of unreliable memories.
description: Appeared in Theory and Practice of Logic Programming, vol. 4, no. 5&6, 2004
Atypical Facial Landmark Localisation with Stacked Hourglass Networks: A Study on 3D Facial Modelling for Medical Diagnosis
Creators: name: Storey, Gary
name: Bouridane, Ahmed
name: Jiang, Richard
name: Li, Chang-tsun
Publisher: name: arXiv
Year: 2019
Subjects: subject: Machine Learning (cs.LG)
subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Image and Video Processing (eess.IV)
subject: Machine Learning (stat.ML)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: While facial biometrics has been widely used for identification purpose, it has recently been researched as medical biometrics for a range of diseases. In this chapter, we investigate the facial landmark detection for atypical 3D facial modelling in facial palsy cases, while potentially such modelling can assist the medical diagnosis using atypical facial features. In our work, a study of landmarks localisation methods such as stacked hourglass networks is conducted and evaluated to ascertain their accuracy when presented with unseen atypical faces. The evaluation highlights that the state-of-the-art stacked hourglass architecture outperforms other traditional methods.
description: In press, 2019
Hydride Vapor-Phase Epitaxy Reactor for Bulk GaN Growth
Creators: name: Voronenkov, Vladislav
name: Bochkareva, Natalia
name: Zubrilov, Andrey
name: Lelikov, Yuri
name: Gorbunov, Ruslan
name: Latyshev, Philipp
name: Shreter, Yuri
Publisher: name: arXiv
Year: 2019
Subjects: subject: Applied Physics (physics.app-ph)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: An HVPE reactor for the growth of bulk GaN crystals with a diameter of 50 mm was developed. Growth rate non-uniformity of 1% was achieved using an axisymmetric vertical gas injector with stagnation point flow. Chemically-resistant refractory materials were used instead of quartz in the reactor hot zone. High-capacity external gallium precursor sources were developed for the non-stop growth of the bulk GaN layers. A load-lock vacuum chamber and a dry in-situ growth chamber cleaning were implemented to improve the growth process reproducibility. Freestanding GaN crystals with a diameter of 50 mm were grown with the reactor.
MOESM4 of Comparison of the transcriptomes of two tardigrades with different hatching coordination
Creators: name: Yoshida, Yuki
name: Sugiura, Kenta
name: Tomita, Masaru
name: Matsumoto, Midori
name: Kazuharu Arakawa
Publisher: name: figshare
Year: 2019
Subjects: subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Physiology
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 4: Figure S4. Expression profiles of CAHS and SAHS orthologs. TPM values of (A) CAHS and (B) SAHS genes were plotted with standard deviation as error bars.
Quantitative Assessment of the Toner and Tu Theory of Polar Flocks
Creators: name: Mahault, Benoît
name: Ginelli, Francesco
name: Chaté, Hugues
Publisher: name: arXiv
Year: 2019
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: We present a quantitative assessment of the Toner and Tu theory describing the universal scaling of fluctuations in polar phases of dry active matter. Using large scale simulations of the Vicsek model in two and three dimensions, we find the overall phenomenology and generic algebraic scaling predicted by Toner and Tu, but our data on density correlations reveal some qualitative discrepancies. The values of the associated scaling exponents we estimate differ significantly from those conjectured in 1995. In particular, we identify a large crossover scale beyond which flocks are only weakly anisotropic. We discuss the meaning and consequences of these results.
description: All comments welcome