Results 71 to 80 of about 31,626,034 (311)

State space reduction for sensor networks using two-level partial order reduction [PDF]

, 2013
10.1007/978-3-642-35873-9_30Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)7737 LNCS515 ...
Manchun Zheng, Liu, Y, Zheng, M, David Sanán, Jin Song Dong, Yu Gu, Gu, Y, Sun, J., Liu, Y., Yang Liu, Sun, J, Sanań, D, Zheng, M., Dong, JS, Gu, Y., Dong, J.S., Jun Sun, Sanań, D., SANÁN, David, DONG, Jin Song, SUN, Jun, GU, Yu, LIU, Yang, ZHENG, Manchun   +23 more
core   +1 more source

Design and evaluation of FEBS Education and Training Academy module – Integrating generative artificial intelligence into life‐science education

FEBS Open Bio, EarlyView.
Life‐science educators from 14 countries redesigned their own course materials with generative AI in a three‐session, pedagogy‐first FEBS Education and Training Academy workshop built on PICRAT. Among 12 matched respondents, four more reported high confidence in each of five practical domains, and 10 of 13 reported implementing at least one idea ...
Zvonimir Mlinarić, Ali Burak Özkaya
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

More anti-chain based refinement checking [PDF]

, 2012
10.1007/978-3-642-34281-3_26Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)7635 LNCS364 ...
Li, S., Liu, Y, Wang, T., Song, S, Yang Liu, Songzheng Song, Ting Wang, Wang, X., Wang, T, Wang, X, Shanping Li, Jin Song Dong, Sun, J., Liu, Y., Song, S., Sun, J, Dong, JS, Dong, J.S., Xinyu Wang, Jun Sun, Li, S, DONG, Jin Song, SUN, Jun, WANG, Ting, SONG, Songzheng, WANG, Xinyu, LI, Shanping, LIU, Yang   +27 more
core   +1 more source

A Low Psoas Muscle Index Was Associated With a Poorer Overall Survival in Patients Who Underwent Percutaneous Nephrostomy

Aging and Cancer, EarlyView.
In patients with malignant ureteral obstruction undergoing percutaneous nephrostomy, sarcopenia defined by a low psoas muscle index was independently associated with poor overall survival on multivariate Cox regression analysis, suggesting that preoperative assessment of psoas muscle index may aid prognostic stratification in this population.
Kota Shimokihara, Takashi Kawahara, Kazuhide Makiyama, Hiroji Uemura   +3 more
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

PRTS: An approach for model checking probabilistic real-time hierarchical systems [PDF]

, 2011
10.1007/978-3-642-24559-6_12Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)6991 LNCS147 ...
Liu, Y, Xiaohong Li, Song, S, Jin Song Dong, Sun, J., Liu, Y., Li, X., Yang Liu, Song, S., Sun, J, Songzheng Song, Li, X, Dong, JS, Dong, J.S., Jun Sun, DONG, Jin Song, SUN, Jun, LIU, Yang, LI, Xiaohong, SONG, Songzheng   +19 more
core   +1 more source

Artificial Intelligence in Brain Computer Interface

, 2022
A brain-computer interface (BCI) is a connection path among brain and an external device. Motor imagery (MI) is proven to be a useful cognitive technique for enhancing motor skills as well as for movement disorder rehabilitation therapy. It is known that
Subasi, Abdulhamit
core   +1 more source

Self‐Regulated Learning Meets AI: Reinterpreting Self‐Regulation, Co‐Regulation, and Socially Shared Regulation in Human–AI Interaction

New Directions for Adult and Continuing Education, EarlyView.
ABSTRACT Advancing artificial intelligence (AI) has transformed learning and work, yet higher education and professional development programs have not systematically equipped learners for AI‐prevalent environments. This lack of preparation creates uncertainty regarding control, responsibility, trust, and accountability.
Moon‐Heum Cho, Jerusalem Merkebu
wiley   +1 more source

Adaptive dual-space discriminator for large-scale multi-objective optimization

Scientific Reports
Numerous real-world applications involve large-scale multi-objective optimization problems (LSMOPs) with hundreds or even thousands of decision variables.
Ziyi Xue, Kaidong Cheng, Xunze Liu, Yingjie Li, Gang Xin   +4 more
doaj   +1 more source