Filters
The NS judgment on the status of witnesses and their eligibility to be witness of the will.
Analysis of the NS judgment, which examines the status witnesses of the will. Author deals with current NS jurisprudence, which incorrectly establishes assumptions for witnesses of the last will....
Law
- 2018 •
- Jost
Rok uplatnění
Jost - Ostatní články v recenzovaných periodicích
The Child Witness Pack
Information and advice for parents and carers - Your child is a witness, an activity book for child witness - Let´s get ready for court, a book for young witness - Tell me more about court......
AG - Právní vědy
- 2003 •
- B
Rok uplatnění
B - Odborná kniha
Child witness testimony
The chapter deals with knowledge on the issue of questioning child witnesses, techniques of their questioning and the credibility of child witnesses....
Psychology (including human - machine relations)
- 2020 •
- C
Rok uplatnění
C - Kapitola v odborné knize
The Chief Witness - yes or no?
The Chief Witness - yes or no?...
AG - Právní vědy
- 2003 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Symbiotic-Witch: A Klee-Based Violation Witness Checker
Symbiotic-Witch is a new tool for checking violation witnesses in the GraphML the witness automaton can be in. Moreover, it reads the return values of nondeterministic functions specified in the witness and uses them to pru...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2022 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
The Chief Witness - yes or no? (Completion)
The Chief Witness - yes or no? (Completion)...
AG - Právní vědy
- 2003 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
§ 55 Witness statement evidence
Anyone who is not a participant and perceived the proven fact with their own senses can be a witness. Eligibility to witness is not linked to procedural capacity....
Law
- 2020 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation
The new version of the witness validator Symbiotic-Witch follows more precisely the (fixed version of the) semantics of verification witnesses. This makes the tool more efficient as it can benefit from sink nodes. Further, the tool ...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Non-termination Witnesses and Their Validation
but also a witness w. The witness w (also called certificate) can now be used to check that y is indeed the correct output for input x. Witnesses and their validation also support verification witnesses. SV-COMP 2...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2025 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Previous witness testimony as an exclusive or decisive evidence of guilty
The paper deals with the admissibility of witness testimony in the preliminary proceedings which is read in court without defence had the opportunity to hear the witness herself....
AG - Právní vědy
- 2015 •
- C
Rok uplatnění
C - Kapitola v odborné knize
- 1 - 10 out of 3 390