Search Results

Downslope Windstorm Forecasting: Easier with a Critical Level, but Still Challenging for High-Resolution Ensembles.

• Authors : Metz, Johnathan J.¹ (AUTHOR); Durran, Dale R.¹ (AUTHOR)

• Source: Weather & Forecasting. Aug2023, Vol. 38 Issue 8, p1375-1390. 16p.

Record details

REDEFINING MEDICAL NECESSITY: A CONSUMER-DRIVEN SOLUTION TO THE U.S. HEALTH CARE CRISIS.

• Authors : Abbott, Ryan^1,2; Stevens, Carl³

• Source: Loyola of Los Angeles Law Review. 2014, Vol. 47 Issue 4, p943-965. 23p.

Record details

Single Frequency GNSS Carrier Phase Cycle Slip Detection and Identification Using a Factor Graph Approach

• Authors : Cherfi, Hakim; Lesouple, Julien; Solà, Joan ...

Subjects: FGO; GNSS; Cycle slipHonolulu; United States

• Source: ION 2024 Pacific PNT Meeting ; https://hal.science/hal-04590729 ; ION 2024 Pacific PNT Meeting, Apr 2024, Honolulu, United States. pp.344-355, ⟨10.33012/2024.19642⟩

Record details

BORROWED FICTION AND THE RIGHTFUL COPYRIGHT POSITION.

• Authors : MOFFAT, VIVA R.¹

Subjects: Copyright; Copyright infringement; Fair use (Copyright)United StatesUnited States. Supreme Court

• Source: Cardozo Arts & Entertainment Law Journal. 2014, Vol. 32 Issue 3, p839-889. 51p.

Record details

Recognizing heterogeneous sequences by rational type expression

• Authors : Newton, Jim; Verna, Didier;

Subjects: CCS Concepts: • Theory of computation→Data structures design and analysis; Type theory; • Computing methodologies →Representation of Boolean functionsBoston; United StatesBoston, United States

• Source: the 3rd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection ; https://hal.archives-ouvertes.fr/hal-01880226 ; the 3rd ACM SIGPLAN International Workshop on

Record details

A binaural grouping model for predicting speech intelligibility in multitalker environments

• Authors : Colburn, H. Steven; Mi, Jing

Subjects: EC model; Hearing; HumansUnited States

Record details

Efficient Representations for the Modal Logic S5

• Authors : Niveau, Alexandre; Zanuttini, Bruno;

Subjects: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]; [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]; [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]New York City; United States

• Source: Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016 ; https://hal.science/hal-01311642 ; Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI

Record details

Enforcing Confidentiality and Data Visibility Constraints: An OBDD Approach

• Authors : Ciriani, Valentina; Capitani Di Vimercati, Sabrina, De; Foresti, Sara ...

Subjects: Privacy; fragmentation; confidentiality and visibility constraintsRichmond; VA; United States

• Source: Lecture Notes in Computer Science ; 23th Data and Applications Security (DBSec) ; https://inria.hal.science/hal-01586589 ; 23th Data and Applications Security (DBSec), Jul 2011, Richmond, VA,

Record details

XML Reasoning Made Practical

• Authors : Genevès, Pierre; Layaïda, Nabil;

Subjects: [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]Long Beach; CA; United States

• Source: Proceedings of the 26th IEEE International Conference on Data Engineering, ICDE 2010 ; 26th IEEE International Conference on Data Engineering, ICDE 2010 ; https://hal.science/hal-00494261 ; 26th IEEE

Record details

A Scalable Segmented Decision Tree Abstract Domain

• Authors : Cousot, Patrick; Cousot, Radhia; Mauborgne, Laurent ...

Subjects: Abstract interpretation; Static Analysis; Decision treeNew York; United States

• Source: Time for Verification, Essays in Memory of Amir Pnueli ; https://hal.inria.fr/inria-00543632 ; Time for Verification, Essays in Memory of Amir Pnueli, Apr 2010, New York,

Record details