Results 161 to 170 of about 45,874 (260)

Peano: learning formal mathematical reasoning. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Poesia G, Goodman ND.
europepmc   +1 more source

Some undecidable theories with monadic predicates and without equality

Archiv für Mathematische Logik und Grundlagenforschung, 1981
openaire   +1 more source

Strategic positioning and accelerating regulatory clearance for new ventures

Strategic Management Journal, EarlyView.
Abstract Research Summary How do new ventures strategically position their products to accelerate regulatory clearance? We investigate this question in the medical device industry, where regulatory clearance is a prerequisite for market entry. We examine 239 new firms' 510(k) device clearances by the FDA between 2001 and 2019.
Emily Cox Pahnke, Tiona Zuzul, Michael Howard   +2 more
wiley   +1 more source

SQUiD: ultra-secure storage and analysis of genetic data for the advancement of precision medicine. [PDF]

Genome Biol
Blindenbach J, Kang J, Hong S, Karam C, Lehner T, Gürsoy G.   +5 more
europepmc   +1 more source

A Formalization of the Smith Normal Form in Higher-Order Logic. [PDF]

J Autom Reason, 2022
Divasón J, Thiemann R.
europepmc   +1 more source

Linguistic Variation across Instructional Segments in International Teaching Assistants' Discourse: A Corpus‐Based Analysis

TESOL Quarterly, EarlyView.
Abstract This study investigates internal linguistic variation in the instructional discourse of international teaching assistants (ITAs) by segmenting their mini‐lecture performances into four discourse types: introduction, lecture, conclusion, and audience interaction.
Heesun Chang, Hector Rivera
wiley   +1 more source

Triplétoile: Extraction of knowledge from microblogging text. [PDF]

Heliyon
Zavarella V, Consoli S, Reforgiato Recupero D, Fenu G, Angioni S, Buscaldi D, Dessí D, Osborne F.   +7 more
europepmc   +1 more source

The Export and Financial Effects of Immigrant Team Composition in International New Ventures

Thunderbird International Business Review, EarlyView.
ABSTRACT Immigrant‐owned international new ventures (INVs) often partner with non‐immigrant entrepreneurs as co‐owners. Their mixed immigrant‐nonimmigrant teams could engender varied perspectives. But it is unclear whether such cognitive diversity improves their international strategy and performance.
Horatio M. Morgan, Sui Sui
wiley   +1 more source

Understanding and Mitigating Bias From Artificial Intelligence in Otolaryngology: A State‐of‐the‐Art Review

World Journal of Otorhinolaryngology - Head and Neck Surgery, EarlyView.
ABSTRACT Objective To provide an overview of potential biases resulting from the utilization of artificial intelligence (AI) in otolaryngology and techniques to mitigate them. Data Sources Literature review and expert opinion. Conclusions AI promises to fundamentally transform medicine.
Matthew T. Ryan, David A. Gudis
wiley   +1 more source

A Neural Database for Answering Aggregate Queries on Incomplete Relational Data. [PDF]

IEEE Trans Knowl Data Eng
Zeighami S, Seshadri R, Shahabi C.
europepmc   +1 more source