搜索页_+Symbolic

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

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

在所有数据库中总计命中：2条

1.Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution

作者：Jens Knoop^a ; ^{knoop@complang.tuwien.ac.at} ; Laura Ková ; cs^b ; ^{laura.kovacs@tuwien.ac.at} ; Jakob Zwirchmayr^c ; ^{jakob@complang.tuwien.ac.at}

关键词：Worst-case execution time (WCET) analysis ; Static symbolic execution ; Symbolic computation

刊名：Journal of Symbolic Computation

出版年：2017

2.A generic framework for symbolic execution: A coinductive approach

作者：Dorel Lucanu^a ; ^{dlucanu@info.uaic.ro} ; Vlad Rusu^b ; ^{vlad.rusu@inria.fr} ; Andrei Arusoaie^a ; ^b ; ^{andrei.arusoaie@info.uaic.ro}

关键词：Symbolic execution ; Programming language ; Formal operational semantics ; Reachability logic ; Circular coinduction ; Program verification

刊名：Journal of Symbolic Computation

出版年：2017

3.Determination of the symbolic base inertial parameters of planar mechanisms

作者：X. Iriarte^a ; ^{xabier.iriarte@unavarra.es" class="auth_mail" title="E-mail the corresponding author} ; J. Ros^a ; V. Mata^b ; J. Aginaga^a

关键词：Base parameters ; Inertial parameters ; Symbolic ; Model reduction

刊名：European Journal of Mechanics - A/Solids

出版年：2017

4.Signalling product healthiness through symbolic package cues: Effects of package shape and goal congruence on consumer behaviour

作者：Iris van Ooijen^a ; ^{I.van.Ooijen@law.leidenuniv.nl} ; Marieke L. Fransen^b ; ^{M.L.Fransen@UvA.nl} ; Peeter W.J. Verlegh^c ; ^{p.verlegh@vu.nl} ; Edith G. Smit^b ; ^{E.G.Smit@UvA.nl}

关键词：Package design ; Consumer goals ; Healthiness perception ; Symbolic cues

刊名：Appetite

出版年：2017

5.Symbolic derivation of Runge-Kutta-Nyström type order conditions and methods for solving

作者：Ioannis Th. Famelis ; ^a ; ^{ifamelis@teiath.gr} ; ; Ch. Tsitouras^b ;

关键词：Enumeration of trees ; Symbolic generation of trees ; Order conditions ; Differential evolution

刊名：Applied Mathematics and Computation

出版年：2017

6.The dark side of ISO 14001: The symbolic environmental behavior

作者：Vera Ferró ; n Ví ; lchez ^{vferron@ugr.es}

关键词：Q530 ; Q560 ; M190 ; M140

刊名：European Research on Management and Business Economics

出版年：2017

7.Symbolic computation of some power-trigonometric series

作者：Mohammad Masjed-Jamei^a ; ^{mmjamei@kntu.ac.ir} ; ^{mmjamei@yahoo.com} ; Wolfram Koepf^b ; ^{koepf@mathematik.uni-kassel.de}

关键词：Bivariate series of power-trigonometric type ; Trigonometric series ; Power series ; Convergence radius

刊名：Journal of Symbolic Computation

出版年：2017

8.A modular architecture for transparent computation in recurrent neural networks

作者：Giovanni S. Carmantini^a ; ^{giovanni.carmantini@gmail.com} ; Peter beim Graben^b ; ^{peter.beim.graben@hu-berlin.de} ; Mathieu Desroches^c ; ^{mathieu.desroches@inria.fr} ; Serafim Rodrigues^a ; ^{serafim.rodrigues@plymouth.ac.uk}

关键词：Automata Theory ; Recurrent artificial neural networks ; Representation theory ; Nonlinear dynamical automata ; Neural symbolic computation ; Versatile shift

刊名：Neural Networks

出版年：2017

9.Stability of depths of symbolic powers of Stanley-Reisner ideals

作者：Le Tuan Hoa^a ; ^{lthoa@math.ac.vn} ; Kyouko Kimura^b ; ^{kimura.kyoko.a@shizuoka.ac.jp} ; Naoki Terai^c ; ^{terai@cc.saga-u.ac.jp} ; Tran Nam Trung^a ; ^{tntrung@math.ac.vn}

关键词：13D45 ; 05C90 ; 05E40 ; 05E45

刊名：Journal of Algebra

出版年：2017

10.Too cool? Symbolic but not iconic stimuli impair 4-year-old children’s performance on the delay-of-gratification choice paradigm

作者：Lisa G. Labuschagne ; Taylor-Jane Cox ; Kaitlyn Brown ; Damian Scarf ; ^{damian@psy.otago.ac.nz}

刊名：Behavioural Processes

出版年：2017

按检索点细分(7495)

刊名(1911)

题名(1261)

关键词(1440)

文摘(4935)