bluuebunny/crossref_metadata_2025_split huggingface dataset:
4D Printing of Butterfly Scale–Inspired Structures for Wide‐Angle Directional Liquid Transport
Authors: Liu Xiaojiang , Li Boyuan , Gu Zhongze , Zhou Kun 
Published: April 2023

AbstractUnidirectional liquid transport has been extensively explored for water/fog harvesting, electrochemical sensing, and desalination. However, current research mainly focuses on linear liquid transport (transport angle α = 0°), which exhibits hindered lateral liquid spreading and low unidirectional transport efficiency. Inspired by the wide‐angle (0° < α < 180°) liquid transport on butterfly wings, this work successfully achieves linear (α = 0°), wide‐angle, and even ultra‐wide‐angle (α = 180°) liquid transport by four‐dimensional (4D) printing of butterfly scale–inspired re‐entrant structures. These asymmetric re‐entrant structures can achieve unidirectional liquid transport, and their layout can control the Laplace pressure in the forward (structure‐tilting) and lateral directions to adjust the transport angle. Specifically, high transport efficiency and programmable forward/lateral transport paths are simultaneously achieved by the ultra‐wide‐angle transport, where liquid fills the lateral path before being transported forward. Moreover, the ultra‐wide‐angle transport is also validated in 3D space, which provides an innovative platform for advanced biochemical microreaction, large‐area evaporation, and self‐propelled oil–water separation.
Starch Fine Molecular Structure Is the Driving Factor for Starch Gelatinization Property in Both Wheat Flour and Wheat Dough
Authors: Li Cheng , Shao Shuaibo , Yang Chuantian , Li Enpeng 
Published: April 2023

AbstractThe thermal properties of dough are critical for eating and processing quality of wheat flour‐based products. Although the gelatinization properties of wheat starch or flour as affected by starch molecular structures have been investigated, it remains largely unexplored how starch structures determine the gelatinization properties of wheat dough. The gelatinization properties of 10 wheat flours and corresponding doughs with distinct starch fine molecular structures are thus investigated. A parabolic relationship is observed between amylose content and gelatinization temperatures of both wheat flour and dough. Amylopectin molecular size is positively correlated while amylose molecular size negatively correlates with gelatinization onset and peak temperatures of wheat flour. Amylose molecular size is negatively correlated with gelatinization temperatures of wheat dough. Possible mechanisms are further discussed. These results provided first associations between starch molecular structures and thermal properties of wheat dough, and their difference compared to those from wheat flour, which can help the food industry select suitable wheat varieties with improved dough quality.
The Uncertainties of the Topographical Density Variations in View of a Sub-Centimetre Geoid
Authors: Foroughi Ismael , Goli Mehdi , Pagiatakis Spiros , Ferguson Stephen , Vanicek Petr , Santos Marcelo , Sheng Michael 
Published: April 2023

AbstractWe estimate the uncertainty of the modelled geoid heights based on the standard deviations of the topographic mass density variation. We model the geoid using the one-step integration method considering mass density variations along with their associated error estimates to calculate the direct and indirect topographic density effects on the geoid heights in the Helmert space. We employ the UNB_TopoDensT_2v01 global lateral density model and its standard deviations and test our algorithms in the Auvergne test area, in central France. Our results show that the topographic mass density variations are currently known well enough to model the geoid with sub-centimetre internal error in topographically mild regions such as Auvergne.
Spatio-Spectral Assessment of Some Isotropic Polynomial Covariance Functions on the Sphere
Authors: Piretzidis Dimitrios , Kotsakis Christopher , Mertikas Stelios P. , Sideris Michael G. 
Published: April 2023

AbstractIn gravity field modeling, covariance functions are mainly associated with least squares collocation. Prior to the implementation of least squares collocation, the characteristics of the selected analytical covariance function need to be well understood. In this contribution, we study four polynomial covariance functions, i.e., the spherical, Askey,
$$C^{2}$$

C

2

-Wendland and
$$C^{4}$$

C

4

-Wendland models. All of them are defined on the sphere and correspond to isotropic, positive definite and compactly supported functions. We examine them in the spatial and spectral domains, and assess their characteristics, such as the correlation length, the curvature parameter, the spectral maximum and the spectral decay rate. We also provide analytical expressions and numerical estimates for these parameters.
Negotiating (through) the Skin: The Black Body, Pamphleteering, and African American Writing against Biological Exclusion
Authors: Klestil Matthias 
Published: April 2023

AbstractThis chapter turns to antebellum African American pamphlets, a part of the African American writing tradition generally understudied in comparison with the fugitive slave narrative. Considering the ways in which black pamphleteers dealt with the pressing task of tackling stereotypes and racialisms that sought to exclude the black body “biologically,” I demonstrate how their strategies of writing against this “biological exclusion” could also become a means for expressing environmental knowledge. While including seminal texts like David Walker’s “Appeal to the Colored Citizens of the World” (1829), this chapter primarily focuses on lesser-known pamphlets by Hosea Easton, John Lewis, and William Whipper. The readings draw attention to alternative lines within the pamphlet tradition and suggest its relevance for ecocriticism.
How Does Crime Fiction ‘talk politics’? Figures of Political Action in Contemporary French Crime Writing
Authors: Amir Lucie 
Published: April 2023

AbstractWhat can crime stories tell us about the imaginary of political commitment? In France as in other European countries, the connections between writers and radical left activists were a strong feature of 1980s and 1990s crime fiction, in the wake of Frenchnéo-polar. In contrast, twenty-first-century thrillers seem to be inhabited by disillusioned and disoriented cops, and undecided or fatal commitments. Rather than exploring political issues emerging from crime fiction, this chapter focuses on the representation of political attitudes themselves in contemporary French Noir, to better understand the role played by uncertainty and disarray in European political sensibilities. The analysis is based on a large corpus of French crime fiction, from the early 1970snéo-polarby Jean-Patrick Manchette, to the novels of Caryl Férey, Dominique Manotti, Frédéric Paulin and Olivier Norek.
On the Comparison of Discounted-Sum Automata with Multiple Discount Factors
Authors: Boker Udi , Hefetz Guy 
Published: April 2023

AbstractWe look into the problems of comparing nondeterministic discounted-sum automata on finite and infinite words. That is, the problems of checking for automata $${\mathcal {A}}$$
A
and $${\mathcal {B}}$$
B
whether or not it holds that for all words w, $${\mathcal {A}}(w)={\mathcal {B}}(w), {\mathcal {A}}(w)\le {\mathcal {B}}(w)$$

A
(
w
)
=
B
(
w
)
,
A
(
w
)
≤
B
(
w
)

, or $${\mathcal {A}}(w)<{\mathcal {B}}(w)$$

A
(
w
)
<
B
(
w
)

.These problems are known to be decidable when both automata have the same single integral discount factor, while decidability is open in all other settings: when the single discount factor is a non-integral rational; when each automaton can have multiple discount factors; and even when each has a single integral discount factor, but the two are different.We show that it is undecidable to compare discounted-sum automata with multiple discount factors, even if all are integrals, while it is decidable to compare them if each has a single, possibly different, integral discount factor. To this end, we also provide algorithms to check for given nondeterministic automaton $${\mathcal {N}}$$
N
and deterministic automaton $${\mathcal {D}}$$
D
, each with a single, possibly different, rational discount factor, whether or not $${\mathcal {N}}(w) = {\mathcal {D}}(w)$$

N
(
w
)
=
D
(
w
)

, $${\mathcal {N}}(w) \ge {\mathcal {D}}(w)$$

N
(
w
)
≥
D
(
w
)

, or $${\mathcal {N}}(w) > {\mathcal {D}}(w)$$

N
(
w
)
>
D
(
w
)

for all words w.
Deciding Contextual Equivalence of $$\nu $$-Calculus with Effectful Contexts
Authors: Hirschkoff Daniel , Jaber Guilhem , Prebet Enguerrand 
Published: April 2023

AbstractWe prove decidability for contextual equivalence of the$$\lambda \mu \nu $$λμν-calculus, that is the simply-typed call-by-value$$\lambda \mu $$λμ-calculus equipped with booleans and fresh name creation, with contexts taken in$$\lambda \mu _{\texttt{ref}}$$λμref, that is$$\lambda \mu \nu $$λμν-calculus extended with higher-order references.The proof exploits a labelled transition system capturing the interactions between$$\lambda \mu \nu $$λμνprograms and$$\lambda \mu _{\texttt{ref}}$$λμrefcontexts. The induced bisimulation equivalence is characterized as equality of certain trees, inspired by the work of Lassen. Since these trees are computable and finite, decidability follows. Bisimulation coincides also with trace equivalence, which in turn coincides with contextual equivalence.
A Higher-Order Language for Markov Kernels and Linear Operators
Authors: de Amorim Pedro H. Azevedo 
Published: April 2023

AbstractMuch work has been done to give semantics to probabilistic programming languages. In recent years, most of the semantics used to reason about probabilistic programs fall in two categories: semantics based on Markov kernels and semantics based on linear operators.Both styles of semantics have found numerous applications in reasoning about probabilistic programs, but they each have their strengths and weaknesses. Though it is believed that there is a connection between them there are no languages that can handle both styles of programming.In this work we address these questions by defining a two-level calculus and its categorical semantics which makes it possible to program with both kinds of semantics. From the logical side of things we see this language as an alternative resource interpretation of linear logic, where the resource being kept track of is sampling instead of variable use.
A Strict Constrained Superposition Calculus for Graphs
Authors: Echahed Rachid , Echenim Mnacho , Mhalla Mehdi , Peltier Nicolas 
Published: April 2023

AbstractWe propose a superposition-based proof procedure to reason on equational first order formulas defined over graphs. First, we introduce the considered graphs that are directed labeled graphs with lists of roots standing for pins or interfaces for replacements. Then the syntax and semantics of the considered logic are defined. The formulas at hand are clause sets built on equations and disequations on graphs. Afterwards, a sound and complete proof procedure is provided, and redundancy criteria are introduced to dismiss useless clauses and improve the efficiency of the procedure. In a first step, a set of inferences rules is provided in the case of uninterpreted labels. In a second step, the proposed rules are lifted to take into account labels defined as terms interpreted in some arbitrary theory. Particular formulas of interest are Horn clauses, for which stronger redundancy criteria can be devised. Essential differences with the usual term superposition calculus are emphasized.
The metric measure boundary of spaces with Ricci curvature bounded below
Authors: Bruè Elia , Mondino Andrea , Semola Daniele 
Published: April 2023

AbstractWe solve a conjecture raised by Kapovitch, Lytchak and Petrunin in [KLP21] by showing that the metric measure boundary is vanishing on any $${{\,\textrm{RCD}\,}}(K,N)$$

RCD

(
K
,
N
)

space $$(X,{\textsf{d}},{\mathscr {H}}^N)$$

(
X
,
d
,

H

N

)

without boundary. Our result, combined with [KLP21], settles an open question about the existence of infinite geodesics on Alexandrov spaces without boundary raised by Perelman and Petrunin in 1996.
Operative Behandlung des Torticollis muscularis congenitus
Authors: Ploeger Milena M. , Trillhaase Christoph , Rommelspacher Charlotte , Bornemann Rahel , Ossendorf Robert , Placzek Richard 
Published: April 2023

Zusammenfassung
Operationsziel
Operative Korrektur des Torticollis muscularis congenitus (TMC) mit triterminaler Tenotomie des M. sternocleidomastoideus (SCM) sowie postoperativer Behandlung in der Spiegel-Orthese.

Indikationen
Muskulär bedingter Torticollis im Rahmen einer Kontraktur des SCM, nach Versagen der konservativen Therapie ab dem 2. Lebensjahr.

Kontraindikationen
Torticollis im Rahmen einer ossären Anomalie oder aufgrund anderer muskulärer Kontrakturen

Operationstechnik
Durchtrennung des M. sternocleidomastoideus (SCM) am Ursprung und Ansatz (klavikulär und sternal) mit Resektion der Sehne von ca. 1 cm im Bereich des Ansatzes.

Weiterbehandlung
Postoperative Anlage der Spiegel-Orthese. Tragen der Orthese 24 h/Tag für die ersten 6 Wochen postoperativ, danach Tragen der Orthese 12 h/Tag für weitere 6 Wochen.

Ergebnisse
Operiert wurden n = 13 Patienten mit TMC. Das Follow-up betrug im Durchschnitt 25,7 Monate, bei 1 Patienten kam es nach 3 Jahren zu einem Rezidiv. Weder intra- noch postoperative Komplikationen wurden beobachtet.
Spatial extreme model for rainfall depth: application to the estimation of IDF curves in the Basque country
Authors: Mínguez R. , Herrera S. 
Published: April 2023

AbstractIntensity-duration-frequency (IDF) curves are commonly used in engineering practice for the hydraulic design of flood protection infrastructures and flood risk management. IDF curves are simple functions between the rainfall intensity, the timescale at which the rainfall process is studied, and the return period. This work proposes and tests a new methodological framework for the spatial analysis of extreme rainfall depth at different timescales, taking advantage of two different precipitation datasets: local observational and gridded products. On the one hand, the proposed method overcomes or reduces known issues related to observational datasets (missing data and short temporal coverage, outliers, systematic biases and inhomogeneities, etc.). On the other hand, it allows incorporating appropriately terrain dependencies on the spatial distribution of the extreme precipitation regime. Finally, it allows to estimate the IDF curves at regional level overcoming the deficiencies of the classical regional approaches commonly used in practice. The method has been tested to compute IDF curves all over the Basque Country, contrasting results with respect to local analyses. Results show the method robustness against outliers, missing data, systematic biases and short length time series. Moreover, since generalized extreme value (GEV)-parameters from daily gridded dataset are used as covariates, the proposed approach allows coherent spatial interpolation/extrapolation of IDF curves properly accounting for the influence of orographic factors. In addition, due to the current coexistence of local observations and gridded datasets at regional (e.g. The Alps), national (e.g. Spain, France, etc.) or international scale (e.g. E-OBS for Europe or Daymet for the United States of America), the proposed methodology has a wide range of applicability in order to fulfill the known gaps of the observational datasets and reduce the uncertainty related to analysis and characterization of the extreme precipitation regime.
Additive Grothendieck Pretopologies and Presentations of Tensor Categories
Authors: Coulembier Kevin 
Published: April 2023

AbstractWe study how tensor categories can be presented in terms of rigid monoidal categories and Grothendieck topologies and show that such presentations lead to strong universal properties. As the main tool in this study, we define a notion on preadditive categories which plays a role similar to (a generalisation of) the notion of a Grothendieck pretopology on an unenriched category. Each such additive pretopology defines an additive Grothendieck topology and suffices to define the sheaf category. This new notion also allows us to study the noetherian and subcanonical nature of additive topologies, to describe easily the join of a family of additive topologies and to identify useful universal properties of the sheaf category.
Eutrophic reservoir water suitability for irrigation in semi-arid region
Authors: Tadesse Kassahun Birhanu , Dinka Megersa Olumana 
Published: April 2023

AbstractEutrophication is a common problem for the dams situated within an urban or agricultural catchment with a high source of untreated plant nutrients. This can negatively affect the hydro ecosystem, recreational and other uses of water. On the other hand, such eutrophic dams could also be a rich source of nutrients for agricultural use. Thinking irrigation as an alternative means of eutrophic reservoir water management, water suitability for irrigation was investigated for Roodeplaat Dam, South Africa using physicochemical parameters recorded (1981–2017) at five sampling stations. Irrigation suitability was evaluated in terms of nutrient content, salinity, soil infiltration, and toxicity problems to irrigated plants. Plant nutrients: NH4_N, NO3_NO2_N, PO4_P, are within the normal range. But K is above the normal range for irrigation use and can cause nitrogen deficiency. The salinity of 0.44 dS/m was found within the normal range with none restriction for irrigation use. Na toxicity in terms of SAR and Cl toxicity was none for both surface and sprinkler irrigated plants. The pH value of 8.4 was within the normal range (6.5–8.4). Generally, the quality of the reservoir water was categorized under C2S1 (medium salinity and low sodium hazard). Irrigation water can cause slight to moderate soil infiltration problem. Therefore, eutrophic reservoirs can be a potential source of readily available nutrients for irrigation and, hence irrigation use can be considered as one of the remedial measures to decrease nutrient accumulation in the reservoir. The existing water conveyance system can be used to transport water to agricultural fields.
A reinforcement learning/ad-hoc planning and scheduling mechanism for flexible and sustainable manufacturing systems
Authors: Paraschos Panagiotis D. , Koulinas Georgios K. , Koulouriotis Dimitrios E. 
Published: April 2023

AbstractThe process scheduling is still considered a crucial subject for manufacturing industry, due to the ever-changing circumstances dictated by the nowadays product demand and customer trends. These conditions are often associated with increasing costs and energy consumption, considerably affecting the long-term sustainability of manufacturing plants. To mitigate that effect, one should create an effective strategy tailoring integrated operations and processes to the customer demand and trends faced by the nowadays industry. A well-known approach to this matter is the technologies introduced by manufacturing paradigms, e.g., Industry 4.0 and smart manufacturing. As suggested in literature, these technologies are capable of helping decision-makers by continuously gathering significant information about the state of machinery and manufactured goods. This information is thereafter utilized to identify weaknesses and strengths demonstrated within manufacturing plants. To this end, the present paper presents a process optimization framework implemented in a three-stage production line prone to systematic degradation faults. Aiming at strengthening profitability, the framework engages reinforcement learning with ad-hoc manufacturing/maintenance control in decision-making carried out in implemented machines. Simulation experiments showed improved process planning and inventory management enabling cost-effective green and sustainable manufacturing in manufacturing plants.
Immunotherapy for Metastatic Triple Negative Breast Cancer: Current Paradigm and Future Approaches
Authors: Geurts Veerle , Kok Marleen 
Published: April 2023

Opinion statementIn approximately 15–20% of the patients diagnosed with breast cancer, it comprises the triple negative (TN) subtype, which until recently lacked targets for specific treatments and is known for its aggressive clinical behavior in patients with metastatic disease. TNBC is considered the most immunogenic breast cancer subtype due to higher levels of tumor infiltrating lymphocytes (TILs), tumor mutational burden and PD-L1 expression, providing a rationale for immunotherapy. The addition of pembrolizumab to chemotherapy as first-line treatment resulted in significantly improved PFS and OS for PD-L1 positive mTNBC, leading to FDA approval. However, response rate of ICB in unselected patients is low. Ongoing (pre)clinical trials aim to further optimize ICB efficacy and widen its application beyond PD-L1 positive breast tumors. Novel immunomodulatory approaches to induce a more inflamed tumor microenvironment include dual checkpoint blockade, bispecific antibodies, immunocytokines, adoptive cell therapies, oncolytic viruses, and cancer vaccines. Preclinical data for these novel strategies seems promising, but solid clinical data to further support its application for mTNBC is awaited. Biomarkers capturing the degree of immunogenicity such as but not limited to TILs, CD8 T cell levels, and IFNg signatures could support deciding which therapeutic strategy is most appropriate for which patient. Given 1) the accumulating therapy options for patients with metastatic disease and 2) the heterogeneity of mTNBC from inflamed to immune-desert tumors, the challenge is to work towards immunomodulatory strategies for specific subgroups of patients with TNBC to enable personalized (immuno)therapy for patients with metastatic disease.
The paleo-synanthropic niche: a first attempt to define animal’s adaptation to a human-made micro-environment in the Late Pleistocene
Authors: Baumann Chris 
Published: April 2023

AbstractSynanthropic behavior, i.e., the behavior of wild animals that benefit from a shared ecology with humans, has existed long before the sedentarization of Homo sapiens during the Neolithic, around 10,000 years ago. This study describes and discusses the concept of an older animal-human relationship: paleo-synanthropic behavior and the associated paleo-synanthropic niche. Key features of this new niche are anthropogenic food waste from mobile hunter-gatherers as a stable food base for small opportunistic scavengers and a human-near environment safe from large predators. By linking the niche to human behavior rather than to a specific location or structure, this niche was accessible for a long time, even in the Late Pleistocene. Like modern synanthropic animals, members of the paleo-synanthropic niche experienced an increase in population density and a decrease in home range. This, in turn, made it easier for humans to capture these animals and use them as resources for meat, fur, or feathers, as seen in the zooarchaeological record of many European Late Pleistocene sites. As a disadvantage, diseases such as zoonoses may have spread more easily.