top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Integrated methods for optimization [electronic resource] / John N. Hooker
Integrated methods for optimization [electronic resource] / John N. Hooker
Creatore [Hooker, John, 1949-]
Edizione [2nd ed.]
Estensione 1 online resource (xviii, 640 pages).
Disciplina 519.6
Genere/Forma Electronic books
Soggetto non controllato Computer science
Electronic data processing
Mathematical optimization
Economics/Management Science
Operations Research/Decision Theory
Optimization
Computing Methodologies
Mathematics of Computing
Mathematical Modeling and Industrial Mathematics
Business/Management Science, general
ISBN 9781461419006
146141900X
9781461418993
1461418992
9781441942586
1441942580
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- Examples -- Optimization basics -- Duality -- Search -- Inference -- Relaxation -- Dictionary of constraints.
Record Nr. NYU-004372504
[Hooker, John, 1949-]  
Materiale a stampa
Lo trovi qui: New York University
Global design and local materialization : 15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedings / Jianlong Zhang, Chengyu Sun (eds.).
Global design and local materialization : 15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedings / Jianlong Zhang, Chengyu Sun (eds.).
Creatore [International Conference on Computer Aided Architectural Design Futures (15th : 2013 : Shanghai, China)]
Estensione 1 online resource (xiv, 378 pages) : illustrations.
Disciplina 720.285
Accesso persona Zhang, Jianlong, editor
Sun, Chengyu, editor
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Multimedia systems
Artificial intelligence
Computer graphics
Computer aided design
ISBN 9783642389740
3642389740
9783642389733
3642389732
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Digital Aids to Design Creativity, Concepts, and Strategies. Tools as Design Instruments: Computers and Cognition? / Raid Hanna -- Impact of Using Rule Algorithms on Designers' Behavior in a Parametric Design Environment: Preliminary Result from a Pilot Study / Rongrong Yu, John Gero, Ning Gu -- An Analysis of Backbone of Outer Spatial Morphology of Campus / Wu Yun, Miyamoto Funito -- Understanding Cognitive Activities in Parametric Design / Ju Hyun Lee, Ning Gu, Michael J. Ostwald, Julie Jupp -- Toward a Computational Approach of Creativity Assessment in Product Design / Xiaofang Yuan, Ji-hyun Lee -- A New Extended Perspective System for Architectural Drawings / José Vitor Correia, Luís Romão, Susana Rosado Ganhão, Manuel Couceiro da Costa -- Real-Time Assessment for Architectural CAD/CAM: Knowledge-Based-Methodology Approach / Vasco Portugal -- Generative Column and Beam Layout for Reinforced Concrete Structures in China / Christiane M. Herr, Thomas Fischer -- Research Engine: A Tool to Simulate and Study Spatial-Structural Design Processes / Juan Manuel Dávila Delgado, Hèrm Hofmeyer.
Digital Fabrication and Local Materialization. Industrial Robots for Design Education: Robots as Open Interfaces beyond Fabrication / Sigrid Brell- Çokcan, Johannes Braumann -- An Automated Robotic Manufacturing Process: For the Thermoplastic Panel Building Technology / Stylianos Dritsas, Mark Goulthorpe -- Modular Digital Tectonics: Algorithmic Optimization of a Glass Component Wall for a Customized Fabrication Method / Philip F. Yuan, Eleni Sotiriou, Mei Zhang -- Low-Tech Digital Fabrication: Traditional Brick as Material in Digital Practice / Philip F. Yuan, Mei Zhang, Li Han -- Fabricate It, Paint It -- And Don't Wait up: Separating Fact from Fiction in Digitally Sponsored Fabrication / Dermott McMeel, Robert Amor -- "Seeing" with the Hands: Teaching Architecture for the Visually-Impaired with Digitally-Fabricated Scale Models / Gabriela Celani, Vilson Zattera, Marcelo Fernandes de Oliveira -- Shipping Complexity: Parametric Design for Remote Communities / Jason F. Carlow, Kristof Crolla -- Fabpod: Universal Digital Workflow, Local Prototype Materialization / Jane Burry, Nicholas Williams, John Cherrey, Brady Peters.
Human-Computer Interaction, User Participation, and Collaborative Design. Bi-tonal Architectural Narratives: Design Expressions in Manga / Marc Aurel Schnabel -- An Emergent Smart House / Sheng-Fen Chien -- Seamfully Connected: Real Working Models as Tangible Interfaces for Architectural Design / Gerhard Schubert, Sebastian Riedel, Frank Petzold -- Following the Voice of the Crowd: Exploring Opportunities for Using Global Voting Data to Enrich Local Urban Context / Martin Traunmueller, Ava Fatah gen. Schieck -- Modeling and Simulation -- The Research of Relationship between Architectural Space and Wind Environment in Residential Area / Li Yang, Dexuan Song -- Application of BIM and VR Technology in Complex Construction Project: A Case Study of Iceberg 3d BIM Structure Layout Design for an Ocean Park / Shuo Wang -- Towards a Computational Spatial Knowledge Acquisition Model in Architectural Space / Junchao Lyu, Bauke de Vries, Chengyu Sun -- Integrated Design Process: Sustainable Façade Fabrication / Kyoung-Hee Kim, Seung-Hoon Han -- A Comparative Study on Choice Modeling Framework for Evacuation Simulation / Chengyu Sun, Bauke de Vries, Wenfeng Bai, Tuo Hu -- Computer Aided Simulation for Compact Residential Regulatory Plan / Lei Pang, Xiaodong Song, Chengyu Sun -- Building Elements Re-usability Optimization -- Design Decision Support Using a Case-Base of Building Information Models and Semantic Fingerprints / Stanimira Markova, Christoph Langenhan, Peter Russell, Frank Petzold -- Relationship between Mean Radiant Temperature and Building Type for Pedestrians in Rotterdam / Qun Dai, Marc Aurel Schnabel.
Shape and Form Studies. Aerodynamic Performance Driven Form-Generation for Skyscraper Design / Darren Chang -- Architectural Thermal Forms II: Brick Envelope / Isak Worre Foged -- Multiplying Architectural Layouts and 3D Forms: Interplay of Necessity and Contingency in Architectural Modeling / Hao Hua -- The Resolution of Architecture in the Digital Age / Benjamin Dillenburger, Michael Hansmeyer -- Freeform Surfaces Adaptation through Developable Surfaces Using Apparent Contours / Francisco González-Quintial, Antonio Sánchez-Parandiet, Javier Barrallo -- Some Notes on the Incompleteness Theorem and Shape Grammars / Dounas Theodoros.
Record Nr. NYU-004402641
[International Conference on Computer Aided Architectural Design Futures (15th : 2013 : Shanghai, China)]  
Materiale a stampa
Lo trovi qui: New York University
Theory and applications of satisfiability testing-- SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / Matti Järvisalo, Allen Van Gelder (eds.).
Theory and applications of satisfiability testing-- SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / Matti Järvisalo, Allen Van Gelder (eds.).
Creatore [SAT (Conference) (16th : 2013 : Helsinki, Finland)]
Estensione 1 online resource (xvi, 436 pages) : illustrations (black and white).
Disciplina 005.1
Accesso persona Järvisalo, Matti, editor
Van Gelder, Allen, editor
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Logic design
Artificial intelligence
Logics and Meanings of Programs
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Information and Communication, Circuits
ISBN 9783642390715
3642390714
9783642390708
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks. The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi-algebraic Proofs / Albert Atserias -- Turing's Computable Real Numbers and Why They Are Still Important Today / Edmund M. Clarke -- There Are No CNF Problems / Peter J. Stuckey -- Best Paper. Soundness of Inprocessing in Clause Sharing SAT Solvers / Norbert Manthey, Tobias Philipp, Christoph Wernhard -- Technical Papers. Propositional Proof Complexity I. Exponential Separations in a Hierarchy of Clause Learning Proof Systems / Jan Johannsen -- On the Resolution Complexity of Graph Non-isomorphism / Jacobo Torán -- Quantified Boolean Formulas. On Propositional QBF Expansions and Q-Resolution / Mikoláš Janota, Joao Marques-Silva -- Recovering and Utilizing Partial Duality in QBF / Alexandra Goultiaeva, Fahiem Bacchus -- Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation / Florian Lonsing, Uwe Egly, Allen Van Gelder.
Parallel Solving. Concurrent Clause Strengthening / Siert Wieringa, Keijo Heljanko -- Parallel MUS Extraction / Anton Belov, Norbert Manthey, Joao Marques-Silva -- Maximum Satisfiability. A Modular Approach to MaxSAT Modulo Theories / Alessandro Cimatti [and others] -- Exploiting the Power of mip Solvers in maxsat / Jessica Davies, Fahiem Bacchus -- Community-Based Partitioning for MaxSAT Solving / Ruben Martins, Vasco Manquinho, Inês Lynce -- Encodings and Applications. Experiments with Reduction Finding / Charles Jordan, Łukasz Kaiser -- A Constraint Satisfaction Approach for Programmable Logic Detailed Placement / Andrew Mihal, Steve Teig -- Minimizing Models for Tseitin-Encoded SAT Instances / Markus Iser, Carsten Sinz, Mana Taghdiri.
Beyond SAT. Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability / Marcelo Finger [and others] -- Quantified Maximum Satisfiability: / Alexey Ignatiev, Mikoláš Janota, Joao Marques-Silva -- Nested Boolean Functions as Models for Quantified Boolean Formulas / Uwe Bubeck, Hans Kleine Büning -- Solver Techniques and Algorithms. Factoring Out Assumptions to Speed Up MUS Extraction / Jean-Marie Lagniez, Armin Biere -- On the Interpolation between Product-Based Message Passing Heuristics for SAT / Oliver Gableske -- Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction / Gilles Audemard, Jean-Marie Lagniez, Laurent Simon -- Clique-Width and SAT. A SAT Approach to Clique-Width / Marijn J.H. Heule, Stefan Szeider -- Cliquewidth and Knowledge Compilation / Igor Razgon, Justyna Petke.
Propositional Proof Complexity II. A Rank Lower Bound for Cutting Planes Proofs of Ramsey's Theorem / Massimo Lauria -- The Complexity of Theorem Proving in Autoepistemic Logic / Olaf Beyersdorff -- Parameterized Complexity. Local Backbones / Ronald de Haan, Iyad Kanj, Stefan Szeider -- Upper and Lower Bounds for Weak Backdoor Set Detection / Neeldhara Misra [and others] -- Tool Papers. LearnSAT: A SAT Solver for Education / Mordechai (Moti) Ben-Ari -- MUStICCa: MUS Extraction with Interactive Choice of Candidates / Johannes Dellert, Christian Zielke, Michael Kaufmann -- SCSat: A Soft Constraint Guided SAT Solver / Hiroshi Fujita, Miyuki Koshimura, Ryuzo Hasegawa -- Snappy: A Simple Algorithm Portfolio / Horst Samulowitz, Chandra Reddy, Ashish Sabharwal, Meinolf Sellmann -- Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems / Takehide Soh, Naoyuki Tamura, Mutsunori Banbara.
Record Nr. NYU-004420387
[SAT (Conference) (16th : 2013 : Helsinki, Finland)]  
Materiale a stampa
Lo trovi qui: New York University
Introducing spoken dialogue systems into intelligent environments / Tobias Heinroth, Wolfgang Minker
Introducing spoken dialogue systems into intelligent environments / Tobias Heinroth, Wolfgang Minker
Creatore [Heinroth, Tobias]
Estensione 1 online resource
Disciplina 006.4/54
Accesso persona Minker, Wolfgang
Genere/Forma Electronic books
Soggetto non controllato Engineering
Computer science
Artificial intelligence
Telecommunication
Signal, Image and Speech Processing
User Interfaces and Human Computer Interaction
Communications Engineering, Networks
ISBN 9781461453833
1461453836
1461453828
9781461453826
9781283910187
1283910187
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Background -- Novel approach to spoken dialogue management in intelligent environments -- The owlSpeak adaptive spoken dialogue manager -- Experiments and evaluation -- Conclusion and future directions.
Record Nr. NYU-004388753
[Heinroth, Tobias]  
Materiale a stampa
Lo trovi qui: New York University
Information search, integration and personalization : International Workshop, ISIP 2012, Sapporo, Japan, October 11-13, 2012. Revised selected papers / Yuzuru Tanaka [and others] (eds.).
Information search, integration and personalization : International Workshop, ISIP 2012, Sapporo, Japan, October 11-13, 2012. Revised selected papers / Yuzuru Tanaka [and others] (eds.).
Creatore [International Workshop on Information Search, Integration and Personalization (7th : 2012 : Sapporo-shi, Japan)]
Estensione 1 online resource.
Disciplina 005.74
Accesso persona Tanaka, Y. (Yuzuru)
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Information systems
Artificial intelligence
Information Systems and Communication Service
Computers and Society
ISBN 9783642401404
3642401406
9783642401398
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Knowledge federation and integration -- Social system support and visualization -- Social information search and discovery.
Record Nr. NYU-004426067
[International Workshop on Information Search, Integration and Personalization (7th : 2012 : Sapporo-shi, Japan)]  
Materiale a stampa
Lo trovi qui: New York University
Fire flow water consumption in sprinklered and unsprinklered buildings [electronic resource] : an assessment of community impacts / Code Consultants, Inc.
Fire flow water consumption in sprinklered and unsprinklered buildings [electronic resource] : an assessment of community impacts / Code Consultants, Inc.
Estensione 1 online resource.
Disciplina 333.91/2
Accesso ente Code Consultants, Inc.
Genere/Forma Electronic books
Soggetto non controllato Engineering
Computer science
Civil engineering
Building Construction
ISBN 9781461481096
1461481090
9781461481089
1461481082
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- Community Selection -- Assessment of Fire Flow Fees -- Characteristic Set of Buildings -- Calculation of Fire Water Volume -- Calculation of Water Usage for Commissioning, Inspection, Testing, and Maintenance -- Fire Probability and Frequency -- Compiled Data (Probability and Volume) -- Calculation of Fire Fees -- American Water Works Association (AWWA).
Record Nr. NYU-004426081
Materiale a stampa
Lo trovi qui: New York University
Computational complexity : theory, techniques, and applications / Robert A. Meyers (ed.).
Computational complexity : theory, techniques, and applications / Robert A. Meyers (ed.).
Estensione 1 online resource (xliv, 3492 pages).
Disciplina 511.3/52
Accesso persona Meyers, Robert A. (Robert Allen), 1936-
Genere/Forma Electronic books
Soggetto non controllato Computer science
Information theory
Computer software
Data mining
Computer simulation
Simulation and Modeling
Complex Systems
Complex Networks
Theory of Computation
Data Mining and Knowledge Discovery
Algorithm Analysis and Problem Complexity
ISBN 9781461418009
1461418003
1461417996
9781461417996
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Agent-Based Modeling and Simulation -- Cellular Automata, Mathematical Basis of Complex Networks and Graph Theory -- Data Mining and Knowledge Discovery -- Game Theory -- Granular Computing -- Intelligent Systems -- Probability and Statistics in Complex Systems -- Quantum Information Science -- Social Network Analysis -- 3 entries from the section Social Science, Physics and Mathematical Applications: Minority Games; Rational, Goal-Oriented Agents; and Social Processes, Simulation Models in Soft Computing -- Unconventional Computing -- Wavelets.
Record Nr. NYU-004372228
Materiale a stampa
Lo trovi qui: New York University
Structural fire resistance experimental research : priority needs of U.S. industry / Kathleen H Almand
Structural fire resistance experimental research : priority needs of U.S. industry / Kathleen H Almand
Creatore [Almand, Kathleen H.]
Estensione 1 online resource.
Disciplina 628.9/2
Genere/Forma Electronic books
Ebook
Soggetto non controllato Engineering
Computer science
Civil engineering
Building Construction
ISBN 9781461481126
1461481120
1461481112
9781461481119
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- Project Goal -- Review of Activities -- Literature Review -- Research Needs Identified Through Literature Review -- Research Needs Identified Through Community Input -- Research Needs Identified at Workshop -- Synthesis of Identified Priorities for Utilization of the NFRL -- Conclusions.
Record Nr. NYU-006272300
[Almand, Kathleen H.]  
Materiale a stampa
Lo trovi qui: New York University
Designing a new class of distributed systems / Rao Mikkilineni
Designing a new class of distributed systems / Rao Mikkilineni
Creatore [Mikkilineni, Rao.]
Estensione xii, 65 p. ; 24 cm.
Soggetto non controllato Computer science
Information systems
Systems engineering
Information Systems and Communication Service
Circuits and Systems
ISBN 9781461419235
1461419239
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-003581388
[Mikkilineni, Rao.]  
Materiale a stampa
Lo trovi qui: New York University
Advances in Image and Video Technology : 5th Pacific Rim Symposium, PSIVT 2011, Gwangju, South Korea, November 20-23, 2011, Proceedings. Part II / Yo-Sung Ho (ed.).
Advances in Image and Video Technology : 5th Pacific Rim Symposium, PSIVT 2011, Gwangju, South Korea, November 20-23, 2011, Proceedings. Part II / Yo-Sung Ho (ed.).
Creatore [IEEE Pacific Rim Symposium on Image and Video Technology (5th : 2011 : Kwangju-si, Korea)]
Estensione 1 online resource (xvii, 407 pages) : illustrations.
Disciplina 006.6
Accesso persona Ho, Yo-Sung
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer Graphics
Multimedia Systems
ISBN 9783642253461
3642253466
9783642253454
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004620773
[IEEE Pacific Rim Symposium on Image and Video Technology (5th : 2011 : Kwangju-si, Korea)]  
Materiale a stampa
Lo trovi qui: New York University