Results 131 to 140 of about 40,105 (313)
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Prior Expectations Bias Confidence Judgments Through Parietal Alpha‐Band Modulation
Advanced Science, EarlyView.ABSTRACT Humans possess the metacognitive ability to estimate the likely accuracy of their own decisions through confidence judgments. Yet, whether prior information shapes confidence and the neural mechanisms mediating such influence, remain to be determined.
Luca Tarasi +4 more
wiley +1 more source
Сибирское юридическое обозрение, 2020 The article examines the issue of appealing decisions that are made by officials of the federal state fire supervision during inspections of buildings and structures, the legal owners of which are organizations and citizens.
A. Yu. Shatokhin
doaj
Decision process in judicial control [PDF]
, 2019 Adli kontrol, temel hak ve özgürlüklere ağır bir müdahalede bulunan tutuklamaya karşı alternatif bir koruma tedbiri türü olarak ortaya çıkmıştır. Adli kontrol bir koruma tedbiri olarak ceza muhakemesi sistemimize, 5271 sayılı Ceza Muhakemesi Kanunu'nun ...
Ünal, Haluk
core
Judicial control in criminal procedure law
, 2021 During the criminal procedure, various control and surveillance tools are envisaged as an alternative to the detention in order to prevent the suspect or the accused from fleeing or the danger of blacking out evidence.
Çayır, Bilgesu
core
On Determination Method for Resolution of Secondary Electron Images in Scanning Electron Microscopy
Advanced Science, EarlyView.An idealized SEM, termed Rayleigh's microscope, is constructed by Monte Carlo simulation to represent imaging conditions that just satisfy the Rayleigh criterion. Based on this physically defined model, sharpness–resolution conversion curves are established and combined with the Rose criterion, enabling automated resolution evaluation from practical ...
Tongfang Yang, Yanbo Zou, Zejun Ding
wiley +1 more source
Advanced Science, EarlyView.We proposed a method based on the piezoelectric effect and fabricated an implant abutment on the basis of piezoelectric ceramic. Under physiological occlusal pressure, the oral motion‐powered smart dental implant abutments interacted with water and oxygen, promoting the formation of reactive oxygen species and achieving a synergistic and highly ...
Xiyu Shi +15 more
wiley +1 more source
Judicial Control of Public Administration
, 2018 A. The Objectives of Judicial Control; B. The Development of Specialised Judicial Organs for Public Law Disputes; C. The Right to Effective Judicial Protection; D. The Conctretisation of the Right to Judicial Protection by Procedural Law; E.
Socher, Johannes
core
Ethical Precision in Nanoscale Brain Interfacing
Advanced Science, EarlyView.As brain interfaces approach the nanoscale, precision no longer only measures—it knows, predicts, and potentially reshapes the mind. This work argues that traditional ethics fails under such conditions and proposes a shift toward continuous, operation‐based governance using the recovery–discovery framework to track, constrain, and responsibly steer ...
Guilherme Wood
wiley +1 more source