Results 31 to 40 of about 21,381 (239)

On Logics of Formal Inconsistency and Fuzzy Logics

, 2013
Ver abstract The authors have been partially supported by the FP7-PEOPLE-2009-IRSES project MaToMUVI (PIRSES-GA-2009-247584). Coniglio was also supported by FAPESP (Thematic Project LogCons 2010/51038-0), and by a research grant from CNPq (PQ 305237/2011-0).
Coniglio, Marcelo E., Esteva, Francesc, Godo, Lluis   +2 more
openaire   +2 more sources

Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback

Advanced Robotics Research, EarlyView.
BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat, Ali Umut Kaypak, Prashanth Krishnamurthy, Ramesh Karri, Farshad Khorrami   +4 more
wiley   +1 more source

3D Printing of Soft Robotic Systems: Advances in Fabrication Strategies and Future Trends

Advanced Robotics Research, EarlyView.
Collectively, this review systematically examines 3D‐printed soft robotics, encompassing material selections, function integration, and manufacturing methodologies. Meanwhile, fabrication strategies are analyzed in order of increasing complexity, highlighting persistent challenges with proposed solutions.
Changjiang Liu, Bin Cui, Xumin Huang, Xiaoyu (Rayne) Zheng, T. Thang Vo‐Doan, Ruirui Qiao   +5 more
wiley   +1 more source

Challenges and Future Directions in Assessing the Quality and Completeness of Advanced Materials Safety Data for Re‐Usability: A Position Paper From the Nanosafety Community

Advanced Sustainable Systems, EarlyView.
Nanosafety data provide a guiding example for establishing best practices in data management, aligning with FAIR principles and quality criteria. This review explores existing quality assessment approaches for reliability, relevance, and completeness, emphasizing the need for harmonization and adaptation to nanomaterials and advanced materials. The aim
Verónica I. Dumit, Irini Furxhi, Penny Nymark, Antreas Afantitis, Ammar Ammar, Monica J. B. Amorim, Dalila Antunes, Svetlana Avramova, Chiara L. Battistelli, Gianpietro Basei, Cecilia Bossa, Emil Cimpan, Mihaela Roxana Cimpan, Dmitri Ciornii, Anna Costa, Camilla Delpivo, Maria Dusinska, Ana Sofia Fonseca, Steffi Friedrichs, Vasile‐Dan Hodoroaba, Danail Hristozov, Panagiotis Isigonis, Nina Jeliazkova, Nikolay Kochev, Eva Kranjc, Dieter Maier, Georgia Melagraki, Anastasios G. Papadiamantis, Tomasz Puzyn, Hubert Rauscher, Katie Reilly, Araceli Sánchez Jiménez, Janeck J. Scott‐Fordsmand, Neeraj Shandilya, Hyun Kil Shin, Gergana Tancheva, Jeaphianne P. M. van Rijn, Egon L. Willighagen, Ewelina Wyrzykowska, Martine I. Bakker, Damjana Drobne, Thomas E. Exner, Martin Himly, Iseult Lynch   +43 more
wiley   +1 more source

Complete Additivity and Modal Incompleteness [PDF]

, 2019
In this paper, we tell a story about incompleteness in modal logic. The story weaves together a paper of van Benthem, `Syntactic aspects of modal incompleteness theorems,' and a longstanding open question: whether every normal modal logic can be ...
Holliday, Wesley H., Litak, Tadeusz
core   +2 more sources

Convergent and Divergent Connectivity Patterns of the Arcuate Fasciculus in Macaques and Humans

Advanced Science, EarlyView.
This study employs viral‐based single‐neuron tracing and dMRI‐based whole‐brain tractography to investigate arcuate fasciculus (AF) trajectories in macaque monkeys, and compares with the human AF connectome using spectral embedding. Results demonstrate conserved AF topography spanning temporoparietal‐auditory‐frontal pathways across primates, with ...
Jiahao Huang, Ruifeng Li, Wenwen Yu, Anan Li, Xiangning Li, Mingchao Yan, Lei Xie, Qingrun Zeng, Xueyan Jia, Shuxin Wang, Ronghui Ju, Feng Chen, Qingming Luo, Hui Gong, Andrew Zalesky, Xiaoquan Yang, Yuanjing Feng, Zheng Wang   +17 more
wiley   +1 more source

Paraconsistent Belief Revision based on a formal consistency operator [PDF]

, 2015
In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly
Coniglio, Marcelo E., Ribeiro, Márcio M., Testa, Rafael R.   +2 more
core  

Datalog± Ontology Consolidation [PDF]

, 2016
Knowledge bases in the form of ontologies are receiving increasing attention as they allow to clearly represent both the available knowledge, which includes the knowledge in itself and the constraints imposed to it by the domain or the users.
Deagustini, Cristhian Ariel David, Falappa, Marcelo Alejandro, Martinez, Maria Vanina, Simari, Guillermo Ricardo   +3 more
core   +1 more source

IGF‐1 Deficiency Serves as an Integrated Biomarker Pathogenic Driver and Predictor in Poor Ovarian Response

Advanced Science, EarlyView.
IGF‐1 deficiency underlies poor ovarian response (POR), as reduced levels in follicular fluid and granulosa cells impair antral follicle formation and compromise reproductive outcomes. Including IGF‐1 as a biomarker significantly enhances the accuracy of models predicting both PORrisk and pregnancy success.
Zhu Hu, Yuanyuan Yu, Guanyou Huang, Jinnan Li, Chao Yang, Aizhuan Long, Jia Tang, Tengxiang Chen, Shuyun Zhao, Tuo Zhang   +9 more
wiley   +1 more source

Swap structures semantics for Ivlev-like modal logics [PDF]

, 2019
In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a.
Coniglio, Marcelo E., Golzio, Ana Claudia   +1 more
core