... sinonimia , por ejemplo , la hiponimia , como en el caso de " granito " propuesto como sinónimo de " piedra " o " hierbabuena ” como sinónimo de “ hierba ” . Obviamente , entre los ejemplos anteriores no se da una relación de sinonimia ...
... (2016). Breastfeeding support in Spanish neonatal intensive care units and the Baby-friendly Hospital Initiative. Journal of Human Lactation, 32(4), 613–626. https://doi .org/10.1177/0890334416658246 Banapurmath, C. R., Nagaraj, M. C. ...
Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers
... language, viz. (i) 'Darstellung': it represents objects and situations; (ii) 'Ausdruck ... function typologies in general) for being much too extrinsic. Such an ... personal' function - or, as I would prefer to call it, to bring out its ...
An Analysis of Pragmatic and Objective Theories of Literary Criticism: Implications for Teachers of English in Secondary Schools
... poem lacks in terms of objectifying experience it gains in universality . Pragmatically , the mother's message to her son is warm , Students loving , admirable advice , but not particularly profound . might discuss how the son might ...
Formal Grammars in Linguistics and Psycholinguistics: An introduction to the theory of formal languages and automata
... S → aSa S → aa , S → a , generating the language { an > 1 } . The language is regular , but the grammar is self - embedding because SaSa . The same example showed that G ' , with productions SaS and Sa , generates the same language .
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
... Mathematics in the guise of modelling computing systems; and we find that our students quickly and easily understand ... through active and interested engagement. Of course, problem solving through recreational mathematics – which is ...
FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II
... Definitions (DTDs) The types of the data processed by a distributed system are defined in a textual notation. We use basic types and data type constructors similar to those found in the functional programming language Gofer [14]. The ...
Knowledge Management and Business Strategies: Theoretical Frameworks and Empirical Research: Theoretical Frameworks and Empirical Research
... most cases, some sort of study or report that represents all analyzed future developments. However, it can be assumed ... decisions. Moreover, reports cannot contain all the information available to ... limited amount of information that can be ...
E-Government Success around the World: Cases, Empirical Studies, and Practical Recommendations: Cases, Empirical Studies, and Practical Recommendations
... participation in policy-making. Proceedings of the 37th Annual Hawaii ... online: Federal agency Internet use. American Review of Public Administration, 32(3), 326 ... service portal. International Journal of Information Technology and ...
Empirical Asset Pricing Models: Data, Empirical Verification, and Model Search
... EŒˇH EŒˇH D 0 .10 In addition, when EŒˇH ¤ 0n ; and the pricing error 2 ¤ 0 or “non-diversifiability” EŒˇHEŒf of ht2 the is non-null, missing identification factor is of the “essentiality” still required because the omitted factor may ...
State-of-the-Art Theories and Empirical Evidence: Selected Papers from the 6th International Conference on Governance, Fraud, Ethics, and Social Responsibility
... fraud: Prevention and detection. New York: John Wiley & Sons Inc. Sari, N. H., & Ahmar, N. (2014). Revenue discretionary model pengukuran manajemen laba: berdasarkan sektor industri manufaktur di ... Fraud with Fraud Diamond Model ... 163.
Practical Theories and Empirical Practice: A Linguistic Perspective
Foundational Problems in the Special Sciences: Part Two of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975
... Ontario, Canada-1975 Robert E. Butts, Jaakko Hintikka. quasi - dominant ... worst possible outcome attached to each of his strategies . Having in this ... case of zero - sum games . Consider the following simple example ( only A's payoffs ...
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
... infp'T processes will be able to create instances of the redefined applicationPT without knowing the final process set. The final system type will introduce the redefined block types with appropriate process sets, see Figure 6, and ...
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected
... Switched Ethernet (AFDX) has been developed for this purpose. Its design is based on the principle of a switched network with physically redundant links to support availability. It should also be tolerant to transmission and link ...
Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
... languages. In Proc. of SAC'05. ACM Press, 2005. 8. T. Bultan, X. Fu, R. Hull ... Hopcroft and J. D. Ullman. Introduction to automata theory, languages, and computation ... Services⋆ Verifying the Conformance of Web Services to Global ...
Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
... macro - states . 2. Construction of the bounding chains through algorithm LIMSUB ( see section 2 ) and computing transient or steady - state distribution as a function of the the considered formula ( see section 3 ) . 3. Checking the ...
Multiple Literacy and Science Education: ICTs in Formal and Informal Learning Environments: ICTs in Formal and Informal Learning Environments
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
... MATLAB programs in Sect. 3. Subsequently, Sect. 3 introduces the formal description of the abstraction and the ... modulo theory (SMT) for formal verification. 3. Abstract. Interpretation. of. MATLAB. First we present briefly the syntax and ...
Formal Grammars in Linguistics and Psycholinguistics: Volume 1: An Introduction to the Theory of Formal Languages and Automata, Volume 2: Applications in Linguistic Theory, Volume 3: Psycholinguistic Applications
... grammar is linear if each of its productions is either linear or of the form A -—> x; a grammar is right-linear if each of its productions is either right-linear or of the form A —+ x; a grammar is left-linear if each of its productions is ...
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures
... 5 do 6 7 8 9 10 11 12 13 Xs : = max { 1 if sЄ T O otherwise ( s ) : = 1 ; foreach s Є S \ ( Smax UT ) do end T's : = maxaEA ( s ) Σs'es dm ... Rewards One of the simplest MDP reward properties is instantaneous reward , which is defined as the ...
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
... download, however the speed ramps up pretty fast and gets bottlenecked by the capacity of the wireless channel at around 60% popularity. From there on, there are always “enough” new chunks for cars to keep downloading ... Torrent case study.
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures
... ABS models by the concepts of delta modeling. Finally, we present CL (Product Line Configuration Language) for configuring a product line of ABS ... shortcuts for types, ABS knows type. ~((True && False) || True) ((-5+6)*4)/(2%1) Modeling ...
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
... software testing. In this tutorial, we, first, present model-based testing as an formal approach for dynamic functional testing of single systems [54]. The central idea of modelbased testing is to base all testing activities on an ...
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
... support the mapping between domain ontology and local schema used to defines data repositories. To that purpose we have defined a similarity algorithm to compare two ontologies. The main idea is, supposing to have, in each execution ...
This website uses cookies and collects data for optimal performance. Your continued use signifies agreement to our Privacy Policy.