Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computer Science

Quantification of Brain Access of Exendin-4 in the C57BL Mouse Model by SPIM Fluorescence Imaging and the Allen Mouse Brain Reference Model

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Automatic Abstraction for Intervals Using Boolean Formulae

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Stacked Deformable Part Model With Shape Regression for Object Part Localization

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Electrical Power Systems Protection and Interdependencies With ICT

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Block Preconditioners for the Incompressible Stokes Problem

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Case Study of Participatory Data Transfer for Urban Temperature Monitoring

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Bridging the Gap Between Formal Languages and Natural Languages With Zippers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Distributed Synthesis for Regular and Contextfree Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Analysis of Gossip-Based Information Propagation in Wireless Mesh Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Time-Bounded Verification of CTMCs Against Real-Time Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy