Papers, presentations, reports and more, written in LaTeX and published by our community. Search or browse below.
A second project for Calculus 1 at Fitchburg State. Explore the proofs of some of the derivative rules and derive new rules from old.
N-gram Frequency Discounts
A short note on the motivation for n-gram frequency discounts in the context of the Katz backoff algorithm.
Data Integration, Simplified
This is high-level formal approach to Data Integration.
The goal was to model DI and model a high-level integration function and prove certain features (e.g. idempotency).
Embedded Distributed Systems: A Case of Study with Clear Linux Projectfor Intel® Architecture
The rise of IoT interconnected objects will lead to an explosion in the volume of data that is collected, transmitted and processed. This explosion in volume will require novel methods for this transmission and processing.Power consumption and performance is one of the main design constraint for these systems. If current trends continue, future petaflop systems will require 100 megawatts of power. To address this problem the trend is towards the autonomous and responsible behavior of resources This demo shows how a network of ultra-low-voltage microprocessors platforms (Intel R AtomTM Processor E3815-Minnow-Max) can process their own data (running real HPC workloads) without the need of an external HPC system. This paper shows the impact of using a custom OS for x86 architecture in a embedded distributed system.
Victor Rodriguez / Marcos de Alba