|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 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 | Fabrication and study of supercapacitor electrodes based on oxygen plasma functionalized carbon nanotube fibers显示文摘Dry-spun Carbon Nanotube(CNT)fibers were surface-modified by atmospheric pressure oxygen plasma functionalization using a well controlled and continuous process.The fibers were characterized by scanning electron microscopy(SEM),Raman spectroscopy,and X-ray Photoelectron Spectroscopy(XPS).It was found from the conducted electrochemical measurements that the functionalized fibers showed a 132.8% increase in specific capacitance compared to non-functionalized fibers.Dye-adsorption test and the obtained Randles-Sevcik plot demonstrated that the oxygen plasma functionalized fibers exhibited increased surface area.It was further established by Brunauer-Emmett-Teller(BET)measurements that the surface area of the CNT fibers was increased from 168.22 m^2/g to 208.01 m^2/g after plasma functionalization.The pore size distribution of the fibers was also altered by this processing.The improved electrochemical data was attributed to enhanced wettability,increased surface area,and the presence of oxygen functional groups,which promoted the capacitance of the fibers.Fiber supercapacitors were fabricated from the oxygen plasma functionalized CNT fiber electrodes using different electrolyte systems.The devices with functionalized electrodes exhibited excellent cyclic stability(93.2% after 4000 cycles),flexibility,bendability,and good energy densities.At 0.5 m A/cm^2,the EMIMBF4 device revealed a specific capacitance,which is 27% and 65%greater than the specific capacitances of devices using EMIMTFSI and H2SO4 electrolytes,respectively.The practiced in this work plasma surface processing can be employed in other applications where fibers,yarns,ribbons,and sheets need to be chemically modified. | Paa Kwasi Adusei Seyram Gbordzoe Sathya Narayan Kanakaraj Yu-Yun Hsieh Noe T.Alvarez Yanbo Fang Kevin Johnson Colin McConnell Vesselin Shanov | 2020 | Journal of Energy Chemistry2020，29，1： | 4 |
| 3 | Laparoscopic versus open distal pancreatectomy: a clinical and cost-effectiveness study显示文摘 | Mohammad Abu Hilal Mohammed Hamdan Francesco Di Fabio Neil Pearce Colin Johnson | 2012 | Surgical Endoscopy2012，，6： | 3 |
| 4 | The New Revised Classification of Acute Pancreatitis 2012显示文摘 | Michael G. Sarr Peter A. Banks Thomas L. Bollen Christos Dervenis Hein G. Gooszen Colin D. Johnson Gregory G. Tsiotos Santhi Swaroop Vege | 2013 | Surgical Clinics of North America2013，，3： | 3 |
| 5 | Global, regional, and national causes of child mortality in 2008: a systematic analysis显示文摘 | Robert E Black Simon Cousens Hope L Johnson Joy E Lawn Igor Rudan Diego G Bassani Prabhat Jha Harry Campbell Christa Fischer Walker Richard Cibulskis Thomas Eisele Li Liu Colin Mathers | 2010 | The Lancet2010，，9730： | 3 |
| 6 | Expression of Transforming Growth Factor-β1 by Pancreatic Stellate Cells and Its Implications for Matrix Secretion and Turnover in Chronic Pancreatitis显示文摘 | Fanny Wai-Tsing Shek Robert Christopher Benyon Fiona Mairi Walker Peter Raymond McCrudden Sylvia Lin Foon Pender Elizabeth Jean Williams Penelope Ann Johnson Colin David Johnson Adrian Calvin Bateman David Roger Fine John Peter Iredale | 2002 | The American Journal of Pathology2002，，5： | 2 |
| 7 | Global, regional, and national causes of child mortality in 2008: a systematic analysis显示文摘 | Robert E Black Simon Cousens Hope L Johnson Joy E Lawn Igor Rudan Diego G Bassani Prabhat Jha Harry Campbell Christa Fischer Walker Richard Cibulskis Thomas Eisele Li Liu Colin Mathers | 2010 | The Lancet . 2010 (9730)2010，，： | 2 |
| 8 | Clinical and molecular genetic features of ARC syndrome显示文摘 | Paul Gissen Louise Tee Colin A. Johnson Emmanuelle Genin Almuth Caliebe David Chitayat Carol Clericuzio Jonas Denecke Maja Rocco Bj?rn Fischler David FitzPatrick Angeles García-Cazorla Delphine Guyot Sebastien Jacquemont Sibylle Koletzko Bruno Leheup Hann | 2006 | Human Genetics2006，，3： | 2 |
| 9 | Comparison of Central and Extended Left Pancreatectomy for Lesions of the Pancreatic Neck显示文摘 | Lee M. Ocuin MD Juan M. Sarmiento MD Charles A. Staley MD John R. Galloway MD Colin D. Johnson MD William C. Wood MD David A. Kooby MD | 2008 | Annals of Surgical Oncology2008，，8： | 2 |
| 10 | 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 |
| 11 | The intangible assets of the Internet of Things显示文摘 | R Colin Johnson | 2012 | Electronic EngineeringTimes2012，，4： | 1 |
| 12 | Global, regional, and national causes of child mortality: an updated systematic analysis for 2010 with time trends since 2000显示文摘 | Li Liu Hope L Johnson Simon Cousens Jamie Perin Susana Scott Joy E Lawn Igor Rudan Harry Campbell Richard Cibulskis Mengying Li Colin Mathers Robert E Black | 2012 | The Lancet2012，，9832： | 1 |
| 13 | Locational Strategies of Inter- national Hotel Chains 显示文摘 | Colin Johnson Maurizio Vanetti | 2005 | Annals of Tourism Research2005，32，4： | 1 |
| 14 | Global, regional, and national causes of child mortality in 2008: a systematic analysis显示文摘 | Robert E Black Simon Cousens Hope L Johnson Joy E Lawn Igor Rudan Diego G Bassani Prabhat Jha Harry Campbell Christa Fischer Walker Richard Cibulskis Thomas Eisele Li Liu Colin Mathers | 2010 | The Lancet2010，，9730： | 1 |
| 15 | Early Antibiotic Treatment for Severe Acute Necrotizing Pancreatitis: A Randomized, Double-Blind, Placebo-Controlled Study显示文摘 | E Patchen Dellinger Jose M. Tellado Norberto E. Soto Stanley W. Ashley Philip S. Barie Thierry Dugernier Clement W. Imrie Colin D. Johnson Hanns-Peter Knaebel Pierre-Francois Laterre Enrique Maravi-Poma Jorge J. Olsina Kissler Miguel Sanchez-Garcia Stefan | 2007 | Annals of Surgery2007，，5： | 1 |
| 16 | Global, regional, and national causes of child mortality in 2008: a systematic analysis显示文摘 | Robert E Black Simon Cousens Hope L Johnson Joy E Lawn Igor Rudan Diego G Bassani Prabhat Jha Harry Campbell Christa Fischer Walker Richard Cibulskis Thomas Eisele Li Liu Colin Mathers | 2010 | The Lancet2010，，9730： | 1 |
| 17 | Kinematics and laxity of a linked total elbow arthroplasty following computer navigated implant positioning显示文摘 | James R. Brownhill Colin P. Mcdonald Louis M. Ferreira J.W. Pollock James A. Johnson Graham J.W. King | 2012 | Computer Aided Surgery2012，，： | 1 |
| 18 | Implementation of enhanced recovery programme after pancreatoduodenectomy: A single-centre UK pilot study显示文摘 | Mohammed Abu Hilal Francesco Di Fabio AbdAllah Badran Hani Alsaati Hannah Clarke Imogen Fecher Thomas H. Armstrong Colin D. Johnson Neil W. Pearce | 2013 | Pancreatology2013，，1： | 1 |
| 19 | Particle Swarm for Attribute Selection in Bayesian Classification:An Application to Protein Function Prediction显示文摘 | Elon S Correa Alex A Freitas Colin G Johnson | 2008 | Journal of Artificial Evolution and Applications2008，112，： | 1 |
| 20 | Novel Protein targets for organophosorus compounds显示文摘 | Paul Richards Martin Johnson David Ray Colin WaIker | 1999 | Chemico-Biological lnteractions1999，，： | 1 |
您所在的机构暂未开通此部分的功能，请联系管理员