Narrow your search

Library

KU Leuven (12)

LUCA School of Arts (11)

Odisee (11)

Thomas More Kempen (11)

Thomas More Mechelen (11)

UCLL (11)

ULiège (11)

VIVES (11)

FARO (8)

Vlaams Parlement (8)

More...

Resource type

book (24)


Language

English (25)


Year
From To Submit

2022 (6)

2021 (3)

2020 (9)

2019 (2)

2018 (1)

More...
Listing 21 - 25 of 25 << page
of 3
>>
Sort by

Book
Advanced Techniques for Design and Manufacturing in Marine Engineering
Authors: ---
Year: 2022 Publisher: Basel MDPI - Multidisciplinary Digital Publishing Institute

Loading...
Export citation

Choose an application

Bookmark

Abstract

Modern engineering design processes are driven by the extensive use of numerical simulations; naval architecture and ocean engineering are no exception. Computational power has been improved over the last few decades; therefore, the integration of different tools such as CAD, FEM, CFD, and CAM has enabled complex modeling and manufacturing problems to be solved in a more feasible way. Classical naval design methodology can take advantage of this integration, giving rise to more robust designs in terms of shape, structural and hydrodynamic performances, and the manufacturing process.This Special Issue invites researchers and engineers from both academia and the industry to publish the latest progress in design and manufacturing techniques in marine engineering and to debate the current issues and future perspectives in this research area. Suitable topics for this issue include, but are not limited to, the following:CAD-based approaches for designing the hull and appendages of sailing and engine-powered boats and comparisons with traditional techniques;Finite element method applications to predict the structural performance of the whole boat or of a portion of it, with particular attention to the modeling of the material used;Embedded measurement systems for structural health monitoring;Determination of hydrodynamic efficiency using experimental, numerical, or semi-empiric methods for displacement and planning hulls;Topology optimization techniques to overcome traditional scantling criteria based on international standards;Applications of additive manufacturing to derive innovative shapes for internal reinforcements or sandwich hull structures.

Keywords

Technology: general issues --- History of engineering & technology --- wave compensation platform --- 3-SPR parallel platform --- 3-RPS parallel platform --- structure optimization --- workspace analysis --- level 4 sea state --- cryogenic tank --- boil-off gas (BOG) --- boil-off rate (BOR) --- finite element analysis (FEA) --- liquid nitrogen --- near-bottom zooplankton --- multi-net --- visible sampling --- fidelity --- deep sea --- sailing yacht design --- rational Bézier curves --- VBA --- excel --- CAD --- VPP --- computational fluid dynamics --- hull design --- air cavity ships --- hull ventilation --- stepped planing hull --- Cartesian adaptive grids --- immersed boundaries --- LES simulation --- velocity prediction program --- numerical optimization --- High-Fidelity analysis --- geometric parameterization --- multihull design --- finite element method --- FSI --- sail design --- gennaker --- sail loads --- biomimetic design --- lightweight structure --- computer fluid dynamics --- design for additive manufacturing --- autonomous underwater vehicle (AUV) --- collision avoidance planning --- deep reinforcement learning (DRL) --- double-DQN (D-DQN) --- computational model --- oscillating water column --- wave energy converter --- turbulent flows --- Savonius turbine --- wave compensation platform --- 3-SPR parallel platform --- 3-RPS parallel platform --- structure optimization --- workspace analysis --- level 4 sea state --- cryogenic tank --- boil-off gas (BOG) --- boil-off rate (BOR) --- finite element analysis (FEA) --- liquid nitrogen --- near-bottom zooplankton --- multi-net --- visible sampling --- fidelity --- deep sea --- sailing yacht design --- rational Bézier curves --- VBA --- excel --- CAD --- VPP --- computational fluid dynamics --- hull design --- air cavity ships --- hull ventilation --- stepped planing hull --- Cartesian adaptive grids --- immersed boundaries --- LES simulation --- velocity prediction program --- numerical optimization --- High-Fidelity analysis --- geometric parameterization --- multihull design --- finite element method --- FSI --- sail design --- gennaker --- sail loads --- biomimetic design --- lightweight structure --- computer fluid dynamics --- design for additive manufacturing --- autonomous underwater vehicle (AUV) --- collision avoidance planning --- deep reinforcement learning (DRL) --- double-DQN (D-DQN) --- computational model --- oscillating water column --- wave energy converter --- turbulent flows --- Savonius turbine


Book
Distributed control of robotic networks : a mathematical approach to motion coordination algorithms
Authors: --- ---
ISBN: 168015897X 1282458205 1282935755 9786612458200 9786612935756 1400831474 0691141959 9780691141954 9781400831470 9781680158977 9781282458208 9781282935754 6612458208 6612935758 Year: 2009 Publisher: Princeton, NJ : Princeton University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This self-contained introduction to the distributed control of robotic networks offers a distinctive blend of computer science and control theory. The book presents a broad set of tools for understanding coordination algorithms, determining their correctness, and assessing their complexity; and it analyzes various cooperative strategies for tasks such as consensus, rendezvous, connectivity maintenance, deployment, and boundary estimation. The unifying theme is a formal model for robotic networks that explicitly incorporates their communication, sensing, control, and processing capabilities--a model that in turn leads to a common formal language to describe and analyze coordination algorithms. Written for first- and second-year graduate students in control and robotics, the book will also be useful to researchers in control theory, robotics, distributed algorithms, and automata theory. The book provides explanations of the basic concepts and main results, as well as numerous examples and exercises. Self-contained exposition of graph-theoretic concepts, distributed algorithms, and complexity measures for processor networks with fixed interconnection topology and for robotic networks with position-dependent interconnection topology Detailed treatment of averaging and consensus algorithms interpreted as linear iterations on synchronous networks Introduction of geometric notions such as partitions, proximity graphs, and multicenter functions Detailed treatment of motion coordination algorithms for deployment, rendezvous, connectivity maintenance, and boundary estimation

Keywords

Robotics. --- Computer algorithms. --- Robots --- Automation --- Machine theory --- Robot control --- Robotics --- Algorithms --- Control systems. --- Computer algorithms --- Control systems --- 1-center problem. --- Adjacency matrix. --- Aggregate function. --- Algebraic connectivity. --- Algebraic topology (object). --- Algorithm. --- Analysis of algorithms. --- Approximation algorithm. --- Asynchronous system. --- Bellman–Ford algorithm. --- Bifurcation theory. --- Bounded set (topological vector space). --- Calculation. --- Cartesian product. --- Centroid. --- Chebyshev center. --- Circulant matrix. --- Circumscribed circle. --- Cluster analysis. --- Combinatorial optimization. --- Combinatorics. --- Communication complexity. --- Computation. --- Computational complexity theory. --- Computational geometry. --- Computational model. --- Computer simulation. --- Computer vision. --- Connected component (graph theory). --- Connectivity (graph theory). --- Consensus (computer science). --- Control function (econometrics). --- Differentiable function. --- Dijkstra's algorithm. --- Dimensional analysis. --- Directed acyclic graph. --- Directed graph. --- Discrete time and continuous time. --- Disk (mathematics). --- Distributed algorithm. --- Doubly stochastic matrix. --- Dynamical system. --- Eigenvalues and eigenvectors. --- Estimation. --- Euclidean space. --- Function composition. --- Hybrid system. --- Information theory. --- Initial condition. --- Instance (computer science). --- Invariance principle (linguistics). --- Invertible matrix. --- Iteration. --- Iterative method. --- Kinematics. --- Laplacian matrix. --- Leader election. --- Linear dynamical system. --- Linear interpolation. --- Linear programming. --- Lipschitz continuity. --- Lyapunov function. --- Markov chain. --- Mathematical induction. --- Mathematical optimization. --- Mobile robot. --- Motion planning. --- Multi-agent system. --- Network model. --- Network topology. --- Norm (mathematics). --- Numerical integration. --- Optimal control. --- Optimization problem. --- Parameter (computer programming). --- Partition of a set. --- Percolation theory. --- Permutation matrix. --- Polytope. --- Proportionality (mathematics). --- Quantifier (logic). --- Quantization (signal processing). --- Robustness (computer science). --- Scientific notation. --- Sensor. --- Set (mathematics). --- Simply connected space. --- Simulation. --- Simultaneous equations. --- State space. --- State variable. --- Stochastic matrix. --- Stochastic. --- Strongly connected component. --- Synchronous network. --- Theorem. --- Time complexity. --- Topology. --- Variable (mathematics). --- Vector field.


Book
Snow crystals : a case study in spontaneous structure formation
Author:
ISBN: 0691223629 Year: 2021 Publisher: Princeton, New Jersey ; Oxford : Princeton University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

"Despite substantial, cross-disciplinary interest in the subject as a scientific case study, surprisingly little has been written on the science of snowflakes and their formation. For materials scientists, snowflakes constitute archetypal examples of crystal growth; for chemists, the site of complex molecular dynamics at the ice surface. Physicists can learn from snowflake symmetry and self-assembly; geologists study snow as mineral crystals; and biologists can even gain insight into the creation of shape and order in organisms. In the humble snowflake are condensed many of the processes-many of them still not fully understood-that govern the organization of classical systems at all levels of the natural world. This book by Kenneth Libbrecht-inarguably the world's foremost expert on the subject-will be the authoritative text on the science of snow crystals. It will cover all of the physical processes that govern the life of a snowflake, including how snowflakes grow and why they have the shapes they do. It will also outline techniques for creating and experimenting with snow crystals, both with computer models and in the lab. Featuring hundreds of color illustrations, the book will be comprehensive and is sure to become definitive resource for researchers for years, if not decades, to come"--

Keywords

Snowflakes. --- Flakes, Snow --- Snow crystals --- Snow flakes --- Snow --- Accuracy and precision. --- Artistic rendering. --- Atmospheric pressure. --- Atmospheric sciences. --- Attic calendar. --- Baking. --- Biomolecule. --- Blood Glucose. --- Branching (polymer chemistry). --- By-product. --- Camera. --- Camphor. --- Canon EOS 5D. --- Chemical bond. --- Chemical formula. --- Chisel. --- Circumference. --- Clear ice. --- Cloud. --- Coefficient. --- Collision. --- Computational chemistry. --- Computational model. --- Consumer. --- Crystal growth. --- Crystal structure. --- Crystal. --- Cubic crystal system. --- Curvature. --- Cytokine. --- Deforestation. --- Desiccation. --- Dew point. --- Diagram. --- Diffusion equation. --- Dimension. --- Dislocation. --- Drop (liquid). --- Economic development. --- Facet (geometry). --- Faceting. --- Field lens. --- Focus stacking. --- Freedman. --- Glucocorticoid. --- Glycoside. --- Hatchling. --- Heat exchanger. --- Hydrogen atom. --- Ice Ih. --- Ice. --- Implementation. --- Impurity. --- Isotropy. --- Latent heat. --- Lighting. --- Liquid crystal. --- Menopause. --- Micrograph. --- Mitutoyo. --- Molecule. --- Neglect. --- Nematode. --- Nomenclature. --- Nucleation. --- Parabola. --- Parasitoid. --- Pedagogy. --- Percentage. --- Petite bourgeoisie. --- Phase (matter). --- Pixel. --- Planned economy. --- Plate column. --- Properties of water. --- Public sector. --- Quadratic equation. --- Refractive index. --- Result. --- Scientific method. --- Snow. --- Southwestern United States. --- Sovereignty. --- Stabilization policy. --- Stagnation point. --- State management. --- Steradian. --- Stokes' law. --- Storage tank. --- Stunted growth. --- Supersaturation. --- Surface diffusion. --- Surface energy. --- Surface roughness. --- Temperature gradient. --- Temperature. --- Video production. --- Visual effects. --- Website. --- Zero of a function.


Book
What can be computed? : a practical guide to the theory of computation
Author:
Year: 2018 Publisher: Princeton, New Jersey : Princeton University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

What Can Be Computed? is a uniquely accessible yet rigorous introduction to the most profound ideas at the heart of computer science. Crafted specifically for undergraduates who are studying the subject for the first time, and requiring minimal prerequisites, the book focuses on the essential fundamentals of computer science theory and features a practical approach that uses real computer programs (Python and Java) and encourages active experimentation. It is also ideal for self-study and reference. The book covers the standard topics in the theory of computation, including Turing machines and finite automata, universal computation, nondeterminism, Turing and Karp reductions, undecidability, time-complexity classes such as P and NP, and NP-completeness, including the Cook-Levin Theorem. But the book also provides a broader view of computer science and its historical development, with discussions of Turing's original 1936 computing machines, the connections between undecidability and Gödel's incompleteness theorem, and Karp's famous set of twenty-one NP-complete problems. Throughout, the book recasts traditional computer science concepts by considering how computer programs are used to solve real problems. Standard theorems are stated and proven with full mathematical rigor, but motivation and understanding are enhanced by considering concrete implementations. The book's examples and other content allow readers to view demonstrations of--and to experiment with--a wide selection of the topics it covers. The result is an ideal text for an introduction to the theory of computation.

Keywords

Informática --- Programación de ordenadores --- Historia --- Filosofía --- AKS primality test. --- AND gate. --- ASCII. --- Addition. --- Algorithm. --- Asymptotic analysis. --- Axiom. --- Binary search algorithm. --- Boolean satisfiability problem. --- C0. --- Calculation. --- Church–Turing thesis. --- Combinatorial search. --- Compiler. --- Complexity class. --- Computability theory. --- Computability. --- Computable function. --- Computable number. --- Computation. --- Computational model. --- Computational problem. --- Computer program. --- Computer. --- Computers and Intractability. --- Computing. --- Conditional (computer programming). --- Counting. --- Decision problem. --- Deterministic finite automaton. --- Elaboration. --- Entscheidungsproblem. --- Equation. --- Exponentiation. --- FNP (complexity). --- Factorization. --- For loop. --- Function problem. --- Halting problem. --- Hilbert's program. --- Indent style. --- Instance (computer science). --- Instruction set. --- Integer overflow. --- Integer. --- Interpreter (computing). --- Iteration. --- List comprehension. --- Mathematical induction. --- Model of computation. --- NP (complexity). --- NP-completeness. --- NP-hardness. --- Notation. --- OR gate. --- Optimization problem. --- P versus NP problem. --- Permutation. --- Polylogarithmic function. --- Polynomial. --- Potential method. --- Primality test. --- Prime number. --- Program analysis. --- Pseudocode. --- Pumping lemma. --- Python (programming language). --- Quantifier (logic). --- Quantum algorithm. --- Radix sort. --- Random-access machine. --- Recursive language. --- Regular expression. --- Rice's theorem. --- Rule 110. --- Schematic. --- Search problem. --- Set (abstract data type). --- Simulation. --- Snippet (programming). --- Solution set. --- Solver. --- Source code. --- Special case. --- State diagram. --- Statement (computer science). --- Subsequence. --- Subset. --- Summation. --- Theory of computation. --- Thread (computing). --- Time complexity. --- Transition function. --- Tseytin transformation. --- Turing machine. --- Turing reduction. --- Turing test. --- Turing's proof. --- Variable (mathematics). --- Workaround.


Book
Contemporary natural philosophy and philosophies
Authors: ---
ISBN: 303897823X 3038978221 Year: 2019 Publisher: MDPI - Multidisciplinary Digital Publishing Institute

Loading...
Export citation

Choose an application

Bookmark

Abstract

Modern information communication technology eradicates barriers of geographic distances, making the world globally interdependent, but this spatial globalization has not eliminated cultural fragmentation. The Two Cultures of C.P. Snow (that of science–technology and that of humanities) are drifting apart even faster than before, and they themselves crumble into increasingly specialized domains. Disintegrated knowledge has become subservient to the competition in technological and economic race leading in the direction chosen not by the reason, intellect, and shared value-based judgement, but rather by the whims of autocratic leaders or fashion controlled by marketers for the purposes of political or economic dominance. If we want to restore the authority of our best available knowledge and democratic values in guiding humanity, first we have to reintegrate scattered domains of human knowledge and values and offer an evolving and diverse vision of common reality unified by sound methodology. This collection of articles responds to the call from the journal Philosophies to build a new, networked world of knowledge with domain specialists from different disciplines interacting and connecting with other knowledge-and-values-producing and knowledge-and-values-consuming communities in an inclusive, extended, contemporary natural–philosophic manner. In this process of synthesis, scientific and philosophical investigations enrich each other—with sciences informing philosophies about the best current knowledge of the world, both natural and human-made—while philosophies scrutinize the ontological, epistemological, and methodological foundations of sciences, providing scientists with questions and conceptual analyses. This is all directed at extending and deepening our existing comprehension of the world, including ourselves, both as humans and as societies, and humankind.

Keywords

pessimistic induction --- n/a --- qualitative ontology --- dissipative structures --- physicalism --- agent-based reasoning --- thermodynamics --- the logic of nature --- reverse mathematics --- theoretical unity --- state-space approach --- common good --- naturalization of logic --- monad --- metaphysics --- reflexive psychology --- knowledge --- neurodynamics --- consciousness --- third-way reasoning --- induction and discovery of laws --- mind-matter relations --- exoplanet --- Second Law of thermodynamics --- unitarity --- philosophical foundations --- in the name of nature --- big crunch --- epistemology --- eco-cognitive model --- active imagination --- aesthetics in science --- science --- second-person description --- subsumptive hierarchy --- 1st-person and 3rd-person perspectives --- discursive space --- space flight --- complexity --- cybernetics --- cosmology --- matter --- realism --- eco-cognitive openness --- hylomorphism --- measurement --- fallacies --- induction --- vacuum --- physics --- mental representation --- embodiment --- problem of induction --- contradiction --- internalism --- Jungian psychology --- synthesis --- exceptional experiences --- mind --- relational biology --- symmetry breaking --- emergence --- phenomenological psychology --- Aristotle’s four causes --- humanistic management --- real computing --- A.N. Whitehead --- final cause --- naturalism --- induction and concept formation --- temporality --- dispositions --- dark energy --- heterogeneity --- Naturphilosophie --- computation --- causality --- memory evolutive system --- natural philosophy --- quantum computing --- philosophy of information --- self --- information --- analytical psychology --- logic --- indeterminacy --- scientific method --- dialectics --- computability --- language --- ethics --- perception --- philosophy of nature --- agonism --- errors of reasoning --- everyday lifeworld --- emptiness --- awareness --- unity of knowledge --- digitization --- fitness --- depth psychology --- info-computational model --- creativity --- ontology --- philosophy as a way of life --- development --- void --- big freeze --- signal transduction --- abduction --- retrocausality --- dual-aspect monism --- quantum information --- theoretical biology --- acategoriality --- epistemic norms --- evolutionary psychology --- apophasis --- differentiation --- memory --- centripetality --- mathematics --- Leibniz --- Ivor Leclerc --- spatial representation --- subjective experience --- intentionality --- evidence and justification --- internal quantum state --- scientific progress --- holographic encoding --- information-theory --- qualia --- anticipation --- naturalization --- F.W.J. Schelling --- L. Smolin --- R.M. Unger --- Aristotle --- dual aspects --- process --- theory of everything --- philosophy of science --- cognition --- compositional hierarchy --- autocatalysis --- discourse --- emergentist reductionism --- form --- regulation --- contingency --- endogenous selection --- category theory --- Science --- Philosophy of nature. --- Philosophy. --- Nature --- Nature, Philosophy of --- Natural theology --- Normal science --- Philosophy of science --- Philosophy --- Aristotle's four causes

Listing 21 - 25 of 25 << page
of 3
>>
Sort by