Relevant bibliographies by topics / Propositional Constants

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Propositional Constants'

Author: Grafiati
Published: 11 March 2023
Last updated: 19 July 2025

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Propositional Constants.'

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.

Journal articles on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
É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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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 ;
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Propositional Constants"

1

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
10

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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 of the logical constants all take the form of their elimination rule and for which soundness and completeness are established.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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 formula interpretation—whenever the existence predicate is expressible in the language.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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 champ de l’histoire sociale et culturelle, en prenant l’image comme un document historique, à la suite des propositions de Peter Burke. Les sources de référence sont principalement les éditions originales des œuvres analysées.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, which also provides a foundation for the chapters of this book. This framework is inspired by a praxeological perspective, which takes as its starting point the proposition that transitions do not simply exist but are constantly constituted through social practices and the interrelation of social discourses, institutional regulation, and individual processes of learning, education, and coping. After describing the doing transitions framework, this chapter provides a brief overview of the volume and its contributions, which are organized around three themes: institutions and organizations; times and normativities; and materialities, such as bodies, spaces, and artefacts.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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 explained a research about national identity in advertisements. Purwa’s and Mulyawan’s research focused on the structure to find the persuasive aspects, yet did not referr to the contextual aspects. Based on these previous studies, research on discourse analysis regarding the persuasive power of past advertisements hasn’t been studied. Also, the research on the discourse of Javanese-language advertisements published in the period before and the beginning of independence has never been done. Unlike today’s advertisements, the advertisements in the past show a different structure. This research focuses on the analysis of superstructures, readers’ attention propositions, and sociocultural contexts to explain the persuasive power of advertisement through the languages used ​​in Panjebar Semangat magazine published in 1935–1953; the period before and after independence. In the analysis, this research uses the discourse analysis approach; precisely on the theory of discourse of advertisement formulated by Leech and Bolen’s, and Fairclough’s theory is used to analyze the context in advertising. The results show that the persuasive power of advertisement present in the superstructure (headlines, signature lines, and illustrations) and microstructure of advertisement (the use of imperative and interrogative sentences). The advertisement also succeeds in reflecting the sociocultural state of the nation during the period before and after independence. Contextually, the advertisement managed to convey the sociocultural function which showed the Dutch influence was still highly attached to the period before independence. As for the period after independence, there was a national idea contained in the advertisement, which was seen from the elements of discourse in the advertisement. This study contributes to understanding the persuasive functions of utterances in Javanese-language advertisements and how the persuasive power of Javanese used in advertisements gets its perlocutionary effect, as well as to explain how the Javanese culture reflects on the elements of the advertisements.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Propositional Constants' for particular source types:
Journal articles
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!

To the bibliography