Skip to main content
Browse
Browse and Search
Search
G - Mathematical Sciences
RSS feed
Follow
G100 - Mathematics
G110 - Pure mathematics
G120 - Applied mathematics
G121 - Mechanics (mathematical)
G130 - Mathematical methods
G140 - Numerical analysis
G150 - Mathematical modelling
G160 - Engineering/industrial mathematics
G170 - Computational mathematics
G190 - Mathematics not elsewhere classified
G200 - Operational research
G290 - Operational research not elsewhere classified
G300 - Statistics
G310 - Applied statistics
G311 - Medical statistics
G320 - Probability
G330 - Stochastic processes
G340 - Statistical modelling
G350 - Mathematical statistics
G390 - Statistics not elsewhere classified
G900 - Others in mathematical sciences
All
SEARCH
sort by:
Posted date
List view
Grid view
Mechanical network equivalence between the katydid and mammalian inner ears
journal contribution posted on 2025-03-05
Emine Celiker
Formalization in PVS of balancing properties necessary for proving security of the Dolev-Yao cascade protocol model
journal contribution posted on 2024-07-23
Yuri Santos Rego
