Results 31 to 40 of about 392 (262)

Cartesian logic

open access: yesTheoretical Computer Science, 2002
In 1976, \textit{Michel Coste} introduced a formal syntax for the logic intrepretable in cartesian (that is, finitely complete) categories. (His work, which refined and improved on earlier ideas of J. R. Isbell, O. Keane and H. Volger, was published in Coste's paper ``Localisation, spectra and sheaf representation'' [in: M. P. Fourman et al.
openaire   +2 more sources

Experimental and Numerical Modal Analysis of Composite Sandwich Structures Using Surfboards as Model Systems

open access: yesAdvanced Engineering Materials, EarlyView.
This article presents an experimental and numerical modal investigation of composite sandwich structures using surfboards as model systems. By comparing different core materials and reinforcement strategies, the study demonstrates how local stiffeners influence vibrational response and introduce characteristic modal features, highlighting modal ...
Brett Connellan   +4 more
wiley   +1 more source

Gadamer, Descartes, and the Problem of Method

open access: yesHumanities
In this paper, I demonstrate that, beyond the notion of prejudice, it is the whole Cartesian framework that Gadamer’s philosophical hermeneutics seems to reject in Truth and Method.
Michel Dalissier
doaj   +1 more source

Triple Junctions as Dislocation‐Like Defects: The Role of Grain Boundary Crystallography Revealed by Experiment and Atomistic Simulation

open access: yesAdvanced Engineering Materials, EarlyView.
Grain boundary triple junctions are an essential ingredient of the microstructure of polycrystalline materials. In this study, a triple junction is observed using atomic‐resolution scanning transmission electron microscopy and characterized. Computer simulations reveal that the junction has a dislocation character that is determined by the joining ...
Tobias Brink   +4 more
wiley   +1 more source

On Three Unpublished Letters of Johannes De Raey to Johannes Clauberg

open access: yesNoctua, 2014
The present study aims to present a transcription and a commentary of three unpublished letters of the Dutch Cartesian philosopher Johannes de Raey (1620–1702), addressed to his former student Johannes Clauberg (1622–1665).
Andrea Strazzoni
doaj   +1 more source

Design and Analysis of Compression–Torsion Coupling Metamaterials Using the Golden Section Method

open access: yesAdvanced Engineering Materials, EarlyView.
A novel compression–torsion metamaterial is engineered using inclined rods and symmetry breaking. To optimize its torsional performance, the golden section method is employed. The mechanical response of the metamaterial is validated through both numerical analysis and experimental validation.
Amirhossein Hassani, Sara Bagherifard
wiley   +1 more source

On the Homo Œconomicus Model of Rationality

open access: yesStudies in Business and Economics, 2019
The study intends to deliver a logical analysis of the well-known (and too much used) model of rationality named homo œconomicus. To this end, it is put into evidence the reductionism of the model (more, its cartesianism and mechanicism), by logically ...
Emil Dinga, Gabriela-Mariana Ionescu
doaj   +1 more source

The problem of consciousness: Recent Cartesianism [PDF]

open access: yesОмский научный вестник: Серия "Общество. История. Современность"
The article contains a historical-philosophical review of recent receptions of Cartesian substantial dualism as an approach to solve the mind-body problem.
R. L. Kochnev
doaj   +1 more source

Transfer Printing and Reconfiguration of Soft Electronics Using Digital Microfluidics and Laser Machining

open access: yesAdvanced Functional Materials, EarlyView.
This paper presents a digital microfluidics‐based technique for transferring and reconfiguring soft nanomembranes. Laser‐machined nanothin membranes are picked up, transported, and aligned via tailored surface tension and the actuation of water droplets, enabling the development of flexible electronics, the integration of functional materials on 3D ...
Quang Anh Nguyen   +15 more
wiley   +1 more source

Cartesian Monoids

open access: yesElectronic Notes in Theoretical Computer Science, 2010
AbstractThe Cartesian monoid of partial piecewise shift operators is developed as a model for programming systems such as Backus' FP. Special attention is paid to those elements which are equationally implicitly definable.
openaire   +1 more source

Home - About - Disclaimer - Privacy