Wellsey - Cambridge Press : Introduction To Linear Algebra

Edisi

-

ISBN/ISSN

978-0-9802327-1-4

Deskripsi Fisik

-

Judul Seri

-

No. Panggil

EB1.23

Andi Offset : Journal of Intelligent Material Systems and Structures

Contact-aided compliant cellular mechanisms are cellular structures designed with contact mechanisms integrated into each cell to provide stress relief. This article addresses compliant cellular structures having curved walls and internal contact mechanisms. The use of curved walls in cellular structures tends to improve their performance in terms of global strain capability and is beneficia…

Proquest Computing : Johny Wilson's Computer Gaming World: Mapping the gaming…

Edisi

Nov 1996

ISBN/ISSN

-

Deskripsi Fisik

-

Judul Seri

-

No. Panggil

EJ1.12

Springer Verlag : SAT-based model-checking for security protocols analysis

Edisi

-

ISBN/ISSN

-

Deskripsi Fisik

-

Judul Seri

-

No. Panggil

EJ1.13

Sage Publication : Behavior Protocols for Software Components

In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to express the “interplay” on the component’s interfaces and reflect step-bystep refinement of the component’s specification during its design. In addition, the notation should be easy to comprehend and allow for f…

Sage Publication : SIMULATION

Data Distribution Management (DDM) is one of the High-level Architecture (HLA) services that reduce message traffic over the network. The major purpose of DDM is to filter and route the exchange of data between federates during a federation. However, this traffic reduction usually results in a significant computational overhead, which is caused by calculating the intersection between update …

Sage Publication : Social Science Computer Review

Cognitive interviewing is a well-established method for evaluating and improving a questionnaire prior to fielding. However, its present implementation brings with it some challenges, notably in terms of small sample sizes or the possibility of interviewer effects. In this study, the authors test web surveys through nonprobability online panels as a supplemental means to implement cognitive …

Sage Publication : International Journal of High Performance Computing Applic…

The scalability and efficiency of graph applications are significantly constrained by conventional systems and their supporting programming models. Technology trends such as multicore, manycore, and heterogeneous system architectures are introducing further challenges and possibilities for emerging application domains such as graph applications. This paper explores the parallel execution of …

Sage Publication : Statistical Modelling

Edisi

-

ISBN/ISSN

-

Deskripsi Fisik

-

Judul Seri

-

No. Panggil

EJ1.10

Sage Publication : The International Journal of Robotics Research

RGB-D cameras provide both color images and per-pixel depth estimates. The richness of this data and the recent development of low-cost sensors have combined to present an attractive opportunity for mobile robotics research. In this paper, we describe a system for visual odometry and mapping using an RGB-D camera, and its application to autonomous flight. By leveraging results from recent st…