The Flying Platform is a flying machine developed at IDSC, ETH Zurich. Its purpose is to study the use of electric ducted fans as control and propulsion systems. Background The idea is to explore the use of ducted fans for joint control and propulsion, as a basic sub-system for flying machines. Ducted fans are useful for applications where size is limited and high static thrusts are required. Exam
The tactile joystick developed by startup Foldaway Haptics brings the sense of touch to mobile devices © 2018 Alain Herzog The tactile joystick developed by startup Foldaway Haptics brings the sense of touch to mobile devices, drones and, in a smaller version, to virtual reality controls. This pocket-sized device, which can be unfolded in an instant, is about to hit the market. Next week it will b
ETH Zurich researchers have developed multifunctional origami structures, which they then fabricated into 3D printed objects. The design principle mimics the structure of an earwig’s wing. Every child knows about origami. The skill of this oriental art lies in folding a flat sheet of paper into different – and in some cases highly complex – structures. Examples of origami also exist in the natural
A new JPEG format for virtual reality, drones and self-driving cars The Joint Photographic Experts Group (JPEG), an international committee headed by an EPFL professor, has just unveiled JPEG XS. With this new format, the image-compression process uses less energy, and higher-quality images can be sent with low latency over broadband networks like 5G. JPEG XS will have applications in areas such a
Results User Study The following figure shows the results of a userstudy. We can see that our method is prefered over BPG, even when BPG uses almost twice the number of bits. The bitrate of our models is highlighted on the x-axis with a black diamond. The thick gray line shows the percentage of users preferring our model to BPG at that bitrate (bpp). The blue arrow points from our model to the hig
We explore the history of Venice through citations, and build a web application to navigate through the resulting network of references, with the final aim of interlinking digital archives and digital libraries. For this goal we developed a system to automatically extract citations from a large set of digitized books and journals on the history of Venice. We are specifically interested in analyzin
Debian Version Numbers¶ The version number of a package contains several valuable pieces of information which we summarize below. For further details refer to Debian policy manual - Version numbering. Simple generic examples¶ These examples show the necessary syntax Native package (Debian package = Upstream software): 123 Package version = Upstream version Non-native package: 123-3 123 = Upstream
Deep Extreme Cut (DEXTR): From Extreme Points to Object Segmentation State of the Art in guided and interactive segmentation K.K. Maninis*, S. Caelles*, J. Pont-Tuset, and L. Van Gool Deep Extreme Cut: From Extreme Points to Object Segmentation, Computer Vision and Pattern Recognition (CVPR), 2018. [BibTeX] [PDF] @inproceedings{Man+18, author = {K.-K. Maninis and S. Caelles and J. Pont-Tuset and L
Search the NEBIS Library Catalogue, Research Collection, E-Periodica, ETH Data Archive, E-Pics Image Catalogues, Material-Archiv, Graphische Sammlung and Archival Databases Now that swissuniversities and the Swiss University Conference have approved the action plan drawn up in 2017, the national open-access strategy for Switzerland can be put into practice. At the beginning of 2017, the swissunive
Why erased terms? The following examples shows an implementation of a simple state machine which can be in a state On or Off. The machine can change state from Off to On with turnedOn only if it is currently Off. This last constraint is captured with the IsOff[S] implicit evidence which only exists for IsOff[Off]. For example, not allowing calling turnedOn on in an On state as we would require an
Call-by-name implicit parameters can be used to avoid a divergent implicit expansion. trait Codec[T] { def write(x: T): Unit } implicit def intCodec: Codec[Int] = ??? implicit def optionCodec[T] (implicit ev: => Codec[T]): Codec[Option[T]] = new { def write(xo: Option[T]) = xo match { case Some(x) => ev.write(x) case None => } } val s = implicitly[Codec[Option[Int]]] s.write(Some(33)) s.write(None
Implicit resolution uses a new algorithm which caches implicit results more aggressively for performance. There are also some changes that affect implicits on the language level. Types of implicit values and result types of implicit methods must be explicitly declared. Excepted are only values in local blocks where the type may still be inferred: class C { val ctx: Context = ... // ok /*!*/ implic
An implicit conversion, also called view, is a conversion that is applied by the compiler in several situations: When an expression e of type T is encountered, but the compiler needs an expression of type S. When an expression e.m where e has type T but T defines no member m is encountered. In those cases, the compiler looks in the implicit scope for a conversion that can convert an expression of
Dotty implementation of pattern matching was greatly simplified compared to scalac. From a user perspective, this means that Dotty generated patterns are a lot easier to debug, as variables all show up in debug modes and positions are correctly preserved. Dotty supports a superset of scalac's extractors. Boolean Pattern Extractor defines def unapply(x: T): Boolean Pattern-matching on exactly 0 pat
Previously, a method reference m was converted to a function value only if the expected type was a function type. If that was not the case, one had to write m _ to force the conversion (which is called eta-expansion). For methods with one or more parameters, this restriction has now been dropped. Example: def m(x: Boolean, y: String)(z: Int): List[Int] val f1 = m val f2 = m(true, "abc") This creat
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く