Article RDF
pages:- 767
- 768
- 769
- 770
- 771
- 772
- 773
- 774
- 775
- 776
- 777
- 778
- 779
- 780
- 781
- 782
- 783
- 784
- 785
- 786
- 787
- 788
- 789
- 790
- 791
- 792
- 793
- 794
- 795
- 796
- 797
- 798
- 799
- 800
- 801
- 802
- 803
- 804
- 805
- 806
- 807
- more...
- Compositional Indicators for a Dynamical Barrier within Saturn’s E-ring Journal Article
- Compositional Learning-based Planning for Vision POMDPs Conference Proceeding
- Compositional Mapping of Europa’s Surface with SUDA Journal Article
- Compositional mapping of planetary moons by mass spectrometry of dust ejecta Journal Article
- Compositional mapping of Saturn’s E-ring during Cassini’s flyby of Rhea Conference Proceeding
- Compositional Model Checking of Concurrent Systems Journal Article
- Compositional Modeling and Analysis of Automotive Feature Product Lines Conference Proceeding
- Compositional Quantification of Invariance Feedback Entropy for Networks of Uncertain Control Systems Journal Article
- Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems Journal Article
- Compositional Relational Abstraction for Nonlinear Hybrid Systems Journal Article
- Compositional SCC analysis for language emptiness Journal Article
- Compositional shifts of alpine plant communities across the high Andes Journal Article
- Compositional synthesis of almost maximally permissible safety controllers Conference Proceeding
- Compositional synthesis of control barrier certificates for networks of stochastic systems against w-regular specifications Journal Article
- Compositional Synthesis of Controllers via Co-Biichi Barrier Certificates Conference Proceeding
- Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach Conference Proceeding
- Compositional synthesis of finite abstractions for networks of systems: A small-gain approach Journal Article
- Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions Conference Proceeding
- Compositional synthesis of opacity-preserving finite abstractions for interconnected systems Journal Article
- Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts Conference Proceeding
- Compositional Synthesis of Symbolic Models for Infinite Networks Conference Proceeding
- Compositional Synthesis of Symbolic Models for Networks of Switched Systems Journal Article
- Compositional texture engineering for highly stable wide-bandgap perovskite solar cells Journal Article
- Compositional trends in aeolian dust along a transect across the southwestern United States Journal Article
- Compositional Verification for Large-Scale Systems via Closure Certificates Journal Article
- Compositional Verification of Initial-State Opacity for Switched Systems Conference Proceeding
- Compositional verification of large-scale stochastic systems Conference Proceeding
- Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions Conference Proceeding
- COMPOSITIONAL, PHYTOGEOGRAPHICAL AND ELEMENTARY STRUCTURAL-ANALYSIS OF PHYTOPLANKTON IN A TROPICAL LAKE - LAKE LANAO, PHILIPPINES Journal Article
- Compositionally induced valence-band offset at the grain boundary of polycrystalline chalcopyrites creates a hole barrier Journal Article