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.
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 | |
