Search Results - "EPSILON (Computer program language)"

GAME CHARACTERIZATION OF PROBABILISTIC BISIMILARITY, AND APPLICATIONS TO PUSHDOWN AUTOMATA.

Authors: FOREJT, VOJTĚCH JANČAR, PETER KIEFER, STEFAN et al.

Source: Logical Methods in Computer Science (LMCS); 2018, Vol. 14 Issue 4, p1-25, 25p

Model-based tool support for Tactical Data Links: an experience report from the defence domain.

Authors: Ajit, Suraj Holmes, Chris Johnson, Julian et al.

Source: Software & Systems Modeling. May2017, Vol. 16 Issue 2, p559-586. 28p.

Subjects: Information sharing, EPSILON (Computer program language), Computer software development, Information & communication technologies, Computer software, Standards

A model-based framework for automatic generation of a pattern language verifier.

Authors: Rouhi, Alireza Zamani, Bahman

Source: Software: Practice & Experience; Dec2017, Vol. 47 Issue 12, p1945-1980, 36p

Finite difference time domain formulation for epsilon-negative medium using wave equation.

Authors: Pekmezci, Ayşegül Topuz, Ercan Sevgi, Levent

Source: International Journal of RF & Microwave Computer-Aided Engineering. May2016, Vol. 26 Issue 4, p304-310. 7p. 1 Diagram, 1 Chart, 3 Graphs.

Subjects: Finite difference time domain method, EPSILON (Computer program language), Wave equation, Lorentz theory, Piecewise linear topology

Mining approximate interval-based temporal dependencies.

Authors: Combi, Carlo Sala, Pietro

Source: Acta Informatica; Oct2016, Vol. 53 Issue 6-8, p547-585, 39p

Pareto epsilon-Dominance and Identifiable Solutions for BioCAD Modeling.

Authors: Angione, Claudio Costanza, Jole Carapezza, Giovanni et al.

Source: DAC: Annual ACM/IEEE Design Automation Conference; Jun2013, p1-9, 9p

Faster randomized consensus with an oblivious adversary.

Authors: Aspnes, James¹ aspnes@cs.yale.edu

Source: Distributed Computing. Feb2015, Vol. 28 Issue 1, p21-29. 9p.

Subjects: Randomization (Statistics), EPSILON (Computer program language), Computational complexity, Permutation groups, Iterative methods (Mathematics)

A Sum of Squares Approximation of Nonnegative Polynomials.

Authors: Lasserre, Jean B.¹ lasserre@laas.fr

Source: SIAM Journal on Optimization. 2006, Vol. 16 Issue 3, p751-765. 15p.

Subjects: Polynomials, EPSILON (Computer program language), Nonnegative matrices, Vector analysis, Algebra

Epsilon Flock: a model migration language.

Authors: Rose, Louis Kolovos, Dimitrios Paige, Richard et al.

Source: Software & Systems Modeling. May2014, Vol. 13 Issue 2, p735-755. 21p.

Subjects: EPSILON (Computer program language), Systems migration, Graphical modeling (Statistics), Unified modeling language, Computer programming

Genericity for model management operations.

Authors: Rose, Louis Guerra, Esther Lara, Juan et al.

Source: Software & Systems Modeling. Feb2013, Vol. 12 Issue 1, p201-219. 19p. 4 Color Photographs, 9 Diagrams.

Subjects: EPSILON (Computer program language), Engineering models, Software refactoring, Generic programming (Computer science), Syntax in programming languages, Algorithm software, Engineering software

USING EPSILON HULLS TO CHARACTERIZE AND CLASSIFY TOTALLY DISCONNECTED SIERPIŃSKI RELATIVES.

Authors: TAYLOR, T. D.¹

Source: Fractals. Jun2015, Vol. 23 Issue 2, p-1. 11p.

Super-EGO: fast multi-dimensional similarity join.

Authors: Kalashnikov, Dmitri¹, dvk@ics.uci.edu

Source: VLDB Journal International Journal on Very Large Data Bases; Aug2013, Vol. 22 Issue 4, p561-585, 25p, 12 Black and White Photographs, 1 Diagram, 34 Graphs

De Rham [InlineEquation not available: see fulltext.]-factors.

Authors: Patel, Deepam¹ patelde@indiana.edu

Source: Inventiones Mathematicae. Nov2012, Vol. 190 Issue 2, p299-355. 57p.

Lessons learned from building model-driven development tools.

Authors: Paige, Richard Varró, Dániel

Source: Software & Systems Modeling; Oct2012, Vol. 11 Issue 4, p527-539, 13p, 2 Diagrams

A characterisation result on a particular class of non-weighted minihypers.

Authors: De Beule, J. Hallez, A. Storme, L.

Source: Designs, Codes & Cryptography. May2012, Vol. 63 Issue 2, p159-170. 12p.

Generating equidistant representations in biobjective programming.

Authors: Faulkenberg, Stacey Wiecek, Margaret

Source: Computational Optimization & Applications; Apr2012, Vol. 51 Issue 3, p1173-1210, 38p, 9 Diagrams, 1 Chart, 22 Graphs

Design of a Dual-Band On-Body Antenna for a Wireless Body Area Network Repeater System.

Authors: Kyeol Kwon Jaegeun Ha Soonyong Lee et al.

Source: International Journal of Antennas & Propagation; 2012, p1-5, 5p, 1 Color Photograph, 4 Diagrams, 2 Graphs

Local Fourier transform and epsilon factors.

Source: Compositio Mathematica. Nov2010, Vol. 146 Issue 6, p1507-1551. 45p.

Solving Hard Multiobjective Problems with a Hybridized Method.

Authors: Cagnina, Leticia C. Esquivel, Susana C.

Source: Journal of Computer Science & Technology (JCS&T); 2010, Vol. 10 Issue 3, p117-122, 6p, 2 Diagrams, 2 Charts, 2 Graphs

Epsilon Substitution Method for Δ11 − CR: a Constructive Termination Proof.

Authors: Tupailo, Sergei¹

Source: Logic Journal of the IGPL; 2003, Vol. 11 Issue 3, p367-377, 11p