cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
AXBOROT TA'LIM SHAROITIDA RAQAMLI IQTISODIYOTNI RIVOJLANTIRISH MEXANIZMI
Creators: name: Zuparov, Bobur
name: Ayupova, Umida
Publisher: name: Zenodo
Year: 2024

description: Ushbu maqolada axborat ta’lim sharoitida raqamli iqtisodiyotni rivojlantirish mexanizmlari shuningdek, OTMning bakalavr ta’lim yo’nalishida tahsil olayotgan raqamli iqtisodiyot sharoitida tadbirkorlik va kichik biznesni rivojlantirish iqtisodiy ta’lim uchun axborot didaktik ta’minotida ta’lim oluvchilarning iqtisodiy kreativ kompetensiyalarini innovatsion iqtisodiy texnologiyalari asosida metodik takomillashtirishda iqtisodiy taʼlimning innovatsion tashkiliy-didaktik shakllarini qoʻllashning shart-sharoitlari va sifat koʻrsatgichlari, axborot-didaktik taʼminoti tavsiflangan. Ta’lim oluvchilarning  kreativ kompetensiyalarini innovatsion texnologiyalar asosida takomillashtirish metodikasi, innovatsion yondashuv asosida yoritilgan.
A Rigorous Formalism of Unconventional Symmetry Breaking in Fermi Liquid Theory and Its Application to Nematicity in FeSe
Creators: name: Tazai, Rina
name: Matsubara, Shun
name: Yamakawa, Youichi
name: Onari, Seiichiro
name: Kontani, Hiroshi
Publisher: name: arXiv
Year: 2022
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: Unconventional symmetry breaking due to nonlocal order parameters has attracted considerable attention in many strongly correlated metals. Famous examples are the nematic order in Fe-based superconductors and the star-of-David charge density order in kagome metals. Such exotic symmetry breaking in metals is a central issue of modern condensed matter physics, while its theoretical foundation is still unclear in comparison with the well-established theory of superconductivity. To overcome this difficulty, here we introduce the "form factor" that generalizes the nonlocal order parameter into the Luttinger-Ward (LW) Fermi liquid theory. We then construct a rigorous formalism of the "density-wave equation" that gives the thermodynamically stable form factor, similarly to the superconducting-gap equation. In addition, a rigorous expression of the Ginzburg-Landau free-energy for the unconventional order is presented to calculate various thermodynamic properties. In the next stage, we apply the derived formalism to a typical Fe-based superconductor FeSe, by using the one-loop LW function that represents the free-energy gain due to the interference among paramagnons. The following key experiments are naturally explained: (i) Lifshitz transition (=disappearance of an electron-pocket) due to the bond+orbital order below $T_c$. (ii) Curie-Weiss behavior of the nematic susceptibility at higher T, and the deviation from the Curie-Weiss behavior at lower T near the nematic quantum-critical-point. (iii) Scaling relation of the specific heat jump at $T_c$, $ΔC/T_c \propto T_c^b$ with $b \sim 3$. (Note that b=0 in the BCS theory.) These results lead to a conclusion that the nematicity in FeSe is the bond+orbital order due to the "paramagnon interference mechanism". The present theory paves the way for solving various unconventional phase transition systems.
description: 19 pages, 10 figures
MPEC 2023-T185 : 2023 TN7
Creators: name: Minor Planet Center Staff
Publisher: name: The Minor Planet Center
Year: 2023
Subjects: subject: Small Solar System bodies
valueUri: http://astrothesaurus.org/uat/1469
subject: 2023 TN7

description: The Minor Planet Electronic Circulars contain information on unusual minor planets, routine data on comets and natural satellites, and occasional editorial announcements.  They are published on behalf of Division F of the International Astronomical Union by the Minor Planet Center, Smithsonian Astrophysical Observatory, Cambridge, MA 02138, U.S.A.
On the role of tachoclines in solar and stellar dynamos
Creators: name: Guerrero, G.
name: Smolarkiewicz, P. K.
name: Pino, E. M. de Gouveia Dal
name: Kosovichev, A. G.
name: Mansour, N. N.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: Rotational shear layers at the boundary between radiative and convective zones, tachoclines, play a key role in the process of magnetic field generation in solar-like stars. We present two sets of global simulations of rotating turbulent convection and dynamo. The first set considers a stellar convective envelope only; the second one, aiming at the formation of a tachocline, considers also the upper part of the radiative zone. Our results indicate that the resulting mean-flows and dynamo properties like the growth rate, saturation energy and mode depend on the Rossby (Ro) number. For the first set of models either oscillatory (with ~2 yr period) or steady dynamo solutions are obtained. The models in the second set naturally develop a tachocline which, in turn, leads to the generation of strong mean magnetic field. Since the field is also deposited into the stable deeper layer, its evolutionary time-scale is much longer than in the models without a tachocline. Surprisingly, the magnetic field in the upper turbulent convection zone evolves in the same time scale as the deep field. These models result in either an oscillatory dynamo with ~30 yr period or in a steady dynamo depending on Ro. In terms of the mean-field dynamo coefficients computed using FOSA, the field evolution in the oscillatory models without a tachocline seems to be consistent with dynamo waves propagating according to the Parker-Yoshimura sign rule. In the models with tachoclines the dynamics is more complex involving other transport mechanisms as well as tachocline instabilities.
description: 42 pages, 9 figures. Accepted for publication in ApJ
The Coaching Relationship - and beyond
Creators: name: Spaten, Ole Michael
name: O'Broin, Alanna
name: Løkken, Lillith Olesen
Publisher: name: Coaching Psykologi
Year: 2016

description: In the coaching context of an ongoing search for evidence-based research, and increasing interest in the ‘active ingredients’ of coaching the impetus for ‘the coaching relationship – and beyond’ was the quest for deeper understanding of the coaching relationship as well as its infuence on the outcomes of coaching. It is a presentation, on factors specifically related to engagement of the coachee and building effective coaching relationships: (a) a study examining the power relations between employee coachee and coach from the middle manager coach perspective, highlighting coaching relationship quality as a necessity for moments of symmetry and equality in fruitful coaching; (b) a study on the diversity factor of coach age, finding that age was not significant in executive coachées coach selection, however age signified credibility and experience, with possible implications for young executive coaches in organisations. Broader topics include (c) discussion of a Systematic Review study investigating those coaching psychologists’ attributes effective in productive coaching relationships, and how to facilitate desired coaching outcomes, suggesting desirability of expansion of concrete outcome measures from the existing coachées’ satisfaction evaluation metrics; and finally (d) an overview of coaching relationship research in the context of prevailing assumptions and issues in coaching, offering implications for future coaching research and coaching practice.
description: Coaching Psykologi, Årg. 5 Nr. 1 (2016)
TOOL INDUSTRIES OF THE EUROPEAN PALEOLITHIC:  INSIGHTS INTO HOMINID EVOLUTION AND SHIFTS IN ARCHAEOLOGICAL THEORY AND PRACTICE FROM THE JAMES B. BULLITT COLLECTION
Creators: name: Joseph, Sophie
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2020

description: From early archaeological excavation in the nineteenth and twentieth centuries to modern conceptions of Paleolithic stone tool evolution, radiometric dating techniques and studies of paleoenvironment have revolutionized the study of relationships and divisions between these different lithic industries.  In addition, there has been a shift from the formal to the functional approach when categorizing lithic industries through time.  This project aims to examine how lithic industries in France changed through the Paleolithic and early Neolithic using a curated sample from Dr. James B. Bullitt’s contribution to the North Carolina Archaeological Collection.  Early and contemporary archaeological literature about early stone tools are compared and connected to broad theoretical shifts in the field since the 1800s.  Because many artifacts in the Collection are used as teaching aids, it is hoped that this project provides insight into the value of the Collection to the study of about Paleolithic hominid evolution.
Generation Y : Are British organisations ready for younger executive coaches? A Mixed Methods Study
Creators: name: Dobosz, Magdalena
name: Tee, David
Publisher: name: Coaching Psykologi
Year: 2016

description: Research within coaching (Feldman & Lankau, 2005) suggests that background characteristics may influence the perceived credibility of the coach. With an increase in the number of younger coaches entering the profession, this present study focuses particularly on the age of the coach as an influencing factor for clients when selecting a coach. A mixed method design was adopted, with thirty four participants ranking their perceived importance of twenty-three coaches’ attributes in an online survey. Qualitative data derived from semi-structured interviews with six coaches were analysed using Thematic Analysis. The results suggest that ‘personal rapport’ and ‘effectiveness of coaching process’ are the most valued attributes of potential executive coachees. ‘Age’ was ranked as fourth least important of twenty three attributes. However, themes emerging from the qualitative data suggest age can still be a barrier in the hiring of coaches aged under thirty. Practically, this research high- lights particular challenges for Gen Y coaching practitioners and offers specific recommendations for young practitioners contemplating entering the executive coaching industry.
description: Coaching Psykologi, Årg. 5 Nr. 1 (2016)
Bereavement Care: The Development of Comprehensive Bereavement Resources for Families Who Experience Neonatal Loss
Creators: name: Tori Williams
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2020

description: Medical and technological advances permit the survival of many infants born prematurely. However, despite the successes in perinatal and neonatal care, there remains a group of infants whose neonatal complications result in death. While bereavement care is crucial in all circumstances surrounding death, bereavement for the parents and families of infants who have died in the Neonatal Intensive Care Unit (NICU) is unique. Therefore, this review aims to take account of the literature regarding bereavement interventions for families experiencing a neonatal loss and then use that information to provide recommendations and gather resources for the creation of a comprehensive bereavement handbook for a local NICU. The literature on bereavement care in the NICU was searched for using CINAHL, PubMed, and Google Scholar. The original key terms searched were: ‘bereavement,’ ‘end of life,’ and ‘NICU,’ ‘neonatal intensive care unit,’ and ‘newborn intensive care.’ They were later expanded to include ‘perinatal loss’ and ‘perinatal death’ since perinatal also encompasses neonatal loss as part of its definition. However, articles focusing solely on bereavement care following miscarriages and stillbirths were excluded. Two types of neonatal bereavement care studies were identified: studies that looked at bereavement interventions and studies that surveyed the bereavement care of specific populations. Bereavement interventions included memory making, photography, lactation support, support groups, counseling, and resource guides. Articles examining specific populations focused on bereaved parents of multiples, grandparents, and siblings. Based on these findings and the information gathered at a local Newborn Critical Care Center’s (NCCC) bereavement committee meetings, four different resource guides were produced and sent electronically to the NCCC’s Infant Care Coordinator.
The quest for research in the coaching relationship
Creators: name: O'Broin, Alanna
name: Spaten, Ole Michael
name: Løkken, Lillith Olesen
Publisher: name: Coaching Psykologi - The Danish Journal of Coaching Psychology
Year: 2016

description: With the aim to enabling a deeper understanding, of coaching relationship research, this collection of articles is further intended to expand a perspective on approaching evidence-based coaching research in this area and on engaging your coachees in the coaching relationships in your own coaching practice. In this article, the contributions from all authors are each reviewed, with a further discussion and integration of themes arising that are germane to future coaching relationship research, and to building effective coaching relationships with coachees.
description: Coaching Psykologi - The Danish Journal of Coaching Psychology, Årg. 5 Nr. 1 (2016)
title: Technische Anforderungen für den Handel von elektrischer Energie unter Privatpersonen
Creators: name: Lorenz, Christoph Maximilian
Publisher: name: FH CAMPUS 02 (CAMPUS 02 Fachhochschule der Wirtschaft)
Year: 2023
Subjects: subject: 629 Andere Fachrichtungen der Ingenieurwissenschaften

description: Elektrische Energie zu produzieren ist das eine, die elektrisch produzierte Energie aber auch gesetzlich verkaufen zu dürfen, das andere. Der Energiemarkt ist ein sehr umkämpfter Markt, der mit strengen Regeln versehen ist. Der Verkauf von elektrischer Energie ist deswegen auch nur Unternehmen gestattet, die dafür eine Konzession besitzen. Diese Konzession besitzen aber bis dato nur große Energielieferanten. Folge dessen war es auch nur diesen Energieunternehmen erlaubt, elektrische Energie kommerziell zu verkaufen. Dies hat sich nun geändert. Es ist eine Energienovelle in Kraft getreten, welche es auch Privatpersonen ohne Konzession erlaubt, die selbst produzierte Energie, unter gewissen Rahmenbedingungen, zu verkaufen. Das Interesse dieser wissenschaftlichen Arbeit zielt auf die Nutzung der Vorteile durch diese Gesetzesnovelle ab. Die Masterarbeit soll Aufschluss geben, welche Möglichkeiten und Anlagenmodelle zukünftig realistisch sind. Des Weiteren soll geklärt werden, nach welcher Zeit sich ein solches Anlagenmodell amortisiert hat und ab wann man finanzielle Gewinne daraus lukrieren kann. Die elektrische Energie soll dabei ausschließlich aus Photovoltaikzellen erzeugt werden. Die verschiedenen Entwicklungen mit Photovoltaikzellen und der technische Fortschritt soll ausgearbeitet werden, sodass sinnvolle Modelle für die private Nutzung dargestellt werden können. Des Weiteren sollen auch Strom Speichertechnologien, die elektrischen Strom speichern können, betrachtet werden, damit der produzierte Strom auch zwischengespeichert werden kann und zur Verfügung steht, wenn er gebraucht wird. Dies soll den Wirkungsgrad der Anlage steigern, um schlussendlich einen höheren Ertrag damit zu erwirtschaften.
description: To produce electrical energy is one thing, to sell the produced energy in a legal way is another thing. The energy market is a highly competitive market with strict rules. Selling electrical energy is therefore only permitted to companies that have a license to do so. So far, however, this concession has been given only big energy suppliers. As a result, only these energy companies have been allowed to commercially sell electrical energy. This will change by the middle of the year 2019. Then, an energy amendment comes into force, which will also allow private individuals to sell their self-produced energy even without a license. The interest of this scientific work is intended to shed light on which methods, possibilities and models will be possible in the future in order to profit from this novella. The produced electrical energy should solely won by photovoltaic cells. Storage technologies that can store electric power should also be considered, so that the electricity produced energy can be cached as needed, in order to provide a customer at the time when it is needed and can therefore be consumed and sold.
Nonlocal nonlinear diffusion equations. Smoothing effects, Green functions, and functional inequalities
Creators: name: Bonforte, Matteo
name: Endal, Jørgen
Publisher: name: arXiv
Year: 2022
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics

description: We establish boundedness estimates for solutions of generalized porous medium equations of the form $$ \partial_t u+(-\mathfrak{L})[u^m]=0\quad\quad\text{in $\mathbb{R}^N\times(0,T)$}, $$ where $m\geq1$ and $-\mathfrak{L}$ is a linear, symmetric, and nonnegative operator. The wide class of operators we consider includes, but is not limited to, Lévy operators. Our quantitative estimates take the form of precise $L^1$--$L^\infty$-smoothing effects and absolute bounds, and their proofs are based on the interplay between a dual formulation of the problem and estimates on the Green function of $-\mathfrak{L}$ and $I-\mathfrak{L}$. In the linear case $m=1$, it is well-known that the $L^1$--$L^\infty$-smoothing effect, or ultracontractivity, is equivalent to Nash inequalities. This is also equivalent to heat kernel estimates, which imply the Green function estimates that represent a key ingredient in our techniques. We establish a similar scenario in the nonlinear setting $m>1$. First, we can show that operators for which ultracontractivity holds, also provide $L^1$--$L^\infty$-smoothing effects in the nonlinear case. The converse implication is not true in general. A counterexample is given by $0$-order Lévy operators like $-\mathfrak{L}=I-J\ast$. They do not regularize when $m=1$, but we show that surprisingly enough they do so when $m>1$, due to the convex nonlinearity. This reveals a striking property of nonlinear equations: the nonlinearity allows for better regularizing properties, almost independently of the linear operator. Finally, we show that smoothing effects, both linear and nonlinear, imply families of inequalities of Gagliardo-Nirenberg-Sobolev type, and we explore equivalences both in the linear and nonlinear settings through the application of the Moser iteration.
description: 73 pages, 5 figures. v2: Updated according to the referee's suggestions. To appear in "Journal of Functional Analysis"
Operational axioms for diagonalizing states
Creators: name: Chiribella, Giulio
name: Scandolo, Carlo Maria
Publisher: name: arXiv
Year: 2015
Subjects: subject: Quantum Physics (quant-ph)
subject: Information Theory (cs.IT)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: In quantum theory every state can be diagonalized, i.e. decomposed as a convex combination of perfectly distinguishable pure states. This elementary structure plays an ubiquitous role in quantum mechanics, quantum information theory, and quantum statistical mechanics, where it provides the foundation for the notions of majorization and entropy. A natural question then arises: can we reconstruct these notions from purely operational axioms? We address this question in the framework of general probabilistic theories, presenting a set of axioms that guarantee that every state can be diagonalized. The first axiom is Causality, which ensures that the marginal of a bipartite state is well defined. Then, Purity Preservation states that the set of pure transformations is closed under composition. The third axiom is Purification, which allows to assign a pure state to the composition of a system with its environment. Finally, we introduce the axiom of Pure Sharpness, stating that for every system there exists at least one pure effect occurring with unit probability on some state. For theories satisfying our four axioms, we show a constructive algorithm for diagonalizing every given state. The diagonalization result allows us to formulate a majorization criterion that captures the convertibility of states in the operational resource theory of purity, where random reversible transformations are regarded as free operations.
description: In Proceedings QPL 2015, arXiv:1511.01181
title: Konzept eines Lean-Material-Tracking-Systems in der Halbleiterfertigung
Creators: name: Achleitner, Felix
Publisher: name: FH CAMPUS 02 (CAMPUS 02 Fachhochschule der Wirtschaft)
Year: 2023
Subjects: subject: 338 Produktion

description: Das aktuell eingesetzte Material-Tracking-System, für die Halbleiterfertigung der ams AG in Premstätten, hat seine Belastungsgrenzen erreicht und muss daher ersetzt werden. Die vorliegende Masterarbeit beschäftigt sich mit der Erstellung eines Konzepts für ein neues System, welches zusätzlich auch der schlanken Produktionsstrategie (Lean Production) entspricht. Dafür werden zunächst im Rahmen einer Literaturrecherche die Grundlagen der Gebiete Materialidentifikation und Materiallokalisation sowie der Lean Production erarbeitet. In der anschließenden Analyse werden die aktuellen Probleme mit Hilfe von Werkzeugen der Lean-Strategie aufgearbeitet und dargestellt. Die dadurch gewonnenen Erkenntnisse fließen direkt in die darauffolgende Entwicklung des Konzepts ein. Dabei entsteht ein neues Betreiberkonzept auf aktuellem Stand der Technik, welches auch die logistischen Abläufe im Sinne der schlanken Produktionsstrategie verbessert. Das Ergebnis der Arbeit ist ein umfangreiches Konzept für ein Lean-Material-Tracking-System in der Halbleiterfertigung, in dem die Chancen, aber auch die zu erwartenden Herausforderungen, detailliert dargestellt werden. Als Ausgangspunkt zur Umsetzung des Konzepts werden abschließend die technischen Anforderungen erarbeitet, kategorisiert und bewertet. Das Konzept bietet die Grundlage zur Auswahl eines passenden Lieferanten und Ausführung eines Pilotprojekts, um die Durchführbarkeit unter realen Bedingungen feststellen zu können.
description: The Material-Tracking-System currently being used in the wafer production fab of ams AG has reached its capacity limit, showing a need for growth and expansion. This master thesis presents a concept for a new system that combines current practices with lean production strategies, allowing more simplified and efficient operations. The theoretical part covers fundamental knowledge about material tracking and localization technologies, as well as Lean Production methods. Subsequently, the current situation is analysed and illustrated using lean strategy tools. Taking into account the current system, a more modern and effective concept based on the existing technology has been established, which also improves the logistic transport procedures with lean methods. As a result of in-depth research in the area of material identification and localization, as well as Lean Production, a comprehensive concept for a Lean Material Tracking System in the semiconductor industry has been developed. This study outlines not only the opportunities but also probable challenges that could result from this new system. As a foundation to implement this concept, the technological requirements have been outlined and categorized by necessity. In conclusion, the possible risks and benefits have been evaluated. This concept covers the groundwork for choosing a supplier and realising a pilot project to determine the feasibility under real conditions.
Rozšírenie metód zabezpečenia kvality služieb siete s ohľadom na prevádzku IoT zariadení v dátových metaclusteroch
Creators: name: Kalamen Igor
name: Haluška Andrej
name: Beňo Miloš
name: Minárik Michal
name: Jamrich Marián
name: Jančo Rastislav
name: Rastislav, Krbaťa
name: Martin, Turan
name: Lukáčik Ondrej
name: Krištofík Daniel
name: Kudlík Jakub
name: Hofierka Peter
name: Pelíšek Martin
name: Ždilová Vinceová Erika
name: Moško Daniel
Publisher: name: Zenodo
Year: 2022
Subjects: Active Directory
SANET
Metroclusters
Dátové centrá

description: Cieľom dokumentu je popis problematiky rozšírenia metód zabezpečenia kvality služieb siete s ohľadom na prevádzku IoT zariadení v dátových metaclusteroch. Dokument sa zameriava na realizáciu naplánovanej hardvérovej, sieťovej a softvérovej štruktúry, popisuje reálny stav naplánovanej konfigurácie infraštruktúry, popisuje merania v konkrétnych nastaveniach, pričom sa zameriava len na ich popis; výsledky jednotlivých meraní a skúmaní sa budú prezentovať v samostatných dokumentoch, keďže konečná infraštruktúra je obsiahla. V jednotlivých kapitolách sa dokument venuje každej časti infraštruktúry samostatne, od hardvérových komponentov, cez nastavenia siete, až po softvérové prvky jednotlivých serverov s ich konfiguráciou. Vysvetľuje a ukazuje, ako a prečo sa vybrali jednotlivé softvérové prvky, ich popis a použitie. Realizovaná infraštruktúra verne napodobňuje infraštruktúru používanú v reálnych projektoch u zákazníkov, nevynecháva žiadne používané komponenty ako sú Active Directory, Firewall, monitorovacie servery, aplikačné servery, databázové servery atď
description: Acknowledgment: This publication was created thanks to support under the Operational Program Integrated Infrastructure for the project: Research in the SANET network and the possibility of its further use and development, project code in ITMS: 313011W988, which is co-financed by the European Regional Development Fund.
The Chief Executive: Kennedy, Crisis, and Decision-Making
Creators: name: Batchelder, Edward F.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2020
Subjects: History
Kennedy, John F. (John Fitzgerald), 1917-1963
Cold War (1945-1989)

description: This thesis explores how John F. Kennedy’s style of executive management impacted his administration’s decision-making process. After the failures in Cuba and Vienna, Kennedy came to several conclusions: elaborate machinery was not innately ineffective; he should trust his advisors; and he should avail himself of more dissenting opinions. Based on these lessons, Kennedy rebuilt some of the formal foreign policy machinery that he had previously dismantled, relinquished his grip on policy creation, and halted debate until he could hear from noteworthy advocates of more hawkish policy. Current scholarship fails to connect the Berlin crisis, Kennedy’s leadership, and modern management theory. Many presidential historians use the Cuban missile crisis to demonstrate that Kennedy had finally learned from the Bay of Pigs and Vienna disasters. In contrast, this thesis shows that Kennedy corrected his mistakes in Berlin, more than a year before the Cuban Missile Crisis. Process mattered. By slowing down the pace of internal debate, relying more on his advisors, and rebuilding the machinery that he had previously scrapped, Kennedy reached better decisions. Besides its scholarly insights into historical events, this thesis sheds light on vital questions about leadership and decision-making. Kennedy carried the burden of leading the United States in an era of existential nuclear danger. The president’s triumph was the preservation of peace. Kennedy’s change of direction on Berlin offers a powerful blueprint for anyone who has had to learn from failure.
Leapfrog: Certified Equivalence for Protocol Parsers
Creators: name: Doenges, Ryan
name: Kappé, Tobias
name: Sarracino, John
name: Foster, Nate
name: Morrisett, Greg
Publisher: name: arXiv
Year: 2022
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: We present Leapfrog, a Coq-based framework for verifying equivalence of network protocol parsers. Our approach is based on an automata model of P4 parsers, and an algorithm for symbolically computing a compact representation of a bisimulation, using "leaps." Proofs are powered by a certified compilation chain from first-order entailments to low-level bitvector verification conditions, which are discharged using off-the-shelf SMT solvers. As a result, parser equivalence proofs in Leapfrog are fully automatic and push-button. We mechanically prove the core metatheory that underpins our approach, including the key transformations and several optimizations. We evaluate Leapfrog on a range of practical case studies, all of which require minimal configuration and no manual proof. Our largest case study uses Leapfrog to perform translation validation for a third-party compiler from automata to hardware pipelines. Overall, Leapfrog represents a step towards a world where all parsers for critical network infrastructure are verified. It also suggests directions for follow-on efforts, such as verifying relational properties involving security.
Why Ethiopian Airlines Becomes Successful and What are the Lessons for other Public Companies?
Creators: name: Selamawit G/Egziabher
Publisher: name: Zenodo
Year: 2012

description: This research has been done to solve the relatively poor performance problem of different public companies and enhance economic growth of Ethiopian economy through public sector capacity building. Accordingly, this study examined the success of Ethiopian Airlines, its determinant factors as well as lessons that can be taken by other public companies from its experience. In doing that, descriptive as well as econometric analysis based on performance indicators and endogenous growth model are respectively used. The results of descriptive analysis indicate that Ethiopian Airlines is a successful enterprise. This is mainly because the airline is a profitable, with a culture of continuous improvement, paramount productivity growth, higher market share etc. In this regard, several factors have contributed for the success of the airline: its working standard, overall system, dedication of workforce, safety trend, best practice, current and recurrent trainings, formation history, state art technology, autonomous management, its market strategy, visionary leadership style etc. Similarly, the results of econometric analysis reveal that the major determinants for the growth/success of Ethiopian Airlines are physical capital accumulation and human capital creation. Therefore, it is the combination of the earlier qualitative determinants with both physical and human capital that has played a significant role for its success
Leadership, power, and symmetry
Creators: name: Spaten, Ole Michael
Publisher: name: Coaching Psykologi - The Danish Journal of Coaching Psychology
Year: 2016

description: Research publications concerning managers who coach their own employees are barely visible despite its wide- spread use in enterprises (McCarthy & Milner, 2013; Gregory & Levy, 2011; Crabb, 2011). This article focuses on leadership, power and moments of symmetry in the coaching relationship regarding managers coaching their employees and it is asked; what contributes to coaching of high quality when one reflects on the power aspect as being immanent? Fourteen middle managers coached five of their employees, and all members of each party wrote down cues and experiences immediately after each session. Thereafter we executed qualitative interviews with both managers and employees. Subsequently, a Thematic Analysis resulted in several themes, including power and moments of symmetry in the coaching relationship. One main conclusion is that the most fruitful coaching was obtained when the coachee experienced moments of symmetry and that necessary and sufficient conditions to bring forth such moments include a strong working alliance and the coach being aware of the power at play.
description: Coaching Psykologi - The Danish Journal of Coaching Psychology, Årg. 5 Nr. 1 (2016)
Improved absolute calibration of LOPES measurements and its impact on the comparison with REAS 3.11 and CoREAS simulations
Creators: name: Apel, W. D.
name: Arteaga-Velazquez, J. C.
name: Bähren, L.
name: Bekk, K.
name: Bertaina, M.
name: Biermann, P. L.
name: Blümer, J.
name: Bozdog, H.
name: Brancus, I. M.
name: Cantoni, E.
name: Chiavassa, A.
name: Daumiller, K.
name: de Souza, V.
name: Di Pierro, F.
name: Doll, P.
name: Engel, R.
name: Falcke, H.
name: Fuchs, B.
name: Gemmeke, H.
name: Grupen, C.
name: Haungs, A.
name: Heck, D.
name: Hiller, R.
name: Hörandel, J. R.
name: Horneffer, A.
name: Huber, D.
name: Huege, T.
name: Isar, P. G.
name: Kampert, K. -H.
name: Kang, D.
name: Krömer, O.
name: Kuijpers, J.
name: Link, K.
name: Luczak, P.
name: Ludwig, M.
name: Mathes, H. J.
name: Melissas, M.
name: Morello, C.
name: Nehls, S.
name: Oehlschläger, J.
name: Palmieri, N.
name: Pierog, T.
name: Rautenberg, J.
name: Rebel, H.
name: Roth, M.
name: Rühle, C.
name: Saftoiu, A.
name: Schieler, H.
name: Schmidt, A.
name: Schoo, S.
name: Schröder, F. G.
name: Sima, O.
name: Toma, G.
name: Trinchero, G. C.
name: Weindl, A.
name: Wochele, J.
name: Zabierowski, J.
name: Zensus, J. A.
Publisher: name: arXiv
Year: 2015
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: LOPES was a digital antenna array detecting the radio emission of cosmic-ray air showers. The calibration of the absolute amplitude scale of the measurements was done using an external, commercial reference source, which emits a frequency comb with defined amplitudes. Recently, we obtained improved reference values by the manufacturer of the reference source, which significantly changed the absolute calibration of LOPES. We reanalyzed previously published LOPES measurements, studying the impact of the changed calibration. The main effect is an overall decrease of the LOPES amplitude scale by a factor of $2.6 \pm 0.2$, affecting all previously published values for measurements of the electric-field strength. This results in a major change in the conclusion of the paper 'Comparing LOPES measurements of air-shower radio emission with REAS 3.11 and CoREAS simulations' published in Astroparticle Physics 50-52 (2013) 76-91: With the revised calibration, LOPES measurements now are compatible with CoREAS simulations, but in tension with REAS 3.11 simulations. Since CoREAS is the latest version of the simulation code incorporating the current state of knowledge on the radio emission of air showers, this new result indicates that the absolute amplitude prediction of current simulations now is in agreement with experimental data.
description: Partly changes results and conclusion of publication Astroparticle Physics 50-52 (2013) 76-91 (arXiv:1309.5920)
Strontium and Lead in Falls Lake: Inputs, Signatures and Sources
Creators: name: Oechsle, Lee
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2020

description: Concentrations and isotopic compositions of Pb and Sr from samples from Falls Lake, NC and its tributaries were measured to determine the controls on the dissolved load of the lake and streams. Strontium isotopic signatures and concentrations are largely reflective of the bedrock geology surrounding each tributary stream, with some exceptions. The Sr within Falls Lake itself is primarily controlled by large western inputs that flow through young diabase intrusions, with some control exerted by the bedrock of smaller, eastern inputs. The Pb signatures of the various inputs do not reflect bedrock geology and are instead interpreted to be mainly controlled by anthropogenic sources of leaded gasoline and aerosols. The Pb isotopic signatures result from a combination of leaded gasoline input from population centers south of the lake and aerosol input possibly from two active coal burning powerplants north of the lake. Within the lake itself, Sr isotopic values remain largely consistent with lake depth whereas Pb values tend to be influenced by anthropogenic lead near the surface and become more well mixed with depth.
Coachee Satisfaction and Beyond : A Systematic Review of the Coaching Relationship
Creators: name: Lai, Yi-Lang
name: McDowall, Almuth
Publisher: name: Coaching Psykologi
Year: 2016

description: This report summarises a conference paper presented at the 4th International Congress hosted by the British Psychological Society’s Special Group in Coaching Psychology in London, December 2014. A further discussion of a Systematic Review (SR) study which aimed to strengthen evidence-based coaching through reviewing existing studies in Coaching Psychology was presented. This SR focused on investigating effective coaching psychologists’ attributes for a productive coaching relationship and how to facilitate desired outcomes. The coaching relationship has been established as a key indicator for a positive coaching outcome through several primary studies. Nevertheless existing competency frameworks of main governing associations (e.g. the British Psychological Society) have not yet outlined explicit behavioural indicators for facilitating an effective coaching relationship. Hence, it is an essential step to study common factors for an effective coaching process and to what extent coaches’ attributes impact the coach-coachee relationship. The details of this SR study has been published in International Coaching Psychology Review in 2014 (Lai & Almuth, 2014); this short paper will discuss how this SR study results expand commonly used coaching evaluation from coachees’ satisfaction to comprise more concrete outcome measurement.
description: Coaching Psykologi, Årg. 5 Nr. 1 (2016)
Tätigkeitsfelder und professionelles Selbstverständnis von Lehrkräften in (strukturell) inklusiven Grundschulen. „[...], aber mit dem Blick einer Inklusionspädagogin“
Creators: name: Telscher, Mira
name: Korff, Natascha
Publisher: name: Universität Bremen
Year: 2023
Subjects: subject: Inklusive Schule
subject: inklusionsorientierte Professionalisierung
subject: Grundschule
subject: 370

description: Der Abschlussbericht des von der Max-Traeger-Stiftung finanzierten Projekts 'Vernetzung inklusive? – Lehrkräfte für eine Schule ohne Ausschluss qualifizieren' (Laufzeit 2019–2022 mit Unterbrechungen) gibt auf Grundlage einer Fragebogen- und Interviewstudie Einblick in Qualifikationen von Lehrkräften in und für die inklusive Schule. Neben Ergebnissen zu Aufgabenbereichen und Tätigkeiten von Lehrkräften an Bremer Grundschulen legt der Bericht Befunde zum professionellen Selbstverständnis von Absolvent:innen des Bremer doppelqualifizierenden Studiengangs ‚Inklusive Pädagogik‘ für das Lehramt an Grundschulen und Sonderpädagogik dar und formuliert vor diesem Hintergrund Implikationen für eine inklusionsorientierte Lehrer:innenbildung.
Where we have been, where we are now, and where we might be heading : Where next for the coaching relationship?
Creators: name: O'Broin, Alanna
Publisher: name: Coaching Psykologi - The Danish Journal of Coaching Psychology
Year: 2016

description: The advent of the current stage of coaching research seeking to identify how coaching works, or the ‘active ingredients’ of coaching has taken coaching relationship research into a more prominent position. In exploring the questions of what we know about the coaching relationship and its role in coaching and coaching outcomes, and how we might go about finding out more, this article overviews the coaching relationship research in the coaching context of certain prevailing assumptions: that coaching works, the functional similarity of the coaching relationship with the therapeutic relationship, and that the coaching relationship is an ‘active ingredient’ of coaching. In the process, this exercise raises emerging issues of the definition of coaching, the definition of the coaching relationship, and measurement of the coaching relationship, which it is proposed are considerations when contemplating coaching relationship research studies and in our evidence-based approach to coaching practice. Suggestions for future research studies are made based on this discussion.
description: Coaching Psykologi - The Danish Journal of Coaching Psychology, Årg. 5 Nr. 1 (2016)
Analýza nástrojov a koncepcie celkovej architektúry pre modelovanie a simuláciu mikrogridov
Creators: name: Láznička Libor
name: Martin, Holiš
name: Rastislav, Krbaťa
name: Slávik Jakub
name: Moško Daniel
name: Kalamen Igor
name: Jozef, Kosa
name: Trvalec-Višňovská Monika
name: Liptáková Lucia
name: Vannay David
name: Deák Tomáš
name: Legnavský Ľubomír
name: Kianička Pavol
name: Jedinák Radovan
Publisher: name: Zenodo
Year: 2021
Subjects: Inteligentné siete
Inteligentné meracie systémy
Mikrogrid
Modelovanie siete

description: Produkcia elektrickej energie zažíva veľký prerod. Vo svetovom meradle počet solárnych a veterných elektrárni rastie veľkým tempom a tým pokračuje aj pokles ich ceny. V súčasnej dobe dochádza k zásadným zmenám v štruktúre zdrojov elektrickej energie. Tradičný pohľad na energetickú sústavu až doteraz bol, že elektrina tiekla jedným smerom od veľkého zdroja cez prenosovú a distribučnú sústavu k odberateľom. Odklon od konceptu centralizovanej výroby elektrickej energie je jedným z hlavných faktorov, ktoré prinášajú transformácie elektrizačných sústav. Plánovanie rozvodnej siete sa v priebehu posledných rokov stáva zložitejším vzhľadom na udržiavanie výkonovej rovnováhy energetického systému. Koncept inteligentnej siete (mikrogrid) v rámci rozvoja distribučnej sústavy umožňuje riešiť požiadavku na zvýšenú inštaláciu výrobných zariadení z obnoviteľných zdrojov energie v súlade s naplnením environmentálnych cieľov stanovených Európskou komisiou a s využívaním moderných technológií inteligentných sietí, a tým zároveň eliminovať problémy, ktoré integrácia OZE prináša súčasným prevádzkovateľom elektrizačnej sústavy. Inteligentná sieť je dnes predpokladom presnosti modelu digitálnej siete. Všetky uvedené fakty ukazujú na potrebu vývoja moderného programového nástroja pre modelovanie a simulácie moderných digitálnych mikrogridov. Tento zámer si vyžaduje podrobnú analýzu v nasledovných oblastiach: Inteligentné siete Inteligentné meracie systémy IoT Mikrogridy Digitálne dvojča Modelovanie siete Simulácia siete Legislatíva
description: Poďakovanie: Táto publikácia vznikla vďaka podpore v rámci Operačného programu Integrovaná infraštruktúra pre projekt: Medzinárodné centrum excelentnosti pre výskum inteligentných a bezpečných informačno-komunikačných technológií a systémov – II. etapa, spolufinancovaný zo zdrojov Európskeho fondu regionálneho rozvoja..
Symbolic Physics Learner: Discovering governing equations via Monte Carlo tree search
Creators: name: Sun, Fangzheng
name: Liu, Yang
name: Wang, Jian-Xun
name: Sun, Hao
Publisher: name: arXiv
Year: 2022
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Machine Learning (cs.LG)
subject: Symbolic Computation (cs.SC)
subject: Chaotic Dynamics (nlin.CD)
subject: Computational Physics (physics.comp-ph)
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences

description: Nonlinear dynamics is ubiquitous in nature and commonly seen in various science and engineering disciplines. Distilling analytical expressions that govern nonlinear dynamics from limited data remains vital but challenging. To tackle this fundamental issue, we propose a novel Symbolic Physics Learner (SPL) machine to discover the mathematical structure of nonlinear dynamics. The key concept is to interpret mathematical operations and system state variables by computational rules and symbols, establish symbolic reasoning of mathematical formulas via expression trees, and employ a Monte Carlo tree search (MCTS) agent to explore optimal expression trees based on measurement data. The MCTS agent obtains an optimistic selection policy through the traversal of expression trees, featuring the one that maps to the arithmetic expression of underlying physics. Salient features of the proposed framework include search flexibility and enforcement of parsimony for discovered equations. The efficacy and superiority of the SPL machine are demonstrated by numerical examples, compared with state-of-the-art baselines.
description: 22 pages
The Use of the Size Effect in Grinding for Work-hardening
Creators: name: Heinzel, Carsten
name: Bleil, Nicolas
Publisher: name: Elsevier
Year: 2007
Subjects: subject: Grinding
subject: Surface integrity
subject: Residual stress
subject: 620

description: This paper shows the possibility of using the size effect of the specific grinding energy for a targeted surface layer work-hardening of metal parts. The research includes the combination of abrasive material removal and plastic deformation in a single grinding step. Therefore high specific energy values are needed and thermal effects counteracting the work-hardening have to be minimised. This can be achieved by low cutting speeds in combination with low depths of cut. The new approach results in an in-process work-hardening of the surface layer, which was found to lead to higher hardness, a compressive residual stress state, and higher wear resistance.
Eternal Forced Mean Curvature Flows II - Existence
Creators: name: Smith, Graham
Publisher: name: arXiv
Year: 2015
Subjects: subject: Differential Geometry (math.DG)
subject: FOS: Mathematics
subject: 58C44, 35A01, 35K59, 53C21, 53C42, 53C44, 53C45, 57R99, 58B05, 58E05

description: We show that under suitable non-degeneracy conditions, complete gradient flow lines of the scalar curvature functional of a riemannian manifold perturb into eternal forced mean curvature flows with large forcing term.
Multi-messenger Emission from Tidal Waves in Neutron Star Oceans
Creators: name: Sullivan, Andrew G.
name: Alves, Lucas M. B.
name: Spence, Georgina O.
name: Leite, Isabella P.
name: Veske, Doğa
name: Bartos, Imre
name: Márka, Zsuzsa
name: Márka, Szabolcs
Publisher: name: arXiv
Year: 2022
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: Neutron stars in astrophysical binary systems represent exciting sources for multi-messenger astrophysics. A potential source of electromagnetic transients from compact binary systems is the neutron star ocean, the external fluid layer encasing a neutron star. We present a groundwork study into tidal waves in neutron star oceans and their consequences. Specifically, we investigate how oscillation modes in neutron star oceans can be tidally excited during compact binary inspirals and parabolic encounters. We find that neutron star oceans can sustain tidal waves with frequencies between $0.01-20$ Hz. Our results suggest that tidally resonant neutron star ocean waves may serve as a never-before studied source of precursor electromagnetic emission prior to neutron star-black hole and binary neutron star mergers. If accompanied by electromagnetic flares, tidally resonant neutron star ocean waves, whose energy budget can reach $10^{46}$ erg, may serve as early warning signs ($\gtrsim 1$ minute before merger) for compact binary mergers. Similarly, excited ocean tidal waves will coincide with neutron star parabolic encounters. Depending on the neutron star ocean model and a flare emission scenario, tidally resonant ocean flares may be detectable by Fermi and NuSTAR out to $\gtrsim 100$ Mpc with detection rates as high as $\sim 7$ yr$^{-1}$ for binary neutron stars and $\sim0.6$ yr$^{-1}$ for neutron star-black hole binaries. Observations of emission from neutron star ocean tidal waves along with gravitational waves will provide insight into the equation of state at the neutron star surface, the composition of neutron star oceans and crusts, and neutron star geophysics.
description: 16 pages, 3 figures, 3 tables; accepted for publication in MNRAS
Axiomatizing complete positivity
Creators: name: Cunningham, Oscar
name: Heunen, Chris
Publisher: name: arXiv
Year: 2015
Subjects: subject: Category Theory (math.CT)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: There are two ways to turn a categorical model for pure quantum theory into one for mixed quantum theory, both resulting in a category of completely positive maps. One has quantum systems as objects, whereas the other also allows classical systems on an equal footing. The former has been axiomatized using environment structures. We extend this axiomatization to the latter by introducing decoherence structures.
description: In Proceedings QPL 2015, arXiv:1511.01181