Sciweavers

Top Ranked Papers of 2011 on Mathematics | All Conferences

All ConferencesAMCSAMLASMTAISSACCALCOCASCDMTCS

20

AMCS
2011

341views Mathematics» more AMCS 2011»

FSP and FLTL framework for specification and verification of middle-agents

9 years 8 months ago

FSP and FLTL framework for specification and verification of middle-agents

Download versita.metapress.com

Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...

Amelia Badica, Costin Badica

claim paper

Read More »

14

AML
2011

322views Mathematics» more AML 2011»

A dedekind finite borel set

9 years 8 months ago

A dedekind finite borel set

Download www.math.wisc.edu

In this paper we prove three theorems about the theory of Borel sets in models of ZF without any form of the axiom of choice. We prove that if B ⊆ 2ω is a Gδσ-set then either...

Arnold W. Miller

claim paper

Read More »

11

AML
2011

306views Mathematics» more AML 2011»

Representations of structural closure operators

9 years 8 months ago

Representations of structural closure operators

Download www.mat.ub.edu

José Gil-Férez

claim paper

Read More »

13

AMCS
2011

304views Mathematics» more AMCS 2011»

Hierarchical residue number systems with small moduli and simple converters

9 years 8 months ago

Hierarchical residue number systems with small moduli and simple converters

Download matwbn.icm.edu.pl

Tadeusz Tomczak

claim paper

Read More »

14

AMCS
2011

304views Mathematics» more AMCS 2011»

Engineering intelligent systems on the knowledge formalization continuum

9 years 8 months ago

Engineering intelligent systems on the knowledge formalization continuum

Download ki.informatik.uni-wuerzburg.de

Joachim Baumeister, Jochen Reutelshoefer, Frank Pu...

claim paper

Read More »

Applied Computing

Artificial Intelligence

Augmented Reality

Automated Reasoning

Computational Biology

Computational Geometry

Computational Linguistics

Computer Architecture

Computer Graphics

Computer Networks

Computer Vision

Control Systems

Discrete Geometry

Distributed And Parallel Computing

Document Analysis

Electrical And Computer Engineering

Embedded Systems

Emerging Technology

Human Computer Interaction

Image Processing

Information Technology

Intelligent Agents

Internet Technology

Knowledge Management

Logical Reasoning

Machine Learning

Medical Imaging

Modeling And Simulation

Natural Language Processing

Neural Networks

Operating System

Operations Research

Pattern Recognition

Programming Languages

Security Privacy

Sensor Networks

Signal Processing

Social Networks

Social Sciences

Software Engineering

System Software

Theoretical Computer Science

Virtual Reality

Mathematics