cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Pruning a Lévy continuum random tree
Creators: name: Abraham, Romain
name: Delmas, Jean-Francois
name: Voisin, Guillaume
Publisher: name: arXiv
Year: 2008
Subjects: subject: Probability (math.PR)
subject: FOS: Mathematics

description: Given a general critical or sub-critical branching mechanism, we define a pruning procedure of the associated Lévy continuum random tree. This pruning procedure is defined by adding some marks on the tree, using Lévy snake techniques. We then prove that the resulting sub-tree after pruning is still a Lévy continuum random tree. This last result is proved using the exploration process that codes the CRT, a special Markov property and martingale problems for exploration processes. We finally give the joint law under the excursion measure of the lengths of the excursions of the initial exploration process and the pruned one.
Exploring Blockchain for The Coordination of Distributed Energy Resources
Creators: name: Yang, Qing
name: Wang, Hao
Publisher: name: arXiv
Year: 2021
Subjects: subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: Systems and Control (eess.SY)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: The fast growth of distributed energy resources (DERs), such as distributed renewables (e.g., rooftop PV panels), energy storage systems, electric vehicles, and controllable appliances, drives the power system toward a decentralized system with bidirectional power flow. The coordination of DERs through an aggregator, such as a utility, system operator, or a third-party coordinator, emerges as a promising paradigm. However, it is not well understood how to enable trust between the aggregator and DERs to integrate DERs efficiently. In this paper, we develop a trustable and distributed coordination system for DERs using blockchain technology. We model various DERs and formulate a cost minimization problem for DERs to optimize their energy trading, scheduling, and demand response. We use the alternating direction method of multipliers (ADMM) to solve the problem in a distributed fashion. To implement the distributed algorithm in a trustable way, we design a smart contract to update multipliers and communicate with DERs in a blockchain network. We validate our design by experiments using real-world data, and the simulation results demonstrate the effectiveness of our algorithm.
description: 55th Annual Conference on Information Sciences and Systems (CISS), 2021
Model Repair Revamped: On the Automated Synthesis of Markov Chains
Creators: name: Ceska, Milan
name: Dehnert, Christian
name: Jansen, Nils
name: Junges, Sebastian
name: Katoen, Joost-Pieter
Publisher: name: arXiv
Year: 2021
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences
subject: 68N30

description: This paper outlines two approaches|based on counterexample-guided abstraction refinement (CEGAR) and counterexample-guided inductive synthesis (CEGIS), respectively to the automated synthesis of finite-state probabilistic models and programs. Our CEGAR approach iteratively partitions the design space starting from an abstraction of this space and refines this by a light-weight analysis of verification results. The CEGIS technique exploits critical subsystems as counterexamples to prune all programs behaving incorrectly on that input. We show the applicability of these synthesis techniques to sketching of probabilistic programs, controller synthesis of POMDPs, and software product lines.
description: 18 pages
A first-principles model of early evolution: Emergence of gene families, species and preferred protein folds
Creators: name: Zeldovich, Konstantin
name: Chen, Peiqiu
name: Shakhnovich, Boris
name: Shakhnovich, Eugene
Publisher: name: arXiv
Year: 2007
Subjects: subject: Biomolecules (q-bio.BM)
subject: Populations and Evolution (q-bio.PE)
subject: FOS: Biological sciences

description: In this work we develop a microscopic physical model of early evolution, where phenotype,organism life expectancy, is directly related to genotype, the stability of its proteins in their native conformations which can be determined exactly in the model. Simulating the model on a computer, we consistently observe the Big Bang scenario whereby exponential population growth ensues as soon as favorable sequence-structure combinations (precursors of stable proteins) are discovered. Upon that, random diversity of the structural space abruptly collapses into a small set of preferred proteins. We observe that protein folds remain stable and abundant in the population at time scales much greater than mutation or organism lifetime, and the distribution of the lifetimes of dominant folds in a population approximately follows a power law. The separation of evolutionary time scales between discovery of new folds and generation of new sequences gives rise to emergence of protein families and superfamilies whose sizes are power-law distributed, closely matching the same distributions for real proteins. On the population level we observe emergence of species, subpopulations which carry similar genomes. Further we present a simple theory that relates stability of evolving proteins to the sizes of emerging genomes. Together, these results provide a microscopic first principles picture of how first gene families developed in the course of early evolution
description: In press, PLoS Computational Biology
Panel Session: Methods and Tools of Resilience Analysis and Valuation for Future Distribution Grid Operation with Demand-side Flexibility (slides)
Creators: E. Stewart
S. Poudel
F. Ding
Publisher: name: IEEE
Year: 2023

A panel on state-of-the-art methods and tools for distribution grid resilience. The seminar will help collect ideas for analyzing the resilience of distribution systems, with conventional and contemporary technical methods, and their valuation strategies. For example, utilizing demand-side flexibility to provide grid services for improving resilience is a contemporary method, whereas hardening and vegetation management is a conventional method. The panel will disseminate interesting results from the resilience research and will cover either tools and methods to analyze grid resilience or perform its valuation.
A panel on state-of-the-art methods and tools for distribution grid resilience. The seminar will help collect ideas for analyzing the resilience of distribution systems, with conventional and contemporary technical methods, and their valuation strategies. For example, utilizing demand-side flexibility to provide grid services for improving resilience is a contemporary method, whereas hardening and vegetation management is a conventional method. The panel will disseminate interesting results from the resilience research and will cover either tools and methods to analyze grid resilience or perform its valuation.
Evolution of Star Clusters near the Galactic Center: Fully Self-consistent N-body Simulations
Creators: name: Fujii, M.
name: Iwasawa, M.
name: Funato, Y.
name: Makino, J.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We have performed fully self-consistent $N$-body simulations of star clusters near the Galactic center (GC). Such simulations have not been performed because it is difficult to perform fast and accurate simulations of such systems using conventional methods. We used the Bridge code, which integrates the parent galaxy using the tree algorithm and the star cluster using the fourth-order Hermite scheme with individual timestep. The interaction between the parent galaxy and the star cluster is calculate with the tree algorithm. Therefore, the Bridge code can handle both the orbital and internal evolutions of star clusters correctly at the same time. We investigated the evolution of star clusters using the Bridge code and compared the results with previous studies. We found that 1) the inspiral timescale of the star clusters is shorter than that obtained with "traditional" simulations, in which the orbital evolution of star clusters is calculated analytically using the dynamical friction formula and 2) the core collapse of the star cluster increases the core density and help the cluster survive. The initial conditions of star clusters is not so severe as previously suggested.
description: 19 pages, 19 figures, accepted for publication in ApJ
Isolate record for VAFB-ISO-678
Creators: name: Holloway, Corinne
Year: 1900
Subjects: subject: Santa Barbara (County)
valueUri: https://core.tdar.org/browse/geographic-keyword/3486/santa-barbara-county
subject: Vandenberg Air Force Base (VAFB)
valueUri: https://core.tdar.org/browse/geographic-keyword/85469/vandenberg-air-force-base-vafb
subject: Vandenberg Space Force Base (VSFB)
valueUri: https://core.tdar.org/browse/geographic-keyword/85584/vandenberg-space-force-base-vsfb
subject: California (State / Territory)
valueUri: https://core.tdar.org/browse/geographic-keyword/1484/california-state-territory
subject: Chipped Stone
valueUri: https://core.tdar.org/browse/material-type/2/chipped-stone
subject: Reconnaissance / Survey
valueUri: https://core.tdar.org/browse/investigation-type/7/reconnaissance-survey

description: This document is the isolated find record for VAFB-ISO-678. The artifact is a projectile point.
Metallic AdS/CFT
Creators: name: Karch, Andreas
name: O'Bannon, Andy
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We use the AdS/CFT correspondence to compute the conductivity of massive N=2 hypermultiplet fields at finite baryon number density in an N=4 SU(N_c) super-Yang-Mills theory plasma in the large N_c, large 't Hooft coupling limit. The finite baryon density provides charge carriers analogous to electrons in a metal. An external electric field then induces a finite current which we determine directly. Our result for the conductivity is good for all values of the mass, external field and density, modulo statements about the yet-incomplete phase diagram. In the appropriate limits it agrees with known results obtained from analyzing small fluctuations around equilibrium. For large mass, where we expect a good quasi-particle description, we compute the drag force on the charge carriers and find that the answer is unchanged from the zero density case. Our method easily generalizes to a wide class of systems of probe branes in various backgrounds.
description: 19 pages, no figures; v2 added two references, clarified discussion in section 3
Search Disaster Victims using Sound Source Localization
Creators: name: Khanal, Abhish
name: Chand, Deepak
name: Chaudhary, Prakash
name: Timilsina, Subash
name: Panday, Sanjeeb Prasad
name: Shakya, Aman
name: Pandey, Rom Kant
Publisher: name: arXiv
Year: 2021
Subjects: subject: Sound (cs.SD)
subject: Robotics (cs.RO)
subject: Audio and Speech Processing (eess.AS)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: Sound Source Localization (SSL) are used to estimate the position of sound sources. Various methods have been used for detecting sound and its localization. This paper presents a system for stationary sound source localization by cubical microphone array consisting of eight microphones placed on four vertical adjacent faces which is mounted on three wheel omni-directional drive for the inspection and monitoring of the disaster victims in disaster areas. The proposed method localizes sound source on a 3D space by grid search method using Generalized Cross Correlation Phase Transform (GCC-PHAT) which is robust when operating in real life scenario where there is lack of visibility. The computed azimuth and elevation angle of victimized human voice are fed to embedded omni-directional drive system which navigates the vehicle automatically towards the stationary sound source.
description: 9 pages, 17 figures, 17th ISCRAM Conference Blacksburg, VA, USA
Collective modes in asymmetric ultracold Fermi systems
Creators: name: Gubankova, Elena
name: Mannarelli, Massimo
name: Sharma, Rishi
Publisher: name: arXiv
Year: 2008
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We derive the low energy effective action for the collective modes in systems of fermions interacting via a short-range s-wave attraction, featuring unequal chemical potentials for the two fermionic species (asymmetric systems). As a consequence of the attractive interaction, fermions form a condensate that spontaneously breaks the U(1) symmetry associated with total number conservation. Therefore at sufficiently small temperatures and asymmetries, the system is a superfluid. We reproduce previous results for the stability conditions of the system as a function of the four-fermion coupling and asymmetry. We obtain these results analyzing the coefficients of the low energy effective Lagrangian of the modes describing fluctuations in the magnitude (Higgs mode) and in the phase (Goldstone mode) of the difermion condensate. We find that for certain values of parameters, the mass of the Higgs mode decreases with increasing mismatch between the chemical potentials of the two populations, if we keep the scattering length and the gap parameter constant. Furthermore, we find that the energy cost for creating a position dependent fluctuation of the condensate is constant in the gapped region and increases in the gapless region. These two features may lead to experimentally detectable effects. As an example, we argue that if the superfluid is put in rotation, the square of the radius of the outer core of a vortex should sharply increase on increasing the asymmetry, when we pass through the relevant region in the gapless superfluid phase. Finally, by gauging the global U(1) symmetry, we relate the coefficients of the effective Lagrangian of the Goldstone mode with the screening masses of the gauge field.
description: 41 pages, 6 figures. Expanded introduction, improved figures, conclusions unchanged. Version to match the published version
Evaluation of Landsat thematic mapper data for reforestation assessment
Creators: name: Bansal, Arun Kumar
Publisher: name: University of British Columbia
Year: 2010

description: Forests are important natural resources of Canada. Their renewal has been recognized to be important for continued wood supply and for other benefits. Consequently, the major emphasis of forest management activities focuses upon restocking clearcut forest lands. Effective planning and successful implementation of reforestation programs require efficient techniques for obtaining timely and accurate information regarding restocking status over cutover forest lands. In this thesis the potential of Landsat thematic mapper (TM) data for monitoring reforesting clearcuts was investigated. Landsat-5 TM data covering clearcut forest lands reforesting with lodgepole pine (Pinus contorta Dougl.) were analyzed. To assess spectral separability of various restocking classes and classifying reforestation areas according to their stocking status multivariate distance measures were employed to select the optimum three band subset from six reflective TM bands. Three commonly used vegetation indices, namely the ratio vegetation index, the normalized difference vegetation index, and the infrared index, were also studied for quantitative assessment of vegetation. The main conclusion of the study is that TM bands 3, 4, and 5 are the best for discriminating various restocking classes. The classification accuracy was estimated to be approximately 90 percent. The infrared index appears to be the most suitable vegetation index for quantitative assessment of reforestation.
Fault and Disturbance Data Requirements for Automated Computer Analysis (TP 107)
Creators: E. A. Baumgartner
J.D. Brandt
T.W. Cease
E.C. Fennell
C.W. Fromen
R.F. Gustin
A.T. Howard
M.Kezunovic
M. Lefrancois
H.l. Mehta
R.J. Murphy
B.A. Pickett
L.E. Smith
M.A. Xavier
Publisher: name: IEEE
Year: 1995

Fault recording practices have advanced from individual substation recorders to a networlc of remote units which transfer fault data records to a central �computer for analysis. The analysis process presently consists of examining waveforms and measuring time intervals between various events within the records. This process is labor intensive and requires considerable knowledge and skill. Manpower limitations may result in the failure to identify items needing correction before large financial losses occur.
Fault recording practices have advanced from individual substation recorders to a networlc of remote units which transfer fault data records to a central �computer for analysis. The analysis process presently consists of examining waveforms and measuring time intervals between various events within the records. This process is labor intensive and requires considerable knowledge and skill. Manpower limitations may result in the failure to identify items needing correction before large financial losses occur.
If rigorous sets of data were acquired, the analysis process could be automated to present data in more meaningful forms and distinguish between normal and abnormal operations. Abnormal operations may require additional manual analysis but much labor would be saved by not having to examine the detail in all fault records.
East and Central European Policy on Electricity Infrastructure, Interconnections and Electricity Exchanges (TR 113)
Creators: K.N. Mak
J.P. Charpentier
K. Schenk
J. Popczyk
Z. Reguly
L. Galambos
H. Brumshagen
J. Schwarz
V.A. Djanguirov
S.A. Tkachenka
V.A. Barinov
A.F. Dyakov
A.F. Bondarenko
Yu.N. Kucherov
Yu.N. Rudenko
V. Paskevicius
Publisher: name: IEEE
Year: 1995

The East and Central European networks comprise the Unified Power System (UPS) and national power systems of the former USSR and COMECON European countries. Radical changes have already taken place in the economic management and asset holdings of these systems, including moves towards privatisation. Questions were raised on whether the UPS concept should be preserved and extended and how such joint operation can be re-established under new market regimes. It is evident that realisation of the concept will be dependent on regional energy supply/demand balances, coupled with systematic expansion planning according to economic and structural development criteria.
The East and Central European networks comprise the Unified Power System (UPS) and national power systems of the former USSR and COMECON European countries. Radical changes have already taken place in the economic management and asset holdings of these systems, including moves towards privatisation. Questions were raised on whether the UPS concept should be preserved and extended and how such joint operation can be re-established under new market regimes. It is evident that realisation of the concept will be dependent on regional energy supply/demand balances, coupled with systematic expansion planning according to economic and structural development criteria.

The challenges are immense, and it is imperative that the necessity and needs of proposed expansion plans are properly recognised. Implicit in such development strategies is the necessity of techno-economic audits to assign rehabilitation priorities before addressing the rational use of energy resources according to best technology. All of these issues were discussed at the Panel Session, and have appeal in the wider (global) context as structural changes in power supply gain momentum around the world. This provides the justification for a special IEEE PES Publication to enable the session papers to be published.
Anomalies and de Sitter radiation from the generic black holes in de Sitter spaces
Creators: name: Jiang, Qing-Quan
name: Wu, Shuang-Qing
name: Cai, Xu
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: Robinson-Wilczek's recent work shows that, the energy momentum tensor flux required to cancel gravitational anomaly at the event horizon of a Schwarzschild-type black hole has an equivalent form to that of a (1+1)-dimensional blackbody radiation at the Hawking temperature. Motivated by their work, Hawking radiation from the cosmological horizons of the general Schwarzschild-de Sitter and Kerr-de Sitter black holes, has been studied by the method of anomaly cancellation. The result shows that the absorbing gauge current and energy momentum tensor fluxes required to cancel gauge and gravitational anomalies at the cosmological horizon are precisely equal to those of Hawking radiation from it. It should be emphasized that the effective field theory for generic black holes in de Sitter spaces should be formulated within the region between the event horizon (EH) and the cosmological horizon (CH), to integrate out the classically irrelevant ingoing modes at the EH and the classically irrelevant outgoing modes at the CH, respectively.
description: 14 pages without figure, use elsart.cls, to appear in Phys.Lett.B
Computer Aided Coordination of Line Protection Schemes (TH0285-7)
Creators: B. Bozoki
A.A. Burzese
A.N. Darlington
H. Disante
W.A. Elmore
J. Esztergalyos
R.J. Fernandez
R.E. Hart
I.O. Hasenwinkle
R.H. Jones
T.L. Kaschalk
J.R. Latham
R.J. Moran
T.J. Murray
K.K. Mustaphi
G.R. Nail
R.W. Ohnesorge
J.M. Postforoosh
M.S. Sachdev
H.S. Smith
W.M. Strang
G. Stranne
E.A. Udren
D.R. Volzka
P.B. Winston
Publisher: name: IEEE
Year: 1989

Digital computers have revolutionized the process of designing, analyzing and controlling electric power systems. The development of efficient computer algorithms has facilitated large scale load flow, short circuit, and transient stability studies and a variety of real-time control and management functions. However, considerably less effort has been focused on developing computer software for solving protection engineering problems.
Digital computers have revolutionized the process of designing, analyzing and controlling electric power systems. The development of efficient computer algorithms has facilitated large scale load flow, short circuit, and transient stability studies and a variety of real-time control and management functions. However, considerably less effort has been focused on developing computer software for solving protection engineering problems.

This may be attributed to the general concerns that protection software designed for one user may not meet the needs of other companies or may be in conflict with some of their practices. Protection engineers are increasingly concentrating their efforts on improving productivity through computer applications and generally agree that a computer aided coordination (CAC) system is badly needed.
Learning Organization using Conversational Social Network for Social Customer Relationship Management Effort
Creators: name: Alamsyah, Andry
name: Peranginangin, Yahya
name: Nurhadi, Gabriel
Publisher: name: arXiv
Year: 2021
Subjects: subject: General Economics (econ.GN)
subject: Computers and Society (cs.CY)
subject: FOS: Economics and business
subject: FOS: Computer and information sciences

description: The challenge of each organization is how they adapt to the shift of more complex technology such as mobile, big data, interconnected world, and the Internet of things. In order to achieve their objective, they must understand how to take advantage of the interconnected individuals inside and outside the organization. Learning organization continues to transform by listening and maintain the connection with their counterparts. Customer relationship management is an important source for business organizations to grow and to assure their future. The complex social network, where interconnected peoples get information and get influenced very quickly, certainly a big challenge for business organizations. The combination of these complex technologies provides intriguing insight such as the capabilities to listen to what the markets want, to understand their market competition, and to understand their market segmentation. In this paper, as a part of organization transformation, we show how a business organization mine online conversational in Twitter related to their brand issue and analyze them in the context of customer relationship management to extract several insights regarding their market.
description: 8 pages, 2 tables, 4 figures
On representations of Bol algebras
Creators: name: Ndoune, Ndoune
name: Bouetou, Thomas Bouetou
Publisher: name: arXiv
Year: 2008
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics
subject: 17D05, 17D10, 17D15, 17D99

description: In this paper, we introduce the notion of representation of Bol algebra. We prove an analogue of the classical Engel's theorem and the ex- tension of Ado-Iwasawa theorem for Bol Algebras. We study the category of representations of Bol algebras and show that it is a tensor category. In the case of regular representations of Bol algebras, we give a complete classification of them for all two-dimensional Bol algebras.
description: 13 pages, Journal of Generalized Lie Theory and Applications 2015, S2
Rating of Underground Power Cables with Boundary Temperature Restrictions (slides)
Creators: George Anders
Heiner Brackelmann
Publisher: name: IEEE
Year: 2019

This webinar will present the 2019 PES Prize Paper entitled �Rating of Underground Power Cables with Boundary Temperature Restrictions�, which describes, in detail, a new cable rating method for actual industry applications.
This webinar will present the 2019 PES Prize Paper entitled �Rating of Underground Power Cables with Boundary Temperature Restrictions�, which describes, in detail, a new cable rating method for actual industry applications.
In-plane structure and ordering at liquid sodium surfaces and interfaces from ab initio molecular dynamics
Creators: name: Walker, Brent
name: Marzari, Nicola
name: Molteni, Carla
Publisher: name: arXiv
Year: 2007
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Atoms at liquid metal surfaces are known to form layers parallel to the surface. We analyze the two-dimensional arrangement of atoms within such layers at the surface of liquid sodium, using ab initio molecular dynamics (MD) simulations based on density functional theory. Nearest neighbor distributions at the surface indicate mostly 5-fold coordination, though there are noticeable fractions of 4-fold and 6-fold coordinated atoms. Bond angle distributions suggest a movement toward the angles corresponding to a six-fold coordinated hexagonal arrangement of the atoms as the temperature is decreased towards the solidification point. We rationalize these results with a distorted hexagonal order at the surface, showing a mixture of regions of five and six-fold coordination. The liquid surface results are compared with classical MD simulations of the liquid surface, with similar effects appearing, and with ab initio MD simulations for a model solid-liquid interface, where a pronounced shift towards hexagonal ordering is observed as the temperature is lowered.
Software-Defined Power Electronics-Slides
Creators: Matthias Preindl
Publisher: name: IEEE
Year: 2023

PELS Webinar Slides
Abstract: Transportation electrification is a key technology to addressing climate change. Electrified drivetrains use high-voltage batteries (or fuel cells) as an energy source and require a number of power converters including a motor inverter, a battery charger, and a DC/DC converter to supply the auxiliary 12V battery. This talk focuses on a novel family of software-defined power converter concept based on Lego-like power electronic modules called auto converter modules (ACM). The ACM abstract key power electronic complexity, including the switching, electromagnetic compatibility (EMC), and component protection, and leverage variable-frequency critical soft-switching (VF-CSS) to achieve a high efficiency and power density. ACM can be aggregated by software to form power converters for motor drives or battery chargers and are reconfigurable. This concept is leveraged to integrate the motor drive and a bidirectional battery charger that exceeds the 2025 DOE power density and cost targets. Drivetrains with readily available bidirectional EV charging can enable wider adoption of vehicle-to-grid services. These grid-interactive EV simplify the wider adoption of EV and facilitate the grid�s transition toward renewable energy by providing battery storage.
Using Process Models to understand Security Standards
Creators: name: Moyón, Fabiola
name: Méndez, Daniel
name: Beckers, Kristian
name: Klepper, Sebastian
Publisher: name: arXiv
Year: 2021
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Many industrial software development processes today have to comply with security standards such as the IEC~62443-4-1. These standards, written in natural language, are ambiguous and complex to understand. This is especially true for non-security experts. Security practitioners thus invest much effort into comprehending standards and, later, into introducing them to development teams. However, our experience in the industry shows that development practitioners might very well also read such standards, but nevertheless end up inviting experts for interpretation (or confirmation). Such a scenario is not in tune with current trends and needs of increasing velocity in continuous software engineering. In this paper, we propose a tool-supported approach to make security standards more precise and easier to understand for both non-security as well as security experts by applying process models. This approach emerges from a large industrial company and encompasses so far the IEC62443-4-1 standard. We further present a case study with 16 industry practitioners showing how the approach improves communication between development and security compliance practitioners.
description: Authors Copy
Social Movements and Political Opposition In Asia: A Study in the Iraqi Tishreen Movement 2019
Creators: name: وليد سلام جميل
Publisher: name: figshare
Year: 2021
Subjects: subject: 160512 Social Policy
subject: FOS: Political science
subject: 160510 Public Policy

description: This study aims to shed light on the concept of political opposition and social movements in modern democratic systems, and the most prominent events and popular movements that have influenced and are still affecting the political reality of the Iraqi system that was established after the year 2003 AD, especially the movement of the first of October of the year 2019 AD and still existing Until now, by virtue of it being the largest social movement that emerged as a result of popular discontent with the performance of the authorities. In addition to working to explain the structural defect in the Iraqi state with its related issues such as economic and social issues, by studying the factors and variables that affect positively or negatively in the state-building project. The study is based on the hypothesis that: popular social movements and effective political opposition are a necessary pillar in the structure of democratic systems and an essential factor for the maturity of political and supervisory work, and there is no real reality for the concept of the state without it. In the context of proving its hypothesis, the study relied on the descriptive approach and the comparative analytical approach, by relying on various scientific sources in both Arabic and English. The study concluded that the social movements and the forces of political opposition are an urgent necessity to build a purposeful and effective democratic political system and that the systems that classify themselves as democratic systems and there are no active political opposition and social movements are incomplete and fragile systems and falsely attribute themselves to modern democratic systems, especially Parliamentary systems thereof.
Cosmic-Ray Nuclei, Antiprotons and Gamma-rays in the Galaxy: a New Diffusion Model
Creators: name: Evoli, C.
name: Gaggero, D.
name: Grasso, D.
name: Maccione, L.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We model the transport of cosmic ray nuclei in the Galaxy by means of a new numerical code. Differently from previous numerical models we account for a generic spatial distribution of the diffusion coefficient. We found that in the case of radially uniform diffusion, the main secondary/primary ratios (B/C, N/O and sub-Fe/Fe) and the modulated antiproton spectrum match consistently the available observations. Convection and re-acceleration do not seem to be required in the energy range we consider: $1 < E < 10^3$ GeV/nucleon. We generalize these results accounting for radial dependence of the diffusion coefficient, which is assumed to trace that of the cosmic ray sources. While this does not affect the prediction of secondary/primary ratios, the simulated longitude profile of the diffuse $γ$-ray emission is significantly different from the uniform case and may agree with EGRET measurements without invoking ad hoc assumptions on the galactic gas density distribution.
description: 17 pages, 6 figures. v3: Added detailed references to nuclear cross-section network
Missing understanding of the phase factor between valence-electron and hole operators
Creators: name: Shiau, Shiue-Yuan
name: Combescot, Monique
Publisher: name: arXiv
Year: 2021
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: Materials Science (cond-mat.mtrl-sci)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: This paper provides the long-missing foundation to connect semiconductor and atomic notations and to support results incorrectly obtained by doing as if semiconductor electrons possessed an orbital angular momentum. We here show that the phase factor between valence-electron destruction operator and hole creation operator is the same as the one between particle and antiparticle in quantum relativity, namely $\hat{a}_{m}=(-1)^{j-m} \hat{b}^†_{-m}$ provided that $m=(j,j-1\cdots,-j)$ labels the degenerate states of the $(2j+1)$-fold electron level at hand. This result is remarkable because $(i)$ the hole is definitely not a naive antiparticle due to the remaining valence electrons; $(ii)$ unlike atomic electrons in a central potential, semiconductor electrons in a periodic crystal do not have orbital angular momentum $\textbf{L}=\textbf{r}\wedge\textbf{p}$ nor angular momentum $\textbf{J}=\textbf{L}+\textbf{S}$. Consequently, $(j,m)$ for semiconductor electrons merely are convenient notations to label the states of a degenerate level. To illustrate the physical implications, we discuss the interband couplings between photons and semiconductor, in terms of valence electrons and of holes: the phase factor is crucial to establish that bright excitons are in a spin-singlet state.
description: 5 pages, 1 figure
title: A journey interrupted
title: the shaping of liminal space in poetic composition
titleType: Subtitle
Creators: name: Ver Sprill, Kate
Publisher: name: Lancaster University
Year: 2019

description: The thesis which follows is composed of two parts. The first component is
      a critical reflection of just over 20,000 words that details the process
      through which I wrote the poems in the collection it precedes. The
      research aims to demonstrate, using the liminal space of stone circles as
      an oblique influence, how poems shape and create liminal space, how an
      experience of that space is ordered by the structures that enclose it, and
      how those structures facilitate connection with the poem through
      phenomenological response. My theories draw support from Henri Lefebvre,
      Mircea Eliade, Lyn Hejinian, James Joyce, Wendell Berry, among others. I
      also employ poems by Michael Donaghy, John Burnside, Paul Farley, and
      Tracy K. Smith to further support my claims. The critical essay also
      reflects on the nature of creative practice itself through a discussion of
      the divergences my own poems took in the course of their composition. Due
      to gaps inherent in language, the creative process is itself an area of
      liminality that asks for a certain flexibility and adaptability in a
      writer.

      The second, and more important, component is a collection of forty poems
      that embody and view liminal space from various angles, perspectives, and
      structures. While the scholarly research explains the process through
      which the poems were written, it is the poems which provide the final
      answers and which demonstrate that practice, more than anything else, is
      the true research a writer undertakes. They demonstrate my negotiation
      with liminality, poetic structure, and the limits of authorial intention
      while telling a story of distances, heartaches, missed connections,
      longing, and, ultimately, hope.
Benchmarking Demand Flexibility for Grid-interactive Efficient Buildings (slides)
Creators: Jingjing Liu
Publisher: name: IEEE
Year: 2023

Building demand flexibility (DF) research has recently gained attention. To unlock building DF as a predictable grid resource, we must establish a quantitative understanding of the resource size, performance variability, and predictability based on large empirical datasets. The electrical grid�s geographically diverse and changing nature presents challenges to comparing building DF performance measured under different conditions (i.e., benchmarking DF). To address this challenge, a novel DF benchmarking framework focused on load shedding and shifting is presented; the foundation is a set of simple, proven single-event metrics with attributes describing event conditions. These enable benchmarking and identifying trends that represent how these attributes influence DF. To test its feasibility and scalability, the DF framework was applied to two case studies of 11 office buildings and 121 big-box retail buildings with demand response participation data. These examples provided a pathway for using both building level benchmarking and aggregation to extract insights into building DF about magnitude, consistency, and influential factors.

Who would benefit/Who should attend:
This webinar can draw more attention from energy audience to focus on the grid-interactive efficiency buildings and participate in the SBCS subcommittee and associated task forces. The presented work also provide cutting-edge research outcome for the community.
Building demand flexibility (DF) research has recently gained attention. To unlock building DF as a predictable grid resource, we must establish a quantitative understanding of the resource size, performance variability, and predictability based on large empirical datasets. The electrical grid's geographically diverse and changing nature presents challenges to comparing building DF performance measured under different conditions (i.e., benchmarking DF). To address this challenge, a novel DF benchmarking framework focused on load shedding and shifting is presented; the foundation is a set of simple, proven single-event metrics with attributes describing event conditions. These enable benchmarking and identifying trends that represent how these attributes influence DF. To test its feasibility and scalability, the DF framework was applied to two case studies of 11 office buildings and 121 big-box retail buildings with demand response participation data. These examples provided a pathway for using both building level benchmarking and aggregation to extract insights into building DF about magnitude, consistency, and influential factors.

Who would benefit/Who should attend:

This webinar can draw more attention from energy audience to focus on the grid-interactive efficiency buildings and participate in the SBCS subcommittee and associated task forces. The presented work also provide cutting-edge research outcome for the community.
Calculation of elastic constants of embedded-atom-model potentials in the NVT ensamble
Creators: name: Krief, Menahem
name: Ashkenazy, Yinon
Publisher: name: arXiv
Year: 2021
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Classical Physics (physics.class-ph)
subject: Computational Physics (physics.comp-ph)
subject: FOS: Physical sciences

description: A method for the calculation of elastic constants in the NVT ensamble, using molecular dynamics (MD) simulation with a realistic many-body embedded-atom-model (EAM) potential, is studied in detail. It is shown that in such NVT MD simulations, the evaluation of elastic constants is robust and accurate, as it gives the elastic tensor in a single simulation which converges using a small number of time steps and particles. These results highlight the applicability of this method in: (i) the calculation of local elastic constants of non-homogeneous crystalline materials and (ii) in the calibration of interatomic potentials, as a fast and accurate alternative to the common method of explicit deformation, which requires a set of consistent simulations at different conditions. The method is demonstrated for the calculation of the elastic constants of copper in the temperature range of 0-1000K, and results agree with the target values used for the potential calibration. The various contributions to the values of the elastic constants, namely, the Born, stress fluctuation and ideal gas terms, are studied as a function of temperature.
description: Accepted for publication in Physical Review E
Properties of the hole and electron doped perovskites LnCoO3
Creators: name: Jirak, Z.
name: Hejtmanek, J.
name: Knizek, K.
name: Veverka, M.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Two extreme members of the cobaltite series, LaCoO3 and DyCoO3, were investigated by the electrical resistivity and thermopower measurements up to 800-1000 K. Special attention was given to effects of extra holes or electrons, introduced by light doping of Co sites by Mg2+ or Ti4+ ions. The experiments on the La based compounds were complemented with magnetic measurements. The study shows that both kinds of charge carriers induce magnetic states on surrounding CoIII sites and form thus thermally stable polarons of large total spin. Their itinerancy is characterized by low temperature resistivity, which is of Arrhenius type r~exp(EA/kT) for the hole (CoIV) doped samples, while an unusual dependence r~1/Tn (n=8-10) is observed for the electron (CoII) doped samples. At higher temperatures, additional hole carriers are massively populated in the CoIII background, leading to a resistivity drop. This transition become evident at ~300 K and 450 K and culminates at TI-M=540 and 780 K for the La and Dy based samples, respectively. The electronic behaviours of the cobaltites are explained considering two excitation processes in parent compounds. The first one is related to a local excitation from the diamagnetic LS CoIII to close-lying paramagnetic HS CoIII state. Secondarily, a metallic phase of the IS CoIII character is formed through a charge transfer mechanism between LS/HS pairs. The magnetic polarons associated with doped carriers are interpreted as droplets of such IS phase.
description: This paper has been withdrawn by the authors. Phys. Rev. B 78, 014432 (2008)
Multi-frequency observations of SGR J1935+2154
Creators: name: Bailes, M.
name: Bassa, C. G.
name: Bernardi, G.
name: Buchner, S.
name: Burgay, M.
name: Caleb, M.
name: Cooper, A. J.
name: Desvignes, G.
name: Groot, P. J.
name: Heywood, I.
name: Jankowski, F.
name: Karuppusamy, R.
name: Kramer, M.
name: Malenta, M.
name: Naldi, G.
name: Pilia, M.
name: Pupillo, G.
name: Rajwade, K. M.
name: Spitler, L.
name: Surnis, M.
name: Stappers, B. W.
name: Addis, A.
name: Bloemen, S.
name: Bezuidenhout, M. C.
name: Bianchi, G.
name: Champion, D. J.
name: Chen, W.
name: Driessen, L. N.
name: Geyer, M.
name: Gourdji, K.
name: Hessels, J. W. T.
name: Kondratiev, V. I.
name: Klein-Wolt, M.
name: K"ording, E.
name: Poole, R. Le
name: Liu, K.
name: Lower, M. E.
name: Lyne, A. G.
name: Magro, A.
name: McBride, V.
name: Mickaliger, M. B.
name: Morello, V.
name: Parthasarathy, A.
name: Paterson, K.
name: Perera, B. B. P.
name: Pieterse, D. L. A.
name: Pleunis, Z.
name: Possenti, A.
name: Rowlinson, A.
name: Serylak, M.
name: Setti, G.
name: Tavani, M.
name: Wijers, R. A. M. J.
name: ter Veen, S.
name: Krishnan, V. Venkatraman
name: Vreeswijk, P.
name: Woudt, P. A.
Publisher: name: arXiv
Year: 2021
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: Magnetars are a promising candidate for the origin of Fast Radio Bursts (FRBs). The detection of an extremely luminous radio burst from the Galactic magnetar SGR J1935+2154 on 2020 April 28 added credence to this hypothesis. We report on simultaneous and non-simultaneous observing campaigns using the Arecibo, Effelsberg, LOFAR, MeerKAT, MK2 and Northern Cross radio telescopes and the MeerLICHT optical telescope in the days and months after the April 28 event. We did not detect any significant single radio pulses down to fluence limits between 25 mJy ms and 18 Jy ms. Some observing epochs overlapped with times when X-ray bursts were detected. Radio images made on four days using the MeerKAT telescope revealed no point-like persistent or transient emission at the location of the magnetar. No transient or persistent optical emission was detected over seven days. Using the multi-colour MeerLICHT images combined with relations between DM, NH and reddening we constrain the distance to SGR J1935+2154, to be between 1.5 and 6.5 kpc. The upper limit is consistent with some other distance indicators and suggests that the April 28 burst is closer to two orders of magnitude less energetic than the least energetic FRBs. The lack of single-pulse radio detections shows that the single pulses detected over a range of fluences are either rare, or highly clustered, or both. It may also indicate that the magnetar lies somewhere between being radio-quiet and radio-loud in terms of its ability to produce radio emission efficiently.
description: Accepted for publication in MNRAS. Corresponding author B. W. Stappers
Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version)
Creators: name: Wernhard, Christoph
name: Bibel, Wolfgang
Publisher: name: arXiv
Year: 2021
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: The material presented in this paper contributes to establishing a basis deemed essential for substantial progress in Automated Deduction. It identifies and studies global features in selected problems and their proofs which offer the potential of guiding proof search in a more direct way. The studied problems are of the wide-spread form of "axiom(s) and rule(s) imply goal(s)". The features include the well-known concept of lemmas. For their elaboration both human and automated proofs of selected theorems are taken into a close comparative consideration. The study at the same time accounts for a coherent and comprehensive formal reconstruction of historical work by Łukasiewicz, Meredith and others. First experiments resulting from the study indicate novel ways of lemma generation to supplement automated first-order provers of various families, strengthening in particular their ability to find short proofs.