Results 131 to 140 of about 7,084,339 (219)

Logic-based Approach and Visualization for the Nuclear Medicine Rescheduling Problem. [PDF]

J Med Syst
Marte C, Mochi M, Dodaro C, Galatà G, Maratea M.   +4 more
europepmc   +1 more source

A full-featured 2D flash chip enabled by system integration. [PDF]

Nature
Liu C, Jiang Y, Shen B, Yuan S, Cao Z, Bi Z, Wang C, Xiang Y, Wang T, Wu H, Liu Z, Wang Y, Wang S, Zhou P.   +13 more
europepmc   +1 more source

A broader interpretation of logic in logic programming [PDF]

, 1988
Bundy, Alan
core  

Universal Logic-in-Memory Gates Using Reconfigurable Silicon Transistors. [PDF]

Micromachines (Basel)
Kim S, Kim N, Ko Y, Lim D.
europepmc   +1 more source

Power management of hybrid fuel cell fixed wing UAVs using a fuzzy reinforcement learning system optimized with meta-heuristic methods. [PDF]

Sci Rep
Rostami M, Farajollahi A, Habibi P.
europepmc   +1 more source

Research on energy-saving adaptive optimization of hybrid electric vehicle based on improved dynamic programming and control rule extraction. [PDF]

Sci Rep
Zhao R, Tang L.
europepmc   +1 more source

Adaptive energy management in smart homes through fuzzy reinforcement learning and metaheuristic optimization algorithms to minimize costs. [PDF]

Sci Rep
Hamedani MMK, Jahangiri A, Mehri R, Shamim AG.   +3 more
europepmc   +1 more source

Research on group type theory and its functorial semantic models in category logic. [PDF]

PLoS One
Tang JG, Aishan Y, Liu JY, Peng JY.
europepmc   +1 more source

Lion Hearts: Using the Intervention Mapping Framework to Develop a Family-Based CrossFit Program for Health Behavior Change. [PDF]

Healthcare (Basel)
Watkins J, Goss J, Mehls K, Dlugonski D, Downs DS.   +4 more
europepmc   +1 more source

Defining a Domain-Specific Language for Behavior Verification of Cyber-Physical Applications. [PDF]

Sensors (Basel)
Panayiotou K, Tsardoulias E, Tsampouris T, Symeonidis AL.   +3 more
europepmc   +1 more source