1925 search results - page 202 / 385 » Theory research at Google |
184
click to vote
JSC
2000
15 years 6 months ago
2000
Tarski-Givant's map calculus is briefly reviewed, and a plan of research is outlined aimed at investigating applications of this ground equational formalism in the theorem-pr...
155
click to vote
ITP
2002
15 years 6 months ago
2002
Presents a theoretical approach to understanding the local culture of firms in the multinational information sector. Called situating culture, this approach holds that cultural und...
170
click to vote
JECR
2002
15 years 6 months ago
2002
The fixed-income markets are enormous, however innovation in this sector has trailed that in the much smaller equities markets. Recently, a number of alternate trading systems (AT...
132
click to vote
MSCS
1998
15 years 6 months ago
1998
The context of this article is the program to develop monoidal bicategories with a feedback operation as an algebra of processes, with applications to concurrency theory. The obje...
188
click to vote
TGIS
2002
15 years 6 months ago
2002
The research field of transportation demand forecasting has started to focus on disaggregate travel behavior and micro-simulation models. To create data infrastructure, disaggrega...