Results 101 to 110 of about 532,868 (319)
An specification language for fuzzy systems
Mathware & soft computing, 2001 This work prcscnts thc main fcaturcs of XFL3, a languagc for fuzzy systcm spccification, which has bccn dcfincd as thc common dcscription languajc for thc tools forming thc Xfuzzy 3.0 dcvclopmcnt cnvironmcnt. Its main advantagcs arc its capability to admit uscr-dcfincd mcmbcrship functions, paramctric opcrators, and linguistic hcdgcs.
Moreno Velo, Francisco José +4 more
openaire +4 more sources
EXEL : a language for interactive behavioral synthesis [PDF]
, 1988 This paper describes a new input language for behavioral synthesis called EXEL. EXEL is a powerful language that permits the user to specify partially designed structures in the language.
Dutt, Nikil D., Gajski, Daniel D.
core
Advanced Engineering Materials, EarlyView.When realized as inserts in high‐pressure die casting, aluminum cooling channels for electric powertrain components and similar applications typically require a stabilizing filler to survive the process. The present study investigates relinquishing this filler using additively manufactured inserts promising performance improvements.
Dirk Lehmhus +9 more
wiley +1 more source
Single‐Crystal Castability of CM186LC Nickel‐Based Superalloy
Advanced Engineering Materials, EarlyView.The optimal conditions to obtain single‐crystal (SX) castings of the directional solidification nickel‐based superalloy CM186LC, are investigated. Cylindrical samples are cast via a proprietary SX Bridgman process. The effect of solidification rates (V) ranging from 1 to 10 mm⋅min−1 on the microstructure is explored.
André Baldissera +3 more
wiley +1 more source
Cryptographic Stack Machine Notation One
Труды Института системного программирования РАН, 2018 A worthy cryptographic protocol specification has to be human-readable (declarative and concise), executable and formally verified in a sound model. Keeping in mind these requirements, we present a protocol message definition notation named CMN.1, which ...
S. E. Prokopev
doaj +1 more source
Advanced Functional Materials, EarlyView.In this study, the interplay of dipolar dynamics and ionic charge transport in MOF compounds is investigated. Synthesizing the novel structure CFA‐25 with integrated freely rotating dipolar groups, local and macroscopic effects, including interactions with Cs cations are explored.
Ralph Freund +6 more
wiley +1 more source
Advanced Functional Materials, EarlyView.A multifunctional hydroxyapatite (HAp) coating integrated with silver‐gallium liquid metal nanoparticles (HAp‐Ag‐GaNPs) exhibits dual antibacterial and osteogenic properties. It effectively inhibits Gram‐positive and Gram‐negative bacteria, including resistant strains, while enhancing bone regeneration.
Ngoc Huu Nguyen +17 more
wiley +1 more source
SitLog: A Programming Language for Service Robot Tasks
International Journal of Advanced Robotic Systems, 2013 In this paper we present SitLog: a declarative situation-oriented logical language for programming situated service robot tasks. The formalism is task and domain independent, and can be used in a wide variety of settings.
Luis A. Pineda +4 more
doaj +1 more source
Advanced Functional Materials, EarlyView.The pre‐internalization phase of endocytosis remains poorly characterized at single‐cell levels. Single‐cell pre‐internalization mechanics are investigated using advanced robotic techniques. Cancer cells exhibit biphasic adhesion – rapid initial binding followed by reinforcement – while fibroblasts show gradual engagement.
Houari Bettahar +6 more
wiley +1 more source
Specification languages for mechanical languages and their processors a baker's dozen [PDF]
, 1961 Saul Gorn
openalex +1 more source