Buscar
Mostrando ítems 1-10 de 117
Introducing the analysis of bifurcation in dynamical systems by symbolic computation
(Manchester Univ PressManchesterInglaterra, 2007)
Optimizing the Layout of Proportional Symbol Maps: Polyhedra and Computation
(InformsCatonsvilleEUA, 2014)
Symbols are not uniquely human
(Elsevier Sci LtdOxfordInglaterra, 2007)
Calculations of chemical equilibrium with symbolic computationCalculations of chemical equilibrium with symbolic computation
(2014-07-07)
We show how a processor for symbolic computation can readily enable extensive calculations to describe the equilibria involving gases, the pH of an aqueous solution in the titration of a polyprotic acid, and complex ions ...
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support
(IEEE Computer Society, 2015-07)
Lazy Initialization (LI) allows symbolic execution to effectively deal with heap-allocated data structures, thanks to a significant reduction in spurious and redundant symbolic structures. Bounded lazy initialization (BLI) ...
A hybrid GRASP heuristic to construct effective drawings of proportional symbol maps
(Pergamon-elsevier Science LtdOxfordInglaterra, 2013)
A hybrid symbolic-numerical approach to the center-focus problem
(2017-09-01)
We propose a new hybrid symbolic-numerical approach to the center-focus problem. The method allowed us to obtain center conditions for a three-dimensional system of differential equations, which was previously not possible ...
Generating optimal drawings of physically realizable symbol maps with integer programming
(SpringerNew YorkEUA, 2012)
Signal-flow graphs: Direct method of reduction and MATLAB implementation
(Institute of Electrical and Electronics Engineers (IEEE), 2001-05-01)
Block diagrams and signal-flow graphs are used to represent and to obtain the transfer function of interconnected systems. The reduction of signal-flow graphs is considered simpler than the reduction of block diagrams for ...