Results 91 to 100 of about 2,243,395 (337)
Specifics of Development and Implementation of Information Security Policies for Computer Networks
Безопасность информационных технологий, 2013 The paper considers basic features and requirements for information security policies and issues of their implementation in network security systems.
Dmitry Sergeevich Chernyavskiy
doaj
, 2004 Classical interpretations of Goedel's formal reasoning imply that the truth of some arithmetical propositions of any formal mathematical language, under any interpretation, is essentially unverifiable.
Anand, Bhupinder Singh
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
Advanced Engineering Materials, EarlyView.Ca2.5Ag0.3Sm0.2Co4O9 semiconductor materials are synthesized and produced in this study using the sol–gel and cold pressing techniques for thermoelectric generator applications. As template samples are added, the Seebeck coefficient and power factor values rise, peaking at 800 °C for Ca2.5Ag0.3Sm0.2Co4O9 at 274.47 μV K−1 and 0.58 mW mK−2, respectively.
Enes Kilinc +4 more
wiley +1 more source
Gender in legal language: formal and material use
Feminismo/s, 2008 Legal language has been shaped within a patriarchal system, and therefore has similar characteristics. Most of the –supposedly– universal concepts have been formed in the absence of women, confusing humanity with human beings of the masculine sex. Gender
Jasone Astola Madariaga
doaj +1 more source
New reasons for biologists to write with a formal language. [PDF]
Database (Oxford), 2022 Rodriguez-Esteban R.
europepmc +1 more source
Formal Languages and Groups as Memory [PDF]
Communications in Algebra, 2009 15 pages, 1 figure, exposition improved, glitches fixed, references and author's contact details ...
openaire +2 more sources
Formal verification of an autonomous personal robotic assistant [PDF]
, 2014 Human–robot teams are likely to be used in a variety of situations wherever humans require the assistance of robotic systems. Obvious examples include healthcare and manufacturing, in which people need the assistance of machines to perform key tasks.
Dautenhahn, K. +6 more
core
Advanced Engineering Materials, EarlyView.This work reveals the phase composition and quantitative morphology analysis of precipitation‐hardened Fe32Cu12Ni11Ti16Al29 complex‐concentrated alloy. The precipitates are shown to have a high coherency. Morphology transition between sphere, cuboidal, and elongated morphology is observed. Finally, the overaging behavior is captured using microhardness.
Rostyslav Nizinkovskyi +4 more
wiley +1 more source
Structural unambiguity of formal languages [PDF]
Czechoslovak Mathematical Journal, 1964 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources