Log in

Relevant bibliographies by topics / Order-sorted theories / Journal articles

To see the other types of publications on this topic, follow the link: Order-sorted theories.

Journal articles on the topic 'Order-sorted theories'

Author: Grafiati

Published: 11 March 2023

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 35 journal articles for your research on the topic 'Order-sorted theories.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Lucas, Salvador, and Raúl Gutiérrez. "Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories." Journal of Automated Reasoning 60, no. 4 (2017): 465–501. http://dx.doi.org/10.1007/s10817-017-9419-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Alpuente, María, Angel Cuenca-Ortega, Santiago Escobar, and José Meseguer. "Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms*." Fundamenta Informaticae 177, no. 3-4 (2020): 297–329. http://dx.doi.org/10.3233/fi-2020-1991.

Full text

Abstract:

The Homeomorphic Embedding relation has been amply used for defining termination criteria of symbolic methods for program analysis, transformation, and verification. However, homeomorphic embedding has never been investigated in the context of order-sorted rewrite theories that support symbolic execution methods modulo equational axioms. This paper generalizes the symbolic homeomorphic embedding relation to order–sorted rewrite theories that may contain various combinations of associativity and/or commutativity axioms for different binary operators. We systematically measure the performance of

APA, Harvard, Vancouver, ISO, and other styles

3

Lucas, Salvador. "Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving." Electronic Proceedings in Theoretical Computer Science 200 (December 19, 2015): 32–47. http://dx.doi.org/10.4204/eptcs.200.3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Durán, Francisco, and José Meseguer. "On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories." Journal of Logic and Algebraic Programming 81, no. 7-8 (2012): 816–50. http://dx.doi.org/10.1016/j.jlap.2011.12.004.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Balogun, F., O. A. Wahab, and A. I. Isah. "Axiomatization multisets: a comparative analysis." Dutse Journal of Pure and Applied Sciences 9, no. 3b (2023): 155–63. http://dx.doi.org/10.4314/dujopas.v9i3b.17.

Full text

Abstract:

A multiset, unlike the classical set, allows for multiple instances of its elements. In this paper, we present a comparative analysis of theories on multisets. In particular, we examine, the first-order two-sorted multiset theory MST, and the single-sorted multiset theory MS that employs the same sort for multiplicities and the set they support. The logical strengths and significance of some axioms presented in these theories are investigated. The theory MST contains a copy of the Zermelo-Fraenkel set theory with the axiom of choice (ZFC) but is independent of ZFC. The single-sorted multiset t

APA, Harvard, Vancouver, ISO, and other styles

6

LIU, Fu-Chun. "Lawvere Theorem in Institution of Regular Order-Sorted Equational Logic and Initial (Terminal) Semantics for Its Glued Theories." Journal of Software 16, no. 7 (2005): 1205. http://dx.doi.org/10.1360/jos161205.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Faella, Marco, and Gennaro Parlato. "Reachability Games Modulo Theories with a Bounded Safety Player." Proceedings of the AAAI Conference on Artificial Intelligence 37, no. 5 (2023): 6330–37. http://dx.doi.org/10.1609/aaai.v37i5.25779.

Full text

Abstract:

Solving reachability games is a fundamental problem for the analysis, verification, and synthesis of reactive systems. We consider logical reachability games modulo theories (in short, GMTs), i.e., infinite-state games whose rules are defined by logical formulas over a multi-sorted first-order theory. Our games have an asymmetric constraint: the safety player has at most k possible moves from each game configuration, whereas the reachability player has no such limitation. Even though determining the winner of such a GMT is undecidable, it can be reduced to the well-studied problem of checking

APA, Harvard, Vancouver, ISO, and other styles

8

Decker, Valerie D., Philip D. Suman, Barb J. Burge, et al. "Analysis of Social Work Theory Progression Published in 2004." Advances in Social Work 8, no. 1 (2007): 81–103. http://dx.doi.org/10.18060/133.

Full text

Abstract:

The authors reviewed 67 articles that discussed and/or tested human behavior theories from social work journals published in 2004 in order to assess the level and quality of theory progression. The articles were further sorted into Council on Social Work Education (CSWE) Educational Policy and Accreditation Standards (EPAS) Foundation Curriculum content areas of HBSE, practice, policy, field education, values & ethics, diversity, populations-at-risk/social and economic justice, and research for purposes of categorization. Results indicated that HBSE and practice were by far the largest gro

APA, Harvard, Vancouver, ISO, and other styles

9

ALPUENTE, M., S. ESCOBAR, J. SAPIÑA, and A. CUENCA-ORTEGA. "Inspecting Maude variants withGLINTS." Theory and Practice of Logic Programming 17, no. 5-6 (2017): 689–707. http://dx.doi.org/10.1017/s147106841700031x.

Full text

Abstract:

AbstractThis paper introducesGLINTS, a graphical tool for exploring variant narrowing computations in Maude. The most recent version of Maude, version 2.7.1, provides quite sophisticated unification features, including order-sorted equational unification for convergent theories modulo axioms such as associativity, commutativity, and identity. This novel equational unification relies on built-in generation of the set ofvariantsof a termt, i.e., the canonical form oftσ for a computed substitution σ. Variant generation relies on a novel narrowing strategy calledfolding variant narrowingthat opens

APA, Harvard, Vancouver, ISO, and other styles

10

Liang, Wanying, and Ruei-Yuan Wang. "A Change Analysis of Land Use and Carbon Storage in Maoming Based on the InVEST Model and GIS." International Journal of Environment, Agriculture and Biotechnology 8, no. 4 (2023): 078–94. http://dx.doi.org/10.22161/ijeab.84.10.

Full text

Abstract:

With the increasing attention paid to ecological and environmental issues, the monitoring and exploration of carbon storage have become increasingly important in ecosystems, attracting numerous attentions from academia and industry. Based on the era background of "double carbon", this study first discussed and sorted out the relevant theories, analyzed the changes and characteristics of various categories in the study area based on land use data, and analyzed the spatial-temporal changes of carbon storages in Maoming City from 1980 to 2020 through transfer matrix and dynamic degree analysis an

APA, Harvard, Vancouver, ISO, and other styles

11

Krajíček, Jan. "Discretely ordered modules as a first-order extension of the cutting planes proof system." Journal of Symbolic Logic 63, no. 4 (1998): 1582–96. http://dx.doi.org/10.2307/2586668.

Full text

Abstract:

AbstractWe define a first-order extension LK(CP) of the cutting planes proof system CP as the first-order sequent calculus LK whose atomic formulas are CP-inequalities ∑i ai · xi ≥ b (xi's variables, ai's and b constants). We prove an interpolation theorem for LK(CP) yielding as a corollary a conditional lower bound for LK(CP)-proofs. For a subsystem R(CP) of LK(CP), essentially resolution working with clauses formed by CP-inequalities, we prove a monotone interpolation theorem obtaining thus an unconditional lower bound (depending on the maximum size of coefficients in proofs and on the maxim

APA, Harvard, Vancouver, ISO, and other styles

12

DIACONESCU, RĂZVAN, and ALEXANDRE MADEIRA. "Encoding hybridized institutions into first-order logic." Mathematical Structures in Computer Science 26, no. 5 (2014): 745–88. http://dx.doi.org/10.1017/s0960129514000383.

Full text

Abstract:

A ‘hybridization’ of a logic, referred to as the base logic, consists of developing the characteristic features of hybrid logic on top of the respective base logic, both at the level of syntax (i.e. modalities, nominals, etc.) and of the semantics (i.e. possible worlds). By ‘hybridized institutions’ we mean the result of this process when logics are treated abstractly as institutions (in the sense of the institution theory of Goguen and Burstall). This work develops encodings of hybridized institutions into (many-sorted) first-order logic (abbreviated $\mathcal{FOL}$) as a ‘hybridization’ proc

APA, Harvard, Vancouver, ISO, and other styles

13

Akkermans, Hans, Frank van Harmelen, Guus Schreiber, and Bob Wielinga. "A Formalization of Knowledge‐Level Models for Knowledge Acquisition." International Journal of Intelligent Systems 8, no. 2 (1993): 169–208. https://doi.org/10.1002/j.1098-111x.1993.tb00003.x.

Full text

Abstract:

This article defines second‐generation knowledge acquisition as a modeling activity that is knowledge‐level oriented. Knowledge‐level models of expert reasoning represent an important output of the knowledge‐acquisition process, since they describe, in a conceptual and implementation‐independent fashion, the different roles and types of knowledge required for a problem‐solving task. We argue that a formalization of such models enhances knowledge acquisition, and in particular the conceptualization phase, by rendering currently informal concepts and intuitions more precise, thus also contributi

APA, Harvard, Vancouver, ISO, and other styles

14

Wang, Qingsong, Hongkun Xiao, Qiao Ma, et al. "Review of Emergy Analysis and Life Cycle Assessment: Coupling Development Perspective." Sustainability 12, no. 1 (2020): 367. http://dx.doi.org/10.3390/su12010367.

Full text

Abstract:

Two methods of natural ecosystem assessment—emergy analysis (EMA) and life cycle assessment (LCA)—are reviewed in this paper. Their advantages, disadvantages, and application areas are summarized, and the similarities and differences between these two evaluation methods are analyzed respectively. Their research progress is also sorted out. The study finds that EMA and LCA share common attributes in evaluation processes and research fields, but they focus on different aspects of macrocosms and microcosms. The assessment of system sustainability is valued by both EMA and LCA, but the former has

APA, Harvard, Vancouver, ISO, and other styles

15

Chatzidakis, Zoé. "Properties of forking in ω-free pseudo-algebraically closed fields". Journal of Symbolic Logic 67, № 3 (2002): 957–96. http://dx.doi.org/10.2178/jsl/1190150143.

Full text

Abstract:

The study of pseudo-algebraically closed fields (henceforth called PAC) started with the work of J. Ax on finite and pseudo-finite fields [1]. He showed that the infinite models of the theory of finite fields are exactly the perfect PAC fields with absolute Galois group isomorphic to , and gave elementary invariants for their first order theory, thereby proving the decidability of the theory of finite fields. Ax's results were then extended to a larger class of PAC fields by M. Jarden and U. Kiehne [21], and Jarden [19]. The final word on theories of PAC fields was given by G. Cherlin, L. van

APA, Harvard, Vancouver, ISO, and other styles

16

Poiret, Josselin, Gaëtan Gilbert, Kenji Maillard, et al. "All Your Base Are Belong to Us: Sort Polymorphism for Proof Assistants." Proceedings of the ACM on Programming Languages 9, POPL (2025): 2253–81. https://doi.org/10.1145/3704912.

Full text

Abstract:

Proof assistants based on dependent type theory, such as Coq, Lean and Agda, use different universes to classify types, typically combining a predicative hierarchy of universes for computationally-relevant types, and an impredicative universe of proof-irrelevant propositions. In general, a universe is characterized by its sort, such as Type or Prop, and its level, in the case of a predicative sort. Recent research has also highlighted the potential of introducing more sorts in the type theory of the proof assistant as a structuring means to address the coexistence of different logical or compu

APA, Harvard, Vancouver, ISO, and other styles

17

Asrat, Dagnew. "The Practice and Challenges of Distributed Leadership at Some Selected Primary Schcools of Debark District: Ethiopia." British Journal of Education, Society & Behavioural Science 20, no. 3 (2017): 1–10. https://doi.org/10.9734/BJESBS/2017/32436.

Full text

Abstract:

The purpose of the study was to evaluate the extent to which leadership was distributed among employees in the five primary schools in Debark District. In order to achieve this purpose, survey research design was employed. Questionnaire were employed to gather quantitative data from teachers and school leadership. And qualitative data were collected from cluster supervisors and informal leaders through the use of interview and focused group discussion. To analyze the data both descriptive and inferential statistics were employed in the study. In addition, the interview and focused group discus

APA, Harvard, Vancouver, ISO, and other styles

18

Goguen, Joseph, and Răzvan Diaconescu. "An Oxford survey of order sorted algebra." Mathematical Structures in Computer Science 4, no. 3 (1994): 363–92. http://dx.doi.org/10.1017/s0960129500000517.

Full text

Abstract:

This paper surveys several different variants of order sorted algebra (abbreviated OSA), comparing some of the main approaches (overloaded OSA, universe OSA, unified algebra, term declaration algebra, etc.), emphasising motivation and intuitions, and pointing out features that distinguish the original ‘overloaded’ OSA approach from some later developments. These features include sort constraints and retracts; the latter is particularly useful for handling multiple data representations (including automatic coercions among them). Many examples are given, for most of which, runs are shown on the

APA, Harvard, Vancouver, ISO, and other styles

19

Yu, Yan, Ben Qianqian Liu, Jin-Xing Hao, and Chuanqi Wang. "Complicating or simplifying? Investigating the mixed impacts of online product information on consumers’ purchase decisions." Internet Research 30, no. 1 (2019): 263–87. http://dx.doi.org/10.1108/intr-05-2018-0247.

Full text

Abstract:

Purpose Prior literature indicates conflicting effects of online product information, which may complicate or simplify consumer purchase decisions. Therefore, the purpose of this paper is to investigate how different online product information (i.e. the choice set size and the popularity information and its presentation) affect consumers’ decision making and the related market outcomes. Design/methodology/approach This research relies on information-processing theories and social learning theory. By stepwise conducting two 2×2 within-subject factorial design experiments, this research examines

APA, Harvard, Vancouver, ISO, and other styles

20

Swaen, M. D. G. "The logic of first order intuitionistic type theory with weak sigma-elimination." Journal of Symbolic Logic 56, no. 2 (1991): 467–83. http://dx.doi.org/10.2307/2274694.

Full text

Abstract:

AbstractVia the formulas-as-types embedding certain extensions of Heyting Arithmetic can be represented in intuitionistic type theories. In this paper we discuss the embedding of ω-sorted Heyting Arithmetic HAω into a type theory WL, that can be described as Troelstra's system with so-called weak Σ-elimination rules. By syntactical means it is proved that a formula is derivable in HAω if and only if its corresponding type in WL is inhabited. Analogous results are proved for Diller's so-called restricted system and for a type theory based on predicate logic instead of arithmetic.

APA, Harvard, Vancouver, ISO, and other styles

21

Miller, Alison R., Ying Liang, and Gary Van Zant. "Stem Cell Aging Studies Reveal Changes in the Proteasome." Blood 106, no. 11 (2005): 4207. http://dx.doi.org/10.1182/blood.v106.11.4207.4207.

Full text

Abstract:

Abstract To investigate aging mechanisms in murine hematopoietic stem cells (HSCs), a microarray analysis was performed on sorted Lin-cKit+ Sca-1+ cells of young and old mice of two strains: long-lived C57B6L/6 (B6) and short-lived DBA/2 (D2). Following analysis by two-way ANOVA with a FDR of 5%, the data was organized using gene ontology software. The following age-related transcriptional changes were found to be of significance: increases in 20S (α and β) and 26S proteasome subunits, ribosomal proteins, mitochondrial enzymatic proteins, and carbohydrate metabolism, and a decrease in ubiquiti

APA, Harvard, Vancouver, ISO, and other styles

22

Wanyonyi, Kizito Simiyu, and Dominic Ngaba. "Digital Financial Services and Financial Performance of Savings and Credit Cooperative Societies in Kakamega County, Kenya." International Journal of Current Aspects in Finance, Banking and Accounting 3, no. 1 (2021): 9–20. http://dx.doi.org/10.35942/ijcfa.v3i1.177.

Full text

Abstract:

Savings and Credit Co-operative Societies (Saccos) in Kenya have realised a tremendous growth in the subsector and are investing huge amount of their scarce financial resources in digital technology to enhance services delivery and offer a wide variety of products and services range, increased membership mobilisation and size, ensure better structure and effective financial performance. Digital financial Services as used in the Saccos industry is as a result of Information Communication Technology revolution commonly referred to as digital commerce. Many Saccos are steadily changing from manua

APA, Harvard, Vancouver, ISO, and other styles

23

Geist, C., and U. Endriss. "Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects." Journal of Artificial Intelligence Research 40 (January 24, 2011): 143–74. http://dx.doi.org/10.1613/jair.3126.

Full text

Abstract:

We present a method for using standard techniques from satisfiability checking to automatically verify and discover theorems in an area of economic theory known as ranking sets of objects. The key question in this area, which has important applications in social choice theory and decision making under uncertainty, is how to extend an agent's preferences over a number of objects to a preference relation over nonempty sets of such objects. Certain combinations of seemingly natural principles for this kind of preference extension can result in logical inconsistencies, which has led to a number of

APA, Harvard, Vancouver, ISO, and other styles

24

Otto, Martin. "An Interpolation Theorem." Bulletin of Symbolic Logic 6, no. 4 (2000): 447–62. http://dx.doi.org/10.2307/420966.

Full text

Abstract:

AbstractLyndon's Interpolation Theorem asserts that for any valid implication between two purely relational sentences of first-order logic, there is an interpolant in which each relation symbol appears positively (negatively) only if it appears positively (negatively) in both the antecedent and the succedent of the given implication. We prove a similar, more general interpolation result with the additional requirement that, for some fixed tuple of unary predicates U, all formulae under consideration have all quantifiers explicitly relativised to one of the U. Under this stipulation, existentia

APA, Harvard, Vancouver, ISO, and other styles

25

Koch, Sebastian. "About Quotient Orders and Ordering Sequences." Formalized Mathematics 25, no. 2 (2017): 121–39. http://dx.doi.org/10.1515/forma-2017-0012.

Full text

Abstract:

Summary In preparation for the formalization in Mizar [4] of lotteries as given in [14], this article closes some gaps in the Mizar Mathematical Library (MML) regarding relational structures. The quotient order is introduced by the equivalence relation identifying two elements x, y of a preorder as equivalent if x ⩽ y and y ⩽ x. This concept is known (see e.g. chapter 5 of [19]) and was first introduced into the MML in [13] and that work is incorporated here. Furthermore given a set A, partition D of A and a finite-support function f : A → ℝ, a function Σf : D → ℝ, Σf (X)= ∑x∈X f(x) can be def

APA, Harvard, Vancouver, ISO, and other styles

26

Iovino, José. "On the maximality of logics with approximations." Journal of Symbolic Logic 66, no. 4 (2001): 1909–18. http://dx.doi.org/10.2307/2694984.

Full text

Abstract:

In this paper we analyze some aspects of the question of using methods from model theory to study structures of functional analysis.By a well known result of P. Lindström, one cannot extend the expressive power of first order logic and yet preserve its most outstanding model theoretic characteristics (e.g., compactness and the Löwenheim-Skolem theorem). However, one may consider extending the scope of first order in a different sense, specifically, by expanding the class of structures that are regarded as models (e.g., including Banach algebras or other structures of functional analysis), and

APA, Harvard, Vancouver, ISO, and other styles

27

Kachapova, Farida. "Multi-sorted version of second order arithmetic." Australasian Journal of Logic 13, no. 5 (2016). http://dx.doi.org/10.26686/ajl.v13i5.3936.

Full text

Abstract:

This paper describes axiomatic theories SA and SAR, which are versions of second order arithmetic with countably many sorts for sets of natural numbers. The theories are intended to be applied in reverse mathematics because their multi-sorted language allows to express some mathematical statements in more natural form than in the standard second order arithmetic. We study metamathematical properties of the theories SA, SAR and their fragments. We show that SA is mutually interpretable with the theory of arithmetical truth PATr obtained from the Peano arithmetic by adding infinitely many truth

APA, Harvard, Vancouver, ISO, and other styles

28

Durán, Francisco, and José Meseguer. "WITHDRAWN: On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories." Journal of Logic and Algebraic Programming, May 2012. http://dx.doi.org/10.1016/j.jlap.2012.03.012.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Calvanese, Diego, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin. "Combination of Uniform Interpolants via Beth Definability." Journal of Automated Reasoning, May 12, 2022. http://dx.doi.org/10.1007/s10817-022-09627-1.

Full text

Abstract:

AbstractUniform interpolants were largely studied in non-classical propositional logics since the nineties, and their connection to model completeness was pointed out in the literature. A successive parallel research line inside the automated reasoning community investigated uniform quantifier-free interpolants (sometimes referred to as “covers”) in first-order theories. In this paper, we investigate cover transfer to theory combinations in the disjoint signatures case. We prove that, for convex theories, cover algorithms can be transferred to theory combinations under the same hypothesis need

APA, Harvard, Vancouver, ISO, and other styles

30

Dias, Filipe S., Michael Betancourt, Patricia María Rodríguez-González, and Luís Borda-de-Água. "Analysing the distance decay of community similarity in river networks using Bayesian methods." Scientific Reports 11, no. 1 (2021). http://dx.doi.org/10.1038/s41598-021-01149-x.

Full text

Abstract:

AbstractThe distance decay of community similarity (DDCS) is a pattern that is widely observed in terrestrial and aquatic environments. Niche-based theories argue that species are sorted in space according to their ability to adapt to new environmental conditions. The ecological neutral theory argues that community similarity decays due to ecological drift. The continuum hypothesis provides an intermediate perspective between niche-based theories and the neutral theory, arguing that niche and neutral factors are at the opposite ends of a continuum that ranges from competitive to stochastic exc

APA, Harvard, Vancouver, ISO, and other styles

31

Zhang, Jian, Fenhua Zhou, Jinxia Jiang, Xia Duan, and Xin Yang. "Effective Teaching Behaviors of Clinical Nursing Teachers: A Qualitative Meta-Synthesis." Frontiers in Public Health 10 (April 28, 2022). http://dx.doi.org/10.3389/fpubh.2022.883204.

Full text

Abstract:

ObjectivesTo identify, appraise, and synthesize the available evidence exploring the effective teaching behaviors of clinical nursing teachers.DesignThe Joanna Briggs Institute (JBI) guidelines were followed, and a meta-synthesis was conducted.Review MethodsFollowing databases were searched for relevant qualitative studies published in English and reporting primary data analysis, including experiences and perceptions of nursing students: PubMed, EBSCOhost, OVID, etc. Qualitative Assessment and Review Instrument were used to pool the qualitative research findings. Through the repeated reading o

APA, Harvard, Vancouver, ISO, and other styles

32

Liu, Yucai. "Difficulties and Solutions of Intelligent Fitness Assistance Device to Help Students with Weak Physical Fitness." International Journal of Physical Activity and Health, February 2023. http://dx.doi.org/10.18122/ijpah.020141.boisestate.

Full text

Abstract:

Intelligent fitness assistance device is an intelligent (electromechanical or other power) assistance device. According to the actual situation of students with weak physical fitness, the device gives intelligent help. In order to reduce the difficulty of fitness and improve the fitness efficiency, this study introduced the relevant theories and technologies in the field of intelligent electromechanical into students' fitness. We collected and sorted out corresponding theories and technologies from the field of physical fitness and the field of intelligent electromechanical assistance, sought

APA, Harvard, Vancouver, ISO, and other styles

33

Correa Guerrero, Jose, Jorge Rico Fontalvo, Rodrigo Daza Arnedo, et al. "Acid-base imbalance: a review with proposed unified diagnostic algorithm." Revista Colombiana de Nefrología 7, no. 2 (2020). http://dx.doi.org/10.22265/acnef.7.2.497.

Full text

Abstract:

Background: Alterations in the acid-base balance are studied in all medical specialties. Although most cases derive from a preexisting pathology, they can also manifest themselves in a primary context. The proper identification of the acid-base disorder allows the pathological process to be characterized. The correct interpretation of the blood gasometry as a technique for monitoring the ventilatory status, oxygenation and acid-base balance of a patient requires the integration of various physicochemical approaches in order to specify a diagnosis, quantify a therapeutic response, and monitor t

APA, Harvard, Vancouver, ISO, and other styles

34

Kiekens, Anneleen, Bernadette Dierckx de Casterlé, Giampietro Pellizzer, et al. "Exploring the mechanisms behind HIV drug resistance in sub-Saharan Africa: conceptual mapping of a complex adaptive system based on multi-disciplinary expert insights." BMC Public Health 22, no. 1 (2022). http://dx.doi.org/10.1186/s12889-022-12738-4.

Full text

Abstract:

Abstract Background HIV drug resistance (HIVDR) continues to threaten the effectiveness of worldwide antiretroviral therapy (ART). Emergence and transmission of HIVDR are driven by several interconnected factors. Though much has been done to uncover factors influencing HIVDR, overall interconnectedness between these factors remains unclear and African policy makers encounter difficulties setting priorities combating HIVDR. By viewing HIVDR as a complex adaptive system, through the eyes of multi-disciplinary HIVDR experts, we aimed to make a first attempt to linking different influencing factor

APA, Harvard, Vancouver, ISO, and other styles

35

Al-Rawi, Ahmed, Carmen Celestini, Nicole Stewart, and Nathan Worku. "How Google Autocomplete Algorithms about Conspiracy Theorists Mislead the Public." M/C Journal 25, no. 1 (2022). http://dx.doi.org/10.5204/mcj.2852.

Full text

Abstract:

Introduction: Google Autocomplete Algorithms Despite recent attention to the impact of social media platforms on political discourse and public opinion, most people locate their news on search engines (Robertson et al.). When a user conducts a search, millions of outputs, in the form of videos, images, articles, and Websites are sorted to present the most relevant search predictions. Google, the most dominant search engine in the world, expanded its search index in 2009 to include the autocomplete function, which provides suggestions for query inputs (Dörr and Stephan). Google’s autocomplete f

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!