cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
The oxidation of fatty acids and other substrates in healthy men fed butterfat versus beef tallow
Creators: name: MacDougall, Diane E.
Publisher: name: University of British Columbia
Year: 2009

description: To assess the influence of dietary fat composition on postprandial oxidation of dietary myristic acid (MA), palmitic acid (PA) and other substrates, healthy males (n=8) consumed prepared solid food diets containing 22% of energy as butter or tallow. Using a randomized cross-over design, subjects were prefed 11 day test diets which were identical in nutrient content except for the specific fat treatment. The diets provided 40%, 45%, and 15% of energy as fat, carbohydrate and protein, respectively, and were fed at a level equivalent to calculated energy requirements. On day 8 and day 11 of each diet cycle, a randomly assigned bolus of [1-¹³C]MA or [1-¹³C]PA (20 mg/kg body weight) was ingested with the breakfast meal. Hourly breath samples were collected for 9 hours thereafter and ¹³C0₂ enrichment was determined using isotope ratio mass spectrometry. Continuous respiratory gas exchange was also monitored and carbohydrate oxidation, fat oxidation and energy expenditure were determined. Treatment fat did not influence the fractional oxidation of dietary [1-¹³C]MA (% dose/9 hours; x±SEM; 7.1±1.0% and 8.6±0.9% after the butter and tallow meal, respectively) or [1-¹³C]PA (3.3±0.7% and 3.0±0.9% after the butter and tallow meal, respectively) (P<0.01, MA versus PA). MA contents of the butter and tallow meals were 4.6 g and 2.4 g, respectively, while the PA contents were 13.6 g and 11.2 g, respectively. While net dietary MA oxidation, calculated as the product of percent oxidation * meal fatty acid content, was greater (p<0.05) after the butter (329±45 mg) compared to tallow (212±25 mg) breakfast, no difference in net oxidation of dietary PA was observed between butter (441 ±99 mg) and tallow (348±95 mg) meals. Overall, dietary MA or PA accounted for less than 1% of fat oxidized for 9 hours postprandial. Cumulative postprandial energy expenditure (kcal/9 hours; 783±26 kcal and 781±31 kcal after the butter and tallow meal, respectively), cumulative postprandial fat oxidation (g/9 hours; 46±3 g and 44±4 g after the butter and tallow meal, respectively), and cumulative postprandial carbohydrate oxidation (g/9 hours; 85±8 g and 89±7 g after the butter and tallow meal, respectively) did not differ due to fat treatment. These findings suggest that the percent oxidation of MA and PA within a meal is independent of the blend of fatty acids consumed. However, it is markedly enhanced with decreasing chain length. Conversely, net oxidation of fatty acids contained within a meal is proportional to the mixture of fatty acids contained therein.
Ebû İshâk Zâhid es-Saffâr'ın Kelâm Yöntemi [The Kalām Method of Abū Isḥāq al-Zāhid al-Ṣaffār]
Creators: name: Demir, Abdullah
Publisher: name: Zenodo
Year: 2019
Subjects: Māturidism
Abū Isḥāq Ibrāhīm b. Ismāʿīl Zāhid al-Ṣaffār al-Bukhārī
Talkhīṣ al-adilla li-qawaʿid al-tawḥīd
Method of the Kalām
Defense of the Kalām
Theory of knowledge
Aql and Naql

description: Abū Isḥāq Ibrāhīm al-Zāhid al-Ṣaffār is one of the important representatives of the Kalām thought of the Ḥanafī-Māturīdī School. He was born in A.H. 450/ C.E. 1058 in Bukhara that is one of the city of Transoxiana/Mawara al-nahr where Maturidi School has been emerged around this socio-cultural environment. He completed his education and served as a leader (rais/ ṣadr) of the Hanafite scholars there until he was exiled to the city of Marv. Upon his return from exile, he passed away in Bukhara in A.H. 534/ C.E. 1139. The present study aims to determine his method in Kalām. The introduction outlines the subject, significance, purpose, method, and sources of the research. In this study, it was employed a method that focuses on a person in which he/she is examined with his/her views and thoughts by taking into account his/her socio-cultural factors. By doing this, the first chapter of this study deals with the political, socio-economic and scientific situation in Transoxiana, and the activities of diverse religions, sects and philosophical schools in this region in A.H. V-VI/C.E. XI-XII. In the second chapter, it studies al-Ṣaffār’s life, scientific personality, works as well as the sources that he made references to in his works in detail. In the third chapter, the kalām method of al-Ṣaffār has been tried to be determined. For this purpose, it analyzes his extant works, Talkhīṣ al-adilla li-qawāʿid al-tawḥīd, and Risālah fī al-kalām and elaborates first at his defense of the Kalām that gives a great importance to reason (ʿaql) and to intellectual debates, if necessary, in theological issues. Then it explores his theory of knowledge with his ideas on the definition, possibility, sources, and types of knowledge, and the epistemological understandings he defensed or criticised. Furthermore, to determine his Kalām method, it evaluates his approach towards the value of ‘aql and naql (Qurʾān-Ḥadīth) as sources of knowledge. Since this issue is a distinctive tool for unveiling the kalām methods of different mutakallims and Muslim sects. Finally, it finds out the types of istidlāl, meaning inference of one thing from the other that he used when he argues and defends his views, and illustrates with examples.
description: Adullah Demir. Ebû İshâk Zâhid es-Saffâr'ın Kelâm Yöntemi. Doktora Tezi, Cumhuriyet Üniversitesi, Sosyal Bilimler Enstitüsü, Sivas, Turkey, 2014. Demir, Abdullah. "The Kalām Method of Abū Isḥāq al-Zāhid al-Ṣaffār". Ph.D. Dissertation, Cumhuriyet University Graduate School of Social Sciences, Sivas, Turkey 2014.
Probing Magnetic Fields in Young Supernova Remnants with IXPE
Creators: name: Slane, Patrick
name: Ferrazzoli, Riccardo
name: Zhou, Ping
name: Vink, Jacco
Publisher: name: arXiv
Year: 2024
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: Synchrotron emission from the shocked regions in supernova remnants provides, through its polarization, crucial details about the magnetic field strength and orientation in these regions. This, in turn, provides information on particle acceleration in these shocks. Due to the rapid losses of the highest-energy relativistic electrons, X-ray polarization measurements allow for investigations of the magnetic field to be carried outvery close to the sites of particle acceleration. Measurements of both the geometry of the field and the levels of turbulence implied by the observed polarization degree thus provide unique insights into the conditions leading to efficient particle acceleration in fast shocks. The Imaging X-ray Polarimetry Explorer (IXPE) has carried out observations of multiple young SNRs, including Cas A, Tycho, SN 1006, and RX J1713.7-3946. In each, significant X-ray polarization detections provide measurements of magnetic field properties that show some common behavior but also considerable differences between these SNRs. Here, we provide a summary of results from IXPE studies of young SNRs, providing comparisons between the observed polarization and the physical properties of the remnants and their environments.
description: 10 pages, 4 figures
Mean eigenvalues for simple, simply connected, compact Lie groups
Creators: name: Kaiser, N.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: We determine for each of the simple, simply connected, compact and complex Lie groups SU(n), Spin$(4n+2)$ and $E_6$ that particular region inside the unit disk in the complex plane which is filled by their mean eigenvalues. We give analytical parameterizations for the boundary curves of these so-called trace figures. The area enclosed by a trace figure turns out to be a rational multiple of $π$ in each case. We calculate also the length of the boundary curve and determine the radius of the largest circle that is contained in a trace figure. The discrete center of the corresponding compact complex Lie group shows up prominently in the form of cusp points of the trace figure placed symmetrically on the unit circle. For the exceptional Lie groups $G_2$, $F_4$ and $E_8$ with trivial center we determine the (negative) lower bound on their mean eigenvalues lying within the real interval $[-1,1]$. We find the rational boundary values -2/7, -3/13 and -1/31 for $G_2$, $F_4$ and $E_8$, respectively.
description: 12 pages, 8 figures
Leptonetela danxia Lin & Li 2010
Creators: name: Wang, Chunxia
name: Li, Shuqiang
Publisher: name: Zenodo
Year: 2011
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Arachnida
Araneae
Leptonetidae
Leptonetela
Leptonetela danxia

description: Leptonetela danxia Lin & Li, 2010 Leptonetela danxia Lin & Li 2010: 21, figs 11–12, 61 Qianleptoneta lycotropa Chen et al. 2010: 2889, figs 10–11, 25D syn. nov. Type material examined. Leptonetela danxia: holotype: male (IZCAS), Zimu Cave, Danxia Mt., Zhaoguan Village, Banqiao Town, Panxian County [25°40.505´N, 104°37.607´E], Guizhou, China, 14 April 2007, Y. Lin & J. Liu leg. Paratype: 1 female, same data as holotype. Qianleptoneta lycotropa: paratypes: 1 male and 1 female (GIBGAS), Shenxian Cave [25°37´N, 104°45´E], Zhudong Town, Panxian County, Guizhou, China, 12 January 2008, H. Chen leg. Distribution. China (Guizhou).
description: Published as part of Wang, Chunxia & Li, Shuqiang, 2011, 2841, pp. 1-90 in Zootaxa 2841 on pages 5-6
description: {"references": ["Lin Y. & Li S. (2010) Leptonetid spiders from caves of the Yunnan-Guizhou Plateau, China (Araneae: Leptonetidae). Zootaxa, 2587, 1 - 93.", "Chen, H. M., Jia, Q. & Wang, S. J. (2010) A revision of the genus Qianleptoneta (Araneae: Leptonetidae). Journal of Natural History, 44, 2873 - 2915."]}
Explainability via Responsibility
Creators: name: Khadivpour, Faraz
name: Guzdial, Matthew
Publisher: name: arXiv
Year: 2020
Subjects: subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: Procedural Content Generation via Machine Learning (PCGML) refers to a group of methods for creating game content (e.g. platformer levels, game maps, etc.) using machine learning models. PCGML approaches rely on black box models, which can be difficult to understand and debug by human designers who do not have expert knowledge about machine learning. This can be even more tricky in co-creative systems where human designers must interact with AI agents to generate game content. In this paper we present an approach to explainable artificial intelligence in which certain training instances are offered to human users as an explanation for the AI agent's actions during a co-creation process. We evaluate this approach by approximating its ability to provide human users with the explanations of AI agent's actions and helping them to more efficiently cooperate with the AI agent.
description: 8 pages, 4 figures
Bayesian model selection and classification: application to brain tissues through T distribution
Creators: name: Gideoni, Iftah
Publisher: name: University of British Columbia
Year: 2009

description: A Bayesian procedure for model selection, parameter estimation and classification, using models of non-orthogonal basis functions, is applied to the problem of T2 decay rate distributions in brain tissues. The feasibility of generating reliable synthetic images of tissue-classified pixels is examined. The work determines, for the first time, the Bayesian probability of existence of short (5-15ms) T2 component in the brain tissues, and found it to be higher than 99% for all white matter tissues and higher than 80% for all gray matter tissues except Cortical Gray . The probability of having no more than three components of decaying exponents in the Ti distributions of the brain tissues, is found to be higher than 90% for all the tissues. We arrive to these findings through the use of models which are parameterized by highly coupled parameters, and the use of multi-dimensional search in the space of these models.
VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems
Creators: name: Weidmann, Nils
name: Anjorin, Anthony
name: Cheney, James
Publisher: name: arXiv
Year: 2020
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: In the field of Model-Driven Engineering, there exist numerous tools that support various consistency management operations including model transformation, synchronisation and consistency checking. The supported operations, however, typically run completely in the background with only input and output made visible to the user. We argue that this often reduces both understandability and controllability. As a step towards improving this situation, we present VICToRy, a debugger for model generation and transformation based on Triple Graph Grammars, a well-known rule-based approach to bidirectional transformation. In addition to a fine-grained, step-by-step, interactive visualisation, VICToRy enables the user to actively explore and choose between multiple valid rule applications thus improving control and understanding.
description: In Proceedings GCM 2020, arXiv:2012.01181
On perturbations of dynamical semigroups defined by covariant completely positive measures on the semi-axis
Creators: name: Amosov, G. G.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Quantum Physics (quant-ph)
subject: Functional Analysis (math.FA)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: We consider perturbations of dynamical semigroups on the algebra of all bounded operators in a Hilbert space generated by covariant completely positive measures on the semi-axis. The construction is based upon unbounded linear perturbations of generators of the preadjoint semigroups on the space of nuclear operators. As an application we construct a perturbation of the semigroup of non-unital *-endomorphisms on the algebra of canonical anticommutation relations resulting in the flow of shifts.
description: 14 pages
Starting the Universe: Stable Violation of the Null Energy Condition and Non-standard Cosmologies
Creators: name: Creminelli, Paolo
name: Luty, Markus A.
name: Nicolis, Alberto
name: Senatore, Leonardo
Publisher: name: arXiv
Year: 2006
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Astrophysics (astro-ph)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We present a consistent effective theory that violates the null energy condition (NEC) without developing any instabilities or other pathological features. The model is the ghost condensate with the global shift symmetry softly broken by a potential. We show that this system can drive a cosmological expansion with dH/dt > 0. Demanding the absence of instabilities in this model requires dH/dt
description: 27 pages, 3 figures; v2: comments added about blue spectrum of GWs from inflation and the relation between NEC and modification of gravity, JHEP published version
Graph Repair and its Application to Meta-Modeling
Creators: name: Sandmann, Christian
Publisher: name: arXiv
Year: 2020
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Model repair is an essential topic in model-driven engineering. We present typed graph-repair programs for specific conditions; application to any typed graph yields a typed graph satisfying the condition. A model graph based on the Eclipse Modeling Framework (EMF), short EMF-model graph, is a typed graph satisfying some structural EMF-constraints. Application of the results to the EMF-world yields model-repair programs for EMFk constraints, a first-order variant of EMF constraints; application to any typed graph yields an EMFk model graph. From these results, we derive results for EMF model repair.
description: In Proceedings GCM 2020, arXiv:2012.01181
Construction of frame relative to n-Hilbert space
Creators: name: Ghosh, Prasenjit
name: Samanta, T. K.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Functional Analysis (math.FA)
subject: FOS: Mathematics
subject: Primary 42C15, Secondary 46C07, 46C50

description: In this paper, our aim is to introduce the concept of a frame in n-Hilbert space and describe some of their properties. We further discuss tight frame relative to n-Hilbert space. At the end, we study the relationship between frame and bounded linear operator in n-Hilbert space.
description: 16 pages
ConvPhot: A Profile-Matching Algorithm for Precision Photometry
Creators: name: De Santis, C.
name: Grazian, A.
name: Fontana, A.
name: Santini, P.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We describe in this paper a new, public software for accurate "PSF-matched" multiband photometry for images of different resolution and depth, that we have named ConvPhot, of which we analyse performances and limitations. It is designed to work when a high resolution image is available to identify and extract the objects, and colours or variations in luminosity are to be measured in another image of lower resolution but comparable depth. To maximise the usability of this software, we explicitly use the outputs of the popular SExtractor code, that is used to extract all objects from the high resolution "detection" image. The technique adopted by the code is essentially to convolve each object to the PSF of the lower resolution "measure" image, and to obtain the flux of each object by a global chi2 minimisation on such "measure" image. We remark that no a priori assumption is done on the shape of the objects. In this paper we provide a full description of the algorithm, a discussion of the possible systematic effects involved and the results of a set of simulations and validation tests that we have performed on real as well as simulated images. The source code of ConvPhot, written in C language under the GNU Public License, is released worldwide.
description: In press on New Astronomy 2007NewA...12..271D; uses elsart.cls, 35 pages, 15 figures. The source code can be retrieved at http://lbc.oa-roma.inaf.it/convphot
Spectral Characteristics of a Rotating Solar Prominence in Multiple Wavelengths
Creators: name: Pietrow, A. G. M.
name: Liakh, V.
name: Osborne, C. M. J.
name: Jenkins, J.
name: Keppens, R.
Publisher: name: arXiv
Year: 2024
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: We present synthetic spectra corresponding to a 2.5D magnetohydrodynamical simulation of a rotating prominence in the Ca II 8542 Å, H$α$, Ca II K, Mg II k, Ly $α$, and Ly $β$ lines. The prominence rotation resulted from angular momentum conservation within a flux rope where asymmetric heating imposed a net rotation prior to the thermal-instability driven condensation phase. The spectra were created using a library built on the Lightweaver framework called Promweaver, which provides boundary conditions for incorporating the limb-darkened irradiation of the solar disk on isolated structures such as prominences. Our spectra show distinctive rotational signatures for the Mg II k, Ly $α$, and Ly $β$ lines, even in the presence of complex, turbulent solar atmospheric conditions. However, these signals are hardly detectable for the Ca II 8542 Å, H$α$, Ca II K spectral lines. Most notably we find only a very faint rotational signal in the H$α$ line, thus reigniting the discussion on the existence of sustained rotation in prominences.
description: Accepted in A&A Letters. Movies available at https://cloud.aip.de/index.php/s/cs9RKM4CwLrwR3N
Understanding Usability and User Acceptance of Usage-Based Insurance from Users' View
Creators: name: Quintero, Juan
name: Benenson, Zinaida
Publisher: name: arXiv
Year: 2020
Subjects: subject: Human-Computer Interaction (cs.HC)
subject: FOS: Computer and information sciences

description: Intelligent Transportation Systems (ITS) cover a variety of services related to topics such as traffic control and safe driving, among others. In the context of car insurance, a recent application for ITS is known as Usage-Based Insurance (UBI). UBI refers to car insurance policies that enable insurance companies to collect individual driving data using a telematics device. Collected data is analysed and used to offer individual discounts based on driving behaviour and to provide feedback on driving performance. Although there are plenty of advertising materials about the benefits of UBI, the user acceptance and the usability of UBI systems have not received research attention so far. To this end, we conduct two user studies: semi-structured interviews with UBI users and a qualitative analysis of 186 customer inquiries from a web forum of a German insurance company. We find that under certain circumstances, UBI provokes dangerous driving behaviour. These situations could be mitigated by making UBI transparent and the feedback customisable by drivers. Moreover, the country driving conditions, the policy conditions, and the perceived driving style influence UBI acceptance.
Design of an interaction region with head-on collisions for the ILC
Creators: name: Appleby, R.
name: Angal-Kalinin, D.
name: Jackson, F.
name: Alabau-Pons, M .
name: Bambade, P.
name: Brossard, J.
name: Dadoun, O.
name: Rimbault, C.
name: Keller, L.
name: Nosochkov, Y.
name: Seryi, A.
name: Payet, J.
name: Napoly, O.
name: Rippon, C.
name: Uriot, D.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Accelerator Physics (physics.acc-ph)
subject: FOS: Physical sciences

description: An interaction region (IR) with head-on collisions is considered as an alternative to the baseline configuration of the International Linear Collider (ILC) which includes two IRs with finite crossing-angles (2 and 20 mrad). Although more challenging for the beam extraction, the head-on scheme is favoured by the experiments because it allows a more convenient detector configuration, particularly in the forward region. The optics of the head-on extraction is revisited by separating the e+ and e- beams horizontally, first by electrostatic separators operated at their LEP nominal field and then using a defocusing quadrupole of the final focus beam line. In this way the septum magnet is protected from the beamstrahlung power. Newly optimized final focus and extraction optics are presented, including a first look at post-collision diagnostics. The influence of parasitic collisions is shown to lead to a region of stable collision parameters. Disrupted beam and beamstrahlung photon losses are calculated along the extraction elements.
MPEC 2024-A06 : 2023 XV21
Creators: name: Minor Planet Center Staff
Publisher: name: The Minor Planet Center
Year: 2024
Subjects: subject: Small Solar System bodies
valueUri: http://astrothesaurus.org/uat/1469
subject: 2023 XV21

description: The Minor Planet Electronic Circulars contain information on unusual minor planets, routine data on comets and natural satellites, and occasional editorial announcements.  They are published on behalf of Division F of the International Astronomical Union by the Minor Planet Center, Smithsonian Astrophysical Observatory, Cambridge, MA 02138, U.S.A.
Lattice Distortion and Magnetism of 3d-$t_{2g}$ Perovskite Oxides
Creators: name: Solovyev, I. V.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Several puzzling aspects of interplay of the experimental lattice distortion and the the magnetic properties of four narrow $t_{2g}$-band perovskite oxides (YTiO$_3$, LaTiO$_3$, YVO$_3$, and LaVO$_3$) are clarified using results of first-principles electronic structure calculations. First, we derive parameters of the effective Hubbard-type Hamiltonian for the isolated $t_{2g}$ bands using newly developed downfolding method for the kinetic-energy part and a hybrid approach, based on the combination of the random-phase approximation and the constraint local-density approximation, for the screened Coulomb interaction part. Then, we solve the obtained Hamiltonian using a number of techniques, including the mean-field Hartree-Fock (HF) approximation, the second-order perturbation theory for the correlation energy, and a variational superexchange theory. Even though the crystal-field splitting is not particularly large to quench the orbital degrees of freedom, the crystal distortion imposes a severe constraint on the form of the possible orbital states, which favor the formation of the experimentally observed magnetic structures in YTiO$_3$, YVO$_$, and LaVO$_3$ even at the HF level. Beyond the HF approximation, the correlations effects systematically improve the agreement with the experimental data. Using the same type of approximations we could not reproduce the correct magnetic ground state of LaTiO$_3$. However, we expect that the situation may change by systematically improving the level of approximations for dealing with the correlation effects.
description: 30 pages, 17 figures, 8 tables, high-quality figures are available via e-mail
The Feasibility of Asynchronous Rotation via Thermal Tides for Diverse Atmospheric Compositions
Creators: name: Salazar, Andrea M.
name: Wordsworth, Robin
Publisher: name: arXiv
Year: 2024
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: The equilibrium rotation rate of a planet is determined by the sum of torques acting on its solid body. For planets with atmospheres, the dominant torques are usually the gravitational tide, which acts to slow the planet's rotation rate, and the atmospheric thermal tide, which acts to spin up the planet. Previous work demonstrated that rocky planets with thick atmospheres may produce strong enough thermal tides to avoid tidal locking, but a study of how the strength of the thermal tide depends on atmospheric properties has not been done. In this work, we use a combination of simulations from a global climate model and analytic theory to explore how the thermal tide depends on the shortwave and longwave optical depth of the atmosphere, the surface pressure, and the absorbed stellar radiation. We find that for planets in the habitable zones of M stars only high-pressure but low-opacity atmospheres permit asynchronous rotation owing to the weakening of the thermal tide at high longwave and shortwave optical depths. We conclude that asynchronous rotation may be very unlikely around low-mass stars, which may limit the potential habitability of planets around M stars.
Modeling Adverse Conditions in the Framework of Graph Transformation Systems
Creators: name: Özkan, Okan
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Multiagent Systems (cs.MA)
subject: FOS: Computer and information sciences

description: The concept of adverse conditions addresses systems interacting with an adversary environment and finds use also in the development of new technologies. We present an approach for modeling adverse conditions by graph transformation systems. In contrast to other approaches for graph-transformational interacting systems, the presented main constructs are graph transformation systems. We introduce joint graph transformation systems which involve a system, an interfering environment, and an automaton modeling their interaction. For joint graph transformation systems, we introduce notions of (partial) correctness under adverse conditions, which contain the correctness of the system and a recovery condition. As main result, we show that two instances of correctness, namely k-step correctness (recovery in at most k steps after an environment intervention) and last-minute correctness (recovery until next environment intervention) are expressible in LTL (linear temporal logic), and that a weaker notion of k-step correctness is expressible in CTL (computation tree logic).
description: In Proceedings GCM 2020, arXiv:2012.01181
Low abundances of heavy elements in the solar outer layers: comparisons of solar models with helioseismic inversions
Creators: name: Castro, M.
name: Vauclair, S.
name: Richard, O.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: Recent solar photospheric abundance analyses have led to a significant reduction of the metal abundances compared to the previous determinations. The solar models computed with standard opacities and diffusion processes using these new abundances give poor agreement with helioseismic inversions for the sound-speed profile, the surface helium abundance, and the convective zone depth. We attempt to obtain a good agreement between helioseismic inversions and solar models which present the "old" mixture in the interior and new chemical composition in the convective zone. To reach this result, we assume an undermetallic accretion at the beginning of the main sequence. We compute solar models with the Toulouse-Geneva Evolution Code, in which we simulate an undermetallic accretion in the early stages of the main sequence, in order to obtain new mixture in the outer convective zone. We compare the sound-speed profile, the convective zone depth, and the surface helium abundance with those deduced from helioseismology. The model with accretion but without any mixing process inside is in better agreement with helioseismology than the solar model with the new abundances throughout. There is, however, a spike under the convective zone which reaches 3.4%. Furthermore, the convective zone depth and the surface helium abundance are too low. Introducing undershooting below the convective zone allows us to recover the good convective zone radius and the addition of rotation-induced mixing and tachocline allows us to reconcile the surface helium abundance. But in any case the agreement of the sound-speed profile with helioseismic inference is worse than obtained with the old abundances.
description: 5 pages, 2 figures
Biomimetic peptide enriched nonwoven scaffolds promote calcium phosphate mineralisation
Creators: name: Gharaei, Robabeh
name: Tronci, Giuseppe
name: Goswami, Parikshit
name: Davies, Robert P. Wynn
name: Kirkham, Jennifer
name: Russell, Stephen J.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Tissues and Organs (q-bio.TO)
subject: FOS: Biological sciences

description: Cell-free translational strategies are needed to accelerate the repair of mineralised tissues, particularly large bone defects, using minimally invasive approaches. Regenerative bone scaffolds should ideally mimic aspects of the tissue's ECM over multiple length scales and enable surgical handling and fixation during implantation in vivo. Leveraging the knowledge gained with bioactive self-assembling peptides (SAPs) and SAP-enriched electrospun fibres, we presented a cell free approach for promoting mineralisation via apatite deposition and crystal growth, in vitro, of SAP-enriched nonwoven scaffolds. The nonwoven scaffold was made by electrospinning poly(epsilon-caprolactone) (PCL) in the presence of either peptide P11-4 (Ac-QQRFEWEFEQQ-Am) or P11-8 (Ac-QQRFOWOFEQQ-Am), in light of the polymer's fibre forming capability and its hydrolytic degradability as well as the well-known apatite nucleating capability of SAPs. The 11-residue family of peptides (P11-X) has the ability to self-assemble into beta-sheet ordered structures at the nano-scale and to generate hydrogels at the macroscopic scale, some of which are capable of promoting biomineralisation due to their apatite-nucleating capability. Both variants of SAP-enriched nonwoven used in this study were proven to be biocompatible with murine fibroblasts and supported nucleation and growth of apatite minerals in simulated body fluid (SBF) in vitro. The fibrous nonwoven provided a structurally robust scaffold, with the capability to control SAP release behaviour. Up to 75% of P11-4 and 45% of P11-8 were retained in the fibres after 7-day incubation in aqueous solution at pH 7.4. The encapsulation of SAP in a nonwoven system with apatite-forming as well as localised and long-term SAP delivery capabilities is appealing as a potential means of achieving cost-effective bone repair therapy for critical size defects.
A comparison among LBGs, DRGs and BzK galaxies: their contribution to the stellar mass density in the GOODS-MUSIC sample
Creators: name: Grazian, A.
name: Salimbeni, ; S.
name: Pentericci, ; L.
name: Fontana, ; A.
name: Nonino, M.
name: Vanzella, ; E.
name: Cristiani, ; S.
name: De Santis, ; C.
name: Gallozzi, S.
name: Giallongo, ; E.
name: Santini, ; P.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: The classification scheme for high redshift galaxies is complex at the present time, with simple colour selection criteria, resulting in ill-defined properties regarding stellar mass and star formation rate for these distant galaxies. The goal of this work is to investigate the properties of different classes of high-z galaxies, focusing in particular on the Stellar Masses of LBGs, DRGs and BzKs, in order to derive their contribution to the total mass budget of the distant Universe. We have used the GOODS-MUSIC catalog, containing ~3000 Ks-selected (~10000 z-selected) galaxies with multi-wavelength coverage extending from the U band to the Spitzer 8 micron band, with spectroscopic or accurate photometric redshifts. We have selected samples of BM/BX/LBGs, DRGs and BzK galaxies, discussed the overlap and the limitations of these criteria, which can be overcome with a selection criterion based on physical parameters. We have then measured the stellar masses of these galaxies and computed the Stellar Mass Density (SMD) for the different samples up to redshift ~4. We show that the BzK-PE criterion is not optimal to select early type galaxies at the faint end. BzK-SF, on the other hand, is highly contaminated by passively evolving galaxies at red z-Ks colours. We find that LBGs and DRGs contribute almost equally to the global SMD at z>2 and in general that star forming galaxies form a substantial fraction of the universal SMD. Passively evolving galaxies show a strong negative density evolution from redshift 2 to 3, indicating that we are witnessing the epoch of mass assembly of such objects.
description: Accepted for publication in A&A. Uses aa.cls, 15 pages, 11 figures
Q-spaces and the foundations of quantum mechanics
Creators: name: Domenech, G.
name: Holik, F.
name: Krause, D.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Our aim in this paper is to take quite seriously Heinz Post's claim that the non-individuality and the indiscernibility of quantum objects should be introduced right at the start, and not made a posteriori by introducing symmetry conditions. Using a different mathematical framework, namely, quasi-set theory, we avoid working within a label-tensor-product-vector-space-formalism, to use Redhead and Teller's words, and get a more intuitive way of dealing with the formalism of quantum mechanics, although the underlying logic should be modified. Thus, this paper can be regarded as a tentative to follow and enlarge Heinsenberg's suggestion that new phenomena require the formation of a new "closed" (that is, axiomatic) theory, coping also with the physical theory's underlying logic and mathematics.
description: submitted to the Foundations of Physics
The null energy condition and instability
Creators: name: Buniy, Roman V.
name: Hsu, Stephen D. H.
name: Murray, Brian M.
Publisher: name: arXiv
Year: 2006
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Astrophysics (astro-ph)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We extend previous work showing that violation of the null energy condition implies instability in a broad class of models, including gauge theories with scalar and fermionic matter as well as any perfect fluid. Simple examples are given to illustrate these results. The role of causality in our results is discussed. Finally, we extend the fluid results to more general systems in thermal equilibrium. When applied to the dark energy, our results imply that w is unlikely to be less than -1.
description: 11 pages, 5 figures, Revtex
MPEC 2024-A07 : 2023 XW21
Creators: name: Minor Planet Center Staff
Publisher: name: The Minor Planet Center
Year: 2024
Subjects: subject: Small Solar System bodies
valueUri: http://astrothesaurus.org/uat/1469
subject: 2023 XW21

description: The Minor Planet Electronic Circulars contain information on unusual minor planets, routine data on comets and natural satellites, and occasional editorial announcements.  They are published on behalf of Division F of the International Astronomical Union by the Minor Planet Center, Smithsonian Astrophysical Observatory, Cambridge, MA 02138, U.S.A.
Kaon photoproduction in a multipole approach
Creators: name: Mart, T.
name: Sulaksono, A.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Nuclear Theory (nucl-th)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: The recently published experimental data on K+Lambda photoproduction by the SAPHIR, CLAS, and LEPS collaborations are analyzed by means of a multipole approach. For this purpose the background amplitudes are constructed from appropriate Feynman diagrams in a gauge-invariant and crossing-symmetric fashion. The results of our calculation emphasize the lack of mutual consistency between the SAPHIR and CLAS data previously found by several independent research groups, whereas the LEPS data are found to be more consistent with those of CLAS. The use of SAPHIR and CLAS data, individually or simultaneously, leads to quite different resonance parameters which, therefore, could lead to different conclusions on ``missing resonances''. Fitting to the SAPHIR and LEPS data simultaneously indicates that the S_{11}(1650), P_{13}(1720), D_{13}(1700), D_{13}(2080), F_{15}(1680), and F_{15}(2000) resonances are required, while fitting to the combination of CLAS and LEPS data leads alternatively to the P_{13}(1900), D_{13}(2080), D_{15}(1675), F_{15}(1680), and F_{17}(1990) resonances. Although yielding different results in most cases, both SAPHIR and CLAS data indicate that the second peak in the cross sections at W = 1900 MeV originates from the D_{13}(2080) resonance with a mass between 1911 - 1936 MeV. Furthermore, in contrast to the results of currently available models and the Table of Particle Properties, both data sets do not exhibit the need for a P_{11}(1710) resonance. The few data points available for target asymmetry can not be described by the models proposed in the present work.
description: 33 pages, 14 figures
การประยุกต์หลักพุทธธรรมเพื่อส่งเสริมวัฒนธรรมการเมืองตามระบอบประชาธิปไตยของเทศบาลเมืองสีคิ้ว จังหวัดนครราชสีมา
Creators: name: พระมหามงคล ขนฺติธโร
Publisher: name: มหาวิทยาลัยมหาจุฬาลงกรณราชวิทยาลัย วิทยาเขตนครสวรรค์
Year: 2024
Subjects: พุทธธรรม
วัฒนธรรมการเมือง
ระบอบประชาธิปไตย

description: The Journal of Research and Academics, 2, 1, R0868
Designing phoretic micro- and nano-swimmers
Creators: name: Golestanian, R.
name: Liverpool, T. B.
name: Ajdari, A.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: Small objects can swim by generating around them fields or gradients which in turn induce fluid motion past their surface by phoretic surface effects. We quantify for arbitrary swimmer shapes and surface patterns, how efficient swimming requires both surface ``activity'' to generate the fields, and surface ``phoretic mobility.'' We show in particular that (i) swimming requires symmetry breaking in either or both of the patterns of "activity" and ``mobility,'' and (ii) for a given geometrical shape and surface pattern, the swimming velocity is size-independent. In addition, for given available surface properties, our calculation framework provides a guide for optimizing the design of swimmers.
Generating Gameplay-Relevant Art Assets with Transfer Learning
Creators: name: Gonzalez, Adrian
name: Guzdial, Matthew
name: Ramos, Felix
Publisher: name: arXiv
Year: 2020
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: In game development, designing compelling visual assets that convey gameplay-relevant features requires time and experience. Recent image generation methods that create high-quality content could reduce development costs, but these approaches do not consider game mechanics. We propose a Convolutional Variational Autoencoder (CVAE) system to modify and generate new game visuals based on their gameplay relevance. We test this approach with Pokémon sprites and Pokémon type information, since types are one of the game's core mechanics and they directly impact the game's visuals. Our experimental results indicate that adopting a transfer learning approach can help to improve visual quality and stability over unseen data.
description: 7 pages, 8 figures
A charged particle in a magnetic field - Jarzynski Equality
Creators: name: Jayannavar, A. M.
name: Sahoo, Mamata
Publisher: name: arXiv
Year: 2006
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Classical Physics (physics.class-ph)
subject: FOS: Physical sciences

description: We describe some solvable models which illustrate the Jarzynski theorem and related fluctuation theorems. We consider a charged particle in the presence of magnetic field in a two dimensional harmonic well. In the first case the centre of the harmonic potential is translated with a uniform velocity, while in the other case the particle is subjected to an ac force. We show that Jarzynski identity complements Bohr-van Leeuwen theorem on the absence of diamagnetism in equilibrium classical system.
description: 5 pages, minor corrections made and journal reference added
An Algebraic Graph Transformation Approach for RDF and SPARQL
Creators: name: Duval, Dominique
name: Echahed, Rachid
name: Prost, Frédéric
Publisher: name: arXiv
Year: 2020
Subjects: subject: Databases (cs.DB)
subject: Programming Languages (cs.PL)
subject: Symbolic Computation (cs.SC)
subject: FOS: Computer and information sciences
subject: H.2.3;D.3.2;F.4.2

description: We consider the recommendations of the World Wide Web Consortium (W3C) about RDF framework and its associated query language SPARQL. We propose a new formal framework based on category theory which provides clear and concise formal definitions of the main basic features of RDF and SPARQL. We define RDF graphs as well as SPARQL basic graph patterns as objects of some nested categories. This allows one to clarify, in particular, the role of blank nodes. Furthermore, we consider basic SPARQL CONSTRUCT and SELECT queries and formalize their operational semantics following a novel algebraic graph transformation approach called POIM.
description: In Proceedings GCM 2020, arXiv:2012.01181. arXiv admin note: substantial text overlap with arXiv:1910.07519
Optimization of a neutrino factory oscillation experiment
Creators: name: Huber, P.
name: Lindner, M.
name: Rolinec, M.
name: Winter, W.
Publisher: name: arXiv
Year: 2006
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: We discuss the optimization of a neutrino factory experiment for neutrino oscillation physics in terms of muon energy, baselines, and oscillation channels (gold, silver, platinum). In addition, we study the impact and requirements for detector technology improvements, and we compare the results to beta beams. We find that the optimized neutrino factory has two baselines, one at about 3000 to 5000km, the other at about 7500km (``magic'' baseline). The threshold and energy resolution of the golden channel detector have the most promising optimization potential. This, in turn, could be used to lower the muon energy from about 50GeV to about 20GeV. Furthermore, the inclusion of electron neutrino appearance with charge identification (platinum channel) could help for large values of \sin^2 2 θ_{13}. Though tau neutrino appearance with charge identification (silver channel) helps, in principle, to resolve degeneracies for intermediate \sin^2 2 θ_{13}, we find that alternative strategies may be more feasible in this parameter range. As far as matter density uncertainties are concerned, we demonstrate that their impact can be reduced by the combination of different baselines and channels. Finally, in comparison to beta beams and other alternative technologies, we clearly can establish a superior performance for a neutrino factory in the case \sin^2 2 θ_{13} < 0.01.
description: 51 pages, 25 figures, 6 tables, references corrected, final version to appear in Phys. Rev. D
Automated simulation and verification of process models discovered by process mining
Creators: name: Zakarija, Ivona
name: Škopljanac-Mačina, Frano
name: Blašković, Bruno
Publisher: name: arXiv
Year: 2020
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: This paper presents a novel approach for automated analysis of process models discovered using process mining techniques. Process mining explores underlying processes hidden in the event data generated by various devices. Our proposed Inductive machine learning method was used to build business process models based on actual event log data obtained from a hotel's Property Management System (PMS). The PMS can be considered as a Multi Agent System (MAS) because it is integrated with a variety of external systems and IoT devices. Collected event log combines data on guests stay recorded by hotel staff, as well as data streams captured from telephone exchange and other external IoT devices. Next, we performed automated analysis of the discovered process models using formal methods. Spin model checker was used to simulate process model executions and automatically verify the process model. We proposed an algorithm for the automatic transformation of the discovered process model into a verification model. Additionally, we developed a generator of positive and negative examples. In the verification stage, we have also used Linear temporal logic (LTL) to define requested system specifications. We find that the analysis results will be well suited for process model repair.
description: 12 pages, 13 figures and 3 tables, published in Automatika, vol. 61, no. 2, pp.312-324, 2020