Acceder

Bibliografías temáticas / Order-sorted theories / Artículos de revistas

Siga este enlace para ver otros tipos de publicaciones sobre el tema: Order-sorted theories.

Artículos de revistas sobre el tema "Order-sorted theories"

Autor: Grafiati

Publicado: 11 de marzo de 2023

Última modificación: 31 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 35 mejores artículos de revistas para su investigación sobre el tema "Order-sorted theories".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

24

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

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!