Bibliografías temáticas / Propositional Constants

Índice

  1. Artículos de revistas
  2. Tesis
  3. Libros
  4. Capítulos de libros
  5. Actas de conferencias
  6. Informes

Literatura académica sobre el tema "Propositional Constants"

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 las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Propositional Constants".

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.

Artículos de revistas sobre el tema "Propositional Constants"

1

Groote, Jan Friso. "Hiding propositional constants in BDDs." Formal Methods in System Design 8, no. 1 (1996): 91–96. http://dx.doi.org/10.1007/bf00121264.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

French, Rohan. "Denumerably Many Post-Complete Normal Modal Logics with Propositional Constants." Notre Dame Journal of Formal Logic 53, no. 4 (2012): 549–56. http://dx.doi.org/10.1215/00294527-1722746.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Soble, Alan. "Prolegomena to the Study of Love." Philosophies 8, no. 3 (2023): 44. http://dx.doi.org/10.3390/philosophies8030044.

Texto completo
Resumen
Consider this propositional function which includes the dyadic predicate “loves”: “X does not love Y unless Y loves X” (or “if Y does not love X”). This function may be treated in four ways. (1) If universally quantified, it states a (purported) conceptual truth about “love” or the nature or essence of love. Love is necessarily reciprocal. (2) If universally quantified, it may alternatively be a nomological generalization stating an empirical or factual truth about human nature, i.e., about a pattern of reciprocity that occurs among people who are independently identified as lovers. (3) If ins
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Ren, Xuanzhi. "Fullness and Decidability in Continuous Propositional Logic." Mathematics 10, no. 23 (2022): 4455. http://dx.doi.org/10.3390/math10234455.

Texto completo
Resumen
In this paper we consider general continuous propositional logics and prove some basic properties about them. First, we characterize full systems of continuous connectives of the form {¬,,f} where f is a unary connective. We also show that, in contrast to the classical propositional logic, a full system of continuous propositional logic cannot contain only one continuous connective. We then construct a closed full system of continuous connectives without any constants. Such a system does not have any tautologies. For the rest of the paper we consider the standard continuous propositional logic
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Pascucci, Matteo. "A Unified Semantics for a Family of Modal Logics with Propositional Constants." Logica Universalis 10, no. 1 (2015): 45–66. http://dx.doi.org/10.1007/s11787-015-0137-5.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Barendregt, Henk, Martin Bunder, and Wil Dekkers. "Systems of illative combinatory logic complete for first-order propositional and predicate calculus." Journal of Symbolic Logic 58, no. 3 (1993): 769–88. http://dx.doi.org/10.2307/2275096.

Texto completo
Resumen
AbstractIllative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. The paper considers systems of illative combinatory logic that are sound for first-order propositional and predicate calculus. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators or, in a more direct way, in which derivations are not translated. Both translations are closely related in a
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Hájek, Petr. "Computational complexity of t-norm based propositional fuzzy logics with rational truth constants." Fuzzy Sets and Systems 157, no. 5 (2006): 677–82. http://dx.doi.org/10.1016/j.fss.2005.12.008.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Beklemishev, Lev D. "Bimodal logics for extensions of arithmetical theories." Journal of Symbolic Logic 61, no. 1 (1996): 91–124. http://dx.doi.org/10.2307/2275600.

Texto completo
Resumen
AbstractWe characterize the bimodal provability logics for certain natural (classes of) pairs of recursively enumerable theories, mostly related to fragments of arithmetic. For example, we shall give axiomatizations, decision procedures, and introduce natural Kripke semantics for the provability logics of (IΔ0 + EXP, PRA); (PRA, IΣn); (IΣm, IΣn) for 1 ≤ m < n; (PA, ACA0); (ZFC, ZFC + CH); (ZFC, ZFC + ¬CH) etc. For the case of finitely axiomatized extensions of theories these results are extended to modal logics with propositional constants.
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Dekkers, Wil, Martin Bunder, and Henk Barendregt. "Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic." Journal of Symbolic Logic 63, no. 3 (1998): 869–90. http://dx.doi.org/10.2307/2586717.

Texto completo
Resumen
AbstractIllative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. In a preceding paper, [2], we considered 4 systems of illative combinatory logic that are sound for first order intuitionistic propositional and predicate logic. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators, or in a more direct way, in which derivations are not translated. Both tr
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Du, Guoping. "Parenthesis Notation." Journal of Research in Philosophy and History 5, no. 1 (2022): p44. http://dx.doi.org/10.22158/jrph.v5n1p44.

Texto completo
Resumen
The formal language of a logical system usually contains several types of symbols. In infix notation, two different kinds of symbols are used to construct compound formula and to indicate the order of combination. The logical constants such as Ø, Ú are used to construct compound formula, and auxiliary symbols such as ( ) are used to indicate the order of a combination. In Polish notation, there is no need for auxiliary symbols such as ( ), and only one class of symbols, N, C, K, etc., is used as a conjunction to make it function as a parenthesis. Contrary to Polish notation, a new parenthesis
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Tesis sobre el tema "Propositional Constants"

1

Rossignol, Antoine. "Proposition pour une nouvelle approche des relations différentielles linéaires à coefficients constants." Toulouse 3, 1997. http://www.theses.fr/1997TOU30117.

Texto completo
Resumen
Les equations differentielles lineaires a coefficients constants sont tres utilisees en physique. On les rencontre souvent sous la forme de relations differentielles de la forme q(y) = p(z). Si par exemple p(x) = 3x#2 - x + 1, p(z) = 3z" - z' + z. Pour obtenir y, appele signal de sortie, en fonction de z, signal d'entree, on utilise le plus souvent la transformation de laplace ou la theorie des distributions. Ces deux theories presentent des incovenients : manque de rigueur parfois dans la presentation pour la transformation de laplace, trop grand niveau d'abstraction pour les distributions. L
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Mai, Chanh-Trung. "Proposition, validation d’un modèle du seuil d’interface à partir des paramètres de formulation des bétons et calcul de la pression de pompage." Thesis, Cergy-Pontoise, 2015. http://www.theses.fr/2015CERG0788.

Texto completo
Resumen
Forte de nombreux avantages par rapport aux techniques traditionnelles, la technique de pompage est largement utilisée de nos jours dans le domaine du génie civil. Pour utiliser cette technique, le béton doit être considéré comme « pompable ». Les études précédentes ont toutes montré que la pompabilité d’un béton dépend des frottements à l’interface entre le béton et la paroi des tuyauteries (constante visqueuse et seuil d’interface). L’amélioration de la pompabilité (tout en gardant la stabilité, l’homogénéité et les caractéristiques mécaniques d’un béton) permettra de diminuer le temps de mi
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Sidi-Hida, Mouna. "L'adaptation cinématographie d'oeuvres littéraires françaises et l'enseignement du français au secondaire au Maroc : constats, enjeux et propositions." Thesis, Grenoble, 2012. http://www.theses.fr/2012GRENL031.

Texto completo
Resumen
Étudier les adaptations cinématographiques des œuvres littéraires françaises en classe de français, ouvre des perspectives didactiques intéressantes dans l'enseignement du français. Dans le cas du Maroc, cette expérience a permis la mise en œuvre d'un ensemble de séquences didactiques pour les classes du secondaire (collège et lycée). Les élèves ont appris à réévaluer la portée artistique et expressive de chaque art. Le travail introductif sur le cinéma, à travers l'adaptation cinématographique, a démontré aux élèves la complexité de ce langage artistique particulier. Par conséquent, le cinéma
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

El, Ajel El Ghazi. "Eléments pour une formation continue des maîtres bilingues au Maroc : constat diagnostique et propositions." Paris 3, 2000. http://www.theses.fr/2000PA030097.

Texto completo
Resumen
Le maroc est engage dans un projet de formation (continue) des enseignants du premier cycle de l'enseignement fondamental, plus particulierement de ceux exercant en zone rurale. L'aboutissement de ce projet est concretise par l'installation d'une structure d'encadrement multidimensionnelle : - encouragement a l'autoformation par l'edition d'ouvrages de vulgarisation (pour enseignants des classes a plusieurs niveaux et inspecteurs de circonscription) ; - lancement de projets educatifs et experimentation de nouvelles formes d'enseignement en compatibilite avec l'environnement socio-economique ;
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

BERTHELEMY, BIGOTTE FLORENCE, and JACKY BERTHELEMY. "La dependance chez les personnes agees hebergees en secteur social a roubaix et ses environs : constat actuel et propositions." Lille 2, 1990. http://www.theses.fr/1990LIL2M332.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

BELIN, PATRICK. "Diagnostic d'urgence et p. M. S. I. : analyse du rapport d'activite medicale 1993 du s.m.u.r. du c.h. de saint-dizier ; constats, discussion et propositions." Reims, 1994. http://www.theses.fr/1994REIMM014.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

PASCUCCI, Matteo. "Modal logics with propositional constants." Doctoral thesis, 2016. http://hdl.handle.net/11562/944281.

Texto completo
Resumen
Questa dissertazione cerca di fornire un trattamento unificato delle costanti proposizionali in logica modale. I linguaggi arricchiti con costanti vengono usati almeno a partire dalla metà del secolo scorso, ma ancora non è stato fatto uno studio sistematico. Il principale contributo del mio lavoro consiste nello sviluppo di un approccio semantico basato su strutture con insiemi di interpretazioni possibili per le costanti proposizionali, chiamati restrizioni specifiche; tali strutture sono confrontate con quelle in cui ogni costante ha una interpretazione fissa, solitamente utilizzate nella l
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Seery, Annabelle. "Travail de reproduction sociale, travail rémunéré et mouvement des femmes : constats, perceptions et propositions des jeunes féministes québécoises." Mémoire, 2012. http://www.archipel.uqam.ca/5221/1/M12715.pdf.

Texto completo
Resumen
Le discours du mouvement des femmes québécois lie depuis plus de quarante ans émancipation des femmes et travail rémunéré. Malgré une présence accrue sur le marché du travail des femmes ayant de jeunes enfants et une implication plus grande des pères, les femmes demeurent les premières responsables du travail de reproduction sociale, travail dit « invisible » : soins aux enfants et aux proches-dépendants, tâches domestiques et organisation familiale. Le mémoire explore la vision qu'ont les jeunes féministes du travail de reproduction sociale et du travail rémunéré au Québec dans les années 201
Los estilos APA, Harvard, Vancouver, ISO, etc.

Libros sobre el tema "Propositional Constants"

1

BROYER, Jacques. RECONSTRUIRE L'ÉCOLE PRIMAIRE - Constats, analyses et propositions. Editions L'Harmattan, 2013.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Mubadiate, Buabua wa Kayembe. Traite de droit fiscal zaïrois: Constats et propositions sur les contributions et la douane. Presses universitaires du Zaïre, 1993.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Thélusma, Fortenel. L'enseignement-apprentissage du français en Haïti: Constats et propositions : quand les préjugés de l'institution scolaire projettent des reflets négatifs sur les bilingues. C3 Éditions, 2016.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Conseil supérieur de la marine marchande (France), Conseil national des communautés portuaires (France), and Assises nationales de la marine marchande et des ports maritimes (1994 : Saint-Malo, France, etc.), eds. Marine marchande et ports maritimes français: Constats, attentes, propositions : actes des assises nationales, Saint-Malo/Portsmouth, le Bretagne, 16-17 mai 1994. Editions de l'IFREMER, Centre de Brest, 1994.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

général, Mayotte Conseil. Débat de politique agricole: 7e session extraordinaire du Conseil général, 18 septembre 1991 : relevé des constats et propositions formulés au cours des ateliers préparatoires. République française, Mayotte, Représentation du gouvernement, Direction de l'agriculture, 1991.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Le calendrier scolaire en vigueur en Polynesie francaise: Constats et propositions. Conseil économique, social et culturel de Polynésie française, 2001.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Isett, Philip. Stress Terms Not Involving Solving the Divergence Equation. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691174822.003.0025.

Texto completo
Resumen
This chapter estimates the terms in the new stress that do not involve solving the divergence equation. These terms are the Mollification terms and the Stress term. Throughout the estimates, Bsubscript Greek Small Letter Lamda will be assumed to be some constant. After considering the Mollification term from the velocity, the chapter introduces a proposition stating that for k = 0, … , L, there exist constants Cₖ depending on Bsubscript Greek Small Letter Lamda. It then estimates the material derivative, highlighting wastefulness in the estimate, and discusses a commutator estimate suggesting
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Clarke, Katherine. Epilogue. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198820437.003.0008.

Texto completo
Resumen
This chapter recalls the way in which landscapes are constructed, both in literary terms and in physical terms by characters within Herodotus’ narrative. It explores some modern parallels, such as the Kerch bridge which will link Crimea to Russia, for the manipulation of landscape through monumental engineering works as a symbol of imperial ambitions. It suggests, therefore, that the narrative of Herodotus, with its subtle and differentiated presentation of man’s interaction with the natural world, especially in the context of imperial projects, and its underlying proposition that the map of e
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Idema, Wilt. Elite versus Popular Literature. Edited by Wiebke Denecke, Wai-Yee Li, and Xiaofei Tian. Oxford University Press, 2017. http://dx.doi.org/10.1093/oxfordhb/9780199356591.013.17.

Texto completo
Resumen
Ever since the May Fourth Movement of the 1920s, scholars of Chinese literary history have deployed a distinction between elite literature and popular literature, claiming that the “dead” elite literature was only revitalized by its constant borrowings from the language, subjects, and forms of popular literature. This chapter questions this simplistic binary, which depends on the exclusive identification of “the popular” with the vernacular and oral transmission, problematic propositions in both cases. It argues that the oral literature of the first millennium bce and the first millennium is i
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Isett, Philip. The Divergence Equation. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691174822.003.0006.

Texto completo
Resumen
This chapter introduces the divergence equation. A key ingredient in the proof of the Main Lemma for continuous solutions is to find special solutions to this divergence equation, which includes a smooth function and a smooth vector field on ³, plus an unknown, symmetric (2, 0) tensor. The chapter presents a proposition that takes into account a condition relating to the conservation of momentum as well as a condition that reflects Newton's law, which states that every action must have an equal and opposite reaction. This axiom, in turn, implies the conservation of momentum in classical mechan
Los estilos APA, Harvard, Vancouver, ISO, etc.

Capítulos de libros sobre el tema "Propositional Constants"

1

Guller, Dušan. "Hyperresolution for Propositional Product Logic with Truth Constants." In Studies in Computational Intelligence. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-99283-9_10.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Strohmaier, David, and Simon Wimmer. "Contrafactives and Learnability: An Experiment with Propositional Constants." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-43977-3_5.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Gheorghiu, Alexander V., Tao Gu, and David J. Pym. "Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-43513-3_20.

Texto completo
Resumen
AbstractThis work is the first exploration of proof-theoretic semantics for a substructural logic. It focuses on the base-extension semantics (B-eS) for intuitionistic multiplicative linear logic ($$\mathrm IMLL$$). The starting point is a review of Sandqvist’s B-eS for intuitionistic propositional logic (IPL), for which we propose an alternative treatment of conjunction that takes the form of the generalized elimination rule for the connective. The resulting semantics is shown to be sound and complete. This motivates our main contribution, a B-eS for $$\mathrm IMLL$$, in which the definitions
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Schlaudt, Oliver, and Mohsen Sakhri. "Calcul des propositions constantesa." In Louis Couturat -Traité de Logique algorithmique. Birkhäuser Basel, 2010. http://dx.doi.org/10.1007/978-3-0346-0411-6_11.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Johannsen, Jan. "Equational calculi and constant depth propositional proofs." In DIMACS Series in Discrete Mathematics and Theoretical Computer Science. American Mathematical Society, 1997. http://dx.doi.org/10.1090/dimacs/039/09.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Torlone, Francesca. "The Value Proposition of Organizations for Young Graduates and their Employability." In Employability & Competences. Firenze University Press, 2018. http://dx.doi.org/10.36253/978-88-6453-672-9.49.

Texto completo
Resumen
Certain young people are being propelled towards a more promising future than in the past, due to – amongst other things – continuous learning, which guarantees their productive capabilities. Employers are called upon to arrange a cogent value proposition to support young people in their constant growth that would also help them create an autonomous professional identity
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Lyon, Tim S., and Eugenio Orlandelli. "Nested Sequents for Quantified Modal Logics." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-43513-3_24.

Texto completo
Resumen
AbstractThis paper studies nested sequents for quantified modal logics. In particular, it considers extensions of the propositional modal logics definable by the axioms D, T, B, 4, and 5 with varying, increasing, decreasing, and constant domains. Each calculus is proved to have good structural properties: weakening and contraction are height-preserving admissible and cut is (syntactically) admissible. Each calculus is shown to be equivalent to the corresponding axiomatic system and, thus, to be sound and complete. Finally, it is argued that the calculi are internal—i.e., each sequent has a for
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Cantú, María Esther Pérez Salas. "La diffusion de l’image dans l’édition Curmer de Paul et Virginie et sa reproduction dans l’édition mexicaine." In Lire en Europe. Presses universitaires de Rennes, 2020. https://doi.org/10.4000/13zjy.

Texto completo
Resumen
L’essai analyse les illustrations de l’œuvre d’Henri Bernardin de Saint-Pierre Paul et Virginie publiée par Léon Curmer en 1838 et les compare avec l’édition mexicaine de José Mariano Fernández de Lara, parue en 1843. L’objectif est ici d’étudier ce que cette dernière édition conserve de la vision européenne de l’environnement et des personnages principaux du roman et ce qu’elle a modifié. On constate ainsi qu’une œuvre destinée à un lecteur européen, en l’occurrence français, peut générer une toute autre lecture des illustrations de l’autre côté de l’Atlantique. Ce travail s’inscrit dans le c
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Walther, Andreas, Barbara Stauber, and Richard A. Settersten. "“Doing Transitions”: A New Research Perspective." In Life Course Research and Social Policies. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-13512-5_1.

Texto completo
Resumen
AbstractLife courses and the transitions that mark them are highly complex phenomena of social reproduction. Past research has been driven by institutional actors and policymakers concerned with mitigating problems such as social disadvantage and risks of exclusion. It has tried to reduce complexity to make it easier to observe and measure the effects of transitions on individual life trajectories. This chapter joins several other recent attempts to better address the complexities of life course by introducing a new framework – Doing Transitions – for understanding life course transitions, whi
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Joyowidarbo, Diah Mardiningrum, Atin Fitriana, and Dwi Puspitorini. "The Persuasive Power of Advertisements: An Analysis of Structure and Context in Javanese in 1935–1953." In Engaging Indonesia. Springer Nature Singapore, 2024. http://dx.doi.org/10.1007/978-981-97-2336-2_11.

Texto completo
Resumen
AbstractAn advertisement is not only aimed to promote the content, but also shows the existence of other functions related to socioculture. The language of advertisement that is constantly heard will settle in the minds of the community. The research on advertisements has been conducted on many advertisements and in other languages as done by Wibisono, Mulyawan, Lubecka, Purwa, and Riani. Wibisono and Purwa conducted a research on advertisements under pragmatic analysis. On the other hand, Mulyawan and Riani explained the research on advertisements using discourse analysis, and Lubecka explain
Los estilos APA, Harvard, Vancouver, ISO, etc.

Actas de conferencias sobre el tema "Propositional Constants"

1

Chekchaki, Mourad, Christelle Gomes, Javier Alejandro Carreno, et al. "Procedure Proposition Using a Compact SENT Geometry for Fracture Toughness Assessment in Sour Environment." In CORROSION 2021. AMPP, 2021. https://doi.org/10.5006/c2021-16463.

Texto completo
Resumen
Abstract The DCB method is a crack arrest test, i.e., the specimen is self-loaded with a wedge and the constant displacement configuration makes the SIF decrease as the crack grows. Thus, KISSC provided from the DCB test could be different from the toughness of a cracked structure under a constant load scenario. The objective of this paper is to present a new experimental method using a compact Single Edge Notched Tension (SENT) specimen for assessing the SIF threshold for crack growth initiation. The test method provides the same framework as Method A of the NACE TM0177 standard. A numerical
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Kalchenko, Valeriya. "INFLUENCE OF MODERN MASS MEDIA ON MORAL AND SOCIAL COGNITION: HOW KREMLIN'S PROPAGANDA BECAME ONE OF THE MAIN CAUSES OF THE RUSSIA-UKRAINE WAR, 2014-2024." In 11th SWS International Scientific Conferences on SOCIAL SCIENCES - ISCSS 2024. SGEM WORLD SCIENCE, 2024. https://doi.org/10.35603/sws.iscss.2024/s07/41.

Texto completo
Resumen
Propaganda was historically a neutral descriptive term; it was used by playwrights in ancient Greece to express the act of promoting political and religious beliefs. In the 19th century, with the birth of the press, cinema and radio, propaganda transformed into a tool destined to shape people�s beliefs and behaviours. It is generally biased, misleading, or even false to promote a specific agenda or point of view. Especially in Europe, in the first half of the 20th century, propaganda was used by European dictatorial regimes: Nazism, Fascism and Communism for popular consensus building and poli
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Leofante, Francesco, Enrico Giunchiglia, Erika Ábráham, and Armando Tacchella. "Optimal Planning Modulo Theories." In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/571.

Texto completo
Resumen
We consider the problem of planning with arithmetic theories, and focus on generating optimal plans for numeric domains with constant and state-dependent action costs. Solving these problems efficiently requires a seamless integration between propositional and numeric reasoning. We propose a novel approach that leverages Optimization Modulo Theories (OMT) solvers to implement a domain-independent optimal theory-planner. We present a new encoding for optimal planning in this setting and we evaluate our approach using well-known, as well as new, numeric benchmarks.
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Blanc, Nathalie, and Jacques Lolive. "Politique des formes." In Paysages & valeurs : de la représentation à la simulation. Université de Limoges, 2008. http://dx.doi.org/10.25965/as.3474.

Texto completo
Resumen
La proposition que nous développons ici part d’un double constat : la prise en considération de critères esthétiques, notamment paysagers dans l’action publique et les mobilisations associatives ; l’importance du sentiment esthétique dans la relation à l’environnement. La politique des formes est une expérimentation politique qui vise à promouvoir une conception sensible de l’environnement exprimant un engagement corporel imaginatif et participatif avec la nature. Elle s’enracine dans l’expérience des habitants qui révèle la force et la richesse des attaches qui les relient à leurs milieux de
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Macasaet, Patrick. "Learning Frontiers: Concourse for Ideas." In 2019 ACSA Teachers Conference. ACSA Press, 2019. http://dx.doi.org/10.35483/acsa.teach.2019.13.

Texto completo
Resumen
Design studios are concourses for ideas. They are spatial arenas for learning and discovery that assemble and allow the formation of new knowledge and transcend existing comprehension. To enable it, students should be encouraged to constantly experiment, speculate, reimagine, critique and contribute within the agendas of the design studio whilst consistently engaged with the wider world of ideas, issues and concerns beyond studio walls. As educators and practitioner- academics, how can we curate learning environments that perform as design studio ‘think-tanks’ that simultaneously addresses the
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Kale, Pramod T., and Sukhwant S. Banwait. "An Investigation of Enterprise Resource Planning Implementation: Empirical Evidence From Indian Companies." In ASME 2010 International Mechanical Engineering Congress and Exposition. ASMEDC, 2010. http://dx.doi.org/10.1115/imece2010-38092.

Texto completo
Resumen
Due to globalization, there is tremendous demand on Indian companies to lower costs, enlarge product assortment, improve product quality, and provide reliable delivery dates through effective and efficient coordination of production and distribution activities. To achieve these conflicting goals, companies must constantly re-engineer or change their business practices and employ information systems like Enterprise Resource Planning (ERP). However, implementing ERP system is a difficult and high cost proposition. There are mixed results of success and failure in different companies. With a surv
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Huang, Wei, Weitao Du, and Richard Yi Da Xu. "On the Neural Tangent Kernel of Deep Networks with Orthogonal Initialization." In Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}. International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/ijcai.2021/355.

Texto completo
Resumen
The prevailing thinking is that orthogonal weights are crucial to enforcing dynamical isometry and speeding up training. The increase in learning speed that results from orthogonal initialization in linear networks has been well-proven. However, while the same is believed to also hold for nonlinear networks when the dynamical isometry condition is satisfied, the training dynamics behind this contention have not been thoroughly explored. In this work, we study the dynamics of ultra-wide networks across a range of architectures, including Fully Connected Networks (FCNs) and Convolutional Neural
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Maiorano, Massimo, and Enrico Sciubba. "Heat Exchangers Networks Synthesis and Optimisation Performed by an Exergy-Based Expert Assistant." In ASME 1999 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 1999. http://dx.doi.org/10.1115/imece1999-0851.

Texto completo
Resumen
Abstract This paper presents a novel method for the design of “optimal” (or quasi-optimal) HEN. The method consists of an Expert System (“ES”) based on a small number of powerful and strongly selective heuristic rules. The important contribution of this study does not lie in the formulation of the rules, that have been adapted from the existing literature, but in their expression as logical propositions, and in their subsequent implementation in a prototype ES that performs interactively with the user. It is not unusual to find chemical processes with as many as 100 interacting streams, and ev
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Cogan, Alexander I. "Discrimination between a smooth and jagged temporal edge." In OSA Annual Meeting. Optica Publishing Group, 1990. http://dx.doi.org/10.1364/oam.1990.ths5.

Texto completo
Resumen
When field luminance rises or falls quickly, the temporal course of the change must be difficult, if not impossible, for perception to follow. This proposition is formally rooted in the well-known studies of two-pulse interactions at threshold; it is supported by a study by Crawford that deals with spatially coextensive, suprathreshold luminance changes.1 The present experiment measured direction-reversal thresholds and assessed observers' sensitivities to a sharp alteration in the temporal course of a luminance change. Luminance was incremented or decremented uniformly over the entire extent
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Rodrigues, L. P., R. C. Silva, and A. B. S. Oliveira. "Multibody Dynamic Simulation of a Double ‘A’ Suspension Focusing on the Lower Control Arm Fatigue Life Analysis." In ASME 2017 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/imece2017-71779.

Texto completo
Resumen
A vehicle suspension subsystem consists of springs, shock absorbers and linkages, which attach to the wheels and chassis. The interaction between vehicle suspension and road generates dynamic forces in the suspension subsystem. In fact, vehicles travel at variable speed suffering a wide spectrum of vibrations and, usually, road profiles describe the roughness of the pavement surface, which represent their elevation as a function of a distance traveled or time. Consequently, suspension subsystem undergoes complex loading history that never reaches a level sufficient to cause failure in a single
Los estilos APA, Harvard, Vancouver, ISO, etc.

Informes sobre el tema "Propositional Constants"

1

Baader, Franz, Pavlos Marantidis, and Alexander Okhotin. Approximately Solving Set Equations. Technische Universität Dresden, 2016. http://dx.doi.org/10.25368/2022.227.

Texto completo
Resumen
Unification with constants modulo the theory ACUI of an associative (A), commutative (C) and idempotent (I) binary function symbol with a unit (U) corresponds to solving a very simple type of set equations. It is well-known that solvability of systems of such equations can be decided in polynomial time by reducing it to satisfiability of propositional Horn formulae. Here we introduce a modified version of this problem by no longer requiring all equations to be completely solved, but allowing for a certain number of violations of the equations. We introduce three different ways of counting the
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Thost, Veronika, Jan Holste, and Özgür Özçep. On Implementing Temporal Query Answering in DL-Lite. Technische Universität Dresden, 2015. http://dx.doi.org/10.25368/2022.218.

Texto completo
Resumen
Ontology-based data access augments classical query answering over fact bases by adopting the open-world assumption and by including domain knowledge provided by an ontology. We implemented temporal query answering w.r.t. ontologies formulated in the Description Logic DL-Lite. Focusing on temporal conjunctive queries (TCQs), which combine conjunctive queries via the operators of propositional linear temporal logic, we regard three approaches for answering them: an iterative algorithm that considers all data available; a window-based algorithm; and a rewriting approach, which translates the TCQ
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Chauhan, Priyanshi, and Ria Sinha. Bridging Perspectives: Innovative Finance Insights from India. Indian School Of Development Management, 2023. http://dx.doi.org/10.58178/2309.1026.

Texto completo
Resumen
This case study engages with the journey of Dhwani Rural Information Systems, a social enterprise that traces its earliest origins back to 2012. Founded by the duo of Sunandan Madan and Swapnil Aggarwal – engineers by training who met while studying for a postgraduate course at the Institute of Rural Management Anand (IRMA) – Dhwani since its inception has been trying to help a range of social sector organizations effectively integrate technology without disrupting the core ways in which these organizations work. Notably, it has been amongst one of the early enterprises in the sector which has
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Rao, Menaka, Shantanu Menon, and Kushagra Merchant. Dhwani Rural Information Systems: Bridgnig the Technological divide. Indian School Of Development Management, 2023. http://dx.doi.org/10.58178/2306.1025.

Texto completo
Resumen
This case study engages with the journey of Dhwani Rural Information Systems, a social enterprise that traces its earliest origins back to 2012. Founded by the duo of Sunandan Madan and Swapnil Aggarwal – engineers by training who met while studying for a postgraduate course at the Institute of Rural Management Anand (IRMA) – Dhwani since its inception has been trying to help a range of social sector organizations effectively integrate technology without disrupting the core ways in which these organizations work. Notably, it has been amongst one of the early enterprises in the sector which has
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Dudoit, Alain. Les espaces européens communs de données : une initiative structurante nécessaire et adaptable au Canada. CIRANO, 2023. http://dx.doi.org/10.54932/ryht5065.

Texto completo
Resumen
Le Rapport bourgogne, publié par le CIRANO en juillet 2023, préconise la création d'un espace commun de données dans le corridor commercial stratégique des Grands Lacs et du Saint-Laurent d'ici 2030. Cette proposition s’appuie notamment sur trois rapports distincts de politiques publiés en 2022 par le groupe de travail national sur la chaîne d’approvisionnement, le Conseil des ministres responsables des transports et de la sécurité routière (COMT) et le Comité permanent de la Chambre des communes sur les transports, l'infrastructure et les collectivités. Le constat posé et les recommandations
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías ampliadas sobre el tema "Propositional Constants" para tipos de fuentes particulares:
Artículos de revistas
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!

Pasar a la bibliografía