Results 31 to 40 of about 3,718,653 (287)
Teaching Formal Methods and Discrete Mathematics [PDF]
F-IDE, 2014 Despite significant advancements in the conception of (formal) integrated development environments, applying formal methods in software industry is still perceived as a difficult task.
M. Jaume, T. Laurent
semanticscholar +1 more source
An Effective Corner Increment-Based Algorithm for the Two-Dimensional Strip Packing Problem
IEEE Access, 2018 The 2-D strip packing problem is an NP-hard combinatorial optimization problem. Given a strip with fixed width and infinite height, the aim of strip packing is to pack a set of rectangles with known widths and heights into the strip such that the used ...
Zhen Chen, Jianli Chen
doaj +1 more source
Stable discontinuous Galerkin FEM without penalty parameters [PDF]
, 2015 We propose a modified local discontinuous Galerkin (LDG) method for second--order elliptic problems that does not require extrinsic penalization to ensure stability.
John, Lorenz +2 more
core +5 more sources
Proximity Effect Aware Detailed Placement in Electron Beam Lithography
MATEC Web of Conferences, 2018 Proximity effect is one of the most tremendous consequences that produces unacceptable exposures during electron beam lithography (EBL), and thus distorting the layout pattern. In this paper, we propose the first work which considers the proximity effect
Chen Yuhang +4 more
doaj +1 more source
Bipartite Random Graphs and Cuckoo Hashing [PDF]
Discrete Mathematics & Theoretical Computer Science, 2006 The aim of this paper is to extend the analysis of Cuckoo Hashing of Devroye and Morin in 2003. In particular we make several asymptotic results much more precise.
Reinhard Kutzelnigg
doaj +1 more source
Storage sizing for embedding of local gas production in a micro gas grid
EPJ Web of Conferences, 2014 In this paper we study the optimal control of a micro grid of biogas producers. The paper considers the possibility to have a local storage device for each producer, who partly consumes his own production, i.e. prosumer.
Alkano D. +3 more
doaj +1 more source
No acute tetrahedron is an 8-reptile
, 2018 An $r$-gentiling is a dissection of a shape into $r \geq 2$ parts which are all similar to the original shape. An $r$-reptiling is an $r$-gentiling of which all parts are mutually congruent.
Haverkort, Herman
core +1 more source
On the existence of independent (1,k)-dominating sets for k\in\{1,2\} in two products of graphs [PDF]
Opuscula MathematicaA subset \(J\) of vertices is said to be a \((1,k)\)-dominating set if every vertex \(v\) not belonging to the set \(J\) has a neighbour in \(J\) and there exists also another vertex in \(J\) within the distance at most \(k\) from \(v\).
Paweł Bednarz +2 more
doaj +1 more source
Split-critical and uniquely split-colorable graphs [PDF]
Discrete Mathematics & Theoretical Computer Science, 2010 Graphs and ...
Tınaz Ekim +2 more
doaj +1 more source
Sparse Group Feature Selection by Weighted Thresholding Homotopy Method
IEEE Access, 2020 In this paper, we investigate the sparse group feature selection problem, in which covariates posses a grouping structure sparsity at the level of both features and groups simultaneously.
Jinglan Wu, Huating Huang, Wenxing Zhu
doaj +1 more source