Concept
Dynamic array
Related publications (183)
Succinct ordering and aggregation constraints in algebraic array theories
We discuss two extensions to a recently introduced theory of arrays, which are based on considerations coming from the model theory of power structures. First, we discuss how the ordering relation on the index set can be expressed succinctly by referring t ...
Elsevier Science Inc2024Imaging sensor device using an array of single-photon avalanche diode photodetectors
Edoardo Charbon, Andrei Ardelean
The invention relates to an Imaging sensor device in a stacked arrangement comprising: - a pixel array tier comprising a plurality of pixel segments each having a plurality of pixels for photon detection each providing a digital pixel output; - a processin ...
2024Light-Driven Thermo-Optical Effects in Nanoresonator Arrays
Giulia Tagliabue, Alfredo Angelo Luigi Naef, Ershad Mohammadi, Theodoros Tsoulos
Thermonanophotonics, that is the study of photothermal effects in optical nanoantennas, has recently attracted growing interest. In particular, going beyond thermoplasmonic designs, thermo-optical modulation of dielectric nanoantennas opens new opportuniti ...
WILEY-V C H VERLAG GMBH2023Bit-Line Computing for CNN Accelerators Co-Design in Edge AI Inference
David Atienza Alonso, Giovanni Ansaloni, Alexandre Sébastien Julien Levisse, Marco Antonio Rios, Flavio Ponzina
By supporting the access of multiple memory words at the same time, Bit-line Computing (BC) architectures allow the parallel execution of bit-wise operations in-memory. At the array periphery, arithmetic operations are then derived with little additional o ...
2023The splay-list: a distribution-adaptive concurrent skip-list
Amirkeivan Mohtashami, Dan Alistarh
The design and implementation of efficient concurrent data structures has seen significant attention. However, most of this work has focused on concurrent data structures providing good worst-case guarantees, although, in real workloads, objects are often ...
SPRINGER2023Synthesis of moving and beating moiré shapes
Jürgen Brugger, Roger Hersch, Thomas Walger
The present invention proposes a method for producing an authenticable moiré shape that simultaneously moves and shows a beating effect. The method relies on a combination of the 1D or the 2D moiré and the level line moiré. When tilting a compound showing ...
2022NP Satisfiability for Arrays as Powers
We show that the satisfiability problem for the quantifier-free theory of product structures with the equicardinality relation is inNP. As an application, we extend the combinatory array logic fragmentto handle cardinality constraints. The resulting fragme ...
Springer, Cham2022