bluuebunny/crossref_metadata_2025_split huggingface dataset:
Comprehensive Solution Method Considering Load Distribution for Determining Low‐Voltage Network Configurations
Authors: Yokota Hiroki , Zoka Yoshifumi , Noriyuki Hiroki , Yorino Naoto , Sasaki Yutaka , Fukuba Shinya , Akagi Satoru 
Published: April 2023

AbstractSignificant photovoltaic (PV) penetration accelerates voltage problems in distribution networks. We have so far studied what kind of low voltage system configurations are desired in the planning stage. In our previous studies, possible equipment measures were classified into several categories, formulating the ‘low‐voltage system configuration determination problem’; in addition, a solution algorithm based on the practical priorities of classified measures was proposed. In this study, we propose a more efficient and comprehensive solution method while considering load distribution. Several numerical simulations were conducted to verify the performance of the proposed method. © 2023 Institute of Electrical Engineer of Japan and Wiley Periodicals LLC.
A comprehensive study on flocculation of anionic dyes using the bioflocculant produced by Bacillus thuringiensis: Kinetics, affecting factors, and perspectives
Authors: Wu Chun‐Yung , Zhong Zhi‐Chen , Wu Xin‐Ping , Chen Yu‐Jie , Shu Che‐Chi 
Published: April 2023

AbstractBioflocculants have received more and more attention as alternatives to chemical flocculants because of their innocuousness, environmental friendliness, and high effectiveness. This study aims to investigate various factors that influence the performance of the novel bioflocculant produced by Bacillus thuringiensis (BF‐TWB10) and analyze its adsorption kinetics to optimize its flocculation performance for real applications. The best‐fit kinetic model was pseudo‐second order with R2 = 0.999. The effects of pretreatment temperature, pH, and the presence of cations on flocculation were assessed. Further investigations of flocculation, including zeta potential analysis and particle size analysis, were also conducted. Thermal pretreatment of BF‐TWB10 or the presence of divalent cations could stimulate the decolorization efficiency of the bioflocculant. BF‐TWB10 manifested outstanding dye removal performances with over 90% for all tested anionic dyes at pH 2 and 3. Its decolorization efficiency on anionic dyes decreased with the increase of pH values. Zeta potential analysis revealed that the electrostatic repulsion between anionic dyes decreased after the addition of BT‐TWB10 and further diminished by adjusting the reaction mixture to pH 2 before flocculation, suggesting the occurrence of adsorption bridging and charge neutralization. These findings proposed that BF‐TWB10 might be a promising bioflocculant for the removal of dyes in textile wastewater.Practitioner Points

Bioflocculant BF‐TWB10 shows outstanding performance in flocculation.
Adsorption process follows pseudo‐second‐order kinetic model.
Flocculation process is pH‐responsive.
High‐temperature pretreatment or divalent cations enhance its flocculation performance.
The analyses suggest the occurrence of charge neutralization and adsorption bridging.
Transforming Quantified Boolean Formulas Using Biclique Covers
Authors: Kullmann Oliver , Shukla Ankit 
Published: April 2023

AbstractWe introduce the global conflict graph of DQCNFs (dependency quantified conjunctive normal forms), recording clashes between clauses on such universal variables on which all existential variables depend (called “global variables”). The biclique covers of this graph correspond to the eligible clause-slices of the DQCNF which consider only the global variables. We show that all such slices yield satisfiability-equivalent variations. This opens the possibility to realise this slice using as few global variables as possible. We give basic theoretical results and first supporting experimental data.
Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit
Authors: Fokkink W. J. , Goorden M. A. , Hendriks D. , van Beek D. A. , Hofkamp A. T. , Reijnen F. F. H. , Etman L. F. P. , Moormann L. , van de Mortel-Fronczak J. M. , Reniers M. A. , Rooda J. E. , van der Sanden L. J. , Schiffelers R. R. H. , Thuijsman S. B. , Verbakel J. J. , Vogel J. A. 
Published: April 2023

AbstractThe Eclipse Supervisory Control Engineering Toolkit (ESCET™) is an open-source project to provide a model-based approach and toolkit for developing supervisory controllers, targeting their entire engineering process. It supports synthesis-based engineering of supervisory controllers for discrete-event systems, combining model-based engineering with computer-aided design to automatically generate correct-by-construction controllers. At its heart is supervisory controller synthesis, a formal technique for the automatic derivation of supervisory controllers from the unrestricted system behavior and system requirements. Vital for the future development of these techniques and tools is the ESCET project’s open environment, allowing industry and academia to collaborate on creating an industrial-strength toolkit. We report on some crucial developments of the toolkit in the context of research projects with Rijkswaterstaat and ASML that have considerably improved its capability to deal with the complexity of real-life systems as well as its usability.
Runtime Enforcement Using Knowledge Bases
Authors: Kamburjan Eduard , Din Crystal Chang 
Published: April 2023

AbstractKnowledge bases have been extensively used to represent and reason about static domain knowledge. In this work, we show how to enforce domain knowledge about dynamic processes to guide executions at runtime. To do so, we map the execution trace to a knowledge base and require that this mapped knowledge base is always consistent with the domain knowledge. This means that we treat the consistency with domain knowledge as an invariant of the execution trace. This way, the domain knowledge guides the execution by determining the next possible steps, i.e., by exploring which steps are possible and rejecting those resulting in an inconsistent knowledge base. Using this invariant directly at runtime can be computationally heavy, as it requires to check the consistency of a large logical theory. Thus, we provide a transformation that generates a system which is able to perform the check only on the past events up to now, by evaluating a smaller formula. This transformation is transparent to domain users, who can interact with the transformed system in terms of the domain knowledge, e.g., to query computation results. Furthermore, we discuss different mapping strategies.
A Modeling Concept for Formal Verification of OS-Based Compositional Software
Authors: Ribeiro Leandro Batista , Lorber Florian , Nyman Ulrik , Larsen Kim Guldstrand , Baunach Marcel 
Published: April 2023

AbstractThe use of formal methods to prove the correctness of compositional embedded systems is increasingly important. However, the required models and algorithms can induce an enormous complexity. Our approach divides the formal system model into layers and these in turn into modules with defined interfaces, so that reduced formal models can be created for the verification of concrete functional and non-functional requirements. In this work, we use Uppaal to (1) model an RTOS kernel in a modular way and formally specify its internal requirements, (2) model abstract tasks that trigger all kernel functionalities in all combinations or scenarios, and (3) verify the resulting system with regard to task synchronization, resource management, and timing. The result is a fully verified model of the operating system layer that can henceforth serve as a dependable foundation for verifying compositional applications w.r.t. various aspects, such as timing or liveness.
An Evaluation Framework for Schools as Community Hubs
Authors: Clinton Janet M. , Aston Ruth , Paproth Hayley 
Published: April 2023

AbstractThe Building Connections: Schools as Community Hubs project is concerned with increasing social value within communities through understanding the development, merit, worth and significance of schools that engage with the community. This process involves identifying the multiple components of such schools developed with diverse target groups across a range of community settings. In this context, assessing the program implementation process is essential to capturing and documenting the realities of a school's planning, development, and implementation as a community hub. This chapter outlines an evaluation framework generated to document the development and implementation of community hub schools, as well as their effectiveness and efficiency. It argues that the evaluation process is essential for initial development, ongoing sustainability, and future scaling. The proposed framework builds on an adapted form of the Centers for Disease Control (CDC) Framework for Program Evaluation (2011). This CDC Framework provides an overarching theoretical evaluation framework that facilitates collaboration with all stakeholders and encourages the development of a learning environment and feedback as a part of the evaluation. The model emphasises the process of engagement and outcomes, and seeks to describe the realities of implementation in complex contexts to explain outcomes.
The Role of Evaluative Thinking in the Success of Schools as Community Hubs
Authors: Paproth Hayley , Clinton Janet M. , Aston Ruth 
Published: April 2023

AbstractEvaluative thinking (ET) is a construct of growing interest in education research due to its potential influence on the implementation of strategies, initiatives, and interventions. It is of particular importance in evidence-based practice. ET is often associated with the use of data, evidence-based decision making, and conducting evaluation activities. Research in this field indicates that an organisation and staff that think and act evaluatively are more likely to interrogate outcomes, question assumptions, and adapt program design and delivery. Given the nature and organisational structures of Schools as Community Hubs (SaCH) it is suggested that ET is an essential factor in the success of SaCH. This chapter will explore the research base regarding ET and the potential for ET to influence the success of SaCH.
Are Schools as Community Hubs Worth It?
Authors: Aston Ruth , Clinton Janet M. , Paproth Hayley 
Published: April 2023

AbstractUnderstanding return on investment is a common priority for evaluating schools that operate as hubs for their community. Seeking answers to questions like, ‘are we getting adequate returns on our investment?’ and ‘when and where do we need to invest resources to maximise returns?’ is paramount to ensuring the sustainability of school as community hubs (SaCH) because they require ongoing funding to achieve their purported benefits for students, families and residents in local school communities. Economic evaluation designs that enable investment in SaCH to be compared with tangible benefits as well as future cumulative benefits will be explained and compared in this chapter. The discussion will be supported with examples that include practical strategies from economic evaluations of SaCH conducted in Australia and internationally where Social Return on Investment, Cost Benefit Analysis and Value for Money designs have been adopted.
School-Community Collaboration: Insights from Two Decades of Partnership Development
Authors: Hands Catherine M. 
Published: April 2023

AbstractIn recent years, there has been increasing interest in school-community partnerships as a promising way of supporting students academically, socially and emotionally in both Canada and the United States. This chapter outlines a partnership process that developers have found useful over past decades in creating their school-community relationships. While understanding the partnership process is helpful, relationships are fostered in complex social contexts that can either facilitate or frustrate efforts to collaborate. A willingness to accommodate collaborators’ needs and goals, and opportunities to modify collaborative activities over time to better meet needs encourages partnership development and sustainability. Two-way communication and a shared purpose assist students, educators, families and community members to create mutually beneficial relationships founded upon a philosophy that all constituents have valuable resources to share. Hindrances to collaboration include territorialism, and agendas determined by the educators, school and district leaders without community input. Educators’ perceptions of student, family and community needs can be problematic in culturally and economically diverse communities where residents’ life experiences do not match theirs. The chapter includes recommendations for creating more seamless interactions among schools, districts and communities.
Brokering School-Community Partnerships: Cross-Sector Advocacy and Hard Work
Authors: Lauer Lynden , Watters Shirley , Morris Kari , Griffin Sandra 
Published: April 2023

AbstractCollaboration within government and across sectors can be challenging due to differing priorities, disciplinary perspectives and funding cycles. This complexity can be a barrier when it comes to enabling schools to respond to local contexts and developing strong community partnerships. This chapter shares insights from one Australian state government pilot program that aimed to broker cross-sector relationships to benefit the health, wellbeing and educational outcomes of school children and the broader community. Established in 2014, the Community Hubs and Partnerships (CHaPs) pilot program was initiated by the Queensland Government to work with all levels of government, non-government organisations and the private sector to plan accessible and cost-effective social infrastructure to connect communities and support coordinated delivery of community services. Based on the practical experience obtained over seven years, this chapter discusses strategies for brokering partnerships, along with the types of impact and outcomes that can be achieved through collaborative approaches to planning social infrastructure. To illustrate the approaches and strategies that support the establishment of schools as community hubs, it profiles two related projects: Yarrabilba Family and Community Place, and the Buzz at Yarrabilba.
Valuing Urban Schools as Social Infrastructure
Authors: Boys Jos , Jeffery Anna 
Published: April 2023

AbstractRe-thinking urban schools as part of an integral network of social infrastructure in cities presents new opportunities for mixed-use educational spaces at the heart of urban development. Yet these opportunities to leverage school assets to better integrate with, and enhance, their localities are often being missed. This chapter explores the value that schools can offer, not just for children, but for wider neighbourhood residents. While understanding that there is no one-size-fits-all approach, we report on a research project to produce a social infrastructure framework which can be included in schools’ policy, implementation and evaluation measures. Developed through an engagement process with key stakeholders, and focused on England, we propose principles for enabling schools to provide better local social infrastructure; based on broadening how we value schools; taking a long-term view; using joined-up thinking; enabling schools to deliver community support; and designing in community potential from the start. This chapter discusses the implications of each principle, supported by examples.
Finite N indices and the giant graviton expansion
Authors: Liu James T. , Rajappa Neville Joshua 
Published: April 2023

Abstract
The superconformal index of $$ \mathcal{N} $$
N
= 4 super-Yang Mills theory with U(N) gauge group can be written as a matrix integral over the gauge group. Recently, Murthy demonstrated that this integral can be reexpressed as a sum of terms corresponding to a giant graviton expansion of the index, and provided an explicit formula for the case of a single giant graviton. Here we give similar explicit formulae for an arbitrary number, m ≥ 1, of giant gravitons. We provide 1/2 and 1/16 BPS index examples up to the order where three giant gravitons contribute and demonstrate that the expansion of the matrix integral differs from the giant graviton expansion computed in the supergravity dual. This shows that the giant graviton expansion is not necessarily unique once two or more giant gravitons start appearing.
Completing the fifth PN precision frontier via the EFT of spinning gravitating objects
Authors: Levi Michèle , Yin Zhewei 
Published: April 2023

Abstract
We put forward a broader picture of the effective theory of a spinning particle within the EFT of spinning gravitating objects, through which we derive and establish the new precision frontier at the fifth PN (5PN) order. This frontier includes higher-spin sectors, quadratic and quartic in the spin, which both display novel physical features, due to the extension of the effective theory beyond linear order in the curvature. The quadratic-in-spin sectors give rise to a new tidal effect, and the quartic-in-spin sectors exhibit a new multipolar deformation. We then generalize the concept of tidal operators and of spin-induced multipolar operators, and make conjectures on the numerical values of their Wilson coefficients, and on the effective point-particle action of Kerr black holes. We confirm the generalized actions for generic compact binaries of the NLO quartic-in-spin sectors which were derived via the extension of the EFT of gravitating spinning objects. We first present the corresponding interaction potentials and general Hamiltonians, which consist of 12 distinct sectors, with a new one due to the new multipolar deformation. These Hamiltonians give the full physical information on the binary system, which mostly gets lost in higher-spin sectors, when going to the aligned-spins configuration. Moreover these general Hamiltonians uniquely allow us to find the complete Poincaré algebra at the 5PN order with spins, including the third subleading quadratic-in-spin sectors. We derive consequent observables for GW applications. Finally, to make contact with the scattering problem, we also derive the extrapolated scattering angles for aligned spins. Our completion of the Poincaré algebra provides the strongest validation of our most comprehensive new results, and thus that the 5PN order has now been established as the new precision frontier.
Complete NNLO operator bases in Higgs effective field theory
Authors: Sun Hao , Xiao Ming-Lei , Yu Jiang-Hao 
Published: April 2023

Abstract
For the first time, we list the complete and independent set of operators at the next-to-next-to-leading order (NNLO) in the Higgs effective field theory (HEFT). The Young tensor technique utilized in this work guarantees the completeness and independence of the on-shell amplitude basis while the Adler zero condition imposes non-linear symmetry on the Nambu-Goldstone bosons that play the central role in the chiral Lagrangian. The spurion fields are incorporated into the gauge structure of operators following the Littlewood-Richardson rule to accommodate custodial symmetry breaking. We construct 11506 (1927574) NNLO operators for one (three) flavor of fermions for the electroweak chiral Lagrangian with the light Higgs, and enumerate 8065(1179181) operators for one (three) flavor of fermions when the right-handed neutrino is absent by Hilbert series technique. Below the electroweak symmetry breaking scale, the dimension-8 standard model effective field theory (SMEFT) operators could be matched to these HEFT operators at both the NLO and NNLO orders.
Asymptotic profiles for a nonlinear Schrödinger equation with critical combined powers nonlinearity
Authors: Ma Shiwang , Moroz Vitaly 
Published: April 2023

AbstractWe study asymptotic behaviour of positive ground state solutions of the nonlinear Schrödinger equation $$\begin{aligned} -\Delta u+u=u^{2^*-1}+\lambda u^{q-1} \quad \textrm{in}\, {\mathbb {R}}^N,\qquad \qquad \qquad \qquad \qquad {(P_\lambda )} \end{aligned}$$

-
Δ
u
+
u
=

u

2
∗

-
1

+
λ

u

q
-
1

in

R

N

,

(

P
λ

)

where $$N\ge 3$$

N
≥
3

is an integer, $$2^{*}=\frac{2N}{N-2}$$

2

∗

=

2
N

N
-
2

is the Sobolev critical exponent, $$2<q<2^*$$

2
<
q
<

2
∗

and $$\lambda >0$$

λ
>
0

is a parameter. It is known that as $$\lambda \rightarrow 0$$

λ
→
0

, after a rescaling the ground state solutions of $$(P_\lambda )$$

(

P
λ

)

converge to a particular solution of the critical Emden-Fowler equation $$-\Delta u=u^{2^*-1}$$

-
Δ
u
=

u

2
∗

-
1

. We establish a novel sharp asymptotic characterisation of such a rescaling, which depends in a non-trivial way on the space dimension $$N=3$$

N
=
3

, $$N=4$$

N
=
4

or $$N \ge 5$$

N
≥
5

. We also discuss a connection of these results with a mass constrained problem associated to $$(P_{\lambda })$$

(

P
λ

)

. Unlike previous work of this type, our method is based on the Nehari-Pohožaev manifold minimization, which allows to control the $$L^{2}$$

L
2

norm of the groundstates.
Psychologische und neurologische Gründe für Cybercrime
Authors: Ellmann Mathias 
Published: April 2023

ZusammenfassungIn diesem Artikel übertragen wir psychologische und neurologische Erkenntnisse und Strömungen zur Gesellschaft und Kriminalität auf Cybercrime. Wie ziehen Theorien aus der forensischen Psychologie, Kindheit und Erziehung und Autismus heran und bringen sie in Beziehung mit den Erkenntnissen aktueller kriminologischer Forschung am Bundeskriminalamt (BKA) oder des Kriminologischen Forschungsinstitut Niedersachsen e. V.. Der prozentuale Anteil von Taten zu Cybercrime im Innenbereich ist 40–70 %. Die Kenntnis von psychologischen und neurologischen Erkenntnissen und Strömungen, Kommunikation und Kommunikationsarten, das Erkennen von Lügen und Manipulation können Taten im Cybercrime wie Social Engineering oder Phishing, welche Innentäter:innen im Innenbereich von Unternehmen oder Behörden ausüben, verringern.
Macrozoobenthos of the Pechora Bay in 2020–2021 indicates a likely change of common bivalve molluscs in the Arctic estuary
Authors: Gebruk Anna , Dgebuadze Polina , Rogozhin Vladimir , Ermilova Yulia , Shabalin Nikolay , Mokievsky Vadim 
Published: April 2023

AbstractThe Pechora Bay is a hydrologically and ecologically important area of the Barents Sea but there are still gaps in our knowledge of biodiversity of the area, including macrozoobenthos. In the first half of the twentieth century, the Pechora Bay was noted as a type locality for the bivalve mollusc Portlandia aestuariorum. Only a few surveys of macrozoobenthos have been conducted since and the last work from this area indicated the absence of P. aestuariorum. In this paper, we described macrozoobenthos and hydrological conditions of the bay based on the data collected in field campaigns in 2020–2021. All estuarine stations corresponded to a monodominant community of Macoma balthica poor in biomass (27.29 ± 20.82 g m−2) and species richness (33 species of macrozoobenthos recorded from 10 stations). The seaward most station was occupied by a marine assemblage of macrozoobenthos dominated by polychaetes Nephtys longosetosa and Cistenides hyperborea. Macrozoobenthos of the bay forms an ecocline from estuarine to marine species along the gradient of salinity. No significant differences in macrobenthic abundance, biomass and species richness were found between the 2 years of sampling and described fauna corresponds well to communities sampled in 1990s. Portlandia aestuariorum was absent in all our samples, which supports the hypothesis of disappearance of this previously common bivalve mollusc from the area, but the question of the driver of the change in macrozoobenthos remains open and requires further investigation.