Results 61 to 70 of about 748,201 (294)

Completeness of Flat Coalgebraic Fixpoint Logics

, 2010
Modal fixpoint logics traditionally play a central role in computer science, in particular in artificial intelligence and concurrency. The mu-calculus and its relatives are among the most expressive logics of this type.
Gastin, P., Laroussinie, F., Schröder, L., Venema, Y.   +3 more
core   +1 more source

Evaluation of a Novel Electric Health Record Sidecar Application to Display Rheumatoid Arthritis Clinical Outcomes During Clinic Visits: Results of a Stepped‐Wedge Cluster Randomized Pragmatic Trial

Arthritis Care &Research, EarlyView.
Objective We developed a novel electronic health record sidecar application to visualize key rheumatoid arthritis (RA) outcomes, including disease activity, physical function, and pain, via a patient‐facing graphical interface designed for use during outpatient visits (“RA PRO dashboard”).
Gabriela Schmajuk, Jing Li, Cathy Nasrallah, Cherish Wilson, Alicia Hamblin, Christine Hariz, Cammie Young, Stephen Shiboski, Emma Kersey, Mary Nakamura, Judith F. Ashouri, Mehrdad Matloubian, Andrew J. Gross, Jennifer Barton, Beth Berrean, Jonathan Prugh, Jinoos Yazdany   +16 more
wiley   +1 more source

Multi‐strategy Grey Wolf Optimizer for Engineering Problems and Sewage Treatment Prediction

Advanced Intelligent Systems
Grey wolf optimizer (GWO) is a highly valued heuristic algorithm in many fields. However, for some complex problems, especially high‐dimensional and multimodal problems, the basic algorithm has limited computational power and cannot get a satisfactory ...
Chenhua Tang, Changcheng Huang, Yi Chen, Ali Asghar Heidari, Shuihua Wang, Huiling Chen, Yudong Zhang   +6 more
doaj   +1 more source

And the Robot Asked "What do you say I am?" Can Artificial Intelligence Help Theologians and Scientists Understand Free Moral Agency? [PDF]

, 2012
Concepts of human beings as free and morally responsible agents are shared culturally by scientists and Christian theologians. Accomiplishments of the "artificial intelligence" (AI) branch of computer science now suggest the possibility of an advanced ...
Metzler, Theodore
core   +1 more source

Improving multivariate Horner schemes with Monte Carlo tree search

, 2012
Optimizing the cost of evaluating a polynomial is a classic problem in computer science. For polynomials in one variable, Horner's method provides a scheme for producing a computationally efficient form.
A. Plaat, Aho, Alwall, Breuer, Browne, Ceberio, Cullen, Fujimoto, H.J. van den Herik, Hahn, Horner, J. Kuipers, J.A.M. Vermaseren, Kocsis, Kojima, Leiserson, Reiter, Smith, van Hulzen   +18 more
core   +1 more source

Retractions in Rheumatology: Trends, Causes, and Implications for Research Integrity

Arthritis Care &Research, EarlyView.
Objective We aimed to describe the trends and main reasons for study retraction in rheumatology literature. Methods We reviewed the Retraction Watch database to identify retracted articles in rheumatology. We recorded the main study characteristics, authors’ countries, reasons for retraction, time from publication to retraction, and trends over time ...
Anna Maria Vettori, Michele Iudici
wiley   +1 more source

A foundation model for rock thin-section images analysis

Communications Engineering
Rock thin-section image analysis is a fundamental task in geological and mineralogical research. Traditional methods rely on visual inspection by experts using optical microscopes, which are inherently subjective, experience-dependent, and time-consuming.
Jiansong Fan, Xiaolu Yu, Yicheng Di, Tianxu Lv, Rui Zhang, Jiayu Bao, Yuan Liu, Lihua Li, Xiang Pan   +8 more
doaj   +1 more source

Sub-Connection Learning for fMRI-Based Brain Functional Network

IEEE Transactions on Neural Systems and Rehabilitation Engineering
Brain functional network analysis models the brain as a graph of regions of interest (ROIs) and quantifies the correlations across different regions derived from functional magnetic resonance imaging (fMRI).
Hui Huang, Zhaoxuan Zhu, Yisu Ge, Ruoxi Deng, Zhao-Min Chen   +4 more
doaj   +1 more source

Digital Genesis: Computers, Evolution and Artificial Life [PDF]

, 2015
The application of evolution in the digital realm, with the goal of creating artificial intelligence and artificial life, has a history as long as that of the digital computer itself.
Dorin, Alan, Korb, Kevin, Taylor, Tim
core  

Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic

, 2018
Logic is a foundation for many modern areas of computer science. In artificial intelligence, as a basis of database query languages, as well as in formal software and hardware verification --- modelling scenarios using logical formalisms and inferring ...
Geck, Gaetano, Ljulin, Artur, Peter, Sebastian, Schmidt, Jonas, Vehlken, Fabian, Zeume, Thomas   +5 more
core   +1 more source