Abstract In the setting of $\operatorname{CAT}(\kappa)$ CAT(?) spaces, common fixed point iterations built from prox mappings (e.g. prox-prox, Krasnoselsky–Mann relaxations, nonlinear projected-gradients) converge locally linearly under assumption linear metric...

A t VL'96, we presented CAT, a system f o r bidding Web-based collaborative active textbooks on algorithms. CAT augmented the expressiw power of Web pages f o r publishing passive milltimedia information with a fullfledged interactive algorithm animation system. Views of a running program could reside on different machines, which made CAT particularly well-suited for electronic classrooms. In s...

We evaluated whether a chronic obstructive pulmonary disease (COPD) assessment test (CAT) with adjusted weights for the CAT items could better predict future respiratory-related hospitalizations than the original CAT. Two focus groups (respiratory nurses and physicians) generated two adjusted CAT algorithms. Two multivariate logistic regression models for infrequent (≤1/year) versus frequent (>...

This paper presents the Cross Infrastructure Attack Attribution Toolkit (CAT), which is a utility to analyze the vulnerability of 3G networks using telecommunication specifications. CAT analyzes vulnerabilities by generating attack graphs, which show the global view of the network in the event of an attack. The uniqueness of CAT is as follows: (1) usage of telecommunication specification writte...

Under a MIRT CAT’s (multidimensional computerized adaptive testing) testing scenario, an ability estimate in one dimension will provide clues for subsequently seeking a solution in other dimensions. This feature may enhance the efficiency of MIRT CAT’s item selection as well as its scoring algorithms compared with its counterpart, unidimensional CAT (UCAT). The shadow test approach ( van der Li...

Globally non-positively curved, or CAT(0), polyhedral complexes arise in a number of applications, including evolutionary biology and robotics. These spaces have unique shortest paths and are composed of Euclidean polyhedra, yet many properties of convex hulls in Euclidean space fail to transfer over. We give examples of some such properties. For 2-dimensional CAT(0) polyhedral complexes, we gi...

In 2020, the COVID-19 pandemic strongly affected all sectors, including education. Across globe, governments enacted policies restricting people's movement, affecting educational assessment industry. During lockdown, South Africa's National Benchmark Tests (NBTs) were cancelled. contrast to paper-pencil and linear tests deployed for NBTs, computer-adaptive testing (CAT) is a modern alternative....

There is little room for doubt about that cognitive diagnosis has received much attention recently. Computerized adaptive testing (CAT) is adaptive, fair, and efficient, which is suitable to large-scale examination. Traditional cognitive diagnostic test needs quite large number of items, the efficient and tailored CAT could be a remedy for it, so the CAT with cognitive diagnosis (CD-CAT) is pro...

We prove an abstract form of the strong convergence Halpern-type and Tikhonov-type proximal point algorithms in CAT(0) spaces. In addition, we derive uniform computable rates metastability (in sense Tao) for these iterations using proof mining techniques.

There is little room for doubt about that cognitive diagnosis has received much attention recently. Computerized adaptive testing (CAT) is adaptive, fair, and efficient, which is suitable to large-scale examination. Traditional cognitive diagnostic test needs quite large number of items, the efficient and tailored CAT could be a remedy for it, so the CAT with cognitive diagnosis (CD-CAT) is pro...