Results 91 to 100 of about 1,527,783 (278)
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
, 2015 We present a labelled sequent calculus for Boolean BI, a classical variant of O'Hearn and Pym's logic of Bunched Implication. The calculus is simple, sound, complete, and enjoys cut-elimination.
Gore, Rajeev, Hou, Zhe, Tiu, Alwen
core +1 more source
Structural properties of linear probabilistic constraints [PDF]
Optimization, 2007 The paper provides a structural analysis of the feasible set defined by linear probabilistic constraints. Emphasis is laid on single (individual) probabilistic constraints. A classical convexity result by Van de Panne/Popp and Kataoka is extended to a broader class of distributions and to more general functions of the decision vector.
openaire +3 more sources
Advanced Engineering Materials, EarlyView.Laser surface texturing significantly improves the corrosion resistance and mechanical strength of 3D‐printed iron polylactic acid (Ir‐PLA) for marine applications. Optimal laser parameters reduce corrosion by 80% and enhance tensile strength by 25% and ductility by 15%.
Mohammad Rezayat +6 more
wiley +1 more source
Optimum structural design with static aeroelastic constraints [PDF]
The static aeroelastic performance characteristics, divergence velocity, control effectiveness and lift effectiveness are considered in obtaining an optimum weight structure. A typical swept wing structure is used with upper and lower skins, spar and rib
Bowman, Keith B +2 more
core +1 more source
Iterative Instance Segmentation
, 2016 Existing methods for pixel-wise labelling tasks generally disregard the underlying structure of labellings, often leading to predictions that are visually implausible.
Hariharan, Bharath +2 more
core +1 more source
Innovating Aircraft Repair Processes: The Role of Digitalization in Sustainability
Advanced Engineering Materials, EarlyView.This research explores how digitalization—by storing detailed non‐destructive testing data in structured DICONDE databases and creating a standard data model of the component—innovates aviation maintenance and repair processes. Coupled with a developed state‐based simulation model, it enables data‐driven, sustainable repair strategies that reduce waste,
Johanna Aigner +3 more
wiley +1 more source
Constrained Texture Mapping And Foldover-free Condition [PDF]
, 2010 Texture mapping has been widely used in image processing and graphics to enhance the realism of CG scenes. However to perfectly match the feature points of a 3D model with the corresponding pixels in texture images, the parameterisation which maps a ...
Yang, Xiaosong +2 more
core
Modeling of amorphous carbon structures with arbitrary structural constraints
, 2010 In this paper we describe a method to generate amorphous structures with arbitrary structural constraints. This method employs the Simulated Annealing algorithm to minimize a simple yet carefully tailored Cost Function (CF). The Cost Function is composed
Cassol, L. A. +4 more
core +1 more source
Advanced Engineering Materials, EarlyView.This study explores the lightweight potential of laser additive‐manufactured NiTi triply periodic minimal surface sheet lattices. It systematically investigates the effects of relative density and unit cell size on surface quality, deformation recovery, compression behavior, and energy absorption.
Haoming Mo +3 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Herein, environmental scanning electron microscopy (ESEM) is discussed as a powerful extension of conventional SEM for life sciences. By combining high‐resolution imaging with variable pressure and humidity, ESEM allows the analysis of untreated biological materials, supports in situ monitoring of hydration‐driven changes, and advances the functional ...
Jendrian Riedel +6 more
wiley +1 more source