: EPICS process variables in different subnetworks and different IOCs without the use of the CaGateway.
, Denis Mestivier
: An efficient GPU acceptance-rejection algorithm for the selection of the next reaction to occur for Stochastic Simulation Algorithms.
: Ray tracing - computing the incomputable? 32-40
: Towards a GPU-based implementation of interaction nets. 41-53
: Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis. 97-109
: MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable. 5-17
: Interestingness a Unifying Paradigm Bipolar Function Composition.
, Philipp Walk
: Sparse Model Uncertainties in Compressed Sensing with Application to Convolutions and Sporadic Communication.
, David Z. Pan
: Layout Decomposition for Quadruple Patterning Lithography and Beyond.
: Constructive discrepancy minimization for convex sets.
: Inter-rater reliability and convergent validity of F1000Prime peer review.
, Raffay Hamid
: piCholesky: Polynomial Interpolation of Multiple Cholesky Factors for Efficient Approximate Cross-Validation.
Jörg H. Kappes
, Björn Andres
, Fred A. Hamprecht
, Christoph Schnörr
, Sebastian Nowozin
, Dhruv Batra
, Sungwoong Kim
, Bernhard X. Kausler
, Thorben Kröger
, Jan Lellmann
, Nikos Komodakis
, Bogdan Savchynskyy
, Carsten Rother
: A Comparative Study of Modern Inference Techniques for Structured Discrete Energy Minimization Problems.
Paul J. Werbos
: From ADP to the Brain: Foundations, Roadmap, Challenges and Research Priorities.
, Hiroki Sayama
: Mental Disorder Recovery Correlated with Centralities and Interactions on an Online Social Network.
: Waterfilling Theorems in the Time-Frequency Plane for the Heat Channel and a Related Source.
: Privacy-Preserving Social Network with Multigrained and Multilevel Access Control.
: Entanglement in Quantum Process Algebra.
: Pentago is a First Player Win: Strongly Solving a Game Using Parallel In-Core Retrograde Analysis.
Faiz Ul Muram
, Huy Tran
, Uwe Zdun
: Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking. 93-107