Results 61 to 70 of about 733,243 (331)
Utilization of Symmetric Switching Functions in the Symbolic Reliability Analysis of Multi-State k-out-of-n Systems [PDF]
International Journal of Mathematical, Engineering and Management Sciences, 2019 Symmetric switching functions (SSFs) play a prominent role in the reliability analysis of a binary k-out-of-n: G system, which is a dichotomous system that is successful if and only if at least k out of its n components are successful.
Ali Muhammad Ali Rushdi
doaj +1 more source
Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications
, 2017 This paper presents a framework for automatic synthesis of a control sequence for multi-agent systems governed by continuous linear dynamics under timed constraints.
Andersson, Sofie +2 more
core +1 more source
Advanced Functional Materials, EarlyView.Two‐photon lithography (TPL) enables 3D magnetic nanostructures with unmatched freedom in geometry and material choice. Advances in voxel control, deposition, and functionalization open pathways to artificial spin ices, racetracks, microrobots, and a number of additional technological applications.
Joseph Askey +5 more
wiley +1 more source
Non-Axiomatic Logic Modeling of English Texts for Knowledge Discovery and Commonsense Reasoning
Applied Sciences, 2023 Non-axiomatic logic (NAL) is a term-based, non-monotonic, multi-valued logic with evidence-based formal semantics. All those characteristics position NAL as an excellent candidate for modeling natural language expressions and supporting artificial agents
Osiris Juárez +2 more
doaj +1 more source
, 2009 Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems often interact with other systems, or agents.
Fisman, Dana +2 more
core +2 more sources
Joint Control of Radiated and Surface Waves via Space‐Time Coding Metasurfaces
Advanced Functional Materials, EarlyView.A unified space‐time coding metasurface platform enables simultaneous control of radiated and surface‐confined waves across multiple harmonics. Demonstrated functionalities include multi‐frequency beam shaping; surface‐wave excitation, and hybrid multiplexing.
Zihao Dai +6 more
wiley +1 more source
On Affine Logic and {\L}ukasiewicz Logic [PDF]
, 2014 The multi-valued logic of {\L}ukasiewicz is a substructural logic that has been widely studied and has many interesting properties. It is classical, in the sense that it admits the axiom schema of double negation, [DNE]. However, our understanding of {\L}
Arthan, Rob, Oliva, Paulo
core
Spectrally Tunable 2D Material‐Based Infrared Photodetectors for Intelligent Optoelectronics
Advanced Functional Materials, EarlyView.Intelligent optoelectronics through spectral engineering of 2D material‐based infrared photodetectors. Abstract The evolution of intelligent optoelectronic systems is driven by artificial intelligence (AI). However, their practical realization hinges on the ability to dynamically capture and process optical signals across a broad infrared (IR) spectrum.
Junheon Ha +18 more
wiley +1 more source
A proposal for the C++ standard : Bool_set, multi-valued logic [PDF]
, 2006 We propose a design for multi-valued logic, for integration into the C++ standard. The main motivation for this class comes from interval arithmetic, where it can be conveniently used as return type of comparison operators.
Brönnimann, Hervé +2 more
core +2 more sources
Integrative Approaches for DNA Sequence‐Controlled Functional Materials
Advanced Functional Materials, EarlyView.DNA is emerging as a programmable building block for functional materials with applications in biomimicry, biochemical, and mechanical information processing. The integration of simulations, experiments, and machine learning is explored as a means to bridge DNA sequences with macroscopic material properties, highlighting current advances and providing ...
Aaron Gadzekpo +4 more
wiley +1 more source