Results 21 to 30 of about 15,213 (102)

Computational and Machine‐Learning Studies of Ethylene Oligomerization

Carbon and Hydrogen, EarlyView.
This review focuses on recent advances in computational and machine‐learning studies of ethylene oligomerization, highlighting mainstream catalyst systems based on Co, Ta, Ti, Zr, and Hf, with particular emphasis on Fe‐ and Cr‐based catalysts and their controlling factors governing reactivity and LAO distribution.
Zhixin Qin, Zhihui Song, Heying Feng, Li Jin   +3 more
wiley   +1 more source

Grilliot's trick in Nonstandard Analysis

, 2017
The technique known as Grilliot's trick constitutes a template for explicitly defining the Turing jump functional $(\exists^2)$ in terms of a given effectively discontinuous type two functional. In this paper, we discuss the standard extensionality trick:
Sanders, Sam
core   +1 more source

Timing is everything: Expert opinion on researching epilepsy rhythms by the ILAE Task Force on Chronobiology

Epilepsia, EarlyView.
Abstract Recurrent seizures, the hallmark of epilepsy, are influenced by rhythms operating over multiple timescales. Chronobiology is the study of biological timing that aims to explain temporal patterns of events like seizures. Fueled by recent advances in genetics, computational modeling, and device engineering, the chronobiology of epilepsy is now a
Maxime O. Baud, Christophe Bernard, Birgit Frauscher, Philippa J. Karoly, Vikram R. Rao   +4 more
wiley   +1 more source

A highly accurate numerical method for solving boundary value problem of generalized Bagley‐Torvik equation

Mathematical Methods in the Applied Sciences, EarlyView.
A highly accurate numerical method is given for the solution of boundary value problem of generalized Bagley‐Torvik (BgT) equation with Caputo derivative of order 0<β<2$$ 0<\beta <2 $$ by using the collocation‐shooting method (C‐SM). The collocation solution is constructed in the space Sm+1(1)$$ {S}_{m+1}^{(1)} $$ as piecewise polynomials of degree at ...
Suzan Cival Buranay, Mtema James Chin, Nazim I. Mahmudov   +2 more
wiley   +1 more source

Changing a semantics: opportunism or courage?

, 2014
The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic.
A. Chagrov, A. Gil-Luezas, A. Mann, A. Mostowski, A. Pasztor, B. Davey, B. Ganter, B. Jónsson, B. ten Cate, D. Cantone, D. Gallin, D. Harel, D. Hilbert, D. Kozen, E. Bishop, E. Lopez-Escobar, G. Bezhanishvili, G. Sambin, H. Andréka, H. Andréka, H. Andréka, H. Andréka, H. Enderton, H.-D. Ebbinghaus, H.A. Priestley, H.A. Priestley, I. Walukiewicz, J. Akkanen, J. Barwise, J. Barwise, J. Barwise, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Hintikka, J. Madarász, J. Väänänen, J. Väänänen, J. Väänänen, K. Kunen, L. Csirmaz, L. Esakia, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Humberstone, L. Santocanale, L. Santocanale, M. Dunn, M. Dunn, M. Gehrke, M. Kracht, M. Manzano, M. Manzano, M.O. Rabin, N. Bezhanishvili, N. Bezhanishvili, N. Galatos, P. Blackburn, P. Hájek, R. Kaye, R. Montague, R.L. Vaught, S. Ambler, S. Feferman, S. Simpson, S.K. Thomason, T. Gergely, T. Hyttinen, V. Marra, V. Stebletsova, W. Blok, W. Holliday, W. Walkoe, Y. Venema, Y. Venema   +84 more
core   +1 more source

Optimising Wave Energy Plant Location Through Neutrosophic Multi‐Criteria Group Decision‐Making

CAAI Transactions on Intelligence Technology, EarlyView.
ABSTRACT The global shift towards sustainable energy has intensified research into renewable sources, particularly wave energy. Pakistan, with its long coastline, holds significant potential for wave energy development. However, identifying optimal locations for wave energy plants involves evaluating complex, multi‐faceted criteria.
Hafiz Muhammad Athar Farid, Ayesha Razzaq, Muhammad Riaz, Tapan Senapati, Sarbast Moslem   +4 more
wiley   +1 more source

Every countable model of set theory embeds into its own constructible universe

, 2014
The main theorem of this article is that every countable model of set theory M, including every well-founded model, is isomorphic to a submodel of its own constructible universe.
Aczel P., Enayat A., JOEL DAVID HAMKINS, Paris J. B.   +3 more
core   +2 more sources

Identification and Estimation of Large Network Games with Private Link Information

International Economic Review, EarlyView.
ABSTRACT We study the identification and estimation of large network games in which individuals choose continuous actions while holding private information about their links and payoffs. Extending the framework of Galeotti et al., we build a tractable empirical model of such network games and show that the parameters in individual payoffs are ...
Hülya Eraslan, Xun Tang
wiley   +1 more source

A Non‐Parametric Framework for Correlation Functions on Product Metric Spaces

International Statistical Review, EarlyView.
Summary We propose a non‐parametric framework for analysing data defined over products of metric spaces, a versatile class encountered in various fields. This framework accommodates non‐stationarity and seasonality and is applicable to both local and global domains, such as the Earth's surface, as well as domains evolving over linear time or time ...
Pier Giovanni Bissiri, Bernardo Nipoti, Emilio Porcu, Philip White   +3 more
wiley   +1 more source

Disclosure Benchmarking by Lawyers: Evidence From the IPO Setting

Journal of Business Finance &Accounting, EarlyView.
ABSTRACT Lawyers play an important advisory role in drafting financial reports, yet empirical evidence documenting the influence of external legal counsel on this process remains sparse. This study focuses on a specific aspect of lawyers’ drafting process: the practice of reviewing disclosures previously filed by other issuers—a practice termed ...
Michael Drake, Jeff McMullin, Kenneth Merkley, Chase Potter, John Treu   +4 more
wiley   +1 more source