Results 161 to 170 of about 88,869 (296)

Predicate abstraction for hyperliveness verification. [PDF]

Form Methods Syst Des
Beutner R, Finkbeiner B.
europepmc   +1 more source

Joint Estimation and Bandwidth Selection in Partially Parametric Models

Journal of Applied Econometrics, EarlyView.
ABSTRACT We propose a single‐step approach to estimating a model with both a known nonlinear parametric component and an unknown nonparametric component. We study the large sample behavior of a simultaneous optimization routine that estimates both the parameter vector of the parametric component and the bandwidth vector used to smooth the unknown ...
Daniel J. Henderson, Nadine McCloud, Christopher F. Parmeter   +2 more
wiley   +1 more source

Evaluating transparency in AI/ML model characteristics for FDA-reviewed medical devices. [PDF]

NPJ Digit Med
Mehta V, Komanduri A, Bhadouriya RS, Mehta V, Johnson MD, Shrestha P, Nikolov M, Jain B, Shah N, Schulman K.   +9 more
europepmc   +1 more source

Caste as a Social Kind

Journal of Applied Philosophy, EarlyView.
ABSTRACT Gender and race have received significant philosophical attention recently; they are the paradigm cases of social kinds in most philosophical accounts. I argue for the inclusion of caste as a social kind because it affects the lives of many people, and because it presents itself as an important test case for philosophers of social kinds.
Ajinkya Deshmukh
wiley   +1 more source

Quantum-safe hybrid key exchanges with KEM-based authentication. [PDF]

EPJ Quantum Technol
Battarbee C, Striecks C, Perret L, Ramacher S, Verhaeghe K.   +4 more
europepmc   +1 more source

Integrative Genomics Reveals Causal Pleiotropy and Therapeutic Opportunities at the Interface of Acute Pancreatitis and Infection

Journal of Hepato-Biliary-Pancreatic Sciences, EarlyView.
ABSTRACT Background Understanding the genetic links between acute pancreatitis (AP) and its infectious comorbidities is crucial for prognosis and therapy, yet remains underexplored. Methods We conducted a comprehensive post‐GWAS analysis using large‐scale summary statistics for AP and 16 infectious diseases. To pinpoint pleiotropic genes, we integrated
Bo Zou, Hao Jiang, Jingsheng Ruan, Daifeng Yang, Xing Chen, Shanshan Cai, Xinglin Yi   +6 more
wiley   +1 more source

Left Atrial Appendage Occlusion: Persistent Gaps. [PDF]

J Soc Cardiovasc Angiogr Interv
Gray WA.
europepmc   +1 more source

Mapping the Mistreatment Landscape: An Integrative Review and Reconciliation of Workplace Mistreatment Constructs

Journal of Organizational Behavior, EarlyView.
ABSTRACT As the literature on workplace mistreatment has grown, so too have the number of constructs proposed to represent distinctive forms of mistreatment. However, considerable disagreement exists surrounding whether these proposed constructs represent unique manifestations of workplace mistreatment or represent a single underlying phenomenon.
Lindsay Y. Dhanani, Sean M. Bogart
wiley   +1 more source

Lexical and grammatical arity-reduction: The case of reciprocity in Romance languages. [PDF]

Nat Lang Linguist Theory
Palmieri G, Basso R, Nieto I Bou J, Winter Y, Zwarts J.   +4 more
europepmc   +1 more source

Experimental Study on Polymer–Polymer Interfacial Thermal Resistance

Macromolecular Theory and Simulations, Volume 34, Issue 2, March 2025.
Interfacial thermal resistance (ITR) in polymer–polymer interfaces is experimentally measured in this paper by the multi‐layered bulk sample approach. Based on numerical simulation and experimental verification, new techniques of layer‐overlapping samples are developed.
Yinfeng Xia, Takushi Saito, Tatsuya Kawaguchi   +2 more
wiley   +1 more source