Results 81 to 90 of about 683,541 (259)
Topological structures in computer science
Topologies of finite spaces and spaces with countably many points are investigated. It is proven, using the theory of ordered topological spaces, that any topology in connected ordered spaces, with finitely many points or in spaces similar to the set ...
E. Khalimsky
semanticscholar +1 more source
Compact, robust, and ultralow‐loss on‐chip photonic devices are essential for densely integrated photonic chips. Here, the underlying radiation mechanism in topological valley edge states is unveiled and a new methodology of interface topology driven bandgap and wavevector engineering is proposed to thoroughly suppress their radiation losses, thereby ...
Zhonglei Shen+6 more
wiley +1 more source
Constructing a Canonical form of a Matrix in Several Problems about Combinatorial Designs [PDF]
Partially supported by the Bulgarian Science Fund contract with TU Varna, No 487.The author developed computer programs needed for the classification of designs with certain automorphisms by the local approach method.
Mateva, Zlatka
core
Towards the Formal Specification and Verification of Maple Programs
In this paper, we present our ongoing work and initial results on the formal specification and verification of MiniMaple (a substantial subset of Maple with slight extensions) programs.
D.A. Schmidt+5 more
core +1 more source
Capillary‐Driven 3D Open Fluidic Networks for Versatile Continuous Flow Manipulation
The capillary‐driven 3D open fluidic networks (OFNs), composed of connected polyhedral frames, enable precise, programmable, and versatile manipulation of unary, binary, and multiple continuous flows in both spatial and temporal dimensions. OFNs represent a significant leap beyond conventional microfluidics, unlocking new possibilities for selective ...
Shuangmei Wu+4 more
wiley +1 more source
Distance-Based Fractional Dimension of Certain Wheel Networks
Metric dimension is one of the distance-based parameters which are used to find the position of the robot in a network space by utilizing lesser number of notes and minimum consumption of time. It is also used to characterize the chemical compounds.
Hassan Zafar+2 more
doaj +1 more source
Sorting probability for large Young diagrams
Sorting probability for large Young diagrams, Discrete Analysis 2021:24, 57 pp. Let $P=(X,\leq_P)$ be a finite partially ordered set (or _poset_, for short). A _linear extension_ $L$ of $P$ is a total ordering $\leq_L$ on $X$ such that for every $x,y\in
Swee Hong Chan, Igor Pak, Greta Panova
doaj +1 more source
A full high vacuum preparation and characterization chain unveils that hydroxyl‐induced trap states affect the charge transport in p‐ and n‐channel OFETs similarly. The variable‐temperature TLM analysis suggests that the activation energy of charge transport plays a more significant role than the density of trap states.
Yurii Radiev+3 more
wiley +1 more source
Metric Dimension Parameterized by Max Leaf Number
The metric dimension of a graph is the size of the smallest set of vertices whose distances distinguish all pairs of vertices in the graph. We show that this graph invariant may be calculated by an algorithm whose running time is linear in the input ...
Eppstein, David
core +1 more source
Automatic Exposure Volumetric Additive Manufacturing
Tomographic volumetric additive manufacturing (VAM) is resin‐based 3D printing technology, where objects are printed in seconds using volumetric light patterning. Although fast, tomographic VAM struggles to produce repeatable and accurate prints. This work demonstrates an automatic exposure method for tomographic VAM, resulting in commercial‐grade ...
Antony Orth+10 more
wiley +1 more source