Results 101 to 110 of about 1,530,272 (312)

Large Language Model‐Based Chatbots in Higher Education

Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.
The use of large language models (LLMs) in higher education can facilitate personalized learning experiences, advance asynchronized learning, and support instructors, students, and researchers across diverse fields. The development of regulations and guidelines that address ethical and legal issues is essential to ensure safe and responsible adaptation
Defne Yigci, Merve Eryilmaz, Ail K. Yetisen, Savas Tasoglu, Aydogan Ozcan   +4 more
wiley   +1 more source

IMU Airtime Detection in Snowboard Halfpipe: U-Net Deep Learning Approach Outperforms Traditional Threshold Algorithms

Sensors
Airtime is crucial for high-rotation tricks in snowboard halfpipe performance, significantly impacting trick difficulty, the primary judging criterion.
Tom Gorges, Padraig Davidson, Myriam Boeschen, Andreas Hotho, Christian Merz   +4 more
doaj   +1 more source

Intercomparison of Small Unmanned Aircraft System (sUAS) Measurements for Atmospheric Science during the LAPSE-RATE Campaign

Sensors, 2019
Small unmanned aircraft systems (sUAS) are rapidly transforming atmospheric research. With the advancement of the development and application of these systems, improving knowledge of best practices for accurate measurement is critical for achieving ...
Lindsay Barbieri, Stephan T. Kral, Sean C. C. Bailey, Amy E. Frazier, Jamey D. Jacob, Joachim Reuder, David Brus, Phillip B. Chilson, Christopher Crick, Carrick Detweiler, Abhiram Doddi, Jack Elston, Hosein Foroutan, Javier González-Rocha, Brian R. Greene, Marcelo I. Guzman, Adam L. Houston, Ashraful Islam, Osku Kemppinen, Dale Lawrence, Elizabeth A. Pillar-Little, Shane D. Ross, Michael P. Sama, David G. Schmale, Travis J. Schuyler, Ajay Shankar, Suzanne W. Smith, Sean Waugh, Cory Dixon, Steve Borenstein, Gijs de Boer   +30 more
doaj   +1 more source

Hierarchical Language Models for Semantic Navigation and Manipulation in an Aerial‐Ground Robotic System

Advanced Intelligent Systems, EarlyView.
A hierarchical multimodal framework coupling a large language model for task decomposition and semantic mapping with a fine‐tuned vision‐language model for semantic perception, enhanced by GridMask, is presented. An aerial‐ground robot team exploits the semantic map for global and local planning.
Haokun Liu, Zhaoqi Ma, Yunong Li, Junichiro Sugihara, Yicheng Chen, Jinjie Li, Moju Zhao   +6 more
wiley   +1 more source

Theorem proving support in programming language semantics [PDF]

, 2007
We describe several views of the semantics of a simple programming language as formal documents in the calculus of inductive constructions that can be verified by the Coq proof system.
Bertot, Yves
core   +3 more sources

Logics with probabilistic team semantics and the Boolean negation

Journal of Logic and Computation, 2023
Abstract We study the expressivity and the complexity of various logics in probabilistic team semantics with the Boolean negation. In particular, we study the extension of probabilistic independence logic with the Boolean negation, and a recently introduced logic first-order theory of random variables with probabilistic independence.
Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema   +5 more
openalex   +7 more sources

Uniform Definability in Propositional Dependence Logic

, 2016
Both propositional dependence logic and inquisitive logic are expressively complete. As a consequence, every formula with intuitionistic disjunction or intuitionistic implication can be translated equivalently into a formula in the language of ...
Yang, Fan
core   +1 more source

Feature Disentangling and Combination Implemented by Spin–Orbit Torque Magnetic Tunnel Junctions

Advanced Intelligent Systems, EarlyView.
Spin–orbit torque magnetic tunnel junctions (SOT‐MTJs) enable efficient feature disentangling and integration in image data. A proposed algorithm leverages SOT‐MTJs as true random number generators to disentangle and recombine features in real time, with experimental validation on emoji and facial datasets.
Xiaohan Li, Yingqian Xu, Caihua Wan, Ran Zhang, Meike Hindenberg, Raik Hoffmann, Shiqiang Liu, Tianyi Zhang, Shilong Xiong, Dehao Kong, Jihao Xia, Fangshuo Gao, Zhuyang Nie, Thomas Kämpfe, Guoqiang Yu, Xiufeng Han   +15 more
wiley   +1 more source

A flexible framework for defeasible logics [PDF]

, 2000
Logics for knowledge representation suffer from over-specialization: while each logic may provide an ideal representation formalism for some problems, it is less than optimal for others.
David Billington, G. Antoniou, Grigoris Antoniou, Guido Governatori, Michael Maher   +4 more
core   +5 more sources

Confessions of a Poverty Researcher: My Journey Through the Foothills of Scholarship

Australian Journal of Social Issues, EarlyView.
ABSTRACT This paper describes the key events, experiences and ideas that influenced the author's career as a poverty researcher. He describes how his early disillusion with economics was replaced by a spark of interest in social issues and how his migration from the UK to Australia in the mid‐1970s provided the impetus to begin what became a lifetime ...
Peter Saunders
wiley   +1 more source