Article RDF
pages:- 1445
- 1446
- 1447
- 1448
- 1449
- 1450
- 1451
- 1452
- 1453
- 1454
- 1455
- 1456
- 1457
- 1458
- 1459
- 1460
- 1461
- 1462
- 1463
- 1464
- 1465
- 1466
- 1467
- 1468
- 1469
- 1470
- 1471
- 1472
- 1473
- 1474
- 1475
- 1476
- 1477
- 1478
- 1479
- 1480
- 1481
- 1482
- 1483
- 1484
- 1485
- more...
- Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes Journal Article
- Formal Control Synthesis for Stochastic Neural Network Dynamic Models Journal Article
- Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning Conference Proceeding
- Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning Journal Article
- Formal evaluation of construction safety performance metrics and a case for a balanced approach Journal Article
- FORMAL GROUPS IN GENUS 2 Journal Article
- Formal Policy Learning from Demonstrations for Reachability Properties Conference Proceeding
- Formal properties of gene assembly: Equivalence problem for overlap graphs Journal Article
- Formal Synthesis of Controllers for Uncertain Linear Systems Against ω-Regular Properties: A Set-Based Approach Journal Article
- Formal Synthesis of Safety Controllers for Unknown Stochastic Control Systems using Gaussian Process Learning Conference Proceeding
- Formal Synthesis of Safety Controllers for Unknown Systems Using Gaussian Process Transfer Learning Journal Article
- Formal Synthesis of Stochastic Systems via Control Barrier Certificates Journal Article
- Formal systems for gene assembly in ciliates Journal Article
- Formal Uncertainty Analysis of a Lagrangian Photochemical Air Pollution Model Journal Article
- Formal Verification and Synthesis for Discrete-Time Stochastic Systems Journal Article
- Formal Verification of a Multi-Basal Insulin Infusion Control Model Conference Proceeding
- Formal verification of digital systems by automatic reduction of data paths Journal Article
- Formal Verification of Hyperproperties for Control Systems Conference Proceeding
- Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach Journal Article
- Formal Verification of Unknown Dynamical Systems Via Gaussian Process Regression Journal Article
- FORMALDEHYDE ANTI-INVERSION AT z=0.68 IN THE GRAVITATIONAL LENS B0218+357 Journal Article
- Formaldehyde columns from the Ozone Monitoring Instrument: Urban versus background levels and evaluation using aircraft data and a global model Journal Article
- Formaldehyde densitometry of starburst galaxies Journal Article
- FORMALDEHYDE DENSITOMETRY OF STARBURST GALAXIES: DENSITY-INDEPENDENT GLOBAL STAR FORMATION Journal Article
- Formaldehyde evolution in US wildfire plumes during the Fire Influence on Regional to Global Environments and Air Quality experiment (FIREX-AQ) Journal Article
- Formaldehyde in human cancer cells: Detection by preconcentration-chemical ionization mass spectrometry Journal Article
- Formaldehyde in the Alaskan Arctic snowpack: Partitioning and physical processes involved in air-snow exchanges Journal Article
- Formaldehyde in the Orion molecular flow - Evidence for a gentle acceleration Journal Article
- Formaldehyde in the Tropical Western Pacific: Chemical Sources and Sinks, Convective Transport, and Representation in CAM-Chem and the CCMI Models Journal Article
- Formaldehyde over North America and the North Atlantic during the summer 2004 INTEX campaign: Methods, observed distributions, and measurement-model comparisons Journal Article