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
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
2272
search results - page 162 / 455
»
A Calculus for
Sort
relevance
views
votes
recent
update
View
thumb
title
100
click to vote
FAC
2006
72
views
more
FAC 2006
»
A Calculus and logic of resources and processes
15 years 4 months ago
Download
www.hpl.hp.com
David J. Pym, Chris M. N. Tofts
claim paper
Read More »
79
click to vote
IJFCS
2006
61
views
more
IJFCS 2006
»
An universality result for a (mem)brane calculus based on mate/drip operations
15 years 4 months ago
Download
lucacardelli.name
Luca Cardelli, Gheorghe Paun
claim paper
Read More »
150
click to vote
JGO
2008
328
views
more
JGO 2008
»
Singularities of minima: a walk on the wild side of the Calculus of Variations
15 years 4 months ago
Download
www.math.unipr.it
Abstract I will report on some recent developments concerning the problem of estimating the Hausdorff dimension of the singular sets of solutions to elliptic and variational proble...
Giuseppe Mingione
claim paper
Read More »
74
click to vote
JACIII
2006
33
views
more
JACIII 2006
»
g-Calculus-Based Compositional Rule of Inference
15 years 4 months ago
Download
www.fujipress.jp
Marta Takács
claim paper
Read More »
100
click to vote
JOC
2008
42
views
more
JOC 2008
»
Index Calculus in Class Groups of Non-hyperelliptic Curves of Genus Three
15 years 4 months ago
Download
hal.inria.fr
Claus Diem, Emmanuel Thomé
claim paper
Read More »
« Prev
« First
page 162 / 455
Last »
Next »