Results 121 to 130 of about 129,094 (257)

Five‐Year Outcomes of Laparoscopic Sphincter‐Preserving Surgery for Rectal Cancer: A Prospective Study in Elderly Vietnamese Patients

Aging and Cancer, EarlyView.
This prospective study demonstrates that laparoscopic sphincter‐preserving surgery is feasible for elderly patients. While overall survival reaches 70% at 5 years, advanced T‐stage and the omission of neoadjuvant therapy significantly drive recurrence, highlighting the need for personalized geriatric protocols despite logistical challenges.
Huu Duc Ho, Quang Le, Ngoc Thach Tran, Van Viet Ung, Loc Vu   +4 more
wiley   +1 more source

Intelligent Tutoring Systems for Adult Learning in STEM Disciplines

New Directions for Adult and Continuing Education, EarlyView.
ABSTRACT Intelligent tutoring systems (ITS) are reshaping adult learning in STEM by providing adaptive, data‐driven instruction across classrooms, workplaces, and informal environments. In the context of ITS, this article compares generative AI, which creates personalized explanations and practice materials, with explainable AI, which focuses on ...
Jill Zarestky, Amanda R. Lager Gleason
wiley   +1 more source

Formal verification of a concurrent file system based on lock guarantee conditions extended concurrent separation logic

Tongxin xuebao
During the formal verification, logic is relied to formally specify and reason about the properties that the file system must satisfy. Concurrent separation logic (CSL) is used in the formal verification of concurrent file systems and to prove the ...
ZHENG Xinmin, LI Mingshu, YANG Qiusong, LI Wenbo   +3 more
doaj  

Artificial Intelligence and Mental Well‐Being in Adult Education: Implications for Practice and Professional Responsibility

New Directions for Adult and Continuing Education, EarlyView.
ABSTRACT Mental well‐being is central to adult learner success, yet many adult education institutions lack capacity to provide timely and accessible support. This article examines how artificial intelligence (AI) can strengthen mental health–adjacent supports in adult and continuing higher education, with attention to professional practice and ...
Adam L. McClain, Thomas Wade
wiley   +1 more source

Formal verification of safety properties of epoch processing in Beacon Chain. [PDF]

Sci Rep
Rashid M, Rasool I, Afzaal H, Zafar NA.
europepmc   +1 more source

Formal Verification for Task Description Languages. A Petri Net Approach. [PDF]

Sensors (Basel), 2019
López J, Santana-Alonso A, Díaz-Cacho Medina M.   +2 more
europepmc   +1 more source

Empowering Adult Learning How AI Fuels Progress Across Disciplines and Professions

New Directions for Adult and Continuing Education, EarlyView.
ABSTRACT This article examines the evolving role of artificial intelligence (AI) as a transformative cognitive partner across educational and professional fields. It explores how AI shifts attention away from routine technical tasks and toward human‐centered skills such as critical thinking, ethical decision‐making, and professional judgment.
Rachel Wlodarsky
wiley   +1 more source

Formal verification of bioinformatics software using model checking and theorem proving. [PDF]

Brief Bioinform
Weerasena H, Jayasena A, Boucher C, Mishra P.   +3 more
europepmc   +1 more source

Profound Leadership Strategies: Transcending the Leadership Crisis in the Age of Artificial Intelligence

New Directions for Adult and Continuing Education, EarlyView.
ABSTRACT This article examines the evolving role of organizational leadership amidst the rapid advancements in artificial intelligence (AI). It explores a broadly experienced and documented crisis in leadership, due in part to the disruptive nature of AI and emerging technology.
Rachel Wlodarsky, Davin Carr Chellman
wiley   +1 more source

Formal verification: will the seedling ever flower? [PDF]

Philos Trans A Math Phys Eng Sci, 2017
White N, Matthews S, Chapman R.
europepmc   +1 more source