90 results on '"Magic wand"'
Search Results
2. Lean Management Practices’ Effects on Brazilian Firms: A Quantitative and Qualitative Analysis
- Author
-
Bernardo Pereira Cabral, Glaucia Estefânia de Sousa Ferreira, Mauricio Canêdo-Pinheiro, and Filipe Lage de Sousa
- Subjects
Qualitative analysis ,Kaizen ,Impact evaluation ,Workforce ,Business ,Lean manufacturing ,Productivity ,Magic wand ,Industrial organization ,Term (time) - Abstract
One of the key drivers for a firm's productivity growth is management. One lean management practice considered cost-effective is Kaizen. Originally from Japan, the Kaizen basic concept is continuous improvement with the involvement of the full workforce. Using a firm-level dataset from Brazil's innovation and manufacturing surveys, this paper evaluates quantitatively whether Kaizen has impacted the performance of domestic firms. Our initial results suggest a productivity premium on Kaizen adopters, yet when it materializes is not detectable in the short term. Moreover, the impact on innovation is observable after Kaizen implementation. Understanding these outcomes with a qualitative approach, our analysis highlights the importance of Kaizen on innovation, especially by improving worker's time at the production line as well as the long-term vision of Kaizen on productivity. In summary, Kaizen is not a magic wand that improves firms’ performance in a wide array of indicators yet it may boost innovation outcomes in the short term aiming to improve productivity in the long term if it is implemented carefully and persistently, as established by its basic principles.
- Published
- 2021
- Full Text
- View/download PDF
3. Entitled 'THE MAGIC WAND': A novel treatment option for delayed replantation of an avulsed permanent tooth using injectable platelet-rich fibrin
- Author
-
Nanditha Suresh
- Subjects
Permanent tooth ,business.industry ,medicine.medical_treatment ,Treatment options ,Dentistry ,platelet-rich fibrin ,RK1-715 ,Case Report ,reimplantation ,Magic wand ,Platelet-rich fibrin ,tooth avulsion ,Biomaterials ,stomatognathic diseases ,stomatognathic system ,tooth loss ,Replantation ,Tooth loss ,Periodontics ,Medicine ,Physical handicap ,Tooth Avulsion ,medicine.symptom ,business - Abstract
Tooth loss can have not just a physical handicap but also a psychological bearing on an individual. Avulsion or complete displacement of the tooth from the socket can result due to various factors ranging from road traffic accidents to domestic abuse. Replantation of such avulsed teeth has been a topic of debate owing to the duration of extra oral time, storage medium and long term success. In this case report we discuss the successful replantation of an avulsed permanent tooth with an increased extra oral dry time using Injectable form of Platelet rich fibrin (i- PRF).
- Published
- 2021
4. Aseel’s Operation, Is there a Magic Wand? (Simple Easy and Time Saving Alternative for Distal Penile and Coronal Hypospadii Closure with Less Complications)
- Author
-
Mohamed Ali Ismail
- Subjects
Simple (abstract algebra) ,Computer science ,Coronal plane ,Closure (topology) ,Calculus ,Time saving ,Magic wand - Abstract
Introduction Distal penile and coronal hypospadui constitutes about 70% of the total hypospadui number yet there is no magical wand to solve the problem. Materials and Methods Twenty nine patients were followed up for average of 2 years, (range between 6 months to 5.4 years) age ranged between 1.4 years to 5.2 years. No stent was left, no urethral catheter was left, with minimal tissue dissection and the average operation time was 25 minutes. And patients were discharged on the same day. Results Of the 29 patients, all patients were free at long term follow up with no complications but 3 had different degrees of urethral cover suture loss ranged from 1-2 sutures loss to complete cover loss. No urethral meatal stenosis, no urethral diverticulum and no urethral fistula were found. Discussion Aseel’s operation provides simple easy and time saving alternative for distal penile and coronal hypospadui closure with less complication even in the case of complications and complete cover loss there is no problem ok in redoing it or any other alternative because of the minimal tissue dissection. Conclusion Aseel’s operation is a good alternative for distal penile and coronal hypospadui closure but nothing is complete, yet it is a good alternative for hypospadius repair. Keywords: Hypospadias; Aseel operation; Penile; Coronal.
- Published
- 2021
- Full Text
- View/download PDF
5. Book Review: 'The Deficit Myth: Modern Monetary Theory and the Birth of the People's Economy'
- Author
-
Robert P. Murphy
- Subjects
Modern Monetary Theory ,Printing press ,Government ,law ,Bust ,Keynesian economics ,Economics ,Mythology ,General Economics, Econometrics and Finance ,Boom ,License ,Magic wand ,law.invention - Abstract
Stephanie Kelton’s persuasive and clever new book _The Deficit Myth_ does a very good job explaining Modern Monetary Theory to new readers, but however fun the book, it is utterly wrong. The standard accounting is correct: it actually costs something when the government spends money. Having an unfettered printing press isn't a magic wand and doesn’t give us more options. It merely gives the Fed greater license to cause boom/bust cycles and redistribute wealth to politically connected insiders.
- Published
- 2020
- Full Text
- View/download PDF
6. History and evolution of shoulder arthroscopy
- Author
-
Sanjay S. Desai
- Subjects
030222 orthopedics ,medicine.medical_specialty ,Knee arthroscopy ,Shoulder arthroscopy ,medicine.diagnostic_test ,business.industry ,General surgery ,Arthroscopy ,030229 sport sciences ,Subacromial decompression ,Knee Joint ,Magic wand ,03 medical and health sciences ,0302 clinical medicine ,medicine.anatomical_structure ,medicine ,Rotator cuff ,business ,Clinical evaluation - Abstract
The invention of the incandescent light bulb by Edison in 1879, led to the introduction of the laparo-thoracoscope in 1910. Attempts were made to use this device in the knee joint as well. Development of the arthroscope really took off after the introduction of “cold-light” and rod lens optical system by Hopkins in 1960. Kenji Takagi and later Masaki Watanabe get the credit for developing the modern form of arthroscopy. The spillover of knee arthroscopy into the shoulder was inevitable and began in 1980’s. Shoulder arthroscopy started with instability repair, followed by subacromial decompression. Through the 1980’s and 1990’s, with the development in biotechnology, more sophisticated tools and anchors became available leading to refinement of instability repair procedures. The 2000’s saw improvement in arthroscopic rotator cuff repair techniques including the double- row and trans-osseous equivalent. The last decade has witnessed the development of more complex arthroscopic procedures such as Latarjet and Superior Capsule Reconstruction. However, arthroscopic surgery continues to be equipment intensive and we need to remind ourselves that the arthroscope is no “magic wand” and good clinical evaluation continues to prevail.
- Published
- 2020
- Full Text
- View/download PDF
7. External Examiner’s Report for the 4th Year Medical Examination in Forensic Medicine: Is It A Magician With a Wand?
- Author
-
B Meel
- Subjects
Medical education ,Health, Toxicology and Mutagenesis ,media_common.quotation_subject ,Toxicology ,Magic wand ,Pathology and Forensic Medicine ,Forensic science ,Action (philosophy) ,Honesty ,External Examination ,Oral examination ,Psychology ,Law ,media_common - Abstract
Background: Externalexaminers are generally considered people of integrity, and honesty. The right to pass or fail students is within their discretion. The examination report that they produce must be congruent with their actions. The post examination comment by the external examiner for the 4th year medical examination in Forensic Medicine stating that students were weak in Forensic Medicine was not consistent, however, with the marks he awarded to the students. Objective: To validate the report of external examiner with his action. Method: Every year an external examiner is invited to conduct an examination of 4th year MB. ChB students in Forensic Medicine. There were three specialist examiners who conducted an examination of medical students. The external examiner (Mr. X) has been invited from a pioneer institute for the last three years. Mr. X also made changes, and approved course contents at the beginning of the year. Results: There were 97 students who sat for the examination. Of these, 93 (96%) passed and none of them failed. Only 4% were required to write a supplementary examination. All scripts were marked by all three examiners. One third of the students (31/32%) who received the lowest marks were exposed to the external examiner for an oral examination, together with their scripts. The external examiner made no change of marks in six cases. Of the other 24 students, six students marked were decreased up to 4%, while the remaining 18 students’ marks were increased by up to 20%20%. One student has awarded a distinction (75%) by the external examiner (increased from 55% to 75%). Conclusion: The comment of an external examiner was, however, not congruent with his actions. Therefore, the external examiner is a magician, but without a magic wand.
- Published
- 2022
- Full Text
- View/download PDF
8. Using the justice system as a ‘magic wand:’ lessons from victims of domestic violence in Buenos Aires (Argentina)
- Author
-
Julieta Marotta, Maastricht Graduate School of Governance, RS: FSE Studio Europa Maastricht, RS: FdR Institute M-EPLI, and RS: GSBE MGSoG
- Subjects
Sociology and Political Science ,media_common.quotation_subject ,Criminology ,Magic wand ,victims of domestic violence ,Legal research ,justice system ,Political science ,Conflict resolution ,legal empowerment ,Domestic violence ,Justice (ethics) ,conflict resolution ,Empowerment ,Law ,Access to justice ,media_common - Abstract
This study offers a contribution to the literature on access to justice and legal empowerment. It presents findings from qualitative empirical legal research and explores how obtaining access to justice contributes to conflict resolution. Fifty-four in-depth interviews were conducted with victims of domestic violence who had obtained access to the Public Prosecutor’s Office of the City of Buenos Aires (Argentina) with a domestic violence complaint. The study found that these victims benefitted from obtaining access to justice even when this did not directly achieve resolution of their conflict. The benefits were related to the actions taken by legal organisations contributing to their own perceptions of being agents capable of making decisions.
- Published
- 2021
9. THE MAGIC ITEM PRESENTED BY FAIRIES IN ENGLISH FAIRY TALES
- Author
-
N. Djumayeva and N. Djumayeva
- Abstract
The involvement of magic objects in fairy tales plays an important role in determining the nature of fairy tales. The article discusses the image of magic wand in English folk tales and its specific features.
- Published
- 2021
10. A Complete Axiomatisation for Quantifier-Free Separation Logic
- Author
-
Stéphane Demri, Etienne Lozes, Alessio Mansutti, Laboratoire Spécification et Vérification (LSV), Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), and COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)
- Subjects
FOS: Computer and information sciences ,Computer Science - Logic in Computer Science ,General Computer Science ,Computer science ,Semantics (computer science) ,separation logic ,core formula ,Separation logic ,bunched implications logic BI ,Theoretical Computer Science ,axiomatisation ,reduction axiom ,Computer Science::Logic in Computer Science ,Hilbert-style system ,separating conjunction ,[INFO]Computer Science [cs] ,Rule of inference ,Axiom ,[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] ,16. Peace & justice ,Propositional calculus ,Logic in Computer Science (cs.LO) ,Algebra ,Feature (linguistics) ,TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES ,Quantifier (logic) ,quantifier elimination ,TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS ,Core (graph theory) ,magic wand - Abstract
International audience; We present the first complete axiomatisation for quantifier-free separation logic. The logic is equipped with the standard concrete heaplet semantics and the proof system has no external feature such as nominals/labels. It is not possible to rely completely on proof systems for Boolean BI as the concrete semantics needs to be taken into account. Therefore, we present the first internal Hilbert-style axiomatisation for quantifier-free separation logic. The calculus is divided in three parts: the axiomatisation of core formulae where Boolean combinations of core formulae capture the expressivity of the whole logic, axioms and inference rules to simulate a bottom-up elimination of separating connectives, and finally structural axioms and inference rules from propositional calculus and Boolean BI with the magic wand.
- Published
- 2021
- Full Text
- View/download PDF
11. Beyond the magic wand: methodological developments and results from integrated Lidar survey at the ancient Maya Center El Pilar
- Author
-
Anabel Ford and Sherman Horn
- Subjects
maya ,Archeology ,Settlement (structural) ,tropical landscapes ,Archaeology ,Field methods ,Magic wand ,remote sensing ,Geography ,Lidar ,Remote sensing (archaeology) ,field methods ,lcsh:Archaeology ,Maya ,survey ,Center (algebra and category theory) ,lcsh:CC1-960 ,Ancient maya ,lidar - Abstract
Large-scale Lidar surveys have revitalized interest in regional settlement studies in the Maya Lowlands. Remotely identified features in Lidar imagery must be verified on the ground, with results of ground-truthing studies forming the basis of reliable, comparative databases for understanding ancient Maya land use and modification. The El Pilar Project integrates data generated by established survey methods with Lidar imagery to construct more complete pictures of settlement distribution, landscape modification, and human-environment interactions. This paper describes the results of Lidar-guided survey at El Pilar along with the protocol our project developed to systematize data collection and increase the efficiency of survey. The methods we describe have proven effective for investigating Maya settlement patterns at the site scale and locating features difficult to discern in Lidar imagery.
- Published
- 2019
- Full Text
- View/download PDF
12. Introducing Fiji and ICY image processing techniques in ichnological research as a tool for sedimentary basin analysis
- Author
-
Olmo Miguez-Salas, Francisco J. Rodríguez-Tovar, and Javier Dorador
- Subjects
010504 meteorology & atmospheric sciences ,Pixel ,Earth science ,Geology ,Image processing ,Imaging techniques ,Trace fossil ,Ichnology ,010502 geochemistry & geophysics ,Oceanography ,01 natural sciences ,Magic wand ,Geochemistry and Petrology ,Sedimentary basin analysis ,14. Life underwater ,Bioturbation ,Visibility ,0105 earth and related environmental sciences - Abstract
In recent years, image treatment has been appraised as a very powerful tool to facilitate ichnological analysis, especially in marine cores of modern sediments, supporting the determination of certain ichnological features. However, it is still a new approach and detailed research is necessary to encounter a faster and more efficient method. The present study focuses on two image processing techniques, Fiji and ICY, and their comparison with a refined version of the well-established high-resolution image treatment. Strengths and weaknesses of the methodologies for the determination of three main features were explored: i) visibility of trace fossils; ii) quantification of the percentage of bioturbated surface, and iii) penetration depth estimation. Refined high-resolution image treatment gives the best results for enhanced visibility of trace fossils, whereas Fiji is found to be a sound and rapid option. One disadvantage shared by Fiji and ICY is the binary character of the produced images, which may impede later ichnotaxonomical differentiation. Both Fiji and ICY (+ Fiji) are rapid alternatives for quantifying the bulk amount of bioturbated surface. The Magic Wand Method (+ RefineEdge), based on high-resolution image treatment, provides good results regardless of the contrast of the images, and it additionally allows for a more detailed quantification. The semi-automatic character of ICY favors quick estimation of penetration depth and facilitates differentiation between distinct tracemaker communities, based on a rapid quantification of pixel values. Thus, Fiji and ICY methods offer good results and are much less time-consuming than high-resolution image treatment. They are proposed as faster alternatives for the estimation of ichnological features, especially useful at the beginning stages of research, when a large number of samples must be analyzed.
- Published
- 2019
- Full Text
- View/download PDF
13. Was Euro the magic wand for economic growth? An analysis of the real benefits of Euro adoption for the New Member States
- Author
-
Ana-Maria Holobiuc and Bogdan Mihai
- Subjects
050208 finance ,HF5001-6182 ,slovakia ,Member states ,05 social sciences ,General Medicine ,International economics ,real convergence ,Magic wand ,0502 economics and business ,new member states ,Economics ,Business ,050207 economics ,european union ,czech republic - Abstract
At the beginning of the 21st century, the European single currency has been considered a guarantor of prosperity and welfare for the countries that were able to meet the nominal convergence criteria. Starting with Slovenia, a number of five Center and Eastern European Countries joined the Economic and Monetary Union, aiming to achieve the economic prosperity of the Western countries. The concept of economic convergence has been popularized through the economic growth literature during the last century and has become more and more debated with the deepening and expansion of the European Union. The main purpose of this paper has been to evaluate whether there is any hard evidence attesting that Euro adoption accelerated the economic development and created a significant advantage for the New Member States that opted for the single currency, as compared with their peer countries. In this respect, we have studied a panel of New Member States that joined the European Union in 2004 and 2007, comprising both Euro and Non-Euro countries, and we concluded that the single currency do not necessarily guarantee higher growth rates. Moreover, we revealed that the Euro New Member States were more affected by the economic and financial crisis than their Non-Euro peers. We have also shown that there are significant discrepancies between the early adopters of the Euro and the countries that joined the Eurozone after 2004 in terms of convergence and that the differences between the two groups have expanded in the last years. Last and not the least, in order to test our hypotheses, we have compared two sister-countries: Slovakia that joined the Eurozone in 2009 and Czech Republic that has not taken until now the decision to adopt the Euro. In this respect, our results suggest that both countries had good economic performances, and for some periods Czech Republic outperformed Slovakia, mainly in terms of GDP per capita and Foreign Direct Investment. Therefore, we concluded that the single currency has not significantly enhanced the economic performances in the case of the New Member States.
- Published
- 2019
14. THE CHARACTERISTICS OF ALBUS DUMBLEDORE IN HARRY POTTER AND DEATHLY HOLLOW BY JK. ROWLING
- Author
-
Thomas Joni Verawanto Aristo and Sijono Sijono
- Subjects
Literature ,Value theory ,Categorization ,business.industry ,Narrative style ,media_common.quotation_subject ,Non-fiction ,Harry potter ,Character (symbol) ,Art ,business ,Magic wand ,media_common - Abstract
Novel is a part of literature, a fictional piece of prose usually written in narrative style. In non-fiction novel, there are also character. The one main character is usually the non fiction maker ( author ) itself. Talked about character, there must be characteristic. The analyst tries to analysis the characteristic of Albus Dumbledore of Harry Potter and Deathly Hollow by J.K Rowling. The analyst wants to share information about the moral value of Albus Dumbledore, his dark side, his abilities, his support as a protector and helper for Harry Potter and his friends. The pupose of this study was about to describe the characteristic of Albus Dumbledore. The method of this reserach was qualitative approach with coding, decoding, categorization and confirmation. The problem of the research was used objective approach. Data collection technique was used library study and literary study. The result of this research was Albus Dumbledore is wise, gentle, kind, misterious in way, knowlegable, caring and understanding. The conclusion of this research was the character of Albus Dumbledore is not just a story but we can adapt it in our life, without magic wand, everyone can be as same as Albus Dumbledore characteristic, if there is a willing.Keyword : Character, Characteristic, Novel
- Published
- 2019
- Full Text
- View/download PDF
15. Ultrasound: The Magic Wand for Wound Healers
- Author
-
Raj Mani, Nikolaos Papanas, and Kittipan Rerkasem
- Subjects
medicine.medical_specialty ,Wound Healing ,business.industry ,Ultrasonic Therapy ,Ultrasound ,Leg Ulcer ,General Medicine ,Magic wand ,Musculoskeletal Pain ,medicine ,Humans ,Surgery ,Medical physics ,business ,Procedures and Techniques Utilization ,Ultrasonography - Published
- 2020
16. Orientation
- Author
-
S. Ayse Kadayifci-Orellana, Pauline Kollontai, and Christine Schliesser
- Subjects
Orientation (mental) ,Law ,Political science ,Field (Bourdieu) ,Conflict resolution ,Peacemaking ,Magic wand - Abstract
When violent interreligious conflict erupted in Kaduna, Nigeria, in 1992, Imam Muhammad Ashafa and Pastor James Wuye were drawn into the fighting, trying to kill each other in the name of religion. After the violence had stopped, the two religious leaders reluctantly agreed to meet. This chapter provides an orientation on some of the specific characteristics and contributions—both formal and material—associated with religious actors in conflict resolution. While religious actors have no magic wand to solve conflicts and while their role must not be overstated, it is clear that they bring significant resources to the field that no one genuinely interested in conflict resolution can afford to ignore. The impact of religious peacemaking and conflict resolution is also more and more being taken into consideration at the international policy-making level. While keeping the plurality of religious actors in mind, we can still point to certain characteristics and contributions common to many of these actors.
- Published
- 2020
- Full Text
- View/download PDF
17. Innovations: not the magic wand for COVID-19
- Author
-
Prashant Jha
- Subjects
Magnifying glass ,Coronavirus disease 2019 (COVID-19) ,business.industry ,media_common.quotation_subject ,Face (sociological concept) ,Front line ,General Medicine ,Public relations ,Magic wand ,law.invention ,law ,Political science ,Gratitude ,Humanity ,business ,Personal protective equipment ,media_common - Abstract
We are in the middle of the COVID-19 pandemic and our healthcare systems have never looked so vulnerable and fragile. Humanity has put a brave face, and healthcare providers are our new warriors. From clapping for carers to lighting a diya (lights made of clay) or showering flowers on hospitals, we have given the token of appreciation to our front-line workers. But this sense of gratitude has been marred by the disturbing reports of lack of personal protective equipment at the front line. COVID-19 has just put a magnifying glass at the fault-lines within our health supplies and delivery systems, and our misplaced priorities. Innovation often optimises costs by reducing redundancies. The most glaring pitfall of this approach was the mad rush for ventilators in early 2020. ABCDs (Ambu bag compression …
- Published
- 2020
- Full Text
- View/download PDF
18. Waving the Magic Wand: An Argument for Reorganizing the Aridlands around Watersheds
- Author
-
Danika Cooper
- Subjects
Argument ,Philosophy ,Magic wand ,Epistemology - Published
- 2020
- Full Text
- View/download PDF
19. THE IMPACT OF ORGANIZATIONAL CULTURE ON FIRM PERFORMANCE: ORGANIZATIONAL CULTURE AS A MAGIC WAND OR SILENT KILLER?
- Author
-
Nebojša Janićijević
- Subjects
Resource dependence theory ,Research methodology ,Field (Bourdieu) ,Core competency ,Organizational culture ,Business ,Competitive advantage ,Magic wand ,Industrial organization ,Intellectual capital - Abstract
The paper analyses the impact of organizational culture on company performances. The theoretical basis that organizational culture impacts company performance has been found in the fact that company?s organizational culture as part of its intellectual capital determines its ability to build core competence and thereby gain competitive advantage on the market. The review of research made in the field so far shows that this impact exists, but it is lower in intensity than it has intuitively been presumed. Also, since organizational culture and performance are in themselves highly complex, multidimensional variables, hence their relation is also multilayered, multidimensional, and complex. Numerous methodological shortcomings in the research of organizational culture, performance and their relationship, however, put doubt on some of the research results.
- Published
- 2020
- Full Text
- View/download PDF
20. Is Technology a Magic Wand? When Tablets’ affordances meet Teaching Practices: Insights on Didactic Design
- Author
-
Hussein Bougsiaa and Lucyna Kopciewicz
- Subjects
060201 languages & linguistics ,Human–computer interaction ,0602 languages and literature ,05 social sciences ,050301 education ,06 humanities and the arts ,Sociology ,Affordance ,0503 education ,Magic wand ,Education - Published
- 2018
- Full Text
- View/download PDF
21. GDPR is here and it is time to get serious
- Author
-
Gary Miglicco
- Subjects
Government ,General Computer Science ,05 social sciences ,02 engineering and technology ,Public administration ,Magic wand ,Effective date ,020204 information systems ,General Data Protection Regulation ,0502 economics and business ,Agency (sociology) ,0202 electrical engineering, electronic engineering, information engineering ,media_common.cataloged_instance ,050211 marketing ,Business ,Privacy law ,European union ,Law ,media_common - Abstract
It is here. May 25 of this year marked the effective date of the most comprehensive privacy regulations on the planet. But most organisations in the US and Canada are probably not compliant with the European Union's sweeping new General Data Protection Regulation (GDPR) that has now taken effect. The General Data Protection Regulation (GDPR) is here and these tough new rules affect any company, government agency or other organisation that does business in Europe or handles the personal data of EU citizens or residents. There's no magic wand an organisation can wave to suddenly become compliant. And there's a surprising lack of awareness or concern about these regulations in the US. Gary Miglicco of PCM explains how GDPR means a dramatic change in how US companies manage their customers’ private data, and that it is only the start of a worldwide swing towards greater protection of consumers’ information.
- Published
- 2018
- Full Text
- View/download PDF
22. My Magic Wand
- Author
-
Moira Szilagyi
- Subjects
Physician-Patient Relations ,Refugees ,Communication ,Computer graphics (images) ,Pediatrics, Perinatology and Child Health ,Child, Foster ,Humans ,Magic ,Psychology ,Pediatrics ,Magic wand - Published
- 2020
- Full Text
- View/download PDF
23. Magic wand and the Enigma of the Sphinx
- Author
-
Abacı, Tolga, de Bondeli, Rachel, Cíger, Ján, Clavien, Mireille, Erol, Fatih, Gutiérrez, Mario, Noverraz, Stéphanie, Renault, Olivier, Vexo, Frédéric, and Thalmann, Daniel
- Subjects
- *
COMPUTER simulation , *HUMAN voice , *VIRTUAL reality , *COMPUTER interfaces - Abstract
This paper presents an evaluation of the benefits and user acceptance of a multimodal interface in which the user interacts with a game-like interactive virtual reality application “The Enigma of the Sphinx”. The interface consists of a large projection screen as the main display, a “magic wand”, a stereo sound system and the user''s voice for “casting spells”. We present our conclusions concerning “friendliness” and sense of presence, based on observations of more than 150 users in a public event. [Copyright &y& Elsevier]
- Published
- 2004
- Full Text
- View/download PDF
24. The Power of Modal Separation Logics
- Author
-
Raul Fervari, Stéphane Demri, Centre National de la Recherche Scientifique (CNRS), Laboratoire Spécification et Vérification [Cachan] (LSV), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS), Facultad de Matemática, Astronomía y Física [Cordoba] (FaMAF), Universidad Nacional de Córdoba [Argentina], and National University of Cordoba Cordoba
- Subjects
Logic ,Computer science ,Acoustics ,separation logic ,Separation (aeronautics) ,interval temporal logic ,model-checking ,0102 computer and information sciences ,01 natural sciences ,Theoretical Computer Science ,expressive power ,Arts and Humanities (miscellaneous) ,[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] ,separating conjunction ,[INFO]Computer Science [cs] ,0101 mathematics ,tower-completeness ,modal logic ,010102 general mathematics ,[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] ,relation-changing logic ,Power (physics) ,Modal ,TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES ,010201 computation theory & mathematics ,Hardware and Architecture ,complexity ,magic wand ,Software - Abstract
We introduce a modal separation logic MSL whose models are memory states from separation logic and the logical connectives include modal operators as well as separating conjunction and implication from separation logic. With such a combination of operators, some fragments of MSL can be seen as genuine modal logics whereas some others capture standard separation logics, leading to an original language to speak about memory states. We analyse the decidability status and the computational complexity of several fragments of MSL, obtaining surprising results by design of proof methods that take into account the modal and separation features of MSL. For example, the satisfiability problem for the fragment of MSL with $\Diamond $, the difference modality $\langle \neq \rangle $ and separating conjunction $\ast $ is shown Tower-complete whereas the restriction either to $\Diamond $ and $\ast $ or to $\langle \neq \rangle $ and $\ast $ is only NP-complete. We establish that the full logic MSL admits an undecidable satisfiability problem. Furthermore, we investigate variants of MSL with alternative semantics and we build bridges with interval temporal logics and with logics equipped with sabotage operators.
- Published
- 2019
- Full Text
- View/download PDF
25. Dynamic Amodal Completion Through the Magic Wand Illusion
- Author
-
Tyler, Christopher W
- Subjects
media_common.quotation_subject ,lcsh:BF1-990 ,Illusion ,BF ,Experimental and Cognitive Psychology ,Special Issue: Amodal Completion ,050105 experimental psychology ,Magic wand ,03 medical and health sciences ,0302 clinical medicine ,Artificial Intelligence ,motion ,Computer graphics (images) ,illusions ,0501 psychology and cognitive sciences ,perceptual organization ,media_common ,05 social sciences ,Amodal perception ,Art ,Object (philosophy) ,Sensory Systems ,Ophthalmology ,lcsh:Psychology ,contours/surfaces ,RE ,amodal completion ,030217 neurology & neurosurgery - Abstract
In the Magic Wand effect, an overlying figure of the same color as its background is revealed by the motion of a wand behind it. The occluding figure is inferred by integration of the occluding edge information over time. The overlying figure is perceived by modal completion, while the wand and the background underneath are perceived by amodal completion. This illusion is compared with its predecessor from nearly two centuries ago, the Plateau Anorthoscopic Illusion, in which an object is recognizable when moved behind a slit.
- Published
- 2019
26. Digital health and patient safety: Technology is not a magic wand
- Author
-
Mark Sujan, Kathrin Cresswell, and Philip Scott
- Subjects
Technology ,020205 medical informatics ,business.industry ,Health information technology ,Computer science ,Internet privacy ,Health Informatics ,02 engineering and technology ,Digital health ,Magic wand ,03 medical and health sciences ,Patient benefit ,Patient safety ,0302 clinical medicine ,0202 electrical engineering, electronic engineering, information engineering ,Humans ,030212 general & internal medicine ,Patient Safety ,business ,Medical Informatics - Abstract
The use of novel health information technology provides avenues for potentially significant patient benefit. However, it is also timely to take a step back and to consider whether the use of these technologies is safe – or more precisely what the current evidence for their safety is, and what kinds of evidence we should be looking for in order to create a convincing argument for patient safety. This special issue on patient safety includes eight papers that demonstrate an increasing focus on qualitative approaches and a growing recognition that the sociotechnical lens of examining health information technology–associated change is important. We encourage a balanced approach to technology adoption that embraces innovation, but nonetheless insists upon suitable concerns for safety and evaluation of outcomes.
- Published
- 2019
- Full Text
- View/download PDF
27. Book Review: Asutosh Mukhopadhyay: Mathematical Genius with the Magic Wand by Satyabachi Sar
- Author
-
U. C. De
- Subjects
media_common.quotation_subject ,Art history ,Art ,Genius ,Magic wand ,media_common - Published
- 2019
- Full Text
- View/download PDF
28. Complete Percutaneous Management of Lutembacher Syndrome with Severe Pulmonary Hypertension in a Middle Aged Indian Female: Is this the Magic Wand?
- Author
-
KK Sethi, SK Datta, M Fotedar, and S Singh
- Subjects
medicine.medical_specialty ,Percutaneous ,business.industry ,Rheumatic mitral stenosis ,Lutembacher Syndrome ,medicine.disease ,Pulmonary hypertension ,Magic wand ,Surgery ,Stenosis ,cardiovascular system ,Artificial valve ,Physical therapy ,Medicine ,cardiovascular diseases ,business ,Ostium secundum atrial septal defect - Abstract
Lutembacher syndrome is a combination of ostium secundum atrial septal defect with acquired rheumatic mitral stenosis. This is a case of middle aged woman who had lutembacher syndrome with severe pulmonary hypertension with class IV symptoms. She had very severe mitral stenosis with valve area of 0.7 cm2 and ostium secundum atrial septal defect of 14 mm size. The management of lutembacher syndrome was only surgical till 1990s. Total percutaneous management has been described in late 1990s. Percutaneous management is relatively cheaper option and saves the patient from artificial valve and related complications. However, only a small number of cases of total percutaneous management of this condition are available in world literature.
- Published
- 2016
- Full Text
- View/download PDF
29. A Magic Wand
- Author
-
Carly Maga
- Subjects
060104 history ,Magic (illusion) ,Visual Arts and Performing Arts ,Law ,0601 history and archaeology ,Performance art ,06 humanities and the arts ,Sociology ,Public administration ,Arts administration ,The arts ,Magic wand - Abstract
Do we need magic to fix Canada’s arts funding system? While providing crucial financial support for Canadian artists and organizations, the existing structure of federal, provincial, and municipal funding bodies and philanthropic foundations are still leaving gaps in the dissemination of money and the creation of projects. What would a funding system look like in a perfect world? Eight Canadian theatre makers, producers, and thinkers provide their funding magic tricks.
- Published
- 2016
- Full Text
- View/download PDF
30. Исследование методов сегментации для оптимизации процесса цветокоррекции иллюстраций в детских изданиях
- Subjects
Computer graphics (images) ,media_common.quotation_subject ,Adobe photoshop ,Art ,Magic wand ,media_common - Published
- 2017
- Full Text
- View/download PDF
31. Дослідження методів сегментації для оптимізації процесу кольорокорекції ілюстрацій у дитячих виданнях
- Subjects
методи інтерактивної сегментації ,lcsh:T58.5-58.64 ,зображення ,lcsh:Information technology ,корекція кольору ,Adobe Photoshop ,порівняльна таблиця ,сегментація ,Magic Wand - Abstract
Стаття присвячена дослідженню сучасних методів сегментації при підготовці зображення до корекції в дитячих виданнях. Проведено огляд методів сегментації зображень. Проаналізовано можливості різних технологій, їх особливості. На основі порівняння витрат часу на сегментацію зображення для двадцяти зразків представленими методами, був обраний метод Magic Wand.
- Published
- 2017
32. No magic wand
- Author
-
Bibiana Campos-Seijo
- Subjects
Vaccine research ,Coronavirus disease 2019 (COVID-19) ,Computer Networks and Communications ,Hardware and Architecture ,General Chemical Engineering ,media_common.quotation_subject ,Library science ,Art ,Software ,Magic wand ,media_common - Abstract
Three COVID-19 vaccine research and development groups— BioNTech and Pfizer , Moderna, and AstraZeneca and the University of Oxford—have now provided preliminary data confirming that the vaccines t...
- Published
- 2020
- Full Text
- View/download PDF
33. NIRS: So near yet so far (From the brain)
- Author
-
Suman S Kandachar and Anbarasu Annamalai
- Subjects
lcsh:Diseases of the circulatory (Cardiovascular) system ,medicine.medical_specialty ,near infrared spectroscopy ,vancomycin ,Case Report ,030204 cardiovascular system & hematology ,Magic wand ,lcsh:RD78.3-87.3 ,Brain ischemia ,03 medical and health sciences ,0302 clinical medicine ,Vascularity ,030202 anesthesiology ,Internal medicine ,anaphylaxis ,oximetry ,medicine ,scalp/blood supply ,hemoglobins ,Cerebral oximetry ,Red Man Syndrome ,Cerebral hypoperfusion ,business.industry ,kounis syndrome ,General Medicine ,brain injury ,medicine.disease ,Anesthesiology and Pain Medicine ,medicine.anatomical_structure ,lcsh:Anesthesiology ,lcsh:RC666-701 ,Scalp ,Cardiology ,Anaphylactoid reactions ,medicine.symptom ,Cardiology and Cardiovascular Medicine ,business - Abstract
Cerebral oximetry is touted as a magic wand to detect cerebral hypoperfusion. Inability to completely exclude extracranial oxygen however is a limitation. Variation in scalp vascularity can magnify the limitations of relatively short emitter–detector distances. The combination of brain ischemia and cutaneous hyperemia, as is the situation during anaphylaxis and anaphylactoid reactions, can be associated with a paradoxical increase in cerebral oximetry values. This could compromise the quality and accuracy of care delivered. We report the association of red man syndrome with exaggerated cerebral oximetry values.
- Published
- 2020
- Full Text
- View/download PDF
34. X-Ray Diffraction – The Magic Wand
- Author
-
Iqra Zubair Awan
- Subjects
Optics ,Materials science ,business.industry ,X-ray crystallography ,General Chemistry ,business ,Magic wand - Abstract
This review paper covers one of the most important discoveries of the last century, viz. X-ray diffraction. It has made enormous contribution to chemistry, physics, engineering, materials science, crystallography and above all medical sciences. The review covers the history of X-rays detection and production, its uses/ applications. The scientific and medical community will forever be indebted to Rand#246;ntgen for this invaluable discovery and to those who perfected its application.
- Published
- 2020
- Full Text
- View/download PDF
35. The Effects of Adding Reachability Predicates in Quantifier-Free Separation Logic
- Author
-
Stéphane Demri, Etienne Lozes, Alessio Mansutti, Centre National de la Recherche Scientifique (CNRS), Laboratoire Spécification et Vérification [Cachan] (LSV), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), and COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)
- Subjects
FOS: Computer and information sciences ,Computer Science - Logic in Computer Science ,Theoretical computer science ,General Computer Science ,Logic ,Computer science ,separation logic ,02 engineering and technology ,Separation logic ,01 natural sciences ,fragment ,PSPACE ,Theoretical Computer Science ,010309 optics ,Fragment (logic) ,Reachability ,0103 physical sciences ,Quantifier elimination ,0202 electrical engineering, electronic engineering, information engineering ,separating conjunction ,small model property ,[INFO]Computer Science [cs] ,[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] ,020207 software engineering ,Extension (predicate logic) ,Undecidable problem ,Logic in Computer Science (cs.LO) ,test formula ,Computational Mathematics ,Quantifier (logic) ,TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES ,undecidability ,magic wand ,complexity ,symbolic fragment ,list segment predicate - Abstract
International audience; The list segment predicate ls used in separation logic for verifying programs with pointers is well-suited to express properties on singly-linked lists. We study the effects of adding ls to the full quantifier-free separation logic with the separating conjunction and implication, which is motivated by the recent design of new fragments in which all these ingredients are used indifferently and verification tools start to handle the magic wand connective. This is a very natural extension that has not been studied so far. We show that the restriction without the separating implication can be solved in polynomial space by using an appropriate abstraction for memory states whereas the full extension is shown undecidable by reduction from first-order separation logic. Many variants of the logic and fragments are also investigated from the computational point of view when ls is added, providing numerous results about adding reachability predicates to quantifier-free separation logic.
- Published
- 2018
- Full Text
- View/download PDF
36. The Magic Wand: A Case Study of Chronic Neck Pain
- Author
-
Sandra L Winkler
- Subjects
Cultural Studies ,medicine.medical_specialty ,Neck pain ,Massage ,Social Psychology ,business.industry ,Magic wand ,Education ,Chronic neck pain ,Laser therapy ,Acupuncture ,Physical therapy ,medicine ,medicine.symptom ,business ,Phenomenology (particle physics) - Abstract
Medications used to manage chronic pain have documented side effects including drug dependency, drug interaction, and adverse systemic reactions. This case study used Interpretative Phenomenological Analysis to understand how one individual experienced chronic neck pain including pharmaceutical and non-pharmaceutical interventions. Convenience sampling identified Ms. P, an individual with a 10-year history of chronic pain. The research questions were: “How does one individual with chronic neck pain describe their experience living with neck pain?” and “How does one individual with chronic neck pain manage their pain?” Three super-ordinate themes emerged: pain pervades everything, finding relief, and recovery. Findings suggest that living with chronic pain is framed by both the experience of severe pain and the search for a cure. Fear, panic, and despair accompany ongoing pain. Initially, the participant’s physician prescribed medications including narcotics, which are described as a slippery slope. In desperation, the participant sought alternative treatments.
- Published
- 2018
- Full Text
- View/download PDF
37. Особливості дизайну дитячих книжок з елементами «pop-up»
- Subjects
Engineering drawing ,Computer science ,дизайн книг ,media_common.quotation_subject ,системний аналіз книг ,дизайн-форма ,Bachelor ,ілюстрування ,books’ systems analysis ,The arts ,игровые элементы ,Magic wand ,елементи «pop-up» ,76.655 ,системный анализ книг ,ігрові елементи ,Mechanical strength ,дизайн книжок ,иллюстрирование ,playing elements ,media_common ,элементы «pop-up» ,elements of ‘pop-up’ ,Book design ,design-form ,Visualization ,llustration ,Graphic arts ,book design - Abstract
Children’s pop-up books are considered to be the synthesis of arts, communications and functional properties. The deep analysis of design-form use has been conducted and their classification has been worked out. The diagrams of component elements frequency use in pop-up books have been built and it has been established that maximal visual effect is acquired by dint of the most widely used constructions of the ‘rising stage’, ‘box’, ‘V-shape fold’ and ‘sliding plane’. A system analysis has been used for the children’s pop-up book model design. It has also been acquired that visual organization of form facilities subsystem, which is included in its composition comes most difficult and multi-element. The subsystem represents clear system of visualization, aimed at modeling book’s design form, technology of production and sets requirements to properties of materials. All this allows to define the circle of the factors related to projecting of children’s pop-up books, and has an important methodological and practical value. It has been established, that paper properties is the most important factor, influencing the quality and reliability of the pop-up book’s form design. Therefore mechanical properties of the selected samples of paper were investigated for the choice of paper, that can provide reliability of form design construction. Tests’ data is presented as pentacle of properties. It has also been determined, that pressed film paper is most capable of providing mechanical strength and necessary deformation properties for pop-up book design form engineering. The results obtained were ascertained within the framework of term, bachelor and master’s degree papers at the department of graphic arts in designing of different types of books construction: G. Rodari ‘The Magic Wand’, H. C. Andersen ‘Thumbelina’, Ukrainian folk-tale ‘Koza-Dereza’. Their design reflects the modern tendencies of form-making of children’s pop-up books and provides functional and composition unity of book construction, that assists to increase aesthetic qualities of childrens’ books.
- Published
- 2018
- Full Text
- View/download PDF
38. The Effects of Adding Reachability Predicates in Propositional Separation Logic
- Author
-
Stéphane Demri, Etienne Lozes, Alessio Mansutti, Laboratoire Spécification et Vérification [Cachan] (LSV), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Laboratoire Spécification et Vérification (LSV), Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), and COMUE Université Côte d'Azur (2015 - 2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015 - 2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)
- Subjects
Reduction (recursion theory) ,Computer science ,separation logic ,0102 computer and information sciences ,02 engineering and technology ,Separation logic ,01 natural sciences ,expressive power ,first-order separation logic ,Reachability ,0202 electrical engineering, electronic engineering, information engineering ,separating conjunction ,[INFO]Computer Science [cs] ,small model property ,PSPACE ,Abstraction (linguistics) ,Discrete mathematics ,memory state ,[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] ,Extension (predicate logic) ,Predicate (grammar) ,Undecidable problem ,test formula ,TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES ,test formulae ,010201 computation theory & mathematics ,undecidability ,020201 artificial intelligence & image processing ,complexity ,magic wand ,list segment predicate - Abstract
The list segment predicate \(\mathtt {ls}\) used in separation logic for verifying programs with pointers is well-suited to express properties on singly-linked lists. We study the effects of adding \(\mathtt {ls}\) to the full propositional separation logic with the separating conjunction and implication, which is motivated by the recent design of new fragments in which all these ingredients are used indifferently and verification tools start to handle the magic wand connective. This is a very natural extension that has not been studied so far. We show that the restriction without the separating implication can be solved in polynomial space by using an appropriate abstraction for memory states whereas the full extension is shown undecidable by reduction from first-order separation logic. Many variants of the logic and fragments are also investigated from the computational point of view when \(\mathtt {ls}\) is added, providing numerous results about adding reachability predicates to propositional separation logic.
- Published
- 2018
39. Peripheral Perfusion Index – Magic Wand in Prediction of Shock?
- Author
-
Javed Ismail and Jhuma Sankar
- Subjects
medicine.medical_specialty ,Index (economics) ,business.industry ,Perfusion index ,Shock ,Magic wand ,Perfusion Index ,Peripheral perfusion ,Internal medicine ,Shock (circulatory) ,Pediatrics, Perinatology and Child Health ,Cardiology ,Humans ,Medicine ,medicine.symptom ,business - Published
- 2019
- Full Text
- View/download PDF
40. Witnessing the elimination of magic wands
- Author
-
Marieke Huisman and Stefan Blom
- Subjects
Loop invariant ,Iterator ,Theoretical computer science ,Mechanical verification ,Computer science ,Separation Logic ,EWI-26512 ,METIS-315064 ,0102 computer and information sciences ,02 engineering and technology ,Separation logic ,Permission ,computer.software_genre ,01 natural sciences ,GeneralLiterature_MISCELLANEOUS ,program verificationseparation logicmagic wand ,0202 electrical engineering, electronic engineering, information engineering ,IR-98397 ,Program Verification ,Programming language ,Formal methods ,Magic (programming) ,020207 software engineering ,Linked list ,Data structure ,Specification techniques ,TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES ,010201 computation theory & mathematics ,TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS ,VerifyThis 2012 ,magic wand ,computer ,Correctness proofs ,Software ,Information Systems - Abstract
This paper discusses static verification of programs that have been specified using separation logic with magic wands. Magic wands are used to specify incomplete resources in separation logic, i.e., if missing resources are provided, a magic wand allows one to exchange these for the completed resources. One of the applications of the magic wand operator is to describe loop invariants for algorithms that traverse a data structure, such as the imperative version of the tree delete problem (Challenge 3 from the VerifyThis@FM2012 Program Verification Competition), which is the motivating example for our work. Most separation logic-based static verification tools do not provide support for magic wands, possibly because validity of formulas containing the magic wand is, by itself, undecidable. To avoid this problem, in our approach the program annotator has to provide a witness for the magic wand, thus circumventing undecidability due to the use of magic wands. A witness is an object that encodes both instructions for the permission exchange that is specified by the magic wand and the extra resources needed during that exchange. We show how this witness information is used to encode a specification with magic wands as a specification without magic wands. Concretely, this approach is used in the VerCors tool set: annotated Java programs are encoded as Chalice programs. Chalice then further translates the program to BoogiePL, where appropriate proof obligations are generated. Besides our encoding of magic wands, we also discuss the encoding of other aspects of annotated Java programs into Chalice, and in particular, the encoding of abstract predicates with permission parameters. We illustrate our approach on the tree delete algorithm, and on the verification of an iterator of a linked list.
- Published
- 2015
- Full Text
- View/download PDF
41. On the Verges of Overconfidence
- Author
-
Ulrike Malmendier and Timothy Taylor
- Subjects
Macroeconomics ,Economics and Econometrics ,Mechanical Engineering ,media_common.quotation_subject ,Energy Engineering and Power Technology ,Popular culture ,Management Science and Operations Research ,Adam smith ,Magic wand ,Optimism ,Capital (economics) ,Economics ,Positive economics ,Overconfidence effect ,media_common - Abstract
Economists have been concerned about issues of overconfidence at least since Adam Smith (1776, Book I, Chapter X), who wrote in The Wealth of Nations: “The over-weening conceit which the greater part of men have of their own abilities, is an ancient evil remarked by the philosophers and moralists of all ages.” Titans of modern economics have had similar reactions to the “ancient evil.” Daniel Kahneman recently told an interviewer that if he had a magic wand that could eliminate one human bias, he would do away with overconfidence. As Shariatmadari (2015) reports: “Not even he [Kahneman] believes that the various flaws that bedevil decision-making can be successfully corrected. The most damaging of these is overconfidence: the kind of optimism that leads governments to believe that wars are quickly winnable and capital projects will come in on budget despite statistics predicting exactly the opposite.” Kahneman argues that overconfidence “is built so deeply into the structure of the mind that you couldn’t change it without changing many other things.” Evidence concerning the prevalence of overconfidence is widespread and robust. Some of the results have even become fairly well-known in popular culture, like the findings that most drivers believe they are safer than a typical driver, or that
- Published
- 2015
- Full Text
- View/download PDF
42. Proof Tactics for Assertions in Separation Logic
- Author
-
Alwen Tiu, David Sanán, Zhe Hou, and Yang Liu
- Subjects
Theoretical computer science ,Sequent calculus ,HOL ,020207 software engineering ,Heap (mathematics) ,0102 computer and information sciences ,02 engineering and technology ,Separation logic ,01 natural sciences ,Magic wand ,Conjunction (grammar) ,Algebra ,TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES ,010201 computation theory & mathematics ,TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS ,0202 electrical engineering, electronic engineering, information engineering ,Embedding ,Bunched logic ,Mathematics - Abstract
This paper presents tactics for reasoning about the assertions of separation logic. We formalise our proof methods in Isabelle/HOL based on Klein et al.’s separation algebra library. Our methods can also be used in other separation logic frameworks that are instances of the separation algebra of Calcagno et al. The first method, \( separata \), is based on an embedding of a labelled sequent calculus for abstract separation logic (ASL) by Hou et al. The second method, \( starforce \), is a refinement of separata with specialised proof search strategies to deal with separating conjunction and magic wand. We also extend our tactics to handle pointers in the heap model, giving a third method \( sepointer \). Our tactics can automatically prove many complex formulae. Finally, we give two case studies on the application of our tactics.
- Published
- 2017
- Full Text
- View/download PDF
43. IL-15 receptor alpha as the magic wand to boost the success of IL-15 antitumor therapies : the upswing of IL-15transpresentation
- Author
-
Viggo Van Tendeloo, Johan M.J. Van den Bergh, Eva Lion, and Evelien Ljm Smits
- Subjects
0301 basic medicine ,Alpha (ethology) ,Antineoplastic Agents ,CD8-Positive T-Lymphocytes ,Biology ,Magic wand ,03 medical and health sciences ,Interleukin-15 Receptor alpha Subunit ,In vivo ,Neoplasms ,Animals ,Humans ,Pharmacology (medical) ,Receptor ,Interleukin-15 ,Pharmacology ,Immune effector ,Pharmacology. Therapy ,Interleukin ,Killer Cells, Natural ,030104 developmental biology ,Interleukin 15 ,Hematologic Neoplasms ,Immunology ,Human medicine ,CD8 - Abstract
Interleukin (IL)-15 as a stand-alone therapy can activate the antitumor functions of immune effector cells resulting in significant tumor regression. Interestingly, combining IL-15 with the a-moiety of its receptor (IL-15R alpha), also called IL-15 transpresentation, increases the in vivo half-life of IL-15 and enhances binding of IL-15 with cells expressing the IL-15R beta gamma, such as NK cells and CDS T cells. These features enlarge the signal transmission of IL-15, resulting in improved proliferation and antitumor activities of both NK cells and CD8(+) T cells, eventually leading to enhanced killing of tumor cells. In this review, we discuss the antitumor strategies in which this IL-15 transpresentation mechanism is implemented, that are currently under preclinical investigation. Furthermore, we give an overview of the studies in which the IL-15/IL-15R alpha complexes are combined with other antitumor therapies. The promising results in these preclinical studies have incited several clinical trials to test the safety and efficacy of IL-15 transpresentation strategies to treat both hematological and advanced solid tumors. (C) 2016 Elsevier Inc. All rights reserved.
- Published
- 2017
44. Can a magic wand plausibly be used in serious psychological research? The complications of researching the ideal age at which to be a parent through the eyes of the child
- Author
-
Hana Konečná, Boris Burcin, Tomáš Kučera, Jiřina Kocourková, and Karolína Davidová
- Subjects
Sociology and Political Science ,Psychological research ,media_common.quotation_subject ,Legislation ,Fertility ,Ideal (ethics) ,Magic wand ,Philosophy ,Contemporary society ,Young adult ,Projective test ,Psychology ,Law ,Social psychology ,media_common - Abstract
There is a growing trend in European countries for childbearing to occur later in women’s lives. The recent increase in the use of ART, together with the long-term trend towards later childbearing, raises questions as to the acceptable age of childbearing in contemporary society. ART legislation varies considerably across Europe and age limits for access to fertility treatment are rarely defined. The legislation takes into account the preferences of potential parents; children’s preferences, however, are not ascertained. The article discusses a research method used in a survey of older children and young adults. The objective of the survey was to answer the following questions: What age would children prefer their parents to be if they could choose? What are their reasons? Respondents were asked the following question: “How old would you like your mother and father to be when you are 20 (version for respondents younger than 16) or 25 (version for those older than 16) if you could wave a magic wand?” Furthermore, their reasons for wishing a change were identified through an open question, “Why would you like to change the age of your parents?”
- Published
- 2014
- Full Text
- View/download PDF
45. ICT enabled Technologies issues in implementation (especially in perspective of Uttrakhand Rural Areas)
- Author
-
Abhay Saxena
- Subjects
Economic growth ,Government ,Grass root ,Semi urban ,Information and Communications Technology ,media_common.quotation_subject ,Perspective (graphical) ,Business ,Prosperity ,Rural area ,GeneralLiterature_MISCELLANEOUS ,Magic wand ,media_common - Abstract
Information Communication & Technology makes the entire world a Global Village. The high speed connectivity, communication and technology are turn out to be a magic wand for the human progress and prosperity. But it looks so that this progress is confined with the virtual villages like metros and cities. The semi urban and villages looks far behind from the actuality i.e. implementation of ICT. This Paper is not a critic on the Government efforts. It is merely a survey report to put a thought on the efforts inadequacy, unable to reach up to grass root level. The current study will provide a microscopic view of the ground reality of villages especially in Hardwar district and show reasons why implementation of ICT is not effective over there. The probable solution of implementation of ICT is also worked out in the end.
- Published
- 2013
- Full Text
- View/download PDF
46. Development of an Outline Detection Tool (ODT) in QGIS environment for risk mitigation applications
- Author
-
Michele Vece, Sara Casciati, Lucia Faravelli, and Fabio Casciati
- Subjects
Engineering ,Pixel ,business.industry ,Event (computing) ,Software tool ,media_common.quotation_subject ,0211 other engineering and technologies ,020207 software engineering ,02 engineering and technology ,Computer security ,computer.software_genre ,Magic wand ,Open source ,Development (topology) ,0202 electrical engineering, electronic engineering, information engineering ,Systems engineering ,business ,Function (engineering) ,computer ,Risk management ,021101 geological & geomatics engineering ,media_common - Abstract
Vision techniques are presently developed, within a GIS environment, to detect any type of structural and infrastructure damage caused by natural catastrophic events. The aim of this paper is to report on the implementation of a software tool which is able to identify the border of any system that could be damaged by a negative event. The potential of an open source tool named “Magic Wand” is investigated in order to create an innovative procedure which allows to quickly select buildings and artefacts in disaster areas. The pixels of satellite images are the input that the tool requires. Some examples are presented in order to provide the main features of the proposed function.
- Published
- 2016
- Full Text
- View/download PDF
47. No magic wand for teaching physics
- Author
-
Gilles Maurin, Damir Buskulic, and Richard Taillet
- Subjects
Computer graphics (images) ,Magic wand - Published
- 2016
- Full Text
- View/download PDF
48. MACD - Analysis of weaknesses of the most powerful technical analysis tool
- Author
-
Sanel Halilbegovic
- Subjects
Stock trading ,lcsh:Management. Industrial management ,Moving average convergence divergence (MACD) ,Technical Analysis ,Signal and Profit relation ,Stock Market Trading ,Profitability ,Convergence divergence ,Investment (macroeconomics) ,Magic wand ,03 medical and health sciences ,0302 clinical medicine ,Commerce ,Moving average ,lcsh:HD28-70 ,030220 oncology & carcinogenesis ,Technical analysis ,Economics ,030212 general & internal medicine ,Industrial organization ,MACD - Abstract
Due to the huge popularization of the stock trading amongst youth, in the recent years more and more of trading and brokerage houses are trying to find a one ‘easy to understand’ tool for the novice traders. Moving average convergence divergence seems to be the main pick and unfortunately inexperienced traders are relying on this one tool for analysis and trading of various securities. In this paper, I will investigate the validity of MACD as the ‘magic wand’ when solely used in investment trading decision making. The main limitation of this study is that it could be used more widely across industries and various sizes of companies, funds, and other trading instruments.
- Published
- 2016
49. Brenda Beckman-Long, Carol Shields and the Writer-Critic
- Author
-
Armelle Parey
- Subjects
media_common.quotation_subject ,Geography, Planning and Development ,General Earth and Planetary Sciences ,Art history ,Shields ,Art ,Liminality ,Magic wand ,Water Science and Technology ,media_common - Abstract
Even though Carol Shields’s work has received considerable attention, very few monographs have been devoted to her: Adriana Trozzi’s was the first one (Carol Shields’ Magic Wand: Turning the Ordinary into the Extraordinary, 2001) and the second and most recent one so far was Alex Ramon’s enlightening Liminal Spaces: The Double Art of Carol Shields (2008). Contrary to these, Brenda Beckman-Long’s Carol Shields and the Writer-Critic does not examine Shields’s work exhaustively as she leaves asi...
- Published
- 2017
- Full Text
- View/download PDF
50. BioBibliometry Statistics on life sciences publications
- Author
-
Ivan Sterligov
- Subjects
History ,Humanity ,Molecular Medicine ,Art history ,Molecular Biology ,Biochemistry ,History of science ,Magic wand ,Biotechnology - Abstract
Bibliometry is changing how science is organized . The count and examination of published works and references in research journals seem to be a magic wand that enables us to embrace the boundless, allowing us to capture in figures, talent, success and place, both in the history of science and of humanity.
- Published
- 2011
- Full Text
- View/download PDF
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.