We introduce another variant of quantum MIP, where the provers do not share entanglement, the communication between the verifier and the provers is quantum, but the provers are unlimited in the classical communication...
详细信息
We introduce another variant of quantum MIP, where the provers do not share entanglement, the communication between the verifier and the provers is quantum, but the provers are unlimited in the classical communication between them. At first, this model may seem very weak, as provers who exchange information seem to be equivalent in power to a simple prover. This in fact is not the case-we show that any language in NEXP can be recognized in this model efficiently, with just two provers and two rounds of communication, with a constant completeness-soundness gap. Similar ideas and techniques may help help with other models of quantum MIP, including the dual question, of non communicating provers with unlimited entanglement.
The application collaboration was addressed to provide energy-efficient data services for distributed sensing applications to collaboratively interacting to achieve a desired global objective not detectable by any sin...
详细信息
The application collaboration was addressed to provide energy-efficient data services for distributed sensing applications to collaboratively interacting to achieve a desired global objective not detectable by any single cluster. An epoch-based transaction model was proposed by using the concept of sphere of control (SoC), and a collaborative sensing application can be dynamically formed as a nested architecture composed of time-synchronized applications. By loosening the rigid constraints of ACID to adapt the requirements of sensor networks, the submission, rollback and consistency rules ware educed and a two-phrase submission protocol was designed. Finally, it was illustrated that the model is capable of providing an adaptive formal template for sensing application collaboration. Our performance evaluations show that by applying the two-phrase submission protocol, we can significantly improve the number of reported answers and response time, raise resource utilization, and reduce the energyconsumption and data loss.
In this paper, we presented a method to improve structural modeling based on conserved domain clusters and structure-anchored alignments. We first constructed a template library of structural clusters for all conserve...
详细信息
ISBN:
(纸本)1595934804;9781595934802
In this paper, we presented a method to improve structural modeling based on conserved domain clusters and structure-anchored alignments. We first constructed a template library of structural clusters for all conserved sequence domains. Then, for each cluster, we built the profile using the structure and sequence information. Finally we use the profile and structural alignments as anchors to increase the alignment accuracy between a query and its templates. Our preliminary results show that this method can be used for the partial prediction for a majority of known protein sequences with better qualities. Copyright 2007 ACM.
Material limitations and fabrication costs generally run at odds with the creativity of architectural design, producing a wealth of challenging computational geometry problems. We have developed an algorithm for solvi...
详细信息
ISBN:
(纸本)1568813376
Material limitations and fabrication costs generally run at odds with the creativity of architectural design, producing a wealth of challenging computational geometry problems. We have developed an algorithm for solving an important class of fabrication constraints: those associated with planar construction materials such as glass or plywood. Starting with a complex curved input shape, defined as a NURBS or subdivision surface, we use an iterative clustering method to remesh the surface into planar panels following a cost function that is adjusted by the designer. We solved several challenging connectivity issues to ensure that the topology of the resulting mesh matches that of the input surface. The algorithm described in this paper has been implemented and developed in conjunction with an architectural design seminar. How the participants incorporated this tool into their design process was considered. Their important feedback led to key algorithmic and implementation insights as well as many exciting ideas for future exploration. This prototype tool has potential to impact not only architectural design, but also the engineering for general fabrication problems.
Low-power design is one of the most important issues in wireless sensor networks (WSNs) , while reliable information transmitting should be ensured as well. Transmitting power (TP) control is a simple method to make t...
详细信息
Low-power design is one of the most important issues in wireless sensor networks (WSNs) , while reliable information transmitting should be ensured as well. Transmitting power (TP) control is a simple method to make the power consumption down, but excessive interferences from potential adjacent operating links and communication reliability between nodes should be considered. In this paper, a reliable and energy efficient protocol is presented, which adopts adaptive rate control based on an optimal TP. A mathematical model considering average interference and network connectivity was used to predict the optimal TP. Then for the optimal TP, active nodes adaptively chose the data rate with the change of bit-error–rate(BER) performance. The efficiency of the new strategy was validated by mathematical analysis and simulations. Compared with 802.11 DCF which uses maximum unified TP and BASIC protocol, it is shown that the higher average throughput can achieve while the energy consumption per useful bit can be reduced according to the results.
Despite significant advances in parts of the physical layer, available WLAN systems still cannot offer wired equivalent bandwidth. In this paper we propose a novel concept, called wireless self-organizing backbone mes...
详细信息
Despite significant advances in parts of the physical layer, available WLAN systems still cannot offer wired equivalent bandwidth. In this paper we propose a novel concept, called wireless self-organizing backbone mesh network (WiSoNet), for a wireless network infrastructure as a backbone and describe its long-term potential. WiSoNet combines two major IEEE standards - IEEE 802.11 (WLAN) and IEEE 802.16 (WiMAX) to build a heterogeneous wireless network topology. To aggregate bandwidth of multiple WLAN connections we introduce a hybrid network solution that uses ad-hoc mechanisms. Further, to decrease the amount of administration and resource management, we use specific algorithms for the self-organization of routing and channels assignment. Since the WiMAX-based supply network already supports quality of service, we propose mechanisms to extend the QoS to end users. Accordingly, we present our prototypical system implementation and discuss the issues we will focus on in the future
In respect to the demographic change, currently taking place in Germany, especially in the federal state of Mecklenburg-Vorpommern, the project "AGnES" was started by the University of Greifswald (Faculty of...
详细信息
In respect to the demographic change, currently taking place in Germany, especially in the federal state of Mecklenburg-Vorpommern, the project "AGnES" was started by the University of Greifswald (Faculty of Medicine) and the University of Rostock (Faculty computerscience and Electrical Engineering). The project aims to develop an infrastructure helping to assist physicians. The essential of the project is the Community Medicine Nurse (CMN), performing home visits, physical examinations and monitoring of patients. During the examinations the CMN is in contact with the supervising family doctor. Therefore, a data connection transmitting telemedical, audio and video data has to be established. Our work handles an automatical antenna positioning system designed for the mobile WiMAX subscriber stations, which are part of the communication architecture.
In the field of Service-Oriented architectures the implementation of business logic and business processes is well-understood and covered by existing development approaches, but concepts for a lightweight service cons...
详细信息
In the field of Service-Oriented architectures the implementation of business logic and business processes is well-understood and covered by existing development approaches, but concepts for a lightweight service consumption in order to build interactive service-based applications are still in a preliminary phase. This lack of service-consumer-orientation prevents users with limited IT skills to get easy access to services and their offered functionalities. The paper presents an approach that follows the idea of integration at the presentation layer enhanced by user interface (UI) related service annotations. It describes the relationship of these ideas to already existing mashup approaches and gives an insight into how services can be composed to complex interactive applications in a visual manner without the need to write any code.
In this paper we present three concepts that address movement-based interaction using camera tracking. Based on our work with several movement-based projects we present four selected applications, and use these applic...
详细信息
This paper presents performance assessment of differential evolution for multiobjective optimization with self adaptation algorithm, which uses the self adaptation mechanism from evolution strategies to adapt F and ...
详细信息
This paper presents performance assessment of differential evolution for multiobjective optimization with self adaptation algorithm, which uses the self adaptation mechanism from evolution strategies to adapt F and CR parameters of the candidate creation in DE. Results for several runs on CEC2007 special session test functions are presented and assessed with different performance metrics. Based on these metrics, algorithm strengths and weaknesses are discussed.
暂无评论