X
Search Filters
Format Format
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
mechanics (5) 5
engineering, electrical & electronic (4) 4
engineering, mechanical (4) 4
algorithms (3) 3
computer science, theory & methods (3) 3
higherorder theory (3) 3
mathematical analysis (3) 3
mathematics, applied (3) 3
model (3) 3
computer science, hardware & architecture (2) 2
computer science, software engineering (2) 2
continuous heart rate monitoring (2) 2
derivatives (2) 2
engineering (2) 2
estimation (2) 2
finite element method (2) 2
higher-order functions (2) 2
higher-order statistics (2) 2
higher-order theory (2) 2
higherorder functions (2) 2
higherorder harmonics (2) 2
higherorder statistics (2) 2
interpolation (2) 2
materials science, multidisciplinary (2) 2
mathematical models (2) 2
mathematics (2) 2
method of moments (2) 2
optics (2) 2
research (2) 2
scattering (2) 2
time-frequency analysis (2) 2
uwb (2) 2
3rd harmonic-generation (1) 1
[ info.info-lo ] computer science [cs]/logic in computer science [cs.lo] (1) 1
[ info.info-pl ] computer science [cs]/programming languages [cs.pl] (1) 1
a. dislocations (1) 1
acoustic properties (1) 1
acoustics (1) 1
adaptive integral method (1) 1
adult (1) 1
algebraic data type (1) 1
algorithm (1) 1
analysis (1) 1
analytical models (1) 1
anapole modes (1) 1
anisotropy (1) 1
antennas (1) 1
approximation algorithms (1) 1
art (1) 1
automotive engineering (1) 1
azimuth (1) 1
b. higher-order solids (1) 1
balkentheorie (1) 1
banach spaces (1) 1
bandwidth selection (1) 1
beam‐wave propagation (1) 1
besov space (1) 1
binned kernel estimator (1) 1
bisimilarity (1) 1
blind source separation (1) 1
blinds (1) 1
bmo (1) 1
boolean algebra (1) 1
boundaries (1) 1
buckling analysis (1) 1
building materials (1) 1
c 0 continuity requirement (1) 1
c-0 continuity requirement (1) 1
c. computational plasticity (1) 1
calculus (1) 1
campanato space (1) 1
cavities (1) 1
chemical-vapor-deposition (1) 1
classical beam theory (1) 1
classical continuum physics (1) 1
classical mechanics (1) 1
cloaking (1) 1
cluster-bildung (1) 1
clustering (1) 1
coevolutionary dynamic (1) 1
coinduction (1) 1
complex (1) 1
complex blind source separation (1) 1
composite (1) 1
computational intelligence (1) 1
computational plasticity (1) 1
computer science (1) 1
computer science, artificial intelligence (1) 1
computer science, information systems (1) 1
concentration-compactness (1) 1
conscious and unconscious mental states (1) 1
consciousness (1) 1
continuity (1) 1
continuity requirement (1) 1
continuous model (1) 1
continuous models (1) 1
continuum (1) 1
convex optimization (1) 1
covariance matrix (1) 1
crystal plasticity (1) 1
more...
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


International Journal of Mechanical Sciences, ISSN 0020-7403, 04/2018, Volume 138-139, pp. 1 - 16
Journal Article
Voprosy Filosofii, ISSN 0042-8744, 06/2013, Issue 6, pp. 149 - 158
Journal Article
Journal Article
Epites-Epiteszettudomany, ISSN 0013-9661, 03/2017, Volume 45, Issue 1-2, pp. 117 - 138
Journal Article
Journal of the Mechanics and Physics of Solids, ISSN 0022-5096, 2001, Volume 49, Issue 10, pp. 2245 - 2271
Journal Article
Journal of Vibration and Acoustics, Transactions of the ASME, ISSN 1048-9002, 02/2010, Volume 132, Issue 1, pp. 0110041 - 0110047
Journal Article
Nanotechnology, ISSN 0957-4484, 02/2017, Volume 28, Issue 10, pp. 104001 - 104001
One of the most fascinating possibilities enabled by metamaterials is the strong reduction of the electromagnetic scattering from nanostructures. In dielectric... 
Feshbach projection | scattering theory | optical invisibility | higherorder anapoles | anapole modes | OPTICAL RESONATORS | INVISIBILITY | PHYSICS, APPLIED | CAVITIES | MATERIALS SCIENCE, MULTIDISCIPLINARY | NANOSCIENCE & NANOTECHNOLOGY | 3RD HARMONIC-GENERATION | NANOPARTICLES | INDUCED TRANSPARENCY | NANOSCALE | CLOAKING | RESONANCES | higher-order anapoles | SCATTERING
Journal Article
Journal of Universal Computer Science, ISSN 0948-695X, 2017, Volume 23, Issue 1, pp. 89 - 111
In this paper we look back to work done in the late 1980s, and that looked at links between grammars, data types and recursion principles, and illustrating it... 
Coinduction | Miranda | Recursor | Algebraic data type | Higherorder function | Verification | Grammar | Syntax | Generic programming | COMPUTER SCIENCE, SOFTWARE ENGINEERING | algebraic data type | grammar | recursor | syntax | generic programming | COMPUTER SCIENCE, THEORY & METHODS | higher-order function | coinduction | verification
Journal Article
Concurrent Systems Engineering Series, ISSN 1383-7575, 2009, Volume 67, pp. 49 - 66
Journal Article
IEEE Transactions on Aerospace and Electronic Systems, ISSN 0018-9251, 5/2019, Volume 55, Issue 6, pp. 1 - 1
In this paper, we propose an efficient and robust non-contact heart rate estimation algorithm. The key idea is to recover the fundamental heartbeat frequency... 
UWB | Heart beat | continuous heart rate monitoring | higherorder harmonics | time-frequency analysis | Radar detection | Estimation | Harmonic analysis | Ultra wideband radar | Monitoring
Journal Article
IEEE Transactions on Aerospace and Electronic Systems, ISSN 0018-9251, 5/2019, pp. 1 - 1
Existing effect analyses of antenna vibration (AV) on SAR image, which are all aimed for low-earth-orbit SAR (LEO SAR) and based on the linear trajectory,... 
Vibrations | Analytical models | UWB | Azimuth | continuous heart rate monitoring | higherorder harmonics | time-frequency analysis | Radar polarimetry | Trajectory | Synthetic aperture radar | Antennas
Journal Article
Proceedings of the 2015 Conference on certified programs and proofs, 01/2015, pp. 85 - 94
Overloaded constant definitions are an important feature of the proof assistant Isabelle because they allow us to provide Haskell-like type classes to our... 
higher-order logic | termination | overloading | cyclicity checker | interactive theorem proving | isabelle | overloaded constant definition | Overloaded constant definition | Isabelle | Termination | Interactive theorem proving | Overloading | Higherorder logic | Cyclicity checker
Conference Proceeding
Siberian Mathematical Journal, ISSN 0037-4466, 11/2018, Volume 59, Issue 6, pp. 1100 - 1104
Using the higher-order derivatives of Lyapunov functions, we obtain sufficient tests of various types for the uniform-ultimate boundedness in the sense of... 
partially controlled initial conditions | Mathematics, general | Mathematics | equiultimate boundedness | uniform-ultimate boundedness | higherorder derivatives | Lyapunov function | MATHEMATICS
Journal Article
SIAM Journal on Applied Mathematics, ISSN 0036-1399, 2014, Volume 74, Issue 2, pp. 366 - 391
We investigate stochastic models for the lay-down of flexible fibers on a moving conveyor belt for the case of small stochasticity and small belt velocity.... 
Fokker-Planck equations | Higherorder averaging | Fiber dynamics | Stochastic Hamiltonian systems | higher-order averaging | MATHEMATICS, APPLIED | LONGTIME BEHAVIOR | fiber dynamics | stochastic Hamiltonian systems | MODEL
Journal Article
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.