Results 261 to 270 of about 1,998,502 (315)

On the formal principles of adornment and its meaning as a symbol in art (second section)

RES: Anthropology and Aesthetics, 2010
Kathryn Schoefert, Spyros Papapetros, Gottfried Semper   +2 more
openalex   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

A General Formal Method for Manifold Coverage Analysis of Satellite Constellations

IEEE Transactions on Aerospace and Electronic Systems, 2022
This article studies the problem of analyzing the coverage capacity of satellite constellations with respect to ground regions. The coverage characteristics and formulations are first investigated, and a corresponding symbol system is established.
Xiaoyu Chen, Zhiming Song, Guangming Dai, Maocai Wang, E. Ortore, C. Circi   +5 more
semanticscholar   +1 more source

Detection of Vulnerabilities of Blockchain Smart Contracts

IEEE Internet of Things Journal, 2023
With the wide application of Internet of Things and blockchain, research on smart contracts has received increased attention, and security threat detection for smart contracts is one of the main focuses.
Daojing He, Rui Wu, Xinji Li, Sammy Chan, M. Guizani   +4 more
semanticscholar   +1 more source

Hilbert symbol for Lubin-Tate formal groups. II

, 1985
С. В. Востоков, Ivan Fesenko
openalex   +2 more sources

Can Transformers Learn n-gram Language Models?

Conference on Empirical Methods in Natural Language Processing
Much theoretical work has described the ability of transformers to represent formal languages. However, linking theoretical results to empirical performance is not straightforward due to the complex interplay between the architecture, the learning ...
Anej Svete, Nadav Borenstein, Mike Zhou, Isabelle Augenstein, Ryan Cotterell   +4 more
semanticscholar   +1 more source

On the Notion of Naturalness in Formal Modeling

The Logic of Software. A Tasting Menu of Formal Methods, 2022
Eduard Kamburjan, S. Fiorini
semanticscholar   +1 more source

Formal Groups and the Norm Residue Symbol

, 1980
V. Kolyvagin
semanticscholar   +1 more source

Formal Modules for Relative Formal Lubin–Tate Groups

Journal of Mathematical Sciences, 2018
A. Madunts
semanticscholar   +1 more source

Ferroptosis: mechanisms, biology and role in disease

Nature Reviews Molecular Cell Biology, 2021
Xuejun Jiang, Brent R Stockwell, Marcus Conrad   +2 more
exaly  

Toward G-OWL: A Graphical, Polymorphic And Typed Syntax For Building Formal OWL2 Ontologies

The Web Conference, 2016
Michel Héon, R. Nkambou, C. Langheit
semanticscholar   +1 more source