Result 1 to 20 of 28 total
The relational model is injective for multiplicative exponential linear logic (without weakenings). (English)
Ann. Pure Appl. Logic 163, No. 9, 1210-1236 (2012).
1
Poissonian tree constructed from independent Poisson point processes. (English)
Peixoto, Maurício Matos (ed.) et al., Dynamics, games and science II. DYNA 2008, in honor of Maurício Peixoto and David Rand, University of Minho, Braga, Portugal, September 8‒12, 2008. Papers based on talks given at the international conference. Berlin: Springer (ISBN 978-3-642-14787-6/hbk; 978-3-642-14788-3/ebook). Springer Proceedings in Mathematics 2, 251-255 (2011).
2
A semantic measure of the execution time in linear logic. (English)
Theor. Comput. Sci. 412, No. 20, 1884-1902 (2011).
3
Customized computer-aided application mapping on noc infrastructure using multi-objective optimization (English)
Journal of Systems Architecture - Embedded Systems Design 57, No. 1, 79-94 (2011).
4
The relational model is injective for multiplicative exponential linear logic (without weakenings). (English)
Comput. Res. Repos. 2010, Article No. 1002.3131 (2010).
5
Using acceleration data from smartphones to interact with 3D medical data (English)
SIBGRAPI, 339-345 (2010).
6
Execution time of lambda-terms via denotational semantics and intersection types. (English)
Comput. Res. Repos. 2009, Article No. 0905.4251 (2009).
7
Mp4stego: steganography in MPEG-4 videos. (English)
Int. J. Adv. Media Commun. 3, No. 4, 440-460 (2009).
8
Clan particle swarm optimization. (English)
Int. J. Intell. Comput. Cybern. 2, No. 2, 197-227 (2009).
9
Dynamic clan particle swarm optimization (English)
ISDA, 249-254 (2009).
10
Fuzzy expert system: an example in prostate cancer. (English)
Appl. Math. Comput. 202, No. 1, 78-85 (2008).
11
Fuzzy logic in action: applications in epidemiology and beyond. (English)
Studies in Fuzziness and Soft Computing 232. Berlin: Springer (ISBN 978-3-540-69092-4/hbk; 978-3-540-69094-8/ebook). xii, 347~p. EUR~139.05 (2008).
12
Defining the implementation order of software projects in uncertain environments (English)
ICEIS (3-2), 23-29 (2008).
13
Video steganography for confidential documents: integrity, privacy and version control (English)
SIGDOC, 199-206 (2008).
14
Application of weighted least squares to calibrate a digital system for measuring the respiratory pressures (English)
BIODEVICES (1), 220-223 (2008).
15
Uma proposta de framework para desenvolvimento de aplicações paralelas com mobilidade. (English)
Rev. Inform. Teor. Apl. 14, No. 2, 29-42 (2007).
16
Functional and device interoperability in an architectural model of geographic information system (English)
SIGDOC, 127-133 (2007).
17
Fourier analysis and holographic representations of 1D and 2D signals. (English)
Comput. Res. Repos. 2006, Article No. 0603116 (2006).
18
Intersection types for light affine lambda calculus. (English)
Electron. Notes Theor. Comput. Sci. 136, 133-152 (2005).
19
A novel distributed scheduling algorithm for resource sharing under near-heavy load. (English)
Higashino, Teruo (ed.), Principles of distributed systems. 8th international conference, OPODIS 2004, Grenoble, France, December 15‒17, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-27324-7/pbk). Lecture Notes in Computer Science 3544, 431-442 (2005).
20
Result 1 to 20 of 28 total
Start
Contact
Print
General Help
