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.
Language and automata theory and applications : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide (eds.).
Language and automata theory and applications : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide (eds.).
Creatore [LATA (Conference) (6th : 2012 : La Coruña, Spain)]
Estensione 1 online resource (xiv, 552 pages).
Disciplina 004
Accesso persona Horia Dediu, Adrian
Martín Vide, Carlos
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Logic design
Artificial intelligence
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Computer Appl. in Social and Behavioral Sciences
ISBN 9783642283321
3642283322
9783642283314
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004374448
[LATA (Conference) (6th : 2012 : La Coruña, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
Reversible computation : third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers / Alexis de Vos, Robert Wille (eds.).
Reversible computation : third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers / Alexis de Vos, Robert Wille (eds.).
Creatore [RC (Workshop : Reversible computation) (3rd : 2011 : Ghent, Belgium)]
Estensione 1 online resource (vii, 122 pages).
Disciplina 005.13/1
Accesso persona Vos, Alexis de.
Wille, Robert
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Logic design
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
ISBN 9783642295171
3642295177
3642295169
9783642295164
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Time complexity of tape reduction for reversible Turing machines / Holger Bock Axelsen -- Towards a reversible functional language / Tetsuo Yokoyama, Holger Bock Axelsen and Robert Glück -- A reversible processor architecture and its reversible logic design / Michael Kirkedal Thomsen, Holger Bock Axelsen and Robert Glück -- Optimization of reversible circuits using reconfigured templates / Md. Mazder Rahman, Gerhard W. Dueck and Anindita Banerjee -- Hybrid GF(2) -- Boolean expressions .for quantum computing circuits / Claudio Moraga -- RevKit : an open source toolkit for the design of reversible circuits / Mathias Soeken, Stefan Frehse, Robert Wille and Rolf Drechsler -- Transforming MCT circuits to NCVW circuits / Zahra Sasanian and D. Michael Miller -- Changing the gate order for optimal LNN conversion / Atsushi Matsuo and Shigeru Yamashita -- Towards the limits of cascaded reversible (quantum-inspired) circuits / Stéphane Burignat, Mariusz Olczak, Michał Klimczak and Alexis De Vos -- Interfacing reversible pass-transistor CMOS chips with conventional restoring CMOS circuits / Stéphane Burignat, Michael Kirkedal Thomsen, Michał Klimczak, Mariusz Olczak and Alexis De Vos.
Record Nr. NYU-004374968
[RC (Workshop : Reversible computation) (3rd : 2011 : Ghent, Belgium)]  
Materiale a stampa
Lo trovi qui: New York University
Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / Ezio Bartocci, C.R. Ramakrishnan (eds.).
Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / Ezio Bartocci, C.R. Ramakrishnan (eds.).
Creatore [International SPIN Workshop (20th : 2013 : Stony Brook, N.Y.)]
Estensione 1 online resource (x, 375 pages) : illustrations (black and white).
Disciplina 005.1/4
Accesso persona Bartocci, Ezio (Computer scientist), editor
Ramakrishnan, C. R., editor.
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Logic design
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
ISBN 9783642391767
3642391761
9783642391750
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Reuse of Verification Results / Dirk Beyer, Philipp Wendler -- Proving Properties of Concurrent Programs / Gerard J. Holzmann -- Verifying a Quantitative Relaxation of Linearizability via Refinement / Kiran Adhikari [and others] -- A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software / Vadim Alimguzhin [and others] -- On-the-Fly Control Software Synthesis / Vadim Alimguzhin [and others] -- Compositional Approach to Suspension and Other Improvements to LTL Translation / Tomáš Babiak, Thomas Badie, Alexandre Duret-Lutz -- Regression Verification Using Impact Summaries / John Backes [and others] -- Abstraction-Based Guided Search for Hybrid Systems / Sergiy Bogomolov [and others] -- Probabilistic Verification of Coordinated Multi-robot Missions / Sagar Chaki, Joseph Andrew Giampapa -- Synthesizing Controllers for Automation Tasks with Performance Guarantees / Chih-Hong Cheng, Michael Geisinger, Christian Buckl -- Specification and Validation of Link Reversal Routing via Graph Transformations / Giorgio Delzanno, Riccardo Traverso -- Local Model Checking of Weighted CTL with Upper-Bound Constraints / Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jiří Srba -- COMPLeTe -- A COMmunication Protocol vaLidation Toolchain / Sven Gröning, Christopher Rosas, Christian Wietfeld -- Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms / Annu John [and others] -- Guard-Based Partial-Order Reduction / Alfons Laarman [and others] -- On the Synergy of Probabilistic Causality Computation and Causality Checking / Florian Leitner-Fischer, Stefan Leue -- Mining Sequential Patterns to Explain Concurrent Counterexamples / Stefan Leue, Mitra Tabaei Befrouei -- Automatic Equivalence Checking of UF+IA Programs / Nuno P. Lopes, José Monteiro -- Expression Reduction from Programs in a Symbolic Binary Executor / Anthony Romano, Dawson Engler -- Model Checking Unbounded Concurrent Lists / Divjyot Sethi, Muralidhar Talupur, Sharad Malik -- Property-Driven Benchmark Generation / Bernhard Steffen, Malte Isberner, Stefan Naujokat -- Error-Completion in Interface Theories / Stavros Tripakis [and others].
Record Nr. NYU-004402543
[International SPIN Workshop (20th : 2013 : Stony Brook, N.Y.)]  
Materiale a stampa
Lo trovi qui: New York University
Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers / Fabrizio Riguzzi, Filip Železný (eds.).
Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers / Fabrizio Riguzzi, Filip Železný (eds.).
Creatore [ILP (Conference) (22nd : 2012 : Dubrovnik, Croatia)]
Estensione 1 online resource (x, 272 pages) : illustrations.
Disciplina 005.1/15
Accesso persona Riguzzi, Fabrizio
Železný, Filip
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Logic design
Artificial intelligence
Mathematical Logic and Formal Languages
Programming Techniques
Logics and Meanings of Programs
Computation by Abstract Devices
ISBN 9783642388125
3642388124
9783642388118
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Relational Approach to Tool-Use Learning in Robots / Solly Brown, Claude Sammut -- A Refinement Operator for Inducing Threaded-Variable Clauses / Angelos Charalambidis, Stasinos Konstantopoulos -- Propositionalisation of Continuous Attributes beyond Simple Aggregation / Soufiane El Jelali, Agnès Braud, Nicolas Lachiche -- Topic Models with Relational Features for Drug Design / Tanveer A. Faruquie, Ashwin Srinivasan, Ross D. King -- Pairwise Markov Logic / Daan Fierens, Kristian Kersting, Jesse Davis, Jian Chen -- Evaluating Inference Algorithms for the Prolog Factor Language / Tiago Gomes, Vítor Santos Costa -- Polynomial Time Pattern Matching Algorithm for Ordered Graph Patterns / Takahiro Hino, Yusuke Suzuki, Tomoyuki Uchida, Yuko Itokawa -- Fast Parameter Learning for Markov Logic Networks Using Bayes Nets / Hassan Khosravi -- Bounded Least General Generalization / Ondřej Kuželka, Andrea Szabóová, Filip Železný -- Itemset-Based Variable Construction in Multi-relational Supervised Learning / Dhafer Lahbib, Marc Boullé, Dominique Laurent -- A Declarative Modeling Language for Concept Learning in Description Logics / Francesca Alessandra Lisi -- Identifying Driver's Cognitive Load Using Inductive Logic Programming / Fumio Mizoguchi, Hayato Ohwada, Hiroyuki Nishiyama -- Opening Doors: An Initial SRL Approach / Bogdan Moldovan, Laura Antanas, McElory Hoffmann -- Probing the Space of Optimal Markov Logic Networks for Sequence Labeling / Naveen Nair, Ajay Nagesh, Ganesh Ramakrishnan -- What Kinds of Relational Features Are Useful for Statistical Learning? / Amrita Saha, Ashwin Srinivasan, Ganesh Ramakrishnan -- Learning Dishonesty / Chiaki Sakama -- Heuristic Inverse Subsumption in Full-Clausal Theories / Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma -- Learning Unordered Tree Contraction Patterns in Polynomial Time / Yuta Yoshimura, Takayoshi Shoudai.
Record Nr. NYU-004402657
[ILP (Conference) (22nd : 2012 : Dubrovnik, Croatia)]  
Materiale a stampa
Lo trovi qui: New York University
Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised selected papers / edited by Corina S. Păsă̆reanu, Gwen Salaün
Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised selected papers / edited by Corina S. Păsă̆reanu, Gwen Salaün
Creatore [FACS (Symposium) (9th : 2012 : Mountain View, Calif.)]
Estensione 1 online resource.
Disciplina 004.01/51
Accesso persona Păsăreanu, Corina S.
Salaün, G. (Gwen)
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Logic design
Information Systems
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
ISBN 9783642358616
3642358616
3642358608
9783642358609
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Formal Patterns for Multi-rate Distributed Real-Time Systems / Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky -- Component Interfaces with Contracts on Ports / Sebastian Bauer, Rolf Hennicker, Axel Legay -- Avoiding Diamonds in Desynchronization / Harsh Beohar, Pieter J.L. Cuijpers -- The Tale of SOLOIST: A Specification Language for Service Compositions Interactions / Domenico Bianculli, Carlo Ghezzi -- A Categorical Approach to Structuring and Promoting Z Specifications / Pablo F. Castro, Nazareno Aguirre -- Assume-Guarantee Reasoning for Safe Component Behaviours / Chris Chilton, Bengt Jonsson, Marta Kwiatkowska -- A Petri Net Based Analysis of Deadlocks for Active Objects and Futures / Frank S. de Boer, Mario Bravetti, Immo Grabe -- Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development / Frank S. de Boer, Stijn de Gouw -- Symbolic Counterexample Generation for Discrete-Time Markov Chains / Nils Jansen, Erika Ábrahám, Barna Zajzon -- Xcd -- Modular, Realizable Software Architectures / Christos Kloukinas, Mert Ozkaya -- LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time / Amir Molzam Sharifloo, Paola Spoletini -- A Calculus for Quality / Hanne Riis Nielson, Flemming Nielson, Roberto Vigo -- Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure / Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu -- IBOS: A Correct-By-Construction Modular Browser / Ralf Sasse, Samuel T. King, José Meseguer -- Guided Search for Deadlocks in Actor-Based Models / Steinar Hugi Sigurdarson, Marjan Sirjani -- Assumption Generation for Asynchronous Systems by Abstraction Refinement / Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli.
Record Nr. NYU-004390112
[FACS (Symposium) (9th : 2012 : Mountain View, Calif.)]  
Materiale a stampa
Lo trovi qui: New York University
Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings / T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan (eds.).
Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings / T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan (eds.).
Creatore [TAMC (Conference) (10th : 2013 : Hong Kong, China)]
Estensione 1 online resource (xv, 356 pages) : illustrations.
Disciplina 004.01/51
Accesso persona Chan, Hubert T-H.
Lau, Lap Chi.
Trevisan, Luca
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
Soggetto non controllato Computer science
Data structures (Computer science)
Information theory
Computer software
Logic design
Theory of Computation
Mathematics of Computing
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Data Structures, Cryptology and Information Theory
Mathematical Logic and Formal Languages
ISBN 9783642382369
3642382363
9783642382352
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Computability -- complexity -- algorithms -- present current research.
Online Scheduling on a CPU-GPU Cluster / Lin Chen, Deshi Ye, Guochuan Zhang -- Throughput Maximization for Speed-Scaling with Agreeable Deadlines / Eric Angel, Evripidis Bampis, Vincent Chau -- Temperature Aware Online Algorithms for Minimizing Flow Time / Martin Birks, Stanley Fung -- Priority Queues and Sorting for Read-Only Data / Tetsuo Asano, Amr Elmasry, Jyrki Katajainen -- (1 + ε)-Distance Oracles for Vertex-Labeled Planar Graphs / Mingfei Li, Chu Chung Christopher Ma -- Group Nearest Neighbor Queries in the L 1 Plane / Hee-Kap Ahn, Sang Won Bae, Wanbin Son -- Modelling the Power Supply Network -- Hardness and Approximation / Alexandru Popa -- Approximation Algorithms for a Combined Facility Location Buy-at-Bulk Network Design Problem / Andreas Bley, S. Mehdi Hashemi -- k-means++ under Approximation Stability / Manu Agarwal, Ragesh Jaiswal, Arindam Pal -- An Exact Algorithm for TSP in Degree-3 Graphs via Circuit Procedure and Amortization on Connectivity Structure / Mingyu Xiao, Hiroshi Nagamochi.
Record Nr. NYU-004637063
[TAMC (Conference) (10th : 2013 : Hong Kong, China)]  
Materiale a stampa
Lo trovi qui: New York University
Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected lecture notes / Nick Bezhanishvili, Valentin Goranko (eds.).
Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected lecture notes / Nick Bezhanishvili, Valentin Goranko (eds.).
Creatore [European Summer School in Logic, Language, and Information (22nd : 2010 : Copenhagen, Denmark)]
Estensione 1 online resource (263 pages) : illustrations.
Disciplina 005.101/5113
Accesso persona Bezhanishvili, Nick
Goranko, Valentin
Accesso convegno European Summer School in Logic, Language, and Information (23rd : 2011 : Ljubljana, Slovenia)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Logic design
Computational complexity
Artificial intelligence
Logic, Symbolic and mathematical
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Discrete Mathematics in Computer Science
ISBN 9783642314858
3642314856
9783642314841
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Proof Complexity of Non-classical Logics / Olaf Beyersdorff and Oliver Kutz -- Ten Problems of Deontic Logic and Normative Reasoning in Computer Science / Jan Broersen and Leendert van der Torre -- A Short Introduction to Implicit Computational Complexity / Ugo Dal Lago -- Strategies in Games: A Logic-Automata Study / Sujata Ghosh and R. Ramanujam -- Introduction to Judgment Aggregation / Davide Grossi and Gabriella Pigozzi -- Specification and Verification of Multi-Agent Systems / Wojciech Jamroga and Wojciech Penczek.
Record Nr. NYU-004375805
[European Summer School in Logic, Language, and Information (22nd : 2010 : Copenhagen, Denmark)]  
Materiale a stampa
Lo trovi qui: New York University
The logic of categorial grammars : a deductive account of natural language syntax and semantics / Richard Moot, Christian Retoré
The logic of categorial grammars : a deductive account of natural language syntax and semantics / Richard Moot, Christian Retoré
Creatore [Moot, Richard]
Estensione 1 online resource (xviii, 302 pages) : illustrations.
Disciplina 006.3/5
Accesso persona Retoré, Christian
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Logic design
Artificial intelligence
Logic, Symbolic and mathematical
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity
Mathematical Logic and Foundations
Programming Languages, Compilers, Interpreters
ISBN 9783642315558
3642315550
9783642315541
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Classical Categorial Grammars: AB Grammars -- A Logic for Categorial Grammars: Lambek's Syntactic Calculus -- Lambek Calculus and Montague Grammar -- The Non-associative Lambek Calculus -- The Multimodal Lambek Calculus -- Lambek Calculus and Linear Logic: Proof Nets as Parse Structures -- Proof Nets for the Multimodal Lambek Calculus: From Theory to a Wide-Coverage Categorial Parser.
Record Nr. NYU-004375901
[Moot, Richard]  
Materiale a stampa
Lo trovi qui: New York University
Mathematical and engineering methods in computer science : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011 : revised selected papers / Zdeněk Kotásek [and others] (eds.).
Mathematical and engineering methods in computer science : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011 : revised selected papers / Zdeněk Kotásek [and others] (eds.).
Creatore [MEMICS (Workshop) (7th : 2011 : Lednice, Jihomoravský kraj, Czech Republic)]
Estensione 1 online resource (xii, 214 pages) : illustrations.
Disciplina 004
Accesso persona Kotásek, Zdeněk
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Logic design
Information Systems
Algorithm Analysis and Problem Complexity
Management of Computing and Information Systems
Logics and Meanings of Programs
ISBN 9783642259296
3642259294
3642259286
9783642259289
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004373845
[MEMICS (Workshop) (7th : 2011 : Lednice, Jihomoravský kraj, Czech Republic)]  
Materiale a stampa
Lo trovi qui: New York University
Software composition : 11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings / Thomas Gschwind [and others] (eds.).
Software composition : 11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings / Thomas Gschwind [and others] (eds.).
Creatore [SC (Conference : Software composition) (11th : 2012 : Prague, Czech Republic)]
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Gschwind, Thomas
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Logic design
Programming Techniques
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
ISBN 9783642305641
3642305644
9783642305634
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Modeling Dynamic Architectures Using Dy-BIP / Marius Bozga, Mohamad Jaber, Nikolaos Maris and Joseph Sifakis -- Defining Composition Operators for BPMN / Paul Istoan -- Relaxing B Sharing Restrictions within CSP[bar][bar]B / Arnaud Lanoix, Olga Kouchnarenko, Samuel Colin and Vincent Poirriez -- PaCE: A Data-Flow Coordination Language for Asynchronous Network-Based Applications / Mauro Caporuscio, Marco Funaro and Carlo Ghezzi -- Adaptation of Legacy Codes to Context-Aware Composition Using Aspect-Oriented Programming / Antonina Danylenko and Welf Löwe -- Challenges for Refinement and Composition of Instrumentations: Position Paper / Danilo Ansaloni, Walter Binder, Christoph Bockisch, Eric Bodden and Kardelen Hatun, et al. -- Constructing Customized Interpreters from Reusable Evaluators Using Game / Stijn Timbermont, Coen De Roover and Theo D'Hondt -- Revising and Extending the Uppaal Communication Mechanism / Abdeldjalil Boudjadar, Jean-Paul Bodeveix and Mamoun Filali -- On the Automated Modularisation of Java Programs Using Service Locators / Syed Muhammad Ali Shah, Jens Dietrich and Catherine McCartin -- Touching Factor: Software Development on Tablets / Marc Hesenius, Carlos Dario Orozco Medina and Dominikus Herzberg -- Domain-Specific Languages in Few Steps / The Neverlang Approach / Walter Cazzola -- Business Process Lines and Decision Tables Driving Flexibility by Selection / Nicola Boffoli, Danilo Caivano, Daniela Castelluccia and Giuseppe Visaggio.
Record Nr. NYU-004375426
[SC (Conference : Software composition) (11th : 2012 : Prague, Czech Republic)]  
Materiale a stampa
Lo trovi qui: New York University