The Experts below are selected from a list of 1968 Experts worldwide ranked by ideXlab platform
Philippe Gaucher - One of the best experts on this subject based on the ideXlab platform.
-
Left properness of flows
2019Co-Authors: Philippe GaucherAbstract:Using Reedy techniques, this paper gives a correct Proof of the left properness of the q-model structure of flows. It fixes the Preceding Proof which relies on an incorrect argument. The last section is devoted to fix some arguments published in past papers coming from this incorrect argument. These Reedy techniques also enable us to study the interactions between the path space functor of flows with various notions of cofibrations. The Proofs of this paper are written to work with many convenient categories of topological spaces like the ones of k-spaces and of weakly Hausdorff k-spaces and their locally presentable analogues, the Δ-generated spaces and the Δ-Hausdorff Δ-generated spaces.
-
Left properness of flows
arXiv: Category Theory, 2019Co-Authors: Philippe GaucherAbstract:Using Reedy techniques, this paper gives a correct Proof of the left properness of the q-model structure of flows. It fixes the Preceding Proof which relies on an incorrect argument. The last section is devoted to fix some arguments published in past papers coming from this incorrect argument. These Reedy techniques also enable us to study the interactions between the path space functor of flows with various notions of cofibrations. The Proofs of this paper are written to work with many convenient categories of topological spaces like the ones of $k$-spaces and of weakly Hausdorff $k$-spaces and their locally presentable analogues, the $\Delta$-generated spaces and the $\Delta$-Hausdorff $\Delta$-generated spaces.
Gaucher Philippe - One of the best experts on this subject based on the ideXlab platform.
-
Left properness of flows
2020Co-Authors: Gaucher PhilippeAbstract:Using Reedy techniques, this paper gives a correct Proof of the left properness of the q-model structure of flows. It fixes the Preceding Proof which relies on an incorrect argument. The last section is devoted to fix some arguments published in past papers coming from this incorrect argument. These Reedy techniques also enable us to study the interactions between the path space functor of flows with various notions of cofibrations. The Proofs of this paper are written to work with many convenient categories of topological spaces like the ones of $k$-spaces and of weakly Hausdorff $k$-spaces and their locally presentable analogues, the $\Delta$-generated spaces and the $\Delta$-Hausdorff $\Delta$-generated spaces.Comment: 44 pages; 5 figures, this replacement is a new version with improved Proofs and new results; since the Proof of the left properness of multipointed d-spaces is still incomplete, only the case of flows is treated her
Heinz Hübner - One of the best experts on this subject based on the ideXlab platform.
-
Lifetime prediction of ceramic components after Proof testing
International Journal of Materials & Product Technology, 2014Co-Authors: Heinz HübnerAbstract:Failure times and fracture stresses of an electrical porcelain were measured on samples which survived a Preceding Proof test. The data were compared with predictions made by combining the model of time–dependent strength of ceramics with Proof–testing theory. The close coincidence showed that the Proof–testing procedure employed was able to eliminate the weak samples without affecting the strength of the survivors. All measured data of failure time and fracture stress of Proof–tested samples exceeded the minimum values predicted by the model. It was concluded that Proof testing is a suitable means to provide a lower limit of the material's performance, even under service conditions where subcritical growth of the strength–controlling flaws occurs.
Jason Wells - One of the best experts on this subject based on the ideXlab platform.
-
Australian Computer, Network & Information Forensics Conference - Graphical authentication : an architectural design specification
2004Co-Authors: Justin D. Pierce, Matthew Warren, David Mackay, Jason WellsAbstract:Graphical authentication is proposed as an alternative to password, smartcard, and biometric authentication as it uses the innate ability of humans to recognise visual stimuli. Despite passionate debate surrounding their privacy and invasiveness issues, smartcards and biometrics require an excessive amount of extra hardware for widespread deployment. Conversely graphical authentication extends existing infrastructure as it builds largely on the foundations of passwords with one important difference: it takes humans into account as they are better at recognising visual stimuli than recalling text-based passwords. This paper follows a Preceding Proof of concept paper and essentially outlines the architectural and technical design for a graphical authentication solution.
Justin D. Pierce - One of the best experts on this subject based on the ideXlab platform.
-
Australian Computer, Network & Information Forensics Conference - Graphical authentication : an architectural design specification
2004Co-Authors: Justin D. Pierce, Matthew Warren, David Mackay, Jason WellsAbstract:Graphical authentication is proposed as an alternative to password, smartcard, and biometric authentication as it uses the innate ability of humans to recognise visual stimuli. Despite passionate debate surrounding their privacy and invasiveness issues, smartcards and biometrics require an excessive amount of extra hardware for widespread deployment. Conversely graphical authentication extends existing infrastructure as it builds largely on the foundations of passwords with one important difference: it takes humans into account as they are better at recognising visual stimuli than recalling text-based passwords. This paper follows a Preceding Proof of concept paper and essentially outlines the architectural and technical design for a graphical authentication solution.