cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis
Creators: name: Downing, Mara
name: Molavi, Abtin
name: Bang, Lucas
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Information Theory (cs.IT)
subject: FOS: Computer and information sciences

description: We present a method of automatically synthesizing steps to solve search problems. Given a specification of a search problem, our approach uses symbolic execution to analyze the specification in order to extract a set of constraints which model the problem. These constraints are used in a process called model counting, which is leveraged to compute probability distributions relating search steps to predicates about an unknown target. The probability distribution functions determine an information gain objective function based on Shannon entropy, which, when maximized, yields the next optimal step of the search. We prove that our algorithm converges to a correct solution, and discuss computational complexity issues. We implemented a domain specific language in which to write search problem specifications, enabling our static analysis phase. Our experiments demonstrate the effectiveness of our approach on a set of search problem case studies inspired by the domains of software security, computational geometry, AI for games, and user preference ranking.
description: In Proceedings GandALF 2020, arXiv:2009.09360
Schistoloma Kobelt 1902
Creators: name: Páll-Gergely, Barna
name: Nguyen, Phi Khanh
name: Chen, Yansen
Publisher: name: Zenodo
Year: 2019
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Gastropoda
Architaenioglossa
Pupinidae
Schistoloma

description: Schistoloma cochinchinense (Rochebrune, 1882) (Fig. 1A) Catalus cochinchinensis Rochebrune, 1882: 62 (type locality: "Sanglu, Cochinchine"). Schistoloma cochinchinense — Kobelt, 1902: 279. Schistoloma funiculata — Thach, 2016: 39, fig. 121. Schistoloma cochinchinense — Egorov, 2013: 14, fig. 22c. Types examined. Not examined. Additional material examined. Ðồng Nai Province, 20 km east of Long Khánh, Núi Ch ứa Chan, 100 m southwest of Chùa Bửu Quang, 470 m a.s.l., 10.950260°N, 107.371347°E, leg. A. Hunyadi, 02.02.2019, HA/23, HNHM 103478 (Fig. 1A); Ðồng Nai Province, 20 km east of Long Khánh, Núi Ch ứa Chan, 80 m east Chùa Bửu Quang, 10.950635°N 107.373400°E, leg. A. Hunyadi, 02.02.2019, HA/6; Ðồng Nai Province, ca. 1.5 km from Vườn Qu ốc Gia Cát Tiên towards Bàu S ấu, along the path, 11.454449°N 107.366197°E, leg. A. Hunyadi, 03.02.2019, HA/16; Ðồng Nai Province, Vườn Qu ốc Gia Cát Tiên, 7.1 km from ferryboat harbour towards Bàu S ấu on the main road, 160 m a.s.l., 11.447651°N 107.383646°E, leg. A. Hunyadi, 03.02.2019, HA/2. Diagnosis. A large Schistoloma species with smooth, elongate-ovoid shell having a strong periumbilical keel. Differs from Schistoloma messageri by the larger, more ovoid shell, and less prominent keel. Distribution. Schistoloma cochinchinense is known from Southern Vietnam (Dong Nai and Binh Phuoc Provinces). Remarks. The photos of Thach (2016) clearly show Schistoloma cochinchinense instead of Schistoloma funiculalum.
description: Published as part of Páll-Gergely, Barna, Nguyen, Phi Khanh & Chen, Yansen, 2019, A review of Vietnamese Schistoloma Kobelt, 1902 with a list of all known species of the genus (Caenogastropoda: Cyclophoroidea: Pupinidae), pp. 322-327 in Raffles Bulletin of Zoology 67 on page 323, DOI: 10.26107/RBZ-2019-0023, http://zenodo.org/record/4577058
description: {"references": ["Rochebrune T (1882) Documents sur la faune malacologique de la Cochinchine et du Cambodge. Bulletin de la Societe Philomathique, 7 (6): 35 - 74.", "Kobelt W (1902) Das Tierreich. Eine Zusammenstellung und Kennzeichnung der rezenten Tierformen. In Verbindung mit der Deutschen Zoologischen Gesellschaft herausgegeben von der Koniglich Preussischen Akademie der Wissenschaften zu Berlin. Mollusca: Cyclophoridae. R. Friedlander und Sohn, Berlin, 662 pp.", "Thach NN (2016) Vietnamese New Mollusks. Seashells - Land snails - Cephalopods. With 59 New Species. Published by the author, Akron, USA, 205 pp.", "Egorov R (2013) A review of the genera of the terrestrial pectinibranch molluscs (synopsis mainly based on published data). Littoriniformes: Liareidae, Pupinidae, Diplommatinidae, Alycaeidae, Cochlostomidae. Treasure of Russian Shells, Supplement 3 (Part 3): 1 - 62."]}
MHV Gluon Scattering Amplitudes from Celestial Current Algebras
Creators: name: Banerjee, Shamik
name: Ghosh, Sudip
Publisher: name: arXiv
Year: 2020
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We show that the Mellin transform of an $n$-point tree level MHV gluon scattering amplitude, also known as the celestial amplitude in pure Yang-Mills theory, satisfies a system of $(n-2)$ linear first order partial differential equations corresponding to $(n-2)$ positive helicity gluons. Although these equations closely resemble Knizhnik-Zamolodchikov equations for $SU(N)$ current algebra there is also an additional "correction" term coming from the subleading soft gluon current algebra. These equations can be used to compute the leading term in the gluon-gluon OPE on the celestial sphere. Similar equations can also be written down for the momentum space tree level MHV scattering amplitudes. We also propose a way to deal with the non closure of subleading current algebra generators under commutation. This is then used to compute some subleading terms in the mixed helicity gluon OPE and our results match with those obtained from an explicit calculation using the Mellin MHV amplitude.
description: 26+23 Pages, Latex, Typo corrected, Some discussions on subleading soft gluon symmetry is changed, Results unchanged
Torque minimized design of a light weight 3 DoF planar manipulator
Creators: name: A. S. Aziz, Mina
name: Yahya, Samer
name: A. F. Almurib, Haider
name: A. Abakr, Yousif
name: Moghavvemi, Mahmoud
name: Madibekov, Zhanibek
name: S. A. Elsayed, Ali
name: Moghavvemi, M
name: O. M. AbdulRazic, Mohammed
Publisher: name: figshare
Year: 2024
Subjects: classificationCode: 400701
subject: Assistive robots and technology
classificationCode: 400702
subject: Automation engineering
classificationCode: 400705
subject: Control engineering
classificationCode: 400711
subject: Simulation, modelling, and programming of mechatronics systems
classificationCode: 400707
subject: Manufacturing robotics

description: The main objective of this paper is to design a robotic arm with all the motors located at the base so that the arm becomes lighter than the conventional arms where each motor is set on the links themselves which will lead to an extra weight of the motor to be held by previous motors. The main advantage of this development is to decrease the torque required to control the arm. The motion of motors transferred to links via aluminum pulleys, bearings, and timing belts that yield to the need of lighter motors and hence a lighter manipulator. The maximum torque of each joint has been calculated then compared with the torque required using conventional structures. The proposed arm has been built and tested. The simulation and experimental results reveal a noticeable improvement in the required maximum torque, which was reduced to less than half in some links.
Star Formation Regulation, Gas cycles and the Chemical Evolution of Dwarf Irregular Galaxies
Creators: name: Recchi, S.
name: Hensler, G.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: Due to their low gravitational energies, dwarf galaxies are greatly exposed to energetical influences from internal and external sources. By means of chemodynamical models we show that their star formation is inherently self-regulated, that peculiar abundance ratios can only be achieved assuming different star-formation episodes and that evaporation of interstellar clouds embedded in a hot phase can lead to a fast mixing of the interstellar gas. Metal-enriched hot outflows can accrete onto infalling clouds by means of condensation leading to a large range of timescales for the self-enrichment of the ISM from local scales within a few tens of Myr up to a few Gyr for the large-range circulation. Infall of clouds is also required to explain abundance ratios of metal-poor galaxies at evolved stages because it reduces the metallicity altering only marginally the abundance ratios.
description: 6 pages, 2 figures, to appear in the Proceedings of the CRAL conference "Chemodynamics: from first stars to local galaxies", Lyon, France, 10-14 July 2006
Coexistence of qubit effects
Creators: name: Stano, Peter
name: Reitzner, Daniel
name: Heinosaari, Teiko
Publisher: name: arXiv
Year: 2008
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We characterize all coexistent pairs of qubit effects. This gives an exhaustive description of all pairs of events allowed, in principle, to occur in a single qubit measurement. The characterization consists of three disjoint conditions which are easy to check for a given pair of effects. Known special cases are shown to follow from our general characterization theorem.
description: A paper with identical title is being published on the arXiv simultaneously by P. Busch and H.-J. Schmidt. These authors solve the same problem independently with a different method. In v2 the proof of the main result has been clarified, and some minor errors have been corrected. In v3 some typos have been corrected and a reference has been added
GLocalX -- From Local to Global Explanations of Black Box AI Models
Creators: name: Setzu, Mattia
name: Guidotti, Riccardo
name: Monreale, Anna
name: Turini, Franco
name: Pedreschi, Dino
name: Giannotti, Fosca
Publisher: name: arXiv
Year: 2021
Subjects: subject: Machine Learning (cs.LG)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences
subject: I.2.3

description: Artificial Intelligence (AI) has come to prominence as one of the major components of our society, with applications in most aspects of our lives. In this field, complex and highly nonlinear machine learning models such as ensemble models, deep neural networks, and Support Vector Machines have consistently shown remarkable accuracy in solving complex tasks. Although accurate, AI models often are "black boxes" which we are not able to understand. Relying on these models has a multifaceted impact and raises significant concerns about their transparency. Applications in sensitive and critical domains are a strong motivational factor in trying to understand the behavior of black boxes. We propose to address this issue by providing an interpretable layer on top of black box models by aggregating "local" explanations. We present GLocalX, a "local-first" model agnostic explanation method. Starting from local explanations expressed in form of local decision rules, GLocalX iteratively generalizes them into global explanations by hierarchically aggregating them. Our goal is to learn accurate yet simple interpretable models to emulate the given black box, and, if possible, replace it entirely. We validate GLocalX in a set of experiments in standard and constrained settings with limited or no access to either data or local explanations. Experiments show that GLocalX is able to accurately emulate several models with simple and small models, reaching state-of-the-art performance against natively global solutions. Our findings show how it is often possible to achieve a high level of both accuracy and comprehensibility of classification models, even in complex domains with high-dimensional data, without necessarily trading one property for the other. This is a key requirement for a trustworthy AI, necessary for adoption in high-stakes decision making applications.
description: 27 pages, 2 figures, submitted to "Special Issue on: Explainable AI (XAI) for Web-based Information Processing"
Brosseder, Johannes (hrsg.): "Kein Anlass zur Verwerfung!" - Studien zur Hermeneutik des ökumenischen Gesprächs
Creators: name: Vorster, Hans
Publisher: name: Ökumenische Rundschau
Year: 2025

description: Ökumenische Rundschau, Bd. 56 Nr. 2 (2007): Ökumenische Rundschau, Band 56, Heft 2
Hydrodynamic Interactions of Relativistic Extragalactic Jets with Dense Clouds
Creators: name: Choi, Eunwoo
name: Wiita, Paul J.
name: Ryu, Dongsu
Publisher: name: arXiv
Year: 2006
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We have studied three-dimensional hydrodynamic interactions of relativistic extragalactic jets with two-phase ambient media. These jets propagate through a denser homogeneous gas and then impact clouds with densities 100 to 1000 times higher than the initial beam density. The deflection angle of the jet is influenced more by the density contrast of the cloud than by the beam Mach number of the jet. A relativistic jet with low relativistic beam Mach number can eventually be slightly bent after it crosses the dense cloud; however, we have not seen permanently bent structures in the interaction of a high relativistic beam Mach number jet with a cloud. The relativistic jet impacts on dense clouds do not necessarily destroy the clouds completely, and much of the cloud body can survive as a coherent blob. This enhancement of cloud durability is partly due to the geometric influence of the off-axis collisions we consider and also arises from the lower rate of cloud fragmentation through the Kelvin-Helmholtz instability for relativistic jets. To compare our simulations with observed extragalactic radio jets, we have computed the approximate surface distributions of synchrotron emission at different viewing angles. These surface intensity maps show relativistic jets interacting with clouds can produce synchrotron emission knots similar to structures observed in many VLBI-scale radio sources. We find that the synchrotron emission increases steeply at the moment of impact and the emission peaks right before the jet passes through the cloud.
description: 32 pages, 7 figures, accepted for publication in ApJ
Iterative regularization methods for a discrete inverse problem in MRI
Creators: name: Leitao, A.
name: Zubelli, J.
Publisher: name: arXiv
Year: 2020
Subjects: subject: Numerical Analysis (math.NA)
subject: FOS: Mathematics
subject: 65J20, 47A52

description: We propose and investigate efficient numerical methods for inverse problems related to Magnetic Resonance Imaging (MRI). Our goal is to extend the recent convergence results for the Landweber-Kaczmarz method obtained in [Haltmeier, Leitao, Scherzer 2007], in order to derive a convergent iterative regularization method for an inverse problem in MRI.
description: 11 pages
Illusory versus Genuine Control in Agent-Based Games
Creators: name: Satinover, J. B.
name: Sornette, D.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Trading and Market Microstructure (q-fin.TR)
subject: Adaptation and Self-Organizing Systems (nlin.AO)
subject: FOS: Economics and business
subject: FOS: Physical sciences

description: In the Minority, Majority and Dollar Games (MG, MAJG, $G), synthetic agents compete for rewards, at each time-step acting in accord with the previously best-performing of their limited sets of strategies. Different components and/or aspects of real-world financial markets are modelled by these games. In the MG, agents compete for scarce resources; in the MAJG gents imitate the group in the hope of exploiting a trend; in the $G agents attempt to successfully predict and benefit from trends as well as changes in the direction of a market. It has been previously shown that in the MG for a reasonable number of preliminary time steps preceding equilibrium (Time Horizon MG, THMG), agents' attempt to optimize their gains by active strategy selection is ``illusory'': The calculated hypothetical gains of their individual strategies is greater on average than agents' actual average gains. Furthermore, if a small proportion of agents deliberately choose and act in accord with their seemingly worst performing strategy, these outper-form all other agents on average, and even attain mean positive gain, otherwise rare for agents in the MG. This latter phenomenon raises the question as to how well the optimization procedure works in the MAJG and $G. We demonstrate that the illusion of control is absent in MAJG and $G. In other words, low-entropy (more informative) strategies under-perform high-entropy (or random) strategies in the MG but outperform them in the MAJG and $G. This provides further clarification of the kinds of situations subject to genuine control, and those not, in set-ups a priori defined to emphasize the importance of optimization.
description: 22 pages
A Game Theoretical Semantics for Logics of Nonsense
Creators: name: Başkent, Can
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1

description: Logics of non-sense allow a third truth value to express propositions that are \emph{nonsense}. These logics are ideal formalisms to understand how errors are handled in programs and how they propagate throughout the programs once they appear. In this paper, we give a Hintikkan game semantics for logics of non-sense and prove its correctness. We also discuss how a known solution method in game theory, the iterated elimination of strictly dominated strategies, relates to semantic games for logics of nonsense. Finally, we extend the logics of nonsense only by means of semantic games, developing a new logic of nonsense, and propose a new game semantics for Priest's Logic of Paradox.
description: In Proceedings GandALF 2020, arXiv:2009.09360
An arrangement for all seasons : the contributions of the Five Power Defence Arrangements to Australian strategic interests, 1971-2010
Creators: name: Henderson, Michael John
Publisher: name: The Australian National University
Year: 2011
Subjects: subject: UA870.H36 2011
subject: Five Power Defence Arrangements
subject: Australia Military policy

description: Australia has been an active member of the Five Power Defence Arrangements (FPDA) since 1971, yet there has been no extensive analysis to determine the contributions that FPDA membership has provided to Australia. This is surprising as the FPDA is the second oldest, and only other, multilateral defence organisation in the Asia Pacific after the 1951 Security Treaty between Australia, New Zealand and the United States. This thesis aims to determine the specific ways in which the FPDA has contributed to Australian strategic interests between 1971 and 2010. In order to accomplish this, this study utilises the analytical framework of defence engagement, as this framework is most suited to recognising Australia's distinct diplomatic and military commitments made under the aegis ofthe FPDA. To illustrate these contributions, this thesis looks at three distinct time periods in the history ofthe FPDA: its origins between 1947 and 1971; how the Arrangements fulfilled Australian expectations from 1971 to the late 1980s; and how the Arrangements surpassed Australian expectations from the late 1980s to 2010. In the chapters covering the existence ofthe Arrangements, the Australian commitment is divided into two sections for the purpose of analysis under the defence engagement framework: Australian defence diplomacy and Australian military commitment. The framework of defence engagement is applied to primary and secondary written sources on the Arrangements as well as interviews with key academics and policymakers involved in the FPDA. This study found that the FPDA has been a creative and positive approach to Australia's need to ensure its involvement in regional defence and to contribute to its defence relationships with key allies. Australia's involvement in the FPDA between 1971 and 2010 has received positive support from within its region as well as from traditional allies. Through the Arrangements, Australia took an important role in the security ofthe Association of South East Asian Nations at a critical period in the organisation's history. This role allowed Australia to make a significant regional contribution in the areas of Australian defence expertise, including operating offshore as part of a coalition. Participation also allowed Australia to contribute to its traditional and long-standing defence relationships with the United Kingdom and the United States. As a result, the FPDA has been an unspectacular and under-appreciated but cumulatively significant contribution to Australia's shift in strategic focus to the Asia-Pacific.
Calyptotricha lanuginosa Wilbert & Foissner 1980
Creators: name: Durán-Ramírez, Carlos Alberto
name: Dias, Roberto Júnio Pedroso
name: Estrada, Rosaura Mayén-
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Chromista
Ciliophora
Oligohymenophorea
Pleuronematida
Calyptotrichidae
Calyptotricha
Calyptotricha lanuginosa

description: Calyptotricha lanuginosa (Penard, 1922) Wilbert & Foissner, 1980
Distribution. BRAZIL: Paraná River between the Nupelia’s Field Station and the district of Porto São José, São Pedro do Paraná (Buosi et al. 2014 b, 2015), (Ad).
description: Published as part of Durán-Ramírez, Carlos Alberto, Dias, Roberto Júnio Pedroso & Estrada, Rosaura Mayén-, 2020, Checklist of ciliates (Alveolata: Ciliophora) that inhabit in bromeliads from the Neotropical Region, pp. 1-36 in Zootaxa 4895 (1) on page 33, DOI: 10.11646/zootaxa.4895.1.1, http://zenodo.org/record/4321437
Creating and using large grids of precalculated model atmospheres for a rapid analysis of stellar spectra
Creators: name: Zsargo, J.
name: Fierro-Santillan, C. R.
name: Klapp, J.
name: Arrieta, A.
name: Arias, L.
name: Valencia, J. M.
name: Sigalotti, L. Di G.
name: Hareter, M.
name: Puebla, R. E.
Publisher: name: arXiv
Year: 2020
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: $Aims.$ We present a database of 43,340 atmospheric models ($\sim$80,000 models at the conclusion of the project) for stars with stellar masses between 9 and 120 $M_{\odot}$, covering the region of the OB main-sequence and Wolf-Rayet (W-R) stars in the Hertzsprung--Russell (H--R) diagram. $Methods.$ The models were calculated using the ABACUS I supercomputer and the stellar atmosphere code CMFGEN. $Results.$ The parameter space has six dimensions: the effective temperature $T_{eff}$, the luminosity $L$, the metallicity $Z$, and three stellar wind parameters: the exponent $β$, the terminal velocity $V_{\infty}$, and the volume filling factor $F_{cl}$. For each model, we also calculate synthetic spectra in the UV (900-2000 A), optical (3500-7000 A), and near-IR (10000-40000 A) regions. To facilitate comparison with observations, the synthetic spectra can be rotationally broadened using ROTIN3, by covering vsin(i) velocities between 10 and 350 km s$^{-1}$ with steps of 10 km s$^{-1}$. $Conclusions.$ We also present the results of the reanalysis of $ε$ Ori using our grid to demonstrate the benefits of databases of precalculated models. Our analysis succeeded in reproducing the best-fit parameter ranges of the original study, although our results favor the higher end of the mass-loss range and a lower level of clumping. Our results indirectly suggest that the resonance lines in the UV range are strongly affected by the velocity-space porosity, as has been suggested by recent theoretical calculations and numerical simulations.
description: 22 pages, 18 figures, accepted for publication in A&A
ITALIYA – O'ZBEKISTON MUNOSABATLARI ENG YANGI DAVRDA
Creators: name: Daminov, Salim
Publisher: name: Zenodo
Year: 2024

description: Ushbu maqola orqali mustaqil izlanuvchilarga Italiya – O’zbekiston o’rtasidagi dastlabki siyosiy - iqtisodiy munosabatlar mazmuni hgaqida ma’lumot ulashishdan iborat. Italiya O‘zbekiston mustaqilligini 1992-yil 10-yanvarda tan olgan. O‘sha yildanoq Toshkentda Italiya elchixonasi ish boshlagan bo‘lsa, O‘zbekistonning Rimdagi diplomatik vakolatxonasi 1998 yilda ochilgan. Florensiyaning Toskana va Umbriya regionlarida 2021- yildan, 2023- yildan esa Milanning Lombardiya va Liguriya regionlarida O‘zbekiston faxriy konsulliklari faoliyat ko‘rsatmoqda. O‘zbekistonning 1-prezidenti Islom Karimov 1996 va 2000 yillarda Italiyaga tashrif buyurgan bo‘lsa, 1997 yilda Italiya prezidenti Oskar Skalfaro hamda o‘sha yili Italiya bosh vaziri Romano Prodi O‘zbekistonga kelgan.
Size-dependent fine-structure splitting in self-organized InAs/GaAs quantum dots
Creators: name: Seguin, R.
name: Schliwa, A.
name: Rodt, S.
name: Pötschke, K.
name: Pohl, U. W.
name: Bimberg, D.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: A systematic variation of the exciton fine-structure splitting with quantum dot size in single InAs/GaAs quantum dots grown by metal-organic chemical vapor deposition is observed. The splitting increases from -80 to as much as 520 $μ$eV with quantum dot size. A change of sign is reported for small quantum dots. Model calculations within the framework of eight-band k.p theory and the configuration interaction method were performed. Different sources for the fine-structure splitting are discussed, and piezoelectricity is pinpointed as the only effect reproducing the observed trend.
description: 5 pages, 5 figures
Bounded Game-Theoretic Semantics for Modal Mu-Calculus and Some Variants
Creators: name: Hella, Lauri
name: Kuusisto, Antti
name: Rönnholm, Raine
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Computational Complexity (cs.CC)
subject: FOS: Computer and information sciences
subject: F.4.1

description: We introduce a new game-theoretic semantics (GTS) for the modal mu-calculus. Our so-called bounded GTS replaces parity games with alternative evaluation games where only finite paths arise; infinite paths are not needed even when the considered transition system is infinite. The novel games offer alternative approaches to various constructions in the framework of the mu-calculus. For example, they have already been successfully used as a basis for an approach leading to a natural formula size game for the logic. While our main focus is introducing the new GTS, we also consider some applications to demonstrate its uses. For example, we consider a natural model transformation procedure that reduces model checking games to checking a single, fixed formula in the constructed models, and we also use the GTS to identify new alternative variants of the mu-calculus with PTime model checking.
description: In Proceedings GandALF 2020, arXiv:2009.09360. The official conference version of the extended preprint arXiv:1706.00753
Michel Foucault's anti-ontologies
Creators: name: Leininger-Ogawa, Michael
Publisher: name: The Australian National University
Year: 2012
Subjects: subject: B2430.F724 L45 2012
subject: Foucault, Michel, 1926-1984 Criticism and interpretation
subject: Ontology

description: The works of 20th century French philosopher-historian Michel Foucault often operate in two areas. On the one hand, Foucault's works are histories that operate through specific structures of investigation. On the other, most of these works make a handful of remarks that are, if not methodological, then at the very least, theoretical and which provide a framework for the historical research conducted. Much of the secondary literature written about Foucault's work takes one of two directions at this juncture. On one side, the content of the historical investigations is often used to either support or question either the theoretical remarks or the structure of the investigations themselves. On the other side, the secondary literature often takes these theoretical comments, which are often sparse in both occurrence and detail, and elaborates upon these as the keys to the structure of the historical investigations and even Foucault's thought itself. This thesis will attempt to mediate between the structure of the historical investigations and the theoretical pronouncements made by Foucault. Theoretical comments will be measured against the structure of the historical investigations, giving them their specific weight; the historical investigations will be measured against the theoretical comments in order to highlight their specific structure. This is an important process for assessing Foucault's works precisely because of the distance that often separates the structure of the investigations from the theoretical comments. However, due to the greater weight given in Foucault's oeuvre to historical investigations and the structures that they employ, as evidenced by their quantity and rigour, our examination of a number of his works will pursue more closely these structures of historical investigation. What we find through our examination is that Foucault's works display an anti-ontology visible throughout the variations in their structure. This thesis will attempt to describe these approaches from The Order of Things to The Use of Pleasure and The Care of the Self.
Two-lane totally asymmetric simple exclusion process with extended Langmuir kinetics
Creators: name: Yamamoto, Hiroki
name: Ichiki, Shingo
name: Yanagisawa, Daichi
name: Nishinari, Katsuhiro
Publisher: name: arXiv
Year: 2021
Subjects: subject: Cellular Automata and Lattice Gases (nlin.CG)
subject: FOS: Physical sciences

description: Multi-lane totally asymmetric simple exclusion processes with interactions between the lanes have recently been investigated actively. This paper proposes a two-lane model with extended Langmuir kinetics on a periodic lattice. Both bidirectional and unidirectional flows are investigated. In our model, the hopping, attachment, and detachment rates vary depending on the state of the corresponding site in the other lane. We obtain a theoretical expression for the global density of the system in the steady state from three kinds of mean-field analyses (1-, 2-, and 4-cluster cases). We verify that the 4-cluster mean-field analysis approximates well the results of computer simulations for the two directional flows and reproduces the differences between them. We expect these findings to contribute to a deeper understanding of the dynamic features of actual traffic systems.
description: 17 pages, 9 figures, 4 tables
Stability analysis of a single-phase rectangular Coupled Natural Circulation Loop system employing a Fourier series based 1-D model
Creators: name: Dass, Akhil
name: Gedupudi, Sateesh
Publisher: name: arXiv
Year: 2020
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: A linear stability analysis of a single-phase Coupled Natural Circulation Loop (CNCL) is carried out using a Fourier series based 1-D model. A 3-D CFD study is undertaken to assess the ability of the 1-D model to capture the non-periodic oscillatory behaviour exhibited by the CNCL system. After the model verification, the stability maps of the system are obtained from the eigenvalues of the steady-state. The CNCL has multiple steady states and the stability maps of consistently observed steady states are presented. A thorough parametric study is conducted to observe the influence of non-dimensional numbers on the CNCL system. Increase in the Fourier number and flow resistance coefficient lead to an increase in the domain of stability. A comparison of the linear stability map with the empirical stability map indicates that the non-linear terms do not significantly affect the stability boundary.
description: 42 pages, 30 figures
Deterministic Quantum Distribution of a d-ary key
Creators: name: Eusebi, Anita
name: Mancini, Stefano
Publisher: name: arXiv
Year: 2008
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We present an extension to a d-ary alphabet of a recently proposed deterministic quantum key distribution protocol. It relies on the use of mutually unbiased bases in prime power dimension d, for which we provide an explicit expression. Then, by considering a powerful individual attack, we show that the security of the protocol is maximal for d=3.
description: 12 pages, 2 figures
Local Higher-Order Fixpoint Iteration
Creators: name: Bruse, Florian
name: Kreiker, Jörg
name: Lange, Martin
name: Sälzer, Marco
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Local fixpoint iteration describes a technique that restricts fixpoint iteration in function spaces to needed arguments only. It has been studied well for first-order functions in abstract interpretation and also in model checking. Here we consider the problem for least and greatest fixpoints of arbitrary type order. We define an abstract algebra of simply typed higher-order functions with fixpoints that can express fixpoint evaluation problems as they occur routinely in various applications, including program verification. We present an algorithm that realises local fixpoint iteration for such higher-order fixpoints, prove its correctness and study its optimisation potential in the context of several applications.
description: In Proceedings GandALF 2020, arXiv:2009.09360
Anti-Imperialist Pamphleteering: Understanding Global Jihad in Wartime India, 1914-1918
Creators: name: Sharma, Lumbini
Publisher: name: British Journal for Military History
Year: 2022

description: In 1914, the German Foreign Office envisaged a plan to stir up the subject populations of Britain, France and Russia. Colonial Muslims had a critical place in this plan, as contemporary Orientalist thought made the Germans believe these Muslims could easily be encouraged to rebel by a call for Jihad. In particular, the German Foreign Office believed Indian Muslims to be a disgruntled section of a subject population. The German government launched a campaign to spread jihadi propaganda to incite them into rebellion against the British imperial government. This Research Note contextualises the jihadi propaganda disseminated in India, in the broader transnational network of the German ‘programme for insurrection’. It also examines how it exploited the old Wahabi network for this purpose.
description: British Journal for Military History, Vol 8 No 1 (2022): Vol 8 No 1 (2022)
[Rezension von: Ökumene zwischen 'postmoderner Beliebigkeit' und 'Rekonfessionalisierung', Peter Neuner, Birgitta Kleinschwärzer-Meister (Hg.) ...]
Creators: name: Hailer, Martin
name: Neuner, Peter
Publisher: name: Ökumenische Rundschau
Year: 2025

description: Ökumenische Rundschau, Bd. 56 Nr. 2 (2007): Ökumenische Rundschau, Band 56, Heft 2
ivpy
Creators: name: Crockett, Damon
Publisher: name: International Journal for Digital Art History
Year: 2021

description: Iconographic Visualization in Python, or ivpy, is a software module, written in the Python programming language, that provides a set of functions for organizing iconographic representations of data, including images and glyphs. The module also provides methods for extracting visual features from images; generating and hand-tuning clusters of data points; and embedding high-dimensional data in 2D coordinate spaces. It is designed for use inside computational notebooks, so that users working with data needn't leave the notebook environment in order to generate visualizations. The software is designed primarily for those researchers working with large image datasets in fields where human visual expertise cannot be replaced with or superseded by machine vision, such as art history and media studies.
description: International Journal for Digital Art History, No. 4 (2019): Transformation of Institutions
MPEC 2024-A44 : 2024 AU
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: 2024 AU

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.
Global public-private partnerships : different perspectives
Creators: name: Masters, Adam Benedict
Publisher: name: The Australian National University
Year: 2014
Subjects: subject: Public-private sector cooperation
subject: International agencies
subject: Corporate culture
subject: International relations

description: Global public-private partnerships are part of the global governance framework and influence our daily lives - yet our understanding of them is incomplete. Research has attributed the existence of these partnerships between state, market and civil society actors variously to the influence of leaders, new management ideas, resource deficits and the proliferation of issues beyond the ability of any single sector to manage. Yet explorations of these themes primarily focuses on the United Nations core agencies, and overlooks the technical international government organizations; organizations which facilitate a multitude of transactions in various policy areas between nation-states, their agencies and administrations. Personal experience with such an organization - Interpol - indicated the answer to the puzzle was incomplete. Therefore, this study was undertaken to further explore the question of why international government organizations participate in global public-private partnerships. Using case studies, this research set out to discover a better explanation for the phenomena of global public-private partnerships. Research was conducted with the International Telecommunication Union, the International Criminal Police Organization and the International Centre for the Study of the Preservation and Restoration of Cultural Property. Between them, they represented a diverse section of international policy fields - communication; police cooperation and cultural conservation. This research found that beyond the themes in the literature, global public-private partnerships are shaped by the dominant professional culture of an international government organization, and the organizational culture also uniquely inherent in each. The use of theories of professional and organizational culture has therefore filled a gap in our knowledge about this global phenomenon. Furthermore, these cultural factors also influence how the other factors are perceived and then acted upon. The end results are partnerships that comfortably fit with the beliefs, values, norms and assumptions common the respective professional and organizational culture.
title: Physikalische Parameter und seismische Geschwindigkeiten Vorträge von der Sitzung der Arbeitsgruppe "Seismologie und Physik der extremen Bedingungen" der CSE vom 25.-27. Mai 1970 in Potsdam
Creators: name: Stiller, H.
Publisher: name: Zentralinstitut für Physik der Erde
Year: 1972

description: Veröffentlichungen des Zentralinstituts Physik der Erde; 16
description: Vom 25. bis 27. Mai 1970 fand in Potsdam eine Tagung der Arbeitsgruppe "Seismologie und Physik der extremen Bedingungen" der CSE statt. Die Sitzung stand unter dem Thema "Physikalische Parameter und seismische Geschwindigkeiten". Von den Teilnehmern wurden auf der Sitzung Vorträge zu folgenden Themen gehalten: HÖFER, K.-H.: Erkenntnisse der Gebirgsmechanik über.das mechanische Verhalten verschiedenartiger Gesteine HURTIG, E.; u. a.: Zur Bedeutung der Crack-porosity bei Messungen unter hydrostatischem Druck FUCHS, K.; LIEBAU, F.; MAYER-ROSA, D.: Lateral inhomogeneities of the Earth's mantle and their petrological interpretation MAYER-ROSA, D.; MÜLLER, St.: Velocity and density distributions in the upper mantle of Europe as derived from seismological observations SCHULT, A.: Die Druckabhängigkeit der CURIE-Temperatur von Titanomagnetiten SCHOBER, M.; SCHULT, A.: Die elektrische Leitfähigkeit von natürlichen Olivinen bei hohen Drücken und Temperaturen STILLER, H.: Betrachtungen zum Näherungscharakter von Festkörpermodellen für das Erdinnere TEISSEYRE, R.: Influence of pore-fluid pressure in rocks on tensile cracking under high pressure VOLLSTÄDT, H.: WAGNER, F.C.: Die Hochdrucktechnologie des Zentralinstituts Physik der Erde in Potsdam und die Zusammenarbeit mit dem Zentralinstitut Physik der Erde in Moskau auf dem Gebiet der Hochdruck-Hochtemperatur-Physik Außerdem wurden zum Thema der Arbeitsgruppensitzung noch folgende Vorträge eingereicht: LEBEDEV, T.S.; SAPOVAL, V.I. ; KORCIN, V.A.: Experimentelle Untersuchung der spezifischen Volumendeformation, der Kompressibilität und der Dichte von Gesteinen unter hohem Druck OESBERG, R.-P.: Der elektrische Widerstand von Mineralen und Gesteinen unter hohen Drücken und Temperaturen und der Bau der ·Erdkruste und des oberen Erdmantels TARKOV, A.P.: On the possible density d.ecrease of the upper mantle in the saismic channel zone for Vs VOLAROVIC, M.P.: Apparate und Methoden zur Untersuchung physikalischer Eigenschaften von Gesteinen unter hohen Drücken
Geometrical origin of entropy during inflation from the STM theory of gravity
Creators: name: Romero, Jesus
name: Bellini, Mauricio
Publisher: name: arXiv
Year: 2008
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: Using a recently introduced 5D Riemann flat metric, we investigate the possibility of introducing dissipation in the dynamics of the inflaton field on an effective 4D FRW metric, in the framework of the STM theory of gravity.
description: Final version, to be published in Phys. Lett. B
Schistoloma longyanensis Zhou, Zhang & Chen 2009
Creators: name: Páll-Gergely, Barna
name: Nguyen, Phi Khanh
name: Chen, Yansen
Publisher: name: Zenodo
Year: 2019
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Gastropoda
Architaenioglossa
Pupinidae
Schistoloma
Schistoloma longyanensis

description: Schistoloma longyanensis Zhou, Zhang & Chen, 2009 Schistoloma longyanensis Zhou, Zhang & Chen, 2009: 122, figs 1–8. Type locality. "Forest Park, Longyan City (25°01′N, 117°00′E), Fujian Province, China ".
description: Published as part of Páll-Gergely, Barna, Nguyen, Phi Khanh & Chen, Yansen, 2019, A review of Vietnamese Schistoloma Kobelt, 1902 with a list of all known species of the genus (Caenogastropoda: Cyclophoroidea: Pupinidae), pp. 322-327 in Raffles Bulletin of Zoology 67 on page 326, DOI: 10.26107/RBZ-2019-0023, http://zenodo.org/record/4577058
description: {"references": ["Zhou W-C, Zhang W-H & Chen D-N (2009): A new species of the genus Schistoloma from China (Prosobranchia, Mesogastropoda, Pupinidae). Acta Zootaxonomica Sinica, 34 (1): 122 - 124."]}
La filosofia e l'arte di vivere
Creators: name: Carboni, Massimo
Publisher: name: Università degli Studi di Milano
Year: 2015
Subjects: filosofi performer; pensiero cinico; teatro; Grotowski

description: L’articolo è l’estratto di un più ampio lavoro ancora in corso. Come Michel Foucault e Pierre Hadot, ognuno dalla propria postazione storico-teorica, ci hanno ricordato, la filosofia antica, ed in particolare quella ellenistica con i cinici e gli stoici, non era solo un discorso ma una concreta pratica di vita, un comportamento esistenziale (che talvolta poteva assumere afferenze “teatrali”) proposto come modello per tutti coloro che intendevano raggiungere l’arete. Il testimone di questa “arte della vita” −è la tesi di fondo di questo contributo− non è stato però storicamente raccolto dalla filosofia moderna −impersonale, tecnicistica, professionalizzata− ma dall’ètimo stesso delle correnti più significative delle arti moderno-contemporanee, impegnate non a produrre l’“opera d’arte” nel senso classico-tradizonale del termine, ma a proporre pratiche e modelli di vita creativi. L’esempio che qui abbiamo trascelto riguarda la pedagogia teatrale del famoso regista polacco Jerzy Grotowski.
description: Nóema, No 6-2 (2015): Ricerche
Hoff, Gregor Maria: Ökumenische Passagen - zwischen Identität und Differenz
Creators: name: Franz, Thomas
Publisher: name: Ökumenische Rundschau
Year: 2025

description: Ökumenische Rundschau, Bd. 56 Nr. 2 (2007): Ökumenische Rundschau, Band 56, Heft 2
Field - Driven Translocation of Regular Block Copolymers through a Selective Liquid - Liquid Interface
Creators: name: Corsi, A.
name: Milchev, A.
name: Rostiashvili, V. G.
name: Vilgis, T. A.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We propose a simple scaling theory describing the variation of the mean first passage time (MFPT) $τ(N,M)$ of a regular block copolymer of chain length $N$ and block size $M$ which is dragged through a selective liquid-liquid interface by an external field $B$. The theory predicts a non-Arrhenian $τ$ vs. $B$ relationship which depends strongly on the size of the blocks, $M$, and rather weakly on the total polymer length, $N$. The overall behavior is strongly influenced by the degree of selectivity between the two solvents $χ$. The variation of $τ(N,M)$ with $N$ and $M$ in the regimes of weak and strong selectivity of the interface is also studied by means of computer simulations using a dynamic Monte Carlo coarse-grained model. Good qualitative agreement with theoretical predictions is found. The MFPT distribution is found to be well described by a $Γ$ - distribution. Transition dynamics of ring- and telechelic polymers is also examined and compared to that of the linear chains. The strong sensitivity of the ``capture'' time $τ(N,M)$ with respect to block length $M$ suggests a possible application as a new type of chromatography designed to separate and purify complex mixtures with different block sizes of the individual macromolecules.
description: 20 pages, 10 figures
The Origins of Offensive Counterinsurgency During the Greek Civil War
Creators: name: Tantalakis, Evripidis
Publisher: name: British Journal for Military History
Year: 2022

description: The Greek Civil War is often studied as a historical event, but little attention is paid to it as a stage in counterinsurgency (COIN) doctrine development. The key point of this war was that it presented the foreign armies that assisted the Greek Royalists with the opportunity to apply traditional and new tactics against the Greek communist guerrillas and learn valuable lessons. This article will trace the origins of the offensive COIN in Greece, the first step in a broader research project that will seek to determine the impact of the Greek Civil War on US Army COIN doctrine development.
description: British Journal for Military History, Vol 8 No 1 (2022): Vol 8 No 1 (2022)
On level set type methods for elliptic Cauchy problems
Creators: name: Leitao, A.
name: Alves, M. Marques
Publisher: name: arXiv
Year: 2021
Subjects: subject: Numerical Analysis (math.NA)
subject: FOS: Mathematics
subject: 65J20, 47A52

description: Two methods of level set type are proposed for solving the Cauchy problem for an elliptic equation. Convergence and stability results for both methods are proven, characterizing the iterative methods as regularization methods for this ill-posed problem. Some numerical experiments are presented, showing the efficiency of our approaches and verifying the convergence results.
description: 22 pages, 7 figures
Lieutenant-Colonel James Leslie Kincaid and the Emergency Response to the 1944 Eruption of Mount Vesuvius, Southern Italy
Creators: name: Chester, David K
name: Duncan, Angus M
Publisher: name: British Journal for Military History
Year: 2022

description: The 1944 eruption of Vesuvius occurred at the height of the Second World War. A successful emergency relief operation was launched by the Allied Control Commission and was led by an American officer, Lt. Col. (James) Leslie Kincaid. In this paper we both describe the operation and evaluate its effectiveness pointing out, inter alia: the importance of well-trained and experienced personnel; the need for expertise across a wide range of specialisms; the ability to both empathise with victims, but at the same time lead and strongly direct a successful military operation and work harmoniously and effectively with allies.
description: British Journal for Military History, Vol 8 No 1 (2022): Vol 8 No 1 (2022)