搜索页_$CSP \parallel B$

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

SpringerLink电子期刊(14)

在“SpringerLink电子期刊”中，命中：14条，耗时：0.1019842 秒

在所有数据库中总计命中：130条

1. Model checking of state-rich formalism by linking to $CSP\,\Vert \,B$

作者： Kangfeng Ye…

关键词：$CSP \parallel B$ ; CSPZB ; ProB ; Model checking ; Buffer

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

2. Predicting and Witnessing Data Races Using CSP

作者：Luis M. Carril (16) Walter F. Tichy (16) 16. Institute for Program Structures and Data Organization (IPD) ; Karlsruhe Institute of Technology (KIT) ; Am Fasanengarten 5 ; 76131 ; Karlsruhe ; Germany

关键词：Data race ; Concurrent programs ; Debug ; CSP

刊名：Lecture Notes in Computer Science

出版年：2015

3. Three-degree-of-freedom parallel manipulator to track the sun for concentrated solar power systems

作者： R B Ashith Shyam ; A Ghosal

关键词：3 ; RPS ; Parallel manipulator ; Heliostat ; Solar tracking

刊名：Chinese Journal of Mechanical Engineering

出版年：2015

4. Large-scale parallelism for constraint-based local search: the costas array case study

作者：Yves Caniou (1) Philippe Codognet (2) Florian Richoux (3) Daniel Diaz (4) Salvador Abreu (5) 1. JFLI ; CNRS / University of Tokyo / UCBL ; Lyon ; France 2. JFLI ; CNRS / University of Tokyo / UPMC ; Tokyo ; Japan 3. JFLI ; CNRS / University of Tokyo / LINA ; UNAM ; Nantes ; France 4. Universit茅 de Paris 1-Sorbonne ; Paris ; France 5. Universidade de 脡vora / CENTRIA ; 脡vora ; Portugal

关键词：CSP ; Local search ; Metaheuristics ; Parallelism ; Implementation

刊名：Constraints

出版年：2015

5. Integrity of cortical perineuronal nets influences corticospinal tract plasticity after spinal cord injury

作者：C. Orlando (1) O. Raineteau (1) 1. Brain Research Institute ; University of Zurich/ETH ; Winterthurerstrasse 190 ; 8057 ; Zurich ; Switzerland

关键词：Extracellular matrix ; Chondroitin sulphate proteoglycans ; Chondroitinase ; Parvalbumin ; Plasticity

刊名：Brain Structure and Function

出版年：2015

6. Verification of Scheme Plans Using CSP $||$ B

作者：Philip James (3) Faron Moller (3) Hoang Nga Nguyen (5) Markus Roggenbach (3) Steve Schneider (4) Helen Treharne (4) Matthew Trumble (4) David Williams (6)

刊名：Lecture Notes in Computer Science

出版年：2014

7. Tumor-associated copy number changes in the circulation of patients with prostate cancer identified through whole-genome sequencing

作者：Ellen Heitzer (1) Peter Ulz (1) Jelena Belic (1) Stefan Gutschi (2) Franz Quehenberger (3) Katja Fischereder (2) Theresa Benezeder (1) Martina Auer (1) Carina Pischler (1) Sebastian Mannweiler (4) Martin Pichler (5) Florian Eisner (5) Martin Haeusler (6) Sabine Riethdorf (7) Klaus Pantel (7) Hellmut Samonigg (5) Gerald Hoefler (4) Herbert Augustin (2) Jochen B Geigl (1) Michael R Speicher (1)

刊名：Genome Medicine

出版年：2013

8. Protein L: a novel reagent for the detection of Chimeric Antigen Receptor (CAR) expression by flow cytometry

作者：Zhili Zheng (1) Nachimuthu Chinnasamy (1) Richard A Morgan (1)

刊名：Journal of Translational Medicine

出版年：2012

9.Arithmetizing Classes Around NC\textsf{NC}¹ and L

作者：Nutan Limaye ; Meena Mahajan and B. V. Raghavendra Rao

关键词：Bounded ; width circuits ; Branching programs ; Circuit degree ; Arithmetization

刊名：Theory of Computing Systems

出版年：2010

10. Photoelectric Properties of Silicon Nanocrystals/P3HT Bulk-Heterojunction Ordered in Titanium Dioxide Nanotube Arrays

作者：Vladimir ?vr?ek (1) Ivan Turkevych (1) Michio Kondo (1)

关键词：Silicon nanocrystals ; Bulk heterojunction ; Titanium dioxide nanotubes

刊名：Nanoscale Research Letters

出版年：2009

按检索点细分(14)

关键词(1)

文摘(8)

按出版年细分(14)

2017年(1)

2015年(4)

2014年(1)

2013年(1)

2012年(1)

2010年(1)

2009年(2)

2008年(1)

2007年(2)