| 1. |
- Gerlee, Philip, 1980, et al.
(författare)
-
Scientific Models : Red Atoms, White Lies and Black Boxes in a Yellow Book
- 2016
-
Bok (övrigt vetenskapligt/konstnärligt)abstract
- A zebrafish, the hull of a miniature ship, a mathematical equation and a food chain - what do these things have in common? They are examples of models used by scientists to isolate and study particular aspects of the world around us. This book begins by introducing the concept of a scientific model from an intuitive perspective, drawing parallels to mental models and artistic representations. It then recounts the history of modelling from the 16th century up until the present day. The iterative process of model building is described and discussed in the context of complex models with high predictive accuracy versus simpler models that provide more of a conceptual understanding. To illustrate the diversity of opinions within the scientific community, we also present the results of an interview study, in which ten scientists from different disciplines describe their views on modelling and how models feature in their work. Lastly, it includes a number of worked examples that span different modelling approaches and techniques. It provides a comprehensive introduction to scientific models and shows how models are constructed and used in modern science. It also addresses the approach to, and the culture surrounding modelling in different scientific disciplines. It serves as an inspiration for model building and also facilitates interdisciplinary collaborations by showing how models are used in different scientific fields. The book is aimed primarily at students in the sciences and engineering, as well as students at teacher training colleges but will also appeal to interested readers wanting to get an overview of scientific modelling in general and different modelling approaches in particular.
|
|
| 2. |
- Gerlee, Philip, 1980, et al.
(författare)
-
Scientific Models
- 2016
-
Bok (övrigt vetenskapligt/konstnärligt)abstract
- A zebrafish, the hull of a miniature ship, a mathematical equation and a food chain - what do these things have in common? They are examples of models used by scientists to isolate and study particular aspects of the world around us. This book begins by introducing the concept of a scientific model from an intuitive perspective, drawing parallels to mental models and artistic representations. It then recounts the history of modelling from the 16th century up until the present day. The iterative process of model building is described and discussed in the context of complex models with high predictive accuracy versus simpler models that provide more of a conceptual understanding. To illustrate the diversity of opinions within the scientific community, we also present the results of an interview study, in which ten scientists from different disciplines describe their views on modelling and how models feature in their work. Lastly, it includes a number of worked examples that span different modelling approaches and techniques. It provides a comprehensive introduction to scientific models and shows how models are constructed and used in modern science. It also addresses the approach to, and the culture surrounding modelling in different scientific disciplines. It serves as an inspiration for model building and also facilitates interdisciplinary collaborations by showing how models are used in different scientific fields. The book is aimed primarily at students in the sciences and engineering, as well as students at teacher training colleges but will also appeal to interested readers wanting to get an overview of scientific modelling in general and different modelling approaches in particular.
|
|
| 3. |
- Jagers, Peter, 1941
(författare)
-
Matematikens ord
- 2009
-
Ingår i: LexicoNordica. ; 16, s. 315-318
-
Tidskriftsartikel (refereegranskat)
|
|
| 4. |
- Friberg, Jöran, 1934, et al.
(författare)
-
Three Old Babylonian Recombination Texts of Mathematical Problems without Solution Procedures, Making up Group 2b
- 2016
-
Ingår i: Sources and Studies in the History of Mathematics and Physical Sciences. - Cham : Springer International Publishing. ; , s. 421-480
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- YBC 4698 is a mathematical recombination text, a mixed bag of loosely related exercises, all concerned with commercial problems. See the hand copy and conform transliteration in Fig. 11.1.1 below. Since exercises belonging more closely together are sometimes separated from each other in this text, the exercises are numbered in two different ways in the conform transliteration, both in the order they are inscribed on the tablet (## 1-17) and according to their problem types (§§ 1-5).
|
|
| 5. |
|
|
| 6. |
|
|
| 7. |
- Chokhachian, Ata, 1988-, et al.
(författare)
-
Toward Object-Oriented Knowledge-Based Parametric Design Thinking
- 2015
-
Konferensbidrag (refereegranskat)abstract
- The parameter, as a variable of differentiation, defines the limits and boundaries of a system and the conditions for its operation. It is through parameters that we are able to produce certain logical relationships between different parts in design procedure. Fundamental to this, however, is the assumption that the object or phenomenawe are modeling is in fact quantifiable. Advances in computational processing have promoted our capacity, and thus faith in the ability, to systematically classify and itemize the world around us. The Parametricism Manifesto concerns itself solely with appearance and arejection of the term Parametricism in certain levels could be clearly visible within the contemporary discourse of Object-oriented and knowledge-based approach that reflects the cognitive attitude of the designer/architect regarding the object-oriented reasoning and analogy. Moreover, instead of having parametric manifestation alternate terms such as digitally intelligent design , algorithmic design, object oriented design , Context-oriented design , Parametric thinking , and even postparametric design have arisen and could be used to describe this vastly differentiated field. What these design theories do share, however, is a predilection and belief in the tool. Nowadays the project fields are information-rich contexts and the tool sets for design are able to interpret, analyze, synthesize and realize these data into the design procedure. This research mainly aims to uncover potentialities of the existing enablers and assistive technologies in context-oriented design in order to have more content-embedded architectural conceptualization solutions.
|
|
| 8. |
- Stucki, Sandro, 1982, et al.
(författare)
-
A theory of higher-order subtyping with type intervals
- 2021
-
Ingår i: Proceedings of the ACM on Programming Languages. - : Association for Computing Machinery (ACM). - 2475-1421. ; 5:ICFP
-
Tidskriftsartikel (refereegranskat)abstract
- The calculus of Dependent Object Types (DOT) has enabled a more principled and robust implementation of Scala, but its support for type-level computation has proven insufficient. As a remedy, we propose F··ω, a rigorous theoretical foundation for Scala's higher-kinded types. F··ω extends F<:ω with interval kinds, which afford a unified treatment of important type- and kind-level abstraction mechanisms found in Scala, such as bounded quantification, bounded operator abstractions, translucent type definitions and first-class subtyping constraints. The result is a flexible and general theory of higher-order subtyping. We prove type and kind safety of F··ω, as well as weak normalization of types and undecidability of subtyping. All our proofs are mechanized in Agda using a fully syntactic approach based on hereditary substitution.
|
|
| 9. |
- Arjomandi Rad, Mohammad, 1987, et al.
(författare)
-
Image regression-based digital qualification for simulation-driven design processes, case study on curtain airbag
- 2023
-
Ingår i: Journal of engineering design (Print). - : Taylor & Francis. - 0954-4828 .- 1466-1837. ; 34:1, s. 1-22
-
Tidskriftsartikel (refereegranskat)abstract
- Today digital qualification tools are part of many design processes that make them dependent on long and expensive simulations, leading to limited ability in exploring design alternatives. Conventional surrogate modelling techniques depend on the parametric models and come short in addressing radical design changes. Existing data-driven models lack the ability in dealing with the geometrical complexities. Thus, to address the resulting long development lead time problem in the product development processes and to enable parameter-independent surrogate modelling, this paper proposes a method to use images as input for design evaluation. Using a case study on the curtain airbag design process, a database consisting of 60,000 configurations has been created and labelled using a method based on dynamic relaxation instead of finite element methods. The database is made available online for research benchmark purposes. A convolutional neural network with multiple layers is employed to map the input images to the simulation output. It was concluded that the showcased data-driven method could reduce digital testing and qualification time significantly and contribute to real-time analysis in product development. Designers can utilise images of geometrical information to build real-time prediction models with acceptable accuracy in the early conceptual phases for design space exploration purposes.
|
|
| 10. |
|
|
