Results 71 to 80 of about 6,265 (224)
ELIOS-OBJ theorem proving in a specification language [PDF]
, 1992 In the context of the executable specification language OBJ3 an order-sorted completion procedure is implemented, providing automatically convergent specifications from user-given ones. This feature is of first importance to ensure unambiguity and termination of the rewriting execution process.
openaire +2 more sources
Zeszyty Naukowe Uniwersytetu Ekonomicznego w KrakowieCel: Głównym celem artykułu jest wykazanie, jak brak odpowiednich regulacji prawnych wpływa na nazewnictwo stosowane w przypadku bezalkoholowych odpowiedników napojów alkoholowych dostępnych na rynku polskim, a tym samym zwrócenie uwagi na problemy ...
Anna Kamińska, Przemysław Dmowski
doaj +1 more source
A Survey of Methods for Constructing 3D Urban Models From Point Clouds
Computer Graphics Forum, EarlyView.The survey outlines a general process for constructing 3D models from point clouds and categorizes the methods based on their use of templates, basic surface primitives, hybrid approaches, or linear primitives. Additionally, the survey reviews the datasets and benchmarks that are essential for testing and training the developed methods.
Chiara Romanengo +5 more
wiley +1 more source
A Wavefront OBJ Writer for VTK
The VTK Journal, 2010 The Wavefront OBJ format is a common file format for storing mesh data. It is convenient to be able to write VTK data structures out into this format, as the data can then be used in software that can read OBJ files.
openaire +1 more source
Engineering Applications of Computational Fluid MechanicsScour depth prediction downstream of hydraulic structures is an important task for maintaining their safety and long-term stability. The present study, for accurate modelling of scour depth caused by free-falling hydraulic jets, conducted a comparative ...
Aliasghar Azma +4 more
doaj +1 more source
ارزیابی مدلهای تلفیقی هوش مصنوعی در تخمین غلظت مواد جامد محلول در بالادست شهر ساری [PDF]
Muhandisī va mudirīyyat-i ābkhīzمقدمه رودخانهها، بهعنوان منابع حیاتی طبیعت و پایههای اصلی توسعه پایدار شناخته میشوند. لذا، کمیت و کیفیت آب رودخانهها جز پارامترهای ارزشمند محسوب میشوند. افزایش فعالیتهای کشاورزی و صنعتی، باعث کاهش کیفیت منابع آب در بسیاری از نقاط شده است.
علیرضا قائمی +2 more
doaj +1 more source
Self‐supervised Learning of Fine‐to‐Coarse Cuboid Shape Abstraction
Computer Graphics Forum, EarlyView.Abstract The abstraction of 3D objects with simple geometric primitives like cuboids allows us to infer structural information from complex geometry. It is important for 3D shape understanding, structural analysis and geometric modeling. We introduce a novel fine‐to‐coarse self‐supervised learning approach to abstract collections of 3D shapes.
Gregor Kobsik +6 more
wiley +1 more source
European Journal of Dental Education, EarlyView.ABSTRACT Introduction This study evaluated and compared the effectiveness of a novel 3D imaged models (3D IMs) and physical reference models in supporting student learning of indirect tooth preparations. Materials and Methods Fourth‐year dental students from 2021 (N = 69) and 2022 (N = 54) received access to 3D IMs and real‐sized plastic models ...
Manal Ablal +3 more
wiley +1 more source
Die Bewertung von Risiken durch Naturgefahren mit spezieller Berücksichtigung der Risikoaversion [PDF]
Geographica HelveticaEin Vergleich des effektiven Risikos Robj (Risikoanalyse) mit dem akzeptablen Risiko Racc (Risikobewertung) ermöglicht im Risikomanagement die Planung notwendiger Massnahmen, die zu hohe objektive Risiken auf ein akzeptables Mass reduzieren oder deren ...
T. Plattner
doaj +1 more source
The Role of Index Fund Ownership in the Era of Say‐on‐Pay
Financial Management, EarlyView.ABSTRACT We examine whether and how index funds influence executive compensation in the post‐Say‐on‐Pay era. Using the annual reconstitution of the Russell indexes as a source of exogenous variation in index fund ownership, we document a causal effect of index ownership on CEO pay structure.
Kiseo Chung, Hwanki Brian Kim
wiley +1 more source