Results 101 to 110 of about 3,746,779 (357)
Современные информационные технологии и IT-образование, 2020 The authors paid special attention to the study of what administration is and how to apply this set of works on a specific example. This article discusses various features and aspects of network administration and security in educational institutions ...
Alexander Ponachugin, Sergey Popenko
doaj +1 more source
No information can be conveyed by certain events: The case of the clever widows of Fornicalia and the Stobon Oracle [PDF]
arXiv, 1999 In this short article, we look at an old logical puzzle, its solution and proof and discuss some interesting aspects concerning its representation in a logic programming language like Prolog. We also discuss an intriguing information theoretic aspect of the puzzle.
arxiv
Advanced Engineering Materials, EarlyView.AISI 304L stainless steel powder is mixed with silicon nitride (Si3N4) powder and processed by PBF‐LB/M, allowing partial retention of Si3N4. The numerical approach effectively predicts the Si3N4 powder homogeneity and N content distribution on the powder bed. Recent studies have focused on the alloying of nitrogen (N) in high‐alloy stainless steels by
Yuanbin Deng +7 more
wiley +1 more source
An Efficient Quantum Algorithm for some Instances of the Group Isomorphism Problem [PDF]
, 2010 In this paper we consider the problem of testing whether two finite groups are isomorphic. Whereas the case where both groups are abelian is well understood and can be solved efficiently, very little is known about the complexity of isomorphism testing ...
Gall, François Le
core +2 more sources
Methodological comparison of agent models [PDF]
, 1998 Hybrid agent architectures comprise the radical change of paradigms in AI over the past decades by reconciling the different styles of reactive, deliberative, even social systems.
Fischer, Klaus, Jung, Christoph G.
core +2 more sources
Contextual Semantics: From Quantum Mechanics to Logic, Databases, Constraints, and Complexity [PDF]
Bulletin of the European Association for Theoretical Computer
Science, Number 113, June 2014, pages 137--163, 2014 We discuss quantum non-locality and contextuality, emphasising logical and structural aspects. We also show how the same mathematical structures arise in various areas of classical computation.
arxiv
Partial Orders, Residuation, and First-Order Linear Logic [PDF]
arXiv, 2020 We will investigate proof-theoretic and linguistic aspects of first-order linear logic. We will show that adding partial order constraints in such a way that each sequent defines a unique linear order on the antecedent formulas of a sequent allows us to define many useful logical operators.
arxiv
Hydrogel‐Based Capacitive Sensor Model for Ammonium Monitoring in Aquaculture
Advanced Engineering Materials, EarlyView.Traditional techniques for monitoring aquaculture water quality, particularly ammonium levels, harm fish. This work presents a novel capacitive sensor with an ionic hydrogel transducer to monitor ammonium concentration in real time based on the ammonium‐induced hydrogel dissociation and osmotic pressure. Monitoring aquaculture water quality, especially
Mohammad Mirzaee +3 more
wiley +1 more source
Weak Mso with the Unbounding Quantifier [PDF]
26th International Symposium on Theoretical Aspects of Computer
Science STACS 2009 (2009) 159-170, 2009 A new class of languages of infinite words is introduced, called the max-regular languages, extending the class of $\omega$-regular languages. The class has two equivalent descriptions: in terms of automata (a type of deterministic counter automaton), and in terms of logic (weak monadic second-order logic with a bounding quantifier).
arxiv
Bridging Nature and Technology: A Perspective on Role of Machine Learning in Bioinspired Ceramics
Advanced Engineering Materials, EarlyView.Machine learning (ML) is revolutionizing the development of bioinspired ceramics. This article investigates how ML can be used to design new ceramic materials with exceptional performance, inspired by the structures found in nature. The research highlights how ML can predict material properties, optimize designs, and create advanced models to unlock a ...
Hamidreza Yazdani Sarvestani +2 more
wiley +1 more source