cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
An MDA Framework Supporting OCL
Creators: name: Brucker, Achim D.
name: Doser, Jürgen
name: Wolff, Burkhart
Publisher: name: European Association of Software Science and Technology
Year: 2007

description: We present a model-driven architecture (MDA) framework that integrates formal analysis techniques into an industrial software development process model. This comprises modeling using UML/OCL, processing models by model transformations, code generation (including runtime-test environments) and formal analysis using the theorem proving environment HOL-OCL. Moreover, our frameworks supports the verification of proof obligations that are generated during model transformations.

We show the extensibility of our approach by providing a SecureUML extension of the framework, which allows for an integrated specification of security properties, their analysis and their conversion to code.
description: Electronic Communications of the EASST, Volume 5: OCL for (Meta-)Models in Multiple Application Domains 2006
Quantum Optical Convolutional Neural Network: A Novel Image Recognition Framework for Quantum Computing
Creators: name: Parthasarathy, Rishab
name: Bhowmik, Rohan
Publisher: name: arXiv
Year: 2020
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences
subject: I.2.m; I.4.0

description: Large machine learning models based on Convolutional Neural Networks (CNNs) with rapidly increasing number of parameters, trained with massive amounts of data, are being deployed in a wide array of computer vision tasks from self-driving cars to medical imaging. The insatiable demand for computing resources required to train these models is fast outpacing the advancement of classical computing hardware, and new frameworks including Optical Neural Networks (ONNs) and quantum computing are being explored as future alternatives. In this work, we report a novel quantum computing based deep learning model, the Quantum Optical Convolutional Neural Network (QOCNN), to alleviate the computational bottleneck in future computer vision applications. Using the popular MNIST dataset, we have benchmarked this new architecture against a traditional CNN based on the seminal LeNet model. We have also compared the performance with previously reported ONNs, namely the GridNet and ComplexNet, as well as a Quantum Optical Neural Network (QONN) that we built by combining the ComplexNet with quantum based sinusoidal nonlinearities. In essence, our work extends the prior research on QONN by adding quantum convolution and pooling layers preceding it. We have evaluated all the models by determining their accuracies, confusion matrices, Receiver Operating Characteristic (ROC) curves, and Matthews Correlation Coefficients. The performance of the models were similar overall, and the ROC curves indicated that the new QOCNN model is robust. Finally, we estimated the gains in computational efficiencies from executing this novel framework on a quantum computer. We conclude that switching to a quantum computing based approach to deep learning may result in comparable accuracies to classical models, while achieving unprecedented boosts in computational performances and drastic reduction in power consumption.
description: 9 pages, 6 figures
Simple and efficient quantum key distribution with parametric down-conversion
Creators: name: Adachi, Yoritoshi
name: Yamamoto, Takashi
name: Koashi, Masato
name: Imoto, Nobuyuki
Publisher: name: arXiv
Year: 2006
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We propose an efficient quantum key distribution protocol based on the photon-pair generation from parametric down-conversion (PDC). It uses the same experimental setup as the conventional protocol, but a refined data analysis enables detection of photon-number splitting attacks by utilizing information from a built-in decoy state. Assuming the use of practical detectors, we analyze the unconditional security of the new scheme and show that it improves the secure key generation rate by several orders of magnitude at long distances, using a high intensity PDC source.
description: 5 pages, 2 figures; published version in Phys. Rev. Lett
What is B2-InF about
Creators: name: B2-InF Consortium
Publisher: name: Zenodo
Year: 2021
Subjects: Fertility; infertility; infertility awareness ; science with and for society ;assisted reproduction techniques

description: Science and demographic data suggest that soon 10% of the population born in Europe will be the result of assisted reproduction techniques (ART), and about half of the population that wishes to have children will go to specialized centers. Therefore, Assisted Reproduction Technology (ART) plays a significant role in the reproductive health of European society and is a fast-growing part of the health industry. Surprisingly, nobody has worried about how young people understand, react to and interact with Reproduction technologies. The human reproduction is presented as a privileged confluence between science, industry, government, and citizens. In this context, “B2-InF – Giving voice to citizens towards improving Assisted Reproduction Technologies for Society” will help to understand the evolution of reproductive science and society in order to promote proactive and anticipatory policy making, and align research developments with the needs, expectations and values of society.
Frontonia depressa Kahl 1931
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
Hymenostomatida
Frontoniidae
Frontonia
Frontonia depressa

description: Frontonia depressa (Stokes, 1886) Kahl, 1931
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). DOMINICAN REPUBLIC: (Foissner et al. 2003). MEXICO: Coffee plantation La Onza, near Coatepec (Durán-Ramírez et al. 2015), (Th); Coffee plantation Virginia Armand, near Coatepec (Durán-Ramírez et al. 2015), (Th); Santuario del Bosque de Niebla, near Xalapa (Durán-Ramírez et al. 2015), (Th). VENEZUELA: South margin of the Henri Pittier National Park, Biological Station Rancho Grande (Foissner 2016).
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 30, DOI: 10.11646/zootaxa.4895.1.1, http://zenodo.org/record/4321437
Supplementary document for The generation and control of circular Airy solitons in fractional nonlinear optical systems under different modes - 7216143.pdf
Creators: name: Tan, Chao
name: Lei, Tong
name: Zou, Min
name: Liang, Yong
name: Liu, Mingwei
Publisher: name: Optica Publishing Group
Year: 2024
Subjects: Uncategorized

description: Supporting Information
Entropy of nonlinear black holes in quadratic gravity
Creators: name: Matyjasek, Jerzy
Publisher: name: arXiv
Year: 2008
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: Employing the Noether charge technique and Visser's Euclidean approach the entropy of the nonlinear black hole described by the perturbative solution of the system of coupled equations of the quadratic gravity and nonlinear electrodynamics is constructed. The solution is parametrized by the exact location of the event horizon and charge. Special emphasis in put on the extremal configuration. Consequences of the second choice of the boundary conditions, in which the solution is paramerized by the charge and the total mass as seen by a distant observer is briefly examined.
Semantic Issues of OCL: Past, Present, and Future
Creators: name: Brucker, Achim D.
name: Doser, Jürgen
name: Wolff, Burkhart
Publisher: name: European Association of Software Science and Technology
Year: 2007

description: We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized, machine-checked semantic basis for a theorem proving environment for OCL (as an example for an object-oriented specification formalism) which is as faithful as possible to the original informal semantics. We report on various (minor) inconsistencies of the OCL semantics, discuss the more recent attempt to align the OCL semantics with UML 2.0 and suggest several extensions which make, in our view, OCL semantics more fit for future extensions towards program verifications and specification refinement.
description: Electronic Communications of the EASST, Volume 5: OCL for (Meta-)Models in Multiple Application Domains 2006
Pseudocodeword-based Decoding of Quantum Color Codes
Creators: name: Li, July X.
name: Renes, Joseph M.
name: Vontobel, Pascal O.
Publisher: name: arXiv
Year: 2020
Subjects: subject: Quantum Physics (quant-ph)
subject: Information Theory (cs.IT)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: In previous work, we have shown that pseudocodewords can be used to characterize the behavior of decoders not only for classical codes but also for quantum stabilizer codes. With the insights obtained from this pseudocodewords-based analysis, we have also introduced a two-stage decoder based on pseudocodewords for quantum cycle codes that leads to improved decoding performance. In this paper, we consider quantum (stabilizer) color codes and propose a two-stage decoder that is a generalization of the pseudocodeword-based decoder for quantum cycle codes. Our decoder has only local or error-weight-dependent operations of low computational complexity and better decoding performance compared with previous decoding approaches for these types of codes.
description: Submitted to ITW 2020
RHDE models in FRW Universe with two IR cut-offs with redshift parametrization
Creators: name: Dixit, Archana
name: Bhardwaj, Vinod Kumar
name: Pradhan, Anirudh
Publisher: name: arXiv
Year: 2020
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: In this manuscript, we have researched the cosmic expansion phenomenon in flat FRW Universe through the interaction of the recently proposed R$\grave{e}$nyi holographic dark energy (RHDE). For this reason, we assumed Hubble (H) and Granda--Oliveros (GO) horizons as IR cut-off in the framework of $f(R, T)$ gravity. With this choice for IR cut-off, we can obtain some important cosmological quantities such as the equation of state $ω_{_T}$, energy density $ρ_{_T}$, density parameter $Ω_{_T}$, and pressure $p_{_T}$, which are the function of the redshift $z$. It is observed that in both IR cut-offs the EoS parameter displays quintom-like behaviour for three different values of $δ$. Here we plot these parameters versus redshift $z$ and discuss the consistency of the recent findings. Next, we explore the $ω_{_T}$-$ω_{_T}^{'}$ plane and the stability analysis of the dark energy model by a perturbation method. Our findings demonstrate that the Universe is an accelerating model of rapid growth that is explained by quintom like behaviour.Hence the feasibility of the RHDE model with Hubble and GO cut-off is supported by our model. The results indicate that the IR cut-offs play a significant role in the understanding of the dynamics of the universe.
description: 13 pages, 11 figures, 2 tables
Supplementary document for The generation and control of circular Airy solitons in fractional nonlinear optical systems under different modes - 7230726.pdf
Creators: name: Tan, Chao
name: Lei, Tong
name: Zou, Min
name: Liang, Yong
name: Liu, Mingwei
Publisher: name: Optica Publishing Group
Year: 2024
Subjects: Uncategorized

description: Supporting Information
Domain Wall and Periodic Solutions of Coupled Asymmetric Double Well Models
Creators: name: Khare, Avinash
name: Saxena, Avadh
Publisher: name: arXiv
Year: 2006
Subjects: subject: Pattern Formation and Solitons (nlin.PS)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: High Energy Physics - Theory (hep-th)
subject: Exactly Solvable and Integrable Systems (nlin.SI)
subject: FOS: Physical sciences

description: Coupled asymmetric double well ($aϕ^2-bϕ^3+cϕ^4$) one-dimensional potentials arise in the context of first order phase transitions both in condensed matter physics and field theory. Here we provide an exhaustive set of exact periodic solutions of such a coupled asymmetric model in terms of elliptic functions (domain wall arrays) and obtain single domain wall solutions in specific limits. We also calculate the energy and interaction between solitons for various solutions. Both topological (kink-like at $T=T_c$) and nontopological (pulse-like for $T\ne T_c$) domain wall solutions are obtained. We relate some of these solutions to domain walls in hydrogen bonded materials and also in the field theory context. As a byproduct, we also obtain a new one parameter family of kink solutions of the uncoupled asymmetric double well model.
description: 40 pages, no figures
[Rezension von: Stellen wir die Altäre auf ..., Aleksandr Menʹ zum Verhältnis von Kirche und Staat]
Creators: name: Briskina-Müller, Anna
name: Pochoshajew, Igor
Publisher: name: Ökumenische Rundschau
Year: 2025

description: Ökumenische Rundschau, Bd. 57 Nr. 1 (2008): Ökumenische Rundschau, Band 57, Heft 1
Supplementary document for Second Harmonic Generation Based On Graphene Hyperstructure For Higher Resolution And Performance On Top Of Achieving Fundamental Wave Detection In Theory - 7193640.pdf
Creators: name: Guo, Chu-Ming
name: Yang, Chen
name: Li, Xiang
name: Wei, Yu-Xin
name: Li, Bingxiang
name: Zhang, HaiFeng
Publisher: name: Optica Publishing Group
Year: 2024
Subjects: Uncategorized

description: Supplemental Material
A theoretical approach for Pareto-Zipf law
Creators: name: Tuncay, Caglar
Publisher: name: arXiv
Year: 2008
Subjects: subject: Physics and Society (physics.soc-ph)
subject: General Finance (q-fin.GN)
subject: FOS: Physical sciences
subject: FOS: Economics and business

description: We suggest an analytical approach for Pareto-Zipf law, where we assume random multiplicative noise and fragmentation processes for the growth of the number of citizens of each city and the number of the cities, respectively.
description: 6 pages 2 figures and dated for IJMPC Volume 19 presumably issue 8
Migrating Multi-page Web Applications to Single-page AJAX Interfaces
Creators: name: Mesbah, Ali
name: van Deursen, Arie
Publisher: name: arXiv
Year: 2006
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Recently, a new web development technique for creating interactive web applications, dubbed AJAX, has emerged. In this new model, the single-page web interface is composed of individual components which can be updated/replaced independently. With the rise of AJAX web applications classical multi-page web applications are becoming legacy systems. If until a year ago, the concern revolved around migrating legacy systems to web-based settings, today we have a new challenge of migrating web applications to single-page AJAX applications. Gaining an understanding of the navigational model and user interface structure of the source application is the first step in the migration process. In this paper, we explore how reverse engineering techniques can help analyze classic web applications for this purpose. Our approach, using a schema-based clustering technique, extracts a navigational model of web applications, and identifies candidate user interface components to be migrated to a single-page AJAX interface. Additionally, results of a case study, conducted to evaluate our tool, are presented.
Direct imaging for the moment tensor point sources of elastic waves
Creators: name: Wang, Xianchao
name: Guo, Yukun
name: Bousba, Sara
Publisher: name: arXiv
Year: 2021
Subjects: subject: Numerical Analysis (math.NA)
subject: Mathematical Physics (math-ph)
subject: FOS: Mathematics
subject: FOS: Physical sciences

description: We investigate an inverse source problem of the time-harmonic elastic wave equation. Some novel sampling-type numerical schemes are proposed to identify the moment tensor point sources in the Lamé system from near-field measurements. Rigorous theoretical justifications are provided to show that the locations and moment tensors of the elastic sources can be uniquely determined from the multi-frequency displacement data. Several numerical examples are also presented to illustrate the validity and robustness of the proposed method.
Generic Search Plans for Matching Advanced Graph Patterns
Creators: name: Horváth, Ákos
name: Varró, Gergely
name: Varró, Dániel
Publisher: name: European Association of Software Science and Technology
Year: 2007

description: In the current paper, we present search plans which can guide pattern
  matching for advanced graph patterns with edge identities, containment
  constraints, type variables, negative application conditions, attribute
  conditions, and injectivity constraints.  Based on a generic search graph
  representation, all search plan operations (e.g. checking the existence of
  an edge, or extending a matching candidate by navigating along an edge) are
  uniformly represented as special predicates with heuristically assigned
  costs. Finally, an executable search plan is defined as an appropriate
  ordering of these predicates. As a main consequence, attribute, injectivity,
  and negative application conditions can be checked early (but not
  unnecessarily early) in the pattern matching process to cut off infeasible
  matching candidates at the right time.
description: Electronic Communications of the EASST, Volume 6: Graph Transformation and Visual Modeling Techniques 2007
Virtual machine design and high-level implementation languages
Creators: name: Lin, Yi
Publisher: name: The Australian National University
Year: 2013
Subjects: subject: QA76.9.V5 L56 2013
subject: Virtual computer systems
subject: Programming languages (Electronic computers)

description: System programming tasks such as implementing language virtual machines (VMs), are, by convention, associated with low-level programming languages, such as C/C++. Low-level programming languages provide efficient semantics to directly access hardware resources, thus are naturally a good choice for system programming. However, there are two trends in system programming that are questioning this convention, challenging the ruling role of low-level languages in this field. On one hand, increasing hardware complexity requires languages to provide abstraction over complicated and diverse architectures. On the other hand, software size and complexity is also increasing as hardware evolves, leaving security, correctness and productivity as an even bigger challenge. Thus, efforts have been made to use higher-level languages to perform system programming in order to improve safety, productivity and correctness, as well as to maintain competitive performance. Research has confirmed the feasibility and performance of implementing language virtual machines in high-level languages. The idea is novel and compelling. However, it leaves a trail of software engineering challenges, such as unclear VM/ application context and poor portability, which may in return hamper the benefits that come with high-level languages. My thesis is that imposing clearly defined constraints on code structure, context transition, and language features addresses important software engineering pitfalls that arise when using high-level languages to design and implement flexible and efficient virtual machines. This thesis is divided into two parts, each addressing a major software engineering pitfall in the area of system programming with high-level languages: 1) clarifying VM/ application interdependencies both statically (reflected by code structure and annotations) and dynamically (maintained as run-time information) with very low overhead; and 2) defining a restricted language called RJava, a restricted but still expressive subset of Java suitable for implementing VM components where portability and bootstrapping are major concerns. Two key factors of system programming with high-level languages that former research paid great attention to are expressiveness of high-level languages and performance, while they paid less attention to software engineering concerns. This thesis focuses on two of the software engineering pitfalls, and shows that they can be fixed while preserving both expressiveness and performance. This thesis should help those designing new virtual machines and help improve existing ones, and so encourage the implementation of virtual machines in high-level languages.
Graph-Based Engineering Systems - A Family of Software Applications and their Underlying Framework
Creators: name: Wrobel, Gregor
name: Ebert, Ralf-Erik
name: Pleßow, Matthias
Publisher: name: European Association of Software Science and Technology
Year: 2007

description: In various engineering disciplines visual modeling techniques are used for the definition as well as representation of complex systems. Besides the pictorial illustration, the included structural information is often used for application-specific procedures. This paper presents a few engineering systems for quite different application fields, but they use a common graph-based model. This model is part of a framework that underlies these applications. Various kinds of applications can be developed on the basis of this framework by means of configurations and extensions. The development of new applications is supported by convenient assemblies of suitable system functions and layout methods as well as by integration of application functionalities. The introduced framework is the basis for a product line of graph-based engineering systems.
description: Electronic Communications of the EASST, Volume 6: Graph Transformation and Visual Modeling Techniques 2007
Kruk et al Online Supplement Final Revision V3
Creators: name: Kruk, Dennis
name: Heijink, Irene
Publisher: name: figshare
Year: 2021
Subjects: subject: Stem Cells
subject: 60106 Cellular Interactions (incl. Adhesion, Matrix, Cell Wall)
subject: FOS: Biological sciences
subject: 100404 Regenerative Medicine (incl. Stem Cells and Tissue Engineering)
subject: FOS: Medical biotechnology
subject: Cell Biology

description: Online supplement for publication: Abnormalities in reparative function of lung-derived mesenchymal stromal cells in emphysema by Kruk et al. - American Journal of Physiology-Lung Cellular and Molecular Physiology (2021)
Superfluid Optomechanics with Phononic Nanostructures
Creators: name: Spence, S.
name: Koong, Z. X.
name: Horsley, S. A. R.
name: Rojas, X.
Publisher: name: arXiv
Year: 2020
Subjects: subject: Applied Physics (physics.app-ph)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: In quantum optomechanics, finding materials and strategies to limit losses has been crucial to the progress of the field. Recently, superfluid 4He was proposed as a promising mechanical element for quantum optomechanics. This quantum fluid shows highly desirable properties (e.g. extremely low acoustic loss) for a quantum optomechanical system. In current implementations, superfluid optomechanical systems suffer from external sources of loss, which spoils the quality factor of resonators. In this work, we propose a new implementation, exploiting nanofluidic confinement. Our approach, based on acoustic resonators formed within phononic nanostructures, aims at limiting radiation losses to preserve the intrinsic properties of superfluid 4He. In this work, we estimate the optomechanical system parameters. Using recent theory, we derive the expected quality factors for acoustic resonators in different thermodynamic conditions. We calculate the sources of loss induced by the phononic nanostructures with numerical simulations. Our results indicate the feasibility of the proposed approach in a broad range of parameters, which opens new prospects for more complex geometries.
description: 20 pages, 19 figures
Synchronization of mutually coupled chaotic lasers in the presence of a shutter
Creators: name: Kanter, Ido
name: Gross, Noam
name: Klein, Einat
name: Kopelowitz, Evi
name: Yoskovits, Pinhas
name: Khaykovich, Lev
name: Kinzel, Wolfgang
name: Rosenbluh, Michael
Publisher: name: arXiv
Year: 2006
Subjects: subject: Chaotic Dynamics (nlin.CD)
subject: FOS: Physical sciences

description: Two mutually coupled chaotic diode lasers exhibit stable isochronal synchronization in the presence of self feedback. When the mutual communication between the lasers is discontinued by a shutter and the two uncoupled lasers are subject to self-feedback only, the desynchronization time is found to scale as $A_dτ$ where $A_d>1$ and $τ$ corresponds to the optical distance between the lasers. Prior to synchronization, when the two lasers are uncorrelated and the shutter between them is opened, the synchronization time is found to be much shorter, though still proportional to $τ$. As a consequence of these results, the synchronization is not significantly altered if the shutter is opend/closed faster than the desynchronization time. Experiments in which the coupling between two chaotic-synchronized diode lasers is modulated with an electro-optic shutter are found to be consistent with the results of numerical simulations.
Kinematics of the Gould Belt Based on Open Clusters
Creators: name: Bobylev, Vadim V.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We have redetermined kinematic parameters of the Gould Belt using currently available data on the motion of nearby young (log t < 7.91) open clusters, OB associations, and moving stellar groups. Our modeling shows that the residual velocities reach their maximum values of -4 km/s for rotation (in the direction of Galactic rotation) and +4 km/s for expansion at a distance from the kinematic center of about 300 pc. We have taken the following parameters of the Gould Belt center: Ro=150 pc and lo=128 degrees. The whole structure is shown to move relative to the local standard of rest at a velocity of 10.7+-0.7 km/s in the direction l=274+-4degrees and b=-1+-3 degrees. Using the derived rotation velocity, we have estimated the virial mass of the Gould Belt to be 1.5E6 Solar mass.
description: 15 pages, 6 figures
Effect of pressure on electric transport properties of carbon-doped EuB6
Creators: name: Batkova, M.
name: Batko, I.
name: Bauer, E.
name: Khan, R. T.
name: Filipov, V. B.
name: Konovalova, E. S.
Publisher: name: arXiv
Year: 2020
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We report about influence of external pressure on electrical resistivity of EuB5.99C0.01, the compound believed to be intrinsically inhomogeneous due to fluctuation of carbon content. Our results show that the low-temperature resistivity maximum shifts to lower temperature with applied pressure, opposite to the behavior reported for stoichiometric EuB6. The origin of such qualitative difference we associate with the increasing volume fraction of the phase that is not compatible with ferromagnetic ordering (originating in regions with relatively higher carbon concentratio) with enhancing pressure. Our results support a recent proposition that carbon-rich regions strongly influence magnetotransport properties of carbon-doped EuB6, such as they play a role of spacers, which prevent percolation of ferromagnetic phase.
Increasing thermoelectric efficiency towards the Carnot limit
Creators: name: Casati, Giulio
name: Mejia-Monasterio, Carlos
name: Prosen, Tomaz
Publisher: name: arXiv
Year: 2008
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Chaotic Dynamics (nlin.CD)
subject: FOS: Physical sciences

description: We study the problem of thermoelectricity and propose a simple microscopic mechanism for the increase of thermoelectric efficiency. We consider the cross transport of particles and energy in open classical ergodic billiards. We show that, in the linear response regime, where we find exact expressions for all transport coefficients, the thermoelectric efficiency of ideal ergodic gases can approach Carnot efficiency for sufficiently complex charge carrier molecules. Our results are clearly demonstrated with a simple numerical simulation of a Lorentz gas of particles with internal rotational degrees of freedom.
description: RevTex, 4 pages, 3 figures
Bosonization and density-matrix renormalization group studies of Fulde-Ferrell-Larkin-Ovchinnikov phase and irrational magnetization plateaus in coupled chains
Creators: name: Roux, G.
name: Orignac, E.
name: Pujol, P.
name: Poilblanc, D.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: We review the properties of two coupled fermionic chains, or ladders, under a magnetic field parallel to the lattice plane. Results are computed by complementary analytical (bosonization) and numerical (density-matrix renormalization group) methods which allows a systematic comparison. Limiting cases such as coupled bands and coupled chains regimes are discussed. We particularly focus on the evolution of the superconducting correlations under increasing field and on the presence of irrational magnetization plateaus. We found the existence of large doping-dependent magnetization plateaus in the weakly-interacting and strong-coupling limits and in the non-trivial case of isotropic couplings. We report on the existence of extended Fulde-Ferrell-Larkin-Ovchinnikov phases within the isotropic t-J and Hubbard models, deduced from the evolution of different observables under magnetic field. Emphasis is put on the variety of superconducting order parameters present at high magnetic field. We have also computed the evolution of the Luttinger exponent corresponding to the ungaped spin mode appearing at finite magnetization. In the coupled chain regime, the possibility of having polarized triplet pairing under high field is predicted by bosonization.
description: 18 pages, 19 figures
GW190521 from the Merger of Ultra-Dwarf Galaxies
Creators: name: Palmese, Antonella
name: Conselice, Christopher J.
Publisher: name: arXiv
Year: 2020
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: We present an alternative formation scenario for the gravitational wave event GW190521, that can be explained as the merger of central black holes from two ultra-dwarf galaxies of stellar mass $\sim 10^5-10^6 ~M_\odot$, which had themselves previously undergone a merger. The GW190521 components' masses of $85^{+21}_{-14}M_\odot$ and $66^{+17}_{-18}M_\odot$ challenge standard stellar evolution models, as they fall in the so-called mass gap. We demonstrate that the merger history of ultra-dwarf galaxies at high redshifts ($1\lesssim z \lesssim 2$) matches well the LIGO/Virgo inferred merger rate for black holes within the mass range of the GW190521 components, resulting in a likely time delay of $\lesssim 4$ Gyr considering the redshift of this event. We further demonstrate that the predicted time-scales are consistent with expectations for central black hole mergers, although with large uncertainties due to the lack of high-resolution simulations in low-mass dwarf galaxies. Our findings show that this black hole production and merging channel is viable and extremely interesting as a new way to explore galaxies' black hole seeds and galaxy formation. We recommend this scenario be investigated in detail with simulations and observations.
description: 8 pages, 4 figures
Ensuring Containment Constraints in Graph-based Model Transformation Approaches
Creators: name: Koehler, Christian
name: Lewin, Holger
name: Taentzer, Gabriele
Publisher: name: European Association of Software Science and Technology
Year: 2007

description: Within model driven software development, model transformation has become a key activity. A number of transformation approaches for metamodel-defined modeling languages have been developed in the past years and are going to be established
in research and industry. None of these have made it to a standard yet. There is a demand for correct model transformation in various senses. Formal methods are helpful for showing correctness issues of model transformations. As one approach,
graph transformation has been applied to the field of model transformation and is a perspective for achieving provable correct model transformations. We show in this paper, that containment associations as proposed by the OMG are an integral part of MOF-based languages and imply a couple of constraints which must be ensured in model transformation approaches. Based on a double-pushout approach to graph transformation, conditions are stated that ensure these containment constraints. This is an important step for achieving formal transformation semantics for modeling languages based on MOF, or specifically EMF.
description: Electronic Communications of the EASST, Volume 6: Graph Transformation and Visual Modeling Techniques 2007
Transcription of a discussion of Verdena's language work
Creators: name: Parker, Verdena
name: Begay, Kayla
name: Newbold, Lindsey
name: Spence, Justin
Publisher: name: California Language Archive, University of California, Berkeley
Year: 2022
Subjects: subject: hup

description: Audio files VP-170511-05a/c and VP-170511-06a/c: Transcription of a discussion of how Verdena got involved with language work (file VP-101010-03), from the beginning of the file to 2:00 (VP-170511-05a/c) and from 2:00 to 3:30 (VP-170511-06a/c).
Bayesian recommender systems : models and algorithms
Creators: name: Guo, Shengbo
Publisher: name: The Australian National University
Year: 2011
Subjects: subject: QA279.5.G86 2011
subject: Bayesian statistical decision theory
subject: Uncertainty

description: This thesis is about how Bayesian methods can be applied to explicitly model and efficiently reason about uncertainty to make optimal recommendations. We are interested in three dimensions of recommender systems: (1) preference elicitation, (2) set-based recommendations, and (3) matchmaking. The first dimension concerns how one can minimize the elicitation efforts in learning a user's utility function to propose the maximal utility recommendation. The second dimension concerns set-based recommendations, and the problem of how one can optimize the relevance of the recommended set, with respect to uncertainty over the relevance of each item in the set. The third dinlension concerns the problem of matchmaking, which is the process of pairing competitors based on similar latent skill levels, given match outcomes, e.g., score, or win/lose/draw. All three dimensions face an inherent problem of handling uncertainty: user utility uncertainty for preference elicitation, query topic uncertainty for set-based retrieval in the context of document retrieval, and skill uncertainty in match-making. Bayesian approaches prove to be extremely flexible in modeling various problems, and are robust to risk. However, it is not until recently that efficient Bayesian inference techniques have been introduced for complex models. Thus, we utilize recent advances in Bayesian approaches for addressing these three problems. Our contributions in the thesis are twofold. First, we present compact Bayesian graphical models for dimensions (1)-(3). Second, for each dimension, we make use of advanced Bayesian inference techniques to learn and make optimal recommendations.
Superconducting Quantum Point contacts and Maxwell Potential
Creators: name: Aly, Arafa H
name: Douari, Jamila
Publisher: name: arXiv
Year: 2006
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: The quantization of the current in a superconducting quantum point contact is reviewed and the critical current is discussed at different temperatures depending on the carrier concentration as well by suggesting a constant potential in the semiconductor and then a Maxwell potential. When the Fermi wave length is comparable with the constriction width we showed that the critical current has a step-like variation as a function of the constriction width and the carrier concentration.
description: 13 pages, 8 figures, some figures are clarified; scheduled to appear in an issue in MPLB Vo.21, (2007)
Probability density of fractional Brownian motion and the fractional Langevin equation with absorbing walls
Creators: name: Vojta, Thomas
name: Warhover, Alex
Publisher: name: arXiv
Year: 2020
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Biological Physics (physics.bio-ph)
subject: FOS: Physical sciences

description: Fractional Brownian motion and the fractional Langevin equation are models of anomalous diffusion processes characterized by long-range power-law correlations in time. We employ large-scale computer simulations to study these models in two geometries, (i) the spreading of particles on a semi-infinite domain with an absorbing wall at one end and (ii) the stationary state on a finite interval with absorbing boundaries at both ends and a source in the center. We demonstrate that the probability density and other properties of the fractional Langevin equation can be mapped onto the corresponding quantities of fractional Brownian motion driven by the same noise if the anomalous diffusion exponent $α$ is replaced by $2-α$. In contrast, the properties of fractional Brownian motion and the fractional Langevin equation with reflecting boundaries were recently shown to differ from each other qualitatively. Specifically, we find that the probability density close to an absorbing wall behaves as $P(x) \sim x^κ$ with the distance $x$ from the wall in the long-time limit. In the case of fractional Brownian motion, $κ$ varies with the anomalous diffusion exponent $α$ as $κ=2/α-1$, as was conjectured previously. We also compare our simulation results to a perturbative analytical approach to fractional Brownian motion.
description: 28 pages, 12 figures included, v2 adds references and a comparison with perturbative analytical results for FBM
On the Sources of CP-violation Contributing to the Electric Dipole Moments
Creators: name: Demir, D. A.
name: Farzan, Y.
Publisher: name: arXiv
Year: 2006
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In the framework of seesaw mechanism embedded in the constrained Minimal Supersymmetric Standard Model (cMSSM), phases of neutrino Yukawa coupling, $μ$-term and $A$-terms can all contribute to the Electric Dipole Moment (EDM) of the electron. We discuss and classify the situations for which by combined analysis of the upcoming results on $d_e$, $d_{\rm Hg}$ and $d_D$ discriminating between these sources will be possible.
description: 6 pages, 4 figures, talk presented at IPM-LHP06, Tehran, Iran
title: Trajectory-following methods for large-scale degenerate convex quadratic programming
Creators: name: Gould, N I M
name: Orban, D
name: Robinson, DP
Publisher: name: Science and Technology Facilities Council
Year: 2011

description: We consider a class of infeasible, path-following methods for convex quadratric programming.Our methods are designed to be effective for solving both nondegerate and degenerate problems, where degeneracy is understood to mean the failure of strict complementarity at a solution. Global convergence and a polynomial bound on the number of iterations required is given. An implementation, CQP, is available as part of GALAHAD. We illustrate the advantages of our approach on the CUTEr and Maros-Meszaros test sets.
Operando observation of reversible oxygen migration and phase transitions in ferroelectric devices
Creators: name: Nukala, Pavan
name: Ahmadi, Majid
name: Wei, Yingfen
name: de Graaf, Sytze
name: Matzen, Sylvia
name: Zandbergen, Henny W.
name: Kooi, Bart
name: Noheda, Beatriz
Publisher: name: arXiv
Year: 2020
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Unconventional ferroelectricity, robust at reduced nanoscale sizes, exhibited by hafnia-based thin-films presents tremendous opportunities in nanoelectronics. However, the exact nature of polarization switching remains controversial. Here, we investigate epitaxial Hf0.5Zr0.5O2 (HZO) capacitors, interfaced with oxygen conducting metals (La0.67Sr0.33MnO3, LSMO) as electrodes, using atomic resolution electron microscopy while in situ electrical biasing. By direct oxygen imaging, we observe reversible oxygen vacancy migration from the bottom to the top electrode through HZO and reveal associated reversible structural phase transitions in the epitaxial LSMO and HZO layers. We follow the phase transition pathways at the atomic scale and identify that these mechanisms are at play both in tunnel junctions and ferroelectric capacitors switched with sub-millisecond pulses. Our results unmistakably demonstrate that oxygen voltammetry and polarization switching are intertwined in these materials.
description: 29 pages (including supplementary), 4 main figures, 6 supplementary figures
Travelling wave solutions for gravity fingering in porous media flows
Creators: name: Mitra, K.
name: Rätz, A.
name: Schweizer, B.
Publisher: name: arXiv
Year: 2020
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics

description: We study an imbibition problem for porous media. When a wetted layer is above a dry medium, gravity leads to the propagation of the water downwards into the medium. In experiments, the occurrence of fingers was observed, a phenomenon that can be described with models that include hysteresis. In the present paper, we describe a single finger in a moving frame and set up a free boundary problem to describe the shape and the motion of one finger that propagates with a constant speed. We show the existence of solutions to the travelling wave problem and investigate the system numerically.
description: 28 pages, 6 figures, prepared for journal submission
Cancer from a spatial perspective : locating the unspeakable, healing, and hope
Creators: name: Yau, Vicky
Publisher: name: The Australian National University
Year: 2012
Subjects: subject: Perspective (Philosophy)
subject: Cancer in literature
subject: Cancer Patients
subject: Narrative medicine

description: Illness narratives in all their variety have become a central focus of the cultural study of health and disease. These stories inform other patients of what it is like to be living with a certain illness, or about treatment options, or about the possibilities of transcendence. They represent efforts on the part of the narrator to make sense of their suffering from the illness and they thereby promote empathic understanding of the illness experience. However, narratives in general rely on a temporal structure in which each event is located in a linear sequence, and this can limit the way illness is represented, especially in relation to a disease like cancer. The story of cancer is often flattened into some kind of personal history or reduced to a strive-to-survive story. This thesis challenges the dominant linear approach to telling cancer stories and argues that a spatialised account is needed to articulate the wider, multi-dimensional cancer experience. Drawing on a range of written and filmic texts, the thesis is an attempt to free cancer from the temporal plot. Even though this is a cultural study of cancer, it is not concerned with the sociocultural/historical reconstruction of the illness. It is not about the voice of patients and the subjective illness experience, either. In fact, it attempts to move away from the very subject of cancer and look at what is outside of this frame. The notion of space offers us an alternative based on its two properties. First, space does not propel its inhabitants to move in any linear direction, but it requires us to explore it in order to know it. Second, space may contain objects and people, and their various relationships formed with one another, which, in turn, give all kinds of meanings to space. The spatial understanding of cancer can thus decentre the scientific reasoning of biomedicine and redefines healing as located within the very experience of illness itself. The spatial perspective, I argue, offers a fuller and more complex vision of the relationship between illness, death and dying that can encompass hope, despair, bad luck and miracle, which are all part of what living with cancer means. A holistic approach is utilised in the thesis, integrating literary, architectural and filmic material. Section One, Stories of Cancer, focuses on what is not being spoken in stories of cancer. It analyses scientific narratives, Dorothea Lynch's memoir Exploding into Light and the films The Bucket List and 2 Become 1. Section Two, The Spatial Story of Cancer, looks at how space tells stories through an analysis of Helen Garner's novel The Spare Room and the network of cancer support centres known as Maggie's Center. Section Three, Hope and Miracles examines the experience of hope among family members and the holistic practice of Chinese medicine.
Reconciling Semiclassical and Bohmian Mechanics: II. Scattering states for discontinuous potentials
Creators: name: Trahan, Corey
name: Poirier, Bill
Publisher: name: arXiv
Year: 2008
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: In a previous paper [J. Chem. Phys. 121 4501 (2004)] a unique bipolar decomposition, Psi = Psi1 + Psi2 was presented for stationary bound states Psi of the one-dimensional Schroedinger equation, such that the components Psi1 and Psi2 approach their semiclassical WKB analogs in the large action limit. Moreover, by applying the Madelung-Bohm ansatz to the components rather than to Psi itself, the resultant bipolar Bohmian mechanical formulation satisfies the correspondence principle. As a result, the bipolar quantum trajectories are classical-like and well-behaved, even when Psi has many nodes, or is wildly oscillatory. In this paper, the previous decomposition scheme is modified in order to achieve the same desirable properties for stationary scattering states. Discontinuous potential systems are considered (hard wall, step, square barrier/well), for which the bipolar quantum potential is found to be zero everywhere, except at the discontinuities. This approach leads to an exact numerical method for computing stationary scattering states of any desired boundary conditions, and reflection and transmission probabilities. The continuous potential case will be considered in a future publication.
description: 18 pages, 8 figures