skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục

Kết quả 1 - 20 của 10.696  trong Tất cả tài nguyên

Kết quả 1 2 3 4 5 next page
Chỉ hiển thị
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

A Unified Approach for Static and Runtime Verification:: Framework and Applications

Ahrendt, Wolfgang ; Pace, Gordon J. ; Schneider, Gerardo

Leveraging Applications of Formal Methods, Verification and Validation - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, Proceedings, Part I, pp.312-326 [Tạp chí có phản biện]

ISBN: 9783642340253 ; DOI: 10.1007/978-3-642-34026-0_24

Toàn văn sẵn có

Phiên bản sẵn có
2
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type

Altenkirch, Thorsten ; Danielsson, Nils Anders ; Kraus, Nicolai

Foundations of Software Science and Computation Structures, 20th International Conference, FOSSACS 2017 [Tạp chí có phản biện]

ISSN: 0302-9743 ; ISSN: 1611-3349 ; ISSN: 0302-9743 ; ISSN: 1611-3349 ; ISBN: 9783662544570 ; DOI: 10.1007/978-3-662-54458-7_31

Toàn văn sẵn có

Phiên bản sẵn có
3
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Self-stabilizing virtual synchrony

Dolev, Shlomi ; Georgiou, C. ; Marcoullis, I. ; Schiller, Elad

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.9212, pp.248-264 [Tạp chí có phản biện]

ISSN: 03029743 ; ISSN: 03029743 ; DOI: 10.1007/978-3-319-21741-3_17

Toàn văn sẵn có

Phiên bản sẵn có
4
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Bridging Physical and Digital Traffic System Simulations with the Gulliver Test-Bed

Berger, Christian ; Dahlgren, Erik ; Grundén, Johan ; Gunnarsson, Daniel ; Holtryd, Nadja ; Khazal, Anmar ; Mustafa, Mohamed ; Papatriantafilou, Marina ; Schiller, Elad ; Steup, Christoph ; Swantesson, Viktor ; Tsigas, Philippas

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp.169-184 [Tạp chí có phản biện]

ISSN: 03029743 ; ISSN: 03029743 ; DOI: 10.1007/978-3-642-37974-1_14

Toàn văn sẵn có

5
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Generating Constrained Random Data with Uniform Distribution

Lindström Claessen, Koen ; Almström Duregård, Jonas ; Palka, Michal

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.8475, pp.18-34 [Tạp chí có phản biện]

ISSN: 03029743 ; ISSN: 03029743 ; DOI: 10.1007/978-3-319-07151-0_2

Toàn văn sẵn có

Phiên bản sẵn có
6
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Reasoning About Loops Using Vampire in KeY

Ahrendt, Wolfgang ; Kovacs, Laura ; Robillard, Simon

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.9450, pp.434-443 [Tạp chí có phản biện]

ISSN: 03029743 ; ISSN: 03029743 ; DOI: 10.1007/978-3-662-48899-7_30

Toàn văn sẵn có

Phiên bản sẵn có
7
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Bag Equivalence via a Proof-Relevant Membership Relation

Danielsson, Nils Anders

Interactive Theorem Proving, Third International Conference, ITP 2012, Vol.7406(LNCS), pp.149-165 [Tạp chí có phản biện]

ISSN: 0302-9743 ; ISSN: 0302-9743 ; ISBN: 9783642323478 ; DOI: 10.1007/978-3-642-32347-8_11

Toàn văn sẵn có

Phiên bản sẵn có
8
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

KARYON: Towards Safety Kernels for Cooperative Vehicular Systems

Casimiro, Antonio ; Kaiser, Jörg ; Karlsson, Johan ; Schiller, Elad ; Tsigas, Philippas ; Costa, Pedro ; Parizi, Jose ; Johansson, Rolf ; Librino, Renato

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.7596, pp.232-235 [Tạp chí có phản biện]

ISSN: 03029743 ; ISSN: 03029743 ; DOI: 10.1007/978-3-642-33536-5_22

Toàn văn sẵn có

Phiên bản sẵn có
9
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Rationality authority for provable rational behavior

Dolev, Shlomi ; Panagopoulou, P. N. ; Rabie, M. ; Schiller, Elad ; Spirakis, Paul G.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.9295, pp.33-48 [Tạp chí có phản biện]

ISSN: 03029743 ; ISSN: 03029743 ; DOI: 10.1007/978-3-319-24024-4_5

Toàn văn sẵn có

Phiên bản sẵn có
10
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Hipster: Integrating theory exploration in a proof assistant

Johansson, Moa ; Rosén, Dan ; Smallbone, Nicholas ; Lindström Claessen, Koen

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.8543, pp.108-122 [Tạp chí có phản biện]

ISSN: 03029743 ; ISSN: 03029743 ; DOI: 10.1007/978-3-319-08434-3_9

Toàn văn sẵn có

Phiên bản sẵn có
11
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Unicast QoS Routing in Overlay Networks

Ilie, Dragos ; Popescu, Adrian; Blekinge Tekniska Högskola, Sektionen för datavetenskap och kommunikation

Lecture Notes in Computer Science, 2011, Vol. 5233, pp. 1017-1038 [Tạp chí có phản biện]

ISSN: 0302-9743 ; DOI: 10.1007/978-3-642-02742-0

Toàn văn sẵn có

Phiên bản sẵn có
12
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

CERAPP: Collaborative Estrogen Receptor Activity Prediction Project

Mansouri, Kamel ; Abdelaziz, Ahmed ; Rybacka, Aleksandra ; Roncaglioni, Alessandra ; Tropsha, Alexander ; Varnek, Alexandre ; Zakharov, Alexey ; Worth, Andrew ; Richard, Ann M. ; Grulke, Christopher M. ; Trisciuzzi, Daniela ; Fourches, Denis ; Horvath, Dragos ; Benfenati, Emilio ; Muratov, Eugene ; Wedebye, Eva Bay ; Grisoni, Francesca ; Mangiatordi, Giuseppe F. ; Incisivo, Giuseppina M. ; Hong, Huixiao ; Ng, Hui W. ; Tetko, Igor V. ; Balabin, Ilya ; Kancherla, Jayaram ; Shen, Jie ; Burton, Julien ; Nicklaus, Marc ; Cassotti, Matteo ; Nikolov, Nikolai G. ; Nicolotti, Orazio ; Andersson, Patrik L. ; Zang, Qingda ; Politi, Regina ; Beger, Richard D. ; Todeschini, Roberto ; Huang, Ruili ; Farag, Sherif ; Rosenberg, Sine A. ; Slavov, Svetoslav ; Hu, Xin ; Judson, Richard S.

Journal of Environmental Health Perspectives, 2016, Vol.124(7), pp.1023-1033 [Tạp chí có phản biện]

ISSN: 0091-6765 ; ISSN: 0091-6765 ; DOI: 10.1289/ehp.1510267

Toàn văn sẵn có

Phiên bản sẵn có
13
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

DecTDMA: A Decentralized-TDMA with Link Quality Estimation for WSNs

Landsiedel, Olaf ; Petig, Thomas ; Schiller, Elad

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.10083, pp.231-247 [Tạp chí có phản biện]

ISSN: 03029743 ; ISSN: 03029743 ; DOI: 10.1007/978-3-319-49259-9_19

Toàn văn sẵn có

Phiên bản sẵn có
14
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Realizability and Parametricity in Pure Type Systems

Bernardy, Jean-Philippe ; Lasson, Marc

Lecture Notes in Computer Science. 14th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2011, Vol.6604, pp.108-122 [Tạp chí có phản biện]

ISSN: 0302-9743 ; ISSN: 0302-9743 ; ISBN: 9783642198045 ; DOI: 10.1007/978-3-642-19805-2_8

Toàn văn sẵn có

Phiên bản sẵn có
15
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Modular Remote Reprogramming of Sensor Nodes

Munawar, Waqaas ; Alizai, Muhammad Hamad ; Landsiedel, Olaf ; Wehrle, K.

International Journal of Sensor Networks, 2015, Vol.19(3), pp.251-265 [Tạp chí có phản biện]

ISSN: 1748-1279 ; ISSN: 1748-1279 ; DOI: 10.1504/IJSNET.2015.072868

Toàn văn sẵn có

Phiên bản sẵn có
16
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Strategies for repeated games with subsystem takeovers implementable by deterministic and self-stabilising automata

Dolev, Shlomi ; Schiller, Elad Michael ; Spirakis, Paul G. ; Tsigas, Philippas

International Journal of Autonomous and Adaptive Communications Systems, 2011, Vol.4(1), pp.4 [Tạp chí có phản biện]

ISSN: 1754-8632 ; ISSN: 1754-8632 ; DOI: 10.1504/IJAACS.2011.037747

Toàn văn sẵn có

Phiên bản sẵn có
17
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Revisiting the Need for Mobile MAC Protocols in Wireless Sensor Networks

Hassanzadeh, Navid ; Landsiedel, Olaf ; Hermans, Frederik ; Rensfelt, Olof ; Voigt, Thiemo

ACM SIGBED Review, 2012, Vol.9(3) [Tạp chí có phản biện]

Toàn văn sẵn có

Phiên bản sẵn có
18
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

On the Applicability of Network Coding in Wireless Sensor Networks

Voigt, Thiemo ; Roedig, Utz ; Landsiedel, Olaf ; Samarasinghe, Kasun ; Prasad, Mahesh Bogadi Shankar

ACM SIGBED Review, 2012, Vol.9(3) [Tạp chí có phản biện]

Toàn văn sẵn có

Phiên bản sẵn có
19
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Self-Stabilizing TDMA Algorithms for Dynamic Wireless Ad Hoc Networks

Leone, P. ; Schiller, Elad

International Journal of Distributed Sensor Networks, 2013, Vol.2013(639761), pp.17 [Tạp chí có phản biện]

ISSN: 1550-1329 ; ISSN: 1550-1329 ; DOI: 10.1155/2013/639761

Toàn văn sẵn có

Phiên bản sẵn có
20
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Comparing the Performance of NoSQL Approaches for Managing Archetype-Based Electronic Health Record Data

Freire, Sergio Miranda ; Teodoro, Douglas ; Wei-Kleiner, Fang ; Sundvall, Erik ; Karlsson, Daniel ; Lambrix, Patrick

PLoS ONE, 2016, Vol.11(3) [Tạp chí có phản biện]

ISSN: 1932-6203 ; ISSN: 1932-6203 ; PMID: 26958859 ; DOI: 10.1371/journal.pone.0150069

Toàn văn sẵn có

Phiên bản sẵn có

Kết quả 1 - 20 của 10.696  trong Tất cả tài nguyên

Kết quả 1 2 3 4 5 next page

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

Mở rộng kết quả tìm kiếm

  1.   

Chỉ hiển thị

  1. Tạp chí có phản biện (1.034)

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước1988  (32)
  2. 1988đến1995  (100)
  3. 1996đến2003  (820)
  4. 2004đến2012  (4.404)
  5. Sau 2012  (5.275)
  6. Lựa chọn khác open sub menu

Ngôn ngữ 

  1. English  (9.812)
  2. Swedish  (2.908)
  3. Japanese  (5)
  4. Chinese  (5)
  5. German  (3)
  6. French  (2)
  7. Danish  (1)
  8. Turkish  (1)
  9. Serbo-Croatian  (1)
  10. Croatian  (1)
  11. Lựa chọn khác open sub menu

Đang tìm Cơ sở dữ liệu bên ngoài...