Results 121 to 130 of about 852,128 (332)
Formal Language Theoretic Approach to the Disclosure Tree Strategy in Trust Negotiation
, 2009 Yoshiaki Takata, Hiroyuki Seki
openalex +2 more sources
Advanced Materials, EarlyView.Magnetic tunnel junctions (MTJs) using MgO tunnel barriers face challenges of high resistance‐area product and low tunnel magnetoresistance (TMR). To discover alternative materials, Literature Enhanced Ab initio Discovery (LEAD) is developed. The LEAD‐predicted materials are theoretically evaluated, showing that MTJs with dusting of ScN or TiN on ...
Sabiq Islam +6 more
wiley +1 more source
On languages of automaton counter machines
Моделирование и анализ информационных систем, 2010 Some properties of formal languages (ACML) of automaton counter machines are investigated. We show that a class of these languages is closed with respect to the following operations: union, intersection by regular sets, concatenation, infinite iteration (
E. V. Kuzmin, D. Ju. Chalyy
doaj
Formal Language for Objects’ Transactions
StandardsThe gap between software design and implementation often results in a lack of clarity and precision. Formal languages, based on mathematical rules, logic, and symbols, are invaluable for specifying and verifying system designs.
Mo Adda
doaj +1 more source
Advanced Materials Technologies, EarlyView.This manuscript describes the design and validation of an innovative melt electrowriting printer. With a turntable collector and modular software architecture, it unifies previous advanced MEW printer capabilities and enhances adaptability for a wide range of research applications.
Timo Baroth +3 more
wiley +1 more source
Formal models of Structure Building in Music, Language and Animal Songs [PDF]
, 2019 Willem Zuidema +4 more
openalex +1 more source
Advanced Materials Technologies, EarlyView.Modeling the blood–brain tumor barrier is challenging due to complex interactions between brain microvasculature and glioma cells. We present two‐photon polymerized 3D micro‐porous capillary‐like structures that support endothelial alignment, cytoskeletal organization, and pericyte‐endothelial‐glioma tri‐cultures.
Nastaran Barin +9 more
wiley +1 more source
Lattice walks ending on a coordinate hyperplane avoiding backtracking and repeats [PDF]
Enumerative Combinatorics and Applications, 2021 John Machacek
doaj
Compiler generation using formal specification of procedure-oriented and machine languages [PDF]
, 1967 Philip Gilbert, William G. McLellan
openalex +1 more source