搜索页_+Formalization

常用资源

电子图书

期刊论文

学位会议

外文资源

特色专题

内部出版物

Elsevier电子期刊(1021)

在“Elsevier电子期刊”中，命中：1,021条，耗时：小于0.01 秒

在所有数据库中总计命中：1,021条

1.Formalization and web-based implementation of spatial data fusion

作者：Stefan Wiemann ^{stefan.wiemann@tu-dresden.de}

关键词：Data fusion ; Set Theory ; Spatial Data Infrastructure ; Service Composition ; Geoprocessing pattern

刊名：Computers & Geosciences

出版年：2017

2.Local perspectives on the formalization of artisanal and small-scale mining in the Madre de Dios gold fields, Peru

作者：Matti Salo^a ; ^b ; ^{matti.salo@luke.fi} ; Juha Hiedanpä ; ä ; ^a ; Teemu Karlsson^b ; Luciano Cá ; rcamo Á ; vila^c ; Juha Kotilainen^d ; Pekka Jounela^a ; Ró ; ger Rumrrill Garcí ; a^c

关键词：Artisanal and small-scale mining ; Formalization ; Impact management ; Madre de Dios ; Peru

刊名：The Extractive Industries and Society

出版年：2016

3.Reasoning from imperfect knowledge

作者：Stephen K. Reed^a ; ^{sreed@mail.sdsu.edu} ; Adam Pease^b

关键词：Knowledge ; Obstacles ; Ontology ; Reasoning

刊名：Cognitive Systems Research

出版年：2017

4.Goals, values, and reasoning

作者：Tomasz Zurek ^{zurek@kft.umcs.lublin.pl}

关键词：Reasoning ; Model ; Goals ; Values ; Expert systems

刊名：Expert Systems with Applications

出版年：2017

5.Theorem proving based Formal Verification of Distributed Dynamic Thermal Management schemes

作者：Muhammad Usama Sardar^a ; ^{usama.sardar@seecs.nust.edu.pk}Author Vitae ; Osman Hasan^a ; ^{osman.hasan@seecs.nust.edu.pk}Author Vitae ; Muhammad Shafique^b ; ^{muhammad.shafique@kit.edu}Author Vitae ; Jö ; rg Henkel^b ; ^{henkel@kit.edu}Author Vitae

关键词：Higher-order logic ; Theorem proving ; Dynamic Thermal Management ; Task migration ; Many-core systems

刊名：Journal of Parallel and Distributed Computing

出版年：2017

6.Electrical characterization of triple barrier GaAs/AlGaAs RTD with dependence of operating temperature and barrier lengths

作者：Man Mohan Singh ; ^{manmohan.rs@amu.ac.in}Author Vitae ; M.J. SiddiquiAuthor Vitae

关键词：Triple barriers ; LDOS ; Resonant tunneling diode ; Transmission coefficient ; Heterostructure

刊名：Materials Science in Semiconductor Processing

出版年：2017

7.Chasing the tail: The emergence of autocatalytic networks

作者：Wim Hordijk^a ; ^{wim@WorldWideWanderings.net} ; Mike Steel^b ; ^{mike.steel@canterbury.ac.nz}

关键词：Autocatalytic sets ; Origin of life ; Binary polymer model ; RNA world

刊名：Biosystems

出版年：2017

8.Deriving scientific workflows from algebraic experiment lines: A practical approach

作者：Anderson Marinho^a ; ^b ; ^{anderson_marinho@petrobras.com.br}Author Vitae ; Daniel de Oliveira^c ; ^{danielcmo@ic.uff.br}Author Vitae ; Eduardo Ogasawara^d ; ^{eogasawara@cefet-rj.br}Author Vitae ; Vitor Silva^a ; ^{silva@cos.ufrj.br}Author Vitae ; Kary Ocañ ; a^e ; ^{karyann@lncc.br}Author Vitae ; Leonardo Murta^c ; ^{leomurta@ic.uff.br}Author Vitae ; Vanessa Braganholo^c ; ^{vanessa@ic.uff.br}Author Vitae ; Marta Mattoso^a ; ^{marta@cos.ufrj.br}Author Vitae

关键词：Scientific workflows ; Software product line ; Workflow algebra ; Workflow derivation

刊名：Future Generation Computer Systems

出版年：2017

9.Simulation of Regional Mortality Rate in Road Accidents

作者：Alexander Chubukov^a ; Valeriy Kapitanov^b ; Olga Monina^b ; Valentin Silyanov^a ; ^{silyanov@bk.ru} ; Ulrich Brannolte^c ; ^{ulrich.brannolte@bauing.uni-weimar.de}

关键词：Road traffic accidents ; modeling ; loss of life in accidents ; correlation ; statistical analysis ; socio-economic aspect ; factors

刊名：Transportation Research Procedia

出版年：2017

10.Formalizing semantic bidirectionalization and extensions with dependent types

作者：Helmut Grohne ^{grohne@informatik.uni-bonn.de} ; Janis Voigtlä ; nder ; ^{jv@informatik.uni-bonn.de}

关键词：Bidirectional programming ; Dependent types ; Formal verification

刊名：Journal of Logical and Algebraic Methods in Programming

出版年：2017

按检索点细分(1021)

题名(122)

关键词(93)

文摘(916)

按出版年细分(1021)

2027年及以后(27)

2017年(10)

2016年(65)

2015年(22)

2014年(7)

2013年(59)

2012年(95)

2011年(62)

2010年(60)

2009年(52)

2008年(66)

2007年(67)

2006年(55)

2005年(34)

2004年(45)

2003年(36)

2002年(30)

2001年(33)

2000年(31)

2000年及以前(165)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700