Results 71 to 80 of about 7,042,113 (292)
Inverse Design of Nanoparticulate Materials
Advanced Materials, EarlyView.Inverse design shifts nanomaterial development from empirical trial‐and‐error to predictive model‐driven strategies. It can rely on knowledge‐based, data‐based, or hybrid process and property functions. This perspective article provides a practical framework for applying inverse design based on instructive examples. It discusses which modeling approach
Nabi Etienne Traoré +5 more
wiley +1 more source
Monomaterial ecological buildings, with Mopatel® and Ecopierra® concrete [PDF]
Urbanism. Arhitectura. Constructii, 2013 This paper presents a case study performed on a pilot building from Gainesti, Suceava county. The constructive system used is unique in that it employs a monomaterial, namely ecological concrete of type MOPATEL® or ECOPIERRA®.
Livia Miron +2 more
doaj
Programmable Pneumatic Actuator System for a Bioinspired Artificial Colon
Advanced Materials Technologies, EarlyView.A modular soft robotic colon simulator driven by programmable pneumatic actuation is developed to mimic physiological and pathological‐like motility patterns of the large intestine. Finite element–guided design and distributed control enable anatomically realistic deformation for peristalsis, segmentation, and mass movements, supporting capsule ...
Andrew Bickerdike +6 more
wiley +1 more source
Construction and deduction in type theories
, 1999 This dissertation is concerned with interactive proof construction and automated proof search in type theories, in particular the Calculus of Construction and its subsystems. Type theories can be conceived as expressive logics which combine a functional programming language, strong typing and a higher-order logic.
openaire +1 more source
Liquid‐Crystal‐Based Reconfigurable Intelligent Surface for 7 GHz Mobile Communication
Advanced Materials Technologies, EarlyView.The glass‐based liquid‐crystal reconfigurable intelligent surface (LC‐RIS) integrates active‐matrix driving and blind‐greedy phase optimization within a 5G‐NR OFDM framework. This enables continuously tunable and autonomous enhancement of wireless coverage. Leveraging the transparency and manufacturability of liquid crystal panels, it is ideally suited
Tien‐Lun Ting +5 more
wiley +1 more source
Type theoretic semantics for semantic networks: an application to natural language engineering [PDF]
, 1996 Semantic Networks have long been recognised as an important tool for natural language processing. This research has been a formal analysis of a semantic network using constructive type theory.
Shiu, Simon K.Y.
core
Quotient topologies in constructive set theory and type theory [PDF]
, 2006 The standard construction of quotient spaces in topology uses full separation and power sets. We show how to make this construction using only the (generalised) predicative methods available in constructive type theory and constructive set ...
Palmgren, Erik, Ishihara, Hajime
core +1 more source
Advanced Materials Technologies, EarlyView.A constraint‐based analytical framework maps the coupled effects of material properties, structural parameters, and operating conditions in tubular dielectric elastomer pumps for extracorporeal circulatory applications. The approach defines performance boundaries through mechanical, electrical, and hydraulic constraints and identifies feasible design ...
Yan Zhang +3 more
wiley +1 more source
Constructive Memory in Design Thinking
, 1999 This paper introduces the concept of constructive memory as a framework for the modelling of design thinking. It describes some recent results from empirical studies of designing to show a gap exists between our models of designing and these results. The
J.S. Gero
core
Advanced Optical Materials, EarlyView.Low‐index and low‐loss vdW muscovite represents an emerging robust dielectric platform for the creation of next‐generation all‐vdW nanophotonic architectures. Its utilization as a low‐index building‐block in all‐vdW multilayers enables extreme optical contrast when paired with MoS2, paving the way to the realization of few‐layer ultrathin DBS ...
Meri H. Hayrapetyan +10 more
wiley +1 more source