Results 211 to 220 of about 6,185 (261)

Cognitive architecture and behavioral model based on social evidence and resource constraints. [PDF]

Brain Inform
Kolonin A.
europepmc   +1 more source

Operational Transformer: An investigation of epilepsy detection. [PDF]

Brain Topogr
Bektas O, Kirik S, Goktas OF, Tasci I, Dogan S, Tuncer T.   +5 more
europepmc   +1 more source

The 'Mental Health Crisis' and the Nonbeing of the Mad. [PDF]

Nurs Philos
Domingue JL, Foth T.
europepmc   +1 more source

Closed-loop model of mindfulness-based psychological regulation in competitive performance. [PDF]

Front Psychol
Zhao D.
europepmc   +1 more source

A cognitive synergetic hierarchical framework for UAV swarm combat via speculative inference and role-decoupled reinforcement learning. [PDF]

Front Neurorobot
Wang L, Liu Y, Guo L, Zhang R, Cui Y, Cui Y, Xu C.   +6 more
europepmc   +1 more source

Rethinking Brain-Computer Interfaces for Soft Robotic Systems: A Unified Framework and Perspective. [PDF]

Sensors (Basel)
Liu Y, Hu Q, Wang X, Herath D, Wang M.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Staged symbolic execution

Proceedings of the 27th Annual ACM Symposium on Applied Computing, 2012
Recent advances in constraint solving technology and raw computation power have led to a substantial increase in the effectiveness of techniques based on symbolic execution for systematic bug finding. However, scaling symbolic execution remains a challenging problem.We present a novel approach to increase the efficiency of symbolic execution for ...
Junaid Haroon Siddiqui, Sarfraz Khurshid
openaire   +1 more source

Postconditioned Symbolic Execution

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), 2015
Symbolic execution is emerging as a powerful technique for generating test inputs systematically to achieve exhaustive path coverage of a bounded depth. However, its practical use is often limited by path explosion because the number of paths of a program can be exponential in the number of branch conditions encountered during the execution.
Qiuping Yi, Zijiang Yang 0006, Shengjian Guo, Chao Wang 0001, Jian Liu 0008, Chen Zhao   +5 more
openaire   +1 more source

Chopped symbolic execution

Proceedings of the 40th International Conference on Software Engineering, 2018
Symbolic execution is a powerful program analysis technique that systematically explores multiple program paths. However, despite important technical advances, symbolic execution often struggles to reach deep parts of the code due to the well-known path explosion problem and constraint solving limitations.
David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar   +3 more
openaire   +1 more source

Probabilistic symbolic execution

Proceedings of the 2012 International Symposium on Software Testing and Analysis, 2012
The continued development of efficient automated decision procedures has spurred the resurgence of research on symbolic execution over the past decade. Researchers have applied symbolic execution to a wide range of software analysis problems including: checking programs against contract specifications, inferring bounds on worst-case execution ...
Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser   +2 more
openaire   +1 more source