The mission of UniProt is to support biological research by providing a freely accessible, stable, comprehensive, fully classified, richly and accurately annotated protein sequence knowledgebase, with extensive cross-references and querying interfaces. UniProt is comprised of four major components, each optimized for different uses: the UniProt Archive, the UniProt Knowledgebase, the UniProt Re...

Selecting construction methods, scheduling activities, and planning the use of site space are key to constructing a project efficiently. Site layout and activity scheduling have been tackled as independent problems. Their interdependence is often ignored at the planning stage and may be dealt with—if at all—when construction is underway. Problems that may have had easy solutions if dealt with e...

In the framework of quantum computational tensor network, which is a general framework of measurement-based quantum computation, the resource many-body state is represented in a tensor-network form (or a matrix-product form), and universal quantum computation is performed in a virtual linear space, which is called a correlation space, where tensors live. Since any unitary operation, state prepa...

due to substantial effect of classification of resource models on future mine planning, one should come with an accurate method of estimation to guarantee that the minimum error is acquired in the estimation process. the known world class cu-mo deposit, sarcheshmeh porphyry deposit (central iran) selected as the study area. the hypogene zone of the deposit was chosen as the space in which estim...

due to substantial effect of classification of resource models on future mine planning, one should come with an accurate method of estimation to guarantee that the minimum error is acquired in the estimation process. the known world class cu-mo deposit, sarcheshmeh porphyry deposit (central iran) selected as the study area. the hypogene zone of the deposit was chosen as the space in which estim...

We introduce a new cryptographic primitive: Proofs of Space-Time (PoSTs) and construct a practical protocol for implementing these proofs. A PoST allows a prover to convince a verifier that she spent a “space-time” resource (storing data—space—over a period of time). Formally, we define the PoST resource as a trade-off between CPU work and space-time (under reasonable cost assumptions, a ration...

Results of the kind \Almost every oracle in exponential space separates P from NP" or \Almost every set in exponential time is P-bi-immune" can be precisely formulated via a new approach in Structural Complexity recently introduced by Lutz. He deenes a resource-bounded measure in exponential time and space classes that generalizes Lebesgue measure, a powerful mathematical tool. We investigate h...

Today’s batch computing systems derive from a job scheduling paradigm. In contrast, utility service environments assign measured quantities of resources to long-running customer activities according to policies for resource matching and allocation. In this paper we explore the duality between job scheduling and utility resource management using a leasing abstraction that generalizes reservation...

nowadays, marketing managers are more concerned with identifying and understanding customer behavior in the online space. since the customers in online space are not visible, it is much essential to have more information about them to provide better services. customer segmentation is one way to improve the customer problems in an online space. identifying characteristics of customers and optima...