Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Giới thiệu
Đăng ký
Đăng nhập
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
Giới thiệu
Đăng ký
Đăng nhập
0
Trang chủ
Luận Văn - Báo Cáo
Báo cáo khoa học
Báo cáo toán học: "Computing parametric rational generating functions with a primal Barvinok algorithm"
Đang chuẩn bị liên kết để tải về tài liệu:
Báo cáo toán học: "Computing parametric rational generating functions with a primal Barvinok algorithm"
Ngọc Trâm
41
19
pdf
Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Tuyển tập các báo cáo nghiên cứu khoa học về toán học trên tạp chí toán học quốc tế đề tài: Computing parametric rational generating functions with a primal Barvinok algorithm. | Computing parametric rational generating functions with a primal Barvinok algorithm Matthias Koppe Otto-von-Guericke-Universitat Magdeburg Department of Mathematics Institute for Mathematical Optimization IMO Universitatsplatz 2 39106 Magdeburg Germany mkoeppe@imo.math.uni-magdeburg.de Sven Verdoolaege Leiden Institute of Advanced Computer Science LIACS Universiteit Leiden Niels Bohrweg 1 2333 CA Leiden The Netherlands sverdool@liacs.nl Submitted Aug 27 2007 Accepted Oct 5 2007 Published Jan 21 2008 Mathematics Subject Classifications 05A15 52C07 68W30 Abstract Computations with Barvinok s short rational generating functions are traditionally being performed in the dual space to avoid the combinatorial complexity of inclusion-exclusion formulas for the intersecting proper faces of cones. We prove that on the level of indicator functions of polyhedra there is no need for using inclusion-exclusion formulas to account for boundary effects All linear identities in the space of indicator functions can be purely expressed using partially open variants of the full-dimensional polyhedra in the identity. This gives rise to a practically efficient parametric Barvinok algorithm in the primal space. 1 Introduction We consider a family of polytopes Pq x 2 Rd Ax q g parameterized by a righthand side vector q 2 Q c Rm where the set of right-hand sides is restricted to some The first author was supported by a 2006 2007 Feodor Lynen Research Fellowship from the Alexander von Humboldt Foundation. He also acknowledges the hospitality of Jesus De Loera and the Department of Mathematics of the University of California Davis where a part of this work was completed. THE ELECTRONIC JOURNAL OF COMBINATORICS 15 2008 R16 1 polyhedron Q. For this family of polytopes we define the parametric counting function c Q N by c q Pq Zd 1 Note that this includes vector partition functions c A x 2 Nd A0x A g as a special case. It is well-known that the counting function 1 is a piecewise quasipolynomial
TÀI LIỆU LIÊN QUAN
Đề tài nghiên cứu khoa học: Thực trạng công tác kiểm toán TSCĐ và một số biện pháp nhằm hoàn thiện quy trình kiểm toán báo cáo tài chính nói chung và quy trình kiểm toán khoản mục TSCĐ nói riêng đối với công ty TNHH kiểm toán và tư vấn kế toán An Phát (APS)
Luận văn tốt nghiệp: Hoàn thiện quá trình lập kế hoạch kiểm toán trong quy trình kiểm toán Báo cáo tài chính do Công ty Hợp danh Kiểm toán Việt Nam thực hiện
LUẬN VĂN: Kiểm toán các khoản phải thu khách hàng trong quy trình kiểm toán Báo cáo tài chính do Công ty kiểm toán và tư vấn tài chính ACA Group thực hiện
Những ảnh hưởng của chuẩn mực kế toán Việt Nam đến kiểm toán báo cáo tài chính doanh nghiệp nhà nước và yêu cầu hoàn thiện nội dung quy trình kiểm toán báo cáo tài chính DNNN của kiểm toán nhà nước
Vận dụng quy trình kiểm toán báo cáo quyết toán dự án đầu tư xây dựng cơ bản trong một cuộc kiểm toán báo cáo quyết toán ngân sách địa phương
Tóm tắt báo cáo tổng kết đề tài khoa học và công nghệ cấp Đại học Đà Nẵng: Xây dựng Cơ sở dữ liệu phục vụ đào tạo môn học Thực hành kiểm toán báo cáo tài chính doanh cho sinh viên ngành Kiểm toán
Báo cáo nghiên cứu khoa học: "Danh lục các loài thú ở khu bảo tồn thiên nhiên Pù Huống tỉnh Nghệ An và ý nghĩa bảo tồn nguồn gen quí hiếm của chúng"
Báo cáo nghiên cứu khoa học: "Kết hợp phương pháp chiếu và hàm phạt giải bài toán bất đẳng thức biến phân đơn điệu"
Báo cáo nghiên cứu khoa học: "Đánh giá tính ổn định nghiệm cuả bài toán Cauchy cho phương trình truyền nhiệt ngược thời gian"
Báo cáo khoa học: " Áp dụng thủ tục phân tích trong kiểm toán báo cáo tài chính"
crossorigin="anonymous">
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.