Results 101 to 110 of about 222,389 (210)

Three‐Dimensional Analytical Model of a Free‐Standing Square Rocking Column

Earthquake Engineering &Structural Dynamics, Volume 55, Issue 8, Page 1710-1727, 10 July 2026.
ABSTRACT A three‐dimensional analytical two‐degree‐of‐freedom (2DOF) model is developed to describe the bounded rocking response of free‐standing rigid square columns subjected to bidirectional seismic excitation. The formulation extends Housner's classical planar theory by deriving the full three‐dimensional equations of motion for a column ...
Dimitra Adamopoulou, Michalis F. Vassiliou   +1 more
wiley   +1 more source

Unveiling a blind fault between Mts. Sinabung and Sibayak in North Sumatra (Indonesia): insight from integrated analysis of seismicity and satellite data

Geoscience Letters
The earthquake swarms that occurred before Mt. Sinabung’s largest eruption on February 19, 2018, were concentrated between Mts. Sinabung and Sibayak at -1 to 5 km depth.
Erlangga Ibrahim Fattah, Asep Saepuloh, Andri Dian Nugraha, Idham Andri Kurniawan, Estu Kriswati, Atin Nur Aulia, Hikhmadhan Gultaf, Zahratunnisa Zahratunnisa, Ahmad Basuki   +8 more
doaj   +1 more source

An updated concept of the polarization index enables the integration of three intensity zones in one number and identifies polarized training in an extended definition range

Current Issues in Sport Science
Introduction Polarized endurance training is an important and frequently discussed training intensity distribution (TID). The polarized TID is described as the largest fraction of training time or sessions spent with low-intensity exercise in ...
Gunnar Treff, Judith Staudner, Xandro Bayer, Nikolaus Hautsch, Thorsten Möller, Philipp Petersen   +5 more
doaj   +1 more source

Arithmetic Solving in Z3

AbstractThe theory of arithmetic is integral to many uses of SMT solvers. Z3 has implemented native solvers for arithmetic reasoning since its first release. We present a full re-implementation of Z3’s original arithmetic solver. It is based on substantial experiences from user feedback, engineering and experimentation.
Nikolaj Bjørner, Lev Nachmanson
openaire   +1 more source

Sustainable Development and Social Inclusion: Efficiency Evidence From Spain and Policy Pathways for the SDGs

Business Strategy &Development, Volume 9, Issue 2, June 2026.
ABSTRACT This study examines how hospitality efficiency, sustainability and social inclusion are associated with the achievement of the Sustainable Development Goals (SDGs) in Spain's 17 autonomous communities (ACs) in 2023. Using non‐parametric efficiency analysis with bootstrap correction, quantile regression models, and Random Forest methods, an ...
José Solana‐Ibáñez, Manuel Caravaca‐Garratón, Antonio Soto‐Meca   +2 more
wiley   +1 more source

Scotogenic peccei-quinn and one-Higgs quark and lepton model with flavor symmetry

Nuclear Physics B
Implementing the Peccei-Quinn mechanism to enforce CP conservation in strong interactions with heavy dark quarks, a scotogenic model of quark masses with Z3×Z3 symmetry is discussed where there is only one Higgs doublet. A natural extension to the lepton
Ernest Ma
doaj   +1 more source

Peixe Zircon as a Quality Control Reference Material in U‐Pb Geochronology by LA‐ICP‐MS

Geostandards and Geoanalytical Research, Volume 50, Issue 2, Page 369-389, June 2026.
Key Points Peixe#0 zircon was characterised for U‐Pb geochronology using CA‐ID‐TIMS, SIMS and a long‐term LA‐ICP‐MS data set. The consistent results establish Peixe#0 as a reference material for U‐Pb quality control. Trace element heterogeneity requires careful, CL‐guided spot selection.
Margareth Sugano Navarro, Erica Martini Tonetto, Elson P. Oliveira, Mauricio Ibañez‐Mejia, Cristina Talavera, Neal J. McNaughton, Jacinta Enzweiler, Michael Wiedenbeck   +7 more
wiley   +1 more source

Phosphate starvation induces root cell‐type‐specific transcriptional responses and alternative splicing

New Phytologist, Volume 250, Issue 5, Page 3212-3229, June 2026.
Summary Phosphate (Pi) is an essential nutrient for plant growth, and understanding how Arabidopsis thaliana root cells respond to Pi deficiency is crucial to decipher whole plant responses. We perform high‐resolution transcriptomic profiling across five distinct root cell types, identifying differentially expressed genes (DEGs) and differential ...
Mary‐Paz González‐García, Mónica Lanza, Victoria Baca‐González, Estefano Bustillo‐Avendaño, Laura Serrano‐Ron, Sara González‐Bodi, Jose M. García‐Mina, Ángel M. Zamarreño, María Garnica, Miguel A. Moreno‐Risueno, Elena Caro, Juan C. del Pozo   +11 more
wiley   +1 more source

To What Extent Does ESG Performance Influence Board Engagement in Acquisition Activity?

Corporate Social Responsibility and Environmental Management, Volume 33, Issue 3, Page 3158-3174, May 2026.
ABSTRACT This study examines the relationship between boards and corporate acquisition activity. Specifically, we posit that boards with directors who have been politicians positively influence the propensity to pursue acquisitions and that ESG performance (divided into environmental, social, and governance scores) moderates this relationship.
Leticia Pérez‐Calero, Santiago Kopoboru Aguado, Gloria Cuevas‐Rodríguez, Jaime Guerrero Villegas, Pilar Giráldez‐Puig   +4 more
wiley   +1 more source

An ACL2s Interface to Z3

Electronic Proceedings in Theoretical Computer Science
We present Lisp-Z3, an extension to the ACL2s systems programming framework (ASPF) that supports the use of the Z3 satisfiability modulo theories (SMT) solver. Lisp-Z3 allows one to develop tools written using the full feature set of Common Lisp that can use both ACL2/s (either ACL2 or ACL2s) and Z3 as services, combining the power of SMT and ...
Walter, Andrew T., Manolios, Panagiotis
openaire   +2 more sources