首页>外文期刊>Electronic Notes in Theoretical Computer Science

Electronic Notes in Theoretical Computer Science

中文名称：电子票据在理论计算机科学

ISSN：
出版周期：-

发文量：1053

期刊论文

热门论文

年度选择

2020
- 第6期
- 第6期
- 第6期
- 第6期
- 第6期
- 第6期
2019
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第7期
- 第7期
2018
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
2017
- 第1期
- 第2期
- 第2期
- 第2期
2016
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第7期
- 第7期
- 第7期
- 第7期
- 第7期
- 第7期
- 第7期
- 第7期
2015
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第7期
- 第7期
- 第7期
- 第7期
- 第7期
- 第7期
- 第7期
- 第7期
- 第7期
2014
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
2013
- 第2期
- 第2期
- 第7期
- 第7期
- 第7期
- 第7期
- 第7期
- 第7期
- 第7期
- 第7期
- 第7期
- 第12期
- 第12期
- 第12期
- 第12期
- 第12期
- 第12期
- 第12期
- 第12期
2012
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第5期
- 第5期
- 第5期
- 第12期
- 第12期
- 第12期
- 第12期
- 第12期
- 第12期
- 第12期
- 第12期
- 第12期
2011
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第5期
- 第5期
- 第5期
- 第5期
2010
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第4期
- 第4期
- 第4期
- 第4期
- 第5期
- 第5期
- 第5期
- 第5期
- 第5期
- 第5期
- 第6期
- 第6期
- 第6期
- 第7期
- 第7期

更多>>

全选（0）

1.AnaDroid: Malware Analysis of Android with User-supplied Predicates

机译：AnDroid：具有用户提供的谓词的Android的恶意软件分析
- 作者：Shuying Liang;Matthew Might;David Van Horn
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
- static analysishuman analysismalware detection;
2.Fluid Performability Analysis of Nested Automata Models

机译：嵌套自动机模型的流体性能分析
- 作者：Luca Bortolussi;Jane Hillston;Mirco Tribastone
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
- Systems of systemsfluid approximationsoftware performance modelling;
3.Asymptotic Behavior and Performance Constraints of Replication Policies

机译：复制策略的渐近行为和性能约束
- 作者：Davide Cerotti;Marco Gribaudo;Pietro Piazzolla;Giuseppe Serazzi
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
- ReplicationMulticlass workloadCloud computing and virtualizationAnalytical techniquesAsymptotic techniques;
4.Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions

机译：具有阶段类型分布的基于补丁的城市中心公交车运动建模
- 作者：Dani?l Reijsbergen;Stephen Gilmore;Jane Hillston
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
- Public transportationphase-type fittingmodel checking;
5.Compact Representation of Photosynthesis Dynamics by Rule-based Models

机译：基于规则的模型的光合作用动力学的紧凑表示
- 作者：L. Brim;J. Ni?nan;D. ?afránek
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
6.Development of a Smart Grid Simulation Environment

机译：开发智能电网仿真环境
- 作者：J. Delamare;B. Bitachon;Z. Peng;Y. Wang;B.R. Haverkort;M.R. Jongerden
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
7.A Model of Guarded Recursion With Clock Synchronisation

机译：带时钟同步的保护递归模型
- 作者：Ale? Bizjak;Rasmus Ejlers M?gelberg
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
8.Sound and Complete Equational Reasoning over Comodels

机译：协同模型的合理完备方程推理
- 作者：Dirk Pattinson;Lutz Schr?der
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
9.A Presheaf Model of Parametric Type Theory

机译：参数类型理论的预模型
- 作者：Jean-Philippe Bernardy;Thierry Coquand;Guilhem Moulin
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
10.A Case Study in Capacity Planning for PEPA Models with the PEPA Eclipse Plug-in

机译：使用PEPA Eclipse插件进行PEPA模型容量规划的案例研究
- 作者：Christopher D. Williams;Allan Clark
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
11.A Symbolic Model for Timed Concurrent Constraint Programming

机译：定时并发约束编程的符号模型
- 作者：Jaime Arias;Michell Guzmán;Carlos Olarte
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
- Concurrent constraint programmingtemporal logicmodel checking;
12.A Framework for Developing Stand-Alone Certifiers

机译：开发独立认证者的框架
- 作者：Christian Sternagel;René Thiemann
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
- CertificationIsabelle/HOLProof Assistants;
13.Enabling Synchronous and Asynchronous Communications in CSP for SOC

机译：在CSP中为SOC启用同步和异步通信
- 作者：Abeer S. Al-Humaimeedy;Maribel Fernández
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
- asynchronyCSPasynchronous calculibuffersSOC calculi;
14.PostHat and All That: Automating Abstract Interpretation

机译：PostHat和所有这些：自动化抽象解释
- 作者：A. Thakur;A. Lal;J. Lim;T. Reps
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
- abstract interpretationinvariant generationsymbolic abstractiondecision procedures;
15.Energy-efficient Checkpointing in High-throughput Cycle-stealing Distributed Systems

机译：高通量周期窃取分布式系统中的节能检查点
- 作者：Matthew Forshaw;A. Stephen McGough;Nigel Thomas
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
- Energy efficiencyCheckpointingMigrationFault toleranceDesktop Grids;
16.Obtaining Optimal Thresholds for Processors with Speed-Scaling

机译：通过速度缩放获得处理器的最佳阈值
- 作者：Ronny J. Polansky;Samyukta Sethuraman;Natarajan Gautam
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
- server speed-scalingdata centerpower managementquality of servicefluid modelspectral expansion;
17.Finding Optimal Timetables for Edinburgh Bus Routes

机译：寻找爱丁堡公交路线的最佳时刻表
- 作者：Ludovica Luisa Vissat;Allan Clark;Stephen Gilmore
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
- Open dataparameter fittingphase-type distributionssimulationmodel-checkingoptimisation;
18.Transformation of a PID Controller for Numerical Accuracy

机译：PID控制器的数值精度转换
- 作者：N. Damouche;M. Martel;A. Chapoutot
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
19.Focused Linear Logic and the λ-calculus

机译：聚焦线性逻辑和λ-微积分
- 作者：Taus Brock-Nannestad;Nicolas Guenot
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
20.Operating Policies for Energy Efficient Dynamic Server Allocation

机译：节能动态服务器分配的操作策略
- 作者：Thai Ha Nguyen;Matthew Forshaw;Nigel Thomas
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
21.Alternation-Free Weighted Mu-Calculus: Decidability and Completeness

机译：无交替加权Mu演算：决策性和完整性
- 作者：Kim G. Larsen;Radu Mardare;Bingtian Xue
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
22.AVERIST: An Algorithmic Verifier for Stability

机译：AVERIST：稳定性算法验证器
- 作者：Pavithra Prabhakar;Miriam García Soto
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
23.Policy Iteration in Finite Templates Domain

机译：有限模板域中的策略迭代
- 作者：Assalé Adjé
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
24.Complete Positivity and Natural Representation of Quantum Computations

机译：量子计算的完全正性和自然表示
- 作者：Mathys Rennela;Sam Staton
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
25.Stateful Runners of Effectful Computations

机译：有效计算的有状态跑步者
- 作者：Tarmo Uustalu
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
26.HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa

机译：HyLaGI：混合约束语言HydLa的符号实现
- 作者：Shota Matsumoto;Fumihiko Kono;Teruya Kobayashi;Kazunori Ueda
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
27.Conditioning in Probabilistic Programming

机译：概率编程中的条件
- 作者：Nils Jansen;Benjamin Lucien Kaminski;Joost-Pieter Katoen;Federico Olmedo;Friedrich Gretz;Annabelle McIver
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
28.Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper)

机译：并发模块的模块化规范中的步骤（邀请的教程文件）
- 作者：Pedro da Rocha Pinto;Thomas Dinsdale-Young;Philippa Gardner
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
29.On the Canonical Representation of Order 3 Discrete Phase Type Distributions

机译：关于3阶离散相类型分布的规范表示
- 作者：Illés Horváth;János Papp;Miklós Telek
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
30.Evaluating the Model-Based Testing Approach in the Context of Mobile Applications

机译：在移动应用程序环境中评估基于模型的测试方法
- 作者：Guilherme de Cleva Farto;Andre Takeshi Endo
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
- automated testingmobile applicationsmodel-based testingAndroid;
31.Migrating Traditional Web Applications to CMS-based Web Applications

机译：将传统Web应用程序迁移到基于CMS的Web应用程序
- 作者：Feliu Trias;Valeria de Castro;Marcos Lopez-Sanz;Esperanza Marcos
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
- Content Management SystemWeb applicationArchitecture-Driven ModernizationSoftware MigrationReverse EngineeringModel-driven Engineering;
32.Method to Identify Corrections of Defects on Product Line Models

机译：识别产品线模型缺陷的校正方法
- 作者：L. Rincón;G. Giraldo;R. Mazo;C. Salinesi;D. Diaz
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
- Software product linesFeatures ModelsCorrectionsDefectsSoftware Engineering;
33.Formalisation in Constructive Type Theory of Stoughton's Substitution for the Lambda Calculus

机译：Stoughton代入Lambda微积分的构造类型理论的形式化
- 作者：álvaro Tasistro;Ernesto Copello;Nora Szasz
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
- Formal MetatheoryLambda CalculusConstructive Type Theory;
34.Network-Conscious π-calculus – A Model of Pastry

机译：网络意识的π-演算-糕点模型
- 作者：Ugo Montanari;Matteo Sammartino
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
- Peer-to-peerroutingoverlay networkdistributed hash-tablepastryverificationrouting convergenceprocess calculusnetwork conscious pi-calculuspresheafcoalgebraHD-automaton;
35.Healthiness Conditions for Predicate Transformers

机译：谓词变压器的健康状况
- 作者：Klaus Keimel
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
36.An Algebraic Approach for Inferring and Using Symmetries in Rule-based Models

机译：在基于规则的模型中推断和使用对称性的代数方法
- 作者：Jér?me Feret
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
37.Unsafe Floating-point to Unsigned Integer Casting Check for GPU Programs

机译：GPU程序的不安全浮点数到无符号整数转换检查
- 作者：Wei-Fan Chiang;Ganesh Gopalakrishnan;Zvonimir Rakamari?
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
38.An Effect-Theoretic Account of Lebesgue Integration

机译：Lebesgue整合的效果理论说明
- 作者：Bart Jacobs;Bram Westerbaan
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
39.Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics

机译：与连续动力学相互作用的数字控制逻辑的定理证明分析
- 作者：Geoffrey C. Hulette;Robert C. Armstrong;Jackson R. Mayo;Joseph R. Ruthruff
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
40.Monitoring Bounded LTL Properties Using Interval Analysis

机译：使用间隔分析监控有限的LTL属性
- 作者：Daisuke Ishii;Naoki Yonezaki;Alexandre Goldsztejn
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
41.Numerical Validation of Compensated Summation Algorithms with Stochastic Arithmetic

机译：随机算术补偿求和算法的数值验证
- 作者：S. Graillat;F. Jézéquel;R. Picot
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
42.Unguarded Recursion on Coinductive Resumptions

机译：归纳恢复的无保护递归
- 作者：Sergey Goncharov;Christoph Rauch;Lutz Schr?der
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
43.Dimension Reduction of Large Sparse AND-NOT Network Models

机译：大型稀疏AND-NOT网络模型的降维
- 作者：Alan Veliz-Cuba;Boris Aguilar;Reinhard Laubenbacher
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
44.A Single Proof of Classical Behaviour in da Costa's C n Systems

机译：da Costa C n 系统
- 作者：Mauricio Osorio;José Abel Castellanos
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
45.Reversible Monadic Computing

机译：可逆单子计算
- 作者：Chris Heunen;Martti Karvonen
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
46.A Model of PCF in Guarded Type Theory

机译：保护型理论中的PCF模型
- 作者：Marco Paviotti;Rasmus Ejlers M?gelberg;Lars Birkedal
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
47.Performance Analysis of Collective Adaptive Behaviour in Time and Space

机译：时空集体适应行为的绩效分析
- 作者：Cheng Feng;Marco Gribaudo;Jane Hillston
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
48.Attacking a Feedback Controller

机译：攻击反馈控制器
- 作者：Ashish Tiwari
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
49.Dynamic Subtask Dispersion Reduction in Heterogeneous Parallel Queueing Systems

机译：异构并行排队系统中的动态子任务分散减少
- 作者：Tommi Pesu;William J. Knottenbelt
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
50.A Parameterized Floating-Point Formalizaton in HOL Light

机译：HOL Light中的参数化浮点形式化
- 作者：Charles Jacobsen;Alexey Solovyev;Ganesh Gopalakrishnan
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2015年第2期
51.On Models of Higher-Order Separation Logic

机译：关于高阶分离逻辑的模型
- 作者：Ale? Bizjak;Lars Birkedal
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- separation logicmodelmodalities;
52.From Reversible Programs to Univalent Universes and Back

机译：从可逆程序到单价宇宙并返回
- 作者：Jacques Carette;Chao-Hong Chen;Vikraman Choudhury;Amr Sabry
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- Reversible programmingunilanceAgda;
53.A Categorical Characterization of Relative Entropy on Standard Borel Spaces

机译：标准Borel空间上相对熵的分类表征
- 作者：Nicolas Gagné;Prakash Panangaden
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- EntropyGìry MonadBayesian Learningstandard Borel spaces;
54.Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids

机译：六边形网格上组成的布尔调节网络的稳定状态
- 作者：Pedro L. Varela;Inês Lynce;Vasco Manquinho;Claudine Chaouiya;Pedro T. Monteiro
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- Stable patternsmulti-cellular systemsBoolean regulatory networksmodel compositionSAT encoding;
55.The Sequent Calculus of Skew Monoidal Categories

机译：偏微分曲面类别的后续演算
- 作者：Tarmo Uustalu;Niccolò Veltri;Noam Zeilberger
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- skew monoidal categoriessubstructural logicssequent calculusnonstandard sequent formscut admissibilityfocusingAgda;
56.Initial Algebras and Final Coalgebras Consisting of Nondeterministic Finite Trace Strategies

机译：由不确定的有限迹线策略组成的初始代数和最终代数
- 作者：Nathan Bowler;Paul Blain Levy;Gordon Plotkin
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- final coalgebranondeterministic strategiestracealgebraic effectssemilattices;
57.Cartesian Integral Categories and Contextual Integral Categories

机译：笛卡尔积分类别和上下文积分类别
- 作者：J.R.B. Cockett;J.-S. Lemay
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- Integral categoriescoalgebra modalitycontextsimple slicecoKleisli category;
58.Higher Dimensional Categories: Induction on Extensivity

机译：高维类别：延伸性归纳
- 作者：Thomas Cottrell;Soichiro Fujii;John Power
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- higher dimensional categoryenriched categoryextensive categorycartesian monad;
59.Bimonoidal Structure of Probability Monads

机译：概率单子的双峰结构
- 作者：Tobias Fritz;Paolo Perrone
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- Monoidal monadsprobabilistic powerdomainstrong monadsrandomnessstochastic correlationKantorovich dualityWasserstein distance;
60.An Efficient CoMP-based Handover Scheme for Evolving Wireless Networks

机译：演进中的基于CoMP的高效切换方案
- 作者：Rana R. Ahmed;Demetres D. Kouvatsos
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- Coordinated Multi-Point (CoMP)Unnecessary HandoverReference Signal Received Power (RSRP)Received Signal Received Quality (RSRQ);
61.Calculation of Invariants Assertions

机译：不变量断言的计算
- 作者：Federico Flaviani
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- Invariant AssertionsCalculusFormal Program VerificationGCLInduction;
62.Some Remarks on Synchronization, Games and Planar Automata

机译：关于同步，游戏和平面自动机的一些评论
- 作者：Juan Andres Montoya;Christian Nolasco
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- Synchronizing automatonsynchronization games?erny's Conjecture;
63.Mechanizing Focused Linear Logic in Coq

机译：在Coq中机械化聚焦线性逻辑
- 作者：Bruno Xavier;Carlos Olarte;Giselle Reis;Vivek Nigam
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- linear logicfocusingCoq;
64.(In)Efficiency and Reasonable Cost Models

机译：效率和合理的成本模型
- 作者：Beniamino Accattoli
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- Lambda calculuscost modelssharingcomputational complexityfunctional programming;
65.An Interpretation of CCS into Ludics

机译：将CCS解读为Ludics
- 作者：Stefano Del Vecchio;Virgile Mogbil
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- Calculus of Communicating Systems (CCS)Linear logicLudics interactionnon-determinism;
66.Epistemic Uncertainty Propagation in Power Models

机译：功率模型中的认知不确定性传播
- 作者：Marco Gribaudo;Riccardo Pinciroli;Kishor Trivedi
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- power consumptionenergy consumptionpower modelsepistemic uncertaintyparametric uncertaintyuncertainty propagationM/M/c/K;
67.An Optimal Inverse Laplace Transform Method Without Positive and Negative Overshoot – An Integral Based Interpretation

机译：没有正负过冲的最优逆Laplace变换方法-基于积分的解释
- 作者：Illés Horváth;Zsófia Talyigás;Miklós Telek
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- numerical Inverse Laplace transformationmatrix exponential distributionovershootminimal coefficient of variation;
68.Testing Applicability of Virtual Stochastic Sensors for Non-Intrusive Appliance Load Monitoring

机译：测试虚拟随机传感器在非侵入式设备负载监控中的适用性
- 作者：Claudia Krull;Marcus Thiel;Graham Horton
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- Virtual Stochastic SensorsHidden non-Markovian ModelsNon-Intrusive Appliance Load Monitoring;
69.Stochastic-based Semantics Of Attack-Defense Trees For Security Assessment

机译：攻击防御树的基于随机语义的安全性评估
- 作者：Karim Lounis
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- Graphical Security ModelsAttack-Defense TreesAttack-treesSecurity AssessmentsCTMCsStochastic Petri-nets;
70.Power Management Policy for Heterogeneous Data Center Based on Histogram and Discrete-Time MDP

机译：基于直方图和离散MDP的异构数据中心电源管理策略
- 作者：Marziyeh Bayati
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- Markov Decision ProcessStochastic ModelingEnergy-Aware optimizationHeterogeneous Data CentersDigital PollutionQueuing System;
71.On Dialogue Games and Graph Games

机译：对话游戏和图形游戏
- 作者：Clément Jacq;Paul-André Melliès
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- Game semanticsarena games;
72.A Denotational Semantics for SPARC TSO

机译：SPARC TSO的指称语义
- 作者：Ryan Kavanagh;Stephen Brookes
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- SPARC TSOdenotational semanticspomsetsconcurrencyweak memory models;
73.Survival of the Fattest: Evolutionary Trade-offs in Cellular Resource Storage

机译：最胖的生存：蜂窝资源存储中的进化权衡
- 作者：Guillaume Terradot;Andreea Beica;Andrea Wei?e;Vincent Danos
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- metabolitesstoragemechanistic cell modelsevolutionary strategiesgene regulationcell physiology;
74.Fuzzy Set Abstraction

机译：模糊集抽象
- 作者：Jacob Lidman;Josef Svenningsson
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- Abstract interpretationstatic program analysisdynamic program analysis;
75.Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics

机译：类型和效果系统语义中用于逻辑关系和单子提升的分解系统
- 作者：Ohad Kammar;Dylan McDermott
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- computational effectstype-and-effect systemsmonadsfactorisation systemsfibrationslogical relationsdenotational semantics;
76.Continuous Probability Distributions in Concurrent Games

机译：并发博弈中的连续概率分布
- 作者：Hugo Paquet;Glynn Winskel
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- Game semanticsconcurrencyevent structuresprobabilitymeasure theory;
77.Finiteness Spaces and Generalized Power Series

机译：有限空间与广义幂级数
- 作者：Richard Blute;Robin Cockett;Pierre-Alain Jacqmin;Philip Scott
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- Power seriesfiniteness spacelinearizationposetartinian posetnarrow posetpartially ordered monoidPuiseux seriespartial function;
78.Understanding Communication Patterns in HPCG

机译：了解HPCG中的通信模式
- 作者：Dean G. Chester;Steven A. Wright;Stephen A. Jarvis
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- HPCGMPICommunication PatternPerformance;
79.The Impact of Profit Uncertainty on Miner Decisions in Blockchain Systems

机译：利润不确定性对区块链系统中矿工决策的影响
- 作者：Maher Alharby;Aad van Moorsel
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- BlockchainSmart contractsUncertaintyProfitSimulation;
80.PEF: Python Error Finder

机译：PEF：Python错误查找器
- 作者：Damián Barsotti;Andrés M. Bordese;Tomás Hayes
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- Reliabilityverificationunit testingsymbolic executionprogram testingprogram debuggingprogram provingprogram verificationsymbolic interpretationtesting Python programs;
81.Formalization of Universal Algebra in Agda

机译：阿格达通用代数的形式化
- 作者：Emmanuel Gunther;Alejandro Gadea;Miguel Pagano
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- universal algebraformalization of mathematicsequational logic;
82.Formal Meta-level Analysis Framework for Quantum Programming Languages

机译：量子编程语言的正式元级分析框架
- 作者：Mohamed Yousri Mahmoud;Amy P. Felty
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- Quantum Lambda CalculusLinear LogicHybridCoq;
83.A Family of Graded Epistemic Logics

机译：分级认知逻辑系列
- 作者：Mario R.F. Benevides;Alexandre Madeira;Manuel A. Martins
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2018年第2期
- Epistemic LogicAction LatticeModal Logics;
84.Backbone Coloring of Graphs with Galaxy Backbones

机译：具有Galaxy骨架的图的主干着色
- 作者：Camila Araujo;Julio Araujo;Ana Silva;Alexandre Cezar
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2019年第2期
- Graph ColoringCircular Backbone ColoringPlanar GraphsBrooks' Type Theorem;
85.Computing the Determinant of the Distance Matrix of a Bicyclic Graph

机译：计算双环图距离矩阵的行列式
- 作者：Ezequiel Dratman;Luciano N. Grippo;Martín D. Safe;Celso M. da Silva;Renata R. Del-Vecchio
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2019年第2期
- bicyclic graphsdeterminantdistance matrix;
86.Families of Induced Trees and Their Intersection Graphs

机译：诱导树科及其相交图
- 作者：Pablo De Caria
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2019年第2期
- SubtreeIntersection GraphClique TreeBipartite Graph;
87.On the Unavoidability of Oriented Trees

机译：论定向树的必然性
- 作者：Fran?ois Dross;Frédéric Havet
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2019年第2期
- Tournamentoriented treesunavoidabilityRamsey theory;
88.On Adjacent-vertex-distinguishing Total Colourings of Powers of Cycles, Hypercubes and Lattice Graphs

机译：关于周期，超立方体和格子图幂的相邻顶点可区分的总着色
- 作者：J.D. Alvarado;S. Dantas;R. Marinho
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2019年第2期
- Adjacent-vertex-distinguishing total colouringadjacent-vertex-distinguishing total chromatic numberlattice graphshypercubespowers of cycles;
89.The Generalized Dependency Constrained Spanning Tree Problem

机译：广义相依约束生成树问题
- 作者：Luiz Alberto do Carmo Viana;Manoel Campêlo
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2019年第2期
- Dependency Constrained Spanning Tree ProblemNP-hardnessInnaproximability;
90.Metric Dimension: from Graphs to Oriented Graphs

机译：度量维度：从图到定向图
- 作者：Julien Bensmail;Fionn Mc Inerney;Nicolas Nisse
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2019年第2期
- Resolving setsMetric dimensionStrongly-connected orientations;
91.Counting Sparse k-edge-connected Hypergraphs with Given Number of Vertices and Edges

机译：在给定数量的顶点和边的情况下计算稀疏的k边连接超图
- 作者：Carlos Hoppen;Guilherme O. Mota;Roberto F. Parente;Cristiane M. Sato
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2019年第2期
- hypergraphsenumerationprobabilistic methodconnectivity;
92.A Characterization of Claw-free CIS Graphs and New Results on the Order of CIS Graphs

机译：无爪CIS图的刻画和CIS图顺序的新结果
- 作者：Liliana Alcón;Marisa Gutierrez;Martin Milani?
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2019年第2期
- CIS graphmaximal cliquemaximal stable setmaximal independent setrandomly internally matchable graphclaw-free graph;
93.P 3-Hull Number of Graphs with Diameter Two

机译： P 3 -直径为2的图的壳数
- 作者：Márcia R. Cappelle;Erika M.M. Coelho;Hebert Coelho;Braully R. Silva;Fábio Protti;Uéverton S. Souza
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2019年第2期
- graphP3-convexityhull numberdiameter two;
94.Two Problems on Interval Counting

机译：间隔计数的两个问题
- 作者：Lívia Salgado Medeiros;Fabiano de Souza Oliveira;Jayme Luiz Szwarcfiter
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2019年第2期
- Extremal problemsInterval countInterval graphsInterval ordersSplit graphsTrivially perfect graphs;
95.A Multi-agent Transgenetic Algorithm for the Bi-objective Spanning Tree Problem

机译：双目标生成树问题的多主体转基因算法
- 作者：Islame F.C. Fernandes;Silvia M.D.M. Maia;Elizabeth F.G. Goldbarg;Marco C. Goldbarg
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2019年第2期
- Bi-objective Spanning TreeEvolutionary AlgorithmsCombinatorial Optimization;
96.Quasi-continuous Yoneda Complete Quasi-Metric Space

机译：拟连续Yoneda完全拟度量空间
- 作者：Kok Min Ng;Weng Kin Ho
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2019年第2期
- quasi-metricYoneda completequasi-continuous dcpoquasi-continuous domaincontinuous quasi-metric space;
97.Characterizations of Supercontinuous Posets via Scott S-sets and the S-essential Topology

机译：通过Scott S集和S本质拓扑表征超连续Poset
- 作者：Xuxin Mao;Luoshan Xu
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2019年第2期
- Supercontinuous posetScottS-setweakly localS-compactnessS-basisS-essential topology;
98.Domain-complete and LCS-complete Spaces

机译：域完整和LCS完整空间
- 作者：Matthew de Brecht;Jean Goubault-Larrecq;Xiaodong Jia;Zhenchao Lyu
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2019年第2期
- Topologydomain theoryquasi-Polish spacesGδsubsetscontinuous valuationsmeasures;
99.Universal Approach to Z–frame Envelopes of Semilattices

机译：半格的 Z 框架包络的通用方法
- 作者：Gaolin Li;Dongsheng Zhao;Weng Kin Ho
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2019年第2期
- semilatticeZ–frame envelopeadmissibleZ–setZ–continuous semilattice;
100.Proper Multi-Type Display Calculi for Rough Algebras

机译：粗代数的正确多类型显示计算
- 作者：Giuseppe Greco;Fei Liang;Krishna Manoorkar;Alessandra Palmigiano
- 期刊名称：《Electronic Notes in Theoretical Computer Science》 | 2019年第2期
- Rough setstopological quasi Boolean algebrastopological quasi Boolean algebras 5pre-rough algebrasintermediate algebrascanonical extensionsmulti-type calculiproper display calculi;

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号