Relevant bibliographies by topics / Formal imperatice

Contents

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

Academic literature on the topic 'Formal imperatice'

Author: Grafiati
Published: 8 June 2024
Last updated: 31 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 'Formal imperatice.'

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 "Formal imperatice"

1

De Carvalho, Luiz Fernando, and Márcia Cristina De Brito Rumeu. "As construções imperativas de 2ª pessoa do singular no português brasileiro escrito dos séculos XIX e XX: rastros históricos do imperativo abrasileirado / The Imperative Constructions of the 2nd Person Singular in Brazilian Portuguese Written in the 19th and 20th Centuries: Historical Traces of the Brazilian Imperative." Caligrama: Revista de Estudos Românicos 27, no. 1 (2022): 150. http://dx.doi.org/10.17851/2238-3824.27.1.150-173.

Full text
Abstract:
O imperativo de 2a pessoa do singular manifesta-se no português brasileiropor formas verbais no indicativo (deixa) e no subjuntivo (deixe). Neste estudo, à luz dos princípios da sociolinguística histórica (ROMAINE, 1982 [2010]; HERNÁNDEZ-CAMPOY; CONDE SILVESTRE, 2012), a expressão variável do imperativo de 2a pessoa do singular é analisada a partir de cartas pessoais autógrafas, produzidas por brasileiros (mineiros), entre os séculos XIX e XX. Conduzidos pelo Programa GoldVarbX (SANKOFF, TAGLIAMONTE & SMITH, 2005) para a geração de índices percentuais e probabilísticos, identificamos não s
APA, Harvard, Vancouver, ISO, and other styles
2

AnderBois, Scott. "An illocutionary account of reportative evidentials in imperatives." Semantics and Linguistic Theory 27 (December 21, 2017): 459. http://dx.doi.org/10.3765/salt.v27i0.4172.

Full text
Abstract:
This paper provides a detailed analysis of reportative evidentials in imperative sentences, drawing on original fieldwork in Tagalog and Yucatec Maya. Previous literature presents two distinct views of such sentences, which we dub `imperative-by-proxy' and `neutral report' views. Based on a range of data across different sorts of imperatives uses in different sorts of contexts, we argue for a version of the `imperative-by-proxy' theory and proposal a formal analysis with theory of illocutionary updates.
APA, Harvard, Vancouver, ISO, and other styles
3

Kleiber, Judit, and Gábor Alberti. "Compositional analysis of interrogative imperatives in Hungarian." Linguistics Beyond and Within (LingBaW) 3 (December 30, 2017): 117–35. http://dx.doi.org/10.31743/lingbaw.5654.

Full text
Abstract:
The paper investigates utterances which combine imperative and interrogative elements in Hungarian. We intend to explore the scope of the hypothesis that the pragmatico-semantic content of mixed-type sentences can be obtained compositionally. We present four types of interrogative imperative. The imperative factor is indicated by subjunctive morphology on the verb. The interrogative character is represented by (1) rise-fall intonation which marks polar questions, (2) the discourse marker ugye expressing bias, (3) the particle vajon expressing self-reflection or hesitation, and (4) wavy intonat
APA, Harvard, Vancouver, ISO, and other styles
4

Klinger‐Vartabedian, Laurel C. "Formal group communication with older adults: A research imperative." Journal of Applied Communication Research 15, no. 1-2 (1987): 67–76. http://dx.doi.org/10.1080/00909888709365260.

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

Rodiyah, Aizatur, and Junal Junal. "KESANTUNAN BERBAHASA DALAM TUTURAN CERAMAH GUS IQDAM DAN IMPLIKASINYA TERHADAP PEMBELAJARAN." INDONESIA: Jurnal Pembelajaran Bahasa dan Sastra Indonesia 5, no. 2 (2024): 189. http://dx.doi.org/10.59562/indonesia.v5i2.61589.

Full text
Abstract:
This research aims to describe the formal form and pragmatic form of imperative in Gus Iqdam's speech. The method used in this research is descriptive with qualitative approach. The data source used in this research is Gus Iqdam's speech on social media. The data analysis used in this research is content analysis. The data that has been obtained in this study found imperative formal form and imperative pragmatic form. The types are transitive active imperative formal form, nontransitive active imperative formal form, passive imperative formal form, invitation imperative pragmatic form and proh
APA, Harvard, Vancouver, ISO, and other styles
6

Bernander, Rasmus. "On the “Atypical” Imperative Verb Form in Manda." Studia Orientalia Electronica 8, no. 3 (2020): 22–42. http://dx.doi.org/10.23993/store.69737.

Full text
Abstract:
This paper accounts for the atypical Imperative verb form found in Manda, a Bantu language spoken along the shores of Lake Nyasa in southern Tanzania. Unlike the vast majority of Bantu languages, Manda lacks a reflex of the so called “morphologically specialized” imperative. Instead, Imperatives (as well as other directives) are expressed with the suffixation of a marker of the form -ayi. Based on the form-meaning variation found both language-internally and in comparative data, this study reconstructs the functional and formal pathways of change leading to the highly unusual situation encount
APA, Harvard, Vancouver, ISO, and other styles
7

Chen, Yupin. "Children’s formal division of labor in requests." Pragmatics. Quarterly Publication of the International Pragmatics Association (IPrA) 23, no. 2 (2013): 215–41. http://dx.doi.org/10.1075/prag.23.2.02che.

Full text
Abstract:
This study aims to shed a light on children’s pragmatic development by examining Mandarin-speaking children’s requests in interactions with their parents. It is found that children between 24 and 36 months old appear to use various request forms, primarily with simple imperatives and WANT statements. A closer examination reveals that children prefer to use simple imperatives in activity-based interactions while both primary forms are found in unstructured daily conversations. The findings suggest that children’s preference for simple imperatives may be driven by their awareness of parents’ coo
APA, Harvard, Vancouver, ISO, and other styles
8

Coffey, Tom, Reiner Dojen, and Tomas Flanagan. "Formal verification: an imperative step in the design of security protocols." Computer Networks 43, no. 5 (2003): 601–18. http://dx.doi.org/10.1016/s1389-1286(03)00292-5.

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

Knoll, Carsten, Julius Fiedler, and Stefan Ecklebe. "Imperative Formal Knowledge Representation for Control Engineering: Examples from Lyapunov Theory." Machines 12, no. 3 (2024): 181. http://dx.doi.org/10.3390/machines12030181.

Full text
Abstract:
In this paper, we introduce a novel method to formally represent elements of control engineering knowledge in a suitable data structure. To this end, we first briefly review existing representation methods (RDF, OWL, Wikidata, ORKG). Based on this, we introduce our own approach: The Python-based imperative representation of knowledge (PyIRK) and its application to formulate the Ontology of Control Systems Engineering (OCSE). One of its main features is the possibility to represent the actual content of definitions and theorems as nodes and edges of a knowledge graph, which is demonstrated by s
APA, Harvard, Vancouver, ISO, and other styles
10

Flores, Karla Bianca, Sheena Marie Macabebe, Anna Marie Canono, and Dr. Helen Revalde. "Motor Skills Development among Kindergarten Learners Imperative for Formal School Readiness." Psychology and Education: A Multidisciplinary Journal 24, no. 9 (2024): 1054–64. https://doi.org/10.5281/zenodo.13692586.

Full text
Abstract:
Motor skills development plays an integral role in preparing kindergarten learners to be ready in a formal school setting. This research assessed the motor skills of kindergarten learners toward formal school readiness. It utilized quantitative descriptive correlational research design. The study was conducted in Bonbon Elementary School, Cebu City with 25 respondents.  A researcher-developed survey questionnaires were designed and utilized to gather the needed data. Employing weighted means to get the extent of readiness of the learners as perceived by the teachers and parents and an ind
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Formal imperatice"

1

Pérez, Ramírez Miguel. "Formal pragmatic model for imperatives interpretation." Thesis, University of Essex, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.268700.

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

Mohamed, Rafsandjani Hassani. "Les révisions constitutionnelles en Afrique et la limitation des mandats présidentiels. : Contribution à l'étude du pouvoir de révision." Electronic Thesis or Diss., Toulon, 2022. http://www.theses.fr/2022TOUL0147.

Full text
Abstract:
On constate une inflation des révisions constitutionnelles en Afrique qui touchent essentiellement la clause de limitation du nombre des mandats présidentiels. Les chefs d’État qui en sont à l’initiative cherchent à faciliter leur réélection. Ces velléités réformistes provoquent des crises politiques et sociales importantes. Pour les acteurs politiques, les organisations de la société civile ou encore les mouvements citoyens, la clause de limitation des mandats présidentiels est un élément fondamental des constitutions et ne peut pas, à ce titre, faire l’objet de révision constitutionnelle. Ce
APA, Harvard, Vancouver, ISO, and other styles
3

Fávaro, Gisela Sequini [UNESP]. "Estudo morfológico das formas verbais do modo imperativo nas Cantigas de Santa Maria." Universidade Estadual Paulista (UNESP), 2016. http://hdl.handle.net/11449/138946.

Full text
Abstract:
Submitted by Gisela Sequini Favaro null (gisela_favaro@hotmail.com) on 2016-06-01T17:58:00Z No. of bitstreams: 1 Tese_Gisela Favaro_Versão Definitiva.pdf: 3003890 bytes, checksum: 35a8459748fbaba79956c0ec731b068e (MD5)<br>Rejected by Ana Paula Grisoto (grisotoana@reitoria.unesp.br), reason: Solicitamos que realize uma nova submissão seguindo as orientações abaixo: Inserir a data de defesa na folha de aprovação. Corrija estas informações e realize uma nova submissão contendo o arquivo correto. Agradecemos a compreensão. on 2016-06-02T19:30:51Z (GMT)<br>Submitted by Gisela Sequini Fa
APA, Harvard, Vancouver, ISO, and other styles
4

Mallon, Ryan Peter Kingsley. "The Semantics, Formal Correctness and Implementation of History Variables in an Imperative Programming Language." Thesis, University of Canterbury. Computer Science and Software Engineering, 2006. http://hdl.handle.net/10092/1173.

Full text
Abstract:
Storing the history of objects in a program is a common task. Web browsers remember which websites we have visited, drawing programs maintain a list of the images we have modified recently and the undo button in a wordprocessor allows us to go back to a previous state of a document. Maintaining the history of an object in a program has traditionally required programmers either to write specific code for handling the historical data, or to use a library which supports history logging. We propose that maintaining the history of objects in a program could be simplified by providing suppor
APA, Harvard, Vancouver, ISO, and other styles
5

Favaro, Gisela Sequini. "Estudo morfológico das formas verbais do modo imperativo nas Cantigas de Santa Maria /." Araraquara, 2016. http://hdl.handle.net/11449/138946.

Full text
Abstract:
Acompanha CD-ROM com: Apêndice 2. Formas Verbais Imperativas Mapeadas - Apêndice 3. Ocorrências Mapeadas na 2.ps e 2.pp - Apêndice 4. Formas verbais mapeadas com pronomes clíticos<br>Orientador: Gladis Massini-Cagliari<br>Banca: José Sueli de Magalhães<br>Banca: Paulo Chagas de Souza<br>Banca: Cristina Martins Fargetti<br>Banca: Daniel Soares da Costa<br>Resumo: Este estudo objetiva realizar o mapeamento e a análise da estrutura morfológica no processo da flexão verbal das formas imperativas em Português Arcaico (PA), a partir das Cantigas de Santa Maria (CSM), com a finalidade de mostrar se a
APA, Harvard, Vancouver, ISO, and other styles
6

Cintra, Fernando Vogel. "A universalizabilidade lógico-ética na fundamentação do princípio jurídico da igualdade e da vinculatividade dos precedentes judiciais : contribuicao para uma interpretação kantiana da teoria do discurso prático racional geral." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2018. http://hdl.handle.net/10183/181187.

Full text
Abstract:
O objetivo principal da tese é examinar se, na filosofia prática de Immanuel Kant, estariam já contidas distintas variantes da ideia de universalizabilidade, mais especificamente as variantes de Richard Mervyn Hare, Kurt Baier, Marcus George Singer e Jürgen Habermas, com vistas a determinar se a teoria do discurso prático racional de Robert Alexy poderia ser designada como kantiana. O objetivo secundário da tese é examinar se a ideia de universalizabilidade, tal como desenvolvida na lógica formal e na ética de orientação kantiana, pode ser empregada com sucesso na fundamentação filosófica do p
APA, Harvard, Vancouver, ISO, and other styles
7

Costa, Rodrigo de Campos. "Formas de enfrentamento à criminalidade organizada." Pontifícia Universidade Católica de São Paulo, 2011. https://tede2.pucsp.br/handle/handle/5647.

Full text
Abstract:
Made available in DSpace on 2016-04-26T20:20:21Z (GMT). No. of bitstreams: 1 Rodrigo de Campos Costa.pdf: 1073563 bytes, checksum: 1b76a957a9efc81c59983f1b5391296d (MD5) Previous issue date: 2011-08-09<br>The purpose of this paper is to analyse Criminal Law in relation to the fight against organized crime. The evolution of Criminal Law was outlined, starting with the main penal schools and also with the dogmatic lines of thought, from Causalism to Functionalism. Considering the legal interest as Criminal Law's main objective, parameters based on constitutional values were established for its
APA, Harvard, Vancouver, ISO, and other styles
8

Braga, Henrique Santos. "Desaparecimento da flexão verbal como marca de tratamento no modo imperativo - um caso de variação e mudança no português brasileiro." Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/8/8142/tde-05012009-141440/.

Full text
Abstract:
A partir de um corpus composto por textos dramáticos, produzidos na região sudeste brasileira entre 1850 e 1975, nossa pesquisa se destina a estudar o uso que os falantes fizeram, ao longo desse período, das formas do singular do modo imperativo. A motivação para esse estudo se deve ao fato de que, em certas variantes do português brasileiro nas quais se trata o interlocutor primordialmente pelo pronome você, é já constatado um processo de variação entre a forma imperativa oriunda do indicativo associada ao tratamento em segunda pessoa do singular e a forma oriunda do subjuntivo tida como t
APA, Harvard, Vancouver, ISO, and other styles
9

CIANI, SCIOLLA JACOPO. "¿SEGNI DISTINTIVI E PUBBLICO DOMINIO: IL RUOLO DELL¿IMPERATIVO DI DISPONIBILITA¿ NELLA REGISTRAZIONE E NELLA TUTELA DEL MARCHIO¿." Doctoral thesis, Università degli Studi di Milano, 2016. http://hdl.handle.net/2434/351166.

Full text
Abstract:
La filosofia del diritto occidentale, mentre si è ampiamente preoccupata di indagare i fondamenti giustificativi dei diritti di proprietà intellettuale, raramente si è occupata di quelli del loro antagonista concettuale, ovvero del pubblico dominio. Lo scarso interesse manifestato dalla letteratura scientifica trova plausibile spiegazione nella concezione largamente diffusa che identifica il pubblico dominio nel concetto opposto e contrario di “proprietà”, finendo per cadere nell’equazione che considera una risorsa valorizzabile e meritevole di attenzione e tutela solo ciò che è appropriabil
APA, Harvard, Vancouver, ISO, and other styles
10

Savi, Neto Pedro Savi. "Educa??o e mem?ria do sofrimento em T. W. Adorno." Pontif?cia Universidade Cat?lica do Rio Grande do Sul, 2017. http://tede2.pucrs.br/tede2/handle/tede/7283.

Full text
Abstract:
Submitted by Caroline Xavier (caroline.xavier@pucrs.br) on 2017-05-18T17:40:17Z No. of bitstreams: 1 TES_PEDRO_SAVI_NETO_COMPLETO.pdf: 4757795 bytes, checksum: 749902895c149cf542941ae99bf9cf99 (MD5)<br>Made available in DSpace on 2017-05-18T17:40:17Z (GMT). No. of bitstreams: 1 TES_PEDRO_SAVI_NETO_COMPLETO.pdf: 4757795 bytes, checksum: 749902895c149cf542941ae99bf9cf99 (MD5) Previous issue date: 2017-02-24<br>Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES<br>Conselho Nacional de Pesquisa e Desenvolvimento Cient?fico e Tecnol?gico - CNPq<br>The present thesis aims at the a
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Formal imperatice"

1

Norris, Christopher. Derrida, Badiou, and the formal imperative. Continuum International Pub. Group, 2012.

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

O, Barclay Rebecca, and United States. National Aeronautics and Space Administration., eds. NASA/DOD aerospace knowledge diffusion research project.: A strategic imperative for improving U.S. competitiveness. National Aeronautics and Space Administration, 1998.

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

O, Barclay Rebecca, and United States. National Aeronautics and Space Administration., eds. NASA/DOD aerospace knowledge diffusion research project.: A strategic imperative for improving U.S. competitiveness. National Aeronautics and Space Administration, 1998.

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

Durakova, Irina, Larisa Matasova, Ekaterina Mayer, et al. Personnel management in Russia: reboot. Book 11. INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/2035498.

Full text
Abstract:
The monograph contains the results of research concerning, firstly, new ideas about employees and about human resource management in the context of a reset of the labor market and sanctions restrictions. In the context of these directions, the competition factor is considered as an imperative to reset the supply and demand of labor, the specifics of the modern psyche and existential reality, the role of human capital in the sustainable development of the corporation. Secondly, the actual role of continuing education as a basis for the competitiveness of workers in a period of economic instabil
APA, Harvard, Vancouver, ISO, and other styles
5

Norris, Christopher. Derrida, Badiou and the Formal Imperative. Continuum International Publishing Group, 2012. http://dx.doi.org/10.5040/9781350251816.

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

Derrida, Badiou, and the formal imperative. Continuum International Pub. Group, 2012.

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

Norris, Christopher. Derrida, Badiou and the Formal Imperative. Bloomsbury Publishing Plc, 2014.

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

Derrida, Badiou and the Formal Imperative. Bloomsbury Publishing Plc, 2012.

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

Sarvasy, Hannah S. Imperatives and commands in Nungon. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198803225.003.0011.

Full text
Abstract:
The two dedicated positive imperative paradigms of the Papuan language Nungon cover all subject person/number combinations. The Immediate Imperative and Delayed Imperative differ semantically, pragmatically, and formally. The Immediate Imperative demands immediate compliance, rings peremptorily, and shares morphology with the Counterfactual and medial verb Different-Subject marking. The Delayed Imperative anticipates delayed compliance and is polite; it may have originated through iconic vowel alteration of the Future Irrealis. The time distinction between the positive Immediate and Delayed Im
APA, Harvard, Vancouver, ISO, and other styles
10

de Vries, Lourens. The imperative paradigm of Korowai, a Greater Awyu language of West Papua. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198803225.003.0012.

Full text
Abstract:
The imperative paradigm of Korowai, a Papuan language of West Papua, is the richest independent verb paradigm of Korowai: it makes the same distinctions as all other independent verb paradigms but makes more distinctions in grammatical person: three grammatical persons rather than conflation of second and third person as in all other Korowai and Greater Awyu verb paradigms. This formal richness is matched by functional richness: imperatives are used in a typologically striking range of contexts, for example in bridging constructions (tail–head linkage), in the domain of inner states (through q
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Formal imperatice"

1

Lau, Kung-Kiu. "A Beginner’s Course on Reasoning About Imperative Programs." In Teaching Formal Methods. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30472-2_1.

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

Pirvulescu, Mihaela, and Yves Roberge. "Objects and the Structure of Imperatives." In Formal Perspectives on Romance Linguistics. John Benjamins Publishing Company, 1999. http://dx.doi.org/10.1075/cilt.185.16pir.

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

Fernández, Maribel, and Ian Mackie. "A Reversible Operational Semantics for Imperative Programming Languages." In Formal Methods and Software Engineering. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-63406-3_6.

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

Maingaud, Séverine, Vincent Balat, Richard Bubel, Reiner Hähnle, and Alexandre Miquel. "Specifying Imperative ML-Like Programs Using Dynamic Logic." In Formal Verification of Object-Oriented Software. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-18070-5_9.

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

Nikolić, Đurica, Corrado Priami, and Roberto Zunino. "A Rule-Based and Imperative Language for Biochemical Modeling and Simulation." In Software Engineering and Formal Methods. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33826-7_2.

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

Lamraoui, Si-Mohamed, and Shin Nakajima. "A Formula-Based Approach for Automatic Fault Localization of Imperative Programs." In Formal Methods and Software Engineering. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-11737-9_17.

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

Blazy, Sandrine, and Xavier Leroy. "Formal Verification of a Memory Model for C-Like Imperative Languages." In Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11576280_20.

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

Gomes, Leandro, Alexandre Madeira, Manisha Jain, and Luis S. Barbosa. "On the Generation of Equational Dynamic Logics for Weighted Imperative Programs." In Formal Methods and Software Engineering. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-32409-4_10.

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

Livingston, Paul. "Review of Christopher Norris, Derrida, Badiou and the Formal Imperative." In Speculations VI. punctum books, 2015. https://doi.org/10.21983/p3.0122.1.11.

Full text
Abstract:
Do “we” need, today, a rap-prochement between analytic and “continental” philosophy? If so, from what philosophical and critical imperatives does such a need arise, and to what kinds of actual problems, political and social as well as theoretical, should it respond? Might giving a critical response to contemporary social and political problems require remapping familiar division lines between the analytic and continental traditions, sometimes in ways that will initially appear surprising and unfamiliar to those convinced of the legitimacy of the old traditional boundaries? To what extent might
APA, Harvard, Vancouver, ISO, and other styles
10

Daudier, Dorian, Trinh Ngoc Quoc Bao, and Kazuhiro Ogata. "A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler." In Structured Object-Oriented Formal Language and Method. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-90104-6_13.

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

Conference papers on the topic "Formal imperatice"

1

OLIVEIRA, JESUS MAURO VIEIRA DE, ANDREA AMAZILES LOUSADA, BRUNO MAIA SORIANO LOUSADA, et al. ""Aplicação de Georreferenciamento em Desapropriações e Gerenciamento de Faixas de Domínio no DER/DF: Eficiência e Segurança Viária"." In Anais da 49ª Reunião Anual de Pavimentação - RAPv. Even3, 2024. http://dx.doi.org/10.29327/1430212.49-16.

Full text
Abstract:
Este artigo visa aprofundar o tema da relação entre a administração das faixas de domínio, os processos de desapropriação e o georreferenciamento, os quais são fundamentais para garantir a infraestrutura e a segurança viária. Inicialmente, abordaremos a definição e a importância das faixas de domínio dentro do contexto de um sistema rodoviário, destacando não apenas sua relevância, mas também a essencialidade de seu papel na preservação e na manutenção da infraestrutura de transporte, vital para o funcionamento adequado das vias. Posteriormente, exploraremos o processo de desapropriação de áre
APA, Harvard, Vancouver, ISO, and other styles
2

Gibbons, Hugh. "Declarative View of Imperative Programs." In 2nd Irish Workshop on Formal Methods. BCS Learning & Development, 1998. http://dx.doi.org/10.14236/ewic/fm1998.3.

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

Xu, Bo, Baojian Hua, and Ying Gao. "An imperative formal calculus for Java." In 2010 2nd International Conference on Future Computer and Communication. IEEE, 2010. http://dx.doi.org/10.1109/icfcc.2010.5497813.

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

Larraz, Daniel, Albert Oliveras, Enric Rodriguez-Carbonell, and Albert Rubio. "Proving termination of imperative programs using Max-SMT." In 2013 Formal Methods in Computer-Aided Design (FMCAD). IEEE, 2013. http://dx.doi.org/10.1109/fmcad.2013.6679413.

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

Sinn, Moritz, Florian Zuleger, and Helmut Veith. "Difference constraints: an adequate abstraction for complexity analysis of imperative programs." In 2015 Formal Methods in Computer-Aided Design (FMCAD). IEEE, 2015. http://dx.doi.org/10.1109/fmcad.2015.7542264.

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

Demongeot, Thomas, Julien Mallet, and Yves Le Traon. "Runtime verification of declassification for imperative programs: Formal foundations." In 2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009). IEEE, 2009. http://dx.doi.org/10.1109/crisis.2009.5411980.

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

Olsson, O., and A. Wallenburg. "Customised induction rules for proving correctness of imperative programs." In Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05). IEEE, 2005. http://dx.doi.org/10.1109/sefm.2005.15.

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

Gemünde, Mike, Jens Brandt, and Klaus Schneider. "A Formal Semantics of Clock Refinement in Imperative Synchronous Languages." In 2010 10th International Conference on Application of Concurrency to System Design. IEEE, 2010. http://dx.doi.org/10.1109/acsd.2010.25.

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

Gemunde, Mike, Jens Brandt, and Klaus Schneider. "Compilation of imperative synchronous programs with refined clocks." In 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010). IEEE, 2010. http://dx.doi.org/10.1109/memcod.2010.5558633.

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

Li, Xian, and Klaus Schneider. "Control-flow guided property directed reachability for imperative synchronous programs." In 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE). IEEE, 2016. http://dx.doi.org/10.1109/memcod.2016.7797742.

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

Reports on the topic "Formal imperatice"

1

Rosenfeld and Kiefner. L52270 Basics of Metal Fatigue in Natural Gas Pipeline Systems - A Primer for Gas Pipeline Operators. Pipeline Research Council International, Inc. (PRCI), 2004. http://dx.doi.org/10.55274/r0010154.

Full text
Abstract:
The natural gas pipeline industry is rapidly implementing comprehensive integrity management practices to meet the demands of new regulatory imperatives and public interests. These new demands require formal integrity management planning programs be developed and applied where pipeline failures could affect High Consequence Areas�. A formal integrity management plan (IMP) incorporates some process for identifying threats to a pipeline's integrity. Such threats come in many forms and are uniquely dependent on a wide range of attributes associated with an individual pipeline segment. Interest (o
APA, Harvard, Vancouver, ISO, and other styles
2

Canto, Patricia, ed. Marcos para la construcción de una gobernanza colaborativa. Universidad de Deusto, 2022. http://dx.doi.org/10.18543/fwjo3694.

Full text
Abstract:
La colaboración se ha convertido en un imperativo ante la complejidad y relevancia de los retos a los que se enfrenta la sociedad, y son cada vez más los gobiernos que están tratando de construir nuevas formas de gobernanza en el desarrollo de sus políticas y estrategias. Sobre la base de la experiencia en el acompañamiento a gobiernos regionales y locales durante más de una década a través de la investigación acción para el desarrollo territorial, este cuaderno identifica dimensiones clave en procesos de construcción de gobernanza colaborativa y propone una selección de marcos y preguntas par
APA, Harvard, Vancouver, ISO, and other styles
3

Pacheco Pinilla, Claudia Marcela, and Lina Shirley López Hernández. Técnicas de integración: fracciones parciales. Ediciones Universidad Cooperativa de Colombia, 2023. http://dx.doi.org/10.16925/gcnc.75.

Full text
Abstract:
El cálculo integral es una línea de las matemáticas que requiere la aplicación extensa de preconceptos matemáticos, lo cual constituye un punto de desafío para muchos estudiantes. Además, la integración de funciones se revela como una destreza indispensable para la implementación efectiva de diversos conceptos disciplinares en ingeniería. En consecuencia, resulta imperativo contar con una fundamentación adecuada y pertinente que respalde la aplicación de estos conocimientos en contextos específicos. Las fracciones parciales se presentan como una técnica de integración que abarca
APA, Harvard, Vancouver, ISO, and other styles
4

Paz, Santiago, Martina Bergues, and José Callero. Evolução das estratégias de segurança cibernética: análise do cenário regional e internacional. Inter-American Development Bank, 2024. http://dx.doi.org/10.18235/0013232.

Full text
Abstract:
Na era digital, a segurança cibernética tornou-se um imperativo estratégico para governos em todo o mundo. O crescente volume e sofisticação das ameaças cibernéticas destacaram a necessidade de estruturas de proteção robustas e coordenadas. Nesse contexto, as estratégias nacionais de cibersegurança surgem como instrumentos fundamentais para garantir a segurança e a resiliência do ciberespaço. O estudo incluiu a análise de 12 países com nível de maturidade avançado fora da região e sete países da América Latina e Caribe (de forma a contemplar a experiência regional na temática), totalizando uma
APA, Harvard, Vancouver, ISO, and other styles
5

Pexas, Georgios, Ilias Kyriazakis, and Bob Doherty. The Future of Animal Feed. Food Standards Agency, 2023. http://dx.doi.org/10.46756/sci.fsa.gzi586.

Full text
Abstract:
The feed-food competition for environmental and economic resources raises increasing concerns about the production and supply of protein for the global livestock sector. Risks to food-security and approaching deadlines for global sustainable development, means exploring the potential for alternative protein feeds is imperative. However, as the use of alternative feeds for livestock production is still at its infancy, it is critical that potential direct or indirect food safety risks are evaluated before implementation at commercial scales. This Rapid Evidence Assessment (REA) offers a lens tha
APA, Harvard, Vancouver, ISO, and other styles
6

Clement, Timothy, and Brett Vaughan. Evaluation of a mobile learning platform for clinical supervision. University of Melbourne, 2021. http://dx.doi.org/10.46580/124369.

Full text
Abstract:
Context: This report details a formative evaluation of the Clinical Supervision Online (CSO) course, a fee-paying, fully online ‘light touch’ program of study for clinical supervisors offered by the Melbourne Medical School, which was developed in conjunction with the University’s Mobile Learning Unit. The course requires between six to ten hours of self-directed study and is designed for any clinicians who teach. Methods: Evaluation of the course was guided by Rossi, Lipsey and Freeman’s (2004) approach to program evaluation, addressing the need for the course, its design, implementation, imp
APA, Harvard, Vancouver, ISO, and other styles
7

Gómez Patiño, Dilia Paola. Comunicación asertiva en la era digital y la innovación organizacional. Universidad Militar Nueva Granada, 2024. http://dx.doi.org/10.18359/cienab7550.

Full text
Abstract:
La inspiración a la acción en tiempos de interconexión precisa de la puesta en común de experiencias de éxito que el World Business Forum interpreta como un imperativo traducido en propósito a manera de eje central del WOBI BOG 2023, donde seis conferencias afirman su sentido en tiempos de hiperconexión. En consecuencia, el presente artículo busca reflexionar desde la comunicación asertiva sobre los contenidos allí desarrollados para dimensionar su alcance en la era digital, de innovación y liderazgo organizacional; en efecto, mediante el análisis en dos secciones, (i) materiales y métodos (ii
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Formal imperatice' for particular source types:
Journal articles Books
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