Search results

...Abbott |author2=Thorsten Altenkirch |author3=Neil Ghani |year=2005 |title=Containers: Constructing strictly positive types |journal=Theoretical Computer Scienc ...programming]] in a [[dependent type|dependently typed]] setting.<ref name='containers'/> ...

...= 2004AmJPh..72..313N }}</ref> The model considers ''N'' particles in two containers. Particles independently change container at a rate&nbsp;''λ''. If ''X''('' ...h> seconds, while starting at configuration <math>100</math> in one of the containers, <math>0</math> at the other, the return to that state is expected to take ...

...eak top-to-bottom compression strength of empty singlewall regular slotted containers in laboratory conditions. ...compression]] strength of a box (usually empty, regular singlewall slotted containers, top-to-bottom) based on various board properties. Some have involved [[fin ...

The '''method of (hypergraph) containers''' is a powerful tool that can help characterize the typical structure and/ ...n problems<ref>{{Citation|last=Sapozhenko|first=Alexander|title=Systems of Containers and Enumeration Problems|date=2005|url=http://dx.doi.org/10.1007/11571155_1 ...

...E. | title = A heuristic for the circle packing problem with a variety of containers | doi = 10.1016/j.ejor.2011.04.024 | journal = European Journal of Operatio ...

...te=Knoema|language=en-US}}</ref> by calculating [[spot rate]]s for 40-foot containers on 12 global tradelanes.<ref>{{Cite web|title=Container|url=https://www.bal ...ate]]. This median price (freight rate) is calculated for standard 40-foot containers that are not refrigerated. ...

...del of the instabilities of the Stewartson layer in flat and depth-varying containers. Physics of Fluids, 17(10), 104111.</ref> ...

...An evaluation of corrosion processes affecting copper-coated nuclear waste containers in a deep geological repository|journal=Progress in Materials Science|langu ...

...st1=Michael|last2=Altenkirch|first2=Thorsten|last3=Ghani|first3=Neil|title=Containers: Constructing strictly positive types|journal=Theoretical Computer Science| ...

However this is not necessary. The experiment works very well even for containers with large uncovered openings, like Faraday's pail. As long as it is deep ===Multiple concentric containers=== ...

...ht of booked seats is to be compared to the weight of the loaded air cargo containers. ...

...rs : They gather declarations of ports and connections as well as of other containers forming nested hierarchies. The block describing the motor pump is such a c ; Prototype and cloning : Prototypes are individual containers. In AltaRica, blocks are prototypes. When the system under study contains t ...

...objects like [[Pressure vessel#Cylindrical vessel with hemispherical ends|containers for pressurised gases]], [[Dome|building domes]], and [[capsule (pharmacy)| ...

...gular cuboid shapes are often used for boxes, cupboards, rooms, buildings, containers, cabinets, books, sturdy computer chassis, printing devices, electronic cal ...

...nshipment is the [[shipment]] of [[Cargo|goods]] or [[Intermodal container|containers]] to an intermediate destination, and then from there to yet another destin ...

...scheme in which the items are first packed into "containers", and then the containers are packed into bins. Their algorithm needs at most <math>b_J \leq OPT(I) + ...

...ly gases need to be stored in high pressure containers or cryogenic liquid containers which is a significant disadvantage to liquid transport. ...

...nsity of representative points. Liouville’s theorem states that if all the containers remain in equilibrium, the average density of points remains constant.<ref ...

...They can be bins, chutes, conveyor belts, or directly into transportation containers. ...

...meters. The cycle is then reversed and electricity is generated as the gas containers rise. Relatively little infrastructure is required, the batteries can be s ...