Results 81 to 90 of about 38,933 (219)
IEEE Access, 2020 Next-generation transportation will be integrated, interconnected and highly autonomous. One key challenge in traffic management is ensuring safety while maintaining the required level of service quality.
Adnan Rashid +3 more
doaj +1 more source
Initial State Privacy of Nonlinear Systems on Riemannian Manifolds
International Journal of Robust and Nonlinear Control, EarlyView.ABSTRACT In this paper, we investigate initial state privacy protection for discrete‐time nonlinear closed systems. By capturing Riemannian geometric structures inherent in such privacy challenges, we refine the concept of differential privacy through the introduction of an initial state adjacency set based on Riemannian distances.
Le Liu, Yu Kawano, Antai Xie, Ming Cao
wiley +1 more source
Structural Concrete, EarlyView.Abstract With the market introduction of new reinforcing materials, such as corrosion‐resistant steel, the effect of their stress–strain relationship on the ductility of reinforced concrete structures needs to be evaluated. Their moment‐curvature behavior significantly influences bending moment redistributions, rotation capacity, and deformation at ...
Nathalie Reckinger +2 more
wiley +1 more source
Моделирование и анализ информационных системThe article is devoted to the development of an approach to solving the main problems of the theory of supervisory control of logical discrete-event systems (DES), based on their representation in the form of positively constructed formulas (PCF).
Artem Davydov +2 more
doaj +1 more source
Deductive Verification of the Sliding Window Protocol
Моделирование и анализ информационных систем, 2015 We consider the well-known Sliding Window Protocol which provides reliable and efficient transmission of data over unreliable channels. A formal proof of correctness for this protocol faces substantial difficulties caused by a high degree of parallelism ...
D. A. Chkliaev, V. A. Nepomniaschy
doaj +1 more source
Wildlife Biology, EarlyView.Exploration of new wildlife surveying methodologies that leverage advances in sensor technology and machine learning has led to tentative research into the application of seismology techniques. This, most commonly, involves the deployment of a footfall trap – a seismic sensor and data logger customised for wildlife footfall.
Benjamin J. Blackledge +4 more
wiley +1 more source
Interactive Solution Viewers for Automated Theorem Proving
Proceedings of the International Florida Artificial Intelligence Research Society ConferenceThis paper describes interactive viewers for TPTP format proofs and models generated by Automated Theorem Proving (ATP) systems.
Daniel Li +3 more
doaj
Computer Science and Metaphysics: A Cross-Fertilization
Open Philosophy, 2019 Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods.
Kirchner Daniel +2 more
doaj +1 more source
Enhancing generalized spectral clustering with embedding Laplacian graph regularization
CAAI Transactions on Intelligence Technology, EarlyView.Abstract An enhanced generalised spectral clustering framework that addresses the limitations of existing methods by incorporating the Laplacian graph and group effect into a regularisation term is presented. By doing so, the framework significantly enhances discrimination power and proves highly effective in handling noisy data.
Hengmin Zhang +5 more
wiley +1 more source
Proof Support for Common Logic [PDF]
We present an extension of the Heterogeneous Tool Set HETS that enables proof support for Common Logic. This is achieved via logic translations that relate Common Logic and some of its sublogics to already supported logics and automated theorem proving ...
Christoph Lange +4 more
core