Angebote zu "Proof" (24 Treffer)

Kategorien

Shops

A Pianist Under the Influence , Hörbuch, Digita...
9,95 € *
ggf. zzgl. Versand

Most of what I know about myself, I have learned from playing Schumann.” (Jonathan Biss) World-famous pianist Jonathan Biss has had a special relationship with composer Robert Schumann since he was a child. Avoiding traditional biography and dense musical criticism, Biss writes a moving tribute to one of the most vulnerable composers in classical music history in his second Kindle Single: A Pianist Under the Influence. Biss's first Kindle Single, Beethoven's Shadow, has been a best seller on Amazon since its release, in December 2011. A Pianist Under the Influence reflects on Biss' lifelong, intense, multilayered relationship with the composer's music and historical treatment. As Biss writes from the unique position of performer, scholar, and fan, his work is both a personal and professional love letter to the 19th-century composer. An engaging listen for anyone interested in the creative process, it also includes a guide for listeners who wish to delve further into the material. A Pianist Under the Influence is an important aspect of Biss' 2012-2013 focus on Schumann, during which Biss and several hand-picked collaborators will perform Schumann's work; music by his notable influences such as Beethoven, Schubert, and Purcell; and selections from his long list of successors ranging from Berg and Jancek to 26-year-old composer Timothy Andres. At the core of the project is four sets of concerts, curated by Biss, including series at Wigmore Hall, the Concertgebouw, Carnegie Hall, and San Francisco Performances. UNKNOWN N N ©2012 Jonathan Biss;(P)2013 Audible, Inc. http://www.audible.de/pd/B00DDTQ3E2?source_code=PNHFA145032019009G&ipRedirectOverride=true http://www.audible.de/pd/B00DDTQ3E2?source_code=PNHFA145032019009G&ipRedirectOverride=true The Mobile Wave: How Mobile Intelligence Will Change Everything (Unabridged) 21.95 AVAILABLE The Mobile Wave: How Mobile Intelligence Will Change Everything (Unabridged) The Mobile Wave (Unabridged) Michael Saylor The Mobile Wave argues that the changes brought by mobile computing are so big and widespread that it’s impossible for us to see it all, even though we are all immersed in it.... LJ Ganser Audible Studios 2013-05-20 07:00:00 523 B00CTRX7BQ English - Science & Technology English 1.00 9.95 N http://img.audible.de/audiblewords/content/bk/adbl/011704de/lg_image.jpg http://samples.audible.de/bk/adbl/011704/bk_adbl_011704_sample.mp3 In the tradition of international bestsellers, Future Shock and Megatrends, Michael J. Saylor, CEO of MicroStrategy, brings The Mobile Wave, a ground-breaking analysis of the impact of mobile intelligence - the fifth wave of computer technology. The Mobile Wave argues that the changes brought by mobile computing are so big and widespread that it’s impossible for us to see it all, even though we are all immersed in it. Saylor explains that the current generation of mobile smart phones and tablet computers has set the stage to become the universal computing platform for the world. In the hands of billions of people and accessible anywhere and anytime, mobile computers are poised to become an appendage of the human being and an essential tool for modern life. With the perspective of a historian, the precision of a technologist, and the pragmatism of a CEO, Saylor provides a panoramic view of the future mobile world. He describes how: A Harvard education will be available to anyone with the touch of a screen. Cash will become virtual software and crime proof. Cars, homes, fruit, animals, and more will be “tagged” so they can tell you about themselves. Buying an item will be as easy as pointing our mobile device to scan and pay. Land and capital will become more of a liability than an asset. Social mobile media will push all businesses to think and act like software companies. Employment will shift as more service-oriented jobs are automated by mobile software. Products, businesses, industries, economies, and even society will be altered forever as the Mobile wave washes over us and changes the landscape. With so much change, The Mobile Wave is a guidebook for individuals, business leaders, and public figures who must navigate the new terrain as mobile intelligence changes everything. UNKNOWN N N ©2012 Michael Saylor;(P)2013 Audible, Inc. http://www.audible.de/pd/B00CTRX7BQ?source_code=PNHFA145032019009G&ipRedirectOverride=true http://www.audible.de/pd/B00CTRX7BQ?source_code=PNHFA145032019009G&ipRedirectOverride=true Monster of God (Unabridged) 27.95 AVAILABLE Monster of God (Unabridged) Monster of God (Unabridged) David Quammen For millennia, lions, tigers, and their man-eating kin have kept our dark, scary forests dark and scary, and their predatory majesty has been the stuff of folklore.... Brian Holsopple Audible Studios 2013-05-22 07:00:00 995 B00COT633I English - Science & Technology English 2013-05-02 05:00:00 1.00 9.95 N http://img.audible.de/audiblewords/content/bk/adbl/011762de/lg_image.jpg http://samples.audible.de/bk/adbl/011762/bk_adbl_011762_sample.mp3 For millennia, lions, tigers, and their man-eating kin have kept our dark, scary forests dark and scary, and their predatory majesty has been the stuff of folklore. But by the year 2150 big predators may only exist on the other side of glass barriers and chain-link fences. Their gradual disappearance is changing the very nature of our existence. We no longer occupy an intermediate position on the food chain; instead we survey it invulnerably from above - so far above that we are in danger of forgetting that we even belong to an ecosystem. Casting his expert eye over the rapidly diminishing areas of wilderness where predators still reign, the award-winning author of The Song of the Dodo examines the fate of lions in India's Gir forest, of saltwater crocodiles in northern Australia, of brown bears in the mountains of Romania, and of Siberian tigers in the Russian Far East. In the poignant and troublesome ferocity of these embattled creatures, we recognize something primeval deep within us, something in danger of vanishing forever. UNKNOWN N Y ©2003 David Quammen;(P)2013 Audible, Inc. http://www.audible.de/pd/B00COT633I?source_code=PNHFA145032019009G&ipRedirectOverride=true http://www.audible.de/pd/B00COT633I?source_code=PNHFA145032019009G&ipRedirectOverride=true Shoebox Train Wreck (Unabridged) 19.95 AVAILABLE Shoebox Train Wreck (Unabridged) Shoebox Train Wreck (Unabridged) John Mantooth These fifteen genre-bending stories are set against a backdrop of sudden violence and profound regret.... Craig Jessen Audible Studios 2013-05-29 08:00:00 459 B00CHS1BU6 English - Fiction English 2013-04-19 05:00:00 1.00 9.95 N http://img.audible.de/audiblewords/content/bk/adbl/011811de/lg_image.jpg http://samples.audible.de/bk/adbl/011811/bk_adbl_011811_sample.mp3 The living haunt the dead..." These fifteen genre-bending stories are set against a backdrop of sudden violence and profound regret, populated by characters whose circumstances and longings drive them to the point of no return... and sometimes even further. A young girl takes a journey to see what is really hidden within the belly of an ancient water tower. A high school senior learns about defiance on a school bus and witnesses a tragedy that he won't soon forget. Six survivors in an underground bunker discuss the possibility of Armageddon being an elaborate hoax. Two brothers take a walk on the dark side of the wheat field and discover that some bonds are stronger than death. And in the title story, a former train conductor must confront the ghosts of his past while learning that it's not the dead who haunt the living, but the other way around. Traversing the back roads of the south and beyond, these stories probe the boundaries of imagination, taking the listener to the fringes of a society where the world looks different, and once you visit, you won't ever be the same. 1. Language: English. Narrator: Jeff Woodman. Audio sample: http://samples.audible.de/bk/adbl/011672/bk_adbl_011672_sample.mp3. Digital audiobook in aax.

Anbieter: Audible
Stand: 06.07.2020
Zum Angebot
New Finite Automata Applications in Novice Prog...
64,90 € *
ggf. zzgl. Versand

Automatically comprehending novice programs with the aim of giving useful feedback has been an Artificial Intelligence problem for over four decades. Solving this problem basically entails manipulating the underlying program plans, i.e. extracting and comparing the novice's plan to the expert's plan and inferring where the novice's bug is from. The bugs of interest in this domain are often semantic bugs as all syntactic bugs are handled by automatic debuggers - built in most compilers. Hence, a program that debugs like the human expert should understand the problem and know the expected solution(s) in order to detect semantic bugs. This book proposes a new approach to comprehending novice programs using: regular expressions for the recognition of plans in the program text, finite automata for defining the space of program plan variations, and automata-based algorithms for the detection of semantic bugs. The new approach is tested with a repository of novice programs with known semantic bugs and specific bugs were detected. As a proof of concept, the theories presented in this book are further implemented in software prototypes.

Anbieter: Dodax
Stand: 06.07.2020
Zum Angebot
Kripke's Worlds
80,24 € *
ggf. zzgl. Versand

Possible worlds models have been defined by Saul Kripke in the early 60ies. They provide semantics for various modal logics such as temporal logics, logics of knowledge and belief, logics of action, logics of obligation, as well as for description logics. They also give semantics for other nonclassical logics such as intuitionistic logics, conditional logics, and several paraconsistent and relevant logics. These logics have been studied intensively in philosophical and mathematical logic and in computer science, and have been applied increasingly in various domains such as program semantics, artificial intelligence, and more recently in the semantic web. For almost all of these logics there exist semantic tableaux proof systems which for a given formula allow to check whether it has a model. The present book contains a step-by-step introduction to possible worlds semantics and modal and other nonclassical logics. It is accompanied by a piece of software that allows to build models, to check whether a given formula is true in a model, and to check whether a given formula is valid in a given logic. Beyond working with existing tableaux systems, the program also allows to implement tableau systems for new logics by means of a simple interactive graph-based language accessible to readers that are not computer scientists.

Anbieter: Dodax
Stand: 06.07.2020
Zum Angebot
Computer Science - Theory and Applications
93,08 € *
ggf. zzgl. Versand

This book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, held in Moscow, Russia, June 7-12, 2008. The 33 revised papers presented together with 5 invited papers and one opening lecture were carefully reviewed and selected from 103 submissions. All major areas in computer science are addressed. The theory track deals with algorithms, protocols, and data structures, complexity and cryptography, formal languages, automata and their applications to computer science, computational models and concepts, proof theory and applications of logic to computer science. The application part comprises programming and languages, computer architecture and hardware design, symbolic computing and numerical applications, application software, artificial intelligence and robotics.

Anbieter: Dodax
Stand: 06.07.2020
Zum Angebot
Collaborative Computing: Networking, Applicatio...
90,92 € *
ggf. zzgl. Versand

This book constitutes the thoroughly refereed proceedings of the 15th International Conference on Collaborative Computing: Networking, Applications, and Worksharing, CollaborateCom 2019, held in London, UK, in August 2019. The 40 full papers, 8 short papers and 6 workshop presented were carefully reviewed and selected from 121 submissions. The papers reflect the conference sessions as follows: cloud, IoT and edge computing, collaborative IoT services and applications, artificial intelligence, software development, teleportation protocol and entanglement swapping, network based on the neural network, scheme based on blockchain and zero-knowledge proof in vehicle networking, software development.

Anbieter: Dodax
Stand: 06.07.2020
Zum Angebot
Biostar J1900MH2 BGA1170 Micro ATX Motherboard
77,62 € *
ggf. zzgl. Versand

HD Audio Provides high quality sound with minimal loss of audio fidelity. HDMI 3D Visual The HDMI 3D Visual provides a level of interoperability for devices designed to deliver 3D content over the HDMI connection. The latest HDMI Specification adds key enhancements to support the market requirements for bringing broadcast 3D content into the home featuring key enhancements for 3D applications including the addition of mandatory 3D formats for broadcast content. DX11 Direct3D 11 enables Direct3D 10 APIs and Direct3D 11 APIs to use one underlying rendering device. And it allows developers to achieve a high speed, fully conformant software rasterizer. SmartSpeedLAN SmartSpeedLAN is a free software application which monitors and manages your PC's network behavior. With user-friendly GUI, it allows you to select and prioritize different types of network traffic, including gaming, media streaming, communications or web surfing.You can also set any specific applications, choosing to prioritize or block accordingly. SmartSpeedLAN can feature automatic management options that use adaptive networking intelligence to ensure that you are getting the best online experience possible. Charger Booster Charger booster is the best and efficient charger solution for apple devices such as iPad, iPhone. Basically, Charger booster Technology is able to boost the charging time to be more efficiency and faster once any apple goods connecting to our Motherboard. With charger booster technology, you are able to charge your apple devices up to 42 % faster. Moistureproof PCB The popularity of PC usage and working environment is getting deteriorating and moist(rural, coastal, etc.). The PCB will be oxidizing easily by damp or absorbed moisture, and ionic migration or CAF (Conductive Anodic Filament) will be generated. Moisture-proof PCB meets high density and high reliability requirements for moisture proof. Low RdsOn P-Pak MOS Low resistance design can significantly reduce the current out of energy loss.Low temperature, small size, excellent thermal conductivity. ESD Protection ESD (Electrostatic Discharge) is the major factor to destroy PC by electrical overstress(EOS) condition, ESD occurred by PC users when touch any devices connect to PC, which may result in damage to motherboard or parts .ESD protection is designed to protect the motherboard and equipment from damage by EOS USB Polyswitch On board dedicated power fuse to help prevent USB port failure. It prevents USB Port overcurrent and safegurand your system and device lifespan. BIOS Virus Protection When enabled, the BIOS will protect the boot sector and partition table by halting the system and flashing a warning message whether there's an attempt to write to these areas. OC / OV / OH Protection All BIOSTAR special circuit design detects overvoltage conditions and prevents voltage surges from spreading in real time. It also actively cuts off the overvoltage supply to protect your system. Over current protection, avoid motherboard from damage when doing overclock or an unusual current import. Over heat protection, avoid motherboard & CPU from burning when exceeding the temperature limitation. BullGuard Internet Security (90 days FREE trial) BullGuard Internet Security comes with the broadest line-up of internet security features on the market, including: a cutting-edge dual Antivirus engine, Online Backup for your precious files, PC Tune Up to speed up your system, a Game Mode for a seamless gaming experience, Parental Control, Firewall, Safe Browsing and many more. Make the most of your digital life with Bullguard! UEFI BIOS Unified Extensible Firmware Interface (UEFI) is a brand new framework that provides a revolutionary interface. It is a modern clear and easy-to-use graphical user interface. The UEFI comes with a colorful easy-understand icons leads users into the setup layer directly. Header Zone Users can easily assemble their own computer, a simple-swap data discs and other accessories. BIO-Remote 2 BIO-Remote2 Technology is featuring users a better Home Theater environment. Users who own either Android mobile or Apple goods are able to access and control your PC remotely, At this moment, you’re smart device became a intelligent and functional remote controller, more than that, BIO-Remote2 also includes both function of mouse pad and power point presentation mode. Intel Celeron J1900 Quad Core processor The Intel Celeron J1900(2M Cache, up to 2.42 GHz) is a quad-core processor. Although both parts are clocked the same, at 2 GHz, the J1900 also incorporates Burst Technology, that can boost operating frequency up to 2.41 GHz. The maximum GPU frequency was also increased on the J1900 to 854 MHz, while the base GPU speed stayed at 688 MHz. The rest of the specs have not changed.It supports DDR3L-1333 memory and fit into 10 Watt thermal envelope.

Anbieter: Dodax
Stand: 06.07.2020
Zum Angebot
Biostar J1800MH2 Ver. 6.x BGA1170 Micro ATX
65,79 € *
ggf. zzgl. Versand

HD Audio Provides high quality sound with minimal loss of audio fidelity. HDMI 3D Visual The HDMI 3D Visual provides a level of interoperability for devices designed to deliver 3D content over the HDMI connection. The latest HDMI Specification adds key enhancements to support the market requirements for bringing broadcast 3D content into the home featuring key enhancements for 3D applications including the addition of mandatory 3D formats for broadcast content. DX11 Direct3D 11 enables Direct3D 10 APIs and Direct3D 11 APIs to use one underlying rendering device. And it allows developers to achieve a high speed, fully conformant software rasterizer. SmartSpeedLAN SmartSpeedLAN is a free software application which monitors and manages your PC's network behavior. With user-friendly GUI, it allows you to select and prioritize different types of network traffic, including gaming, media streaming, communications or web surfing.You can also set any specific applications, choosing to prioritize or block accordingly. SmartSpeedLAN can feature automatic management options that use adaptive networking intelligence to ensure that you are getting the best online experience possible. Charger Booster Charger booster is the best and efficient charger solution for apple devices such as iPad, iPhone. Basically, Charger booster Technology is able to boost the charging time to be more efficiency and faster once any apple goods connecting to our Motherboard. With charger booster technology, you are able to charge your apple devices up to 42 % faster. USB 3.0 Experience Fastest data transfers at 5 Gbps with USB 3.0--the new latest connectivity standard. Built to connect easily with next-generation components and peripherals, USB 3.0 transfers data 10X faster and backward compatible with previous USB 2.0 components. Moistureproof PCB The popularity of PC usage and working environment is getting deteriorating and moist(rural, coastal, etc.). The PCB will be oxidizing easily by damp or absorbed moisture, and ionic migration or CAF (Conductive Anodic Filament) will be generated. Moisture-proof PCB meets high density and high reliability requirements for moisture proof. Low RdsOn P-Pak MOS Low resistance design can significantly reduce the current out of energy loss.Low temperature, small size, excellent thermal conductivity. ESD Protection ESD (Electrostatic Discharge) is the major factor to destroy PC by electrical overstress(EOS) condition, ESD occurred by PC users when touch any devices connect to PC, which may result in damage to motherboard or parts .ESD protection is designed to protect the motherboard and equipment from damage by EOS USB Polyswitch On board dedicated power fuse to help prevent USB port failure. It prevents USB Port vercurrent and safegurand your system and device lifespan. BIOS Virus Protection When enabled, the BIOS will protect the boot sector and partition table by halting the system and flashing a warning message whether there's an attempt to write to these areas. OC / OV / OH Protection All BIOSTAR special circuit design detects overvoltage conditions and prevents voltage surges from spreading in real time. It also actively cuts off the overvoltage supply to protect your system. Over current protection, avoid motherboard from damage when doing overclock or an unusual current import. Over heat protection, avoid motherboard & CPU from burning when exceeding the temperature limitation. BullGuard Internet Security (90 days FREE trial) BullGuard Internet Security comes with the broadest line-up of internet security features on the market, including: a cutting-edge dual Antivirus engine, Online Backup for your precious files, PC Tune Up to speed up your system, a Game Mode for a seamless gaming experience, Parental Control, Firewall, Safe Browsing and many more. Make the most of your digital life with Bullguard! UEFI BIOS Unified Extensible Firmware Interface (UEFI) is a brand new framework that provides a revolutionary interface. It is a modern clear and easy-to-use graphical user interface. The UEFI comes with a colorful easy-understand icons leads users into the setup layer directly. Header Zone Users can easily assemble their own computer, a simple-swap data discs and other accessories. BIO-Remote 2 BIO-Remote2 Technology is featuring users a better Home Theater environment. Users who own either Android mobile or Apple goods are able to access and control your PC remotely, At this moment, you’re smart device became a intelligent and functional remote controller, more than that, BIO-Remote2 also includes both function of mouse pad and power point presentation mode. Intel Celeron J1800 Dual Core processor The Intel® Celeron J1800(1M Cache, up to 2.58 GHz) is a dual-core processor. Although both parts are clocked the same, at 2.41 GHz, the J1800 also incorporates Burst Technology, that can boost operating frequency up to 2.58 GHz. The maximum GPU frequency was also increased on the J1800 to 792 MHz, while the base GPU speed stayed at 688 MHz. The rest of the specs have not changed.It supports DDR3L-1333 memory and fit into 10 Watt thermal envelope.

Anbieter: Dodax
Stand: 06.07.2020
Zum Angebot
Extensions of Logic Programming
98,90 CHF *
ggf. zzgl. Versand

This book contains papers which investigate how to extend logic programming toward the artificial intelligence and software engineering areas, covering both theoretical and practical aspects. Some papers investigate topics such as abductive reasoning and negation. Some works discuss how to enhance the expressive power of logic programming by introducing constraints, sets, and integration with functional programming. Other papers deal with the structuring of knowledge into modules, taxonomies, and objects, withthe aim of extending logic programming toward software engineering applications. A section is devoted to papers concentrating on proof theory and inspired by Gentzen-style sequent or natural deduction systems. Topics such as concurrency are considered to enhance the expressive power of logic languages. Finally, some papers mainly concernimplementation techniques for some of these logic programming extensions.

Anbieter: Orell Fuessli CH
Stand: 06.07.2020
Zum Angebot
Kripke's World
107,00 CHF *
ggf. zzgl. Versand

Possible worlds models have been defined by Saul Kripke in the early 60ies. They provide semantics for various modal logics such as temporal logics, logics of knowledge and belief, logics of action, logics of obligation, as well as for description logics. They also give semantics for other nonclassical logics such as intuitionistic logics, conditional logics, and several paraconsistent and relevant logics. These logics have been studied intensively in philosophical and mathematical logic and in computer science, and have been applied increasingly in various domains such as program semantics, artificial intelligence, and more recently  in the semantic web. For almost all of these logics there exist semantic tableaux proof systems which for a given formula allow to check whether it has a model. The present book contains a step-by-step introduction to possible worlds semantics and modal and other nonclassical logics. It is accompanied by a piece of software that allows to build models, to check whether a given formula is true in a model, and to check whether a given formula is valid in a given logic. Beyond working with existing tableaux systems, the program also allows to implement tableau systems for new logics by means of a simple interactive graph-based language accessible to readers that are not computer scientists. 

Anbieter: Orell Fuessli CH
Stand: 06.07.2020
Zum Angebot