Filters








11 Hits in 4.9 sec

Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format [chapter]

Jan Stöcker, Frédéric Lang, Hubert Garavel
2009 Lecture Notes in Computer Science  
Ntif (New Technology Intermediate Form) [22] is a minimal intermediate model for processes with sequential control and complex data.  ...  The third aspect is real-time, such as delays (inaction of a process during a predefined time), constraints on the time instants when a process can communicate, urgency (indicating that a communication  ...  CLOCK_Lamp = 0 Conclusion This report proposes Atlantif, a simple and elegant extension of the intermediate model Ntif [22] with concurrency and real-time, intended for a better integration of formal  ... 
doi:10.1007/978-3-642-00255-7_7 fatcat:6qzn6q2kxrhoxd44olqdigh6tu

Formal Verification of Distributed Branching Multiway Synchronization Protocols [chapter]

Hugues Evrard, Frédéric Lang
2013 Lecture Notes in Computer Science  
We generate formal models, written in the LNT language, of synchronization scenarios for three protocols and we use the CADP toolbox for automated formal verifications.  ...  Yet, there may still remain a semantic gap between a formal model and the actual distributed implementation, which is generally hand-written.  ...  The authors warmly thank the Inria/CONVECS team members for useful discussions.  ... 
doi:10.1007/978-3-642-38592-6_11 fatcat:otnkxgzppbea5h6ps7dywcxncy

Observations of a Submesoscale Cyclonic Filament in the Marginal Ice Zone

Wilken-Jon von Appen, Claudia Wekerle, Laura Hehemann, Vibe Schourup-Kristensen, Christian Konrad, Morten H. Iversen
2018 Geophysical Research Letters  
The filament created a 500-m thin and 50-km long sea ice streak and extends to >250-m depth with a negative/positive density anomaly within/below the halocline.  ...  It also demonstrates the co-occurrence and mixing of water masses over short horizontal scales, which has implications for ocean and sea ice models and understanding of patch formation of planktonic organisms  ...  We thank the European Space Agency and Drift and Noise for providing us with the Sentinel-1 Level-1 data and the highly resolved radar images. The CTD, UCTD, and VMADCP data are available  ... 
doi:10.1029/2018gl077897 fatcat:qhf542bjmnam5npwa63hk5bi34

Structure and Circulation of Atlantic Water Masses in the St. Anna Trough in the Kara Sea

Alexander Osadchiev, Alexander Osadchiev, Kirill Viting, Dmitry Frey, Dmitry Frey, Darya Demeshko, Alina Dzhamalova, Alina Nurlibaeva, Alexandra Gordey, Victor Krechik, Eduard Spivak, Igor Semiletov (+2 others)
2022 Frontiers in Marine Science  
The formation of this gyre increases the residence time of the Fram Strait branch water in the trough and decreases the intensity of water and heat exchange between the trough and the continental slope  ...  Based on these data, we reconstructed the thermohaline structure and circulation in this area and obtained new insights, which are crucial for the assessment of the interaction and heat balance of water  ...  Additionally, satellite altimetry data from the Data Unification and Altimeter Combination System (DUACS) near real-time altimeter gridded product of 0.25° (Pujol et al., 2016) available from Copernicus  ... 
doi:10.3389/fmars.2022.915674 doaj:755b0774fbda457bbc516a40e3fe19e5 fatcat:uaskexnygra55boq3nf6t3wt6e

Identification of key environmental drivers influencing macroalgal communities in high Arctic fjords

Milan Beck, Børge Damsgård, Kai Bischof, Victor G Triginer
2022 Zenodo  
The sampling regime included e.g. CTD, turbidity, PAR measurements and split beam echosounder. The observational data were validated with remote drop cameras and baited video rigs.  ...  The kelp communities had a depth distribution down to 30 m, and while the Atlantic water station showed a decreased with depth, the freshwater and glacier station increased with depth.  ...  The VCS allowed us to plot and change the course of the USV in real time on a preloaded map (openstreetmaps tile server) while receiving and using dGPS and bathymetric depth data from the Otter and the  ... 
doi:10.5281/zenodo.6359468 fatcat:6a2722wjtbg6hnplhfxcaer2gm

Arctic layer salinity controls heat loss from deep Atlantic layer in seasonally ice-covered areas of the Barents Sea

Sigrid Lind, Randi B. Ingvaldsen, Tore Furevik
2016 Geophysical Research Letters  
The data sampled by Knipovich Polar Research Institute of Marine Fisheries and Oceanography are not publicly available due to Russian data restriction policy.  ...  The work of S.L. and R.I. was supported by the Research Council of Norway (RCN 228896) and the Institute of Marine Research, Norway. The work of T.F. was supported by the University of Bergen.  ...  This is part of the process termed "atlantification" (Polyakov et al., 2017) .  ... 
doi:10.1002/2016gl068421 fatcat:abolhfap55fabgkcnb7azijfcy

Formal Verification of Distributed Branching Multiway Synchroniza-tion Protocols. Dirk Beyer; Michele Boreale

Hugues Evrard, Frédéric Lang
2013 Lecture Notes in Computer Science   unpublished
We generate formal models, written in the LNT language, of synchronization scenarios for three protocols and we use the CADP toolbox for automated formal verifications.  ...  Yet, there may still remain a semantic gap between a formal model and the actual distributed implementation, which is generally handwritten.  ...  The authors warmly thank the Inria/CONVECS team members for useful discussions.  ... 
fatcat:o4nppi4hfbhyjewvx3u6zxlegi

Distribution of coccoliths in surface sediments across the Drake Passage and calcification of Emiliania huxleyi morphotypes

Nele Manon Vollmar, Karl-Heinz Baumann, Mariem Saavedra-Pellitero, Iván Hernández-Almeida
2022 Biogeosciences  
We focused on the coccolith response to steep environmental gradients across the frontal system of the Antarctic Circumpolar Current and to hydrodynamic and post-depositional processes occurring in this  ...  High coccolith abundances and species diversity compared to studies in the same area and in other sectors of the Southern Ocean occur, with a high species richness especially south of the Polar Front.  ...  blooming, which might not have coincided with the timing of the plankton sampling.  ... 
doi:10.5194/bg-19-585-2022 fatcat:vsja3whhpnb5bdsw2hx3gp4f3e

State of the Climate in 2017

Gail Hartfield, Jessica Blunden, Derek S. Arndt
2018 Bulletin of The American Meteorological Society - (BAMS)  
Included are the numbers of years with data used in the calculations, means, standard deviations, 2017 values and rankings.  ...  Areas are in millions of km 2 . 1968, 1969, and 1971 have 1, 5, and 3 missing months respectively, thus are not included in the annual calculations. North America (N. Am.) includes Greenland.  ...  Section 5j (Ozone and UV radiation): • G. Bernhard  ... 
doi:10.1175/2018bamsstateoftheclimate.1 fatcat:nqobe44ubfgzhhyv6zpwueoi7e

State of the Climate in 2011

Jessica Blunden, Derek S. Arndt
2012 Bulletin of The American Meteorological Society - (BAMS)  
1 and http://www.ncdc.noaa. gov/bams-state-of-the-climate/ This report was printed on 85%-100% post-consumer recycled paper.  ...  Chapter 4: Charles "Chip" Guard, NOAA/NWS/Guam Weather Forecast Office is thanked for his contributions to and assistance with the section dealing with tropical cyclones in the Western North Paci c basin  ...  Chapter 5: e NOAA authors note that, with respect to their contributions, "The views, opinions, and findings contained in this report are those of the author(s) and should not be construed as an o cial  ... 
doi:10.1175/2012bamsstateoftheclimate.1 fatcat:yfped6efmzbddoz7w574pcgzg4

Polar Systems under Pressure

H Kassens, D Damaske, B Diekmann, D Fütterer, G Heinemann, U Karsten, E Pfeiffer, J Regnery, M Scheinert, J Thiede, R Tiedemann, D Wagner (+1 others)
2018 27 th International Polar Conference Rostock   unpublished
Berichte zur Polar-und Meeresforschung Reports on Polar and Marine Research 716 2018 Die Berichte zur Polar-und Meeresforschung werden vom Alfred-Wegener-Institut, Helmholtz-Zentrum für Polar-und Meeresforschung  ...  Acknowledgements: This research is a contribution to the Russian-German project CATS funded by the Ministry of Education and Science of the Russian Federation (RFMEFI61617X0076) and the German Ministry  ...  of Education and Research (03F0776).  ... 
fatcat:7opdprxlv5evhgp2sipkgns4xu