Results 41 to 50 of about 64,991 (246)

On Stronger Calculi for QBFs

open access: yes, 2016
Quantified Boolean formulas (QBFs) generalize propositional formulas by admitting quantifications over propositional variables. QBFs can be viewed as (restricted) formulas of first-order predicate logic and easy translations of QBFs into first-order ...
Egly, Uwe
core   +2 more sources

Leading With Contrast: How CEO Narcissism and Humility Shape Environmental Performance

open access: yesBusiness Strategy and the Environment, EarlyView.
ABSTRACT Firms face growing pressure to improve environmental performance, yet the psychological traits of CEOs remain an underexplored driver of sustainability outcomes. Building on paradox theory, this study investigates how the coexistence of humility and narcissism in CEOs shapes the environmental performance of European manufacturing firms.
Diletta Vianello   +2 more
wiley   +1 more source

A Michaelis‐Arbuzov‐Type Pathway to a Protected 2ʹ‐Deoxy‐2ʹ‐Selenomethyl‐Adenosine‐3ʹ,5ʹ‐Phosphoroselenolate Guanosine Dinucleotide for Use in Modified m7G Cap Synthesis

open access: yesChemistry – A European Journal, EarlyView.
Here we report a synthesis of the dinucleotide 4 for a projected future total synthesis of the m7G cap 1. Highlights of the route include: 1) a 3ʹ‐H‐phosphonate/5ʹ‐selenocyanate Michaelis‐Arbuzov coupling to forge the 3ʹ,5ʹ‐phosphoroselenolate; 2) an Amosova reductive selenomethylation to install the 2ʹ‐SeMe; 3) a solid CPR II 5ʹ‐O‐phosphitylation; and
K. Lawrence E. Hale   +2 more
wiley   +1 more source

Anticipation as prediction in the predication of data types [PDF]

open access: yes, 2009
Every object in existence has its type. Every subject in language has its predicate. Every intension in logic has its extension. Each therefore has two levels but with the fundamental problem of the relationship between the two.
Heather, Michael, Rossiter, Nick
core  

Definability of groups in $\aleph_0$-stable metric structures [PDF]

open access: yes, 2009
We prove that in a continuous $\aleph_0$-stable theory every type-definable group is definable. The two main ingredients in the proof are: \begin{enumerate} \item Results concerning Morley ranks (i.e., Cantor-Bendixson ranks) from \cite{BenYaacov ...
Yaacov, Itaï Ben
core   +2 more sources

Do Institutions Make Street‐Level Bureaucrats Prosocial? Agent‐Based Evidence Shows That New Public Management Does Not

open access: yesEuropean Policy Analysis, EarlyView.
ABSTRACT Does street‐level bureaucrats' (SLBs) willingness to sacrifice their own self‐interests to meet the needs of their clients vary depending on their contexts? To date, it has been very challenging to empirically examine how SLBs who have different orientations toward social values might act in different institutional and administrative contexts.
Nissim Cohen, Teddy Lazebnik
wiley   +1 more source

Artificial intelligence in preclinical epilepsy research: Current state, potential, and challenges

open access: yesEpilepsia Open, EarlyView.
Abstract Preclinical translational epilepsy research uses animal models to better understand the mechanisms underlying epilepsy and its comorbidities, as well as to analyze and develop potential treatments that may mitigate this neurological disorder and its associated conditions. Artificial intelligence (AI) has emerged as a transformative tool across
Jesús Servando Medel‐Matus   +7 more
wiley   +1 more source

Improving the Characteristics of the Direct FOC Strategy in DFIG‐Based Wind Turbine Systems Using FOIDD and FOPD Controllers

open access: yesEnergy Science &Engineering, EarlyView.
This study presents a new control strategy for doubly fed induction generator (DFIG) wind turbine systems to overcome the limitations of traditional direct field control using proportional‐integral (DFOC‐PI) regulators, which are sensitive to coefficient changes and lead to low power quality.
Hamza Gasmi   +5 more
wiley   +1 more source

Service Work as Lived Experience: A Problematizing Review

open access: yesHuman Resource Management, EarlyView.
ABSTRACT Between employee burnout and growing recruitment challenges, a systemic crisis confronts the service industry. One reason lies in the scope of received human resource management (HRM) approaches, which often emphasize organizational performance metrics at the expense of the emotional, social, and material experiences of doing frontline service
Kushagra Bhatnagar   +2 more
wiley   +1 more source

Home - About - Disclaimer - Privacy