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