Results 121 to 130 of about 90,486 (306)

Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models [PDF]

arXiv
In this paper, we propose a novel formalism called Probabilistic Obstruction Temporal Logic (POTL), which extends Obstruction Logic (OL) by incorporating probabilistic elements. POTL provides a robust framework for reasoning about the probabilistic behaviors and strategic interactions between attackers and defenders in environments where probabilistic ...
arxiv  

Advancements in Machine Learning for Microrobotics in Biomedicine

Advanced Intelligent Systems, EarlyView.
Microrobotics is an innovative technology with great potential for noninvasive medical interventions. However, controlling and imaging microrobots pose significant challenges in complex environments and in living organisms. This review explores how machine learning algorithms can address these issues, offering solutions for adaptive motion control and ...
Amar Salehi, Soleiman Hosseinpour, Nasrollah Tabatabaei, Mahmoud Soltani Firouz, Niloufar Zadebana, Richard Nauber, Mariana Medina‐Sánchez   +6 more
wiley   +1 more source

“Going out to get in”—Roles of forest conflicts in bottom‐linked environmental governance progressing toward socio‐political innovations

Environmental Policy and Governance, Volume 32, Issue 6, Page 478-491, December 2022., 2022
Abstract Social innovation literature focuses commonly on roles of cooperation in addressing co‐evolution of civil society initiatives and state‐based governance toward sustainable solutions. However, roles of conflicts in driving social change are scarcely addressed in social innovation literature.
Simo Sarkki, Mikko Jokinen, Hannu I. Heikkinen, Maria Nijnik, Mariana Melnykovych, Tatiana Kluvánková   +5 more
wiley   +1 more source

Photoisomerization of Azobenzene‐Extended Charybdotoxin for the Optical Control of Kv1.2 Potassium Channel Activity

Angewandte Chemie, EarlyView.
Click‐chemistry compatible azobenzenes are synthesized and coupled on various positions at the surface of a disulfide‐bridged natural peptide. Monomers and dimers are produced and linked by azobenzene. The impact of azobenzene photoswitching on the ion channel blocking potency of the peptide is evaluated and revealed that proper positioning leads to ...
Yanis Achouba, Basile Peres, Steven Ascoët, Hervé Meudal, Cécile Caumes, Claude Zoukimian, Hugo Millet, Maureen Choteau‐Bodor, Cathy Carvalhosa, Mikael Croyal, Fella Bouchama, Heike Wulff, Stéphane Téletchéa, Rémy Béroud, Eléna Ishow, Céline Landon, Ahcène Boumendjel, Jérôme Montnach, Michel De Waard   +18 more
wiley   +2 more sources

Probabilistic Logic: Many-valuedness and Intensionality [PDF]

arXiv, 2011
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computation of probabilities and for reasoning about probabilities, with a well-defined syntax and semantics. Both current approaches, based on Nilsson's probability structures/logics,
arxiv  

A Summary of A New Normative Theory of Probabilistic Logic [PDF]

, 1990
Romas Aleliunas
openalex   +1 more source

Deep Learning‐Coupled Metabolic Heat Integrated Sensing System for Noninvasive Continuous Monitoring of Blood Glucose

Advanced Intelligent Systems, EarlyView.
A portable, wearable device based on metabolic heat integrated sensing and deep learning enables continuous blood glucose (BG) monitoring. The system uses a gate recurrent unit model for real‐time BG prediction, achieving accuracy comparable to commercial noninvasive meters.
Haolin Wang, Chuanjie Yao, Zhibo Liu, Xinze Wang, Zhengjie Liu, Tao Zhang, Xinshuo Huang, LinGe Wang, Yuedan Wang, Gemin Xiao, Shady Farah, Hui‐jiuan Chen, Xi Xie   +12 more
wiley   +1 more source

How can a cooperative‐based organization of indigenous fisheries foster the resilience to global changes? Lessons learned by coastal communities in eastern Québec

Environmental Policy and Governance, Volume 32, Issue 6, Page 546-559, December 2022., 2022
Abstract Halieutic resources and small‐scale fisheries are globally under stress due to global changes. This phenomenon has very strong impacts on the socioeconomic situation of vast coastal areas worldwide and of the communities living there, whose economies rely on the ocean.
Marco Alberio, Marina Soubirou
wiley   +1 more source

Total Synthesis of the Marine Diterpenoids Caucanolide E and F by Alkyne gem‐Hydrogenation: Rigorous Reassignment of Two Almost Indistinguishable Diastereomers

Angewandte Chemie, EarlyView.
The application of gem‐hydrogenation, which exploits the electrophilic character of the ruthenium carbene intermediates transiently formed, to natural product total synthesis allowed the stereostructure of a pair of diastereomeric seco‐cembranoids that are almost indistinguishable by NMR to be rigorously assigned.
Ricardo Molina Betancourt, Markus Leutzsch, Alois Fürstner   +2 more
wiley   +2 more sources

Energy‐Efficient Hardware Implementation of Spiking‐Restricted Boltzmann Machines Using Pseudo‐Synaptic Sampling

Advanced Intelligent Systems, EarlyView.
In this article, an energy‐efficient hardware implementation of spiking‐restricted Boltzmann machines using the pseudo‐synaptic sampling (PS2) method is presented. In the PS2 method, superior area and energy efficiency over previous approaches, such as the random walk method, are demonstrated, achieving a 94.94% reduction in power consumption during on‐
Hyunwoo Kim, Suyeon Jang, Uicheol Shin, Masatoshi Ishii, Atsuya Okazaki, Megumi Ito, Akiyo Nomura, Kohji Hosokawa, Sungmin Lee, Matthew BrightSky, Sangbum Kim   +10 more
wiley   +1 more source