与 «SOFAR»相关的英语书籍
在以下的参考文献中发现
sofar的用法。与
sofar相关的书籍以及同一来源的简短摘要提供其在 英语文献中的使用情境。
1
Data Analysis Methods in Physical Oceanography
The development of the autonomous SOFAR (SOund Fixing And Ranging) float,
which is tracked from listening stations moored in the sound channel (Rossby
and Webb, 1970) has removed the burden of ship tracking and made the SOFAR
...
William J. Emery, Richard E. Thomson,
2001
2
Offworlder: Book II of the
SOFAR Trilogy
It also takes me into exposure and rubbing shoulders with some of the most connected and powerful individuals in the country. What follows in this book is the most challenging time of Dick C and his life.
3
Sound Images of the Ocean: In Research and Monitoring
The Sofar-Channel enables the lowest by far absorption of all mechanical waves
propagating on Earth. So far one of the two prerequisites, the duct formation
caused by the water anomaly is understood. The other decisive requirement is
the ...
4
Measuring Ocean Currents: Tools, Technologies, and Data
buoyant subsurface floats that are outfitted with acoustic pingers and released
into the oceanic SOFAR channels. The SOFAR channel, which is an acoustic
wave guide, owes its existence to the fact that the speed of sound reaches a
minimum ...
5
Mathematical Logic for Computer Science
proof ([Fml I Tail], Line, SoFar) :- Linel is Line + 1, Fml = deduce (Assump, A),
member (A, Assump), write_proof _line(Linel , Fml, ['Assumption']), proof (Tail,
Linel, [Fml I SoFar]). To check if A can be justified by MP, the predicate nthl ...
6
Formal Methods for Industrial Applications: Specifying and ...
1. node once (p: bool) returns (once: bool) ; 2. let once = p or sprevious (once) ;
tel; The sofar operator [-] is coded using the expansion formula [-]p « p A (~)[-]p : 1
. node sofar (p:bool) returns (sofar : bool) ; 2. let sofar = p and wprevious (sofar ) ...
Jean-Raymond Abrial, Egon Börger, Hans Langmaack,
1996
7
An Advanced Logic Programming Language
Anthony Dodd, Tony Dodd. /* An atom was given, so look at next character to see
if we have the atom/arity (i.e. a functor) case */ get_character(Char), (Char==47,!,
rpn_functor(Token,Sofar,Term); /* NOT the atom/arity case so restore character ...
Anthony Dodd, Tony Dodd,
1990
8
Implementations of Logic Programming Systems
Evan Tick, Giancarlo Succi. a) Strand solution - difference lists are used go(
InitsList, Perms) :- permflnitList, [], Perms / []). perm([], NewPerm, A / B) :- A := [
NewPerm \ B ]. perm(List, SoFar, A / B) J- List =[] | perm([], List, SoFar, A / B). perm
(., [], -, A ...
Evan Tick, Giancarlo Succi,
1994
9
Oceanography: An Invitation to Marine Science
R e l a t i v e v e l o c i t y o f s o u n d 1,000 2,000 ( f t ) 3,000 4,000 5,000 I
n c r e a s e I n c r e a s e Figure 6.25 The sofar layer, in which sound waves
travel at minimum speed. Sound transmission is particularly efficient—that is,
sounds can ...
10
The B-Book: Assigning Programs to Meanings
8.2 A Telephone Exchange END OPERATIONS LiftFree(s) E PRE s G status*'[{fr}]
THEN Lift(s) |1 SQ/'¢1"($) 1= ll END ; Dia|(s,d) E PRE s G status"'[{ai}] /\ d G 0..
max_digit /\ nstatus(sofar(s)) = hopeful THEN sofar(s) := sofar(s) <— d END ...
J. R. Abrial, Jean-Raymond Abrial,
2005
包含词语«SOFAR»的新条目
找出国内和国际出版社所讨论的内容，以及词语
sofar在以下新条目的上下文中是如何使用的。
UberLive: Guess who's been giving people free rides to secret gigs?
Putting on the eight intimate concerts, Uber partnered up with Sofar Sounds – a global music community based in more than 100 cities and dedicated to putting ... «Irish Examiner, 六月 15»
Uber takes music Sofar
Uber is getting into live music (of course) and has teamed up with secret events operator Sofar Sounds to put on eight UK and Ireland concerts at venues in ... «brand-e.biz, 六月 15»
Review: Sofar Sounds
This was the latest event from Sofar Sounds, a new underground music movement. They organise gigs in unusual locations, such as living rooms and libraries, ... «Cambridge News, 二月 15»
Sofar Sounds and War Child Present: To Kill a King, Suli Breaks and …
Sofar Sounds was formed in 2009 to counter this problem. It started with co-founders Rafe Offer and Rocky Start getting a small band to play in a friend's living ... «Huffington Post UK, 二月 15»
Bastille Performs UK Gig in a Living Room for Sofar Sounds
With a charming ambiance resembling a high school party where the kid's parents are out of town, the videos—exclusively shared with the Observer by Sofar ... «New York Observer, 二月 15»
Eavesdropping On The Ocean
The so-called SOFAR channel is a sweet spot of ocean acoustics. American and Soviet researchers independently discovered the channel in the 1940s. «WBUR, 二月 15»
Sofar Sounds Brings Bands into Music Lovers' Living Rooms
This is Sofar Sounds, a global phenomenon that's taking music out of traditional venues and into living rooms, stores, and random spaces around the world. «Gapers Block, 一月 15»
“Rapt” – Karen O Live for Sofar New York City 8.27.2014 [YouTube …
Bright as a star be the light / Strobing down on me / Suddenly I was free / Let me go on these / Show I can cough I can choke / On this kind of smoke / Off went the ... «Zumic, 九月 14»
Watch This: Jessie Frye performs "Like a Light" for Sofar Sounds …
Denton, Texas, singer-songwriter Jessie Frye has always had a knack for meshing pop accessibility with an innovative approach to more traditional indie rock ... «Nooga.com, 七月 14»
Sofar Sounds bringing acoustic sets to city living rooms
The worldwide Sofar movement, which creates intimate 'secret' gigs in people's homes, has now arrived in Edinburgh. And the first three shows have won ... «Scottish Daily Record, 一月 14»