2086 search results - page 120 / 418 » Mathematical Theory Exploration |
123
Voted
ASIAN
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
130
click to vote
LANMR
2007
15 years 5 months ago
2007
Teaching engineering students courses such as computer science theory, automata theory and discrete mathematics took us to realize that introducing basic notions of logic, especial...
115
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical co...
139
Voted
ENGL
2008
15 years 3 months ago
2008
For lifestyle-related disease caused by recent change of eating habits in Japan, this paper proposes a menu planning method using rough set theory, and it can satisfy each individu...
140
Voted
FUIN
1998
15 years 3 months ago
1998
The technique of image compression using Iterative Function System (IFS) is known as fractal image compression. An extension of IFS theory is called as Partitioned or local Iterati...