Results 11 to 20 of about 4,087,447 (281)
Predictive modeling in a polyhedral optimization space [PDF]
International Symposium on Code Generation and Optimization (CGO 2011), 2011 It has been shown that the right set of polyhedral optimizations can make a significant difference in the running time of a program. However, the number of alternatives for a program transformed with polyhedral optimizations can be enormous. Thus, it is often impossible to iterate over a significant fraction of the entire space of polyhedral ...
Park, Eunjung +4 more
core +7 more sources
Data-Driven Modeling of Composition-Processing-Microstructure Relations for Recycled Aluminum Cast Alloys. [PDF]
Adv Sci (Weinh)Interpretable machine learning reveals how composition and processing govern the formation and microstructural burden of Fe‐rich intermetallic compounds in recycled Al–Si–Fe–Mn alloys. By separating morphology selection from morphology‐conditioned burden partitioning, this framework shows that identical Fe contents can yield different intermetallic ...
Wang J, Mohammed W, Raabe D.
europepmc +2 more sources
Dimple-Encoded Reprogrammable Origami. [PDF]
Adv Sci (Weinh)Local snap‐through of bistable dimples turns flat elastic sheets into reprogrammable origami structures. Interaction‐guided dimple arrays act as angle‐programmable hinge bands, enabling one sheet to morph into distinct polygonal and three‐dimensional configurations while retaining stable shapes for deployable and protective functions.
Zhang Q +6 more
europepmc +2 more sources
Steric-Pressure-Driven Topological Reconstruction for High-Performance Zintl Phase Thermoelectrics with Machine-Learning Validation. [PDF]
Adv Sci (Weinh)Synergistic Sr and Ag co‐doping drives steric‐pressure‐induced reconstruction from a 2D layered structure to a cross‐linked 3D framework in the Ca9‐xSrxZn4+y‐zAgzSb9 system, enhancing carrier mobility while maintaining a large Seebeck coefficient and doubling ZT to 0.73 at 873 K, with hybrid transfer machine learning further capturing the compositional
Kim S +7 more
europepmc +2 more sources
Minimal Transport Units Govern Oxygen-Defect Stabilization and Transport for Lightweight Solid Electrolytes. [PDF]
Adv Sci (Weinh)Lightweight borate chemistry combined with minimal transport units provides a new pathway for designing lightweight oxide‐ion solid electrolytes. ABSTRACT Solid electrolytes are central to electrochemical energy technologies, including fuel cells, sensors, catalysis, membrane separation, and electrolyser.
Li X +13 more
europepmc +2 more sources
Riemannian space tessellation with polyhedral room images
, 2022 International audienceCounting the images sources of rectangular rooms is a well known technique, based on mirroring the original rooms on all its walls in order to tesselate the Euclidian space, leading to a quadratic increase with layer order.
Polack, Jean-Dominique +3 more
core +6 more sources
State-Space Region-Invariance of Discrete-Time Control Systems
IEEE Access, 2023 In the paper, the so-called region-invariance properties of discrete-time control systems are considered. An already known notion of positivity of control systems has been generalized (using a kind of geometric insight instead of a pure algebraic ...
Wiktor Malesza, Michal Slawomir Wiraszka
doaj +1 more source
Combinatorial and Computational Investigations of Neighbor-Joining Bias
Frontiers in Genetics, 2020 The Neighbor-Joining algorithm is a popular distance-based phylogenetic method that computes a tree metric from a dissimilarity map arising from biological data.
Ruth Davidson, Abraham Martín del Campo
doaj +1 more source
Polyhedral line transversals in space [PDF]
Discrete & Computational Geometry, 1988 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Avis, D., Wenger, Rephael
openaire +2 more sources
Geometric Model Checking of Continuous Space [PDF]
Logical Methods in Computer Science, 2022 Topological Spatial Model Checking is a recent paradigm where model checking techniques are developed for the topological interpretation of Modal Logic. The Spatial Logic of Closure Spaces, SLCS, extends Modal Logic with reachability connectives that, in
Nick Bezhanishvili +5 more
doaj +1 more source