搜索页_+Formalization

中图分类法(21)

马克思主义、列宁主义、毛泽东思想、邓小平理论(3)

社会科学总论(8)

军事(8)

天文学、地球科学(2)

在“自然资源管理”中，命中：21条，耗时：小于0.01 秒

1.Formalizing artisanal and small-scale mining: Whither the workforce?

作者：Boris Verbruggea ; b ; b.verbrugge@maw.ru.nl" class="auth_mail" title="E-mail the corresponding author ; Beverly Besmanosc ; bfbesmanos@afrim.org.ph" class="auth_mail" title="E-mail the corresponding author

关键词：Artisanal and small-scale mining (ASM) ; Formalization ; Labor ; Mineral resource governance ; Philippines

刊名：Resources Policy

年：2016

2.Classification and Formalization of Instance-Spanning Constraints in Process-Driven Applications

关键词：Instance ; spanning constraints ; Compliance ; Process ; Aware Information Systems

刊名：Lecture Notes in Computer Science

出版者：Springer Berlin / Heidelberg

年：2016

3.Cost Risk in Water and Sewerage Systems Construction Projects

作者：Iwona Rybkaa ; iwona.rybka@up.wroc.pl" class="auth_mail" title="E-mail the corresponding author ; Elzbieta Bondar-Nowakowskaa ; Mieczysław Polonskib

关键词：cost risk ; construction of water supply and sewage systems ; risk management

刊名：Procedia Engineering

年：2016

4.Interval-Based Resource Usage Verification: Formalization and Prototype

作者：Pedro Lopez-Garcia (12) pedro.lopez@imdea.org Luthfi Darmawan (1) luthfi.darmawan@imdea.org Francisco Bueno (3) bueno@fi.upm.es Manuel Hermenegildo (13) manuel.hermenegildo@imdea.org

关键词：Cost Analysis – ; Resource Usage Analysis – ; Resource Usage Verification – ; Program Verification and Debugging

刊名：Lecture Notes in Computer Science

年：2012

5.The use of a spatially heterogeneous simulation model for studying biotransformation processes of nitrogen and phosphorus compounds and the dynamics of oxygen dissolved in water in the ecosystem of Neva Bay, the Gulf of Finland: 1. Model description

作者：K. A. Podgornyi (16353) A. V. Leonov (26353)

关键词：ecosystem ; biogenic elements ; heterotrophic bacterioplankton ; phytoplankton ; zooplankton ; detritus ; trophic chain ; mathematical modeling ; ecological simulation model of Neva Bay (the Gulf of Finland)

刊名：Water Resources

年：2013

6.Formalization of semantics of systems with unreliable agents by means of nets of active resources

作者：V. A. Bashkin

刊名：Programming and Computer Software

年：2010

7.Artisanal chainsaw milling to support decentralized management of timber in Central Africa? An analysis through the theory of access

作者：Guillaume Lescuyera ; b ; g.lescuyer@cgiar.org ; Paolo Omar Ceruttib ; c ; Valentina Robigliod

关键词：Small-scale logging ; Illegal logging ; Rural livelihoods ; Forest management ; Congo Basin

刊名：Forest Policy and Economics

年：2013

8.The Evolution of Software and Its Impact on Complex System Design in Robotic Spacecraft Embedded Systems

作者：Roy Butlera ; roy.butler@jpl.nasa.gov ; Michael Pennottib

关键词：Software ; Complex Systems ; Spacecraft

刊名：Procedia Computer Science

年：2013

9.A dangerous bet: The challenges of formalizing artisanal mining in the Democratic Republic of Congo

作者：Sara Geenen

关键词：P48 ; O13 ; O17

刊名：Resources Policy

年：2012

10.From tradition to emerging practice: A hybrid computational production model for Interactive Documentary

作者：Insook ; Choi ; ; ichoi@CityTech.CUNY.edu

关键词：Documentary production model ; Interactive Documentary ; Ontology ; Multimedia authoring ; Narrative structure ; GUI ; Enactive authoring ; Interaction design

刊名：Entertainment Computing

年：2010

按检索点细分(21)

题名(4)

关键词(1)

摘要(20)

按年细分(21)

2016年(3)

2013年(3)

2012年(2)

2010年(2)

2009年(1)

2007年(2)

2006年(1)

2004年(1)

2003年(3)

2002年(2)

2000年及以前(1)

按来源细分(21)

Elsevier(12)

Springer(9)

按类型细分(21)

期刊(21)