Results 111 to 120 of about 420,653 (327)
Taut Monads, Dynamic Logic and Determinism
Electronic Notes in Theoretical Computer Science, 2007 AbstractStudied are Kleisli categories of monads of sets which satisfy two properties motivated by functional properties of collections. Such categories have box and diamond operators which follow the laws of (loop-free) dynamic logic. A theorem of Kozen states that the category of sets and relations is complete for loop-free dynamic logic. It is shown
openaire +1 more source
A Two‐Stage Characterization Pipeline and Open‐Source Framework for Reproducible Tactile Sensing
Advanced Intelligent Systems, EarlyView.The same soft tactile sensor returns different numbers when embodied in different robots. This is an Embodiment Gap that no shared framework currently captures transparently. A two‐stage characterization pipeline, paired with a FAIR open‐source digital datasheet, decouples intrinsic sensor behavior from embodiment effects and condenses cross‐laboratory
Matteo Lo Preti +6 more
wiley +1 more source
Determinism and Quantum Indeterminacy through Qualia, Holographic Principles, and Logical Love
This paper proposes "Layered Determinism," a gentle integration of determinism and quantum indeterminacy through a two-layer structure: a deterministic foundation (e.g., qualia generation as inevitable mechanism) and a quantum interpretive upper layer ...
Yoshino, Shiho
core +1 more source
Basic elements and problems of probability theory [PDF]
, 1999 After a brief review of ontic and epistemic descriptions, and of subjective, logical and statistical interpretations of probability, we summarize the traditional axiomatization of calculus of probability in terms of Boolean algebras and its set ...
Primas, Hans, Hans Primas
core
Ising Solver Using Vertical NAND Flash Memory
Advanced Intelligent Systems, EarlyView.Commercial V‐NAND flash memory is repurposed as a discrete‐time Ising solver by exploiting in‐memory current summation and read‐voltage‐controlled intrinsic noise. The system implements Hopfield neural‐network updates with simulated‐annealing‐like behavior, solving max‐cut problems with high accuracy and energy efficiency while using mass‐produced ...
Sung‐Ho Park +7 more
wiley +1 more source
الجبر والاختيار بين التناقض والتضاد في الفلسفة وعلم الكلام (دراسة تحليلية) Determinism and Free Will between Contradiction and Contrariety in Philosophy and Islamic Kalām (An Analytical Study) [PDF]
مجلة كلية الدراسات الإسلامية والعربية للبنات بدمنهوريهدف هذا البحث إلى تقديم تحليل جديد لقضية الجبر والاختيار في الفكر الإسلامي من منظور منطقي وكلامي معاصر، يقوم على إبراز التمييز بين مفهومي التناقض والتضاد بوصفه مفتاحًا لفهم طبيعة الخلاف بين المدارس الكلامية والتوجّهات الفلسفية عبر التاريخ.
مصطفى إسماعيل عبد الحليم حسن خليل
doaj +1 more source
The Roots of Determinism According to Jan Lukasiewicz [PDF]
, 2014 El presente artículo pretende esbozar los argumentos que, apoyados en el sistema lógico de Aristóteles, utiliza Jan Lukasiewicz para superar el determinismo, rebatiéndolo desde sus raíces, basadas en los principios lógicos del tercio excluso y causalidad.
Lukomsky, Andrzej
core
AI &Innovation, EarlyView.ABSTRACT The rapid advancement of large language model (LLM) technology is profoundly transforming the practice of social science research. Scholarly discussions on Artificial Intelligence (AI)'s role in social science research can be organised into three levels: AI as a research tool, AI as a methodological infrastructure and AI as a quasi‐cognitive ...
Jie Xiong
wiley +1 more source
Актуальні питання суспільних наук та історії медицини, 2018 Цель статьи – проанализировать средства актуализации сведений в художественном размы- шлении для осознания философско-лингвистической природы этого функционально-семантического типа речи.
Юлія РУСНАК +1 more
doaj +1 more source
Determinism, Laws of Nature and the Consequence Argument
, 2016 Scott Sehon (2011) argues that the conception of determinism employed in the Consequence Argument is implausible because it rules out the logical possibility of the laws of nature being violated. Sehon says, for instance, that determinism is incompatible
Merlussi, Pedro
core