Results 181 to 190 of about 1,320,893 (348)

The complexity of theorem-proving procedures

Symposium on the Theory of Computing, 1971
S. Cook
semanticscholar   +1 more source

Semiclassical inequalities for Dirichlet and Neumann Laplacians on convex domains

Communications on Pure and Applied Mathematics, EarlyView.
Abstract We are interested in inequalities that bound the Riesz means of the eigenvalues of the Dirichlet and Neumann Laplacians in terms of their semiclassical counterpart. We show that the classical inequalities of Berezin–Li–Yau and Kröger, valid for Riesz exponents γ≥1$\gamma \ge 1$, extend to certain values γ<1$\gamma <1$, provided the underlying ...
Rupert L. Frank, Simon Larson
wiley   +1 more source

Projection or admittance? Presupposition accommodation and the Karttunen calculus. [PDF]

Linguist Philos
Winter Y.
europepmc   +1 more source

Formula Synthesis in Propositional Dynamic Logic with Shuffle

, 2022
Sophie Pinchinat, Sasha Rubin, François Schwarzentruber   +2 more
openalex   +2 more sources

Necessity Social Enterprises: Community Resilience Strategies of “Kitchen Rebellions”

Corporate Social Responsibility and Environmental Management, EarlyView.
ABSTRACT Entrepreneurship out of economic necessity—sometimes combined with addressing social and environmental challenges—is attracting growing attention. However, welfare states show a phenomenon unaccounted for in both necessity and social entrepreneurship literatures, conceptualized here as necessity social enterprise.
Sonia Vidal, Arno Kourula, Ans Kolk
wiley   +1 more source

A basic system of paraconsistent Nelsonian logic of conditionals. [PDF]

J Logic Lang Inf
Olkhovikov GK.
europepmc   +1 more source

Expertise and information: an epistemic logic perspective. [PDF]

Synthese, 2023
Singleton J, Booth R.
europepmc   +1 more source

Determinants of Social Impact Through Safety Culture in Technical Organizations

Corporate Social Responsibility and Environmental Management, EarlyView.
ABSTRACT The aim of the article is to show the results of research on whether safety culture is the social impact of technical organizations. It is important to fix determinants of social impact through safety culture in technical organizations. Positive safety culture is the result of consistent management actions aimed at both the inner workings of ...
Christian Schachtner, Adam Jabłoński, Marek Jabłoński   +2 more
wiley   +1 more source

Solving the coupled Gerdjikov-Ivanov equation via Riemann-Hilbert approach on the half line. [PDF]

Sci Rep
Hu J, Dong H, Zhang N.
europepmc   +1 more source

A logical analysis of null hypothesis significance testing using popular terminology. [PDF]

BMC Med Res Methodol, 2022
McNulty R.
europepmc   +1 more source