Filters








63,855 Hits in 7.7 sec

Contents of Volumes 37 and 38

2004 Journal of symbolic computation  
. . . . . . . . . . . . . . . . . . . . 761 Volume 38 Number 1 Chtcherba, A.D. and Kapur, D., Constructing Sylvester-type resultant matrices using the Dixon formulation . . . . . . . . . . . . .  ...  -J., Parallel computation of determinants of matrices with polynomial entries . . . . . . . . . . . . . . . . 749 Koussoulas, N.T. and Skiadas, P., Symbolic computation for mobile robot path planning  ... 
doi:10.1016/s0747-7171(04)00108-7 fatcat:tmvrkoolp5b4jkrpklob3tet5q

Index to Volumes 37 and 38

2004 Journal of symbolic computation  
Index to Volumes 37 and 38 Volume 37 A long note on Mulders' short product, 391 A parallel multi-modular algorithm for computing Lagrange resolvents, 547 A relative van Hoeij algorithm over number fields  ...  , R.S. and MILLER, J.C., Symbolic computation of exact solutions expressible in hyperbolic and elliptic functions for nonlinear PDEs, 669 BALLICO, E. and ORECCHIA, F., Computing minimal generators of the  ...  , F.J., On the computation of Bernstein-Sato ideals, 629 Volume 38 A modular algorithm for computing the exponential solutions of a linear differential operator, 1043 A normal form algorithm for the  ... 
doi:10.1016/s0747-7171(04)00109-9 fatcat:q3cckydpknhjhinygacsvlj52y

Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra [chapter]

Rumen Dimitrov, Valentina Harizanov, Andrei Morozov
2016 Lecture Notes in Computer Science  
Harizanov, "The lattice of computably enumerable vector spaces," in: Computability and Complexity, A. Day, M. Fellows, N.  ...  Shlapentokh, "Turing degrees of isomorphism types of geometric objects," Computability 3 (2014), pp. 105-134. 54. E. Fokina, V. Harizanov, and A.  ...  Pingrey, " classes and strong degree spectra of relations," Journal of Symbolic Logic 72 (2007), pp. 1003-1018. 1-24, Springer, Dordrecht, 2007. 33. V.  ... 
doi:10.1007/978-3-319-40189-8_26 fatcat:2p5s2kf5xzfwfdf7zakfx43mpy

Adaptive iterative learning control of non-linear MIMO continuous systems with iteration-varying initial error and reference trajectory

Xiao-Dong Li, Tommy W.S. Chow, L.L. Cheng
2013 International Journal of Systems Science  
Chiu, Computational Accounting in determining Chart-of-Accounts Using Nominal Data Analysis and Concept of Entropy, Expert Systems With Applications, Volume 36, Issue 3, April 2009, pp. 6966-6977. 50)  ...  Huang, Effective gene selection method using Bayesian discriminant based criterion and genetic algorithms, Journal of Signal Processing Systems, Volume 50, No. 3, pp. 293- 304, March, 2008. 58) M.  ... 
doi:10.1080/00207721.2011.625480 fatcat:7bltimql5rcmnp5psqyfy765f4

Erratum for "Analytical Model for the Impulse of Single-Cycle Pulse Detonation Tube"

E. Wintenberger, J. M. Austin, M. Cooper, S. Jackson, J. E. Shepherd
2004 Journal of Propulsion and Power  
This implies a different value of the polytropic exponent γ = γ e , a new computational procedure for computing the plateau pressure P 3 , and results in revised values for the predicted impulse.  ...  In this errata, we present a revised set of selected tables and figures along with a short description of the calculations. The choice of the isentropic exponent,  ...  Power , Vol. 19, No. 1, 2003, pp. 22-38. 2 perimental Impulse Measurements for Deflagrations and Detonations," Journal of Propulsion and Power , Vol. 18, No. 5, 2002, pp. 1033-1041. 4 Zitoun, R. and  ... 
doi:10.2514/1.9442 fatcat:mfxwgoafcrah7l5kkebk5yu2lq

Aerosol direct radiative forcing during Sahara dust intrusions in the Central Mediterranean

M. R. Perrone, A. Bergamo, V. Bellantone
2010 Atmospheric Chemistry and Physics Discussions  
., 2004) are used to characterize the aerosol vertical distribution.  ...  Trace-gas concentrations in conjunction with pre-defined absorption coefficients are used to compute gas absorption.  ...  It is worth noting that 38% of the AOD t (Table 3) is due to anthropogenic particles at 15:31 and 16:27 UTC, respectively.  ... 
doi:10.5194/acpd-10-20673-2010 fatcat:5wutqjtwsngsrjmjni4dbqahnm

Aerosol direct radiative forcing during Sahara dust intrusions in the central Mediterranean

M. R. Perrone, A. Bergamo, V. Bellantone
2009 Atmospheric Chemistry and Physics Discussions  
., 2004) are used to characterize the aerosol vertical distribution.  ...  Trace-gas concentrations in conjunction with pre-defined absorption coefficients are used to compute gas absorption.  ...  It is worth noting that 38% of the AOD t (Table 3) is due to anthropogenic particles at 15:31 and 16:27 UTC, respectively.  ... 
doi:10.5194/acpd-9-22539-2009 fatcat:qwtgyahjlzgvxo3nu4m227vxju

Estimating the Velocity and Transport of Western Boundary Current Systems: A Case Study of the East Australian Current near Brisbane

N. V. Zilberman, D. H. Roemmich, S. T. Gille, J. Gilson
2018 Journal of Atmospheric and Oceanic Technology  
Western boundary currents (WBCs) are highly variable narrow meandering jets, making assessment of their volume transports a complex task.  ...  The method developed in this work will reduce uncertainties in estimates of the WBC volume transport and in the interannual mass and heat budgets of the meridional overturning circulations, improving our  ...  Uncertainties in estimates of the 2004-15 mean volume transport computed using HR-XBT and Argo datasets are assigned based on the standard error, which is the standard deviation of trajectory-based velocities  ... 
doi:10.1175/jtech-d-17-0153.1 fatcat:n2ovncqjgncy3byup562bdbqzy

Stochastic computing with biomolecular automata

R. Adar, Y. Benenson, G. Linshiz, A. Rosner, N. Tishby, E. Shapiro
2004 Proceedings of the National Academy of Sciences of the United States of America  
Stochastic computing has a broad range of applications, yet electronic computers realize its basic step, stochastic choice between alternative computation paths, in a cumbersome way.  ...  Biomolecular computers use a different computational paradigm and hence afford novel designs.  ...  Regev for critical review of this manuscript. This work was supported by grants from the Israeli Ministry of Science, the Israeli Science Foundation, and the Minerva Foundation.  ... 
doi:10.1073/pnas.0400731101 pmid:15215499 pmcid:PMC454388 fatcat:5vus5bwy2fhwhclcs4liopykde

Page 2004 of Journal of Chemical Physics Vol. 34, Issue 6 [page]

1961 Journal of Chemical Physics  
THE JOURNAL OF CHEMICAL PHYSICS VOLUME 34, NUMBER 6 Madelung Constants for Several Structures* QuINTIN C. JoHNSONT AND Davip H.  ...  Revs. 11, 93 (1932). 2004  ... 

Page 2055 of Computational Linguistics Vol. 30, Issue 2 [page]

2004 Computational Linguistics  
Computational Linguistics Volume 30, Number 2 54: end; 55: Fe Fu {q}; 56: return M; 57: cnuf Function fanin(q) returns the number of incoming transition for a state q.  ...  It is easy to show that strings are indeed added to the language of the automaton. First, transitions with subsequent symbols from the strings are followed from the initial state.  ... 

Pontocerebellar contribution to postural instability and psychomotor slowing in HIV infection without dementia

Edith V. Sullivan, Margaret J. Rosenbloom, Torsten Rohlfing, Carol A. Kemper, Stanley Deresinski, Adolf Pfefferbaum
2010 Brain Imaging and Behavior  
Total infratentorial tissue ratio was a significant predictor of balance and Digit Symbol scores. Balance scores did not correlate significantly with ventricular volumes, callosal size, or internal or  ...  Participants completed quantitative balance testing, Digit Symbol test, and a test of finger movement speed and dexterity.  ...  Acknowledgments Support for this work was provided by the United States National Institutes of Health grants AA017347, AA017168, EB008381.  ... 
doi:10.1007/s11682-010-9107-y pmid:20872291 pmcid:PMC3292800 fatcat:g2oeamergnb2naam7aa53yhsgq

Solution of Polynomial Systems Derived from Differential Equations

E. L. Allgower, D. J. Bates, A. J. Sommese, C. W. Wampler
2005 Computing  
Sommese, A., Verschelde, J., and Wampler, C., "Numerical irreducible decomposition using projections from points on the components," In Symbolic Computation: Solving Equations in Algebra, Geometry, and  ...  ., "Geometric design of cylindric PRS serial chains," ASME J. Mechanical Design, Vol. 126, No. 2, 2004 , pp. 269-277. (Also in: Proc.  ... 
doi:10.1007/s00607-005-0132-4 fatcat:ogvltw4dp5fw5cw5ecjcx2odjm

AC Complement Problems: Satisfiability and Negation Elimination

MARIBEL FERNÁNDEZ
1996 Journal of symbolic computation  
Mackie, Special Issue of the International Journal of Mathematical Structures in Computer Science (Cambridge University Press): Developments in Computational Models. Volume 16(4), 2006. 1.  ...  Mackie, Special Issue of the International Journal of Mathematical Structures in Computer Science (Cambridge University Press): More Developments in Computational Models. Volume 17(4), 2007. 8.  ... 
doi:10.1006/jsco.1996.0041 fatcat:kq5bsgmhrjdahmhahl2prb6zpi

A Lightweight and Secured Certificate-Based Proxy Signcryption (CB-PS) Scheme for E-Prescription Systems

Insaf Ullah, Noor Ul Amin, Ahmad Almogren, Muhammad Asghar Khan, M. Irfan Uddin, Qiaozhi Hua
2020 IEEE Access  
VOLUME XX, 2017 1     ⤱    LXKXD [2]     ⤱    CYL [39]     ⤱    HZJX [40]     ⤱    QTLG [38]         Our CB-PS         2) COMPUTATIONAL COST In Table  ...  model, and basics of AVISPA tool, VOLUME XX, 2017 1 respectively.  ...  TBKAV [1] , LXKXD [2] , CYL [39] , HZJX [40] , and QTLG [38] on the basis of communication overhead.  ... 
doi:10.1109/access.2020.3033758 fatcat:745n3yssvnhnffzcy2zkggbfvu
« Previous Showing results 1 — 15 out of 63,855 results