Cost accounting

View this topic in
Cost accounting information is designed for managers. (Wikipedia.org)






Conferences related to Cost accounting

Back to Top

2019 IEEE International Electric Machines & Drives Conference (IEMDC)

The IEEE International Electric Machines and Drives Conference (IEMDC) has been established to be one of the major events in the field of electrical machines and drives. IEMDC is a refernce forum to disseminate and exchange state of art in the filed of the Electrical Machines and Drives. The 2018 edition started in 1997 and the 2019 edition will be 11th one.


2019 IEEE Pulsed Power & Plasma Science (PPPS)

Combined conference of the IEEE International Conference on Plasma Science and the IEEE International Pulsed Power Conference


2018 16th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt)

WiOpt 2018 welcomes original papers related to modeling, performance evaluation, and optimization of wireless networks. The scope covers all types of wireless networks: cellular, ad hoc, content-driven, delay-tolerant, mesh, metropolitan, sensor, cognitive, vehicular, robotic, Internet of Things, virtualized, etc. The focus is on issues at and above the MAC layer, although cross-layer techniques encompassing the physical layer are equally welcome. We encourage both theoretical contributions and submissions relating to real world empirical measurements, experimental studies.


2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC)

ASP-DAC 2018 is the 23rd annual international conference on VLSI design automation in Asia and South Pacific regions, one of the most active regions of design and fabrication of silicon chips in the world. The conference aims at providing the Asian and South Pacific CAD/DA and Design community with opportunities of presenting recent advances and with forums for future directions in technologies related to Electronic Design Automation (EDA). The format of the meeting intends to cultivate and promote an instructive and productive interchange of ideas among EDA researchers/developers and system/circuit/device designers. All scientists, engineers, and students who are interested in theoretical and practical aspects of VLSI design and design automation are welcomed to ASP-DAC.


2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.

  • 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.

  • 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include:automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantic

  • 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, theory of automatic structures, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security, rewriting, type systems and type theory, and verification.

  • 2014 29th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS)

    Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, theory of automatic structures, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security, rewriting, type systems and type theory, and verification.

  • 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.

  • 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.

  • 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011)

    LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

  • 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010)

    LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

  • 2009 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009)

    LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

  • 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.

  • 2007 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)

  • 2006 21st Annual IEEE Symposium on Logic in Computer Science (LICS 2006)

  • 2005 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005)


More Conferences

Periodicals related to Cost accounting

Back to Top

Antennas and Propagation, IEEE Transactions on

Experimental and theoretical advances in antennas including design and development, and in the propagation of electromagnetic waves including scattering, diffraction and interaction with continuous media; and applications pertinent to antennas and propagation, such as remote sensing, applied optics, and millimeter and submillimeter wave techniques.


Biomedical Engineering, IEEE Transactions on

Broad coverage of concepts and methods of the physical and engineering sciences applied in biology and medicine, ranging from formalized mathematical theory through experimental science and technological development to practical clinical applications.


Communications Magazine, IEEE

IEEE Communications Magazine was the number three most-cited journal in telecommunications and the number eighteen cited journal in electrical and electronics engineering in 2004, according to the annual Journal Citation Report (2004 edition) published by the Institute for Scientific Information. Read more at http://www.ieee.org/products/citations.html. This magazine covers all areas of communications such as lightwave telecommunications, high-speed data communications, personal communications ...


Communications, IEEE Transactions on

Telephone, telegraphy, facsimile, and point-to-point television, by electromagnetic propagation, including radio; wire; aerial, underground, coaxial, and submarine cables; waveguides, communication satellites, and lasers; in marine, aeronautical, space and fixed station services; repeaters, radio relaying, signal storage, and regeneration; telecommunication error detection and correction; multiplexing and carrier techniques; communication switching systems; data communications; and communication theory. In addition to the above, ...


Computational Biology and Bioinformatics, IEEE/ACM Transactions on

Specific topics of interest include, but are not limited to, sequence analysis, comparison and alignment methods; motif, gene and signal recognition; molecular evolution; phylogenetics and phylogenomics; determination or prediction of the structure of RNA and Protein in two and three dimensions; DNA twisting and folding; gene expression and gene regulatory networks; deduction of metabolic pathways; micro-array design and analysis; proteomics; ...


More Periodicals

Most published Xplore authors for Cost accounting

Back to Top

Xplore Articles related to Cost accounting

Back to Top

Towards a process framework for assessing the potential value of technologies

[{u'author_order': 1, u'affiliation': u'Centre for Technology Management, University of Cambridge, UK', u'full_name': u'David Probert'}, {u'author_order': 2, u'affiliation': u'Centre for Technology Management, University of Cambridge, UK', u'full_name': u'Clare Farrukh'}, {u'author_order': 3, u'affiliation': u'Centre for Technology Management, University of Cambridge, UK', u'full_name': u'Marcel Dissel'}, {u'author_order': 4, u'affiliation': u'Centre for Technology Management, University of Cambridge, UK', u'full_name': u'Rob Phaal'}] 2011 Proceedings of PICMET '11: Technology Management in the Energy Smart World (PICMET), None

Current technology valuation literature predominantly focuses on explaining the merits and implications of specific tools, but little research is available that takes a contextual process perspective. The aim of this paper is to further develop an integrative process framework that supports the structuring of the valuation process and the more systematic choice of valuation techniques for new technologies.


Valuation of CHP power plant portfolios using recursive stochastic optimization

[{u'author_order': 1, u'full_name': u'C. Weber'}, {u'author_order': 2, u'affiliation': u'Chair for Energy Management, University of Duisburgessen, Germany, e-mail: oliver.woll@uni-duisburg-essen.de', u'full_name': u'O. Woll'}] 2006 International Conference on Probabilistic Methods Applied to Power Systems, None

In portfolio optimization including CHP plants, the heat demand provides a power plant overwhelming restriction. Thus usual real option approaches used for valuing conventional power plants cannot be applied directly. But on the other hand, the operation of CHP systems in liberalized electricity markets has also to take into account uncertain power prices in addition to uncertain heat and electricity ...


Managing Revenue in Grids

[{u'author_order': 1, u'affiliation': u'Univ. of Karlsruhe, Karlsruhe', u'full_name': u'A. Anandasivam'}, {u'author_order': 2, u'affiliation': u'Univ. of Freiburg, Freiburg', u'full_name': u'D. Neumann'}] 2009 42nd Hawaii International Conference on System Sciences, None

The distributed usage of computing resources over a large-scale network allows users to receive and offer resources on demand. The on demand paradigm leads to dynamic and unpredictable usage of resources, since every user in the network will try to maximize his utility by selfish behavior. The customer's behavior can be actuated by pricing policies to lower demand at peak ...


Liveness in L/U-Parametric Timed Automata

[{u'author_order': 1, u'affiliation': u'LIPN, Univ. Paris 13, Villetaneuse, France', u'full_name': u'\xc9tienne Andr\xe9'}, {u'author_order': 2, u'affiliation': u'LS2N, Ecole Centrale de Nantes, Nantes, France', u'full_name': u'Didier Lime'}] 2017 17th International Conference on Application of Concurrency to System Design (ACSD), None

We study timed systems in which some timing features are unknown parameters. Parametric timed automata are a classical formalism for such systems but for which most interesting problems are undecidable. Lower-bound/upper-bound parametric timed automata (L/U-PTAs) achieve decidability for reachability properties by enforcing a separation of parameters used as upper bounds in the automaton constraints, and those used as lower bounds. ...


Multi-seller combinatorial spectrum auction with reserve prices

[{u'author_order': 1, u'affiliation': u'Department of Computer Science and Engineering, South University of Science and Technology of China', u'full_name': u'Haofan Cai'}, {u'author_order': 2, u'affiliation': u'Department of Computer Science and Engineering, South University of Science and Technology of China', u'full_name': u'Linshan Jiang'}, {u'author_order': 3, u'affiliation': u'Department of Electrical and Computer Engineering, University of Toronto', u'full_name': u'Yanjiao Chen'}, {u'author_order': 4, u'affiliation': u'Department of Computer Science and Engineering, South University of Science and Technology of China', u'full_name': u'Jin Zhang'}, {u'author_order': 5, u'affiliation': u'Department of Electrical and Computer Engineering, University of Toronto', u'full_name': u'Baochun Li'}] 2016 IEEE International Conference on Communication Systems (ICCS), None

Efficient spectrum allocation is becoming more and more important in wireless networking. Auction is believed to be an effective way to address the problem of spectrum shortage, by dynamically redistributing spare channels among service providers. Combinatorial auction gives buyers the freedom to place bids on combinations of channels rather than individual channels. For example, continuous channels are easier to operate ...


More Xplore Articles

Educational Resources on Cost accounting

Back to Top

eLearning

No eLearning Articles are currently tagged "Cost accounting"

IEEE-USA E-Books

  • Evidential Networks for Decision Support in Surveillance Systems

    This chapter focuses on valuation algebras in the context of the theory of evidence, due to the expressive power of belief functions that can represent both classical probability functions and possibility/necessity functions. It introduces the concept of valuation algebra for knowledge representation and reasoning under uncertainty. The chapter describes the algorithms for local computation in a valuation algebra: the fusion algorithm, the binary join tree (BJT), and inward propagation. It presents the basic tools of the theory of evidence as a valuation algebra: the belief functions, the combination and marginalization operations, and the approaches to decision making. The chapter illustrates the theoretical concepts by two examples: decision support systems for target identification and threat assessment. A BJT can be seen as a data structure that allows the intermediate results of the combination process to be saved and the marginals to be computed efficiently.

  • Methodology: Part 3

    Important factors need to be examined and applied to the selection of a commercial biomass fuel, using nine main business factors (BFs) and their subfactors. By obtaining the correct values for BFs and applying them through the renewable energy analyser one (REA1) methodology, a clear picture emerges, indicating how a biomass energy business can be established and run successfully. The nine BFs discussed in this chapter are: system factor (SF), approach factor (AF), baseline methodology factor (BMF), business viability factor (BVF), applicability factor (APF), land and water issues factor (LWIF), supply factor (SUF), quality factor (QF), and emission factor. The chapter examines in detail these factors in the form of evaluations, subjectivity/objectivity, percentage allocation, priority listing, and other related commercial aspects. The BFs are analyzed under various circumstances, that is, examined for their practicalities, tested by the REA1 methodology, and researched via survey.

  • Valuation and Optimization of PHM‐Enabled Maintenance Decisions

    This chapter explains a prognostics and health management (PHM)‐enabled predictive maintenance optimization approach based on real options analysis (ROA). It presents a case study applied to a single wind turbine system indicating a remaining useful life (RUL). The chapter describes how the requirements from an outcome‐ based contract are incorporated into the predictive maintenance optimization process. It discusses several future research opportunities. Outcome‐based logistics refers to a group of strategies for system support. A product service system (PSS) is a common product management approach that can include elements of outcome‐based contracting. Power purchase agreements (PPAs), also called energy performance contracting (EPC), are long‐term contracts to buy electricity from a power plant that are outcome‐based contracts that are in use in the United States and Europe. In‐situ health monitoring provides interesting opportunities for the warranty management of systems. Contract engineering includes three key elements: mechanism design, contract/firm theory and co‐design.



Standards related to Cost accounting

Back to Top

No standards are currently tagged "Cost accounting"


Jobs related to Cost accounting

Back to Top