cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Astrophysical Supercomputing with GPUs: Critical Decisions for Early Adopters
Creators: name: Fluke, Christopher
name: Barnes, David G.
name: Barsdell, Benjamin R.
name: Hassan, Amr H.
Publisher: name: Swinburne
Year: 2024
Subjects: classificationCode: 510102
subject: Astronomical instrumentation
classificationCode: 510906
subject: Space instrumentation

description: General-purpose computing on graphics processing units (GPGPU) is dramatically changing the landscape of high performance computing in astronomy. In this paper, we identify and investigate several key decision areas, with a goal of simplifying the early adoption of GPGPU in astronomy.We consider the merits of OpenCL as an open standard in order to reduce risks associated with coding in a native, vendor-specific programming environment, and present aGPU programming philosophy based on using brute force solutions. We assert that effective use of new GPU-based supercomputing facilities will require a change in approach from astronomers. This will likely include improved programming training, an increased need for software development best practice through the use of profiling and related optimisation tools, and a greater reliance on third-party code libraries.Aswith any newtechnology, thosewilling to take the risks andmake the investment of time and effort to become early adopters of GPGPU in astronomy, stand to reap great benefits.
Superconductivity from energy fluctuations in dilute quantum critical polar metals
Creators: name: Volkov, Pavel A.
name: Chandra, Premala
name: Coleman, Piers
Publisher: name: arXiv
Year: 2021
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: Superconductivity in low carrier density metals challenges the conventional electron-phonon theory due to the absence of retardation required to overcome Coulomb repulsion. In quantum critical polar metals, the Coulomb repulsion is heavily screened, while the critical transverse optic phonons decouple from the electron charge. In the resulting vacuum, the residual interactions between quasiparticles are carried by energy fluctuations of the polar medium, resembling the gravitational interactions of a dark matter universe. Here we demonstrate that pairing inevitably emerges from "gravitational'' interactions with the energy fluctuations, leading to a dome-like dependence of the superconducting $T_c$ on carrier density. Our estimates show that this mechanism may explain the critical temperatures observed in doped SrTiO$_3$. We provide predictions for the enhancement of superconductivity near polar quantum criticality in two and three dimensional materials that can be used to test our theory.
Molecular Chemistry for Dark Matter
Creators: name: Ryan, Michael
name: Gurian, James
name: Shandera, Sarah
name: Jeong, Donghui
Publisher: name: arXiv
Year: 2021
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: Molecular cooling is essential for studying the formation of sub-structure of dissipative dark-matter halos that may host compact objects such as black holes. Here, we analyze the reaction rates relevant for the formation, dissociation, and transition of hydrogenic molecules while allowing for different values of the physical parameters: the coupling constant, the proton mass, and the electron mass. For all cases, we re-scale the reaction rates for the standard molecular hydrogen, so our results are valid as long as the dark matter is weakly coupled and one of the fermions is much heavier than the other. These results will allow a robust numerical treatment of cosmic structure, in particular for mini-halos for which molecular cooling is important, in a dissipative dark matter scenario.
description: 30 pages, 5 figures. Updated with changes for published version
Природные и антропогенные факторы, влияющие на экосистему Мультинских озер
Creators: name: Клепиков, Олег
Publisher: name: ООО Цифра
Year: 2024
Subjects: Multa lakes
climate change
hydrological specifics
anthropogenic impact
recreational load
Мультинские озера
изменение климата
гидрологические особенности
антропогенное воздействие
рекреационная нагрузка

description: Международный научно-исследовательский журнал, Выпуск 4 (142) 2024
Standard Celebrities. Evolution of Communication Strategy in the Ready-to-wear Fashion Industry
Creators: name: Caffaro, Giulia
Publisher: name: ZoneModa Journal
Year: 2017
Subjects: Standard celebrities; Pop communication; GFT; Ready-to-wear fashion

description: In the middle of the 1950s, Italy was going through the "economic miracle" and the significant diffusion of industrialization helped the birth of what we could call the "standard fashion". The production revolution was gradually entering into the consumers’ culture; it was, therefore, necessary to build an image able to pilot the purchasing attitudes of the Italian population.

The case of the Gruppo Finanziario Tessile (GFT) shows, through some well-known examples of advertising of the 1960s, how the cult of celebrities influenced the ready-made clothing market, structured in an efficient standard sizing system. Since products were mass market-oriented, sales testimonials’ campaigns had to belong to the mass culture and stimulate ever-new purchasing needs in the population. From the cult of celebrity, they moved to the culture of celebrities.
description: ZoneModa Journal, Vol 7 (2017): Fashion and Celebrity Culture
Coutume particulière à la Bresse [en Vosges]
Coutumes générales du bailliage de Bassigny. Redigees par les trois estats d'iceluy, convocquez à c'est effect par ordonnance de serenissime prince Charles par la grace de Dieu, duc de Calabre, Lorraine, Bar, Gueldres, et c. Et omologuees par Son Altesse au mois de novembre mil cinq cens quatre vingt. Avec le style contenu au cayer suivant
Coutumes générales de la Ville de Thionville et des autres villes et lieux du Luxembourg français...
Creators: name: Durival, Nicolas-Luton
name: Collin, Mammès (15..-16..)
name: Bernard, Melchior (15..-1623?)
Publisher: name: Thomas père et fils (Nancy) ; Au Pont-a-Mousson, par Melchior Bernard, imprimeur de Sadicte Altesse en l'université dudict Pont
Year: 1754

description: Reliée avec d'autres coutumes de Lorraine
description: Contient "Coutumes générales du bailliage de Bassigny. Redigees par les trois estats d'iceluy, convocquez à c'est effect par ordonnance de serenissime prince Charles par la grace de Dieu, duc de Calabre, Lorraine, Bar, Gueldres, et c. Et omologuees par Son Altesse au mois de novembre mil cinq cens quatre vingt. Avec le style contenu au cayer suivant "
description: Contient "Coutumes générales du bailliage de Bassigny" : Privilège du 11 août 1606 (publié en 1607)
description: Contient "Coutumes générales du bailliage de Bassigny" : Armoiries du duc de Lorraine au titre(publié en 1761)
description: Contient "Coutumes générales de la Ville de Thionville et des autres villes et lieux du Luxembourg français.."
description: A la suite des "Coutumes générales de la Ville de Thionville" on trouve : "Ordonnance et edict perpétuel des archiducqz noz princes souverains. Pour meilleure direction des affaires de la Iustice, en leurs Pays de pardeça" qui est datée de 1632 et signée : "Verreyken"
Nonlinear splittings on fibre bundles
Creators: name: Hajdú, S.
name: Mestdag, T.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Differential Geometry (math.DG)
subject: Mathematical Physics (math-ph)
subject: FOS: Mathematics
subject: FOS: Physical sciences
subject: 34A26, 37J15, 53C05, 70G65, 70H03

description: We introduce the notion of a nonlinear splitting on a fibre bundle as a generalization of an Ehresmann connection. We present its basic properties and we pay attention to the special cases of affine, homogeneous and principal nonlinear splittings. We explain where nonlinear splittings appear in the context of Lagrangian systems and Finsler geometry and we show their relation to Routh symmetry reduction, submersive second-order differential equations and unreduction. We define a curvature map for a nonlinear splitting, and we indicate where this concept appears in the context of nonholonomic systems with affine constraints and Lagrangian systems of magnetic type.
description: 24 pages, to appear in "Analysis and Mathematical Physics''
Shape, shear and flexion - II. Quantifying the flexion formalism for extended sources with the ray-bundle method★
Creators: name: Fluke, Christopher
name: Lasky, P. D.
Publisher: name: Swinburne
Year: 2024
Subjects: classificationCode: 510103
subject: Cosmology and extragalactic astronomy

description: Flexion-based weak gravitational lensing analysis is proving to be a useful adjunct to traditional shear-based techniques. As flexion arises from gradients across an image, analytic and numerical techniques are required to investigate flexion predictions for extended image/source pairs. Using the Schwarzschild lens model, we demonstrate that the ray-bundle method for gravitational lensing can be used to accurately recover second flexion, and is consistent with recovery of zero first flexion. Using lens plane to source plane bundle propagation, we find that second flexion can be recovered with an error no worse than 1 per cent for bundle radii smaller than Δθ= 0.01θE and lens plane impact pararameters greater than θE+Δθ, where θE is the angular Einstein radius. Using source plane to lens plane bundle propagation, we demonstrate the existence of a preferred flexion zone. For images at radii closer to the lens than the inner boundary of this zone, indicative of the true strong lensing regime, the flexion formalism should be used with caution (errors greater than 5 per cent for extended image/source pairs). We also define a shear-zone boundary, beyond which image shapes are essentially indistinguishable from ellipses (1 per cent error in ellipticity). While suggestive that a traditional weak lensing analysis is satisfactory beyond this boundary, a potentially detectable non-zero flexion signal remains.
Gravitational lensing with three-dimensional ray tracing★
Creators: name: Killedar, M.
name: Lasky, P. D.
name: Lewis, G. F.
name: Fluke, Christopher
Publisher: name: Swinburne
Year: 2024
Subjects: classificationCode: 510103
subject: Cosmology and extragalactic astronomy

description: High-redshift sources suffer from magnification or demagnification due to weak gravitational lensing by large-scale structure. One consequence of this is that the distance-redshift relation, in wide use for cosmological tests, suffers lensing-induced scatter which can be quantified by the magnification probability distribution. Predicting this distribution generally requires a method for ray tracing through cosmological N-body simulations. However, standard methods tend to apply the multiple-thin-lens approximation. In an effort to quantify the accuracy of these methods, we develop an innovative code that performs ray tracing without the use of this approximation. The efficiency and accuracy of this computationally challenging approach can be improved by careful choices of numerical parameters; therefore, the results are analysed for the behaviour of the ray-tracing code in the vicinity of Schwarzschild and Navarro-Frenk-White lenses. Preliminary comparisons are drawn with the multiple-lens-plane ray-bundle method in the context of cosmological mass distributions for a source redshift of zs= 0.5.
Solvable Lattice Hamiltonians with Fractional Hall Conductivity
Creators: name: Han, Zhaoyu
name: Chen, Jing-Yuan
Publisher: name: arXiv
Year: 2021
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We construct a class of lattice Hamiltonians that exhibit fractional Hall conductivity. These Hamiltonians, while not being exactly solvable, can be controllably solved in their low energy sectors, through a combination of perturbative and exact techniques. Our construction demonstrates a systematic way to circumvent the Kapustin-Fidkowski no-go theorem and is generalizable.
description: 24 pages, published version
A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita
Creators: name: Sacerdoti Coen, Claudio; University Of Bologna
name: Tassi, Enrico; University Of Bologna
Publisher: name: Journal of Formalized ReasoningJournal of Formalized Reasoning
Year: 2008

description: We present a formalisation of a constructive proof of Lebesgue’s Dominated Convergence Theorem given by the Sacerdoti Coen and Zoli in [CSCZ]. The proof is done in the abstract setting of ordered uniformities, also introduced by the two authors as a simplification of Weber’s lattice uniformities given in [Web91, Web93]. The proof is fully constructive, in the sense that it is done in Bishop’s style and, under certain assumptions, it is also fully predicative. The formalisation is done in the Calculus of (Co)Inductive Constructions using the interactive theorem prover Matita [ASTZ07]. It exploits some peculiar features of Matita and an advanced technique to represent algebraic hierarchies previously introduced by the authors in [ST07]. Moreover, we introduce a new technique to cope with duality to halve the formalisation effort.
description: Journal of Formalized Reasoning; Vol 1, No 1 (2008); 51-89
The Bicycle Network Improvement Problem
Creators: name: Lim, Jisoon
name: Dalmeijer, Kevin
name: Guhathakurta, Subhrajit
name: Van Hentenryck, Pascal
Publisher: name: arXiv
Year: 2021
Subjects: subject: Optimization and Control (math.OC)
subject: FOS: Mathematics

description: Using a bicycle for commuting is still uncommon in US cities, although it brings many benefits to both the cyclists and to society as a whole. Cycling has the potential to reduce traffic congestion and emissions, increase mobility, and improve public health. To convince people to commute by bike, the infrastructure plays an important role, since safety is one of the primary concerns of potential cyclists. This paper presents a method to find the best way to improve the safety of a bicycle network for a given budget and maximize the number of riders that could now choose bicycles for their commuting needs. This optimization problem is formalized as the Bicycle Network Improvement Problem (BNIP): it selects which roads to improve for a set of traveler origin-destination pairs, taking both safety and travel distance into account. The BNIP is modeled as a mixed-integer linear program that minimizes a piecewise linear penalty function of route deviations of travelers. The MIP is solved using Benders decomposition to scale to large instances. The paper also presents an in-depth case study for the Midtown area in Atlanta, GA, using actual transportation data. The results show that the Benders decomposition algorithm allows for solving realistic problem instances and that the network improvements may significantly increase the share of bicycles as the commuting mode. Multiple practical aspects are considered as well, including sequential road improvements, uneven improvement costs, and how to include additional data.
description: 28 pages, 29 figures, 4 tables
Irreducibility of the Bloch Variety for Finite-Range Schrödinger Operators
Creators: name: Fillman, Jake
name: Liu, Wencai
name: Matos, Rodrigo
Publisher: name: arXiv
Year: 2021
Subjects: subject: Mathematical Physics (math-ph)
subject: Spectral Theory (math.SP)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: We study the Bloch variety of discrete Schrödinger operators associated with a complex periodic potential and a general finite-range interaction, showing that the Bloch variety is irreducible for a wide class of lattice geometries in arbitrary dimension. Examples include the triangular lattice and the extended Harper lattice.
Three-dimensional shapelets and an automated classification scheme for dark matter haloes 1★
Creators: name: Fluke, Christopher
name: Malec, A. L.
name: Lasky, P. D.
name: Barsdell, B. R.
Publisher: name: Swinburne
Year: 2024
Subjects: classificationCode: 510103
subject: Cosmology and extragalactic astronomy

description: We extend the two-dimensional Cartesian shapelet formalism to d-dimensions. Concentrating on the three-dimensional case, we derive shapelet-based equations for the mass, centroid, root mean square radius, and components of the quadrupole moment and moment of inertia tensors. Using cosmological N-body simulations as an application domain, we show that three-dimensional shapelets can be used to replicate the complex sub-structure of dark matter haloes and demonstrate the basis of an automated classification scheme for halo shapes. We investigate the shapelet decomposition process from an algorithmic viewpoint, and consider opportunities for accelerating the computation of shapelet-based representations using graphics processing units.
Sonic Youth: celebrity DIY
Creators: name: Militello, Alice
Publisher: name: ZoneModa Journal
Year: 2017
Subjects: Sonic Youth; Celebrity; DIY; 80s; 90s

description: In New York City's early '80s music scene and beyond, the band Sonic Youth represents a special case of the celebrity’s concept. It cannot be reduced to the record sales or scandals, like other famous people. They don’t have the typical self-destructive streak of the stars of the show business, which is the basis of the fortune and, at the same time, the defeat of other musicians. They don’t even have the cult of personality, which has destabilized other crews of the time. However Sonic Youth, during their three decades of career, have been able to find a space in the music scene, to involve a broad segment of audience and lovers; becoming a kind of model for younger generations of musicians. Furthermore, the members of Sonic Youth can be considered such as influencers ahead of his time, thanks to their ability to find new talents. The present study aims to analyze the concept of celebrity applied to the Sonic Youth language, from 1981 (starting year) to 1994, the year of Experimental Jet Set, Trash No Star album, which brings the group to that DIY (Do-It-Yourself) punk ethics that denotes them from the beginning; to plot the New York’s environment in which they fit; and how the entry into the mainstream world changes the aesthetics of the group. In other words, the research is a breakthrough of the band's long career, marking the highlights that made them the Sonic Youth.
description: ZoneModa Journal, Vol 7 (2017): Fashion and Celebrity Culture
Deriving a kinetic uncertainty relation for piecewise deterministic processes: from classical to quantum
Creators: name: Liu, Fei
Publisher: name: arXiv
Year: 2021
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: From the perspective of Markovian piecewise deterministic processes (PDPs), we investigate the derivation of a kinetic uncertainty relation (KUR), which was originally proposed in Markovian open quantum systems. First, stationary distributions of classical PDPs are explicitly constructed. Then, a tilting method is used to derive a rate functional of large deviations. Finally, based on an improved approximation scheme, we recover the KUR. These classical results are directly extended to the open quantum systems. We use a driven two-level quantum system to exemplify the quantum results.
description: 2 figures
Formalization of the Integral Calculus in the PVS Theorem Prover
Creators: name: Butler, Ricky Wayne; NASA Langley Research Center
Publisher: name: Journal of Formalized ReasoningJournal of Formalized Reasoning
Year: 2009

description: The PVS Theorem prover is a widely used formal verification tool used for the analysis of safetycritical systems. The PVS prover, though fully equipped to support deduction in a very general logic framework, namely higher-order logic, it must nevertheless, be augmented with the definitions and associated theorems for every branch of mathematics and Computer Science that is used in a verification. This is a formidable task, ultimately requiring the contributions of researchers and developers all over the world. This paper reports on the formalization of the integral calculus in the PVS theorem prover. All of the basic definitions and theorems covered in a first course on integral calculus have been completed.The theory and proofs were based on Rosenlicht’s classic text on real analysis and follow the traditional epsilon-delta method. The goal of this work was to provide a practical set of PVS theories that could be used for verification of hybrid systems that arise in air traffic management systems and other aerospace applications. All of the basic linearity, integrability, boundedness, and continuity properties of the integral calculus were proved. The work culminated in the proof of the Fundamental Theorem Of Calculus. There is a brief discussion about why mechanically checked proofs are so much longer than standard mathematics textbook proofs.
description: Journal of Formalized Reasoning; Vol 2, No 1 (2009); 1 - 26
Luca Marchetti e Simona Segre Reinach, EXHIBIT! La moda esposta: lo spazio della mostra e lo spazio della marca, Bruno Mondadori, 2017
Creators: name: Letteriello, Ilaria
Publisher: name: ZoneModa Journal
Year: 2017
Subjects: Exhibition; Fashion; Brand

description: ZoneModa Journal, Vol 7 (2017): Fashion and Celebrity Culture
Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure
Creators: name: Sutcliffe, Geoff; University Of Miami
name: Benzmueller, Christoph; Articulate Software
Publisher: name: Journal of Formalized ReasoningJournal of Formalized Reasoning
Year: 2010

description: The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well known and well established infrastructure that supports research, development, and deployment of Automated Theorem Proving (ATP) systems. The extension of the TPTP from first-order form (FOF) logic to typed higher-order form (THF) logic has provided a basis for new development and application of ATP systems for higher-order logic. Key developments have been the specification of the THF language, the addition of higher-order problems to the TPTP, the development of the TPTP THF infrastructure, several ATP systems for higher-order logic, and the use of higher-order ATP in a range of domains. This paper describes these developments.
description: Journal of Formalized Reasoning; Vol 3, No 1 (2010); 1-27
Spin exchange Hamiltonian and topological degeneracies in elemental gadolinium
Creators: name: Scheie, Allen
name: Laurell, Pontus
name: McClarty, Paul A.
name: Granroth, Garrett E.
name: Stone, Matt B.
name: Moessner, Roderich
name: Nagler, Stephen E.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: We present a comprehensive study of the magnetic exchange Hamiltonian of elemental Gadolinium. We use neutron scattering to measure the magnon spectrum over the entire Brillouin zone, and fit the excitations to a spin wave model to extract the first 26 nearest neighbor magnetic exchange interactions with rigorously defined uncertainty. We find these exchange interactions to follow RKKY behavior, oscillating from ferromagnetic to antiferromagnetic as a function of distance. Finally, we discuss the topological features and degeneracies in Gd, and HCP ferromagnets in general. We show theoretically how, with asymmetric exchange, topological properties could be tuned with a magnetic field.
description: 6 pages, 10 figures, 5 pages appendices. Accompanying paper: arXiv:2107.11372
(Ap)Praising Vetements: the Celebrity Digital Surface and the Making of a Leading Fashion Brand
Creators: name: Sanchez-Aguilera, David
Publisher: name: ZoneModa Journal
Year: 2017
Subjects: Commodity Fetishism; Reality Television; Instagram; Demna Gvasalia; Meme

description: In this paper, I situate the meteoric rise of the Parisian fashion collective Vetements within the paratextual circulation of celebrity images that have accompanied the press, media, and publicity coverage for this brand. I argue that “selling out” is a pithy turn-of-phrase that is useful for understanding Vetements’ aesethetic and business sensibilities. As the literalness of the translation of Vetements into “clothes” makes clear, Vetements strips the wide-eyed lure of luxury fashion –one that evokes both the extravagancy of the runway or red carpet and the expert craftsmanship of couture—and replaces it with a form of what I am calling spectacular mundanity, offering products that are simultaneously more and less real than your mother’s weathered, vintage Champion hoodie. The brand’s exchange value, I argue, is made extravagant not through any notion of intrinsic worth, as is the case with couture and the logics of congealed labor and expert craft held therein, but rather through the symbolic surplus value generated through the brand’s proximity to celebrity culture and its discursively constructed status as an “it brand”.
description: ZoneModa Journal, Vol 7 (2017): Fashion and Celebrity Culture
Role of Vogue Magazine in the Transformation of Screen Characters into Style Icons
Creators: name: Granik, Darina
Publisher: name: ZoneModa Journal
Year: 2017
Subjects: Vogue magazine; Style icons; fashion and film; Carrie Bradshaw; Moulin Rouge; Marie Antoinette

description: This article focuses on the role of Vogue magazine in the creation of style icons, which are primarily movie characters. Based on the theories of iconicity and conditions of truly iconic, it has been researched, how Vogue magazine transforms a celebrity and its screen character into a style icon through the cover images, profile stories and their correlation to the screen character portrayed in a movie. In the meantime boundaries between the on-screen and off-screen images  of the actresses/icons get vague, with an emphasis on the fashion legacy of the characters in general visual culture. Main examples of this article are Carrie Bradshaw, played by Sarah Jessica Parker in TV-show and feature film Sex and the City (1998-2008), Satine (performed by Nicole Kidman) of Moulin Rouge (2001) and Marie Antoinette (portrayed by Kirsten Dunst) from Marie Antoinette (2006). With time the actresses and/or their heroines get established as style icons due to the features related to the style iconicity, such as embodiments of cultural myths and narratives through fashion; ambiguities; wide circulation and immediacy of recognition, as well as involvement with dense web of products and encouraging consumption. In this paper style icons demonstrate the process of transformation of actresses and their on-screen characters through fashion, visible in their embodiment of the cultural myths, indeterminacies and narratives of transformation and self-improvement.
description: ZoneModa Journal, Vol 7 (2017): Fashion and Celebrity Culture
A Distributed GPU-Based Framework for Real-Time 3D Volume Rendering of Large Astronomical Data Cubes
Creators: name: Hassan, A. H.
name: Fluke, Christopher
name: Barnes, D. G.
Publisher: name: Swinburne
Year: 2024
Subjects: classificationCode: 460702
subject: Computer graphics
classificationCode: 510102
subject: Astronomical instrumentation
classificationCode: 510906
subject: Space instrumentation

description: We present a framework to volume-render three-dimensional data cubes interactively using distributed ray-casting and volume-bricking over a cluster of workstations powered by one or more graphics processing units (GPUs) and a multi-core central processing unit (CPU). The main design target for this framework is to provide an in-core visualization solution able to provide three-dimensional interactive views of terabyte-sized data cubes. We tested the presented framework using a computing cluster comprising 64 nodes with a total of 128GPUs. The framework proved to be scalable to render a 204GB data cube with an average of 30 frames per second. Our performance analyses also compare the use of NVIDIA Tesla 1060 and 2050GPU architectures and the effect of increasing the visualization output resolution on the rendering performance. Although our initial focus, as shown in the examples presented in this work, is volume rendering of spectral data cubes from radio astronomy, we contend that our approach has applicability to other disciplines where close to real-time volume rendering of terabyte-order three-dimensional data sets is a requirement.
The Celebrity Factory: New Modes of Fashion Entrepreneurship
Creators: name: Martina, Marta
name: Vacirca, Silvia
Publisher: name: ZoneModa Journal
Year: 2017
Subjects: Fashion entrepreneurship; Media celebrity; Business celebrity; Total entertainment; Brand and retail

description: The aim of the paper is to analyze the contribution of celebrity culture to the re-shaping of the fashion industry, distancing from an oppositional view while embracing a systemic one, where celebrity is considered a fundamental engine of the contemporary cultural production of fashion and a global consumerist culture. The scope of our paper tries to overcome the endorsement point of view to address the relationship between celebrity and fashion as a two-way relationship which is re-wiring the fashion industry. The paper will explore the multiple manifestations of the so-called celebrity brand labels, from Kim Kardashian to Victoria Beckham.
description: ZoneModa Journal, Vol 7 (2017): Fashion and Celebrity Culture
A formal proof of Sasaki-Murao algorithm
Creators: name: Coquand, Thierry; Göteborg University
name: Mörtberg, Anders; Göteborg University
name: Siles, Vincent; Göteborg University
Publisher: name: Journal of Formalized ReasoningJournal of Formalized Reasoning
Year: 2013

description: The Sasaki-Murao algorithm computes the determinant of any square matrix over a commutative ring in polynomial time. The algorithm itself can be written as a short and simple functional program, but its correctness involves non-trivial mathematics. We here represent this algorithm in Type Theory with a new correctness proof, using the Coq proof assistant and the SSReflect extension.
description: Journal of Formalized Reasoning; Vol 5, No 1 (2012); 27-36
Enchodelus laevis Thorne, 1939
Creators: name: Thorne, Gerald
Publisher: name: Zenodo
Year: 1939
Subjects: Taxonomy
Nematoda
Dorylaimida

description: Published as part of Thorne G. (1939) - A monograph of the nematodes of the superfamily Dorylaimoidea. Capita Zoologica 8: 1‑261.
Tera-scale astronomical data analysis and visualization
Creators: name: Hassan, A. H.
name: Fluke, Christopher
name: Barnes, D. G.
name: Kilborn, Virginia
Publisher: name: Swinburne
Year: 2024
Subjects: classificationCode: 460702
subject: Computer graphics
classificationCode: 510102
subject: Astronomical instrumentation
classificationCode: 510906
subject: Space instrumentation

description: We present a high-performance, graphics processing unit (GPU) based framework for the efficient analysis and visualization of (nearly) terabyte (TB) sized 3D images. Using a cluster of 96 GPUs, we demonstrate for a 0.5 TB image (1) volume rendering using an arbitrary transfer function at 7–10 frames per second, (2) computation of basic global image statistics such as the mean intensity and standard deviation in 1.7 s, (3) evaluation of the image histogram in 4 s and (4) evaluation of the global image median intensity in just 45 s. Our measured results correspond to a raw computational throughput approaching 1 teravoxel per second, and are 10–100 times faster than the best possible performance with traditional single-node, multi-core CPU implementations. A scalability analysis shows that the framework will scale well to images sized 1 TB and beyond. Other parallel data analysis algorithms can be added to the framework with relative ease, and accordingly we present our framework as a possible solution to the image analysis and visualization requirements of next generation telescopes, including the forthcoming Square Kilometre Array Pathfinder radio telescopes.
Dirac magnons, nodal lines, and nodal plane in elemental gadolinium
Creators: name: Scheie, Allen
name: Laurell, Pontus
name: McClarty, Paul A.
name: Granroth, Garrett E.
name: Stone, Matt B.
name: Moessner, Roderich
name: Nagler, Stephen E.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We investigate the magnetic excitations of elemental gadolinium (Gd) using inelastic neutron scattering, showing that Gd is a Dirac magnon material with nodal lines at $K$ and nodal planes at half integer $\ell$. We find an anisotropic intensity winding around the $K$-point Dirac magnon cone, which is interpreted to indicate Berry phase physics. Using linear spin wave theory calculations, we show the nodal lines have non-trivial Berry phases, and topological surface modes. We also discuss the origin of the nodal plane in terms of a screw-axis symmetry, and introduce a topological invariant characterizing its presence and effect on the scattering intensity. Together, these results indicate a highly nontrivial topology, which is generic to hexagonal close packed ferromagnets. We discuss potential implications for other such systems.
description: 4 pages, 4 figures, plus four pages supplemental information. Accompanying paper to arXiv:2107.11370
The evolutions of the innermost stable circular orbits in dynamical spacetimes
Creators: name: Song, Yong
Publisher: name: arXiv
Year: 2021
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: In this paper, we studied the evolutions of the innermost stable circular orbits (ISCOs) in dynamical spacetimes. At first, we reviewed the method to obtain the ISCO in Schwarzschild spacetime by varying its conserved orbital angular momentum. Then, we demonstrated this method is equivalent to the effective potential method in general static and stationary spacetimes. Unlike the effective potential method, which depends on the presence of the conserved orbital energy, this method requires the existence of conserved orbital angular momentum in spacetime. So it can be easily generalized to the dynamical spacetimes where there exists conserved orbital angular momentum. From this generalization, we studied the evolutions of the ISCOs in Vaidya spacetime, Vaidya-AdS spacetime and the slow rotation limit of Kerr-Vaidya spacetime. The results given by these examples are all reasonable and can be compared with the evolutions of the photon spheres in dynamical spacetime
title: Istanbuler Mitteilungen, Bd. 63 (2013): Istanbuler Mitteilungen
title: Istanbuler Mitteilungen
titleType: AlternativeTitle
Creators: name: Istanbuler Mitteilungen
Publisher: name: Istanbuler Mitteilungen
Year: 2024

description: [PDFs zum Teil verfügbar]
description: Ancient Architectural Restoration in Asia Minor...267–324
Die Überwölbung der westlichen parodos im Odeion des Pergamener Gymnasiums – baugeschichtliche Beobachtungen anläßlich der Restaurierung 2012...453–459
Das ehemalige deutsche Generalkonsulat...421–452
Versteinert durch Gorgos Blick...379–420
The Achilles and Penthesilea Statue Group from the Tetrastyle Court of the Hadrianic Baths at Aphrodisias...325–377
Five Centuries of Glory...219–266
Il Ploutonion a Hierapolis di Frigia...157–217
Neufund aus Istanbul/Byzantion...129–156
West Slope Ware from Daskyleion...75–127
»Das Märchen von den drei Märkten«...51–74
Vorratshaltung im mittelbronzezeitlichen Boğazköy – Spiegel einer häuslichen und regionalen Ökonomie...17–50
Ultralow-voltage operation of light-emitting diodes
Creators: name: Lian, Yaxiao
name: Lan, Dongchen
name: Xing, Shiyu
name: Guo, Bingbing
name: Lai, Runchen
name: Zhao, Baodan
name: Friend, Richard H.
name: Di, Dawei
Publisher: name: arXiv
Year: 2021
Subjects: subject: Applied Physics (physics.app-ph)
subject: Materials Science (cond-mat.mtrl-sci)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: The radiative recombination of injected charge carriers gives rise to electroluminescence (EL), a central process for light-emitting diode (LED) operation. It is often presumed in some emerging fields of optoelectronics, including perovskite and organic LEDs, that the minimum voltage required for light emission is the semiconductor bandgap divided by the elementary charge. Here we show for many classes of LEDs, including those based on metal halide perovskite, organic, chalcogenide quantum-dot and commercial III-V semiconductors, photon emission can be generally observed at record-low driving voltages of 36%-60% of their bandgaps, corresponding to a large apparent energy gain of 0.6-1.4 eV per emitted photon. Importantly, for various classes of LEDs with very different modes of charge injection and recombination (dark saturation current densities ranging from ~10^-35 to ~10^-21 mA/cm2), their EL intensity-voltage curves under low voltages exhibit similar behaviors, revealing a universal origin of ultralow-voltage device operation. Finally, we demonstrate as a proof-of-concept that perovskite LEDs can transmit data efficiently to a silicon detector at 1V, a voltage below the silicon bandgap. Our work provides a fresh insight into the operational limits of electroluminescent diodes, highlighting the significant potential of integrating low-voltage LEDs with silicon electronics for next-generation communications and computational applications.
Processing entangled photons in high dimensions with a programmable light converter
Creators: name: Lib, Ohad
name: Sulimany, Kfir
name: Bromberg, Yaron
Publisher: name: arXiv
Year: 2021
Subjects: subject: Quantum Physics (quant-ph)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: High-dimensional entanglement offers a variety of advantages for both fundamental and applied applications in quantum information science. A central building block for such applications is a programmable processor of entangled states, which is crucial for the certification, manipulation and distribution of high-dimensional entanglement. The leading technology for processing photons is integrated multiport interferometers. However, such devices are incompatible with structured light, and their scaling is challenging. Here, we unlock these limitations by demonstrating a reconfigurable processor of entangled photons in high-dimensions that is based on multi-plane light conversion (MPLC), a technology that was recently developed for multiplexing hundreds of spatial modes for classical communication. We use our programmable MPLC platform to certify three-dimensional entanglement in two mutually unbiased bases, perform 400 arbitrary random transformations on entangled photons, and convert the mode basis of entangled photons for entanglement distribution.
A new parameter space study of cosmological microlensing
Creators: name: Vernardos, G.
name: Fluke, Christopher
Publisher: name: Swinburne
Year: 2024
Subjects: classificationCode: 510103
subject: Cosmology and extragalactic astronomy

description: Cosmological gravitational microlensing is a useful technique for understanding the structure of the inner parts of a quasar, especially the accretion disc and the central supermassive black hole. So far, most of the cosmological microlensing studies have focused on single objects from ~90 currently known lensed quasars. However, present and planned all-sky surveys are expected to discover thousands of new lensed systems. Using a graphics processing unit (GPU) accelerated ray-shooting code, we have generated 2550 magnification maps uniformly across the convergence (κ) and shear (γ) parameter space of interest to microlensing. We examine the effect of random realizations of the microlens positions on map properties such as the magnification probability distribution (MPD). It is shown that for most of the parameter space a single map is representative of an average behaviour. All of the simulations have been carried out on the GPU Supercomputer for Theoretical Astrophysics Research.
Introduction. Fashion and Celebrity Culture: Body Spectacle and the Enlarged Sphere of Show Business
Creators: name: Gibson, Pamela Church
name: Pesce, Sara
Publisher: name: ZoneModa Journal
Year: 2017
Subjects: Fashion; Celebrity culture; Spectacle; Body; Show business

description: This journal issue, devoted to the convergence between celebrity culture and fashion culture, investigates the modes of verbal and visual narrations revolving around attractive personalities. How does this narrative factor, which supports the celebrity system, operate within and influence the world of fashion, and how have the stories about fashion (films, biographies, but also publicity, gossip, events, spaces, architecture) influenced the world of show business? The authors tackle, from different angles, the ambivalences of the notion of ordinariness vs. exceptionality, setting them against the background of contemporary communication, publicity, social networking, and social environment.
description: ZoneModa Journal, Vol 7 (2017): Fashion and Celebrity Culture
Stochastic loss reserving with mixture density neural networks
Creators: name: Al-Mudafer, Muhammed Taher
name: Avanzi, Benjamin
name: Taylor, Greg
name: Wong, Bernard
Publisher: name: arXiv
Year: 2021
Subjects: subject: Methodology (stat.ME)
subject: Risk Management (q-fin.RM)
subject: Applications (stat.AP)
subject: FOS: Computer and information sciences
subject: FOS: Economics and business
subject: 91G79, 91G60, 62P05

description: Neural networks offer a versatile, flexible and accurate approach to loss reserving. However, such applications have focused primarily on the (important) problem of fitting accurate central estimates of the outstanding claims. In practice, properties regarding the variability of outstanding claims are equally important (e.g., quantiles for regulatory purposes). In this paper we fill this gap by applying a Mixture Density Network ("MDN") to loss reserving. The approach combines a neural network architecture with a mixture Gaussian distribution to achieve simultaneously an accurate central estimate along with flexible distributional choice. Model fitting is done using a rolling-origin approach. Our approach consistently outperforms the classical over-dispersed model both for central estimates and quantiles of interest, when applied to a wide range of simulated environments of various complexity and specifications. We further extend the MDN approach by proposing two extensions. Firstly, we present a hybrid GLM-MDN approach called "ResMDN". This hybrid approach balances the tractability and ease of understanding of a traditional GLM model on one hand, with the additional accuracy and distributional flexibility provided by the MDN on the other. We show that it can successfully improve the errors of the baseline ccODP, although there is generally a loss of performance when compared to the MDN in the examples we considered. Secondly, we allow for explicit projection constraints, so that actuarial judgement can be directly incorporated in the modelling process. Throughout, we focus on aggregate loss triangles, and show that our methodologies are tractable, and that they out-perform traditional approaches even with relatively limited amounts of data. We use both simulated data -- to validate properties, and real data -- to illustrate and ascertain practicality of the approaches.
Chaotic vortex induced vibrations
Creators: name: Zhao, J.
name: Leontini, Justin
name: Lo Jacono, D.
name: Sheridan, J.
Publisher: name: Swinburne
Year: 2024

description: This study investigates the nature of the dynamic response of an elastically mounted cylinder immersed in a free stream. A novel method is utilized, where the motion of the body during a free vibration experiment is accurately recorded, and then a second experiment is conducted where the cylinder is externally forced to follow this recorded trajectory. Generally, the flow response during both experiments is identical. However, particular regimes exist where the flow response is significantly different. This is taken as evidence of chaos in these regimes.
End2End Occluded Face Recognition by Masking Corrupted Features
Creators: name: Qiu, Haibo
name: Gong, Dihong
name: Li, Zhifeng
name: Liu, Wei
name: Tao, Dacheng
Publisher: name: arXiv
Year: 2021
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: With the recent advancement of deep convolutional neural networks, significant progress has been made in general face recognition. However, the state-of-the-art general face recognition models do not generalize well to occluded face images, which are exactly the common cases in real-world scenarios. The potential reasons are the absences of large-scale occluded face data for training and specific designs for tackling corrupted features brought by occlusions. This paper presents a novel face recognition method that is robust to occlusions based on a single end-to-end deep neural network. Our approach, named FROM (Face Recognition with Occlusion Masks), learns to discover the corrupted features from the deep convolutional neural networks, and clean them by the dynamically learned masks. In addition, we construct massive occluded face images to train FROM effectively and efficiently. FROM is simple yet powerful compared to the existing methods that either rely on external detectors to discover the occlusions or employ shallow models which are less discriminative. Experimental results on the LFW, Megaface challenge 1, RMF2, AR dataset and other simulated occluded/masked datasets confirm that FROM dramatically improves the accuracy under occlusions, and generalizes well on general face recognition. Code is available at https://github.com/haibo-qiu/FROM
description: Accepted by TPAMI 2021. Code is available at https://github.com/haibo-qiu/FROM
Minimal induced subgraphs of two classes of 2-connected non-Hamiltonian graphs
Creators: name: Cheriyan, Joseph
name: Hajebi, Sepehr
name: Qu, Zishen
name: Spirkl, Sophie
Publisher: name: arXiv
Year: 2021
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics

description: In 1981, Duffus, Gould, and Jacobson showed that every connected graph either has a Hamiltonian path, or contains a claw ($K_{1,3}$) or a net (a fixed six-vertex graph) as an induced subgraph. This implies that subject to being connected, these two are the only minimal (under taking induced subgraphs) graphs with no Hamiltonian path. Brousek (1998) characterized the minimal graphs that are $2$-connected, non-Hamiltonian and do not contain the claw as an induced subgraph. We characterize the minimal graphs that are $2$-connected and non-Hamiltonian for two classes of graphs: (1) split graphs, (2) triangle-free graphs. We remark that testing for Hamiltonicity is NP-hard in both of these classes.
description: Accepted manuscript, see DOI for journal version