cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Logic-Based Benders Decomposition
Creators: name: Hooker, John N.
name: G.  Ottosson
Publisher: name: Carnegie Mellon University
Year: 2012
Subjects: subject: 150399 Business and Management not elsewhere classified
subject: FOS: Economics and business

description: Benders decomposition uses a strategy of “learning from one’s mistakes.” The aim of this paper is to extend this strategy to a much larger class of problems. The key is to generalize the linear programming dual used in the classical method to an “inference dual.” Solution of the inference dual takes the form of a logical deduction that yields Benders cuts. The dual is therefore very different from other generalized duals that have been proposed. The approach is illustrated by working out the details for propositional satisfiability and 0-1 programming problems. Computational tests are carried out for the latter, but the most promising contribution of logic-based Benders may be to provide a framework for combining optimization and constraint programming methods.
Discovery of highly spin-polarized conducting surface states in the strong spin-orbit coupling semiconductor Sb$_2$Se$_3$
Creators: name: Das, Shekhar
name: Kamboj, Suman
name: Sirohi, Anshu
name: Vasdev, Aastha
name: Gayen, Sirshendu
name: Guptasarma, Prasenjit
name: Sheet, Goutam
Publisher: name: arXiv
Year: 2018
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Majority of the A$_2$B$_3$ type chalcogenide systems with strong spin-orbit coupling, like Bi$_2$Se$_3$, Bi$_2$Te$_3$ and Sb$_2$Te$_3$ etc., are topological insulators. One important exception is Sb$_2$Se$_3$, where a topological non-trivial phase was argued to be possible under ambient conditions, but such a phase could be detected to exist only under pressure. In this Letter, we show that like Bi$_2$Se$_3$, Sb$_2$Se$_3$, displays generation of highly spin-polarized current under mesoscopic superconducting point contacts as measured by point contact Andreev reflection spectroscopy. In addition, we observe a large negative and anisotropic magnetoresistance in Sb$_2$Se$_3$, when the field is rotated in the basal plane. However, unlike in Bi$_2$Se$_3$, in case of Sb$_2$Se$_3$ a prominent quasiparticle interference (QPI) pattern around the defects could be obtained in STM conductance imaging. Thus, our experiments indicate that Sb$_2$Se$_3$ is a regular band insulator under ambient conditions, but due to it's high spin-orbit coupling, non-trivial spin-texture exists on the surface and the system could be on the verge of a topological insulator phase.
description: 5 pages, 4 figures, supplemental material not included
Logical Inference and Polyhedral Projection
Creators: name: Hooker, John N.
Publisher: name: Carnegie Mellon University
Year: 1968
Subjects: subject: 150399 Business and Management not elsewhere classified
subject: FOS: Economics and business

description: We explore connections between polyhedral projection and inference in propositional logic. We formulate the problem of drawing all inferences that contain a restricted set of atoms (i.e., all inferences that pertain to a given question) as a logical projection problem. We show that polyhedral projection partially solves this problem and in particular derives precisely those inferences that can be obtained by a certain form of unit resolution. We prove that this unit resolution algorithm is exponential in the number of atoms in the restricted set but is polynomial in the problem size when this number of fixed. We also survey a number of new satisfiability algorithms that have been suggested by the polyhedral interpretation of propositional logic.
Hydrogen embrittlement controlled by reaction of dislocation with grain boundary in alpha-iron
Creators: name: Wan, Liang
name: Geng, Wen Tong
name: Ishii, Akio
name: Du, Jun-Ping
name: Ishikawa, Nobuyuki
name: Kimizuka, Hajime
name: Ogata, Shigenobu
Publisher: name: arXiv
Year: 2018
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Hydrogen atoms absorbed by metals in the hydrogen-containing environments can lead to the premature fracture of the metal components used in load-bearing conditions. Since metals used in practice are mostly polycrystalline, grain boundaries (GBs) can play an important role in hydrogen embrittlement of metals. Here we show that the reaction of GB with lattice dislocations is a key component in hydrogen embrittlement mechanism for polycrystalline metals. We use atomistic modeling methods to investigate the mechanical response of GBs in alpha-iron with various hydrogen concentrations. Analysis indicates that dislocations impingement and emission on the GB cause the GB to locally transform into an activated state with a more disordered atomistic structure, and introduce a local stress concentration. The activation of the GB segregated with hydrogen atoms can greatly facilitate decohesion of the GB. We show that the hydrogen embrittlement model proposed here can give better explanation of many experimental observations.
Concerning the Strauss conjecture and almost global existence for nonlinear Dirichlet-wave equations in 4-dimensions
Creators: name: Du, Yi
name: Metcalfe, Jason
name: Sogge, Christopher D.
name: Zhou, Yi
Publisher: name: arXiv
Year: 2007
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics
subject: 35L70

description: We show the obstacle version of the Strauss conjecture holds when the spatial dimension is equal to 4. We also show that an almost global existence theorem of Hörmander for (4+1)-dimensional Minkowski space holds in the obstacle setting. We use weighed space-time variants of the energy inequality and a variant of the classical Hardy inequality.
description: Corrected a few typos and clarified the proof of inequality (2.12). 18 pages
Liquidity Traps for Money, Bank Credit, and Interest Rates
Creators: name: Brunner, Karl
name: Meltzer, Allan
Publisher: name: Carnegie Mellon University
Year: 1998
Subjects: subject: 150399 Business and Management not elsewhere classified
subject: FOS: Economics and business

description: Few conclusions about economic events have been repeated as frequently or have had as much influence on economists' attitudes toward monetary policy as the assertion that the monetary system of the thirties was "caught in a liquidity trap." Empirical studies of the public's demand for money and the banks' demand for earning assets seemed to support the assertion about a trap and the closely related conclusion that monetary policy had no effect on output, employment, and prices during at least some part of the thirties.1 Conclusions about the occurrence of a trap and the ineffectiveness of monetary policy were reinforced by central bankers' statements that likened monetary policy to "pushing on a string."2 Taken together the empirical evidence and the central bankers' interpretations convinced many economists that some form of a trap had existed (Keynes 1936 p. 207; Fellner, 1948, pp. 81-83, 91-93; Villard, 1948, pp. 324 334 345- Shaw, 1950, pp. 283-85)
Nanoantenne: principi di funzionamento e loro applicazioni
Creators: name: Gorgone, Marco
Publisher: name: INFN Open Access Repository
Year: 2021
Subjects: antenne
nanoantenna
plasmodi

description: In questa tesi ho discusso sulle caratteristiche delle antenne per le teleco- municazioni partendo dal punto di vista storico, fino a riportare i recenti sviluppi nell’ambito delle più innovative ricerche sulle nanoantenne pla- smoniche. Nel primo capitolo è riportata una breve trattazione storica dell’anten- na, dalla scoperta del loro funzionamento, descrivendone il primo uso in ambito delle telecomunicazioni presentato da Marconi per la prima co- municazione transatlantica. Nel secondo capitolo vengono confrontate le antenne, in termini di strut- tura, caratteristiche fisiche e differenti tipologie, in modo da capire il per- chè conviene usare un tipo di antenna rispetto ad un’altra, presentando un confronto con le nanoantenne. Nel terzo capitolo, è descritta la teoria delle risonanze plasmoniche di nanoparticelle metalliche e i cambi delle proprietà tra le antenne e le na- noantenne. Infine vengono spiegati gli usi delle nanoantenne per svaria- te applicazioni, dall’uso per la spettroscopia ad usarle per dispositivi di emissione di luce.
title: Reference epochs in VLBI estimations of clock parameters
Creators: name: Nothnagel, Axel Gerhard
name: Krásná, Hana
Publisher: name: TU Wien
Year: 2021
Subjects: VLBI clock parameters
epoch of minimal variance

description: By default, the reference epoch of the relative clock offsets has always been the start of the sessions. If we consider a simple first order model for the relative clock parameters, i.e., just an offset and a rate, the formal errors of the parameters improve if the reference epoch is chosen to be at the middle of the session. In Altamimi et al. (2002), this is called the epoch of minimum variance. In a small study we have investigated whether this fact could be exploited in VLBI data analysis. For the CONT17a series of sessions, we ran solutions with the reference epochs of the clocks being the middle of the session and compared the results to those of standard solutions. We found that even for more sophisticated parameterizations of the clocks, i.e., with polynomials and piece-wise linear polygons, the formal errors of all clock parameters did improve significantly. Although the correlation matrices change as well, there, unfortunately, is no improvement for the formal errors of any other,(non-clock) parameter. At the same time, the condition numbers of the solutions did not change significantly either. We conclude that the effects of changing the reference epoch in VLBI estimations of clock parameters are confined to the clock parameter space alone.
Localization of highest weight modules of a class of Extended Affine Lie Algebras
Creators: name: Liu, Genqiang
name: Li, Yang
name: Wang, Yihan
Publisher: name: arXiv
Year: 2017
Subjects: subject: Representation Theory (math.RT)
subject: FOS: Mathematics

description: In 2006, Gao and Zeng \cite{GZ} gave the free field realizations of highest weight modules over a class of extended affine Lie algebras. In the present paper, applying the technique of localization to those free field realizations, we construct a class of new weight modules over the extended affine Lie algebras. We give necessary and sufficient conditions for these modules to be irreducible. In this way, we construct free field realizations for a class of simple weight modules with infinite weight multiplicities over the extended affine Lie algebras.
Higher string functions, higher-level Appell functions, and the logarithmic ^sl(2)_k/u(1) CFT model
Creators: name: Semikhatov, AM
Publisher: name: arXiv
Year: 2007
Subjects: subject: Quantum Algebra (math.QA)
subject: High Energy Physics - Theory (hep-th)
subject: Mathematical Physics (math-ph)
subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: FOS: Physical sciences

description: We generalize the string functions C_{n,r}(tau) associated with the coset ^sl(2)_k/u(1) to higher string functions A_{n,r}(tau) and B_{n,r}(tau) associated with the coset W(k)/u(1) of the W-algebra of the logarithmically extended ^sl(2)_k conformal field model with positive integer k. The higher string functions occur in decomposing W(k) characters with respect to level-k theta and Appell functions and their derivatives (the characters are neither quasiperiodic nor holomorphic, and therefore cannot decompose with respect to only theta-functions). The decomposition coefficients, to be considered ``logarithmic parafermionic characters,'' are given by A_{n,r}(tau), B_{n,r}(tau), C_{n,r}(tau), and by the triplet \mathscr{W}(p)-algebra characters of the (p=k+2,1) logarithmic model. We study the properties of A_{n,r} and B_{n,r}, which nontrivially generalize those of the classic string functions C_{n,r}, and evaluate the modular group representation generated from A_{n,r}(tau) and B_{n,r}(tau); its structure inherits some features of modular transformations of the higher-level Appell functions and the associated transcendental function Phi.
description: 34 pages, amsart++, times. V2: references added; minor changes; some nonsense in B.3.3. corrected
title: ADCO, Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome VI, Cart. 190 (11 H 75), 316 folios, f. 0009r
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/2012
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: cartulaire
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome VI, Archives départementales de la Côte-d'Or, Cart. 190 (11 H 75), 316 folios, f. 0009r, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome VI, Archives départementales de la Côte-d'Or, Cart. 190 (11 H 75), 316 folios, f. 0009r, 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 study of double vector charmonium mesons production at B-factories within light cone formalism
Creators: name: Braguta, V. V.
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In this paper the processes $e^+ e^- \to J/ΨJ/Ψ, J/Ψψ', ψ' ψ'$ are considered in the framework of light cone formalism. An important distinction of this approach in comparison to the approaches used in other papers is that relativistic and leading logarithmic radiative corrections to the cross section can be easily resummed within light cone formalism. In this paper the effect of this resummation is studied. It is shown that this effect is important especially for the production of higher charmonium mesons. The predicted cross sections are in agreement with the upper bounds set by Belle collaboration.
description: 9 pages, 3 figures. Published version. References and new discussions added. Some errors fixed, results changed only slightly
Liquidity Claptrap
Creators: name: Meltzer, Allan
Publisher: name: Carnegie Mellon University
Year: 1971
Subjects: subject: 150399 Business and Management not elsewhere classified
subject: FOS: Economics and business

description: Economists are rarely satisfied with evidence that something works in practice. They tend to be more interested in whether it works in theory. In the case of monetary policy at low (or zero) inflation, the now famous theoretical conjecture is John Maynard Keynes's claim that when inflation is low and market interest rates are below 2 percent, monetary policy might be incapable of changing the interest rate, price level, or any other relevant variable. He gave the problem a name, liquidity trap. Paul Krugman and Takatoshi Ito conjecture that Japan is now in a liquidity trap, because short-term interest rates are near zero. Larry Summers argued a related proposition — that zero inflation is socially costly because it sets a lower bound for nominal interest rates. Monetary policy becomes ineffective: It cannot lower the short-term nominal rate or prevent falling prices from raising the real rate of interest. With money wages less than fully flexible, unemployment rises. The central bank is powerless to lower the short-term nominal interest rate once it reaches (or approaches) zero.
Fission fragment mass distribution in $^{210}$Po and $^{213}$At
Creators: name: Sen, A.
name: Ghosh, T. K.
name: Bhattacharya, S.
name: Banerjee, K.
name: Bhattacharya, C.
name: Kundu, S.
name: Mukherjee, G.
name: Asgar, A.
name: Dey, A.
name: Dhal, A.
name: Shaikh, Md. Moin
name: Meena, J. K.
name: Manna, S.
name: Pandey, R.
name: Rana, T. K.
name: Roy, Pratap
name: Roy, T.
name: Srivastava, V.
name: Bhattacharya, P.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Nuclear Experiment (nucl-ex)
subject: FOS: Physical sciences

description: Background: The influence of shell effect on the dynamics of the fusion fission process and it's evolution with excitation energy in the pre-actinide Hg-Pb region in general is a matter of intense research in recent years. In particular, a strong ambiguity remains for the neutron shell closed $^{210}$Po nucleus regarding the role of shell effect in fission around $\approx$ 30 - 40 MeV of excitation energy. Purpose: We have measured the fission fragment mass distribution of $^{210}$Po populated using fusion of $^{4}$He + $^{206}$Pb at different excitation energies and compare the result with recent theoretical predictions as well as with our previous measurement for the same nucleus populated through a different entrance channel. Mass distribution in the fission of the neighbouring nuclei $^{213}$At is also studied for comparison. Methods: Two large area Multi-wire Proportional Counters (MWPC) were used for complete kinematical measurement of the coincident fission fragments. The time of flight differences of the coincident fission fragments were used to directly extract the fission fragment mass distributions. Results: The measured fragment mass distribution for the reactions $^{4}$He + $^{206}$Pb and $^{4}$He + $^{209}$Bi were symmetric and the width of the mass distributions were found to increase monotonically with excitation energy above 36.7 MeV and 32.9 MeV, respectively, indicating the absence of shell effects at the saddle. However, in the fission of $^{210}$Po, we find minor deviation from symmetric mass distributions at the lowest excitation energy (30.8 MeV). Conclusion: Persistence of shell effect in fission fragment mass distribution of $^{210}$Po was observed at the excitation energy $\approx$ 31 MeV as predicted by the theory; at higher excitation energy, however, the present study reaffirms the absence of any shell correction in the fission of $^{210}$Po.
title: Tracking Urban Mobility
Creators: name: Winter, Stephan
Publisher: name: TU Wien
Year: 2021
Subjects: internet of things
IoT
location
tracking

description: Within the coordinate reference systems discussed in the previous chapter, location can be described. Location data is increasingly becoming available from sensors integrated in urban mobility: sensors that are attached to travelers or vehicles, or even to fix locations registering travelers or vehicles passing by. This chapter will introduce some tracking technologies and their properties, and then define the notion of a trajectory, with its critical properties of spatial and temporal granularity (precision and sampling rate), and accuracy (linked to map matching). In addition, the chapter introduces the two complementary frames of references for tracking urban mobility, the Lagrangian and the Eulerian, and how to convert between them.
Line-of-Sight Networks
Creators: name: Frieze, Alan
name: Kleinberg, Jon
name: Ramamoorthi Ravi
name: Debany, Warren
Publisher: name: Carnegie Mellon University
Year: 2007
Subjects: subject: 150399 Business and Management not elsewhere classified
subject: FOS: Economics and business

description: Random geometric graphs have been one of the fundamental models for reasoning about wireless networks: one places n points at random in a region of the plane (typically a square or circle), and then connects pairs of points by an edge if they are within a fixed distance of one another. In addition to giving rise to a range of basic theoretical questions, this class of random graphs has been a central analytical tool in the wireless networking community. For many of the primary applications of wireless networks, however, the underlying environment has a large number of obstacles, and communication can only take place among nodes when they are close in space and when they have line-of-sight access to one another — consider, for example, urban settings or large indoor environments. In such domains, the standard model of random geometric graphs is not a good approximation of the true constraints, since it is not designed to capture the line-of-sight restrictions. Here we propose a random-graph model component, as well an approximation question, in which we seek to connect a set of given nodes in such an environment by adding a small set of additional “relay” nodes. both range limitations and line-of-sight constraints, and we prove asymptotically tight results for k-connectivity. Specifically, we consider points placed randomly on a grid (or torus), such that each node can see up to a fixed distance along the row and column it belongs to. (We think of the rows and columns as “streets” and“avenues” among a regularly spaced array of obstructions.) Further, we show that when the probability of node placement is a constant factor larger than the threshold for connectivity, near-shortest paths between pairs of nodes can be found, with high probability, by an algorithm using only local information. In addition to analyzing connectivity and k-connectivity, we also study the emergence of a giant
Galaxy And Mass Assembly (GAMA): Bulge-disk decomposition of KiDS and VIKING data in the nearby universe
Creators: name: Casura, Sarah
name: Liske, Jochen
name: Robotham, Aaron S. G.
name: Taranu, Dan S.
name: Laine, Jarkko
Publisher: name: Zenodo
Year: 2019
Subjects: galaxies: structure
galaxies: fundamental parameters
dust, extinction
catalogues
methods: statistical
techniques: photometric

description: Obtaining reliable structural parameters for the different components of galaxies is important for a wide variety of studies of galaxy properties and evolution. I will present our current work on the bulge-disk decomposition of approximately 13000 GAMA galaxies in the nearby universe (z smaller than 0.08) in all 9 optical and near-infrared bands covered by KiDS and VIKING. The galaxy profiling itself uses the 2-dimensional Bayesian profile fitting code ProFit (Robotham et al. 2016) while the preparatory work (image segmentation/source identification, sky subtraction, initial parameter estimates) is carried out using the sister package ProFound (Robotham et al. 2018). The local PSF is estimated using a combination of ProFound and ProFit to identify stars near the galaxy of interest and fit them with a Moffat function. These decompositions will be used to derive the stellar mass functions of bulges and disks and study the nature and distribution of dust in galaxy disks.
description: {"references": ["Robotham A. S. G. et al., 2017, MNRAS, 466, 1513", "Robotham A. S. G. et al., 2018, MNRAS, 476, 3137", "Popescu C. C. et al., 2011, A&A, 527, A109 and preceding publications of this series", "Driver, S. P. et al., 2007, MNRAS, 379, 1022", "Galaxy And Mass Assembly (GAMA): http://www.gama-survey.org/", "Kilo-Degree Survey (KiDS): http://kids.strw.leidenuniv.nl/", "VISTA Kilo-Degree Infrared Galaxy Survey (VIKING): http://www.eso.org/sci/observing/PublicSurveys/sciencePublicSurveys.html#vistacycle1"]}
Analytical Approach to Subhaloes Population in Dark Matter Haloes
Creators: name: Giocoli, Carlo
name: Pieri, Lidia
name: Tormen, Giuseppe
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: In the standard model of cosmic structure formation, dark matter haloes form by gravitational instability. The process is hierarchical: smaller systems collapse earlier, and later merge to form larger haloes. The galaxy clusters, hosted by the largest dark matter haloes, are at the top of this hierarchy representing the largest as well as the last structures formed in the universe, while the smaller and first haloes are those Earth-sized dark subhaloes which have been both predicted by theoretical considerations and found in numerical simulations, though it does not exist any observational hints of their existence. The probability that a halo of mass $m$ at redshift $z$ will be part of a larger halo of mass $M$ at the present time can be described in the frame of the extended Press & Schecter theory making use of the progenitor (conditional) mass function. Using the progenitor mass function we calculate analytically, at redshift zero, the distribution of subhaloes in mass, formation epoch and rarity of the peak of the density field at the formation epoch. That is done for a Milky Way-size system, assuming both a spherical and an ellipsoidal collapse model. Our calculation assumes that small progenitors do not lose mass due to dynamical processes after entering the parent halo, and that they do not interact with other subhaloes. For a $\mathrmΛ$CDM power spectrum we obtain a subhalo mass function $\mathrm{d}n/\mathrm{d}m$ proportional to $m^{- α}$ with a model-independent $α\sim 2$. Assuming the dark matter is a weakly interacting massive particle, the inferred distributions is used to test the feasibility of an indirect detection in the $γ$-rays energy band of such a population of subhaloes with a GLAST-like satellite.
description: 10 pages, 7 figures - submitted to MNRAS
title: Sensors for Parking Occupancy Detection
Creators: name: Khoshelham, Kourosh
Publisher: name: TU Wien
Year: 2021
Subjects: magnetic
ultrasonic
infrared
radar
RFID
camera
visible light
inductive loop
piezoelectric

description: This chapter provides an overview of sensor technologies and methodologies for determining the occupancy of parking spaces. It covers a range of sensors including active and passive sensors that can be installed overhead, in or on the ground in both indoor and outdoor environments. The chapter also provides a comparison of sensors, and discusses considerations for sensor selection and open challenges in parking occupancy detection.
Military Service – Recruitment
Creators: name: Victoria, Artur
Publisher: name: Zenodo
Year: 2019
Subjects: miliray, national Defense, Recruitment,

description: Portugal is with many difficulties with recruitment for the Armed Forces since the compulsory period of military service for the young people finished by law. The Forces are served by a professional effective staff (about 4.00 soldiers and 3.000 officers in the Army) respecting the country compromises with NATO. However, people are getting old and it is necessary to think in ten years because there isn’t any attraction by the actual professional and salary in the Forces. In the three stages of recruitment – applying – selection and incorporation young people do not seem attracted to serve and when applies, give up after in a big proportional quantity. This is a problem that responsible staff thinks to solve in three ways – Marketing for the young people giving them opportunities to adventure and new experiences – Inviting young people to try war games and instruction in one day as they were soldiers. And for the ones already convinced to apply, to allow them to be counseled by an expert through other time it serves by contract and getting him/her qualifications for after in the civil life apply easily for work having qualifications. And another bet is being done. How to incentivize feminine applications. A big social study is going on about how to approach this issue. This is the American way of acting – creating battle heroes and real 12-Inch Soldier Doll ordered by Ronald Reagan to Marvel to create the famous action figure became a Toy Legend. G.I. Joe was an "action figure".
Linear Programming Relaxations of Quadratically Constrained Quadratic Programs
Creators: name: Belotti, Pietro
name: Francois Margot
name: Qualizza, Andrea
Publisher: name: Carnegie Mellon University
Year: 1999
Subjects: subject: 150399 Business and Management not elsewhere classified
subject: FOS: Economics and business

description: We investigate the use of linear programming tools for solving semidefinite programming relaxations of quadratically constrained quadratic problems. Classes of valid linear inequalities are presented, including sparse SDP cuts, and principal minors SDP cuts. Computational results based on instances from the literature are presented
A low-energy sensitive compact gamma-ray detector based on LaBr3 and SiPM for GECAM
Creators: name: Lv, P.
name: Xiong, S. L.
name: Sun, X. L.
name: Lv, J. G.
name: Li, Y. G.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: Instrumentation and Detectors (physics.ins-det)
subject: FOS: Physical sciences

description: The Gravitational wave high-energy Electromagnetic Counterpart All-sky Monitor (GECAM) project is the planned Chinese space telescope for detecting the X and gamma-ray counterpart. It consists of two micro-satellites in low earth orbit with the advantages of instantaneous full-sky coverage, low energy threshold down to 6 keV and can be achieved within a short period and small budget. Due to the limitation of size, weight and power consumption of micro-satellites, silicon photomultipliers (SiPMs) are used to replace the photomultiplier tubes (PMTs) to assemble a novel gamma-ray detector. A prototype of a SiPM array with LaBr3 crystal is built and tested, and it shows a high detection efficiency (70% at 5.9 keV) and an acceptable uniformity. The low-energy X-ray of 5.9 keV can be detected by a simply readout circuit, and the energy resolution is 6.5% (FWHM) at 662 keV. The design and performance of the detector are discussed in detail in this paper.
description: 9 pages, 10 figures, accepteded by JINST
title: The Civl Verifier
Creators: name: Kragl, Bernhard
name: Qadeer, Shaz
Publisher: name: TU Wien
Year: 2021
Subjects: formal methods
formale Methode

description: Civl is a static verifier for concurrent programs designed around the conceptual framework of layered refinement, which views the task of verifying a program as a sequence of program simplification steps each justified by its own invariant. Civl verifies a layered concurrent program that compactly expresses all the programs in this sequence and the supporting invariants. This paper presents the design and implementation of the Civl verifier.
title: Asymmetry in Belief Formation and Change: the Role of Intuitive Cognition and Inhibition
Creators: name: Samara-Colvin, Duncan Bruce
Publisher: name: Goldsmiths, University of London
Year: 2019

description: Understanding how beliefs form and change is important because people act upon their beliefs in the world around them, which has implications for everyone. The present research programme therefore aimed to explore mechanisms in the belief process. This was approached from the dual-process perspective that there are two kinds of thinking: intuitive and rational. It was predicted that belief formation and change would be path-dependent, with rational disconfirmation influencing rationally-based beliefs more and intuitive disconfirmation influencing intuitively-based beliefs more. The research programme used a mixture of lab-based studies and naturalistic intervention studies, drawing upon a range of population samples. Belief in Extrasensory Perception (ESP) was the focus for belief change, due to its association with intuitive belief-basis and broad distribution within the general population. The proposed model of path-dependent belief change was not supported, however. Ultimately, it was found that beliefs vary in being held for rational or intuitive reasons, and that this difference emerges at the belief formation stage due to the nature of the material encountered and the person’s cognitive processing style. However, neither the nature of the material nor the person’s cognitive processing style influences belief change. Therefore, while the findings did not support the specific model being tested, they did successfully demonstrate a connection between belief formation and change. It is argued that the observed asymmetry is only explainable by a difference in encoding at belief formation and that fully understanding belief therefore requires future research to solve this encoding problem.
Holonomic and perverse logarithmic D-modules
Creators: name: Koppensteiner, Clemens
name: Talpo, Mattia
Publisher: name: arXiv
Year: 2018
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics
subject: 14F10, 14A99, 16A49

description: We introduce the notion of a holonomic D-module on a smooth (idealized) logarithmic scheme and show that Verdier duality can be extended to this context. In contrast to the classical case, the pushforward of a holonomic module along an open immersion is in general not holonomic. We introduce a "perverse" t-structure on the category of coherent logarithmic D-modules which makes the dualizing functor t-exact on holonomic modules. This allows us to transfer some of the formalism from the classical setting and in particular show that every holonomic module on an open subscheme can be extended to a holonomic module on the whole space. Conversely this t-exactness characterizes holonomic modules among all coherent logarithmic D-modules. We also introduce logarithmic versions of the Gabber and Kashiwara-Malgrange filtrations.
description: 30 pages
Limits of Short-Run Stabilization Policy
Creators: name: Meltzer, Allan
Publisher: name: Carnegie Mellon University
Year: 2012
Subjects: subject: 150399 Business and Management not elsewhere classified
subject: FOS: Economics and business

description: The tradition in which many of us were raised is that policymakers should adjust policy actions based on forecasts of the future path of the economy and their best judgments. While some have become increasingly skeptical about our ability to forecast and some have long favored policy rules, here, as elsewhere, traditions die slowly. Policy in the United States and in many other countries continues to be guided by policymakers' beliefs about the future, and their beliefs are often based on some type of forecast. The reader of the financial press frequently finds statements by economists and others linking forecasts to discretionary policy actions. Some recent examples comment on the current state of the economy.
Review of Visual Saliency Detection with Comprehensive Information
Creators: name: Cong, Runmin
name: Lei, Jianjun
name: Fu, Huazhu
name: Cheng, Ming-Ming
name: Lin, Weisi
name: Huang, Qingming
Publisher: name: arXiv
Year: 2018
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: Visual saliency detection model simulates the human visual system to perceive the scene, and has been widely used in many vision tasks. With the acquisition technology development, more comprehensive information, such as depth cue, inter-image correspondence, or temporal relationship, is available to extend image saliency detection to RGBD saliency detection, co-saliency detection, or video saliency detection. RGBD saliency detection model focuses on extracting the salient regions from RGBD images by combining the depth information. Co-saliency detection model introduces the inter-image correspondence constraint to discover the common salient object in an image group. The goal of video saliency detection model is to locate the motion-related salient object in video sequences, which considers the motion cue and spatiotemporal constraint jointly. In this paper, we review different types of saliency detection algorithms, summarize the important issues of the existing methods, and discuss the existent problems and future works. Moreover, the evaluation datasets and quantitative measurements are briefly introduced, and the experimental analysis and discission are conducted to provide a holistic overview of different saliency detection methods.
description: 18 pages, 11 figures, 7 tables, Accepted by IEEE Transactions on Circuits and Systems for Video Technology 2018, https://rmcong.github.io/
Anomalous Gauge-Boson Couplings in High Energy ep Collisions
Creators: name: Kim, C. S.
name: Lee, Jungil
name: Song, H. S.
Publisher: name: arXiv
Year: 1993
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We investigate the sensitivity of total cross sections of $e+p \rightarrow W,Z$ to CP-conserving non-standard $WWγ$ couplings. We include all the important production mechanisms and study the dependence of the total $W$ cross sections on the anomalous $WWγ$ couplings, $κ$ and $λ$. We argue that the ratio of $W$ and $Z$ production cross sections is particularly well suited, being relatively insensitive to uncertainties in the theoretical and experimental parameters.
description: 17pages YUMS 93-14,SNUTP 93-43,KEK-TH-366
title: Representation and modelling of the complexity of street intersections for navigation guidance
Creators: name: Guan, Fangli
name: Fang, Zhixiang
name: Huang, Haosheng
Publisher: name: TU Wien
Year: 2021
Subjects: decision-making
intersection´s complexity
passage strategy
navigation guidance

description: Published in “Proceedings of the 16th International Conference on Location Based Services (LBS 2021)”, edited by Anahid Basiri, Georg Gartner and Haosheng Huang, LBS 2021, 24-25 November 2021, Glasgow, UK/online.
description: There is growing recognition that the complexity of road intersections within navigation environments is a critical factor of wayfinding. A complex intersection can increase the difficulty of spatial cognition and environment perception for pedestrians, leading to wrong decision-making and deviated navigation. Existing methods quantify the complexity of a decision point by simply outputting a single value, thus fail to match the perceived content under different passage strategies. Besides, most methods merely include the structural or visual features, and rarely contain a comprehensive integration of multi-dimensional characteristics. This study proposes a passage strategy-based computational method to assess the complexity of road intersections with their perceptual contents of street scenes. Specifically, we analyze several types of real-world perceived features when crossing intersections. Then, develop a combination of conceptual features regarding the visual, structural and semantic aspects based on different route strategies (i.e., whether pedestrians focus on a particular branch as an entrance or an exit), to depict the perceived complexity features of the road intersections. This study provides further implication that the innovative method can be integrated into route planning and communication, and navigation guidance services in complex scenarios.
Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving
Creators: name: Dubois, Catherine
name: Paleo, Bruno Woltzenlogel
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Artificial Intelligence (cs.AI)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: This volume of EPTCS contains the proceedings of the Fifth Workshop on Proof Exchange for Theorem Proving (PxTP 2017), held on September 23-24, 2017 as part of the Tableaux, FroCoS and ITP conferences in Brasilia, Brazil. The PxTP workshop series brings together researchers working on various aspects of communication, integration, and cooperation between reasoning systems and formalisms, with a special focus on proofs. The progress in computer-aided reasoning, both automated and interactive, during the past decades, made it possible to build deduction tools that are increasingly more applicable to a wider range of problems and are able to tackle larger problems progressively faster. In recent years, cooperation between such tools in larger systems has demonstrated the potential to reduce the amount of manual intervention. Cooperation between reasoning systems relies on availability of theoretical formalisms and practical tools to exchange problems, proofs, and models. The PxTP workshop series strives to encourage such cooperation by inviting contributions on all aspects of cooperation between reasoning tools, whether automatic or interactive.
FSR0190 - Another old distant galactic cluster
Creators: name: Froebrich, D.
name: Meusinger, H.
name: Davis, C. J.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We are conducting a large program to classify newly discovered Milky Way star cluster candidates from Froebrich et al. (2007). Here we present NIR follow-up observations of FSR0190 (RA=20h05m31.3s, DEC=33deg34'09" J2000). The cluster is situated close to the Galactic Plane (l=70.7302deg, b=+0.9498deg). It shows a circular shape, a relatively large number of core helium burning stars -- which clearly distinguishes the cluster from the rich field -- but no centrally condensed star density profile. We derive an age of more than 7Gyr, a Galactocentric distance of 10.5kpc, a distance of 10kpc from the Sun, and an extinction of A_K=0.8mag. The estimated mass is at least of the order of 1E5M_sun, and the absolute brightness is M_V<=-4.7mag; both are rather typical properties for Palomar-type globular clusters.
description: 5 pages, 6 figures, 1 table, Accepted for publication by MNRAS letters, A version with higher resolution figures can be found at http://astro.kent.ac.uk/~df/
On the inverse energy transfer in rotating turbulence
Creators: name: Buzzicotti, M.
name: Di Leoni, P. Clark
name: Biferale, L.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: Rotating turbulence is an example of a three-dimensional system in which an inverse cascade of energy, from the small to the large scales, can be formed. While usually understood as a byproduct of the typical bidimensionalization of rotating flows, the role of the three-dimensional modes is not completely comprehended yet. In order to shed light on this issue, we performed direct numerical simulations of rotating turbulence where the 2D modes falling in the plane perpendicular to rotation are removed from the dynamical evolution. Our results show that while the two-dimensional modes are key to the formation of a stationary inverse cascade, the three-dimensional degrees of freedom play a non-trivial role in bringing energy to the larger scales also. Furthermore, we show that this backwards transfer of energy is carried out by the homochiral channels of the three-dimensional modes.
On the absence of chiral fermions in interacting lattice theories
Creators: name: Shamir, Yigal
Publisher: name: arXiv
Year: 1993
Subjects: subject: High Energy Physics - Lattice (hep-lat)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We consider interacting theories with a compact internal symmetry group on a regular lattice. We show that the spectrum is necessarily vector-like provided the following conditions are satisfied: (a)~weak form of locality, (b)~relativistic continuum limit without massless bosons, and (c)~pole-free effective vertex functions for conserved currents. The proof exploits the zero frequency inverse retarded propagator of an appropriate set of interpolating fields as an effective quadratic hamiltonian, to which the Nielsen-Ninomiya theorem is applied. The main results of this paper have been reported in WIS-93/56-JUNE-PH, hep-lat/9306023.
description: WIS-93/57-JULY-PH, LaTeX, 24 pages
Additional file 6 of Disruption of histamine/H1R signaling pathway represses cardiac differentiation and maturation of human induced pluripotent stem cells
Creators: name: Zhu, Xiaowei
name: Ding, Suling
name: Li, Hui
name: Zhang, Zhiwei
name: Xu, Lili
name: Wu, Jian
name: Wang, Xiangfei
name: Zou, Yunzeng
name: Yang, Xiangdong
name: Ge, Junbo
Publisher: name: figshare
Year: 2020
Subjects: subject: Space Science
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Neuroscience
subject: Pharmacology
subject: Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Computational Biology

description: Additional file 6 : Table S1. Fertility and mortality in HDC-/-mice the overall birth and mortality rates of pregnant WT and HDC-/- mice post pyrilamine intragastric administration during E8.5 to E18.5.
Modeling a Schottky-barrier carbon nanotube field-effect transistor with ferromagnetic contacts
Creators: name: Krompiewski, S.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: In this study, a model of a Schottky-barrier carbon nanotube field- effect transistor (CNT-FET), with ferromagnetic contacts, has been developed. The emphasis is put on analysis of current-voltage characteristics as well as shot (and thermal) noise. The method is based on the tight-binding model and the non- equilibrium Green's function technique. The calculations show that, at room temperature, the shot noise of the CNT FET is Poissonian in the sub-threshold region, whereas in elevated gate and drain/source voltage regions the Fano factor gets strongly reduced. Moreover, transport properties strongly depend on relative magnetization orientations in the source and drain contacts. In particular, one observes quite a large tunnel magnetoresistance, whose absolute value may exceed 50%.
description: 8 pages, 4 figures
A Lattice Calculation of the Isgur-Wise Function
Creators: name: Bernard, C.
name: Shen, Y.
name: Soni, A.
Publisher: name: arXiv
Year: 1993
Subjects: subject: High Energy Physics - Lattice (hep-lat)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We calculate the Isgur-Wise function ($ξ_0$) by measuring the heavy-heavy meson transition matrix element on the lattice in the quenched approximation. The standard Wilson action is used for both the heavy and the light quarks. Our numerical results are compared with various model calculations and experimental data. In particular, using a linear fit, we find $ρ^2 = 1.24\pm .26 \pm .26 $. (The slope of $ξ_0$ at the zero-recoil point is $-ρ^2$.) Using instead the parametrization of $ξ_0$ suggested by Neubert and Rieckert and fitting the lattice data up to $v\cdot v' \sim 1.2$, we find $ρ^2_{NR}=1.41\pm.19\pm.19$
description: 16 pages, 3 postscript figures attached. Preprint BUHEP-93-15, Wash. U. HEP/93-34
Limits of human behavior and the role of science and technology
Creators: name: Lave, Lester B
Publisher: name: Carnegie Mellon University
Year: 1975
Subjects: subject: 150399 Business and Management not elsewhere classified
subject: FOS: Economics and business

description: I said, “Yes, but…” a dozen times when I read Michael Huesemann’s Viewpoint (Environ. Sci. Technol. 2003, 37, 259A–261A). Yes, I am concerned about the large quantity of toxicants we manufacture, but we cannot ignore the large benefits society has gotten from these chemicals.