Results 51 to 60 of about 965,260 (357)
In order to effectively fulfil state tasks in the field of activities of criminal justice authorities, a legislative definition of a reasonable correlation between public and private principles is required both in criminal procedure legislation and in ...
AZAROV Vladimir Alexandrovich
doaj +1 more source
jsCoq: Towards Hybrid Theorem Proving Interfaces [PDF]
We describe jsCcoq, a new platform and user environment for the Coq interactive proof assistant. The jsCoq system targets the HTML5–ECMAScript 2015 specification, and it is typically run inside a standards-compliant browser, without the need of external ...
Emilio Jesús Gallego Arias +2 more
doaj +1 more source
THE STANDARDS OF PROOF AND THE SEARCH FOR MORE OBJECTIVITY IN THE DECISION ABOUT THE FACTS
The article aims to untangle the concept of standard of proof, properly inserting it in the context of decision-making, presenting its main functions and identifying its ability to make the decision on the facts in the decision process more objective.
Ravi Peixoto
doaj +1 more source
Old Wine in New Skins? Revisiting the Software Architecture for IP Network Stacks on Constrained IoT Devices [PDF]
In this paper, we argue that existing concepts for the design and implementation of network stacks for constrained devices do not comply with the requirements of current and upcoming Internet of Things (IoT) use cases.
Baccelli, Emmanuel +4 more
core +4 more sources
We have established a humanized orthotopic patient‐derived xenograft (Hu‐oPDX) mouse model of high‐grade serous ovarian cancer (HGSOC) that recapitulates human tumor–immune interactions. Using combined anti‐PD‐L1/anti‐CD73 immunotherapy, we demonstrate the model's improved biological relevance and enhanced translational value for preclinical ...
Luka Tandaric +10 more
wiley +1 more source
Neuroscience and the Civil/Criminal \u3ci\u3eDaubert\u3c/i\u3e Divide [PDF]
This Article speculates on the course of neuroscience-as-proof with an eye toward the actual admissibility standards that will govern the acceptance of such evidence by courts, not just as a matter of formal law but also as a function of historical ...
Murphy, Erin
core +1 more source
Hippo pathway at the crossroads of stemness and therapeutic resistance in breast cancer
Dysregulation of the Hippo pathway drives nuclear accumulation of YAP/TAZ, activating stemness‐related transcriptional programs that sustain breast cancer stemness and fuel therapeutic resistance across subtypes, underscoring Hippo signaling as a targetable vulnerability. Figure created and edited with BioRender.com.
Giulia Schiavoni +11 more
wiley +1 more source
Plausibility, Facts and Economics in Antitrust Law [PDF]
According to EU competition law, the existence of an anticompetitive agreement can be inferred from a number of coincidences and indicia only in the absence of another plausible explanation of the facts at stake. According to U.S.
Mariateresa Maggiolino
doaj
Objective. To identify the various types of evidence, as well as their relative importance in European health claims regulation, in order to analyze the consequences for consumer protection of the requirements for scientific substantiation in this ...
Oliver Todt, José Luis Luján
doaj +1 more source
RoboMic is an automated confocal microscopy pipeline for high‐throughput functional imaging in living cells. Demonstrated with fluorescence recovery after photobleaching (FRAP), it integrates AI‐driven nuclear segmentation, ROI selection, bleaching, and analysis.
Selçuk Yavuz +6 more
wiley +1 more source

