The power of web services can only be realized when web services are utilized as building blocks to dynamically compose new web services. The Building Finder application is an example application that integrates information from several web services by modeling the web services as information sources in a mediator-based architecture. The paper also describes a mediator framework to dynamically ...

Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based firstorder relational model finder. Nitpick supports unbounded quantification, (co)inductive predicates and datatypes, and (co)recursive functions. Fundamentally a finite model finder, it approximates infinite types by finite subsets. Our experimental results on Isabelle theories and the TPTP library indic...

We use a modified version of the halo-based group finder developed by Yang et al. to select galaxy groups from the Sloan Digital Sky Survey (SDSS DR4). In the first step, a combination of two methods is used to identify the centers of potential groups and to estimate their characteristic luminosity. Using an iterative approach, the adaptive group finder then uses the average mass-to-light ratio...

â â â  â â â  nowadays, the world economies are rapidly moving towards being more knowledge-based economy (kbe) and supporting the force of knowledge as a vital component of economic growth. this recent acceleration in the transition to knowledge-based economy in the world, has affected regional economic performance. in this paper, we surveyed the regional convergence in knowledge-based economy...

The present research investigated individual differences in representations of a novel environment. Thirty-eight participants traversed an unfamiliar route over two floors of a building and drew sketch-maps of the route. Participants also completed a mental rotation task and route knowledge tasks: orientation (pointing to nonvisible landmarks), landmark recognition, route tracing on a floor pla...

In order to promote the development of further research on “object finder”, this paper aims utilize existing mode and modern scientific technological progress. By combining with TRIZ innovation method, shortcomings original plans are analyzed, intending propose a new concept for object finder, which consists two components, i.e., “locator” “searcher”. Additionally, explores both “searcher” resp...

It has been becoming more and more important to design systems capable of performing high-level management and control tasks in interactive dynamic environments. Meanwhile the traditional software techniques are not sufficient enough to be applied to develop and maintain such complex systems. The agent-oriented/based systems, rooted in a different view of computational entities, offer prospects...

The CRISPR system holds much promise for successful genome engineering, but therapeutic, industrial, and research applications will place high demand on improving the specificity and efficiency of this tool. CT-Finder (http://bioinfolab.miamioh.edu/ct-finder) is a web service to help users design guide RNAs (gRNAs) optimized for specificity. CT-Finder accommodates the original single-gRNA Cas9 ...