標(biāo)題: Titlebook: Rehabilitating Blind and Visually Impaired People; A psychological appr Allan Dodds Book 1993 Springer Science+Business Media Dordrecht 199 [打印本頁] 作者: 無法修復(fù) 時(shí)間: 2025-3-21 16:59
書目名稱Rehabilitating Blind and Visually Impaired People影響因子(影響力)
書目名稱Rehabilitating Blind and Visually Impaired People影響因子(影響力)學(xué)科排名
書目名稱Rehabilitating Blind and Visually Impaired People網(wǎng)絡(luò)公開度
書目名稱Rehabilitating Blind and Visually Impaired People網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Rehabilitating Blind and Visually Impaired People被引頻次
書目名稱Rehabilitating Blind and Visually Impaired People被引頻次學(xué)科排名
書目名稱Rehabilitating Blind and Visually Impaired People年度引用
書目名稱Rehabilitating Blind and Visually Impaired People年度引用學(xué)科排名
書目名稱Rehabilitating Blind and Visually Impaired People讀者反饋
書目名稱Rehabilitating Blind and Visually Impaired People讀者反饋學(xué)科排名
作者: 凝視 時(shí)間: 2025-3-21 23:16
Allan Dodds we report on our experience in trying to provide abstraction based mechanisms for improving DynAlloy specifications with respect to SAT based analysis. The technique we employ is based on predicate abstraction, but due to the context in which we make use of it, is subject to the following more spec作者: Calibrate 時(shí)間: 2025-3-22 04:15 作者: 比目魚 時(shí)間: 2025-3-22 05:46 作者: 王得到 時(shí)間: 2025-3-22 09:37 作者: NEX 時(shí)間: 2025-3-22 13:37 作者: dilute 時(shí)間: 2025-3-22 20:34
Allan Doddsal configuration is a tedious and error-prone engineering process. In this paper we present an automatic and formally verified initialiser for component-based systems built on the general-purpose microkernel seL4. The construction principles of this tool apply to capability systems in general and th作者: 轉(zhuǎn)向 時(shí)間: 2025-3-22 23:56 作者: 人充滿活力 時(shí)間: 2025-3-23 04:32 作者: Hemiplegia 時(shí)間: 2025-3-23 07:05 作者: Modify 時(shí)間: 2025-3-23 10:10 作者: cauda-equina 時(shí)間: 2025-3-23 14:22 作者: falsehood 時(shí)間: 2025-3-23 21:52 作者: cortex 時(shí)間: 2025-3-24 00:53 作者: 樂器演奏者 時(shí)間: 2025-3-24 02:27 作者: 叢林 時(shí)間: 2025-3-24 09:27
Allan Doddsrly in the development process, when they have much lower impact on cost and schedule. Advances in model checking technology, the adoption of model-based software development processes, and new certification guidance are enabling formal methods to be used by the aerospace industry for verification o作者: Needlework 時(shí)間: 2025-3-24 13:26
Allan Doddsa-actors whose configurations are described using a multi-sorted algebra called CA. The behavior of mangers depends on the context in which they are executing. In this paper, we present an equational theory to reason about context-specific behavioral equivalence of managers independently from actors作者: rectocele 時(shí)間: 2025-3-24 18:21 作者: 夾死提手勢 時(shí)間: 2025-3-24 21:33
Allan Doddse foundations of the aggressive slicing procedure are based on a novel lightweight annotation scheme that captures . between sub-formulas of a proof obligation; the annotations can be inferred automatically in practice, and thus both methods are fully automated.作者: Generator 時(shí)間: 2025-3-25 01:20
Allan Doddssting functional correctness proof of the seL4 microkernel. This tool does not only provide automation, but also unprecedented assurance for reaching a desired system state. In addition to the engineering advantages, this result is a key prerequisite for reasoning about system-wide security and safe作者: Haphazard 時(shí)間: 2025-3-25 03:29 作者: Occlusion 時(shí)間: 2025-3-25 09:48
Allan Doddse provide a simple bounded semantics for ACTL without considering the practical aspect of the semantics, based on converting a Kripke model to a model (called a .-model) in which the transition relation is captured by a set of .-paths (each path with . transitions). This bounded semantics is not pra作者: Harridan 時(shí)間: 2025-3-25 15:07 作者: 知識(shí)分子 時(shí)間: 2025-3-25 19:11 作者: ornithology 時(shí)間: 2025-3-25 22:02
es affected by economic considerations? In particular, if service-level agreements specify payments for serving jobs and penalties for failing to provide a given quality of service, how many servers should be assigned to each type of service and when should jobs of that type be accepted?作者: Entropion 時(shí)間: 2025-3-26 03:43
Allan Doddse submitted papers. We therefore owe special thanks to all members of the Program Committee and to all external referees for the excellent work they did for the978-3-540-35362-1978-3-540-35365-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Agnosia 時(shí)間: 2025-3-26 05:13 作者: 怕失去錢 時(shí)間: 2025-3-26 09:00 作者: ARCH 時(shí)間: 2025-3-26 13:08 作者: ACME 時(shí)間: 2025-3-26 18:39
Perception as information-processing,n arrangement of surfaces, one lying in a horizontal plane, the other two lying at some angle in relation to one another in the vertical plane. In mobility, for example, the task of the traveller is to maintain contact with the horizontal surface while avoiding contact with the vertical ones. Jansso作者: 碌碌之人 時(shí)間: 2025-3-26 21:47 作者: Biofeedback 時(shí)間: 2025-3-27 01:57 作者: 花爭吵 時(shí)間: 2025-3-27 09:17 作者: cancellous-bone 時(shí)間: 2025-3-27 10:35
Anxiety, stress and the learning process,ssion to that offered by the loss model has been examined. Whereas depression is characterized by a low level of arousal, anxiety is regarded by some psychologists as over-arousal, and over-arousal is perceived to be part of the response to psychological stress. Stress can mean different things to d作者: 難解 時(shí)間: 2025-3-27 16:49
Low vision,left. First of all, it is important to establish whether the visual problem lies solely within the eye, or whether it stems from some more central problem within the brain. We have looked in some detail at the effects of brain damage on visual perception, but the majority of clients will simply have作者: Stricture 時(shí)間: 2025-3-27 19:39
The family,t do, and it is within the framework of the family that such views are often shared and acted upon. Although you may perceive yourself to be the person whose primary task it is to help your client regain his independence, if your work is to stand any chance of being effective you will need to recogn作者: Vldl379 時(shí)間: 2025-3-27 21:57
Taking care of yourself,ber of techniques of helping your client along the road to independence. We have considered ways of assessing and evaluating his learning potential; of maintaining his motivation; of boosting his morale; and of helping him deal with the stresses associated with having to learn a wide variety of new 作者: 舉止粗野的人 時(shí)間: 2025-3-28 02:30
Psychological adjustment to sight loss,s experiences of setbacks, and their ways of coping with a crisis (Dodds, 1991a). A good account of the practical challenges in adjusting to sight loss is given by Conyers (1992), and the following presents a theoretical model which is intended to provide a balance to more traditional views.作者: 領(lǐng)先 時(shí)間: 2025-3-28 10:10 作者: cancellous-bone 時(shí)間: 2025-3-28 10:29
The family,orrespond to that of significant others in his family circle. Part of your job may therefore be to try to modify the attitudes of members of the family which might jeopardize the final outcome of your involvement.作者: 否決 時(shí)間: 2025-3-28 15:34
Taking care of yourself,are mastered, and to have made the learning experience a rewarding one. Let us now turn our attention to how we can help ourselves stay calm, reasonably sane and well-motivated in the face of the constant barrage of impossible demands which are made on us, and the frequent absence of tangible rewards which we experience in the course of our work.作者: 修改 時(shí)間: 2025-3-28 20:05
The brain, our brains were specialized into different areas which were responsible for different functions. To some extent they were right, and we now know a considerable amount about how specialized areas in the brain are responsible for processing different kinds of information.作者: Type-1-Diabetes 時(shí)間: 2025-3-29 00:17 作者: Fierce 時(shí)間: 2025-3-29 06:13
Models of rehabilitation, and workers such as Trombly (1983) have outlined a number of main approaches to occupational therapy. Two of those are worth considering in relation to rehabilitation work, because they help us to understand the range of problems and solutions which rehabilitation can encompass.作者: ethnology 時(shí)間: 2025-3-29 07:26
Perception as information-processing,n (1985) has analysed the task of mobility into walking towards, walking along and walking around. To this one needs to add ., and it is the business of safely walking upon surfaces which presents the blind traveller with the greatest challenge.作者: separate 時(shí)間: 2025-3-29 15:13 作者: Addictive 時(shí)間: 2025-3-29 16:07
Anxiety, stress and the learning process,ifferent people, but the most common responses people give when asked what stress means to them are feelings of pressure, either emotional or at work, and of feeling tired, irritable and unable to cope. These answers fall into two categories: first, those relating to the . of stress; second, those relating to the . of stress.作者: committed 時(shí)間: 2025-3-29 21:56
Blindness: implications of the term,n some respite from the irritations of visual impairment. It is when there is little pleasure left in life and nothing other than the repeated experience of frustration that the person is likely to come into contact with one or other of the helping professions, possibly for the first time in their lives.
