Results 91 to 100 of about 1,841 (205)
, 2016 . A variety of applications of Satisfiability Modulo Theories (SMT) require finding a satisfying assignment which optimizes some user-given function. Optimization in the context of SMT is referred to as Optimization Modulo Theories (OMT).
Er Nadel, Vadim Ryvchin, Alexander Nadel
core +1 more source
Eindrapport Annotatie Webarchief Groningen obv GTAA en OpenSKOS
, 2017 Binnen het NDE-project “Annotatie Webarchief Groningen obv GTAA en OpenSKOS” (november 2015-november 2016) is een praktische use case uitgewerkt, om meer inzicht te krijgen in wat er nodig is om een nationaal gedeeld termennetwerk op te zetten. Binnen dit project is de use case uitgewerkt waarbij de Onderwerps-as van de thesaurus van het Nederlands ...
openaire +2 more sources
Ecology and Evolution, Volume 16, Issue 1, January 2026.We investigate the effect of previous mating opportunities with con‐ and heterospecifics on the subsequent mating decisions of male Lygaeus simulans seed bugs. We found that males were less likely to copulate with both con‐ and heterospecific females if they had previously encountered a heterospecific female, and more likely to copulate with ...
Vicki L. Balfour +3 more
wiley +1 more source
A strategic sequential, integrated, sustainable organisation-stakeholder relationship (SISOSR) model for building stakeholder partnerships : a corporate communication perspective [PDF]
, 2012 English with abstract in English and AfrikaansA dominant focus on organisational stakeholders is currently evident in both the literature and in practice since it is argued that the success of organisations is predominantly dependent on stakeholders ...
Slabbert, Yolandi
core +1 more source
Efficacy and Safety of Ombitasvir/Paritaprevir/Ritonavir ± Dasabuvir Regimen in Haemodialysis Patients With Hepatitis C Virus Infection: A Case Series [PDF]
, 2019 Uvod: Infekcija virusom hepatitisa C (HCV) česta je među bolesnicima na hemodijalizi (HD) i važan je uzrok morbiditeta i mortaliteta. Kod bolesnika s kroničnom bolesti bubrega (CKD), rizici za negativne ishode značajno su veći u pacijenata zaraženih HCV ...
Ljiljana Pašić +9 more
core +2 more sources
Desarrollo sostenible: de sus antecedentes a los ODMS, ODSS y OBV
Responsibility and SustainabilitySI
Vázquez Burguete, José Luis +5 more
openaire +4 more sources
Can the Cognitive Function Index identify cognitive impairment in Latin America?
Alzheimer's &Dementia, Volume 21, Issue S3, December 2025.Abstract Background The Cognitive Function Index (CFI) was developed to identify individuals with Subjective Cognitive Decline (SCD), which is defined by the self‐perception of cognitive impairment, not detected in neuropsychological tests. Limited research has been done with this tool in Latin America (LA).
Monica Sanches Yassuda +45 more
wiley +1 more source
Ombitasvir, Paritaprevir, Ritonavir, and Dasabuvir Mini-Tabs Plus Ribavirin for Children Aged 3–11 Years with Hepatitis C Genotype 1a [PDF]
, 2020 Introduction To assess the safety, efficacy, and pharmacokinetics of mini-tablet formulations of ombitasvir (OBV), paritaprevir (PTV), ritonavir, and dasabuvir (DSV) with or without ribavirin for 12 weeks in children infected with chronic hepatitis C ...
Jolley, Christopher D. +11 more
core +1 more source
Agronomy Journal, Volume 117, Issue 6, November/December 2025.Abstract Nitrogen (N) fertilizers have played a critical role in increasing crop yields, yet only about 48% of applied N is recovered by crops, with the remainder lost through leaching, volatilization, denitrification, immobilization, or runoff, posing environmental and agronomic concerns.
Arpita Sharma +9 more
wiley +1 more source
SME internationalization: How does the opportunity-based international entrepreneurial culture matter? [PDF]
, 2016 We employ the opportunity-based international entrepreneurial culture (IEC) comprehensive notion that draws upon the opportunity-based view (OBV). The OBV supports the idea that entrepreneurs mold the organizational behavior and characteristics of their ...
Plakoyiannaki, Emmanuella +7 more
core +1 more source