Results 131 to 140 of about 1,918,409 (282)
Discrete mathematics using a computer
, 2000 Several areas of mathematics find application throughout computer science, and all students of computer science need a practical working understanding of them. These core subjects are centred on logic, sets, recursion, induction, relations and functions.
Hall, Cordelia, O’Donnell, John
core +1 more source
Advanced Robotics Research, EarlyView.DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano +3 more
wiley +1 more source
Stiffness‐Programmable Origami Robots With Tendon‐Driven Actuation via Multimaterial 3D Printing
Advanced Robotics Research, EarlyView.Motion diversity is achieved in a tendon‐driven origami robot through programmable stiffness rather than modified actuation. Multimaterial 3D printing embeds soft creases, modular inserts redirect identical tendon inputs into distinct behaviors, and variable‐stiffness inserts enable real‐time switching.
Elisha Lerner, Jianguo Zhao
wiley +1 more source
A comparison of techniques for learning and using mathematics and a study of their relationship to logical principles [PDF]
, 2007 Various techniques exist for learning mathematical concepts, like experimentation and exploration, respectively using mathematics, like modelling and simulation. For a clear application of such techniques in mathematics education, there should be a clear
Hoede, C. +2 more
core +2 more sources
Consensus Formation and Change are Enhanced by Neutrality
Advanced Science, EarlyView.Neutral agents are shown to enhance both the formation and overturning of consensus in collective decision‐making. A general mathematical model and experiments with locusts and humans reveal that neutrality enables robust consensus via simple interactions and accelerates consensus change by reducing effective population size.
Andrei Sontag +3 more
wiley +1 more source
Introduction to discrete mathematics via logic and proof
, 2019 This textbook introduces discrete mathematics by emphasizing the importance of reading and writing proofs. Because it begins by carefully establishing a familiarity with mathematical logic and proof, this approach suits not only a discrete mathematics ...
Jongsma, Calvin
core +1 more source
Solid Harmonic Wavelet Bispectrum for Image Analysis
Advanced Science, EarlyView.The Solid Harmonic Wavelet Bispectrum (SHWB), a rotation‐ and translation‐invariant descriptor that captures higher‐order (phase) correlations in signals, is introduced. Combining wavelet scattering, bispectral analysis, and group theory, SHWB achieves interpretable, data‐efficient representations and demonstrates competitive performance across texture,
Alex Brown +3 more
wiley +1 more source
Depth, highness and DNR degrees
, 2017 Discrete Mathematics and Theoretical Computer ...
Stephan F., Moser P.
core
Session D-3: Discrete Mathematics: A Great Curriculum Connector [PDF]
, 2012 Many topics that fall under the umbrella of Discrete Mathematics cut across the traditional high school curriculum areas of algebra, geometry, and pre-calculus.
Porzio, Donald
core