搜索页_Formalization

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

GSW全文库(4)	馆藏书目(1)	CNKI学位论文(2591)	知网期刊论文(1499)
中国地质文献-英文(3)	Springer电子图书(53)	CNKI期刊论文0611(2)

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

在所有数据库中总计命中：4,153条

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)