Search

Your search keyword '"Formalism (philosophy of mathematics)"' showing total 838 results

Search Constraints

Start Over You searched for: Descriptor "Formalism (philosophy of mathematics)" Remove constraint Descriptor: "Formalism (philosophy of mathematics)" Publisher ieee Remove constraint Publisher: ieee
838 results on '"Formalism (philosophy of mathematics)"'

Search Results

1. The Structure-Behavior Coalescence Approach for Systems Modeling

2. Obstacle Avoidance for Formation Systems under Hamel’s formalism

3. Storage management of educational scenarios modeled with the Recursive Entity Modelling Method

4. Formal Online Resiliency Monitoring in Microgrids

5. The Input-Output Approach in Semiclassical Electrodynamics of Keller-Segel Equation

6. Formalizing Integration Patterns with Multimedia Data

7. Material and device properties of bismuthene nanoribbons from multi-orbital quantum transport simulations

8. Bi-level Optimization Application for Urban Traffic Management

9. Multiple-Hypothesis Group Tracking

10. Generalized Stochastic Petri Nets Modelling for Energy Harvesting WSNs considering Neighbors with different Vicinity Levels

11. On the Efficiency of Excitation of High Coupling Plate Acoustic Modes

12. Resolution improvement in phantom and in vivo through l1 regularized coherent compounding

13. On Archimedean-spiral-based Imaging

14. AmbiNet Modeling of Spatial Aspects of Things

15. Automatic Generation of Smart Human-Machine Interfaces

16. Modeling Tunnel Junctions for VCSELs: A Self-Consistent NEGF-DD Approach

17. Towards Queryable and Traceable Domain Models

18. Active Learning of Signal Temporal Logic Specifications

19. PhaseSense — Signal Reconstruction from Phase-Only Measurements via Quadratic Programming

20. Learning physical laws: the case of micron size particles in dielectric fluid

21. Cyber-phiscial Systems with Petri Nets to Model Hydropower Control

22. Optimal Enterprise: Engineering and Control

23. Finding Missing Skills for High-Level Behaviors

24. Nonlinear GN model for coherent optical communications systems with hybrid fiber spans

25. Logical Approach to the Research of Properties of Software Engineering Ecosystem

26. Robust control of an hexapod robot in lifting mode

27. Handling Semantic Inconsistencies in Commonsense Knowledge for Autonomous Service Robots

28. A Formal Approach To Validate Block-Chains

29. Queuing Delay for Quantum Networks

30. Spin Transport Of Dirac Electrons In Hexagonal Lattice Topological Insulator In The Presence Of Edge Imperfections

31. An Introduction to Cellular Automata Models With Cell-DEVS

32. Introduction to Iterative System Computational Foundations and Devs

33. Coupling and synchronization of piecewise linear genetic regulatory systems

34. Context-free Forbidden Path Control of Net Condition/Event Systems

35. Validating Agent-Based Models of Large Networked Systems

36. Mathematical modeling and control of a quadrotor aerial vehicle with tiltrotors aimed for interaction tasks

37. Harnessing Concurrency in Synchronous Block Diagrams to Parallelize Simulation on Multi-Core Hosts

38. Simulating Cyberattacks with a Petri Net Discrete Event Simulator

39. Failure Prognostics of Locomotive Electro-Pneumatic Brake Based on Bond Graph Modeling

40. Exploiting Stochastic Petri Net formalism to capture the Relapsing Remitting Multiple Sclerosis variability under Daclizumab administration

41. Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees: Invited Paper

42. Modeling Accelerated Growth of Bacteria Population Through Feynman Diagrams

43. Teach data structures by using logical-mathematical object oriented formalism and several programing languages

44. Systematic Characterization of Isotropic Unilateral Finlines for Millimeter-Wave Applications

45. An Input-to-State Stable Implementation of Event-Triggered CBTC

46. Coupled Identification Procedure of Piezoelectric Constants using PSO and Exact Solution by Stroh-like Formalism

47. Better Lost in Transition Than Lost in Space: SLAM State Machine

48. Feynman-Theory-Based Algorithm for an Efficient Detaining of Worldwide Outbreak of AH1N1 Virus

49. Complexity of Security Protocols Verification Tools

50. Dual-Disturbance Observers-based Control of UAV Subject to Internal and External Disturbances

Catalog

Books, media, physical & digital resources