Suchergebnisse - "Keywords: Algorithms"

On FGLM Algorithms with Tropical Gröbner bases

Autoren: Ishihara, Yuki Vaccon, Tristan Yokoyama, Kazuhiro et al.

Weitere Verfasser: Ishihara, Yuki Vaccon, Tristan Yokoyama, Kazuhiro et al.

Quelle: ISSAC '20: International Symposium on Symbolic and Algebraic Computation ; https://hal.science/hal-02928709 ; ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. pp.257-264, ⟨10.1145/3373207.3404037⟩

Schlagwörter: p-adic precision, FGLM algorithm, Tropical Geometry, Gröbner bases, CCS CONCEPTS • Computing methodologies → Algebraic algorithms KEYWORDS Algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC]

Geographisches Schlagwort: Kalamata, Greece

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2009.02067; ARXIV: 2009.02067

Verfügbarkeit: https://hal.science/hal-02928709
https://hal.science/hal-02928709v1/document
https://hal.science/hal-02928709v1/file/tropical_FGLM.pdf
https://doi.org/10.1145/3373207.3404037

Exploring Echo-Systems: How Algorithms Shape Immersive Media Environments

Autoren: Cohen, James N.

Quelle: Journal of Media Literacy Education. 10:139-151

Schlagwörter: media environments, Mass Communication, Curriculum and Instruction, History, Communication, 05 social sciences, Other Communication, Social and Behavioral Sciences, programming, Education, 0508 media and communications, Keywords: Algorithms, Other Education, Communication Technology and New Media, quantization, 0503 education

Dateibeschreibung: application/pdf

Zugangs-URL: https://digitalcommons.uri.edu/cgi/viewcontent.cgi?article=1366&context=jmle
https://files.eric.ed.gov/fulltext/EJ1198674.pdf
http://files.eric.ed.gov/fulltext/EJ1198674.pdf
https://digitalcommons.molloy.edu/dhnm_fac/6/
https://digitalcommons.uri.edu/cgi/viewcontent.cgi?article=1366&context=jmle
https://digitalcommons.uri.edu/jmle/vol10/iss2/8/

Approximating the Problem, not the Solution: An Alternative View of Point Set Matching

Autoren: Caetano, Tiberio Caelli, Terry

Quelle: Lecture Notes in Computer Science ISBN: 9783540252702

Schlagwörter: 0211 other engineering and technologies, Matching techniques, Set matching, Information technology, 02 engineering and technology, 7. Clean energy, Markov random fields, Keywords: Algorithms, 0202 electrical engineering, electronic engineering, information engineering, Graph matching, Pattern matching, Keywords: Approximation theory, Mathematical models, Markov processes, 4. Education, Approximation theory, Random processes, Point pattern matching, Computer science, Supoptimal algorithms, Data processing, Graph theory, Database systems, Data sets, Set theory, Graphical models, Pattern matching Graph matching

Zugangs-URL: https://link.springer.com/chapter/10.1007%2F978-3-540-31988-7_22
https://dblp.uni-trier.de/db/conf/gbrpr/gbrpr2005.html#CaetanoC05
https://tiberiocaetano.com/papers/2006/CaeCae06.pdf
http://users.cecs.anu.edu.au/~caetano/gbr2005.pdf
https://rd.springer.com/chapter/10.1007%2F978-3-540-31988-7_22
https://www.sciencedirect.com/science/article/pii/S0031320305003547
http://dro.deakin.edu.au/view/DU:30138394
https://dblp.uni-trier.de/db/journals/pr/pr39.html#CaetanoC06
https://doi.org/10.1016/j.patcog.2005.10.005
https://digitalcollections.anu.edu.au/handle/1885/28825
https://openresearch-repository.anu.edu.au/handle/1885/28825

REACHABILITY ANALYSIS FOR UNCERTAIN SSPs

Autoren: Buffet, Olivier

Weitere Verfasser: Buffet, Olivier

Quelle: International Journal on Artificial Intelligence Tools. 16:725-749

Schlagwörter: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Problem solving, Real-Time Dynamic Programming algorithm (RTDP), Stochastic shortest-path problems, Random processes, Real time systems, Uncertain systems Reachability analysis, Critical path analysis, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Stochastic models, Stochastic Shortest Path problems (SSP), Reachability analysis, Uncertain models, Uncertain Model, Uncertain model, Keywords: Algorithms, State space methods, Transition probability, Reachability Analysis, 0202 electrical engineering, electronic engineering, information engineering, Uncertain systems, Stochastic shortest path problems, Stochastic Shortest-Path problems

Zugangs-URL: https://inria.hal.science/inria-00509337v1
https://doi.org/10.1142/s0218213007003527
https://digitalcollections.anu.edu.au/handle/1885/85410
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000001562987
https://openresearch-repository.anu.edu.au/handle/1885/85410
http://ieeexplore.ieee.org/document/1562987/
https://ieeexplore.ieee.org/document/1562987/
https://www.loria.fr/~buffet/papiers/ijait07.pdf
https://digitalcollections.anu.edu.au/handle/1885/51854
https://dblp.uni-trier.de/db/journals/ijait/ijait16.html#Buffet07
https://www.worldscientific.com/doi/abs/10.1142/S0218213007003527
https://openresearch-repository.anu.edu.au/handle/1885/51854
https://hal.inria.fr/inria-00509337

Biologically inspired rule-based multiset programming paradigm for soft-computing

Autoren: Krishnamurthy, E.Vikram Murthy, V K Krishnamurthy, Vikram

Quelle: Proceedings of the 1st conference on Computing frontiers. :140-149

Schlagwörter: Inference engines, Soft computing, First and second order logic, Intelligent agents, Random processes, Monte Carlo methods, DNA, 02 engineering and technology, Computer simulation, Molecular dynamics, 7. Clean energy, Probabilistic Rule based paradigm, Keywords: Algorithms, 0202 electrical engineering, electronic engineering, information engineering, Genetic and Molecular computing, Reaction kinetics, Biologically-inspired paradigm, Closed and open systems, Genetic and m Biologically-inspired paradigm

Zugangs-URL: https://digitalcollections.anu.edu.au/handle/1885/87481
https://doi.org/10.1145/977091.977112
https://dblp.uni-trier.de/db/conf/cf/cf2004.html#KrishnamurthyMK04
https://openresearch-repository.anu.edu.au/handle/1885/87481
https://dl.acm.org/doi/10.1145/977091.977112

Vision In and Out of Vehicles: Integrated Driver and Road Scene Monitoring

Autoren: Apostoloff, Nicholas Zelinsky, Alex

Quelle: Springer Tracts in Advanced Robotics ISBN: 9783540003052

Schlagwörter: Optimization, Control systems, 0209 industrial biotechnology, Sensors, Road scene monitoring, 1. No poverty, Transportation, 02 engineering and technology, 7. Clean energy, 3. Good health, Tracking (position), Multiple cue fusion, Intelligent vehicle highway systems, Driver monitoring, Keywords: Algorithms, 8. Economic growth, 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, Lane tracking, Highway accidents, Particle filtering, Automobile drivers Advanced driver assistance systems

Zugangs-URL: http://www.robots.ox.ac.uk/~nema/publications/Apostoloff02.pdf
https://openresearch-repository.anu.edu.au/handle/1885/78730
http://www.prisma.unina.it/iser02/papers/20.pdf
https://link.springer.com/10.1007/3-540-36268-1_58
https://rd.springer.com/chapter/10.1007/3-540-36268-1_58
https://digitalcollections.anu.edu.au/handle/1885/78730

Non-Abelian Homomorphism Testing, and Distributions Close to Their Self-convolutions

Autoren: Udi Wieder Itai Benjamini Eran Ofek et al.

Quelle: Lecture Notes in Computer Science ISBN: 9783540228943

Schlagwörter: 0301 basic medicine, Matchings, Probability (math.PR), 0102 computer and information sciences, 01 natural sciences, 03 medical and health sciences, Keywords: Algorithms, Independent sets, FOS: Mathematics, Mathematics - Combinatorics, Combinatorics (math.CO), 0101 mathematics, Mathematics - Probability, Random graphs

Zugangs-URL: http://arxiv.org/pdf/math/0407185
http://cgi.csc.liv.ac.uk/~michele/PAPERI/rsa_rev.pdf
http://arxiv.org/pdf/math/0509022
http://www.math.ucsd.edu/~fan/ron/papers/08_01_quasi_degrees.pdf
http://arxiv.org/abs/math/0509022
http://arxiv.org/abs/math/0407185
https://onlinelibrary.wiley.com/doi/abs/10.1002/rsa.20200
https://dblp.uni-trier.de/db/journals/rsa/rsa32.html#Kravitz08
https://dl.acm.org/doi/10.5555/1323937.1323944
https://doi.org/10.1002/rsa.20189
https://dblp.uni-trier.de/db/journals/rsa/rsa32.html#GaoW08
https://research.monash.edu/en/publications/distribution-of-subgraphs-of-random-regular-graphs
https://api.wiley.com/onlinelibrary/tdm/v1/articles/10.1002%2Frsa.20189
http://doi.org/10.1002/rsa.20182
https://link.springer.com/content/pdf/10.1007%2F978-3-540-27821-4_25.pdf
https://link.springer.com/chapter/10.1007%2F978-3-540-27821-4_25
https://rd.springer.com/chapter/10.1007/978-3-540-27821-4_25
https://doi.org/10.1002/rsa.20182
https://dblp.uni-trier.de/db/journals/rsa/rsa32.html#Ben-orCLR08
http://www.csc.liv.ac.uk/~michele/PAPERI/rsa_rev.pdf
https://openresearch-repository.anu.edu.au/handle/1885/31797
http://onlinelibrary.wiley.com/doi/10.1002/rsa.20165/abstract
https://dblp.uni-trier.de/db/journals/rsa/rsa32.html#BeisDZ08
https://digitalcollections.anu.edu.au/handle/1885/31797
https://cgi.csc.liv.ac.uk/~michele/PAPERI/rsa_rev.pdf
https://dblp.uni-trier.de/db/journals/rsa/rsa32.html#AngelBOW08
https://onlinelibrary.wiley.com/doi/abs/10.1002/rsa.20163

Optimization of transient stability control. Part-II: For cases with different unstable modes

Autoren: Xue, Yusheng Li, Wei Hill, David

Quelle: 6th International Conference on Advances in Power System Control, Operation and Management. Proceedings. APSCOM 2003. 2003:782-786

Schlagwörter: Optimization, Control systems, Mathematical models, Nonlinear mixed programming, Extended equal area criterion (EEAC), Power Systems, 02 engineering and technology, The Extended Equal Area Criterion (Eeac), Preventive maintenance, Electric power systems, Transients, Power systems, Transient Stability Control, Emergency control, Keywords: Algorithms, Nonlinear programming, 0202 electrical engineering, electronic engineering, information engineering, Set theory, Nonlinear Mixed Programming, Integral equations, Constraint theory, Transient stability control

Zugangs-URL: http://www.ijcas.org/admin/paper/files/IJCAS_v3_n2_pp.341-345.pdf
https://openresearch-repository.anu.edu.au/handle/1885/82180
https://digitalcollections.anu.edu.au/handle/1885/82180
http://www.ijcas.com/admin/paper/files/IJCAS_v3_n2_pp.341-345.pdf
https://digital-library.theiet.org/content/conferences/10.1049/cp_20030685
http://hdl.handle.net/10722/169819

A graph-spectral method for surface height recovery

Autoren: Robles-Kelly, Antonio Hancock, Edwin R

Quelle: Lecture Notes in Computer Science ISBN: 9783540200536

Schlagwörter: Optimization, Eigenvalues and eigenfunctions, Curvature, Markov processes, Surface normals, Markov chain, Data acquisition, Graph theory Curvature, 02 engineering and technology, Vectors, Graph-spectral method, Keywords: Algorithms, Image reconstruction, 0202 electrical engineering, electronic engineering, information engineering, Numerical methods, Sensitivity analysis, Surface reconstruction

Zugangs-URL: http://www.cs.york.ac.uk/~erh/rae/gsinteg.pdf
https://dblp.uni-trier.de/db/journals/pr/pr38.html#Robles-KellyH05
https://www.sciencedirect.com/science/article/pii/S0031320305000178
http://dro.deakin.edu.au/view/DU:30126639
http://www.sciencedirect.com/science/article/pii/S0031320305000178
https://openresearch-repository.anu.edu.au/handle/1885/81443
https://rd.springer.com/chapter/10.1007%2F978-3-540-39422-8_12

Beltway: getting around garbage collection gridlock

Autoren: Blackburn, Stephen Jones, Richard McKinley, Kathryn et al.

Weitere Verfasser: Blackburn, Stephen Jones, Richard McKinley, Kathryn et al.

Quelle: ACM SIGPLAN Notices. 37:153-164

Schlagwörter: Automatic heap management, Generational collection, Software engineering, Keywords: Algorithms, Storage allocation (computer) Beltway, Object oriented programming, 0202 electrical engineering, electronic engineering, information engineering, Java programming language, Copying collection, 02 engineering and technology, Java, QA76

Dateibeschreibung: application/postscript

Zugangs-URL: https://kar.kent.ac.uk/13782/1/BeltwayS.ps
http://people.cs.umass.edu/~moss/papers/pldi-2002-beltway.pdf
https://works.bepress.com/eliot_moss/33/
https://people.cs.umass.edu/~moss/papers/pldi-2002-beltway.pdf
https://www.cs.umass.edu/~moss/papers/pldi-2002-beltway.pdf
http://www.cis.udel.edu/~pollock/471/beltway.pdf
https://openresearch-repository.anu.edu.au/handle/1885/31555

Certifying algorithms

Autoren: McConnell, R M Mehlhorn, Kurt Naher, S et al.

Quelle: Computer Science Review. 5:119-161

Schlagwörter: Certification, Keywords: Algorithms, 9. Industry and infrastructure, 4. Education, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Software reliability, 16. Peace & justice, 01 natural sciences, 7. Clean energy

Zugangs-URL: http://dl.acm.org/citation.cfm?id=2296004.2296043

Permutation routing in all-optical product networks

Autoren: Liang, Weifa Shen, Xiaojun

Quelle: Lecture Notes in Computer Science ISBN: 9783540658313

Schlagwörter: Mathematical models, Permutation routing, Routers, Product networks, Optical links, All-optical networks, 0102 computer and information sciences, 02 engineering and technology, 7. Clean energy, 01 natural sciences, Graph theory, Bandwidth, Keywords: Algorithms, Data communication systems, Wavelength division multiplexing, Wavelength assignment, Fiber optic networks Algorithm design and analysis, 0202 electrical engineering, electronic engineering, information engineering

Zugangs-URL: https://dblp.uni-trier.de/db/conf/ipps/ippsw1999.html#LiangS99
https://link.springer.com/chapter/10.1007%2FBFb0097970
https://ieeexplore.ieee.org/document/995673/
https://openresearch-repository.anu.edu.au/handle/1885/74497
https://digitalcollections.anu.edu.au/handle/1885/74497
https://link.springer.com/chapter/10.1007/BFb0097970
https://rd.springer.com/chapter/10.1007/BFb0097970

A new computational fluid dynamics code I: Fyris Alpha

Autoren: Sutherland, Ralph

Quelle: Astrophysics and Space Science. 327:173-206

Schlagwörter: Keywords: Algorithms, 0103 physical sciences, Hydrodynamics, FOS: Physical sciences, Computational fluid dynamics, Computational Physics (physics.comp-ph), Astrophysics - Instrumentation and Methods for Astrophysics, Physics - Computational Physics, Instrumentation and Methods for Astrophysics (astro-ph.IM), 01 natural sciences

Zugangs-URL: http://arxiv.org/pdf/1003.0724
http://arxiv.org/abs/1003.0724
https://openresearch-repository.anu.edu.au/handle/1885/61472
https://link.springer.com/article/10.1007/s10509-010-0336-8
https://ui.adsabs.harvard.edu/abs/2010Ap&SS.327..173S/abstract
https://digitalcollections.anu.edu.au/handle/1885/61472
https://arxiv.org/abs/1003.0724
https://core.ac.uk/display/2109844
https://arxiv.org/pdf/1003.0724.pdf

A game theoretic algorithm to compute local stabilizing solutions to HJBI equations in nonlinear H∞ control

Autoren: Feng, Yantao Anderson, Brian Rotkowitz, Michael

Quelle: Automatica. 45:881-888

Schlagwörter: Hamilton-Jacobi-Bellman equations, HJBI, 0209 industrial biotechnology, Nonlinear Exponentially stable, Local convergences, Iterative algorithms, 02 engineering and technology, Exponentially stable, Iterative, Keywords: Algorithms, Convergence of numerical methods, Nonlinear control systems, Existing methods, 0202 electrical engineering, electronic engineering, information engineering, Game theory, Hamilton-jacobi-bellman

Zugangs-URL: https://openresearch-repository.anu.edu.au/handle/1885/51266
https://doi.org/10.1016/j.automatica.2008.11.006
https://dl.acm.org/doi/10.1016/j.automatica.2008.11.006
https://dialnet.unirioja.es/servlet/articulo?codigo=2951612
http://www.sciencedirect.com/science/article/pii/S0005109808005487
https://dblp.uni-trier.de/db/journals/automatica/automatica45.html#FengAR09

Optimization of Information Rate Upper and Lower Bounds for Channels With Memory

Autoren: Sadeghi, Parastoo Vontobel, Pascal Shams, Ramtin

Quelle: IEEE Transactions on Information Theory. 55:663-688

Schlagwörter: Optimization, FOS: Computer and information sciences, Iterative methods, Decoding, Computer Science - Information Theory, Signal encoding, 02 engineering and technology, Conjugate gradient method, Communication systems, Contour followers, 0508 media and communications, Keywords: Algorithms, Control theory, 0202 electrical engineering, electronic engineering, information engineering, Mismatched decoding, Information Theory (cs.IT), 05 social sciences, Approximation theory, Information Finite-state machine channels, Stationary and ergodic channels, Channel capacity, Finite-state machine channels, Lower bounds, Fading (radio), Information rate, Upper bound

Zugangs-URL: http://arxiv.org/pdf/0711.4406
http://arxiv.org/abs/0711.4406
https://arxiv.org/abs/0711.4406
http://ui.adsabs.harvard.edu/abs/2007arXiv0711.4406S/abstract

Global Optimization through Rotation Space Search

Autoren: Hartley, Richard Kahl, Fredrik

Quelle: International Journal of Computer Vision

Schlagwörter: Optimization, Branch and bounds, Rotation, Branch-and-bound algorithm, Optimal systems, 02 engineering and technology, Cameras, Convex optimization, 03 medical and health sciences, 0302 clinical medicine, Cellular radio systems, Image processing, Keywords: Algorithms, 0202 electrical engineering, electronic engineering, information engineering, Computer vision, Global optimization, Algorithmic techniques, Camera orientations, Essential matrix

Zugangs-URL: https://openresearch-repository.anu.edu.au/bitstream/1885/50831/2/01_Hartley_Global_Optimization_through_2009.pdf
https://portal.research.lu.se/en/publications/global-optimization-through-rotation-space-search
https://www.lunduniversity.lu.se/lup/publication/b1c4e168-d744-42a0-87da-46a7a651434e
https://digitalcollections.anu.edu.au/handle/1885/50831
https://dblp.uni-trier.de/db/journals/ijcv/ijcv82.html#HartleyK09
https://link.springer.com/article/10.1007/s11263-008-0186-9
https://openresearch-repository.anu.edu.au/handle/1885/50831

Computing the Positive Stabilizing Solution to Algebraic Riccati Equations With an Indefinite Quadratic Term via a Recursive Method

Autoren: Lanzon, Alexander Feng, Yantao Anderson, Brian et al.

Quelle: Lanzon, A, Feng, Y, Anderson, B D O & Rotkowitz, M 2008, 'Computing the positive stabilizing solution to algebraic Riccati equations with an indefinite quadratic term via a recursive method', IEEE Transactions on Automatic Control, vol. 53, no. 10, pp. 2280-2291. https://doi.org/10.1109/TAC.2008.2006108

Schlagwörter: Differential equations, Indefinite quadratic term, 0209 industrial biotechnology, Algebraic Riccati equation (ARE), Iterative methods, Numerical exam Algebraic Riccati equation (ARE), H∞ Riccati equations, Invariant subspaces, Iterative algorithms, H8 Riccati equations, 02 engineering and technology, Global convergences, Keywords: Algorithms, Numerical methods, Game theory, Algebraic riccati equations

Dateibeschreibung: text; application/pdf; application/octet-stream

Zugangs-URL: https://www.research.manchester.ac.uk/portal/files/27667263/POST-PEER-REVIEW-PUBLISHERS.PDF
https://www.escholar.manchester.ac.uk/uk-ac-man-scw:8401
https://dblp.uni-trier.de/db/journals/tac/tac53.html#LanzonFAR08
https://digitalcollections.anu.edu.au/handle/1885/24351
http://ieeexplore.ieee.org/document/4668534/
https://openresearch-repository.anu.edu.au/handle/1885/24351
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000004668534

Exploiting geometry for improved hybrid AOA/TDOA-based localization

Autoren: Bishop, Adrian Fidan, Baris Dogancay, Kutluyil et al.

Weitere Verfasser: Bishop, Adrian Fidan, Baris Dogancay, Kutluyil et al.

Quelle: Signal Processing. 88:1775-1791

Schlagwörter: Range difference, Hybrid localization, Tracking, Geometry, 02 engineering and technology, Computer simulation, tracking, Keywords: Algorithms, Signal processing Bearing, 0202 electrical engineering, electronic engineering, information engineering, ranger difference, Constrained optimization, bearing, hybird localization

Zugangs-URL: https://hdl.handle.net/11541.2/113039

Real-Time Speed Sign Detection Using the Radial Symmetry Detector

Autoren: Barnes, Nick Zelinsky, Alex Fletcher, Luke

Quelle: IEEE Transactions on Intelligent Transportation Systems. 9:322-332

Schlagwörter: Classification (of information), Identification (control systems), Detectors, Vehicles, 02 engineering and technology, Roads and streets, Evolutionary algorithms, (I ,J) conditions, Fast radial symmetry, Road sign, Real time, Canberra, Detection, System stability, Keywords: Algorithms, Computational methods, Parameter estimation, 0202 electrical engineering, electronic engineering, information engineering, Computer networks

Zugangs-URL: http://ieeexplore.ieee.org/document/4523929/
https://ieeexplore.ieee.org/document/4523929/
https://www.safetylit.org/citations/index.php?fuseaction=citations.viewdetails&citationIds[]=citjournalarticle_236969_38
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000004523929
https://openresearch-repository.anu.edu.au/handle/1885/49916
https://www.infona.pl/resource/bwmeta1.element.ieee-art-000004523929

The model evolution calculus as a first-order DPLL method

Autoren: Baumgartner, Peter Tinelli, Cesare

Quelle: Artificial Intelligence. 172:591-632

Schlagwörter: Darwin system, Sequent calculi, Keywords: Algorithms, Artificial Intelligence, Model generation, Logic programming DPLL procedure, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, First-order logic, Calculations, DPLL procedure