cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
The Effect of Site Soil on Seismic Performance of Steel Damped Structure at Close Distance of Active Fault
Creators: name: Taghikhany, Touraj
name: Taslimi, Arsam
name: Safaei, Shayan
Publisher: name: figshare
Year: 2021
Subjects: subject: 90506 Structural Engineering
subject: FOS: Civil engineering

description: The geological characteristics of soil materials beneath a site have a significant impact on seismic motion and therefore, affect the seismic performance of the structures. With the aim to reduce the inelastic demand triggered by structural members of frame building during seismic excitations, one of the innovative cost-efficient solutions is the application of friction dampers. However, this type of dampers depend on the story displacements (story drift ratios), and they can be affected by the variation in site properties. Here, the seismic performance of a 10-story intermediate steel damped moment frame is studied under simulated near-fault ground motions for different soil types. Three strong pulse-like records on the bedrock are passed through different soil layers with a linear behavior. Series of nonlinear time-history analyses under simulated records are used to investigate the effect of soil type on seismic performance of structures with friction dampers. The result indicates site soil effect rises input energy to structure; however, dampers are still able to dissipate larger input energy and keep structural elements in the linear stage. Further, soil site effect increases the maximum displacement of structure because it increases the record amplitude.
Symbolic Simulation with Approximate Values
Creators: name: Wilson, Chris
name: Dill, David L
name: Bryant, Randal E.
Publisher: name: Carnegie Mellon University
Year: 2008
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Symbolic methods such as model checking using binary decision diagrams (BDDs) have had limited success in verifying large designs because BDD sizes regularly exceed memory capacity. Symbolic simulation is a method that controls BDD size by allowing the user to specify the number of symbolic variables in a test. However, BDDs still may blow up when using symbolic simulation in large designs with a large number of symbolic variables. This paper describes techniques for limiting the size of the internal representation of values in symbolic simulation no matter how many symbolic variables are present. The basic idea is to use approximate values on internal nodes; an approximate value is one that consists of combinations of the values 0, 1, and X. If an internal node is known not to affect the functionality being tested, then the simulator can output a value of X for this node, reducing the amount of time and memory required to represent the value of this node. Our algorithm uses categorization of the symbolic input variables to determine which node values can be more approximate and which can be more exact.
Azimuth Reference - Human Kidney
Creators: name: Satija Lab
Publisher: name: Zenodo
Year: 2021
Subjects: Azimuth
Seurat
single-cell

description: Here we provide the reference data files used to run the Azimuth Human Kidney reference web application. For a full description of the reference data structure, please see the wiki at https://github.com/satijalab/azimuth/wiki/Azimuth-Reference-Format.
Rational extensions of the representation ring global functor and a splitting of global equivariant $K$-theory
Creators: name: Wimmer, Christian
Publisher: name: arXiv
Year: 2018
Subjects: subject: Algebraic Topology (math.AT)
subject: Representation Theory (math.RT)
subject: FOS: Mathematics
subject: 19A22, 20C05, 55P91

description: We identify the group of homomorphisms $\operatorname{Hom}_{\mathcal{GF}}(F,\mathbf{RU}_{\mathbb Q})$ in the category of ($\operatorname{fin}$)-global functors to the rationalization of the unitary representation ring functor and deduce that the higher $\operatorname{Ext}$-groups $\operatorname{Ext}^n_{\mathcal{GF}}(F,\mathbf{RU}_{\mathbb Q})$, $n\geq 2$ have to vanish. This leads to a rational splitting of the ($\operatorname{fin}$)-global equivariant $K$-theory spectrum into a sum of Eilenberg-MacLane spectra. Interpreted in terms of cohomology theories, it means that the equivariant Chern character is compatible with restrictions along all group homomorphisms.
description: 10 pages
Three-body scattering in Poincaré invariant quantum mechanics
Creators: name: Polyzou, W. N.
name: Elster, Ch.
name: Lin, T.
name: Glöckle, W.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: The relativistic three-nucleon problem is formulated by constructing a dynamical unitary representation of the Poincaré group on the three-nucleon Hilbert space. Two-body interactions are included that preserve the Poincaré symmetry, lead to the same invariant two-body S-matrix as the corresponding non-relativistic problem, and result in a three-body S-matrix satisfying cluster properties. The resulting Faddeev equations are solved by direct integration, without partial waves for both elastic and breakup reactions at laboratory energies up to 2 Gev.
description: 4 pages - no figures - contribution to the 20-th European Few-Body Conference
Chiral symmetry breaking and monopoles in gauge theories
Creators: name: Ramamurti, Adith
name: Shuryak, Edward
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: QCD monopoles are magnetically charged quasiparticles whose Bose-Einstein condensation (BEC) at $TT_c$ plays an important role in explaining the properties of strongly coupled quark-gluon plasma (sQGP) near the deconfinement temperature. In this paper, we study the phenomenon of chiral symmetry breaking and its relation to magnetic monopoles. Specifically, we study the eigenvalue spectrum of the Dirac operator in the basis of fermionic zero modes in an SU(2) monopole background. We find that as the temperature approaches the deconfinement temperature $T_c$ from above, the eigenvalue spectrum has a finite density at $ω= 0$, indicating the presence of a chiral condensate. In addition, we find the critical scaling of the eigenvalue gap to be consistent with that of the correlation length in the 3d Ising model and the BEC transition of monopoles on the lattice.
description: 10 pages, 5 figures
Azimuth Reference - Human Kidney
Creators: name: Satija Lab
Publisher: name: Zenodo
Year: 2024
Subjects: Azimuth
Seurat
single-cell

description: Here we provide the reference data files used to run the Azimuth Human Kidney reference web application. For a full description of the reference data structure, please see the wiki at https://github.com/satijalab/azimuth/wiki/Azimuth-Reference-Format.

v1.0.2 includes update to data structure that does not change any results.
The future of charm physics: a discussion
Creators: name: Yabsley, B. D.
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We closed the CHARM 2007 workshop with a lively panel discussion on the future of the field. This document presents a summary of the key points, and a lightly edited transcript of the discussion itself.
description: 12 pages, 0 figures. To be published in the proceedings of CHARM07, Ithaca, NY, August 2007, eConf C070805. v2: minor corrections to footnotes, refs, & lattice discussion
Symbolic Model Checking: 1020 States and Beyond
Creators: name: J R Burch
name: Clarke, Edmund M
name: K L McMillan
name: D L Dill
name: L J Hwang
Publisher: name: Carnegie Mellon University
Year: 1986
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: A general method that represents the state space symbolically instead of explicitly is described. The generality of the method comes from using a dialect of the mu-calculus as the primary specification language. A model-checking algorithm for mu-calculus formulas which uses R.E. Bryant's (1986) binary decision diagrams to represent relations and formulas symbolically is described. It is then shown how the novel mu-calculus model checking algorithm can be used to derive efficient decision procedures for CTL model checking, satisfiability of linear-time temporal logic formulas, strong and weak observational equivalence of finite transition systems, and language containment of finite ω-automata. This eliminates the need to describe complicated graph-traversal or nested fixed-point computations for each decision procedure. The authors illustrate the practicality of their approach to symbolic model checking by discussing how it can be used to verify a simple synchronous pipeline
Jarnik-type Inequalities
Creators: name: Weil, Steffen
Publisher: name: arXiv
Year: 2013
Subjects: subject: Dynamical Systems (math.DS)
subject: Metric Geometry (math.MG)
subject: Number Theory (math.NT)
subject: FOS: Mathematics

description: It is well known due to Jarnik that the set Bad of badly approximable numbers is of Hausdorff-dimension one. If Bad(c) denotes the subset of x in Bad for which the approximation constant c > c(x), then Jarnik was in fact more precise and gave nontrivial lower and upper bounds of the Hausdorff-dimension of Bad(c) in terms of the parameter c > 0. Our aim is to determine simple conditions on a framework which allow to extend 'Jarnik's inequality' to further examples; among the applications, we discuss the set of badly approximable vectors in with weights and the set of geodesics in the hyperbolic space which avoid a suitable collection of convex sets.
description: Comments are welcome! Corrections and modifications in new version
Hyperuniform States of Matter
Creators: name: Torquato, Salvatore
Publisher: name: arXiv
Year: 2018
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: Hyperuniform states of matter are correlated systems that are characterized by an anomalous suppression of long-wavelength (i.e., large-length-scale) density fluctuations compared to those found in garden-variety disordered systems, such as ordinary fluids and amorphous solids. All perfect crystals, perfect quasicrystals and special disordered systems are hyperuniform. Thus, the hyperuniformity concept enables a unified framework to classify and structurally characterize crystals, quasicrystals and the exotic disordered varieties. While disordered hyperuniform systems were largely unknown in the scientific community over a decade ago, now there is a realization that such systems arise in a host of contexts across the physical, materials, chemical, mathematical, engineering, and biological sciences, including disordered ground states, glass formation, jamming, Coulomb systems, spin systems, photonic and electronic band structure, localization of waves and excitations, self-organization, fluid dynamics, number theory, stochastic point processes, integral and stochastic geometry, the immune system, and photoreceptor cells. Such unusual amorphous states can be obtained via equilibrium or nonequilibrium routes, and come in both quantum-mechanical and classical varieties. The connections of hyperuniform states of matter to many different areas of fundamental science appear to be profound and yet our theoretical understanding of these unusual systems is only in its infancy. The purpose of this review article is to introduce the reader to the theoretical foundations of hyperuniform ordered and disordered systems. Special focus will be placed on fundamental and practical aspects of the disordered kinds, including our current state of knowledge of these exotic amorphous systems as well as their formation and novel physical properties.
description: 113 pages, 63 figures
Symbolic Model Checking without BDDs
Creators: name: Biere, Armin
name: Cimatti, Alessandro
name: Clarke, Edmund M
name: Yunshan  Zhu
Publisher: name: Carnegie Mellon University
Year: 2003
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Symbolic Model Checking [3], [14] has proven to be a powerful technique for the verification of reactive systems. BDDs [2] have traditionally been used as a symbolic representation of the system. In this paper we show how boolean decision procedures, like Stålmarck’s Method [16] or the Davis & Putnam Procedure [7], can replace BDDs. This new technique avoids the space blow up of BDDs, generates counterexamples much faster, and sometimes speeds up the verification. In addition, it produces counterexamples of minimal length. We introduce a bounded model checking procedure for LTL which reduces model checking to propositional satisfiability.We show that bounded LTL model checking can be done without a tableau construction. We have implemented a model checker BMC, based on bounded model checking, and preliminary results are presented.
Recent star formation in high-redshift early-type galaxies: insights from the rest-frame UV
Creators: name: Kaviraj, S.
name: Yi, S. K.
name: Gawiser, E.
name: van Dokkum, P. G.
name: Khochfar, S.
name: Schawinski, K.
name: Silk, J.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We combine deep UBVRIzJK photometry from the MUSYC survey with redshifts from the COMBO-17 survey to study the rest-frame ultraviolet (UV) properties of 674 high-redshift (0.5-20.5) counterparts form 30-60 percent of their mass in the same redshift range.
description: To appear in the proceedings of the IAU 245, eds. M. Bureau, E. Athanassoula, and B. Barbuy
Large-Amplitude Superexchange of High-Spin Fermions in Optical Lattices
Creators: name: Jürgensen, Ole
name: Heinze, Jannes
name: Lühmann, Dirk-Sören
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We show that fermionic high-spin systems with spin-changing collisions allow to monitor superexchange processes in optical superlattices with large amplitudes and strong spin fluctuations. By investigating the non-equilibrium dynamics, we find a superexchange dominated regime at weak interactions. The underlying mechanism is driven by an emerging tunneling-energy gap in shallow few-well potentials. As a consequence, the interaction-energy gap that is expected to occur only for strong interactions in deep lattices is reestablished. By tuning the optical lattice depth, a crossover between two regimes with negligible particle number fluctuations is found: first, the common regime with vanishing spin-fluctuations in deep lattices and, second, a novel regime with strong spin fluctuations in shallow lattices. We discuss the possible experimental realization with ultracold 40K atoms and observable quantities in double wells and two-dimensional plaquettes.
description: 13 pages, 6 figures
Cascading collapse of online social networks
Creators: name: Török, János
name: Kertész, János
Publisher: name: arXiv
Year: 2017
Subjects: subject: Physics and Society (physics.soc-ph)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: FOS: Physical sciences

description: Online social networks have increasing influence on our society, they may play decisive roles in politics and can be crucial for the fate of companies. Such services compete with each other and some may even break down rapidly. Using social network datasets we show the main factors leading to such a dramatic collapse. At early stage mostly the loosely bound users disappear, later collective effects play the main role leading to cascading failures. We present a theory based on a generalised threshold model to explain the findings and show how the collapse time can be estimated in advance using the dynamics of the churning users. Our results shed light to possible mechanisms of instabilities in other competing social processes.
description: 19 pages, 7 figures
Azimuth Reference - Human Kidney
Creators: name: Satija Lab
Publisher: name: Zenodo
Year: 2021
Subjects: Azimuth
Seurat
single-cell

description: Here we provide the reference data files used to run the Azimuth Human Kidney reference web application. For a full description of the reference data structure, please see the wiki at https://github.com/satijalab/azimuth/wiki/Azimuth-Reference-Format. v1.0.1 includes minor fixes to the names of immune subpopulations
Quantum fluctuation theorem to benchmark quantum annealers
Creators: name: Gardas, Bartłomiej
name: Deffner, Sebastian
Publisher: name: arXiv
Year: 2018
Subjects: subject: Quantum Physics (quant-ph)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: Near term quantum hardware promises unprecedented computational advantage. Crucial in its development is the characterization and minimization of computational errors. We propose the use of the quantum fluctuation theorem to benchmark the performance of quantum annealers. This versatile tool provides simple means to determine whether the quantum dynamics are unital, unitary, and adiabatic, or whether the system is prone to thermal noise. Our proposal is experimentally tested on two generations of the D-Wave machine, which illustrates the sensitivity of the fluctuation theorem to the smallest aberrations from ideal annealing.
description: 5 pages, 4 figure
Symbolic Model Checking with Partitioned Transition Relations
Creators: name: Burch, Jerry
name: Clarke, Edmund M
name: Long, David
Publisher: name: Carnegie Mellon University
Year: 2008
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We significantly reduce the complexity of BDD-based symbolic verification by using partitioned transition relations to represent state transition graphs.
The Kolkata Paise Restaurant Problem and Resource Utilization
Creators: name: Chakrabarti, Anindya-Sundar
name: Chakrabarti, Bikas K.
name: Chatterjee, Arnab
name: Mitra, Manipushpak
Publisher: name: arXiv
Year: 2007
Subjects: subject: Physics and Society (physics.soc-ph)
subject: FOS: Physical sciences

description: We study the dynamics of the "Kolkata Paise Restaurant problem". The problem is the following: In each period, N agents have to choose between N restaurants. Agents have a common ranking of the restaurants. Restaurants can only serve one customer. When more than one customer arrives at the same restaurant, one customer is chosen at random and is served; the others do not get the service. We first introduce the one-shot versions of the Kolkata Paise Restaurant problem which we call one-shot KPR games. We then study the dynamics of the Kolkata Paise Restaurant problem (which is a repeated game version of any given one shot KPR game) for large N. For statistical analysis, we explore the long time steady state behavior. In many such models with myopic agents we get under-utilization of resources, that is, we get a lower aggregate payoff compared to the social optimum. We study a number of myopic strategies, focusing on the average occupation fraction of restaurants.
description: revtex4, 8 pages, 3 figs, accepted in Physica A
Direct simulation of liquid-gas-solid flow with a free surface lattice Boltzmann method
Creators: name: Bogner, Simon
name: Harting, Jens
name: Rüde, Ulrich
Publisher: name: arXiv
Year: 2017
Subjects: subject: Computational Physics (physics.comp-ph)
subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: Direct numerical simulation of liquid-gas-solid flows is uncommon due to the considerable computational cost. As the grid spacing is determined by the smallest involved length scale, large grid sizes become necessary -- in particular if the bubble-particle aspect ratio is on the order of 10 or larger. Hence, it arises the question of both feasibility and reasonability. In this paper, we present a fully parallel, scalable method for direct numerical simulation of bubble-particle interaction at a size ratio of 1-2 orders of magnitude that makes simulations feasible on currently available super-computing resources. With the presented approach, simulations of bubbles in suspension columns consisting of more than $100\,000$ fully resolved particles become possible. Furthermore, we demonstrate the significance of particle-resolved simulations by comparison to previous unresolved solutions. The results indicate that fully-resolved direct numerical simulation is indeed necessary to predict the flow structure of bubble-particle interaction problems correctly.
description: submitted to International Journal of Computational Fluid Dynamics
Symbolic Model Checking for Sequential Circuit Verification
Creators: name: Burch, Jerry R
name: Clarke, Edmund M
name: Long, David E.
name: McMillan, Kenneth L.
name: Dill, David L
Publisher: name: Carnegie Mellon University
Year: 1986
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: The temporal logic model checking algorithm of Clarke, Emerson, and Sistla (1986) is modified to represent state graphs using binary decision diagrams (BDD's) and partitioned transition relations. Because this representation captures some of the regularity in the state space of circuits with data path logic, we are able to verify circuits with an extremely large number of states. We demonstrate this new technique on a synchronous pipelined design with approximately 5×10120 states. Our model checking algorithm handles full CTL with fairness constraints. Consequently, we are able to express a number of important liveness and fairness properties, which would otherwise not be expressible in CTL. We give empirical results on the performance of the algorithm applied to both synchronous and asynchronous circuits with data path logic
Reaction $e^+e^-\to\bar DD$ and $ψ'$ mesons
Creators: name: Limphirat, A.
name: Sreethawong, W.
name: Khosonthongkee, K.
name: Yan, Y.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We study the reaction $e^+e^-\to\bar DD$ near threshold in the $^3P_0$ non-relativistic quark model, including as intermediate states the $J/ψ$, $ψ(2S)$, $ψ(3770)$ and $ψ(4040)$ mesons. The work reveals that experimental data strongly favor one of the two $ψ(2S)-ψ(3770)$ mixing angles derived by fitting to the $e^-e^+$ partial decay widths of the $ψ(2S)$ and $ψ(3770)$ mesons. The meson $X(3940)$ as well as the resonance around 3.9 GeV observed by Belle and BaBar Collaborations in the reaction $e^+e^-\rightarrow \bar DD$ is unlikely to be a $c\bar c$ $I^G(J^{PC})=0^-(1^{--})$ state.
description: 7 pages, 1 figure, accepted for publication in Physical Review D
Sonification of Network Traffic Flow for Monitoring and Situational Awareness
Creators: name: Debashi, Mohamed
name: Vickers, Paul
Publisher: name: arXiv
Year: 2017
Subjects: subject: Human-Computer Interaction (cs.HC)
subject: FOS: Computer and information sciences
subject: H.5.2; C.2.3; H.5.5

description: Maintaining situational awareness of what is happening within a network is challenging, not least because the behaviour happens within computers and communications networks, but also because data traffic speeds and volumes are beyond human ability to process. Visualisation is widely used to present information about the dynamics of network traffic dynamics. Although it provides operators with an overall view and specific information about particular traffic or attacks on the network, it often fails to represent the events in an understandable way. Visualisations require visual attention and so are not well suited to continuous monitoring scenarios in which network administrators must carry out other tasks. Situational awareness is critical and essential for decision-making in the domain of computer network monitoring where it is vital to be able to identify and recognize network environment behaviours.Here we present SoNSTAR (Sonification of Networks for SiTuational AwaReness), a real-time sonification system to be used in the monitoring of computer networks to support the situational awareness of network administrators. SoNSTAR provides an auditory representation of all the TCP/IP protocol traffic within a network based on the different traffic flows between between network hosts. SoNSTAR raises situational awareness levels for computer network defence by allowing operators to achieve better understanding and performance while imposing less workload compared to visual techniques. SoNSTAR identifies the features of network traffic flows by inspecting the status flags of TCP/IP packet headers and mapping traffic events to recorded sounds to generate a soundscape representing the real-time status of the network traffic environment. Listening to the soundscape allows the administrator to recognise anomalous behaviour quickly and without having to continuously watch a computer screen.
description: 17 pages, 7 figures plus supplemental material in Github repository
title: Subsidence of Granular Scour Protection around a Pile Exposed to Currents
Creators: name: Schendel, Alexander
name: Schlurmann, Torsten
Publisher: name: Bundesanstalt für Wasserbau
Year: 2019

description: Presented at: Coastal Structures Conference 2019, Hannover, Germany, September 30th – October 2nd, 2019
title: Seagrass Wrack and Coastal Structures: Lessons from South-Western Australia
Creators: name: Pattiaratchi, Charitha
name: Wijeratne, Sarath
Publisher: name: Bundesanstalt für Wasserbau
Year: 2019

description: Presented at: Coastal Structures Conference 2019, Hannover, Germany, September 30th – October 2nd, 2019
Decay Rate Statistics of Unstable Classically Chaotic Systems
Creators: name: Sokolov, Valentin V.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: FOS: Physical sciences

description: Decay law of a complicated unstable state formed in a high energy collision is described by the Fourier transform of the two-point correlation function of the scattering matrix. Although each constituent resonance state decays exponentially the decay of a state composed of a large number of such interfering resonances is not, generally, exponential. We introduce the decay rates distribution function by representing the decay law in the form of the mean-weighted decay exponent. In the framework of the random matrix approach we investigate the properties of the new distribution function and its relation to the more conventional statistics of the decay widths. The latter is not in fact conclusive as concerns the evolution during the time shorter than the characteristic Heisenberg time. Exact analytical consideration is presented for the case of systems without time reversal symmetry.
description: 12 pages
[Queridísimo hmo manuel resiba uste la bendición de Dios]
Creators: name: Próspero, Gaínza Agüero
name: Gaínza Agüero, Próspero
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2023
Subjects: Prison
Fidel Castro
Patriotisme

description: Destinataire : Vázquez Portal, Manuel
description: Description : Lettre du détenu Próspero Gaínza à l'auteur. Il évoque: la tyrannie de Fidel Castro, le patriotisme qui les unit, une note pour 'El Plante' (?), Carlito (?), Juan Carlos Garcel, 'Nene el diablo' (?), la prison, Carlos Luis (?), ses conditions d'incarcération, et ses activités.
description: Notes : Lettre non datée.
description: Source: Cote : MVP-B-2003-00-01
description: Source: Localisation du document : États-Unis, Miami (Floride)
description: created: 2003/2004
title: Storm Classification and the Investigation of Impacts on Beach/Dune
Creators: name: Dissanayake, Pushpa
name: Wurpts, Andreas
name: Winter, Christian
Publisher: name: Bundesanstalt für Wasserbau
Year: 2019

description: Presented at: Coastal Structures Conference 2019, Hannover, Germany, September 30th – October 2nd, 2019
Symbolic Manipulation of Boolean Functions Using a Graphical Representation
Creators: name: Bryant, Randal E.
Publisher: name: Carnegie Mellon University
Year: 1981
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: In this paper we describe a data structure for representing Boolean functions and an associated set of manipulation algorithms. Functions are represented by directed, acyclic graphs in a manner similar to the representations of Lee and Akers, but with further restrictions on the ordering of decision variables in the graph. Although a function requires, in the worst case, a graph of size exponential in the number of arguments, many of the functions encountered in typical applications have a more reasonable representation. Our algorithms are quite efficient as long as the graphs being operated on do not grow too large. We present performance measurements obtained while applying these algorithms to problems in logic design verification.
The effects of explicit chiral symmetry breaking multiquark interactions on the spin 0 and 1 meson nonets: the ruling of the vector mesons
Creators: name: Morais, Jorge
name: Hiller, Brigitte
name: Osipov, Alexander A.
Publisher: name: arXiv
Year: 2017
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We have recently extended the scalar-pseudoscalar sector of a generalized NJL Lagrangian that includes all NLO non derivative interactions in Nc counting (including explicit symmetry breaking ones) in order to incorporate the spin 1 mesons in the low-lying ground state of QCD [1]. Upon bosonization, the well known mixing of the scalar-vector and of the pseudoscalar- axial-vector fields occurs in the quadratic part of the Lagrangian. We show that a linearized diagonalization of these terms can be effected in a completely general way without compromising the underlying symmetries of the Lagrangian [2]. The resulting spin 1 mass spectra evidence a relation involving only the vector and axial-vector meson masses and the constituent quark masses. We discuss the dominant role of this relation in the fits and we show that the model may be fitted to accommodate to a very good accuracy the 4 low-lying meson spectra.
description: 5 pages, 3 tables; based on a talk given at Hadron 2017, Salamanca
title: Wave Height and Crest Height Distributions in Shallow Water: Analysis of Field Data
Creators: name: Karmpadakis, Ioannis
name: Swan, Chris
name: Christou, Marios
Publisher: name: Bundesanstalt für Wasserbau
Year: 2019

description: Presented at: Coastal Structures Conference 2019, Hannover, Germany, September 30th – October 2nd, 2019
On the block structure of the quantum R-matrix in the three-strand braids
Creators: name: Bishler, L.
name: Morozov, An.
name: Sleptsov, A.
name: Shakirov, Sh.
Publisher: name: arXiv
Year: 2017
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Quantum $\mathcal{R}$-matrices are the building blocks for the colored HOMFLY polynomials. In the case of three-strand braids with an identical finite-dimensional irreducible representation $T$ of $SU_q(N)$ associated with each strand one needs two matrices: $\mathcal{R}_1$ and $\mathcal{R}_2$. They are related by the Racah matrices $\mathcal{R}_2 = \mathcal{U} \mathcal{R}_1 \mathcal{U}^{\dagger}$. Since we can always choose the basis so that $\mathcal{R}_1$ is diagonal, the problem is reduced to evaluation of $\mathcal{R}_2$-matrices. This paper is one more step on the road to simplification of such calculations. We found out and proved for some cases that $\mathcal{R}_2$-matrices could be transformed into a block-diagonal ones. The essential condition is that there is a pair of accidentally coinciding eigenvalues among eigenvalues of $\mathcal{R}_1$-matrix. The angle of the rotation in the sectors corresponding to accidentally coinciding eigenvalues from the basis defined by the Racah matrix to the basis in which $\mathcal{R}_2$ is block-diagonal is $\pm \fracπ{4}$.
description: 21 pages
The application of the Force Analogy Method (FAM) in Pushover Analysis for Steel Moment Resisting Frames
Creators: name: Safaei, Shayan
name: Taslimi, Arsam
name: Tehrani, Payam
Publisher: name: figshare
Year: 2021
Subjects: subject: 90506 Structural Engineering
subject: FOS: Civil engineering

description: In this research, the precision and efficiency of the use of FAM in static nonlinear analysis (pushover analysis) have been compared to the case of using other common element types such as forced-based and displacement-based fiber elements and SAP2000 super elements in nonlinear analysis. In addition, the effects of elastic axial deformation of the members on the performance of the structures, which have not been investigated before using FAM, have also been implemented through analysis by modifying the stiffness matrices of the structural elements. To achieve this goal, a computer code has been developed in MATLAB to analyze the structures using improved FAM. Differences between the FAM and other mentioned methods are revealed through conducting pushover analysis on six 2D steel special moment-resisting frames. The results of pushover curves, base shear forces, and plastic rotation of the critical hinges obtained from all of the methods are compared to demonstrate the accuracy of the FAM. The results indicated that in general, the predictions obtained using the FAM had a good agreement and compatibility with those from other methods of analysis currently used in practice for seismic performance assessment of structures.
Binary energy source of the HH 250 outflow and its circumstellar environment
Creators: name: Comerón, Fernando
name: Reipurth, Bo
name: Yen, Hsi-Wei
name: Connelley, Michael S.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Herbig-Haro flows are signposts of recent major accretion and outflow episodes. We aim to determine the nature and properties of the little-known outflow source HH 250-IRS, which is embedded in the Aquila clouds. We have obtained adaptive optics-assisted L-band images with the NACO instrument on the Very Large Telescope (VLT), together with N- and Q-band imaging with VISIR also on the VLT. Using the SINFONI instrument on the VLT we carried out H- and K-band integral field spectroscopy of HH 250-IRS, complemented with spectra obtained with the SpeX instrument at the InfraRed Telescope Facility (IRTF) in the JHKL bands. Finally, the SubMillimeter Array (SMA) interferometer was used to study the circumstellar environment of HH 250-IRS at 225 and 351 GHz with CO (2-1) and CO (3-2) maps and 0.9 mm and 1.3 mm continuum images. The HH 250-IRS source is resolved into a binary with 0''53 separation, corresponding to 120 AU at the adopted distance of 225 pc. The individual components show heavily veiled spectra with weak CO absorption indicative of late-type stars. Both are Class I sources, but their spectral energy distributions between 1.5 $μ$m and 19 $μ$m differ markedly and suggest the existence of a large cavity around one of the components. The millimeter interferometric observations indicate that the gas mainly traces a circumbinary envelope or disk, while the dust emission is dominated by one of the circumstellar envelopes. HH 250-IRS is a new addition to the handful of multiple systems where the individual stellar components, the circumstellar disks and a circumbinary disk can be studied in detail, and a rare case among those systems in which a Herbig-Haro flow is present.
description: Accepted for publication by Astronomy and Astrophysics
Features of holographic dark energy under the combined cosmological constraints
Creators: name: Ma, Yin-Zhe
name: Gong, Yan
name: Chen, Xuelei
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We investigate the observational signatures of the holographic dark energy models in this paper, including both the original model and a model with an interaction term between the dark energy and dark matter. We first delineate the dynamical behavior of such models, especially whether they would have "Big Rip" for different parameters, then we use several recent observations, including 182 high-quality type Ia supernovae data observed with the Hubble Space Telescope, the SNLS and ESSENCE surveys, 42 latest Chandra X-ray cluster gas mass fraction, 27 high-redshift gamma-ray burst samples, the baryon acoustic oscillation measurement from the Sloan Digital Sky Survey, and the CMB shift parameter from WMAP three years result to give more reliable and tighter constraints on the holographic dark energy models. The results of our constraints for the holographic dark energy model without interaction is $c=0.748^{+0.108}_{-0.009}$, $Ω_{\mathrm{m0}}=0.276^{+0.017}_{-0.016}$, and for model with interaction ($c=0.692^{+0.135}_{-0.107}$, $Ω_{\mathrm{m0}}=0.281^{+0.017}_{-0.017}$ ,$α=-0.006 ^{+0.021}_{-0.024}$, where $α$ is an interacting parameter). As these models have more parameters than the $Λ$CDM model, we use the Bayesian evidence as a model selection criterion to make comparison. We found that the holographic dark energy models are mildly favored by the observations compared with the $\mathrm{ΛCDM}$ model.
description: 26 pages, 16 figures, version accepted by EPJC
Lie 2-algebroids and matched pairs of 2-representations - a geometric approach
Creators: name: Lean, Madeleine Jotz
Publisher: name: arXiv
Year: 2017
Subjects: subject: Differential Geometry (math.DG)
subject: FOS: Mathematics
subject: 53B05, 53D17

description: Li-Bland's correspondence between linear Courant algebroids and Lie $2$-algebroids is explained and shown to be an equivalence of categories. Decomposed VB-Courant algebroids are shown to be equivalent to split Lie 2-algebroids in the same manner as decomposed VB-algebroids are equivalent to 2-term representations up to homotopy (Gracia-Saz and Mehta). Several classes of examples are discussed, yielding new examples of split Lie 2-algebroids. We prove that the bicrossproduct of a matched pair of $2$-representations is a split Lie $2$-algebroid and we explain this result geometrically, as a consequence of the equivalence of VB-Courant algebroids and Lie $2$-algebroids. This explains in particular how the two notions of double" of a matched pair of representations are geometrically related. In the same manner, we explain the geometric link between the two notions of double of a Lie bialgebroid.
description: This is the improved and completed second part of the work arXiv:1504.00880 (N-manifolds of degree 2 and metric double vector bundles)
Symbolic Functional and Timing Verification of Transistor-Level Circuits
Creators: name: McDonald, Clayton B.
name: Bryant, Randal E.
Publisher: name: Carnegie Mellon University
Year: 1977
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We introduce a new method of verifying the timing of custom CMOS circuits. Due to the exponential number of patterns required, traditional simulation methods are unable to exhaustively verify a medium-sized modern logic block. Static analysis can handle much larger circuits but is not robust with respect to variations from standard circuit structures. Our approach applies symbolic simulation to analyze a circuit over all input combinations without these limitations. We present a prototype simulator (SirSim) and experimental results. We also discuss using SirSim to verify an industrial design which previously required a special-purpose verification methodology
title: ADCO, Cartulaire de Cîteaux pour les possessions de Tontenant (c. 1504), Cart. 184 (11 H 987), 105 folios, f. 0177
Creators: name: de la Côte d'Or, Archives départementales
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CG21/F.PETOT/2015
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: cartulaire
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge

description: Cartulaire de Cîteaux pour les possessions de Tontenant (c. 1504), Archives départementales de la Côte-d'Or, Cart. 184 (11 H 987), 105 folios, f. 0177, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire de Cîteaux pour les possessions de Tontenant (c. 1504), Archives départementales de la Côte-d'Or, Cart. 184 (11 H 987), 105 folios, f. 0177, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https:// manuscrits.cbma-project.eu/
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
The Symplectic Geometry of Penrose Rhombus Tilings
Creators: name: Battaglia, Fiammetta
name: Prato, Elisa
Publisher: name: arXiv
Year: 2007
Subjects: subject: Symplectic Geometry (math.SG)
subject: Mathematical Physics (math-ph)
subject: Geometric Topology (math.GT)
subject: FOS: Mathematics
subject: FOS: Physical sciences
subject: 53D20 (Primary) 52C23 (Secondary)

description: The purpose of this article is to view Penrose rhombus tilings from the perspective of symplectic geometry. We show that each thick rhombus in such a tiling can be naturally associated to a highly singular 4-dimensional compact symplectic space, while each thin rhombus can be associated to another such space; both spaces are invariant under the Hamiltonian action of a 2-dimensional quasitorus, and the images of the corresponding moment mappings give the rhombuses back. These two spaces are diffeomorphic but not symplectomorphic.
description: 22 pages, 11 figures. Minor improvements. To appear in J. Symplectic Geom
title: Maintenance of Flood Protection Infrastructure in the North Sea Region - An Analysis of Existing Maintenance Strategies
Creators: name: Jordan, Philipp
name: Manojlovic, Natasa
name: Fröhle, Peter
Publisher: name: Bundesanstalt für Wasserbau
Year: 2019

description: Presented at: Coastal Structures Conference 2019, Hannover, Germany, September 30th – October 2nd, 2019
Symbolic Approaches for Finding Control Strategies in Boolean Networks
Creators: name: Langmead, Christopher J.
name: Jha, Sumit Kumar
Publisher: name: Carnegie Mellon University
Year: 1975
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We present an exact algorithm, based on techniques from the field of Model Checking, for finding control policies for Boolean Networks (BN) with control nodes. Given a BN, a set of starting states, I, a set of goal states, F, and a target time, t, our algorithm automatically finds a sequence of control signals that deterministically drives the BN from I to F at, or before time t, or else guarantees that no such policy exists. Despite recent hardness-results for finding control policies for BNs, we show that, in practice, our algorithm runs in seconds to minutes on over 13,400 BNs of varying sizes and topologies, including a BN model of embryogenesis in Drosophila melanogaster with 15,360 Boolean variables. We then extend our method to automatically identify a set of Boolean transfer functions that reproduce the qualitative behavior of gene regulatory networks. Specifically, we automatically learn a BN model of D. melanogaster embryogenesis in 5.3 seconds, from a space containing 6.9 × 1010 possible models.
title: Seismic Response Modification Factors for Wharf Structures in Chile
Creators: name: Montero, Guillermo
name: De la Barra, Camilo
name: Novoa, Nelson
Publisher: name: Bundesanstalt für Wasserbau
Year: 2019

description: Presented at: Coastal Structures Conference 2019, Hannover, Germany, September 30th – October 2nd, 2019
Symbolic and Numeric Computations of the Barnes Function
Creators: name: Adamchik, Victor S.
Publisher: name: Carnegie Mellon University
Year: 1965
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: This paper discusses some theoretical aspects and algorithms for high-precision computation of the Barnes gamma function.
Complexity Analysis of Chaos and Other Fluctuating Phenomena
Creators: name: Brechtl, Jamieson
name: Xie, Xie
name: Dahmen, Karen A.
name: Liaw, Peter K.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Data Analysis, Statistics and Probability (physics.data-an)
subject: FOS: Physical sciences

description: The refined composite multiscale-entropy algorithm was applied to the time-dependent behavior of the Weierstrass functions, colored noise, and Logistic map to provide fresh insight into the dynamics of these fluctuating phenomena. For the Weierstrass function, the complexity of fluctuations was found to increase with respect to the fractional dimension, D, of the graph. Additionally, the sample-entropy curves increased in an exponential fashion with increasing D. This increase in the complexity was found to correspond to a rising amount of irregularities in the oscillations. In terms of the colored noise, the complexity of the fluctuations was found to be highest for the 1/f noise (f is the frequency of the generated noise), which is in agreement with findings in the literature. Moreover, the sample-entropy curves exhibited a decreasing trend for noise when the spectral exponent, β, was less than 1 and obeyed an increasing trend when β> 1. Importantly, a direct relationship was observed between the power-law exponents for the curves and the spectral exponents of the noise. For the logistic map, a correspondence was observed between the complexity maps and its bifurcation diagrams. Specifically, the map of the sample-entropy curves was negligible when the bifurcation parameter, R, varied between 3 - 3.5. Beyond these values, the curves attained non-zero values that increased with increasing R, in general.
description: 32 pages, 11 figures
Relativistic Coulomb Integrals and Zeilberger's Holonomic Systems Approach II
Creators: name: Koutschan, Christoph
name: Paule, Peter
name: Suslov, Sergei K.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: Symbolic Computation (cs.SC)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: We derive the recurrence relations for relativistic Coulomb integrals directly from the integral representations with the help of computer algebra methods. In order to manage the computational complexity of this problem, we employ holonomic closure properties in a sophisticated way.
Symbolic Analysis Methods for Masks, Circuits, and Systems
Creators: name: Bryant, Randal E.
Publisher: name: Carnegie Mellon University
Year: 1982
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Symbolic representations of systems can achieve a high degree of compaction relative to more explicit forms. By casting an analysis task in terms of operations on a symbolic representation, large and complex systems can be analyzed efficiently. This paper summarizes research in applying symbolic analysis methods to systems at several levels of abstraction.