Abstract This research aimed to create value of construction and demolition waste be able used as a recycled coarse aggregate (RCA) in durable concrete, based on 7-year field investigation marine site. Fly ash was substitute Portland cement type I RCA concrete varied from 0 50% by weight binder with three W/B ratios comparing natural (NA) concrete. Cubical specimens were cast having round steel...

We define labeling homomorphisms on the cubical homology of higher-dimensional automata and show that they are natural with respect to cubical dimaps and compatible with tensor products. We also indicate two possible applications of labeled homology in concurrency theory.

In this paper we present an efficient framework for computation of persistent homology of cubical data in arbitrary dimensions. An existing algorithm using simplicial complexes is adapted to the setting of cubical complexes. The proposed approach enables efficient application of persistent homology in domains where the data is naturally given in a cubical form. By avoiding triangulation of the ...

Food microstructure represents the way their elements arrangement and their interaction. Researchers in this field benefit from identifying new methods of examination of the microstructure and analysing the images. Experiments were undertaken to study micro-structural changes of food material during drying. Micro-structural images were obtained for potato samples of cubical shape at different m...

Topological spaces such as classifying spaces, configuration spaces and spacetimes often admit extra directionality. Qualitative invariants on such directed spaces often are more informative, yet more difficult, to calculate than classical homotopy invariants because directed spaces rarely decompose as homotopy colimits of simpler directed spaces. Directed spaces often arise as geometric realiz...

In this thesis we construct a new model of intensional type theory in the category of cubical sets with connections. To facilitate this we introduce the notion of a nice path object category, a simplification of the path object category axioms of [vdBG12] that nonetheless yields the full path object category structure. By defining cubical n-paths and contraction operators upon them we exhibit t...

A new reduction algorithm for the efficient computation of the homology of cubical sets and polotypes, particularly strong for low dimensional sets embedded in high dimensions, is presented. The algorithm runs in linear time. The paper presents the theoretical background of the algorithm, the algorithm itself, experimental results based on an implementation for cubical sets as well as some theo...