Inferences in directed acyclic graphs associated with probability intervals and sets of probabil­ ities are NP-hard, even for polytrees. We pro­ pose: I) an improvement on Tessem's AIR algo­ rithm for inferences on polytrees associated with probability intervals; 2) a new algorithm for ap­ proximate inferences based on local search; 3) branch-and-bound algorithms that combine the previous techn...

ERGIOVANNI and Starratt pose a fundamental question that is basic to the ends, means, and outcomes of educa tion: Should schools use people to accom plish organizational ends or should people use schools to accomplish human ends? They ask the reader to recall, "the countless times he found no reason or no record of origin for a particular policy, act, or way of behaving in the schools of his ex...

This report details three aspects of work in progress involving the automatic or interactive recogin tion of spatial templates using constraint satisfaction techniques The rst section discusses the incorporation of information about template models acquired through interactive search for tem plate instances into updated models a preliminary study the complexity of the spatial template recogniti...

For Stu dents En ter ing the Oklahoma State Sys tem for Higher Ed u ca tion Sum mer 2010 through Spring 2011 GEN ERAL RE QUIRE MENTS Geo graphic In for ma tion Sci ence B452 Bach e lor of Sci ence in Geo graphic In for ma tion Sci ence To tal Credit Hours . . . . . . . . . . . . . . . . . . . . . . . . 124• To tal Up per-Di vi sion Credit Hours . . . . . . . . . . . . . . . . . 48 Min i mum Re ...

This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes CSP It is il lustrated by an examination of the Needham Schroeder public key protocol The contribution of this paper is to develop a speci c theory appropriate to the analy sis of authentication protocols built on top of the gen eral CSP semantic...

We explore the simulation and computational capabilities of dynamical systems. We rst introduce and compare several notions of simulation between discrete systems. We give a general framework that allows dynamical systems to be considered as computational machines. We introduce a new discrete model of computation: the analog automaton model. We determine the computational power of this model an...

For Students Entering the Oklahoma State System for Higher Education Summer 2016 through Spring 2017 GEN ERAL RE QUIRE MENTS Pre-Med i cal/Bio med i cal En gi neer ing B163 Bach e lor of Sci ence in Chem i cal En gi neer ing To tal Credit Hours . . . . . . . . . . . . . . . . . . . . . . . . 132• Min i mum Re ten tion/Grad u a tion Grade Point Av er ages: Over all Com bined and OU . . . . . . ....

Recently, there has been great interest in using neural networks to learn sequences of patterns. This is obviously very important from a cognitive point of view. In this paper, we show how a simple network with a hippocampal-like structure can be used to learn complex stimulus sequences. Specifically, we train the system, which has a one-step recurrent dynamics, to disambiguate sequences with t...

‘I'he effect of administration of cortisol on the development of plasma (eli tumors in BAL13/c mice was studied. Mice of both sexes were injected i.p. with mineral oil. Mice injected with mm eral oil alone demonstrated peritoneal lipogranuloma, hypercel lular inflammatory 8..S(ites, sustained hyperglobulinemia and high incidence of Pla@sma cell tumor development. Cortisol treated mice failed ...

This paper describes a prototype news analysis system Which classifies and indexes news stories in real time. The system extracts stories from a newswire, parses the sentences of the story, and then maps the syntactic structures into a concept base. This process results in an index containing both ger~eral categories and specific details. Central to this system is a Government-Binding parser wh...