Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,507,422 papers from all fields of science
Search
Sign In
Create Free Account
Confluence of subclavian vein and internal jugular vein
Known as:
Confluence of subclavian and internal jugular veins
, Subclavian venous and internal jugular venous confluence
National Institutes of Health
Create Alert
Alert
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Des réseaux savants à l’œuvre
Muriel Louâpre
2019
Corpus ID: 192490018
EnglishThis paper, based on the visualisation of a data bank describing the relationships between writers and scientists in the…
Expand
2016
2016
Ageostrophic velocity fields in Brasil-Malvines Confluence
Marta Masdeu Navarro
,
Dorleta Orúe‐Echevarría
,
J. Pelegrí
,
J. Isern‐Fontanet
,
M. Emelianov
2016
Corpus ID: 134509186
2015
2015
Mélange à l'aval d'une confluence d'écoulements à surface libre
A. Dalmon
,
Emmanuel Mignot
,
+4 authors
Cristian Escauriaza
2015
Corpus ID: 66966156
The present work deals with the intersection of two open-channel flows within a confluence, focusing on the mixing of these two…
Expand
2012
2012
L’architecture engagée du «Case Study House Program» de la revue Arts and Architecture de 1945 – 1966 : une confluence génératrice
C. Carbone
2012
Corpus ID: 190427542
2012
2012
Coinductive Proofs over Streams as CHR Confluence Proofs
Rémy Haemmerlé
2012
Corpus ID: 17262422
Coinduction is an important theoretical tool for defining and reasoning about unbounded data structures (such as streams…
Expand
2007
2007
Simulation of subcritical flow at a combining junction
G. Kesserwani
,
R. Ghostine
,
J. Vazquez
,
A. Ghenaim
,
R. Mosé
2007
Corpus ID: 55959522
A one-dimensional numerical simulation for subcritical flow in open channels network combining junction is considered and…
Expand
2006
2006
Completeness of Modal Proofs for First-Order Predicate Proofs
Tatsuya Abe
2006
Corpus ID: 117308288
Characterizing modal logic in first-order predicate logic has been a hot r esearch topic in mathematical logic. Van Benthem gave…
Expand
2005
2005
Skew and ω-Skew Confluence and Abstract Böhm Semantics
Z. Ariola
,
S. Blom
2005
Corpus ID: 10968188
Skew confluence was introduced as a characterization of nonconfluent term rewriting systems that had unique infinite normal forms…
Expand
2002
2002
Structural Induction and the λ-Calculus
René Vestergaard
2002
Corpus ID: 1200934
We consider formal provability with structural induction and related proof principles in the λ-calculus presented with first…
Expand
1980
1980
Fabrice à Waterloo. Une confluence d'histoires
K. Reader
1980
Corpus ID: 193665591
Dans La Chartreuse de Parme, les scenes de Waterloo representent pour Fabrice une initiation a la "realite" linguistique aussi…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE