نتایج جستجو برای: communal containers

تعداد نتایج: 12403  

Journal: :Electr. Notes Theor. Comput. Sci. 2004
Dorothea Wagner Thomas Willhalm Christos D. Zaroliagis

Using a set of geometric containers to speed up shortest path queries in a weighted graph has been proven a useful tool for dealing with large sparse graphs. Given a layout of a graph G = (V, E), we store, for each edge (u, v) ∈ E, the bounding box of all nodes t ∈ V for which a shortest u-t-path starts with (u, v). Shortest path queries can then be answered by Dijkstra’s algorithm restricted t...

2013
Urban Svedberg Gunnar Johanson

More than 500 million ocean freight container units are shipped annually between countries and continents. Residual levels of fumigants, as well as naturally occurring off-gassing chemicals emanating from the goods, constitute safety risks, which may affect uniformed workers upon entering the container. The aim of this study was to assess workers' exposure during stripping of containers and is ...

2003
Michael Gordon Abbott Thorsten Altenkirch Neil Ghani Conor McBride

We are investigating McBride’s idea that the type of one-hole contexts are the formal derivative of a functor from a categorical perspective. Exploiting our recent work on containers we are able to characterise derivatives by a universal property and show that the laws of calculus including a rule for initial algebras as presented by McBride hold — hence the differentiable containers include th...

1998
Jens Gerlach Mitsuhisa Sato Yutaka Ishikawa

We propose Janus | a C++ template library of container classes and communication primitives for parallel dynamic mesh applications. The paper focuses on two phase containers that are a central component of the Janus framework. These containers are quasi-constant, i.e., they have an extended initialization phase after which they provide read-only access to their elements. Two phase containers ar...

Journal: :Chemical Communications 2017

Journal: :Food Hygiene and Safety Science (Shokuhin Eiseigaku Zasshi) 1967

2012
Yoichi Hirashima

Recent shipping amount in maritime transportation keeps growing, and efficient material handling operations at marine ports becomes important issue. In many cases, containers are used for transportation of cargos, and thus the growth of shipping amount leads to the growth of the number of containers. In a marine port, containers are shifted between seaborn and landside transportation at contain...

2017
Andrew Leigh Michel Wermelinger Andrea Zisman

Our motivation is to determine whether risks such as implementation error-proneness can be isolated into three types of containers at design time. This paper identifies several container candidates in other research that fit the risk container concept. Two industrial case studies were used to determine which of three container types tested is most effective at isolating and predicting at design...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید