Formal Models
On the adequacy of current empirical evaluations of formal models of categorization
... four models are formally compared against the results of more than thirty previously reported ...candidate models increases, single papers will, of necessity, focus on either the establishment of new ...
83
Formal models for expert finding in enterprise corpora
... Next we turn to our core question: which of Model 1 and Model 2 is most effective for finding experts? In the follow- ing set of experiments we compare the two formal models introduced in Section 3. A quick ...
8
Word Blending and Other Formal Models of Bio-operations
... several formal models of DNA-based processes have been proposed and studied in the formal language ...classical formal language word and language operations, as well as several bio-operations, ...
121
Formal models of the extension activity of DNA polymerase enzymes
... a formal language operation originally proposed by Tom Head [9] to model the recombination of DNA strands under the action of restriction enzymes and ligase ...as formal models of computation based ...
158
Forecasting of Software Development Work Effort: Evidence on Expert Judgment and Formal Models
... estimation models assume that there are organization-independent and stable relationships between the variables, ...estimation models recommend that core relationships be calibrated to the situation in ...
34
Playing with fire or playing it safe? Formal models of gambling in elections
... This is equivalent to considering (in a reduced form) a game in which after the incumbent’s ally chooses whether to dissent against him, the two engage in in a bar- gaining game over the policy choice. thus represents ...
175
Formal models, usability and related work in IR (editorial for special edition)
... a formal mathematical approach for interpreting the IR process as a form of ...theoretical models for IR and has seen some of them from the specification and prototype stage through to ...
9
MoL 2019 22: Incorporating Preference Information into Formal Models of Transitive Proxy Voting
... The point is that, in a proxy vote setting, preferences over alternatives determine not only how voters vote directly, but also how they delegate their votes since the proxy mechanism g [r] ...
84
Evidence and Formal Models in the Linguistic Sciences
... researchers modeling the social structure of science. Drawing on Kitcher’s (1993) seminal work on formally modelling the social structure of science, a number of philosophers of science have used agent-based ...
176
Model-based integration testing technique using formal finite state behavioral models for component-based software
... semi- formal models such as UML models a ff ecting the implementation transparency of software ...semi-formal models is not su ffi cient for the component users to understand its ...
47
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language
... useful formal models using a graphical idiom in place of the usual text based ...these models, their behaviour needs to be much more rigorously examined than the modeller can hope to achieve by hand ...
8
Formal Lagrangian Operad
... In Section 3, we describe the combinatorial tools needed to give a formal version of the local Lagrangian operad. As the problem consists mainly in taking Taylor’s series of some implicit equations we need devices ...
36
The use of a formal sensitivity analysis on epidemic models with immune protection from maternally acquired antibodies
... The structural identifiability results (19) of the previous section indicate that all model parameters, including those associated with the duration of MAb protection, are uniquely determined by a prevalence observation ...
44
The Design of Formal Languages
... M athem atical category theory [Arbib & M anes 75] [Goldblatt 84],[MacLane 71] [Rydeheard & Burstall 1988] has also been considered as a possible foimdation for mathematics. Domain theory and the denotational ...
411
Analysis of Quality Models Applied in Non Formal Education: Non Governmental Organizations and Nonprofit Organizations
... Education throughout life appears as one of the focuses of attention today when we refer to non-formal edu- cation. According to the report of World Bank [12], the number of countries prepared projects on ...
11
Natural and formal infinities
... does formal thought attempt to divest itself of informal imagery, the formal thinker is aware of the danger of endowing a given list of axioms with a particular embodied image, specifically because this may ...
46
Informalizing Formal Logic
... of formal logic in terms of argumentation applies, namely that these argument schemes are stronger than the “hypotheses scheme”, ...between formal and informal ...the formal argument schemes lose ...
36
FORMAL, NON-FORMAL, INFORMAL LEARNING
... - Non-formal or further education occurs when learners opt to acquire further knowledge or skill by studying voluntarily with a teacher who assists their self-determined interests, by using an organised ...
7
Endogenous (In)Formal Institutions
... First, a rise in the investment value encourages the elite to introduce more inclusive political institutions to convince the citizenry that a sufficient part of the returns on joint inv[r] ...
47
Formal Constraints on Metarules
... However, unconstrained metarule formalisms may possess more expressive power than is apparently needed, and, moreover, they are not always compatationally "safe." For example, they may g[r] ...
6