Sciweavers

5205 search results - page 67 / 1041
» Tilings and model theory
Sort
View
ECAL
2001
Springer
14 years 1 months ago
Formal Description of Autopoiesis Based on the Theory of Category
Since the concept of autopoiesis was proposed as a model of minimal living systems by Maturana and Varela, and applied to social systems by Luhmann, there has been only a few math...
Tatsuya Nomura
CSE
2009
IEEE
14 years 24 days ago
Satisficing the Masses: Applying Game Theory to Large-Scale, Democratic Decision Problems
ACT We present ongoing research on large-scale decision models in which there are many invested individuals. We apply our unique Bayesian belief aggregation approach to decision pr...
Kshanti A. Greene, Joe Michael Kniss, George F. Lu...
BIRTHDAY
2006
Springer
14 years 18 days ago
A Stochastic Theory of Black-Box Software Testing
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
Karl Meinke
PG
2007
IEEE
14 years 3 months ago
Visualization of Dyeing based on Diffusion and Adsorption Theories
This paper describes a method for simulating and visualizing dyeing based on weave patterns and the physical parameters of the threads and the dye. We apply Fick’s second law wi...
Yuki Morimoto, Masayuki Tanaka, Reiji Tsuruno, Kiy...
CP
1998
Springer
14 years 1 months ago
Random Constraint Satisfaction: Theory Meets Practice
Abstract. We study the experimental consequences of a recent theoretical result by Achlioptas et al. that shows that conventional models of random problems are trivially insoluble ...
Ewan MacIntyre, Patrick Prosser, Barbara M. Smith,...