Results 51 to 60 of about 1,711 (143)

One Theorem to Rule Them All: A Unified Translation of LTL into {\omega}-Automata

, 2018
We present a unified translation of LTL formulas into deterministic Rabin automata, limit-deterministic B\"uchi automata, and nondeterministic B\"uchi automata. The translations yield automata of asymptotically optimal size (double or single exponential,
Esparza, Javier, Kretinsky, Jan, Sickert, Salomon   +2 more
core   +1 more source

Identification of Antioxidant, Antimicrobial, and Cytotoxic Compounds From Hymenocardia acida Tul. Using Ultra‐High‐Performance Liquid Chromatography‐Quadrupole Exactive‐Orbitrap‐Mass Spectrometry and Molecular Networking Approach

Chemistry &Biodiversity, Volume 23, Issue 2, February 2026.
ABSTRACT Hymenocardia acida Tul. is a medicinal plant used in Angola to treat microbial diseases. It is a well‐known plant among local populations; however, few studies have focused on the assessment of phytochemicals associated with their biological activities.
Ntsoaki Joyce Malebo, Idah Tichaidza Manduna, Monizi Mawunu, Ramakwala Christinah Chokwe, Bafedile Tlhapi   +4 more
wiley   +1 more source

Persimmon carotenoid extract rich in β‐cryptoxanthin improves glucose homeostasis and reduces liver damage in high‐fat‐diet‐induced type 2 diabetic and metabolic dysfunction‐associated steatotic liver disease mice

Journal of the Science of Food and Agriculture, Volume 106, Issue 2, Page 1299-1313, 30 January 2026.
Abstract Background Persimmon (Diospyros kaki Thunb.) byproducts are a remarkable source of bioactive compounds, particularly carotenoids. Several studies suggest that carotenoids have beneficial effects in prevention of a large number of diseases. This study aims to highlight the effects of a persimmon carotenoid extract (PSCE) rich in β‐cryptoxanthin
Bryan Moreno‐Chamba, Nuria Martí, Antonio Cárdenas, María Soledad Fernández‐Pachón, Blanca Escudero‐López, Franz Martín, Julio Salazar‐Bermeo, Manuel Valero, Domingo Saura, María Concepción Martínez‐Madrid, Genoveva Berná   +10 more
wiley   +1 more source

Permutation Games for the Weakly Aconjunctive $\mu$-Calculus

, 2018
We introduce a natural notion of limit-deterministic parity automata and present a method that uses such automata to construct satisfiability games for the weakly aconjunctive fragment of the $\mu$-calculus.
Deifel, Hans-Peter, Hausmann, Daniel, Schröder, Lutz   +2 more
core   +2 more sources

Understanding Aqueous Processing of Positive Electrodes for Lithium Ion Batteries: Investigation of the Interaction Mechanism of LiNi0.8Mn0.1Co0.1O2 with Water via a D2O Treatment Approach

Advanced Energy and Sustainability Research, Volume 7, Issue 1, January 2026.
This study lays a foundation for using D2O as an isotopic tracer to elucidate the mechanism of interaction between water and positive electrode materials, with the case example of NMC811. Aqueous processing of nickel‐rich layered oxide active materials for positive electrodes, while attractive, possesses multiple obstacles not encountered when using ...
Joshua Engler, Alexandros Tsoufios, Martin Winter, Markus Börner, Simon Wiemers‐Meyer, Sascha Nowak   +5 more
wiley   +1 more source

New Quinoline Kinase Inhibitors With Good Selectivity for NAK Kinases and Anti‐Tumor Activity Against Ewing Sarcoma

Archiv der Pharmazie, Volume 359, Issue 1, January 2026.
Focusing on the discovery of new therapeutics for childhood cancer, novel quinoline derivatives were synthesized and demonstrated activity against Ewing sarcoma. A target search was performed against a panel of kinases, and the compounds showed selectivity for the NAK family, mainly GAK, which was confirmed by enzyme kinetic assays.
Caroline de Bem Gentz, Thais Helena Maciel Fernandes, Marcela Silva Lopes, Lewis Elson, Andreas Krämer, Lucas Rodrigo de Souza, Isadora Serraglio Fortes, Geórgia Silva Pinto, Martha Cestari Silva Martins, Henrique Barros de Lima, André da Silva Santiago, Lauro José Gregianin, Katlin Brauer Massirer, Mário Henrique Bengtson, Rafael Roesler, Stefan Knapp, Stefan A. Laufer, Saulo Fernandes de Andrade   +17 more
wiley   +1 more source

Green Innovation as Business Strategy in Small Manufacturing Businesses: Artificial Intelligence and Blockchain Effects

Business Strategy and the Environment, Volume 34, Issue 8, Page 10207-10219, December 2025.
ABSTRACT The advent of technologies has reshaped the world of business as we know it, and prompted companies of all sizes to innovate in an effort to keep up with the ever‐increasing demands and expectations of stakeholders. Several articles have explored the impact of innovation on the performance of businesses, yet little is known about the effects ...
Edoardo Crocco, Laura Broccardo, Nourah O. Alshaghdali, Vikram Kumar Sharma   +3 more
wiley   +1 more source

Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations

, 2014
We consider the synthesis of deterministic tree transducers from automaton definable specifications, given as binary relations, over finite trees.
Löding, Christof, Winter, Sarah
core   +2 more sources

Unlocking the Stabilization Potential of Tomato Pomace Particles: A Natural Bioactive Emulsifier for Oil‐in‐Water Pickering Emulsions

European Journal of Lipid Science and Technology, Volume 127, Issue 12, December 2025.
Tomato pomace powder stabilized oil‐in‐water Pickering emulsions through insoluble particle adsorption. Despite initial aqueous phase drainage, emulsions remained physically stable over 30 days. Particle size had little influence. The multi‐component nature of tomato pomace, combining insoluble and soluble fractions, supports its potential as a ...
Jeanne Kergomard, Bénédicte Bakan, Lucie Birault, Valérie Beaumal, Johnny Beaugrand, Florent Boissou, Julien Souquet‐Grumey, Anne Meynier, Claire Berton‐Carabin   +8 more
wiley   +1 more source

Urtica dioica From El Menzel (Morocco): Phytochemical Analysis, In Vivo and In Silico Evaluation of Analgesic and Anti‐Inflammatory Effects, and Toxicological Study With ADME Profiling

Food Science &Nutrition, Volume 13, Issue 12, December 2025.
The hydro‐ethanolic extract of Urtica dioica (yield 14.8%) contained 15 phenolics, mainly chlorogenic, caffeic, and p‐coumaric acids. The polyphenolic fraction (100 mg/kg, p.o.) significantly reduced acetic‐acid writhing (52%) and carrageenan‐induced edema (73%) without toxicity up to 4 g/kg.
Sara Tlemcani, Amal Lahkimi, Oussama Khibech, Amal Elrherabi, Mohamed Bouhrim, Fahd A. Nasr, Mohammed Al‐zharani, Ashraf Ahmed Qurtam, Meryem Doubi, Hicham Bekkari   +9 more
wiley   +1 more source