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 24  trong Tất cả tài nguyên

Kết quả 1 2 next page
Chỉ hiển thị
Lọc theo: Nhan đề tạp chí: arXiv.org xóa Cơ sở dữ liệu: Directory of Open Access Journals (DOAJ) xóa
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

mplot: An R Package for Graphical Model Stability and Variable Selection Procedures

Tarr, Garth ; Müller, Samuel ; Welsh, Alan; Welsh, Alan (pacrepositoryorg)

arXiv.org, Feb 28, 2017 [Tạp chí có phản biện]

DOI: 10.18637/jss.v083.i09

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

Hierarchical Ordering of Reticular Networks

Mileyko, Yuriy ; Edelsbrunner, Herbert ; Price, Charles ; Weitz, Joshua

PLoS One, Jun 2012, Vol.7(6), p.e36715 [Tạp chí có phản biện]

E-ISSN: 19326203 ; DOI: 10.1371/journal.pone.0036715

Toàn văn sẵn có

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

GobyWeb: Simplified Management and Analysis of Gene Expression and DNA Methylation Sequencing Data

Dorff, Kevin ; Chambwe, Nyasha ; Zeno, Zachary ; Simi, Manuele ; Shaknovich, Rita ; Campagne, Fabien

PLoS One, Jul 2013, Vol.8(7), p.e69666 [Tạp chí có phản biện]

E-ISSN: 19326203 ; DOI: 10.1371/journal.pone.0069666

Toàn văn sẵn có

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

Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis

Düdder, Boris ; Garbe, Oliver ; Martens, Moritz ; Rehof, Jakob ; Urzyczyn, Paweł; Urzyczyn, Paweł (pacrepositoryorg)

arXiv.org, Jul 31, 2013

DOI: 10.4204/EPTCS.121.2

Toàn văn sẵn có

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

PROOFTOOL: a GUI for the GAPT Framework

Dunchev, Cvetan ; Leitsch, Alexander ; Libal, Tomer ; Riener, Martin ; Rukhaia, Mikheil ; Weller, Daniel; Weller, Daniel (pacrepositoryorg)

arXiv.org, Jul 8, 2013

DOI: 10.4204/EPTCS.118.1

Toàn văn sẵn có

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

Building an IDE for the Calculational Derivation of Imperative Programs

Chaudhari, Dipak ; Damani, Om; Damani, Om (pacrepositoryorg)

arXiv.org, Aug 17, 2015

DOI: 10.4204/EPTCS.187.1

Toàn văn sẵn có

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

Advanced Proof Viewing in ProofTool

Libal, Tomer ; Riener, Martin ; Rukhaia, Mikheil; Rukhaia, Mikheil (pacrepositoryorg)

arXiv.org, Oct 30, 2014

DOI: 10.4204/EPTCS.167.6

Toàn văn sẵn có

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

AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo

Conchon, Sylvain ; Iguernlala, Mohamed ; Mebsout, Alain; Mebsout, Alain (pacrepositoryorg)

arXiv.org, Jan 25, 2017

DOI: 10.4204/EPTCS.239.1

Toàn văn sẵn có

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

A generalised framework for detailed classification of swimming paths inside the Morris Water Maze

Vouros, Avgoustinos ; Gehring, Tiago ; Szydlowska, Kinga ; Janusz, Artur ; Croucher, Mike ; Lukasiuk, Katarzyna ; Konopka, Witold ; Sandi, Carmen ; Tu, Zehai ; Vasilaki, Eleni; Vasilaki, Eleni (pacrepositoryorg)

arXiv.org, Dec 18, 2017 [Tạp chí có phản biện]

DOI: 10.1038/s41598-018-33456-1

Toàn văn sẵn có

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

The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving

Mitsch, Stefan ; Platzer, André; Platzer, André (pacrepositoryorg)

arXiv.org, Jan 30, 2017

DOI: 10.4204/EPTCS.240.5

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

Friedel Oscillation-Induced Energy Gap Manifested as Transport Asymmetry at Monolayer-Bilayer Graphene Boundaries

Clark, Kendal ; Gu, Gong ; Park, Jewook ; He, Guowei ; Feenstra, R ; An-Ping, Li; An-Ping, Li (pacrepositoryorg)

arXiv.org, Jan 8, 2014 [Tạp chí có phản biện]

DOI: 10.1103/PhysRevX.4.011021

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

SPEEDY: An Eclipse-based IDE for invariant inference

Cok, David ; Johnson, Scott; Johnson, Scott (pacrepositoryorg)

arXiv.org, Apr 26, 2014

DOI: 10.4204/EPTCS.149.5

Toàn văn sẵn có

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

A USB-controlled potentiostat/galvanostat for thin-film battery characterization

Dobbelaere, Thomas; Dobbelaere, Thomas (pacrepositoryorg)

arXiv.org, Aug 23, 2017 [Tạp chí có phản biện]

DOI: 10.1016/j.ohx.2017.08.001

Toàn văn sẵn có

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

Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation

Mauro, Gioacchino ; Thimbleby, Harold ; Domenici, Andrea ; Bernardeschi, Cinzia; Bernardeschi, Cinzia (pacrepositoryorg)

arXiv.org, Jan 30, 2017

DOI: 10.4204/EPTCS.240.4

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

User interfaces for computational science: a domain specific language for OOMMF embedded in Python

Beg, Marijan ; Pepper, Ryan ; Fangohr, Hans; Fangohr, Hans (pacrepositoryorg)

arXiv.org, Feb 24, 2017 [Tạp chí có phản biện]

DOI: 10.1063/1.4977225

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

MI-Sim: A MATLAB package for the numerical analysis of microbial ecological interactions

Wade, Matthew ; Oakley, Jordan ; Harbisher, Sophie ; Parker, Nicholas ; Dolfing, Jan

PLoS One, Mar 2017, Vol.12(3), p.e0173249 [Tạp chí có phản biện]

DOI: 10.1371/journal.pone.0173249

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

An Introduction to Programming for Bioscientists: A Python-based Primer

Mcanany, Charles ; Mura, Cameron; Mura, Cameron (pacrepositoryorg)

arXiv.org, May 18, 2016 [Tạp chí có phản biện]

DOI: 10.1371/journal.pcbi.1004867

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

Transit Analysis Package (TAP and autoKep): IDL Graphical User Interfaces for Extrasolar Planet Transit Photometry

Gazak, J ; Johnson, John ; Tonry, John ; Eastman, Jason ; Mann, Andrew ; Agol, Eric; Agol, Eric (pacrepositoryorg)

arXiv.org, Feb 4, 2011 [Tạp chí có phản biện]

DOI: 10.1155/2012/697967

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

Rectification at Graphene-Semiconductor Interfaces: Zero-Gap Semiconductor Based Diodes

Tongay, S ; Lemaitre, M ; Miao, X ; Gila, B ; Appleton, B ; Hebard, A; Hebard, A (pacrepositoryorg)

arXiv.org, Mar 23, 2012 [Tạp chí có phản biện]

DOI: 10.1103/PhysRevX.2.011002

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

OpenCFU, a New Free and Open-Source Software to Count Cell Colonies and Other Circular Objects

Geissmann, Quentin

PLoS One, Feb 2013, Vol.8(2), p.e54072 [Tạp chí có phản biện]

DOI: 10.1371/journal.pone.0054072

Toàn văn sẵn có

Phiên bản sẵn có

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

Kết quả 1 2 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 (15)

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước2011  (1)
  2. 2011đến2011  (1)
  3. 2012đến2012  (2)
  4. 2013đến2014  (7)
  5. Sau 2014  (13)
  6. Lựa chọn khác open sub menu

Gợi ý tìm kiếm

Bỏ qua truy vấn này và tìm kiếm mọi thứ

theo tác giả:

  1. Riener, Martin
  2. Libal, Tomer
  3. Rukhaia, Mikheil
  4. Chambwe, Nyasha
  5. Mura, Cameron

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