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.
Formal aspects of component software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, revised selected papers / Farhad Arbab, Peter Csaba Ölveczky (eds.).
Formal aspects of component software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, revised selected papers / Farhad Arbab, Peter Csaba Ölveczky (eds.).
Creatore [FACS (Symposium) (8th : 2011 : Oslo, Norway)]
Estensione 1 online resource (x, 367 pages) : illustrations.
Disciplina 004.01/51
Accesso persona Arbab, F. (Farhad)
Ölveczky, Peter Csaba
Genere/Forma 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
ISBN 9783642357435
3642357431
364227269X
9783642272691
3642357423
9783642357428
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Taming Distributed System Complexity through Formal Patterns -- Composing Safe Systems -- A Denotational Model for Component-Based Risk Analysis -- Synthesis of Hierarchical Systems -- A Modal Specification Theory for Components with Data -- Evaluating the Performance of Model Transformation Styles in Maude -- Interactive Transformations from Object-Oriented Models to Component-Based Models -- Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components -- Timed Conformance Testing for Orchestrated Service Discovery -- Realizability of Choreographies for Services Interacting Asynchronously -- Networks of Real-Time Actors: Schedulability Analysis and Coordination -- A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios -- The Logic of XACML -- A Proof Assistant Based Formalization of MDE Components -- Controlling an Iteration-Wise Coherence in Dataflow -- Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation -- Verifying Safety of Fault-Tolerant Distributed Components -- Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques -- Bigraphical Modelling of Architectural Patterns -- Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines -- Verifying Temporal Properties of Use-Cases in Natural Language.
Record Nr. NYU-004389659
[FACS (Symposium) (8th : 2011 : Oslo, Norway)]  
Materiale a stampa
Lo trovi qui: New York University
Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers / Shaz Qadeer, Serdar Tasiran (eds.).
Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers / Shaz Qadeer, Serdar Tasiran (eds.).
Creatore [RV (Conference) (3rd : 2012 : Istanbul, Turkey)]
Estensione 1 online resource.
Disciplina 005.1/4
Accesso persona Qadeer, Shaz
Tasiran, Serdar
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computer software
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
ISBN 9783642356322
364235632X
3642356311
9783642356315
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Dynamic Analyses for Data-Race Detection / John Erickson, Stephen Freund, Madanlal Musuvathi -- Symbolic Execution / Cristian Cadar, Koushik Sen -- Dynamic Livelock Analysis of Multi-threaded Programs / Malay K. Ganai -- Scalable Dynamic Partial Order Reduction / Jiri Simsa, Randy Bryant, Garth Gibson, Jason Hickey -- ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level / Jan Fiedor, Tomáš Vojnar -- PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors / Ismail Kuru, Hassan Salehe Matar, Adrián Cristal, Gokcen Kestor -- It's the End of the World as We Know It (And I Feel Fine) / Jim R. Larus -- Detecting Unread Memory Using Dynamic Binary Translation / Jon Eyolfson, Patrick Lam -- Sparse Coding for Specification Mining and Error Localization / Wenchao Li, Sanjit A. Seshia -- Sliding between Model Checking and Runtime Verification / Martin Leucker.
Runtime Verification and Enforcement for Android Applications with RV-Droid / Yliès Falcone, Sebastian Currea, Mohamad Jaber -- Temporal Monitors for TinyOS / Doina Bucur -- Real-Time Runtime Verification on Chip / Thomas Reinbacher, Matthias Függer, Jörg Brauer -- BabelTrace: A Collection of Transducers for Trace Validation / Aouatef Mrad, Samatar Ahmed, Sylvain Hallé, Éric Beaudet -- Quantitative Trace Analysis Using Extended Timing Diagrams / Andreas Richter, Klaus Kabitzsch -- Maximal Causal Models for Sequentially Consistent Systems / Traian Florin Şerbănuţă, Feng Chen, Grigore Roşu -- Monitoring Compliance Policies over Incomplete and Disagreeing Logs / David Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zălinescu -- Adaptive Runtime Verification / Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka -- Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications / Giovanni Vigna -- MapReduce for Parallel Trace Validation of LTL Properties / Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin.
Path-Aware Time-Triggered Runtime Verification / Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister -- Fast-Forward Runtime Monitoring -- An Industrial Case Study / Christian Colombo, Gordon J. Pace -- Runtime Enforcement of Timed Properties / Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand -- Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic / Kevin Baldor, Jianwei Niu -- Rewrite-Based Statistical Model Checking of WMTL / Peter Bulychev, Alexandre David, Kim G. Larsen, Axel Legay -- From Runtime Verification to Runtime Intervention and Adaptation / Martin Rinard -- Certifying Solutions for Numerical Constraints / Eva Darulova, Viktor Kuncak -- Profiling Field Initialisation in Java / Stephen Nelson, David J. Pearce, James Noble -- Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation / Benjamin D. Rodes, Anh Nguyen-Tuong, Jason D. Hiser, John C. Knight -- Incremental Runtime Verification of Probabilistic Systems / Vojtěch Forejt, Marta Kwiatkowska, David Parker, Hongyang Qu.
Record Nr. NYU-004390118
[RV (Conference) (3rd : 2012 : Istanbul, Turkey)]  
Materiale a stampa
Lo trovi qui: New York University
Developments in language theory : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings / Marie-Pierre Béal, Olivier Carton (eds.).
Developments in language theory : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings / Marie-Pierre Béal, Olivier Carton (eds.).
Creatore [Conference on Developments in Language Theory (17th : 2013 : Marne-la-Vallée, France)]
Estensione 1 online resource (xiii, 460 pages) : illustrations.
Disciplina 005.13/1
Accesso persona Béal, Marie-Pierre
Carton, Olivier
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Computational complexity
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
ISBN 9783642387715
3642387713
3642387705
9783642387708
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks. Ultrametric Finite Automata and Turing Machines / Rūsiņš Freivalds -- Recompression: Word Equations and Beyond / Artur Jeż -- Joint Spectral Characteristics: A Tale of Three Disciplines / Raphaël M. Jungers -- Unambiguous Finite Automata / Christof Löding -- An Explicit Formula for the Intersection of Two Polynomials of Regular Languages / Jean-Éric Pin.
Regular Papers. Two Dimensional Prefix Codes of Pictures / Marcella Anselmo, Dora Giammarresi, Maria Madonia -- Adjacent Ordered Multi-Pushdown Systems / Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan -- Cuts in Regular Expressions / Martin Berglund, Henrik Björklund, Frank Drewes, Brink van der Merwe, Bruce Watson -- Quantum Finite Automata and Linear Context-Free Languages: A Decidable Problem / Alberto Bertoni, Christian Choffrut, Flavio D'Alessandro -- On the Asymptotic Abelian Complexity of Morphic Words / Francine Blanchet-Sadri, Nathan Fox -- Strict Bounds for Pattern Avoidance / Francine Blanchet-Sadri, Brent Woodhouse -- A Fresh Approach to Learning Register Automata / Benedikt Bollig, Peter Habermehl, Martin Leucker, Benjamin Monmege -- Suffixes, Conjugates and Lyndon Words / Silvia Bonomo, Sabrina Mantaci, Antonio Restivo, Giovanna Rosone, Marinella Sciortino -- Extremal Words in the Shift Orbit Closure of a Morphic Sequence / James D. Currie, Narad Rampersad, Kalle Saari -- Inner Palindromic Closure / Jürgen Dassow, Florin Manea, Robert Mercaş, Mike Müller -- On the Dual Post Correspondence Problem / Joel D. Day, Daniel Reidenbach, Johannes C. Schneider.
One-Way Multi-Head Finite Automata with Pebbles But No States / Martin Kutrib, Andreas Malcher, Matthias Wendlandt -- Regular Expressions with Binding over Data Words for Querying Graph Databases / Leonid Libkin, Tony Tan, Domagoj Vrgoč -- Factorizations and Universal Automaton of Omega Languages / Vincent Carnino, Sylvain Lombardy -- Deciding Determinism of Unary Languages Is coNP-Complete / Ping Lu, Feifei Peng, Haiming Chen -- Ultimate Periodicity of b-Recognisable Sets: A Quasilinear Procedure / Victor Marsault, Jacques Sakarovitch -- 3-Abelian Cubes Are Avoidable on Binary Alphabets / Robert Mercaş, Aleksi Saarela -- Repetition Avoidance in Circular Factors / Hamoon Mousavi, Jeffrey Shallit -- Operator Precedence ω-Languages / Federica Panella, Matteo Pradella, Violetta Lonati, Dino Mandrioli -- New Results on Deterministic Sgraffito Automata / Daniel Průša, František Mráz, Friedrich Otto -- On the Number of Abelian Bordered Words / Narad Rampersad, Michel Rigo, Pavel Salimov -- Proof of a Phase Transition in Probabilistic Cellular Automata / Damien Regnault -- Languages with a Finite Antidictionary: Growth-Preserving Transformations and Available Orders of Growth / Arseny M. Shur.
Brzozowski Algorithm Is Generically Super-Polynomial for Deterministic Automata / Sven De Felice, Cyril Nicaud -- A Coloring Problem for Sturmian and Episturmian Words / Aldo de Luca, Elena V. Pribavkina, Luca Q. Zamboni -- The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages / Manfred Droste, Heiko Vogler -- Operational Characterization of Scattered MCFLs / Zoltán Ésik, Szabolcs Iván -- Abelian Repetitions in Sturmian Words / Gabriele Fici, Alessio Langiu, Thierry Lecroq, Arnaud Lefebvre, Filippo Mignosi -- Composition Closure of ε-Free Linear Extended Top-Down Tree Transducers / Zoltán Fülöp, Andreas Maletti -- Subword Complexity and k-Synchronization / Daniel Goč, Luke Schaeffer, Jeffrey Shallit -- Some Decision Questions Concerning the Time Complexity of Language Acceptors / Oscar H. Ibarra, Bala Ravikumar -- Unambiguous Conjunctive Grammars over a One-Letter Alphabet / Artur Jeż, Alexander Okhotin -- Alternative Automata Characterization of Piecewise Testable Languages / Ondřej Klíma, Libor Polák -- Finite Automata with Advice Tapes / Uğur Küçük, A.C. Cem Say, Abuzer Yakaryılmaz.
Record Nr. NYU-004402759
[Conference on Developments in Language Theory (17th : 2013 : Marne-la-Vallée, France)]  
Materiale a stampa
Lo trovi qui: New York University
Belief revision in non-classical logics / Márcio Moretto Ribeiro
Belief revision in non-classical logics / Márcio Moretto Ribeiro
Creatore [Ribeiro, Márcio Moretto]
Estensione 1 online resource (xi, 120 pages).
Disciplina 005.101/5113
Genere/Forma Electronic books
Soggetto non controllato Artificial intelligence
Computer science
Logic
Logic, Symbolic and mathematical
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
ISBN 9781447141860
1447141865
9781447141853
1447141857
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Consequence -- Logics -- Classical Belief Revision -- AGM Contraction in Non-Classical Logics -- AGM Revision in Logics Without Negation -- Base Revision in Logics Without Negation -- Algorithms for Belief Bases -- Conclusion.
Record Nr. NYU-004624353
[Ribeiro, Márcio Moretto]  
Materiale a stampa
Lo trovi qui: New York University
Software engineering and formal methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.).
Software engineering and formal methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.).
Creatore [International Conference on Software Engineering and Formal Methods (10th : 2012 : Thessalonikē, Greece)]
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Eleftherakis, George
Hinchey, Michael G. (Michael Gerard), 1969-
Holcombe, W. M. L. (William Michael Lloyd), 1944-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Artificial intelligence
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
ISBN 9783642338267
3642338267
9783642338250
3642338259
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Abstraction as a Unifying Link for Formal Approaches to Concurrency / Cliff B. Jones -- A Rule-Based and Imperative Language for Biochemical Modeling and Simulation / Đurica Nikolić, Corrado Priami and Roberto Zunino -- Sound Control-Flow Graph Extraction for Java Programs with Exceptions / Afshin Amighi, Pedro de C. Gomes, Dilian Gurov and Marieke Huisman -- Checking Sanity of Software Requirements / Jiří Barnat, Petr Bauch and Luboš Brim -- TVAL+ : TVLA and Value Analyses Together / Pietro Ferrara, Raphael Fuchs and Uri Juhasz -- A Systematic Approach to Atomicity Decomposition in Event-B / Asieh Salehi Fathabadi, Michael Butler and Abdolbaghi Rezazadeh -- Compositional Reasoning about Shared Futures / Crystal Chang Din, Johan Dovland and Olaf Owe -- Verification of Aspectual Composition in Feature-Modeling / Qinglei Zhang, Ridha Khedri and Jason Jaskolka -- A Denotational Model for Instantaneous Signal Calculus / Yongxin Zhao, Longfei Zhu, Huibiao Zhu and Jifeng He.
A Timed Mobility Semantics Based on Rewriting Strategies / Gabriel Ciobanu, Maciej Koutny and Jason Steggles -- Towards a Formal Component Model for the Cloud / Roberto Di Cosmo, Stefano Zacchiroli and Gianluigi Zavattaro -- The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs / Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin and Zongyan Qiu -- Completing the Automated Verification of a Small Hypervisor -- Assembler Code Verification / Wolfgang Paul, Sabine Schmaltz and Andrey Shadrin -- A Configuration Approach for IMA Systems / Visar Januzaj, Stefan Kugele, Florian Biechele and Ralf Mauersberger -- polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries / Christian Colombo, Adrian Francalanza, Ruth Mizzi and Gordon J. Pace -- Frama-C / A Software Analysis Perspective / Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto and Julien Signoles, et al. -- An Optimization Approach for Effective Formalized fUML Model Checking / Islam Abdelhalim, Steve Schneider and Helen Treharne.
Efficient Probabilistic Abstraction for SysML Activity Diagrams / Samir Ouchani, Otmane Ait Mohamed and Mourad Debbabi -- ML Dependency Analysis for Assessors / Philippe Ayrault, Vincent Benayoun, Catherine Dubois and François Pessaux -- An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms / Raluca Lefticaru and Florentin Ipate -- Securely Accessing Shared Resources with Concurrent Constraint Programming / Stefano Bistarelli and Francesco Santini -- A Practical Approach for Closed Systems Formal Verification Using Event-B / Brett Bicknell, Jose Reis, Michael Butler, John Colley and Colin Snook -- Extensible Specifications for Automatic Re-use of Specifications and Proofs / Daniel Matichuk and Toby Murray -- Implementing Tactics of Refinement in CRefine / Madiel Conserva Filho and Marcel Vinicius Medeiros Oliveira -- JSXM: A Tool for Automated Test Generation / Dimitris Dranidis, Konstantinos Bratanis and Florentin Ipate -- A Low-Overhead, Value-Tracking Approach to Information Flow Security / Kostyantyn Vorobyov, Padmanabhan Krishnan and Phil Stocks.
Record Nr. NYU-004624987
[International Conference on Software Engineering and Formal Methods (10th : 2012 : Thessalonikē, Greece)]  
Materiale a stampa
Lo trovi qui: New York University
Formal modeling and analysis of timed systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings / Marcin Jurdziński, Dejan Ničković (eds.).
Formal modeling and analysis of timed systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings / Marcin Jurdziński, Dejan Ničković (eds.).
Creatore [FORMATS (Conference) (10th : 2012 : London, England)]
Estensione 1 online resource : illustrations (chiefly color).
Disciplina 003/.3
Accesso persona Jurdziński, Marcin
Ničković, Dejan
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computer software
Logic design
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Programming Techniques
Algorithm Analysis and Problem Complexity
ISBN 9783642333651
3642333656
9783642333644
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems (Extended Abstract) / Twan Basten, Martijn Hendriks, Lou Somers and Nikola Trčka -- Statistical Model Checking, Refinement Checking, Optimization ... for Stochastic Hybrid Systems / Kim G. Larsen -- Robustness of Time Petri Nets under Architectural Constraints / S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime and Olivier H. Roux -- Toward a Timed Theory of Channel Coding / Eugene Asarin, Nicolas Basset, Marie-Pierre Béal, Aldric Degorre and Dominique Perrin -- Playing Optimally on Timed Automata with Random Delays / Nathalie Bertrand and Sven Schewe -- Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems / Rebekah Carter and Eva M. Navarro-López -- Revisiting Timed Specification Theories: A Linear-Time Perspective / Chris Chilton, Marta Kwiatkowska and Xu Wang -- Multi-core Reachability for Timed Automata / Andreas E. Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen and Jaco van de Pol -- Counterexample-Guided Synthesis of Observation Predicates / Rayna Dimitrova and Bernd Finkbeiner -- Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems / Christian Ellen, Sebastian Gerwinn and Martin Fränzle -- Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition / Hamed Ghasemieh, Anne Remke, Boudewijn Haverkort and Marco Gribaudo -- Reducing Quasi-Equal Clocks in Networks of Timed Automata / Christian Herrera, Bernd Westphal, Sergio Feo-Arenis, Marco Muñiz and Andreas Podelski -- SMT-Based Induction Methods for Timed Systems / Roland Kindermann, Tommi Junttila and Ilkka Niemelä -- Timed Automata with Disjoint Activity / Marco Muñiz, Bernd Westphal and Andreas Podelski -- The Complexity of Bounded Synthesis for Timed Control with Partial Observability / Hans-Jörg Peter and Bernd Finkbeiner -- Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics / Jonas Rinast and Sibylle Schupp -- Frequencies in Forgetful Timed Automata / Amélie Stainer -- Mcta: Heuristics and Search for Timed Systems / Martin Wehrle and Sebastian Kupferschmid.
Record Nr. NYU-004624529
[FORMATS (Conference) (10th : 2012 : London, England)]  
Materiale a stampa
Lo trovi qui: New York University
Logic programs, norms and action : essays in honor of Marek J. Sergot on the occasion of his 60th birthday / Alexander Artikis [and others] (eds.).
Logic programs, norms and action : essays in honor of Marek J. Sergot on the occasion of his 60th birthday / Alexander Artikis [and others] (eds.).
Estensione 1 online resource (xx, 424 pages) : color portraits.
Disciplina 005.1/15
Accesso persona Artikis, Alexander
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Artificial intelligence
Mathematical Logic and Formal Languages
Information Systems Applications (incl. Internet)
Logics and Meanings of Programs
ISBN 9783642294143
3642294146
9783642294136
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Marek Sergot: A Memoir / Trevor Bench-Capon -- The Scientific Contribution of Marek Sergot / Steve Barker, Andrew J.I. Jones, Antonis Kakas, Robert A. Kowalski and Alessio Lomuscio, et al. -- Teleo-Reactive Abductive Logic Programs / Robert A. Kowalski and Fariba Sadri -- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties / Paolo Mancarella and Francesca Toni -- What Is Negation as Failure? / Dov M. Gabbay -- The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic / Dario Della Monica, Angelo Montanari and Pietro Sala -- Argumentation and the Event Calculus / Evgenios Hadjisoteriou and Antonis Kakas -- Reactive Event Calculus for Monitoring Global Computing Applications / Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali and Paolo Torroni -- Reasoning about the Intentions of Agents / Justin Blount and Michael Gelfond -- Symbolic Model Checking for Temporal-Epistemic Logic / Alessio Lomuscio and Wojciech Penczek -- GOAL Agents Instantiate Intention Logic / Koen V. Hindriks, Wiebe van der Hoek and John-Jules Ch. Meyer -- Open Texture and Argumentation: What Makes an Argument Persuasive? / Trevor Bench-Capon -- Irrationality in Persuasive Argumentation / Paul E. Dunne -- Some Reflections on Two Current Trends in Formal Argumentation / Henry Prakken -- On the Representation of Normative Sentences in FOL / Andrew J.I. Jones and Steven O. Kimbrough -- Why Be Afraid of Identity? / Comments on Sergot and Prakken's Views / Xavier Parent -- Deon+: Abduction and Constraints for Normative Reasoning / Marco Alberti, Marco Gavanelli and Evelina Lamma -- Contrary-To-Duties in Games / Paolo Turrini, Xavier Parent, Leendert van der Torre and Silvano Colombo Tosatto -- Logical Approaches to Authorization Policies / Steve Barker -- Decentralized Governance of Distributed Systems via Interaction Control / Naftaly H. Minsky -- Managing User-Generated Content as a Knowledge Commons / Jeremy Pitt.
Record Nr. NYU-004622764
Materiale a stampa
Lo trovi qui: New York University
Descriptional complexity of formal systems : 14th international workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, proceedings / Martin Kutrib, Nelma Moreira, Rogério Reis (eds.).
Descriptional complexity of formal systems : 14th international workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, proceedings / Martin Kutrib, Nelma Moreira, Rogério Reis (eds.).
Creatore [DCFS (Workshop) (14th : 2012 : Braga, Portugal)]
Estensione 1 online resource (x, 318 pages) : illustrations.
Disciplina 005.13/1
Accesso persona Kutrib, Martin
Moreira, Nelma
Reis, Rogério
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Logic design
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
ISBN 9783642316234
3642316239
3642316220
9783642316227
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Computing with Capsules / Jean-Baptiste Jeannin and Dexter Kozen -- Minicomplexity / Christos A. Kapoutsis -- Logical Analysis of Hybrid Systems: A Complete Answer to a Complexity Challenge / André Platzer -- Groups and Automata: A Perfect Match / Pedro V. Silva -- Uniform Distributed Pushdown Automata Systems / Fernando Arroyo, Juan Castellanos and Victor Mitrana -- Removing Nondeterminism in Constant Height Pushdown Automata / Zuzana Bednárová, Viliam Geffert, Carlo Mereghetti and Beatrice Palano -- On Inverse Operations and Their Descriptional Complexity / Maria Paola Bianchi, Markus Holzer, Sebastian Jakobi and Giovanni Pighizzini -- Deciding Representability of Sets of Words of Equal Length / Francine Blanchet-Sadri and Sean Simmons -- Syntactic Complexities of Some Classes of Star-Free Languages / Janusz Brzozowski and Baiyu Li -- Randomness Behaviour in Blum Universal Static Complexity Spaces / Cezar Câmpeanu -- Production Complexity of Some Operations on Context-Free Languages / Jürgen Dassow and Ronny Harbich -- State Complexity of Star and Square of Union of k Regular Languages / Yuan Gao and Lila Kari -- State Complexity of Chop Operations on Unary and Finite Languages / Markus Holzer and Sebastian Jakobi -- On the Number of Nonterminal Symbols in Unambiguous Conjunctive Grammars / Artur Jeż and Alexander Okhotin -- Descriptional Complexity of Biautomata / Galina Jirásková and Ondřej Klíma -- Descriptional Complexity of Pushdown Store Languages / Andreas Malcher, Katja Meckel, Carlo Mereghetti and Beatrice Palano -- On Internal Contextual Grammars with Subregular Selection Languages / Florin Manea and Bianca Truthe -- An Infinite Hierarchy of Language Families Resulting from Stateless Pushdown Automata with Limited Pushdown Alphabets / Alexander Meduna, Lukáš Vrábel and Petr Zemek -- Centralized PC Systems of Pushdown Automata versus Multi-head Pushdown Automata / Friedrich Otto -- State Complexity and Limited Nondeterminism / Alexandros Palioudakis, Kai Salomaa and Selim G. Akl -- Bounded Counter Languages / Holger Petersen -- State Complexity of Projection and Quotient on Unranked Trees / Xiaoxue Piao and Kai Salomaa -- Iterating Invertible Binary Transducers / Klaus Sutner and Kevin Lewi -- Minimal DFA for Symmetric Difference NFA / Brink van der Merwe, Hellis Tamm and Lynette van Zijl.
Record Nr. NYU-004623627
[DCFS (Workshop) (14th : 2012 : Braga, Portugal)]  
Materiale a stampa
Lo trovi qui: New York University
Formal grammar : 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised selected papers / Philippe de Groote, Mark-Jan Nederhof (eds.).
Formal grammar : 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised selected papers / Philippe de Groote, Mark-Jan Nederhof (eds.).
Creatore [FG (Conference) (15th : 2010 : Copenhagen, Denmark)]
Estensione 1 online resource (xii, 306 pages) : illustrations.
Disciplina 006.3/5
Accesso persona De Groote, Philippe
Nederhof, Mark-Jan
Accesso convegno FG (Conference) (16th : 2011 : Ljubljana, Slovenia)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Algebra -- Data processing
Artificial intelligence
Computer vision
Computational linguistics
Grammar, Comparative and general
Mathematical Logic and Formal Languages
Grammar
Symbolic and Algebraic Manipulation
Computer Imaging, Vision, Pattern Recognition and Graphics
ISBN 9783642320248
3642320244
3642320236
9783642320231
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Polarized Montagovian Semantics for the Lambek-Grishin Calculus / Arno Bastenhof -- Two Models of Learning Iterated Dependencies / Denis Béchet, Alexander Dikovsky and Annie Foret -- The Lambek-Grishin Calculus Is NP-Complete / Jeroen Bransen -- Resumption and Island-Hood in Hausa / Berthold Crysmann -- Iterated Dependencies and Kleene Iteration / Michael Dekhtyar, Alexander Dikovsky and Boris Karlov -- Property Grammar Parsing Seen as a Constraint Optimization Problem / Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier and Willy Lesaint -- Reference-Set Constraints as Linear Tree Transductions via Controlled Optimality Systems / Thomas Graf -- Hyperintensional Dynamic Semantics -- Analyzing Definiteness with Enriched Contexts / Scott Martin and Carl Pollard -- Distinguishing Phenogrammar from Tectogrammar Simplifies the Analysis of Interrogatives / Vedrana Mihaliček and Carl Pollard -- Generalized Discontinuity / Glyn Morrill and Oriol Valentín -- Controlling Extraction in Abstract Categorial Grammars / Sylvain Pogodalla and Florent Pompigne -- Plural Quantifications and Generalized Quantifiers / Byeong-Uk Yi -- Polynomial Time Learning of Some Multiple Context-Free Languages with a Minimally Adequate Teacher / Ryo Yoshinaka and Alexander Clark -- Locality and the Complexity of Minimalist Derivation Tree Languages / Thomas Graf -- Building a Formal Grammar for a Polysynthetic Language / Petr Homola -- Eliminating Ditransitives / András Kornai -- Lambek Grammars with the Unit / Stepan Kuznetsov -- Resolving Plural Ambiguities by Type Reconstruction / Hans Leiss -- Weak Familiarity and Anaphoric Accessibility in Dynamic Semantics / Scott Martin.
Record Nr. NYU-004623657
[FG (Conference) (15th : 2010 : Copenhagen, Denmark)]  
Materiale a stampa
Lo trovi qui: New York University
Rough sets and knowledge technology : 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings / Tianrui Li [and others] (eds.).
Rough sets and knowledge technology : 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings / Tianrui Li [and others] (eds.).
Creatore [RSKT 2012 (2012 : Chengdu, China)]
Estensione 1 online resource (xviii, 526 pages) : illustrations.
Disciplina 006.3
Accesso persona Li, Tianrui
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Electronic data processing
Data mining
Artificial intelligence
Computer vision
Mathematical Logic and Formal Languages
Computer Imaging, Vision, Pattern Recognition and Graphics
Numeric Computing
Information Systems Applications (incl. Internet)
ISBN 9783642319006
3642319009
3642318991
9783642318993
Classificazione 54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Characterization of Rough Separability / Piotr Wasilewski and Andrzej Skowron -- Data-Driven Valued Tolerance Relation / Guoyin Wang and Lihe Guan -- Optimistic Multi-Granulation Fuzzy Rough Set Model Based on Triangular Norm / Weihua Xu, Wenxin Sun and Yufeng Liu -- Rough Set Model Based on Hybrid Tolerance Relation / Junyi Zhou and Xibei Yang -- Scalable Improved Quick Reduct: Sample Based / P.S.V.S. Sai Prasad and C. Raghavendra Rao -- Soft Rough Sets Based on Similarity Measures / Keyun Qin, Zhenming Song and Yang Xu -- Theory of Truth Degrees in Three Valued Formed System RSL / Huan Liu, Yingcang Ma and Xuezhen Dai -- Upper Approximation Reduction Based on Intuitionistic Fuzzy T Equivalence Information Systems / Weihua Xu, Yufeng Liu and Wenxin Sun -- A Fuzzy-Rough Sets Based Compact Rule Induction Method for Classifying Hybrid Data / Yang Liu, Qinglei Zhou, Elisabeth Rakus-Andersson and Guohua Bai -- A New Intuitionistic Fuzzy Rough Set Approach for Decision Support / Junyi Chai, James N.K. Liu and Anming Li -- A New Rule Induction Method from a Decision Table Using a Statistical Test / Tsukasa Matsubayashi, Yuichi Kato and Tetsuro Saeki -- A Rough Neurocomputing Approach for Illumination Invariant Face Recognition System / Singh Kavita, Zaveri Mukesh and Raghuwanshi Mukesh -- An Approximation Decision Entropy Based Decision Tree Algorithm and Its Application in Intrusion Detection / Hongbo Zhao, Feng Jiang and Chunping Wang -- Application of Rough Set Theory to Prediction of Antimicrobial Activity of Bis-quaternary Ammonium Chlorides / Łukasz Pałkowski, Jerzy Błaszczyński, Jerzy Krysiński, Roman Słowiński and Andrzej Skrzypczak, et al. -- Classification and Decision Based on Parallel Reducts and F-Rough Sets / Dayong Deng, Lin Chen and Dianxun Yan -- Evidential Clustering or Rough Clustering: The Choice Is Yours / Manish Joshi and Pawan Lingras -- Heuristic for Attribute Selection Using Belief Discernibility Matrix / Salsabil Trabelsi, Zied Elouedi and Pawan Lingras -- Incremental Rules Induction Based on Rule Layers / Shusaku Tsumoto and Shoji Hirano -- Optimization of Inhibitory Decision Rules Relative to Length and Coverage / Fawaz Alsolami, Igor Chikalov, Mikhail Moshkov and Beata Zielosko -- Parallelized Computing of Attribute Core Based on Rough Set Theory and MapReduce / Yong Yang and Zhengrong Chen.
Semi-supervised Vehicle Recognition: An Approximate Region Constrained Approach / Rui Zhao, Zhihua Wei, Duoqian Miao, Yan Wu and Lin Mei -- A Color Image Segmentation Algorithm by Integrating Watershed with Region Merging / Shuangqun Li, Jiucheng Xu, Jinyu Ren and Tianhe Xu -- A Mixed Strategy Multi-Objective Coevolutionary Algorithm Based on Single-Point Mutation and Particle Swarm Optimization / Xin Zhang, Hongbin Dong, Xue Yang and Jun He -- A Novel Distributed Machine Learning Method for Classification: Parallel Covering Algorithm / Yanping Zhang, Yuehua Wang and Shu Zhao -- A Spatial Clustering Method for Points-with-Directions / Jing Wang and Xin Wang -- An Argumentation Framework for Non-monotonic Reasoning in Description Logic / Geng Wang and Zuoquan Lin -- Analysis of Symmetry Properties for Bayesian Confirmation Measures / Salvatore Greco, Roman Słowiński and Izabela Szczęch -- Applying Verbal Decision Analysis in Selecting Specific Practices of CMMI / Thais Cristina Sampaio Machado, Plácido Rogério Pinheiro, Adriano Bessa Albuquerque and Marcelo Marcony Leal de Lima -- Belief Networks in Classification of Laryngopathies Based on Speech Spectrum Analysis / Teresa Mroczek, Krzysztof Pancerz and Jan Warchoł -- Comparing Similarity of Concepts Identified by Temporal Patterns of Terms in Biomedical Research Documents / Shusaku Tsumoto and Hidenao Abe -- Extracting Incidental and Global Knowledge through Compact Pattern Trees in Distributed Environment / K. Swarupa Rani, V. Kamakshi Prasad and C. Raghavendra Rao -- Hierarchical Path-Finding Based on Decision Tree / Yan Li, Lan-Ming Su and Wen-Liang Li -- Human Activity Recognition with Trajectory Data in Multi-floor Indoor Environment / Xu Zhang, Goung-Bae Kim, Ying Xia and Hae-Young Bae -- Remote Sensing Image Data Storage and Search Method Based on Pyramid Model in Cloud / Ying Xia and Xuanlun Yang -- Learning to Classify Service Data with Latent Semantics / Le Luo, Li Li and Ying Wang -- Link Communities Detection via Local Approach / Lei Pan, Chongjun Wang and Junyuan Xie -- Maximizing Influence Spread in a New Propagation Model / Hongchao Yang, Chongjun Wang and Junyuan Xie -- Semi-supervised Clustering Ensemble Based on Multi-ant Colonies Algorithm / Yan Yang, Hongjun Wang, Chao Lin and Jinyuan Zhang -- Semi-supervised Hierarchical Co-clustering / Feifei Huang, Yan Yang, Tao Li, Jinyuan Zhang and Tonny Rutayisire, et al.
A Granular Computing Perspective on Image Organization within an Image Retrieval Context / Orland Hoeber and Minglun Gong -- Granular Computing in Opinion Target Extraction / Jianyang Wu, Haipeng Wang, Xiaojun Xiang and Lin Shang -- Granular Covering Selection Methods Dependent on the Granule Size / Piotr Artiemjew -- Rough Set Approximations in Incomplete Multi-scale Information Systems / Shen-Ming Gu, Xiao-Hui Sun and Wei-Zhi Wu -- Three Granular Structure Models in Graphs / Guang Chen and Ning Zhong -- A Competition Strategy to Cost-Sensitive Decision Trees / Fan Min and William Zhu -- An Information-Theoretic Interpretation of Thresholds in Probabilistic Rough Sets / Xiaofei Deng and Yiyu Yao -- Cost-Sensitive Classification Based on Decision-Theoretic Rough Set Model / Huaxiong Li, Xianzhong Zhou, Jiabao Zhao and Bing Huang -- Decision-Theoretic Rough Sets with Probabilistic Distribution / Dun Liu, Tianrui Li and Decui Liang -- Multiple Criteria Decision Analysis with Game-Theoretic Rough Sets / Nouman Azam and JingTao Yao -- Granularity Analysis of Fuzzy Soft Set / Dengbao Yao, Cuicui Wang, Junjun Mao and Yanping Zhang -- Granular Approach in Knowledge Discovery: Real Time Blockage Management in Fire Service / Adam Krasuski, Karol Kreński, Piotr Wasilewski and Stanisław Łazowy -- Hybrid: A New Multigranulation Rough Set Approach / Xibei Yang, Cheng Yan, Cai Chen and Jingyu Yang -- Inclusion Degrees of Graded Ill-Known Sets / Masahiro Inuiguchi -- Information Granularity and Granular Structure in Decision Making / Baoli Wang, Jiye Liang and Yuhua Qian -- Semi-supervised Clustering Ensemble Based on Collaborative Training / Jinyuan Zhang, Yan Yang, Hongjun Wang, Amjad Mahmood and Feifei Huang -- Soft Set Approaches to Decision Making Problems / Keyun Qin, Jilin Yang and Xiaohong Zhang -- The Models of Variable Precision Multigranulation Rough Sets / Huili Dou, Xibei Yang, Jiyue Fan and Suping Xu -- Topological Properties of the Pessimistic Multigranulation Rough Set Model / Yanhong She and Xiaoli He -- Axiomatic Granular Approach to Knowledge Correspondences / A. Mani -- Definable and Rough Sets in Covering-Based Approximation Spaces / Arun Kumar and Mohua Banerjee -- Intuitionistic Fuzzy Topologies in Crisp Approximation Spaces / You-Hong Xu and Wei-Zhi Wu -- Oppositions in Rough Set Theory / Davide Ciucci, Didier Dubois and Henri Prade -- Partial First-order Logic with Approximative Functors Based on Properties / Tamás Mihálydeák.
Record Nr. NYU-004623878
[RSKT 2012 (2012 : Chengdu, China)]  
Materiale a stampa
Lo trovi qui: New York University