Results 41 to 50 of about 1,522 (259)

Vibration Control of Car Body and Wheel Motions for In-Wheel Motor Vehicles Using Road Type Classification

Actuators
In-wheel motor vehicles are gaining attention as a new type of electric vehicle due to their efficient power units located inside each wheel hub. However, they are more susceptible to wheel resonance due to the increase in unsprung mass caused by the ...
Young-Jun Kim, Youngil Sohn, Sehyun Chang, Seung-Bok Choi, Jong-Seok Oh   +4 more
doaj   +1 more source

Canonical coalgebraic linear time logics [PDF]

, 2015
We extend earlier work on linear time fixpoint logics for coalgebras with branching, by showing how propositional operators arising from the choice of branching monad can be canonically added to these logics.
Cirstea, Corina
core   +1 more source

Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model

, 2021
In this paper we investigate the relationships between a multipreferential semantics for defeasible reasoning in knowledge representation and a deep neural network model.
Theseider Dupre' D., Giordano L.
core   +1 more source

Pull‐and‐Push Nanotherapeutic Hydrogels: Scavenging Inflammatory Triggers While Driving Tissue Regeneration in Burn Wounds

Advanced Functional Materials, EarlyView.
A nanounit‐assembled hydrogel employing a “pull‐and‐push” strategy simultaneously scavenges pro‐inflammatory cell‐free DNA (cfDNA) and delivers regenerative therapeutics in response to burn‐induced hyperthermia. By repolarizing macrophages and promoting angiogenesis, this multifunctional platform accelerates burn wound healing, offering a blueprint for
Han‐Sem Kim, Seong‐Jin Shin, Sak Lee, Nandin Mandakhbayar, Ji‐Hye Kang, Da‐Young Kong, Seong‐Doo Hong, Ueon Sang Shin, Hae‐Won Kim, Jung‐Hwan Lee   +9 more
wiley   +1 more source

Weighted Description Logics Preference Formulas for Multiattribute Negotiation

, 2009
We propose a framework to compute the utility of an agreement w.r.t a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formulas in a decidable fragment of First-order Logic and agreements expressed as ...
Francesco M. Donini, Ragone, A., Azzurra Ragone, DI SCIASCIO, Eugenio, Tommaso Di Noia, Donini, F. M., Eugenio Di Sciascio, Michael P. Wellman, Wellman, M. P., DI NOIA, Tommaso   +9 more
core   +2 more sources

Spatial Equity of Children’s Extracurricular Activity Facilities Under Government–Market Dual Provision Systems: Evidence from Tianjin

ISPRS International Journal of Geo-Information
Ensuring equitable and inclusive access to children’s extracurricular activity facilities represents a profound manifestation of educational equity and is crucial for promoting children’s holistic development and societal sustainability.
Jiehui Geng, Peng Zeng, Jinxuan Li, Xiaotong Ren, Liangwa Cai   +4 more
doaj   +1 more source

Oxidized MoS2‐Based Multifunctional Memristive Hardware for Energy‐Efficient mmWave Signal Processing and In‐Memory Matrix Multiplication

Advanced Functional Materials, EarlyView.
Thermally oxidized MoS2‐based radio‐frequency switches enable a multifunctional platform that unifies broadband RF switching and in‐memory computation. The device achieves a cutoff frequency of 33.2 THz with high energy efficiency and supports hardware‐aware signal processing.
Juho Son, Changwoo Pyo, Sungmoon Park, Yoongi Cho, Seungchan Lee, Myungsoo Kim   +5 more
wiley   +1 more source

Weighted Description Logic for Classification Problems

EPiC Series in Computing, 2019
We summarise the definitions and some technical aspects of a familiy of description logics that introduce concept constructors (so-called tooth-operators) which, under various constraints, accumulate weights of concepts. We demonstrate how these operators can be fruitfully and elegantly applied to a number of cognitively motivated classification ...
Guendalina Righetti, Pietro Galliani, Oliver Kutz, Daniele Porello, Claudio Masolo, Nicolas Troquard   +5 more
openaire   +5 more sources

The Linguistic Asymmetry Index (LAI): Benchmarking Equity in Multilingual Research Infrastructures

Journal of Open Humanities Data
Digital research infrastructures frequently describe themselves as multilingual, yet the degree to which languages are represented, documented, and made accessible depends on metadata policies and aggregation practices that may introduce unevenness. This
Elena Battaner, Paul Spence
doaj   +1 more source

Weighted Logics for Artificial Intelligence – 2

Journal of Applied Logic, 2015
Peer ...
Lluís Godo, Henri Prade, Guilin Qi
openaire   +2 more sources