Journal articles on the topic 'Formal'

To see the other types of publications on this topic, follow the link: Formal.

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

Select a source type:

Consult the top 50 journal articles for your research 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.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

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
2

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 (June 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 âmbitos de formação. A partir da análise da prática de um professor que traz na bagagem essa formação diferenciada, gerando uma prática híbrida, percebemos uma aula que entendemos pertencer a um gênero discursivo específico, diferente do formal e do não formal. Para isso, esboçaremos um referencial baseado nas ideias de Mikhail Bakhtin que nos possibilite pensar a aula como gênero discursivo.
APA, Harvard, Vancouver, ISO, and other styles
3

Woleński, Jan. "What is Formal in Formal Semantics?" Dialectica 58, no. 3 (June 23, 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

Colomer Feliu, Jordi, and Teresa Serra. "Communication in formal and non-formal science." Communication Papers 7, no. 13 (May 25, 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 need to constantly design new architectures of interaction
APA, Harvard, Vancouver, ISO, and other styles
6

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
7

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

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

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

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

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
10

Borges Neto, José. "Semântica formal." Fórum Linguístico 17, Núm. Esp. (June 23, 2020): 4689–700. http://dx.doi.org/10.5007/1984-8412.2020v17nespp4689.

Full text
Abstract:
O propósito do texto é a apresentação de um mecanismo descritivo de estruturas semânticas, desenvolvido em parceria por lógicos, linguistas e especialistas em processamento computacional de línguas naturais, denominado por vezes semântica de modelo teórico, que se serve de uma metalinguagem de natureza lógica para descrever as estruturas linguísticas. Depois de uma introdução em que se discute a natureza dos modelos analíticos na Linguística e de uma seção em que se discutem as características de um sistema formal, em geral, busca-se a caracterização da semântica formal desenvolvida, em boa parte, com base nos trabalhos de Richard Montague. Para finalizar, apresentam-se alguns exemplos, claramente simplificados, dos procedimentos formais de que faz uso a semântica de modelo teórico.
APA, Harvard, Vancouver, ISO, and other styles
11

Phelan, Peggy, and Jeanne Walker. "Formal Pleasures." Women's Review of Books 2, no. 4 (January 1985): 8. http://dx.doi.org/10.2307/4019623.

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

Anisov, A. M. "Formal metaontology." RUDN JOURNAL OF PHILOSOPHY 21, no. 2 (2017): 166–78. http://dx.doi.org/10.22363/2313-2302-2017-21-2-166-178.

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

Mounce, H. O. "Formal Ethics." International Philosophical Quarterly 38, no. 1 (1998): 89–91. http://dx.doi.org/10.5840/ipq199838173.

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

Haines, John, and Frederick Feirstein. "Formal Objections." Hudson Review 43, no. 2 (1990): 345. http://dx.doi.org/10.2307/3851882.

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

Муттанен, А. "Formal Methodology." Logical Investigations 15 (November 30, 2009): 296–313. http://dx.doi.org/10.21146/2074-1472-2009-15-0-296-313.

Full text
Abstract:
In general terms, methodology is a study of the entire scientific inquiry process: how science arrives at the posited goal. There are different kinds of goals for scientific inquiry. For example, goals may be epistemic (truth), aesthetic (simplicity) or several kinds of pragmatic goals (efficiency, economy, and explanatory power). It is not the concern of methodology what this goal happens to be. More generally, formal methods turned out to be effective tools in philosophical analysis, in the paper we will show this introducing the interrogative model and some basic properties of it, let us mention the covering law theorem. Finally we will formulate some philosophical implications of the model introduced.
APA, Harvard, Vancouver, ISO, and other styles
16

Wiltshire, Caroline, András Kornai, and Andras Kornai. "Formal Phonology." Language 72, no. 2 (June 1996): 433. http://dx.doi.org/10.2307/416680.

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

Donkel, Douglas L. "Formal Contamination." Philosophy Today 40, no. 2 (1996): 301–9. http://dx.doi.org/10.5840/philtoday199640225.

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

Treib, Marc. "Formal problems." Studies in the History of Gardens & Designed Landscapes 18, no. 2 (June 1998): 71–92. http://dx.doi.org/10.1080/14601176.1998.10435535.

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

Santow, Gigi, and David P. Smith. "Formal Demography." Contemporary Sociology 22, no. 2 (March 1993): 220. http://dx.doi.org/10.2307/2075762.

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

Odden, Dave. "Formal Phonology." Nordlyd 40, no. 1 (February 15, 2013): 249. http://dx.doi.org/10.7557/12.2476.

Full text
Abstract:
<!--[if gte mso 9]><xml> <o:OfficeDocumentSettings> <o:AllowPNG /> </o:OfficeDocumentSettings> </xml><![endif]--> <!--[if gte mso 9]><xml> <w:WordDocument> <w:View>Normal</w:View> <w:Zoom>0</w:Zoom> <w:TrackMoves /> <w:TrackFormatting /> <w:PunctuationKerning /> <w:ValidateAgainstSchemas /> <w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid> <w:IgnoreMixedContent>false</w:IgnoreMixedContent> <w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText> <w:DoNotPromoteQF /> <w:LidThemeOther>EN-US</w:LidThemeOther> <w:LidThemeAsian>JA</w:LidThemeAsian> <w:LidThemeComplexScript>X-NONE</w:LidThemeComplexScript> <w:Compatibility> <w:BreakWrappedTables /> <w:SnapToGridInCell /> <w:WrapTextWithPunct /> <w:UseAsianBreakRules /> <w:DontGrowAutofit /> <w:SplitPgBreakAndParaMark /> <w:EnableOpenTypeKerning /> <w:DontFlipMirrorIndents /> <w:OverrideTableStyleHps /> <w:UseFELayout /> </w:Compatibility> <m:mathPr> <m:mathFont m:val="Cambria Math" /> <m:brkBin m:val="before" /> <m:brkBinSub m:val="&#45;-" /> <m:smallFrac m:val="off" /> <m:dispDef /> <m:lMargin m:val="0" /> <m:rMargin m:val="0" /> <m:defJc m:val="centerGroup" /> <m:wrapIndent m:val="1440" /> <m:intLim m:val="subSup" /> <m:naryLim m:val="undOvr" /> </m:mathPr></w:WordDocument> </xml><![endif]--><!--[if gte mso 9]><xml> <w:LatentStyles DefLockedState="false" DefUnhideWhenUsed="true" DefSemiHidden="true" DefQFormat="false" DefPriority="99" LatentStyleCount="276"> <w:LsdException Locked="false" Priority="0" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Normal" /> <w:LsdException Locked="false" Priority="9" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="heading 1" /> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 2" /> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 3" /> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 4" /> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 5" /> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 6" /> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 7" /> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 8" /> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 9" /> <w:LsdException Locked="false" Priority="39" Name="toc 1" /> <w:LsdException Locked="false" Priority="39" Name="toc 2" /> <w:LsdException Locked="false" Priority="39" Name="toc 3" /> <w:LsdException Locked="false" Priority="39" Name="toc 4" /> <w:LsdException Locked="false" Priority="39" Name="toc 5" /> <w:LsdException Locked="false" Priority="39" Name="toc 6" /> <w:LsdException Locked="false" Priority="39" Name="toc 7" /> <w:LsdException Locked="false" Priority="39" Name="toc 8" /> <w:LsdException Locked="false" Priority="39" Name="toc 9" /> <w:LsdException Locked="false" Priority="0" Name="footer" /> <w:LsdException Locked="false" Priority="35" QFormat="true" Name="caption" /> <w:LsdException Locked="false" Priority="10" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Title" /> <w:LsdException Locked="false" Priority="1" Name="Default Paragraph Font" /> <w:LsdException Locked="false" Priority="11" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Subtitle" /> <w:LsdException Locked="false" Priority="22" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Strong" /> <w:LsdException Locked="false" Priority="20" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Emphasis" /> <w:LsdException Locked="false" Priority="59" SemiHidden="false" UnhideWhenUsed="false" Name="Table Grid" /> <w:LsdException Locked="false" UnhideWhenUsed="false" Name="Placeholder Text" /> <w:LsdException Locked="false" Priority="1" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="No Spacing" /> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading" /> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List" /> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid" /> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1" /> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2" /> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1" /> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2" /> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1" /> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2" /> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3" /> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List" /> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading" /> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List" /> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid" /> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 1" /> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 1" /> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 1" /> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 1" /> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 1" /> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 1" /> <w:LsdException Locked="false" UnhideWhenUsed="false" Name="Revision" /> <w:LsdException Locked="false" Priority="34" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="List Paragraph" /> <w:LsdException Locked="false" Priority="29" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Quote" /> <w:LsdException Locked="false" Priority="30" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Intense Quote" /> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 1" /> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 1" /> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 1" /> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 1" /> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 1" /> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 1" /> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 1" /> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 1" /> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 2" /> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 2" /> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 2" /> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 2" /> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 2" /> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 2" /> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 2" /> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 2" /> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 2" /> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 2" /> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 2" /> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 2" /> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 2" /> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 2" /> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 3" /> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 3" /> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 3" /> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 3" /> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 3" /> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 3" /> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 3" /> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 3" /> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 3" /> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 3" /> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 3" /> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 3" /> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 3" /> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 3" /> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 4" /> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 4" /> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 4" /> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 4" /> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 4" /> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 4" /> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 4" /> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 4" /> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 4" /> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 4" /> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 4" /> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 4" /> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 4" /> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 4" /> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 5" /> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 5" /> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 5" /> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 5" /> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 5" /> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 5" /> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 5" /> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 5" /> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 5" /> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 5" /> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 5" /> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 5" /> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 5" /> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 5" /> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 6" /> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 6" /> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 6" /> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 6" /> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 6" /> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 6" /> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 6" /> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 6" /> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 6" /> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 6" /> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 6" /> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 6" /> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 6" /> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 6" /> <w:LsdException Locked="false" Priority="19" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Subtle Emphasis" /> <w:LsdException Locked="false" Priority="21" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Intense Emphasis" /> <w:LsdException Locked="false" Priority="31" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Subtle Reference" /> <w:LsdException Locked="false" Priority="32" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Intense Reference" /> <w:LsdException Locked="false" Priority="33" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Book Title" /> <w:LsdException Locked="false" Priority="37" Name="Bibliography" /> <w:LsdException Locked="false" Priority="39" QFormat="true" Name="TOC Heading" /> </w:LatentStyles> </xml><![endif]--> <!--[if gte mso 10]> <mce:style><! /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin:0cm; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:12.0pt; font-family:Cambria; mso-ascii-font-family:Cambria; mso-ascii-theme-font:minor-latin; mso-hansi-font-family:Cambria; mso-hansi-theme-font:minor-latin;} --> <!--[endif] --> <!--StartFragment--><span style="font-size: 9.0pt; font-family: Cambria; mso-ascii-theme-font: minor-latin; mso-fareast-font-family: &quot;MS 明朝&quot;; mso-fareast-theme-font: minor-fareast; mso-hansi-theme-font: minor-latin; mso-bidi-font-family: &quot;Times New Roman&quot;; mso-bidi-theme-font: minor-bidi; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-SA;">Two problematic trends have dominated modern phonological theorizing: over-reliance on machinery of Universal Grammar, and reification of functional properties in grammar. The former trend leads to arbitrary postulation of grammatical principles because UG &ldquo;has no cost&rdquo;, which leads to a welter of contradictory and unresolvable claims. The latter trend amounts to rejection of phonology and indeed grammatical computation, as a legitimate independent area of scientific investigation. This paper outlines Formal Phonology, which is a metatheoretical approach rooted in an inductive epistemology, committed to seriously engaging the fundamental logic of the discipline, one which demands justification of claims and an integrated consideration of what is known about phonological grammars, eschewing <em style="mso-bidi-font-style: normal;">ad libitum</em> conjectures and isolated positing of novel claims without evaluating how the claim interacts with other aspects of phonology. Debate over the proper mechanism for apparent segment-transparency in harmony, or the binary vs. privative nature of features, is ultimately doomed if we do not have a clear awareness of what a &ldquo;grammar&rdquo; and a &ldquo;phonology&rdquo; are. Misconstruing the nature of a phonology as being a model of observed behavior negatively affects theoretical choices, leads to confusion over what could motivate a claim about the nature of grammar, and in general, a lack of developed epistemological foundation leads to confusion over how to approach theory-construction.</span><!--EndFragment-->
APA, Harvard, Vancouver, ISO, and other styles
21

Clarke, Edmund M., and Jeannette M. Wing. "Formal methods." ACM Computing Surveys 28, no. 4 (December 1996): 626–43. http://dx.doi.org/10.1145/242223.242257.

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

Smith, Kathleen K. "Formal assessment." Nature 323, no. 6087 (October 1986): 404. http://dx.doi.org/10.1038/323404a0.

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

Aguirre, Gustavo D., Hannes Lohi, Maria Kaukonen, and Leonardo Murgiano. "Formal commentary." PLOS Genetics 16, no. 11 (November 5, 2020): e1009059. http://dx.doi.org/10.1371/journal.pgen.1009059.

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

Leveson, Nancy. "Formal methods." ACM SIGSOFT Software Engineering Notes 17, no. 1 (January 1992): 49–50. http://dx.doi.org/10.1145/134292.134298.

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

Eyers, Tom. "Formal Differences." Novel 50, no. 2 (July 18, 2017): 307–11. http://dx.doi.org/10.1215/00295132-4150432.

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

Vries, Hent de. "Formal Indications." MLN 113, no. 3 (1998): 635–88. http://dx.doi.org/10.1353/mln.1998.0046.

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

Baker, Elizabeth Brooke. "Formal Diagnosis." Anesthesiology 126, no. 4 (April 1, 2017): 755. http://dx.doi.org/10.1097/aln.0000000000001364.

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

Woodcock, Jim, Peter Gorm Larsen, Juan Bicarregui, and John Fitzgerald. "Formal methods." ACM Computing Surveys 41, no. 4 (October 2009): 1–36. http://dx.doi.org/10.1145/1592434.1592436.

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

Colin, Violaine. "Formal microlocalization." Comptes Rendus de l'Académie des Sciences - Series I - Mathematics 327, no. 3 (August 1998): 289–93. http://dx.doi.org/10.1016/s0764-4442(98)80148-1.

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

Berry, Daniel M. "Formal Methods:." Electronic Notes in Theoretical Computer Science 25 (1999): 10–22. http://dx.doi.org/10.1016/s1571-0661(04)00127-6.

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

Omicini, Andrea, and Enrico Denti. "Formal ReSpecT." Electronic Notes in Theoretical Computer Science 48 (June 2001): 179–96. http://dx.doi.org/10.1016/s1571-0661(04)00156-2.

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

Meenakshi, B. "Formal verification." Resonance 10, no. 5 (May 2005): 26–38. http://dx.doi.org/10.1007/bf02871329.

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

Szlankó, J., V. Haase, R. Mitchell, J. Quemada, and T. Tempelmeier. "Formal specification." IFAC Proceedings Volumes 21, no. 3 (May 1988): 83. http://dx.doi.org/10.1016/b978-0-08-036236-6.50017-5.

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

Easwaran, Kenny. "Formal Epistemology." Journal of Philosophical Logic 44, no. 6 (February 28, 2015): 651–62. http://dx.doi.org/10.1007/s10992-015-9350-1.

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

Sarkar, Sahotra. "Formal Darwinism." Biology & Philosophy 29, no. 2 (January 25, 2014): 249–57. http://dx.doi.org/10.1007/s10539-013-9416-9.

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

Bauer, Tilman. "Formal plethories." Advances in Mathematics 254 (March 2014): 497–569. http://dx.doi.org/10.1016/j.aim.2013.12.023.

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

Arismunandar, Wiranto. "Formal Opening." International Astronomical Union Colloquium 148 (1995): 2–4. http://dx.doi.org/10.1017/s0252921100021588.

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

Soysal, Zeynep. "Formal analyticity." Philosophical Studies 175, no. 11 (September 19, 2017): 2791–811. http://dx.doi.org/10.1007/s11098-017-0982-6.

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

McLellan, Anne. "Formal Address." Journal of Sustainable Forestry 4, no. 3-4 (March 28, 1997): 11–17. http://dx.doi.org/10.1300/j091v04n03_02.

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

Nolt, John. "Formal Logic." Teaching Philosophy 12, no. 4 (1989): 424–26. http://dx.doi.org/10.5840/teachphil1989124112.

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

Wing, Jeannette M. "Formal methods." ACM SIGAda Ada Letters 33, no. 3 (November 29, 2013): 85–86. http://dx.doi.org/10.1145/2658982.2527291.

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

van der Linden, Frank J. "Formal methods." ACM SIGPLAN Notices 29, no. 7 (July 1994): 29–38. http://dx.doi.org/10.1145/181593.184668.

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

Reynolds, Clay. "Formal Attraction." American Book Review 33, no. 3 (2012): 27. http://dx.doi.org/10.1353/abr.2012.0084.

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

Wilson, James Matthew. "Formal Protests." American Book Review 28, no. 4 (2007): 23–24. http://dx.doi.org/10.1353/abr.2007.0070.

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

Perseil, Isabelle. "ALF formal." Innovations in Systems and Software Engineering 7, no. 4 (October 21, 2011): 325–26. http://dx.doi.org/10.1007/s11334-011-0168-x.

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

Pavicevic, Miljana, and Danijela Petrovic. "Differences between formal, non-formal and informal education." Zbornik radova Uciteljskog fakulteta Prizren-Leposavic, no. 9 (2015): 103–13. http://dx.doi.org/10.5937/zrufpl1509103p.

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

García de Andrés, Carmen, and Ángel Serrano Almodóvar. "Se trata de aprendizaje: formal, no formal, informal." Padres y Maestros / Journal of Parents and Teachers, no. 385 (March 11, 2021): 21–25. http://dx.doi.org/10.14422/pym.i385.y2021.004.

Full text
Abstract:
El aprendizaje, entendido en su sentido más amplio como el desarrollo de competencias y destrezas de todo tipo (personales y académicas, técnicas, profesionales…) se produce en distintos contextos —formales, no formales, informales— y siempre con la premisa de la atención e interés de quien aprende. No hay dos personas iguales y, por tanto, no hay dos formas iguales de aprender. ¿Por qué nos empeñamos en enseñar de una manera estandarizada que, más allá de ordenar, ha creado un modelo encasillado y limitante para el alumno?
APA, Harvard, Vancouver, ISO, and other styles
48

Denniston, Jeffrey T., Austin Melton, and Stephen E. Rodabaugh. "Formal Contexts, Formal Concept Analysis, and Galois Connections." Electronic Proceedings in Theoretical Computer Science 129 (September 19, 2013): 105–20. http://dx.doi.org/10.4204/eptcs.129.8.

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

Levine, Caroline. "Formal Pasts and Formal Possibilities in Victorian Studies." Literature Compass 4, no. 4 (July 2007): 1241–56. http://dx.doi.org/10.1111/j.1741-4113.2007.00460.x.

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

Wleringa, Roel, and Eric Dubois. "Integrating semi-formal and formal software specification techniques." Information Systems 23, no. 3-4 (May 1998): 159–78. http://dx.doi.org/10.1016/s0306-4379(98)00007-6.

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