Andr - PDFSEARCH.IO - Document Search Engine

Andr
Results: 535

#	Item
371	ORIGINAL INVESTIGATION Adherence to Black Box Warnings for Prescription Medications in Outpatients Karen E. Lasser, MD, MPH; Diane L. Seger, RPh; D. Tony Yu, MD, MPH; Andrew S. Karson, MD, MPH; Julie M. Fiskio, BS; Andr Add to Reading List Source URL: archinte.jamanetwork.com Language: English Piperazines Pharmacy Clinical pharmacology Organofluorides Boxed warning Clozapine Norfloxacin Leflunomide Food and Drug Administration Chemistry Pharmaceutical sciences Pharmacology
372	Advanced Traceability for ATL Andr´es Yie1,2? , Dennis Wagelaar2?? 1 2 Add to Reading List Source URL: soft.vub.ac.be Language: English - Date: 2011-05-04 06:56:35 Computing ATLAS Transformation Language Model-driven architecture Tracing Transformation language Model transformation Unified Modeling Language Systems engineering Software
373	Andr´ e Platzer Last updated: December 21, 2014 Contact Information Add to Reading List Source URL: www.symbolaris.com Language: English - Date: 2014-12-22 12:12:58 Formal methods Logic in computer science Automated theorem proving Differential equations Formal verification Model checking Lecture Notes in Computer Science Actor model KeY Theoretical computer science Applied mathematics Mathematics
374	Characterizing Algebraic Invariants by Differential Radical Invariants? Khalil Ghorbal and Andr´e Platzer Carnegie Mellon University, Pittsburgh, PA, 15213, USA {kghorbal\|aplatzer}@cs.cmu.edu Add to Reading List Source URL: www.symbolaris.com Language: English - Date: 2014-08-04 10:09:24 Algebraic geometry Field theory Invariant theory Polynomial Homogeneous polynomial Algebraic function Invariant Field Real algebraic geometry Abstract algebra Mathematics Algebra
375	Volume II The Theory of Quasi-Categories and its Applications Andr´e Joyal Add to Reading List Source URL: mat.uab.cat Language: English - Date: 2012-08-08 00:31:51 Category theory Mathematics Algebraic topology Quasi-category Model category Higher category theory Simplicial set Fibrant object Nerve Abstract algebra Topology Homotopy theory
376	Differential Dynamic Logic for Verifying Parametric Hybrid Systems Andr´e Platzer1,2 1 University 2 Carnegie Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:08:58 Proof theory Differential equations Logic in computer science Control theory Hybrid system Sequent Mathematical logic Dynamic logic Mathematics Science Logic
377	A Proposal for a Parallel Watershed Transform Algorithm for Real-Time Segmentation Andr´e K¨orbes1 , Giovani B. Vitor2 , Janito V. Ferreira2 , Roberto de Alencar Lotufo1 2 1 Universidade Estadual de Campinas Add to Reading List Source URL: www.lbd.dcc.ufmg.br Language: English - Date: 2012-09-23 22:49:23 Graphics hardware Electronics Video cards Nvidia Video game hardware CUDA Parallel computing Watershed Graphics processing unit GPGPU Computer hardware Computing
378	European Train Control System: A Case Study in Formal Verification Andr´e Platzer1 1 Carnegie 2 University Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:21 Applied mathematics Differential equations European Rail Traffic Management System European Train Control System Mathematics Structure Formal verification Hybrid system Verification Systems theory Train protection systems Formal methods
379	Differential Dynamic Logics Automated Theorem Proving for Hybrid Systems Andr´e Platzer Department of Computing Science Carl-von-Ossietzky University of Oldenburg, Germany Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:09:30 Automated theorem proving Mathematics Systems theory Abstraction Dynamical systems Differential equations Hybrid system
380	European Train Control System: A Case Study in Formal Verification Andr´e Platzer1 1 Carnegie 2 University Add to Reading List Source URL: www.symbolaris.com Language: English - Date: 2014-08-04 10:07:21 Applied mathematics Differential equations European Rail Traffic Management System European Train Control System Mathematics Structure Formal verification Hybrid system Verification Systems theory Train protection systems Formal methods

UPDATE