Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
61
search results - page 1 / 13
»
ac 2010
Sort
relevance
views
votes
recent
update
View
thumb
title
12
click to vote
ACS
2010
92
views
Distributed And Parallel Com...
»
more
ACS 2010
»
Automorphisms and Homotopies of Groupoids and Crossed Modules
13 years 6 months ago
Download
www.maths.bangor.ac.uk
Murat Alp, Christopher D. Wensley
claim paper
Read More »
10
click to vote
ACS
2010
96
views
Distributed And Parallel Com...
»
more
ACS 2010
»
Exact Sequences and Closed Model Categories
13 years 6 months ago
Download
www.unirioja.es
Mónica García-Pinillos, Luis Javier ...
claim paper
Read More »
12
click to vote
ACS
2010
96
views
Distributed And Parallel Com...
»
more
ACS 2010
»
Homotopy Gerstenhaber Structures and Vertex Algebras
13 years 4 months ago
Download
www.hausdorff-research-institute.uni-bonn.de
I. Gálvez, V. Gorbounov, A. Tonks
claim paper
Read More »
16
click to vote
ACS
2010
98
views
Distributed And Parallel Com...
»
more
ACS 2010
»
A Representation Theorem for Geometric Morphisms
13 years 6 months ago
Download
www.christophertownsend.org
It it shown that geometric morphisms between elementary toposes can be represented as certain adjunctions between the corresponding categories of locales. These adjunctions are ch...
Christopher F. Townsend
claim paper
Read More »
16
click to vote
ECRTS
2010
IEEE
192
views
Embedded Systems
»
more
ECRTS 2010
»
ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustr
13 years 7 months ago
Download
www-verimag.imag.fr
Karine Altisen, Matthieu Moy
claim paper
Read More »
« Prev
« First
page 1 / 13
Last »
Next »