Results 101 to 110 of about 37,312 (297)

Logical structure of constructive set theories

, 2023
The tautologies and admissible rules of a formal system may exceed those of its underlying logic. For example, the Diaconescu–Goodman–Myhill-theorem shows that the axiom of choice entails the law of excluded middle with respect to many intuitionistic set theories.The goal of this dissertation is, roughly speaking, to study situations where this is not ...
openaire   +1 more source

Temperature‐Tunable Cholesteric Liquid Crystal Optical Combiners for Extended Reality Applications

Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.
Recent advancements in extended reality highlight their potential to enhance traditional displays like liquid crystal displays and organic light‐emitting diode screens. This article introduces an innovative cholesteric liquid crystal‐based optical combiner for head‐mounted displays, enabling seamless transitions between augmented reality, virtual ...
Yuanjie Xia, Haobo Li, Marija Vaskeviciute, Daniele Faccio, Affar S. Karimullah, Hadi Heidari, Rami Ghannam   +6 more
wiley   +1 more source

The proof of axioms of constructivity in the theory of finitr sets [PDF]

, 1968
Ivan Korec
openalex   +1 more source

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

Modeling in the Field of Educational Planning [PDF]

Journal of Islamic Studies, 1998
Necessity requires the identification of effective, scientific techniques to serve the purposes of educational planning in terms of theory and practice in order to develop effective plans.
Anmar M. Kaylani, M. Eid Dirani
doaj  

Functional interpretation of Aczel's constructive set theory

Annals of Pure and Applied Logic, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Roadmap on Artificial Intelligence‐Augmented Additive Manufacturing

Advanced Intelligent Systems, EarlyView.
This Roadmap outlines the transformative role of artificial intelligence‐augmented additive manufacturing, highlighting advances in design, monitoring, and product development. By integrating tools such as generative design, computer vision, digital twins, and closed‐loop control, it presents pathways toward smart, scalable, and autonomous additive ...
Ali Zolfagharian, Liuchao Jin, Qi Ge, Wei‐Hsin Liao, Andrés Díaz Lantada, Francisco Franco Martínez, Tianyu Zhang, Tao Liu, Charlie C. L. Wang, Mohammad Hossein Mosallanejad, Reza Ghanavati, Abdollah Saboori, Alejandro De Blas De Miguel, William Solórzano‐Requejo, Yi Cai, Xiangyang Dong, Huangyi Qu, Najmeh Samadiani, Guangyan Huang, Austin Downey, Yanzhou Fu, Lang Yuan, Tsz‐Kwan (Glory) Lee, Arbind Agrahari Baniya, Eisha Waseem, Abdul Rahman Sani, Abbas Z. Kouzani, Yijia Wu, Markus P. Nemitz, Masoud Shirzad, Dageon Oh, Seung Yun Nam, Amedeo Franco Bonatti, Irene Chiesa, Gabriele Maria Fortunato, Giovanni Vozzi, Carmelo De Maria, Mahdi Bodaghi   +37 more
wiley   +1 more source

A Muslim Contribution to International Relations Theory: Aman (Peaceful Co-Existence and Mutual Respect) Theory

Journal of International Studies, 2020
In the last ten years, the world has witnessed much debate on new forms of the global phenomena of fundamentalism and extremism. It is clear that many view Muslims as “the other” or outsider and vice-versa; an attitude of “us and them”, “our ...
Abd al-Fattah M. El-Awaisi
doaj  

Characteristics, Management, and Utilization of Muscles in Musculoskeletal Humanoids: Empirical Study on Kengoro and Musashi

Advanced Intelligent Systems, EarlyView.
Musculoskeletal humanoids exhibit rich biomechanical properties that remain insufficiently unified in prior discussions. This article systematically categorizes muscle characteristics into five properties: redundancy, independency, anisotropy, variable moment arm, and nonlinear elasticity, and analyzes their combined effects on control.
Kento Kawaharazuka, Kei Okada, Masayuki Inaba   +2 more
wiley   +1 more source

Transforming RNA Degradation into Accurate RNA Detection: RNase I–Assisted Rolling Circle Amplification for Clinical Samples

Angewandte Chemie, EarlyView.
Here, we transform this otherwise destructive enzymatic activity into a powerful diagnostic advantage through an RNase I–assisted rolling circle amplification (RI‐RCA) strategy. By integrating controlled RNase I–mediated RNA digestion with circular DNA templates, this approach enables direct and highly sensitive detection of target RNA sequences. Using
Amal Mathai, Cheng‐Yu Lee, Zijie Zhang, Jimmy Gu, John D. Brennan, Yingfu Li   +5 more
wiley   +2 more sources