Results 121 to 130 of about 698,564 (314)

Local Constructive Set Theory and Inductive Definitions [PDF]

, 2011
Local Constructive Set Theory (LCST) is intended to be a local version of constructive set theory (CST). Constructive Set Theory is an open-ended set theoretical setting for constructive mathematics that is not committed to any particular brand of constructive mathematics and, by avoiding any built-in choice principles, is also acceptable in topos ...
openaire   +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

Constructive Set Theory from a Weak Tarski Universe [PDF]

, 2014
Cesare Gallozzi
openalex   +1 more source

Varieties of Mathematics in Economics- A Partial View [PDF]

Real analysis, founded on the Zermelo-Fraenkel axioms, buttressed by the axiom of choice, is the dominant variety of mathematics utilized in the formalization of economic theory.
K. Vela Velupillai, Shu G. Wang
core  

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

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

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

Rational choice by two sequential criteria [PDF]

This paper contributes to the theory of rational choice under multiple criteria. We perform a preliminary study of the properties of decision made by the sequential application of rational choices.
Alcantud, José Carlos R., García-Sanz, María D.   +1 more
core   +1 more source

Intraspecific variation in stomatal architecture, gas exchange, and drought response of a dominant prairie grass sourced from broad climatic gradients

American Journal of Botany, EarlyView.
Abstract Premise Understanding how plant populations adapt to water limitation through stomatal traits is key to predicting drought responses. The dominant C4 grass Andropogon gerardi, distributed across sharp climate gradients in North America, offers an excellent focal species to study stomatal architecture (size and density).
Jack Sytsma, Allison Ricker, Helen Winters, Brian Maricle, Ryann Patterson, Kian Fogarty, Loretta Johnson   +6 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