Results 141 to 150 of about 109,843 (305)

Assembly and reasoning over semantic mappings at scale for biomedical data integration. [PDF]

Bioinformatics
Hoyt CT, Karis K, Gyori BM.
europepmc   +1 more source

Ripples in the Pond: Product Portfolio Reconfiguration and Dynamism in the Competitive Environment

Journal of Management Studies, EarlyView.
Abstract The management literature often overlooks how firms can alter the competitive landscape without introducing groundbreaking changes or innovations. Applying the awareness, motivation, and capability framework from competitive dynamics, we posit that as a firm intensifies its product portfolio reconfiguration, its rivals become increasingly ...
Christopher Jung, Mark R. Mallon, Stav Fainshmidt   +2 more
wiley   +1 more source

SLICE (SMARTS and Logic In ChEmistry): fast generation of molecules using advanced chemical synthesis logic and modern coding style. [PDF]

J Cheminform
Ilemo SN, Delannée V, Grushin O, Judson P, Patel H, Nicklaus MC, Tarasova NI.   +6 more
europepmc   +1 more source

Logic-driven Indirect Supervision: An Application to Crisis Counseling. [PDF]

Proc Conf Assoc Comput Linguist Meet, 2023
Grespan MM, Broadbent M, Zhang X, Axford KE, Kious B, Imel Z, Srikumar V.   +6 more
europepmc   +1 more source

Investigating the Relationships Between Basic Emotions and the Big Five Personality Traits and Their Sub‐Traits

Journal of Personality, EarlyView.
ABSTRACT Introduction Most research investigating relationships between the Big Five and emotional states has focused on how emotional attributes relate to Extraversion and Neuroticism. However, the potential for discrete emotional states to enable a richer understanding of the emotive nature of all Big Five traits and their subtraits has been ...
Ryan Donovan, Aoife Johnson, Aine de Roiste, Ruairi O'Reilly   +3 more
wiley   +1 more source

Predicate abstraction for hyperliveness verification. [PDF]

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

Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models. [PDF]

Mach Learn
Ai L, Muggleton SH, Liang SS, Baldwin GS.   +3 more
europepmc   +1 more source

First-order logics with partial predicates for checking variable definedness

S.S. Shkilniak
openalex   +2 more sources

Alternation Hierarchies of First Order Logic with Regular Predicates

, 2015
Luc Dartois, Charles Paperman
openalex   +2 more sources

Information systems and digitization of traditional knowledge: Trends in cultural heritage and memory institutions and the WIPO Genetic Resources Treaty*

The Journal of World Intellectual Property, EarlyView.
Abstract Understanding the role of information communication technologies (ICTs) in development, especially in relation to marginalized populations, has been the focus of many related disciplinary categories within the broader ecosystem of information sciences.
Chidi Oguamanam
wiley   +1 more source