|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Hoare logic-based genetic programming显示文摘Almost all existing genetic programming systems deal with fitness evaluation solely by testing. In this paper, by contrast, we present an original approach that combines genetic programming with Hoare logic with the aid of model checking and finite state automata, henceby proposing a brand new verification-focused formal genetic programming system that makes it possible to evolve reliable programs with mathematically-verified properties. | HE Pei KANG LiShan JOHNSON Colin G YING Shi | 2011 | Science China(Information Sciences)2011，54，3： | 5 |
| 2 | Systems Neuroengineering: Understanding and Interacting with the Brain显示文摘In this paper, we review the current stateof-the-art techniques used for understanding the inner workings of the brain at a systems level. The neural activity that governsour everyday lives involves anintricate coordination of many processes that can be attributed to a variety of brain regions. On the surface, many of these functions can appear to be controlled by speciflc anatomical structures; however, in reality, numerous dynamic networks within the brain contribute to its function through an interconnected web of neuronal and synaptic pathways. The brain, in its healthy or pathological state, can therefore be best understood by taking a systems-level approach. While numerous neuroengineering technologies exist, we focus here on three major thrusts in the field of systems neuroengineering: neuroimaging, neural interfacing, and neuromodulation. Neuroimaging enables us to delineate the structural and functional organization of the brain, which is key in understanding how the neural system functions in both normal and disease states. Based on such knowledge, devices can be used either to communicate with the neural system, as in neural interface systems, or to modulate brain activity, as in neuromodulation systems. The consideration of these three fields is key to the development and application of neuro-devices. Feedback-based neuro-devices require the ability to sense neural activity(via a neuroimaging modality) through a neural interface(invasive or noninvasive) and ultimately to select a set of stimulation parameters in order to alter neural function via a neuromodulation modality. Systems neuroengineering refers to the use of engineering tools and technologies to image, decode, and modulate the brain in order to comprehend its functions and to repair its dysfunction. Interactions between these fields will help to shape the future of systems neuroengineering—to develop neurotechniques for enhancing the understanding of wholebrain function and dysfunction, and the management of neurological and mental disorders. | Bradley J.Edelman Nessa Johnson Abbas Sohrabpour Shanbao Tong Nitish Thakor Bin He | 2015 | Engineering2015，1，3： | 3 |
| 3 | Modeling grammatical evolution by automaton显示文摘Twelve years have passed since the advent of grammatical evolution (GE) in 1998, but such issues as vast search space, genotypic readability, and the inherent relationship among grammatical concepts, production rules and derivations have remained untouched in almost all existing GE researches. Model-based approach is an attractive method to achieve different objectives of software engineering. In this paper, we make the first attempt to model syntactically usable information of GE using an automaton, coming up with a novel solution called model-based grammatical evolution (MGE) to these problems. In MGE, the search space is reduced dramatically through the use of concepts from building blocks, but the functionality and expressiveness are still the same as that of classical GE. Besides, complex evolutionary process can visually be analyzed in the context of transition diagrams. | HE Pei Colin G. JOHNSON WANG HouEeng | 2011 | Science China(Information Sciences)2011，54，12： | 2 |
| 4 | Disruption of sphingolipid homeostasis by myrioein, a myeotoxin, reduces thymie and splenic T-lymphocyte populations显示文摘 | Johnson V J He Q Osuchowski M F | 2004 | Toxicology2004，201，13： | 1 |
| 5 | The separation and volumetric determina- tions of aluminum, bismuth, calcium and magnesium, in pharmaceu- tical preparations 显示文摘 | Brookes HE Johnson CA | 1955 | J Pharm Pharmaeol1955，7，11： | 1 |
| 6 | The sand rat model for disc degeneration:radiologic characterization of age-related changes:cross-sectional and prospective analyses显示文摘 | Gruber HE Johnson T Norton HJ | 2002 | Spine2002，27，3： | 1 |
| 7 | Inhibition of discrete avoid- ance behavior by three anticholinesterase agents 显示文摘 | Goldberg ME Johnson HE Knaak JB | 1965 | Psychophar- macologia1965，7，： | 1 |
| 8 | Autologous intervertebral disc cell implantation:a model using psammomys obesus,the sand rat 显示文摘 | Gruber HE Johnson TL Leslie K | 2002 | Spine2002，27，15： | 1 |
| 9 | Structure-function analysis of LIV-1,the breast cancer-associated protein that belongs to a new subfamily of zinc transporters显示文摘 | Taylor KM Morgan HE Johnson A | 2003 | Biochem J2003，375，： | 1 |
| 10 | An investigation into the characteristics and formation mechanisms of particles originating from the operation of laser print- ers 显示文摘 | Morawska L He C Johnson G | 2009 | Environmental Science & Technology2009，43，4： | 1 |
| 11 | Giving samoan healers credit for prostratin显示文摘 | Cox PA Johnson HE Tavana G | 2008 | Science2008，320，5883： | 1 |
| 12 | Autologous intervertebral disc cell implantation:a model using Psammomys obesus,the sand rat显示文摘 | Gruber HE Johnson TL Leslie K | 2002 | Spine2002，27，15： | 1 |
| 13 | High - throughput metabolic fingerprinting of legume silage fermentations via fourier transform infrared spectroscopy and chemometrics显示文摘 | Johnson HE Broadhurst D Kell DB | 2004 | Appl Environ Microbiol2004，70，3： | 1 |
| 14 | Coccidioidal meningitis显示文摘 | Johnson RH Einstein HE | 2006 | Clin Infect Dis2006，42，1： | 1 |
| 15 | Early parenteral nutri- tion and growth outcomes in preterm infants: a systematic review and meta-analysis显示文摘 | Moyses HE Johnson MJ Leaf AA | 2013 | The American journal of clinical nutrition2013，97，4： | 1 |
| 16 | Elastic fibers in the annulus fibrosus of the dog intervertebraldisc 显示文摘 | Johnson EF Caldwell RW Berryman HE | 1984 | Acta Anat1984，118，4： | 1 |
| 17 | HIF-1 alpha is required for solid tumor formation and embryonic vascularization显示文摘 | Ryan HE Lo J Johnson RS | 1998 | EMBO J1998，17，11： | 1 |
| 18 | HIF- 1α is required for solid tumor formation and embryonic vascularization 显示文摘 | Ryan HE Lo J Johnson RS | 1998 | EMBO J1998，17，： | 1 |
| 19 | A mechanism for androgen receptor-mediated prostate cancer recurrence after androgen deprivation therapy显示文摘 | Gregory C W He B Johnson R T | 2001 | Cancer Res2001，61，11： | 1 |
| 20 | Timefrequency cepstral features and heteroscedastic linear discriminant analysis for language recognition显示文摘 | Zhang W Q He L Deng Y Liu J Johnson M T | | 0，，02： | 1 |
您所在的机构暂未开通此部分的功能，请联系管理员