Relevant bibliographies by topics / Formal

Contents

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

Academic literature on the topic 'Formal'

Author: Grafiati
Published: 4 June 2021
Last updated: 25 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.'

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"

1

CATARINO, GISELLE FAUR DE CASTRO, GLÓRIA REGINA PESSÔA CAMPELLO QUEIROZ, and MARIA DA CONCEIÇÃO DE ALMEIDA BARBOSA-LIMA. "O formal, o não formal e as outras formas: a aula de física como gênero discursivo." Revista Brasileira de Educação 22, no. 69 (2017): 499–517. http://dx.doi.org/10.1590/s1413-24782017226925.

Full text
Abstract:
RESUMO Pesquisas têm enfatizado aproximações e diferenças entre a educação formal e não formal. Podemos afirmar que os dois tipos de educação são diferentes, requerendo uma formação, inicial e continuada, diferenciada para professores que desejem transitar nos dois espaços de educação. Entendemos que tal formação é possível e é realidade para licenciandos que assumem atividades em espaços não formais ligados à educação. Nosso objetivo, neste artigo, o qual faz parte de uma tese de doutorado, é compreender benefícios e obstáculos gerados no cotidiano de professores que transitam nos dois âmbito
APA, Harvard, Vancouver, ISO, and other styles
2

Petroff, Valery V. "Philosophical and Aesthetic Views of Vyacheslav Ivanov in His Essay “Forma Formans and Forma Formata”." Studia Litterarum 4, no. 2 (2019): 228–51. http://dx.doi.org/10.22455/2500-4247-2019-4-2-228-251.

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

Woleński, Jan. "What is Formal in Formal Semantics?" Dialectica 58, no. 3 (2005): 427–36. http://dx.doi.org/10.1111/j.1746-8361.2004.tb00315.x.

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

Tudor, Sofia Loredana. "Formal – Non-formal – Informal in Education." Procedia - Social and Behavioral Sciences 76 (April 2013): 821–26. http://dx.doi.org/10.1016/j.sbspro.2013.04.213.

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

Ibáñez D., Marcela. "Supervivencia de formas mercantiles simples de producción, una aproximación formal." Revista Desarrollo y Sociedad, no. 39 (January 1997): 209–41. http://dx.doi.org/10.13043/dys.39.7.

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

Colomer Feliu, Jordi, and Teresa Serra. "Communication in formal and non-formal science." Communication Papers 7, no. 13 (2018): 217. http://dx.doi.org/10.33115/udg_bib/cp.v7i13.21990.

Full text
Abstract:
Communication in both formal and non-for-mal education requires specific spaces, com-municators and activities. Communication in formal science is highly regulated by research needs and the purposes of higher education institutions. In non-formal science, communi-cation is more intrinsic, voluntary and typica-lly non-sequential, given that it is a function of activities designed in out-of-school envi-ronments. In both cases, communication is linked to learning and is mediated by indivi-dual or community engagement and the need for constant dialogue between communica-tors and public and by the
APA, Harvard, Vancouver, ISO, and other styles
7

Sakurai, Taro. "On formal concepts of random formal contexts." Information Sciences 578 (November 2021): 615–20. http://dx.doi.org/10.1016/j.ins.2021.07.065.

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

KURKE, HERBERT, DENIS V. OSIPOV, and ALEXANDER B. ZHEGLOV. "FORMAL GROUPS ARISING FROM FORMAL PUNCTURED RIBBONS." International Journal of Mathematics 21, no. 06 (2010): 755–97. http://dx.doi.org/10.1142/s0129167x10006203.

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

Breuer, Peter T., and Simon Pickin. "A formal nethod (a networked formal method)." Innovations in Systems and Software Engineering 6, no. 4 (2010): 255–68. http://dx.doi.org/10.1007/s11334-009-0121-4.

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

Elice, Deti, Andino Maseleno, and Agus Pahrudin. "Formal, Informal and Non Formal Education Systems." Journal of Learning and Educational Policy, no. 41 (December 1, 2023): 30–35. http://dx.doi.org/10.55529/jlep.41.30.35.

Full text
Abstract:
This paper presents formal, informal, and non formal education systems. Education is likened to a ship and students are the captain, then we do not know where the ship will sail. Similarly, education is steered by students who do not know anything, so it will be difficult for us to know where the process of thinking about educational goals without taking into account the social context. Therefore, formal, informal, and nonformal education is expected to shape students to be better. These three types of education are expected to be able to be a breakthrough in programming the behavior of educat
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Formal"

1

Parent, Paul-Eugène. "Formal and non-formal homogeneous spaces of small rank." Thesis, University of Ottawa (Canada), 1996. http://hdl.handle.net/10393/9873.

Full text
Abstract:
The aim of this thesis is to determine which 2-tori T makes $G/T$ formal for a compact connected Lie group G of rank 3. We show that the only time there is a possibility of a non-formal homogeneous space $G/T$ is when the Lie algebra E of G is semisimple and contains three simple ideals. In such a case, the Koszul complex is given by$$ (\Lambda(y\sb2,z\sb2,x\sb3,x\sbsp{3}{\prime}, x\sbsp{3}{\prime\prime}),d)$$and$$dx\sb3 = -y\sbsp{2}{2},\ dx\sbsp{3}{\prime} = -z\sbsp{2}{2},\ {\rm and}\ dx\sbsp{3}{\prime\prime} = -(\alpha y\sb2 + \beta z\sb2)\sp2,$$where $\alpha,\beta\in$ Q. We proveTheorem 5.5
APA, Harvard, Vancouver, ISO, and other styles
2

Pires, Joana Martins Rodrigues. "Ensino não-formal e formal em ciências: elementos integradores." Master's thesis, Universidade de Aveiro, 2011. http://hdl.handle.net/10773/8486.

Full text
Abstract:
Mestrado em Didáctica - Ciências para Professores do 3º CEB/Secundário de Física e Química<br>O ritmo a que se dá o desenvolvimento científico e tecnológico, na sociedade atual, é vertiginoso. Tal, conduz à necessidade dos indivíduos serem cada vez mais cultos cientificamente, de forma a vivenciarem uma cidadania ativa. Este enquadramento potenciou o aumento de espaços e ambientes nos quais se oferece uma educação científica de cariz não-formal, recorrendo a exposições bastante lúdicas e apelativas, visando um público bastante diversificado e sem qualquer carácter de obrigatoriedade. Tem
APA, Harvard, Vancouver, ISO, and other styles
3

Razali, Rozilawati. "Usability of semi-formal and formal methods integration : empirical assessments." Thesis, University of Southampton, 2008. https://eprints.soton.ac.uk/265391/.

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

Shlapunov, A., and Nikolai Tarkhanov. "Formal Poincaré lemma." Universität Potsdam, 2007. http://opus.kobv.de/ubp/volltexte/2009/3023/.

Full text
Abstract:
We show how the multiple application of the formal Cauchy-Kovalevskaya theorem leads to the main result of the formal theory of overdetermined systems of partial differential equations. Namely, any sufficiently regular system Au = f with smooth coefficients on an open set U ⊂ Rn admits a solution in smooth sections of a bundle of formal power series, provided that f satisfies a compatibility condition in U.
APA, Harvard, Vancouver, ISO, and other styles
5

Marques, Bryan Valério. "Transição (in)formal." Master's thesis, Universidade de Lisboa. Faculdade de Arquitetura, 2015. http://hdl.handle.net/10400.5/12459.

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

MAZZARI, NICOLA. "Formal Hodge Structures." Doctoral thesis, Università degli Studi di Milano, 2009. http://hdl.handle.net/2434/73218.

Full text
Abstract:
The aim of this work is to develop the program proposed by S. Bloch, L. Barbieri-Viale and V. Srinivas of generalizing Deligne mixed Hodge structures providing a new cohomology theory for complex algebraic varieties. In other words to construct and study cohomological invariants, of (proper) complex algebraic schemes, which are finer than the associated mixed Hodge structures in the case of singular spaces.
APA, Harvard, Vancouver, ISO, and other styles
7

Miles, Geoffrey. "Untir'd spirits and formal constancy : Shakespeare's Roman plays and formal constancy." Thesis, University of Oxford, 1987. http://ora.ox.ac.uk/objects/uuid:c5830cc5-e1a4-4efa-ae40-98dc4d7eb651.

Full text
Abstract:
Critics who have noted the importance of Stoic constancy in Shakespeare 's Roman plays have failed to recognise the full complexity of the idea. It has two forms, both derived from the Stoic principle of homologia (consistency), and centred on the ideal of being always the same: Seneca's constantia sapientis, the rocklike or godlike virtue of the Stoic sage who is unmoved and unchanged by external circumstances; and Cicero's decorum (De officiis I), virtue as the consistent playing of an appropriate part. Seneca is more concerned with heroic self-sufficiency, Cicero with social virtue, but bot
APA, Harvard, Vancouver, ISO, and other styles
8

Costa, Ana Sofia Gonçalves. "Pensamento crítico : articulação entre educação não-formal e formal em Ciências." Master's thesis, Universidade de Aveiro, 2007. http://hdl.handle.net/10773/1305.

Full text
Abstract:
Mestrado em Educação em Ciências no 1º Ciclo do Ensino Básico<br>Atendendo que a promoção do Pensamento Crítico é indispensável, entre outros, para a resolução de problemas da vida quotidiana, numa sociedade democrática e, por outro, o Jardim da Ciência da Universidade de Aveiro é um contexto de educação não-formal destinado a crianças dos 5 aos 12 anos, este estudo tem como finalidade verificar se os recursos didácticos desenvolvidos no contexto desta investigação para a educação em Ciências no 1.º ciclo do ensino básico, articulando o ensino formal com o não-formal, promovem capacidades de p
APA, Harvard, Vancouver, ISO, and other styles
9

Ferrari, Francesco Maria. "Questioni di semantica formale e logica plurale." Doctoral thesis, Università degli studi di Padova, 2016. http://hdl.handle.net/11577/3426765.

Full text
Abstract:
The present research is a logico-philosophical analysis of the issues concerning the semantics for plural logic, with particular attention to the recent work by A. Oliver and T. Smiley, Plural Logic (OUP). The first chapter introduces into the model-theoretic semantics for second-order languages. Three versions are presented: standard, Henkin and multi-sorted. All three differ in the definition of the assignment function to the second-order variables. The second chapter analyzes the relationship between model-theoretic semantics and ontology, in particular realism and nominalism. On the one h
APA, Harvard, Vancouver, ISO, and other styles
10

Billa, Cleo Zanella. "Um experimento formal para avaliar novas formas de visualização de prontuários clínicos eletrônicos." [s.n.], 2009. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275816.

Full text
Abstract:
Orientador: Jacques Wainer<br>Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação<br>Made available in DSpace on 2018-08-16T05:40:57Z (GMT). No. of bitstreams: 1 Billa_CleoZanella_D.pdf: 3316703 bytes, checksum: 82c6b703f196ad4980b583703c56be1f (MD5) Previous issue date: 2009<br>Resumo: Atualmente, o uso da computação na medicina vem crescendo cada vez mais, e um dos temas mais discutidos é o prontuário clínico eletrônico. é consenso que a utilização de um prontuário eletrônico pode facilitar o trabalho do profissional de saúde e melhorar ainda mais a qualidade do c
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Formal"

1

Eckardt, Regine. Formale diachrone Semantik =: Formal diachronic semantics. Fachgruppe Sprachwissenschaft der Universität Konstanz, 1998.

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

Crespi-Reghizzi, Stefano. Formal languages and compilation. Springer, 2009.

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

Jago, Mark. Formal logic. Humanities-Ebooks, 2007.

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

Plante, Ellen M. Formal Victorian. Friedman/Fairfax Publishers, 1996.

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

Kornai, András. Formal phonology. Garland, 1995.

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

Huisman, Marieke, Corina Păsăreanu, and Naijun Zhan, eds. Formal Methods. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-90870-6.

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

Wolff, John U. Formal Indonesian. 2nd ed. Cornell University Southeast Asia Program, 1986.

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

Nielson, Flemming, and Hanne Riis Nielson. Formal Methods. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-05156-3.

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

Foret, Annie, Reinhard Muskens, and Sylvain Pogodalla, eds. Formal Grammar. Springer Berlin Heidelberg, 2018. http://dx.doi.org/10.1007/978-3-662-56343-4.

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

Poli, Roberto, and Peter Simons, eds. Formal Ontology. Springer Netherlands, 1996. http://dx.doi.org/10.1007/978-94-015-8733-4.

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

Book chapters on the topic "Formal"

1

Shu, Nan C. "FORMAL." In Application Development Systems. Springer Japan, 1986. http://dx.doi.org/10.1007/978-4-431-68051-2_1.

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

Straubing, Howard. "Formal Languages and Formal Logic." In Finite Automata, Formal Logic, and Circuit Complexity. Birkhäuser Boston, 1994. http://dx.doi.org/10.1007/978-1-4612-0289-9_2.

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

Thompson, Stephanie L., Tina Rosenblum, and Barbara Koslowski. "Is Formal Training Really Formal?" In Proceedings of the Twentieth Annual Conference of the Cognitive Science Society. Routledge, 2022. http://dx.doi.org/10.4324/9781315782416-290.

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

Wieringa, Roel, Eric Dubois, and Sander Huyts. "Integrating semi-formal and formal requirements." In Notes on Numerical Fluid Mechanics and Multidisciplinary Design. Springer International Publishing, 1997. http://dx.doi.org/10.1007/3-540-63107-0_2.

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

Gidley, Jennifer M. "Evolving Education: Pre-formal and Formal." In Postformal Education. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-29069-0_4.

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

Duke, D. J., and M. D. Harrison. "From formal models to formal methods." In Software Engineering and Human-Computer Interaction. Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/bfb0035813.

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

Barker, Gary, Felicia Knaul, Neide Cassaniga, and Anita Schrader. "4. Formal and Non-formal Education." In Urban Girls. Practical Action Publishing, 2000. http://dx.doi.org/10.3362/9781780440491.004.

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

Surry, Patrick D., and Nicholas J. Radcliffe. "Formal algorithms + formal representations =search strategies." In Parallel Problem Solving from Nature — PPSN IV. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61723-x_1001.

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

Herranz, Ángel, and Juan José Moreno-Navarro. "Formal Extreme (and Extremely Formal) Programming." In Extreme Programming and Agile Processes in Software Engineering. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-44870-5_12.

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

Fodor, George A. "Formal Description." In Ontologically Controlled Autonomous Systems. Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5475-2_3.

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

Conference papers on the topic "Formal"

1

Silvestre, Claudia, Helena Figueiredo Pina, and Beatriz Neves. "COMMUNICATING SUSTAINABILITY: INTEGRATING FORMAL AND NON-FORMAL EDUCATION." In 17th annual International Conference of Education, Research and Innovation. IATED, 2024. https://doi.org/10.21125/iceri.2024.1485.

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

Yang, Lanzhen, Eric C. C. Tsang, Chengling Zhang, and Jiaming Wu. "Counting Formal Concepts of A Random Formal Context." In 2024 International Conference on Machine Learning and Cybernetics (ICMLC). IEEE, 2024. https://doi.org/10.1109/icmlc63072.2024.10935090.

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

Stoughton, Alley. "Experimenting with formal languages using forlan." In the 2008 international workshop. ACM Press, 2008. http://dx.doi.org/10.1145/1411260.1411267.

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

Mishra, A. K., and A. Chandra. "EQU-IITG: A multi-format formal equivalence checker." In 2011 International Conference on Energy, Automation, and Signal (ICEAS). IEEE, 2011. http://dx.doi.org/10.1109/iceas.2011.6147138.

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

Assis, Elenclis, Gemirson Reis, and Carlos Pereira. "A importância do ensino lúdico para jovens e criança que frequentam o Centro Cultural do Bairro Piedade." In Simpósio Internacional Trabalho, Relações de Trabalho, Educação e Identidade. Appos, 2020. http://dx.doi.org/10.47930/1980-685x.2020.2502.

Full text
Abstract:
O presente trabalho aborda a relevância do ensino lúdico como forma de ensino-aprendizagem, tendo como base o ensino não-formal, essas formas de aprendizagem viabilizam novos métodos de ensinamento, que contribui diretamente para construção de uma educação mais qualificada e emancipatória, colaborando com o ensino formal. Durante o ano de 2019 mais de 100 alunos circularam pelo centro cultural do bairro Piedade com o intuito em desenvolver alguma atividade, sendo 40 destes com aquisição para o reforço escolar, 26 participaram das oficinas promovida pelo Festival de Inverno. Com isso, ressaltam
APA, Harvard, Vancouver, ISO, and other styles
6

Wing, Jeannette M. "Formal methods." In the 2013 ACM SIGAda annual conference. ACM Press, 2013. http://dx.doi.org/10.1145/2527269.2527291.

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

Zarzycki, Andrzej. "Formal mutations." In ACM SIGGRAPH ASIA 2009 Sketches. ACM Press, 2009. http://dx.doi.org/10.1145/1667146.1667151.

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

Lamsweerde, Axel van. "Formal specification." In the conference. ACM Press, 2000. http://dx.doi.org/10.1145/336512.336546.

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

Wolfsthal, Yaron, and Rebecca M. Gott. "Formal verification." In the 42nd annual conference. ACM Press, 2005. http://dx.doi.org/10.1145/1065579.1065755.

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

Scott, Alex. "The Importance of Data In Formal Safety Assesment." In Formal Safety Assessment. RINA, 2002. http://dx.doi.org/10.3940/rina.sa.2002.12.

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

Reports on the topic "Formal"

1

Allen, Robert, and David Garlan. Formal Connectors. Defense Technical Information Center, 1994. http://dx.doi.org/10.21236/ada277611.

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

WETSTONE TECHNOLOGIES CORTLAND NY. Formal Methods Framework. Defense Technical Information Center, 2002. http://dx.doi.org/10.21236/ada399514.

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

Perlis, Donald. Formal and Implemented Pragmatics. Defense Technical Information Center, 2000. http://dx.doi.org/10.21236/ada384167.

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

Cort, G., W. Dearholt, S. Donahue, et al. Integrated formal operations plan. Office of Scientific and Technical Information (OSTI), 1994. http://dx.doi.org/10.2172/10117514.

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

Cort, G., S. Donahue, J. Frank, B. Perkins, and J. Wrye. Glossary of formal operations. Office of Scientific and Technical Information (OSTI), 1994. http://dx.doi.org/10.2172/10117517.

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

Berztiss, Alfs. Formal Specification of Software. Defense Technical Information Center, 1987. http://dx.doi.org/10.21236/ada236362.

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

Amer, Paul D. Formal Design of Communication Protocols Based on The Estelle ISO Formal Description Technique. Defense Technical Information Center, 1999. http://dx.doi.org/10.21236/ada370116.

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

Kokar, Mieczyslaw M., Jerzy Weyman, and Jerzy A. Tomasik. Fusion as an Operation on Formal Systems: A Formal Framework for Information Fusion. Defense Technical Information Center, 2001. http://dx.doi.org/10.21236/ada387633.

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

Matson, Eric, and Scott DeLoach. Formal Transition in Agent Organizations. Defense Technical Information Center, 2005. http://dx.doi.org/10.21236/ada443475.

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

Fang, Hanming, Rongzhu Ke, and Li-An Zhou. Rosca Meets Formal Credit Market. National Bureau of Economic Research, 2015. http://dx.doi.org/10.3386/w21683.

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