Works matching DE "FORMALIZATION (Linguistics)"

Results: 117

On functionalism and formalism: A reply to Newmeyer.

Published in:

Functions of Language, 2006, v. 13, n. 2, p. 197, doi. 10.1075/fol.13.2.07but

By:

Butler, Christopher S.

Publication type:

Article

Some aspects of algorithm transformation based on the formalization of information connections.

Published in:

Cybernetics & Systems Analysis, 2009, v. 45, n. 6, p. 889, doi. 10.1007/s10559-009-9158-5

By:

Akulovskiy, V.

Publication type:

Article

Formalization and Land Grabbing in Africa: Facilitation or Protection?

Published in:

Tanzania Journal of Development Studies, 2017, v. 15, n. 1/2, p. 1

By:

Stein, Howard;
Cunningham, Samantha

Publication type:

Article

Focus marking and semantic transfer in Indian English: The case of also.

Published in:

English World-Wide, 2012, v. 33, n. 1, p. 27, doi. 10.1075/eww.33.1.02fuc

By:

Fuchs, Robert

Publication type:

Article

Swarm grammars: growing dynamic structures in 3D agent spaces.

Published in:

Digital Creativity, 2007, v. 18, n. 1, p. 54, doi. 10.1080/14626260701253622

By:

Jacob, Christian;
Von Mammen, Sebastian

Publication type:

Article

THREE DIFFERENT FORMALISATIONS OF EINSTEIN’S RELATIVITY PRINCIPLE.

Published in:

Review of Symbolic Logic, 2017, v. 10, n. 3, p. 530, doi. 10.1017/S1755020317000065

By:

MADARÁSZ, JUDIT X.;
SZÉKELY, GERGELY;
STANNETT, MIKE

Publication type:

Article

PREFACE.

Published in:

International Journal of Foundations of Computer Science, 2005, v. 16, n. 4, p. 623, doi. 10.1142/S0129054105003194

By:

Calude, Cristian S.

Publication type:

Article

En torno a la adquisición de los pronombres.

Published in:

Revista Nebrija de Lingüística Aplicada a la Enseñanza de Lenguas, 2014, n. 16, p. 89

By:

Sánchez-Iglesias, Jorge J.

Publication type:

Article

An Artistic Turing Test.

Published in:: ITNOW, 2012, v. 54, n. 4, p. 58, doi. 10.1093/itnow/bws121
Publication type:: Article

An integrated multi-level modeling approach for industrial-scale data interoperability.

Published in:

Software & Systems Modeling, 2018, v. 17, n. 1, p. 269, doi. 10.1007/s10270-016-0520-6

By:

Igamberdiev, Muzaffar;
Grossmann, Georg;
Selway, Matt;
Stumptner, Markus

Publication type:

Article

UML formal semantics: lessons learned.

Published in:

Software & Systems Modeling, 2011, v. 10, n. 4, p. 441, doi. 10.1007/s10270-011-0207-y

By:

Broy, Manfred;
Cengarle, María

Publication type:

Article

Modeling metrical stress acquisition through alignment constraint induction.

Published in:

Linguistics in the Netherlands, 2013, v. 30, n. 1, p. 28, doi. 10.1075/avt.30.03bre

By:

Breteler, Jeroen

Publication type:

Article

Learning from Conditionals.

Published in:

Mind (0026-4423), 2020, v. 129, n. 514, p. 461, doi. 10.1093/mind/fzz025

By:

Eva, Benjamin;
Hartmann, Stephan;
Rad, Soroush Rafiee

Publication type:

Article

Logical constants.

Published in:

Mind (0026-4423), 1999, v. 108, n. 431, p. 503, doi. 10.1093/mind/108.431.503

By:

Warmbrod, Ken

Publication type:

Article

INDEXED VS. FIBRED STRUCTURES - A FIELD REPORT.

Published in:

Romanian Journal of Pure & Applied Mathematics / Revue Roumaine de Mathematiques Pures et Appliquees, 2021, v. 66, n. 3/4, p. 1

By:

WOLTER, UWE

Publication type:

Article

Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling.

Published in:

IEEE Transactions on Software Engineering, 2002, v. 28, n. 8, p. 747, doi. 10.1109/TSE.2002.1027798

By:

Cheng, Betty H.C.;
Wang, Enoch Y.

Publication type:

Article

Introduction: The Formalization of Dialectics.

Published in:

History & Philosophy of Logic, 2023, v. 44, n. 2, p. 115, doi. 10.1080/01445340.2023.2182598

By:

Ficara, Elena;
Priest, Graham

Publication type:

Article

CORRELATION AND CAUSALITY.

Published in:

Oeconomica, 2014, n. 1, p. 67

By:

DINGA, EMIL

Publication type:

Article

A Quantified Temporal Logic for Ampliation and Restriction.

Published in:

Vivarium, 2013, v. 51, n. 1-4, p. 485, doi. 10.1163/15685349-12341259

By:

Uckelman, Sara L.

Publication type:

Article

Towards a Semantic Documentation of Heritage Objects through Visual and Iconographical Representations.

Published in:

International Information & Library Review, 2017, v. 49, n. 3, p. 207, doi. 10.1080/10572317.2017.1353374

By:

Carboni, Nicola;
de Luca, Livio

Publication type:

Article

Formalization of security patterns as a means to infer security controls in business processes.

Published in:

Logic Journal of the IGPL, 2015, v. 23, n. 1, p. 57, doi. 10.1093/jigpal/jzu042

By:

Varela-Vaca, Angel Jesus;
Gasca, Rafael M.

Publication type:

Article

Lambek grammars with one division and one primitive type.

Published in:

Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 207, doi. 10.1093/jigpal/jzr031

By:

Kuznetsov, Stepan

Publication type:

Article

Labelled Natural Deduction for Conditional Logics of Normality.

Published in:

Logic Journal of the IGPL, 2002, v. 10, n. 2, p. 123, doi. 10.1093/jigpal/10.2.123

By:

Broda, Krysia;
Gabbay, Dov M.;
Lamb, Luís C.;
Russo, Alessandra M.

Publication type:

Article

The Formalization of Cultural Psychology. Reasons and Functions.

Published in:

Integrative Psychological & Behavioral Science, 2017, v. 51, n. 1, p. 1, doi. 10.1007/s12124-016-9366-2

By:

Salvatore, Sergio

Publication type:

Article

Konrad Zuse and his Plankalkül: The Hope to Emerge from the Sleep of Sleeping Beauty.

Published in:

International Journal of Humanities & Arts Computing: A Journal of Digital Humanities, 2019, v. 13, n. 1/2, p. 249, doi. 10.3366/ijhac.2017.0185

By:

Petrocelli, Carla

Publication type:

Article

Is there a Semiocentric Predicament?

Published in:

Semiotica, 1977, v. 19, n. 3/4, p. 259, doi. 10.1515/semi.1977.19.3-4.259

By:

Esposito, Joseph L.

Publication type:

Article

STATUT SCIENTIFIQUE DE L'ARCHÉOLOGIE ET FORMALISATION DE L'ANALYSE DES TEXTES: EXEMPLE D'UNMETALANGAGE D'ANAl YSE DU CORPUS DES INSCRIPTIONS LA TINES.

Published in:

Semiotica, 1975, v. 14, n. 1, p. 1, doi. 10.1515/semi.1975.14.1.1

By:

Borillo, M.;
Virbel, J.

Publication type:

Article

Pour une poétique de la conduite.

Published in:

Semiotica, 1974, v. 10, n. 4, p. 351, doi. 10.1515/semi.1974.10.4.351

By:

Galard, Jean

Publication type:

Article

An Algebraic Theory of English Pronominal Reference (Part I).

Published in:

Semiotica, 1969, v. 1, n. 4, p. 397, doi. 10.1515/semi.1969.1.4.397

By:

Lowe, Ivan

Publication type:

Article

Towards the cognitive plausibility of conceptual space models.

Published in:

Suvremena Lingvistika, 2015, v. 41, n. 80, p. 71

By:

Galetić, Vedran

Publication type:

Article

Common Knowledge and Convention.

Published in:

Topoi: An International Review of Philosophy, 2008, v. 27, n. 1/2, p. 29, doi. 10.1007/s11245-008-9030-7

By:

Giacomo Sillari

Publication type:

Article

What's in a grammar? Modeling dominance and optimization in contact.

Published in:

Bilingualism: Language & Cognition, 2013, v. 16, n. 4, p. 731, doi. 10.1017/S1366728913000229

By:

SHARMA, DEVYANI

Publication type:

Article

Formalization of the Pumping Lemma for Context-Free Languages.

Published in:

Journal of Formalized Reasoning, 2016, v. 9, n. 2, p. 53

By:

RAMOS, M. V. M.;
DE QUEIROZ, R. J. G. B.;
MOREIRA, N.;
ALMEIDA, J. C. B.

Publication type:

Article

Speech Acts in a Dialogue Game Formalisation of Critical Discussion.

Published in:

Argumentation, 2017, v. 31, n. 2, p. 245, doi. 10.1007/s10503-016-9404-8

By:

Visser, Jacky

Publication type:

Article

Constructive Model of the Natural Language.

Published in:

Acta Cybernetica, 2018, v. 23, n. 4, p. 995, doi. 10.14232/actacyb.23.4.2018.2

By:

Shynkarenko, Viktor;
Kuropiatnyk, Olena

Publication type:

Article

"Time is Production": Process-Art, and Aesthetic Time in Paul Valéry's Cahiers.

Published in:

Humanities (2076-0787), 2018, v. 7, n. 1, p. 4, doi. 10.3390/h7010004

By:

Ustun, Berkay

Publication type:

Article

Moderating Effect of Organizational Commitment on the Relationship Between Work Alienation and Formalization.

Published in:

Journal of Economic Development, Management, IT, Finance & Marketing, 2016, v. 8, n. 2, p. 16

By:

ERKMEN, Turhan;
BOZKURT, Serdar

Publication type:

Article

Static and Dynamic Membrane Structures.

Published in:

Computer Science Journal of Moldova, 2012, v. 20, n. 3, p. 374

By:

Ivanov, Sergiu

Publication type:

Article

FORMALIZATION OF TEXTUAL USE CASES BASED ON PETRI NETS.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2010, v. 20, n. 5, p. 695

By:

SOMÉ, STÉPHANE S.

Publication type:

Article

Attitudes to western loanwords in Indonesian.

Published in:

International Journal of the Sociology of Language, 2008, v. 2008, n. 189, p. 55, doi. 10.1515/IJSL.2008.003

By:

Hassall, Tim;
Murtisari, Elisabet Titik;
Donnelly, Christine;
Wood, Jeff

Publication type:

Article

CONTROLLED LANGUAGE.

Published in:

Perspectives: Studies in Translatology, 2004, v. 12, n. 4, p. 243, doi. 10.1080/0907676X.2004.9961505

By:

Mogensen, Else

Publication type:

Article

Computing compatibility in dynamic service composition.

Published in:

Knowledge & Information Systems, 2009, v. 19, n. 1, p. 107, doi. 10.1007/s10115-008-0143-5

By:

Zhaohui Wu;
Shuiguang Deng;
Ying Li;
Jian Wu

Publication type:

Article

How nominal compounds are modified by two adjectives.

Published in:

Folia Linguistica, 2014, v. 48, n. 1, p. 1, doi. 10.1515/flin.2014.001

By:

Berg, Thomas

Publication type:

Article

On the Short- and Medium-Term Effects of Formalisation: Panel Evidence from Vietnam.

Published in:

Journal of Development Studies, 2018, v. 54, n. 4, p. 641, doi. 10.1080/00220388.2017.1342817

By:

Boly, Amadou

Publication type:

Article

Statistical Engineering: Six Decades of Improved Process and Systems Performance.

Published in:

Quality Engineering, 2012, v. 24, n. 2, p. 171, doi. 10.1080/08982112.2012.654324

By:

Shainin, RichardD.

Publication type:

Article

Habitat Living Lab, red de innovación social y tecnológica.

Published in:

Revista Iberoamericana de Ciencia, Tecnologia y Sociedad, 2013, v. 8, n. 23, p. 135

By:

de Magdala Pinto, Miriam;
Pedruzzi Fonseca, Letícia

Publication type:

Article

The Counterpart Principle of Analogical Support by Structural Similarity.

Published in:

Erkenntnis, 2014, v. 79, p. 1169, doi. 10.1007/s10670-013-9546-0

By:

Hill, Alexandra;
Paris, Jeffrey

Publication type:

Article

Efficient Algorithms for Anonymous Byzantine Agreement.

Published in:

Theory of Computing Systems, 2008, v. 42, n. 2, p. 222, doi. 10.1007/s00224-007-9006-9

By:

Okun, Michael;
Barak, Amnon

Publication type:

Article

Formal Semantics of BPMN Process Models Using CPN.

Published in:

International Review on Computers & Software, 2023, v. 18, n. 2, p. 56, doi. 10.15866/irecos.v18i2.24401

By:

Ibrahim, Malek M.

Publication type:

Article

Automatic Processing of Amazighe Verbal Morphology: a New Approach for Analysis and Formalization.

Published in:

International Review on Computers & Software, 2015, v. 10, n. 5, p. 448, doi. 10.15866/irecos.v10i5.5755

By:

Nejme, Fatima Zahra;
Boualknadel, Siham;
Aboutajdine, Driss

Publication type:

Article