![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Evaluating the Use of Pyrolyzed Agricultural Residue in Coal Blend for Cokemaking
The steel sector faces a significant challenge in decarbonizing its processes. It is not an easy task since 70% of steel production comes from the Blast Furnace/BOF route using coke as the main reducer, fuel f...
-
Article
Open AccessCu(In,Ga)Se \(_2\) -based solar cells for space applications: proton irradiation and annealing recovery
In this work, we present an experimental study of a Cu(In,Ga)Se \(_2\) ...
-
Chapter and Conference Paper
Benefits of University-Industry R&D Collaborations: A Systematic Literature Review
University-Industry R&D collaboration (UIC) project is a temporary organization with a collaborative work environment, with heterogeneous partners who have collective responsibilities, and seek to grant benefi...
-
Article
Why Big Bang is so Accepted and Popular: Some Contributions of a Thematic Analysis
Some important and decisive observations allowed a widespread and almost unquestionable acceptance of the big bang cosmology, but we can admit and search other factors that have contributed and continue to con...
-
Article
Open AccessEngineering the microwave to infrared noise photon flux for superconducting quantum systems
Electromagnetic filtering is essential for the coherent control, operation and readout of superconducting quantum circuits at milliKelvin temperatures. The suppression of spurious modes around transition frequ...
-
Chapter and Conference Paper
Typed SLD-Resolution: Dynamic Ty** for Logic Programming
The semantic foundations for logic programming are usually separated into two different approaches. The operational semantics, which uses SLD-resolution, the proof method that computes answers in logic program...
-
Chapter and Conference Paper
Data Type Inference for Logic Programming
In this paper we present a new static data type inference algorithm for logic programming. Without the need for declaring types for predicates, our algorithm is able to automatically assign types to predicates...
-
Article
Open AccessSchoolbag weight carriage in Portuguese children and adolescents: a cross-sectional study comparing possible influencing factors
Schoolbags and the consequences of carrying them, particularly those associated with overload, are often studied as a health concern. Modifications in gait and posture were reported when children carried loads...
-
Article
Open AccessA biophysical neural network model for visual working memory that accounts for memory binding errors
-
Article
Design and Validation of an RGB-D Based Localization System - Integration in a Docking System
This paper proposes a localization system for a mobile robot based on odometric data and RGB-D (Red, Green, Blue image and Depth map) measurements relative to a landmark, available from sensors installed on bo...
-
Article
Big Bang, an Idea Projected Beyond Cosmology: The Possible Contribution of Thematic Analysis to the Understanding of This Success
The big bang idea is not only a dominant idea in cosmology but also a very successfully idea out of cosmology. Although sometimes just in metaphorical sense, the big bang idea is present, since some decades, i...
-
Chapter and Conference Paper
Implementation and Validation of a Docking System for Nonholonomical Vehicles
This paper presents the experimental validation of a docking system for a differential drive robot. The docking problem is solved with a smooth, time-invariant, globally asymptotically stable feedback control ...