Results 41 to 50 of about 2,112 (254)

Computing transitive closures of hedge transformations [PDF]

International Journal of Critical Computer-Based Systems, 2007
We consider the framework of regular hedge model checking where configurations are represented by trees of arbitrary arities, sets of configurations are represented by regular hedge automata, and the dynamic of a system is modelled by a term rewriting system. We consider the problem of computing the transitive closure R*(L) of a hedge automaton L and a
openaire   +3 more sources

Implementation of the Hard‐Soft Acid‐Base Principle for the Direct Synthesis of Bimetallic Zirconium‐Nickel and Hafnium‐Nickel Metal‐Organic Frameworks with a Polar Pore Environment

Chemistry – A European Journal, Accepted Article.
An important direction in MOFs is the development of materials with well‐defined and ordered heterogeneity towards novel functionalities and control of important properties at the atomic scale. A great approach is the designed synthesis of mixed metal MOFs (M’MOFs) made of different building units, based on distinct metal cations.
Pantelis Trikalitis, Konstantinos G. Froudas, Giasemi K. Angeli   +2 more
wiley   +1 more source

Experimental and Theoretical Studies on Reaction Kinetics, Mechanism, and Degradation of Quinoline‐Based Herbicide with Hydroxyl Radical, Sulphate Radical Anion, and Hydrated Electron

ChemPhysChem, EarlyView.
Advanced oxidative process is commonly used for the degradation/removal of herbicides from soil/water bodies. It mostly involves oxidizing •OH and SO4•−$\text{SO}_{4}^{\cdot -}$ species. The present study involves an experimental and theoretical approach to explore kinetics, mechanism, and degradation pathways for 8–quinoline carboxylic acid (8QCA ...
Beena G. Singh, Hari P. Upadhyaya
wiley   +1 more source

Addressing Green Intellectual Capital in the Digital Era: A Network Perspective on EU Energy Small Medium Enterprises

Corporate Social Responsibility and Environmental Management, EarlyView.
ABSTRACT The Green Intellectual Capital (GIC) is a key competitive factor for European firms and an opportunity for EU sustainable development programs. Yet, existing research has not investigated the GIC of European small and medium enterprises (SMEs) in the energy sector.
Nuccio Ludovico, Laura Illia, Valerio Pellegrini, Franco Ruzzenenti   +3 more
wiley   +1 more source

“No One Told You Life Was Gonna Be This Way”: A Qualitative Exploration of Friendship Expectations and Reality in University Life

Journal of Adolescence, Volume 97, Issue 5, Page 1225-1235, July 2025.
ABSTRACT Introduction Young adulthood (ages 18–25) is a high‐risk period for loneliness, particularly during educational transitions. Loneliness has negative consequences for mental health, physical health, and educational achievement. Psychologists conceptualize loneliness as emerging from a discrepancy between expected and experienced social ...
Michael Priestley, Hannah Rachael Slack, Miss Madiha Islam, Delia Fuhrmann, Emily Long, Sarah Crook, Juliet Foster, Sophie Homer, Nicola Byrom   +8 more
wiley   +1 more source

On Tournament Inversion

Journal of Graph Theory, EarlyView.
ABSTRACT An inversion of a tournament T $T$ is obtained by reversing the direction of all edges with both endpoints in some set of vertices. Let inv k ( T ) ${\text{inv}}_{k}(T)$ be the minimum length of a sequence of inversions using sets of size at most k $k$ that result in the transitive tournament.
Raphael Yuster
wiley   +1 more source

High Performance Methods for Linked Open Data Connectivity Analytics

Information, 2018
The main objective of Linked Data is linking and integration, and a major step for evaluating whether this target has been reached, is to find all the connections among the Linked Open Data (LOD) Cloud datasets.
Michalis Mountantonakis, Yannis Tzitzikas   +1 more
doaj   +1 more source

Perov Fixed-Point Results on F-Contraction Mappings Equipped with Binary Relation

Mathematics, 2023
The purpose of this article is to discuss some new aspects of the vector-valued metric space. The idea of an arbitrary binary relation along with the well-known F contraction is used to demonstrate the existence of fixed points in the context of a ...
Fahim Ud Din, Muhammad Din, Umar Ishtiaq, Salvatore Sessa   +3 more
doaj   +1 more source

Recognizing Trees From Incomplete Decks

Journal of Graph Theory, EarlyView.
ABSTRACT Given a graph G $G$, the unlabeled subgraphs G − v $G-v$ are called the cards of G $G$. The deck of G $G$ is the multiset { G − v : v ∈ V ( G ) } $\{G-v:v\in V(G)\}$. Wendy Myrvold showed that a disconnected graph and a connected graph both on n $n$ vertices have at most ⌊ n 2 ⌋ + 1 $\lfloor \frac{n}{2}\rfloor +1$ cards in common and found ...
Gabriëlle Zwaneveld
wiley   +1 more source

Classes of automata and transitive closure

Information and Control, 1967
A study is made of the classes of predicates accepted by three types of multitape Turing machine. In order of decreasing acceptance powers, these are the general Turing machine, the linear-bounded automaton, and the two-way multitape nonwriting automaton.
openaire   +3 more sources