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.
Unconventional computation and natural computation [electronic resource] : 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings / Giancarlo Mauri...[et al.] (eds.).
Unconventional computation and natural computation [electronic resource] : 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings / Giancarlo Mauri...[et al.] (eds.).
Creatore [UCNC (Conference) (12th : 2013 : Milan, Italy)]
Estensione 1 online resource.
Disciplina 004
Accesso persona Mauri, Gian Carlo
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Artificial intelligence
Computer simulation
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Simulation and Modeling
Computational Biology/Bioinformatics
ISBN 9783642390746 (electronic bk.)
3642390749 (electronic bk.)
9783642390739
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960107373503681
[UCNC (Conference) (12th : 2013 : Milan, Italy)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Logic, language, and computation [electronic resource] : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised selected papers / Guram Bezhanishvili...[et al.] (eds.).
Logic, language, and computation [electronic resource] : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised selected papers / Guram Bezhanishvili...[et al.] (eds.).
Creatore [International Tbilisi Symposium on Logic, Language, and Computation (9th : 2011 : Kutaisi, Georgia)]
Estensione 1 online resource.
Disciplina 005.101/5113
Accesso persona Bezhanishvili, Guram
Genere/Forma Electronic books
Soggetto non controllato Computer science
Artificial intelligence
Computer vision
Computer Imaging, Vision, Pattern Recognition and Graphics
Mathematical Logic and Formal Languages
ISBN 9783642369766 (electronic bk.)
3642369766 (electronic bk.)
9783642369759
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Summaries of Tutorials. Computational Social Choice (with a Special Emphasis on the Use of Logic) / Ulle Endriss -- Binding - Data, Theory, Typology / Daniel Hole -- Łukasiewicz Logic: An Introduction / Vincenzo Marra -- Contributions in Language. The Information Structure and Typological Peculiarities of the Georgian Passive Constructions / Rusudan Asatiani -- Discourse Structuring Questions and Scalar Implicatures / Anton Benz, Fabienne Salfner -- Towards a Logic of Information Exchange / Ivano Ciardelli, Jeroen Groenendijk, Floris Roelofsen -- Sitting, Standing, and Lying in Frames: A Frame-Based Approach to Posture Verbs / Thomas Gamerschlag, Wiebke Petersen, Liane Ströbel -- Alleged Assassins: Realist and Constructivist Semantics for Modal Modification / Bjørn Jespersen, Giuseppe Primiero -- An Outline of a Dynamic Theory of Frames / Ralf Naumann -- What Does It Mean for an Indefinite to Be Presuppositional? / Umut Özge -- Contributions in Logic and Computation. Dynamics of Defeasible and Tentative Inference / Patrick Allo -- Decidability for Justification Logics Revisited / Samuel Bucheli, Roman Kuznets, Thomas Studer -- Interpreted Systems Semantics for Process Algebra with Identity Annotations / Francien Dechesne, Mohammad Reza Mousavi -- The Duality of State and Observation in Probabilistic Transition Systems / Monica Dinculescu ... [et al.] -- Model Checking for Modal Intuitionistic Dependence Logic / Johannes Ebbing, Peter Lohmann, Fan Yang -- Coalgebraic Predicate Logic: Equipollence Results and Proof Theory / Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano.
Record Nr. UPENN-9960105063503681
[International Tbilisi Symposium on Logic, Language, and Computation (9th : 2011 : Kutaisi, Georgia)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Future generation information technology [electronic resource] : 4th International Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012, proceedings / Tai-hoon Kim, Young-hoon Lee, Wai-chi Fang (eds.).
Future generation information technology [electronic resource] : 4th International Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012, proceedings / Tai-hoon Kim, Young-hoon Lee, Wai-chi Fang (eds.).
Creatore [FGIT (Conference) (4th : 2012 : Kangnŭng-si, Korea)]
Estensione 1 online resource (xiii, 284 p.) : ill
Disciplina 004
Accesso persona Kim, Tai-hoon
Lee, Young-hoon
Fang, Wai-Chi
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Artificial intelligence
Algorithm Analysis and Problem Complexity
ISBN 9783642355851 (electronic bk.)
3642355854 (electronic bk.)
3642355846 (print)
9783642355844 (print)
9783642355844
Classificazione 54.00
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Frequency Sharing Method for High Frequency Ocean Surface Radar Using Matched Filtering and Orthogonal Waveforms / In-Sik Choi, Seung-Jae Lee, Joo-Hwan Lee -- Vertical Handover Security in 4G Heterogeneous Networks: Threat Analysis and Open Challenges / Naïm Qachri, Olivier Markowitch -- Three-Dimensional Stacked Memory System for Defect Tolerance / Haejun Seo, Yoonseok Heo, Taewon Cho -- VCPU Shaping for Supporting Latency Sensitive Workloads / Byung Ki Kim, Chuck Yoo, Young Woong Ko -- Architecture for Convegence Mobile Cooperation Service Using Components Integration / Haeng-Kon Kim -- An Efficient Layer 2 Routing Algorithm in a Dual-ring Bridged Network for Smart Grid / Seokjoon Hong, Inwhee Joe -- Improving User Throughput with Interleaved-HARQ in OFDM Systems / Dongwook Kim, Namgi Kim -- A Performance Analysis of RESTful Open API Information System / Min Choi -- Genetic Algorithm Based Robot Posture / Dong W. Kim, Jong-Wook Park, Sung-Wook Park --
A Reliable QoS Model for Festival Constraint Running on MHAP in Festival Site / Eungnam Ko, Soongohn Kim -- An Error Control Agent Running on RCSM for Smart Festival Management System / Soongohn Kim, Eungnam Ko -- The Decomposed K-Nearest Neighbor Algorithm for Imbalanced Text Classification / Hyung-Seok Kang, Kihyo Nam, Seong-in Kim -- A Novel Packet Transmission Scheme with Different Periods According to the HSR Ring Direction in Smart Grid / Seokjoon Hong, Inwhee Joe -- Automated Classification of Galaxies Using Invariant Moments / Mohamed Abd Elfattah, Mohamed A. Abu ELsoud -- The Quality Control of Software Reliability Based on Functionality, Reliability and Usability / Hye-Jung Jung, Suck-Joo Hong -- Topic Map Based Management System for Social Network Service / HwaYoung Jeong, BongHwa Hong -- Starfish Recognition Using Adaptive Filter / Jong-Ik Kim, Si-Byung Nam, Sung-Rak Kim -- A Study on the Multi-location Recognition System Based on CCS / Seongsoo Cho, BongHwa Hong, Hae-Gili Choi --
Extracting Pilot Preferred Display from Data Transfer and Recording System / Ki-Il Kim, SeokYoon Kang, Kyoung Choon Park -- Dynamic Race Detection Techniques for Interrupt-Driven Programs / Guy Martin Tchamgoue, Kyong Hoon Kim -- Dynamic Instrumentation for Nested Fork-join Parallelism in OpenMP Programs / Ying Meng, Ok-Kyoon Ha, Yong-Kee Jun -- An Audio Watermarking Algorithm Using Group Quantization of DCT Coefficients / De Li, Wenji Quan, JongWeon Kim -- A Study on Optimization Techniques for the Smart Virtual Machine Platform / YunSik Son, YangSun Lee -- A Real-Time Localization Platform Design in WUSB over WBAN Protocol for Wearable Computer Systems / Kyeong Hur, Won-Sung Sohn, Jae-Kyung Kim -- A Study on Improved Similarity Measure Algorithm for Text-Based Document / Ki-Young Lee, Il-Hee Seo, Jeong-Joon Kim -- Design of Order System Using NFC Based Smart Phone / Myung-Jae Lim, Hyun-Jun Seo, Eun-Ser Lee -- Hard Partition-Based Non-Fuzzy Inference System for Nonlinear Process / Keon-Jun Park, Jun-Myung Lee, Yong-Kab Kim --
A Study on Location DB Matching of IPS in Specific Area Using LED Lights and Image Sensor / Jaesang Cha, Seungho Lee -- Implementation Microprocessor Controller for LED Lights Emotional Match Digital Sounds / Jaesang Cha, Jaekwon Shin, Junghoon Lee -- Determination of a Pair of Single Stationary Zeros in Cross-Coupled Systems / Keehong Um, Yong-Soon Im, Gye-Kuk Kim -- Secure Contents Design and Implement of Smart Home Management System in OISCS / Minkyu Choi, Goreti Marreiros, Myunggwon Hwang -- Development of 3D Visibility Analysis Models Implementing NURBS Data / Choong Sik Kim -- A Multi-set Relational Algebra in View of Universal Query Language / Piotr Wiśniewski -- Using Particle Swarm Optimization for Image Regions Annotation / Mohamed Sami, Nashwa El-Bendary, Tai-hoon Kim -- On Architecture Warehouses and Software Intelligence / Robert Dąbrowski -- The Linkup Data Structure for Heterogeneous Data Integration Platform / Michał Chromiak, Krzysztof Stencel -- Uncertain OLAP over Multidimensional Data Streams: State-of-the-Art Analysis and Research Perspectives / Alfredo Cuzzocrea.
Record Nr. UPENN-9960102573503681
[FGIT (Conference) (4th : 2012 : Kangnŭng-si, Korea)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Principles and practice of multi-agent systems [electronic resource] : 13th international conference, PRIMA 2010, Kolkata, India, November 12-15, 2010 : revised selected papers / Nirmit Desai, Alan Liu, Michael Winikoff (eds.).
Principles and practice of multi-agent systems [electronic resource] : 13th international conference, PRIMA 2010, Kolkata, India, November 12-15, 2010 : revised selected papers / Nirmit Desai, Alan Liu, Michael Winikoff (eds.).
Creatore [International Conference on Principles and Practice of Multi-agent Systems (13th : 2010 : Calcutta, India)]
Estensione 1 online resource (xv, 650 p.) : ill. (some col.
Disciplina 006.3
Accesso persona Desai, Nirmit
Liu, Alan
Winikoff, Michael
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Information storage and retrieval systems
Artificial intelligence
Computer simulation
Artificial Intelligence (incl. Robotics)
Simulation and Modeling
Information Storage and Retrieval
User Interfaces and Human Computer Interaction
ISBN 9783642259203 (electronic bk.)
3642259200 (electronic bk.)
9783642259197
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960091433503681
[International Conference on Principles and Practice of Multi-agent Systems (13th : 2010 : Calcutta, India)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Algorithmic learning theory [electronic resource] : 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings / Nader H. Bshouty...[et al.] (eds.).
Algorithmic learning theory [electronic resource] : 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings / Nader H. Bshouty...[et al.] (eds.).
Creatore [ALT 2012 (2012 : Lyon, France)]
Estensione 1 online resource.
Disciplina 006.3/1
Accesso persona Bshouty, Nader H.
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Logic design
Artificial intelligence
Optical pattern recognition
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
ISBN 9783642341069 (electronic bk.)
3642341063 (electronic bk.)
9783642341052
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Editors' Introduction / Nader H. Bshouty, Gilles Stoltz, Nicolas Vayatis and Thomas Zeugmann -- Declarative Modeling for Machine Learning and Data Mining / Luc De Raedt -- Learnability beyond Uniform Convergence / Shai Shalev-Shwartz -- Some Rates of Convergence for the Selected Lasso Estimator / Pascal Massart and Caroline Meynet -- Recent Developments in Pattern Mining / Toon Calders -- Exploring Sequential Data / Gilbert Ritschard -- Enlarging Learnable Classes / Sanjay Jain, Timo Kötzing and Frank Stephan -- Confident and Consistent Partial Learning of Recursive Functions / Ziyuan Gao and Frank Stephan -- Automatic Learning from Positive Data and Negative Counterexamples / Sanjay Jain and Efim Kinber -- Regular Inference as Vertex Coloring / Christophe Costa Florêncio and Sicco Verwer -- Sauer's Bound for a Notion of Teaching Complexity / Rahim Samei, Pavel Semukhin, Boting Yang and Sandra Zilles -- On the Learnability of Shuffle Ideals / Dana Angluin, James Aspnes and Aryeh Kontorovich -- New Analysis and Algorithm for Learning with Drifting Distributions / Mehryar Mohri and Andres Muñoz Medina -- On the Hardness of Domain Adaptation and the Utility of Unlabeled Target Samples / Shai Ben-David and Ruth Urner -- Efficient Protocols for Distributed Classification and Optimization / Hal Daumé III, Jeff M. Phillips, Avishek Saha and Suresh Venkatasubramanian --
The Safe Bayesian / Learning the Learning Rate via the Mixability Gap / Peter Grünwald -- Data Stability in Clustering: A Closer Look / Lev Reyzin -- Thompson Sampling: An Asymptotically Optimal Finite-Time Analysis / Emilie Kaufmann, Nathaniel Korda and Rémi Munos -- Regret Bounds for Restless Markov Bandits / Ronald Ortner, Daniil Ryabko, Peter Auer and Rémi Munos -- Minimax Number of Strata for Online Stratified Sampling Given Noisy Samples / Alexandra Carpentier and Rémi Munos -- Weighted Last-Step Min-Max Algorithm with Improved Sub-logarithmic Regret / Edward Moroshko and Koby Crammer -- Online Prediction under Submodular Constraints / Daiki Suehiro, Kohei Hatano, Shuji Kijima, Eiji Takimoto and Kiyohito Nagano -- Lower Bounds on Individual Sequence Regret / Eyal Gofer and Yishay Mansour -- A Closer Look at Adaptive Regret / Dmitry Adamskiy, Wouter M. Koolen, Alexey Chernov and Vladimir Vovk -- Partial Monitoring with Side Information / Gábor Bartók and Csaba Szepesvári -- PAC Bounds for Discounted MDPs / Tor Lattimore and Marcus Hutter -- Buy Low, Sell High / Wouter M. Koolen and Vladimir Vovk -- Kernelization of Matrix Updates, When and How? / Manfred K. Warmuth, Wojciech Kotłowski and Shuisheng Zhou -- Predictive Complexity and Generalized Entropy Rate of Stationary Ergodic Processes / Mrinalkanti Ghosh and Satyadev Nandakumar.
Record Nr. UPENN-9960101213503681
[ALT 2012 (2012 : Lyon, France)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Multi-agent-based simulation XII [electronic resource] : international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised selected papers / Daniel Villatoro, Jordi Sabater-Mir, Jaime Simão Sichman (eds.).
Multi-agent-based simulation XII [electronic resource] : international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised selected papers / Daniel Villatoro, Jordi Sabater-Mir, Jaime Simão Sichman (eds.).
Creatore [MABS (Workshop) (12th : 2011 : Taipei, Taiwan)]
Estensione 1 online resource (viii, p.) : ill
Disciplina 003/.3
Accesso persona Villatoro, Daniel
Sabater-Mir, Jordi
Sichman, Jaime S. (Jaime Simão)
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Computer software
Artificial intelligence
Computer simulation
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Simulation and Modeling
Special Purpose and Application-Based Systems
ISBN 9783642284007 (electronic bk.)
3642284000 (electronic bk.)
9783642283994
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960092703503681
[MABS (Workshop) (12th : 2011 : Taipei, Taiwan)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Computer safety, reliability, and security [electronic resource] : SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings / Frank Ortmeier, Peter Daniel (eds.)
Computer safety, reliability, and security [electronic resource] : SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings / Frank Ortmeier, Peter Daniel (eds.)
Creatore [SAFECOMP (Conference) (2012 : Magdeburg, Germany)]
Estensione 1 online resource.
Disciplina 005.8
Accesso persona Ortmeier, Frank
Daniel, Peter, 1950-
Accesso convegno Sassur 2012 (2012 : Magdeburg, Germany)
ASCoMS 2012 (2012 : Magdeburg, Germany)
DESEC4LCCI 2012 (2012 : Magdeburg, Germany)
ERCIM/EWICS 2012 (2012 : Magdeburg, Germany)
International Workshop on Digital Engineering (2012 : Magdeburg, Germany)
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Data protection
Logic design
Artificial intelligence
Systems and Data Security
Logics and Meanings of Programs
Computers and Society
ISBN 9783642336751 (electronic bk.)
3642336752 (electronic bk.)
9783642336744
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction to Sassur 2012 / Alejandra Ruiz, Tim P. Kelly, Mehrdad Sabetzadeh and Didier Van Den Abeele -- AdvoCATE: An Assurance Case Automation Toolset / Ewen Denney, Ganesh Pai and Josef Pohl -- Towards a Case-Based Reasoning Approach for Safety Assurance Reuse / Alejandra Ruiz, Ibrahim Habli and Huáscar Espinoza -- Modeling for Safety in a Synthesis-Centric Systems Engineering Framework / Jasen Markovski and J. M. van de Mortel-Fronczak -- A Model Based Approach for Safety Analysis / Fabien Belmonte and Elie Soubiran -- Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards / Jose Luis de la Vara, Sunil Nair, Eric Verhulst, Janusz Studzizba and Piotr Pepek, et al. -- A New Approach to Assessment of Confidence in Assurance Cases / Xingyu Zhao, Dajian Zhang, Minyan Lu and Fuping Zeng -- An Unified Meta-model for Trustworthy Systems Engineering / Eric Verhulst and Bernhard H. C. Sputh -- A Preliminary Fault Injection Framework for Evaluating Multicore Systems / Anna Lanzaro, Antonio Pecchia, Marcello Cinque, Domenico Cotroneo and Ricardo Barbosa, et al. --
Meeting Real-Time Requirements with Multi-core Processors / Daniel Kästner, Marc Schlickling, Markus Pister, Christoph Cullmann and Gernot Gebhard, et al. -- Assessing Software Interference Management When Modifying Safety-Related Software / Patrick J. Graydon and Tim P. Kelly -- Introduction to ASCoMS 2012 / António Casimiro and Jörg Kaiser -- Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults / Luís Marques and António Casimiro -- An Approach Supporting Fault-Propagation Analysis for Smart Sensor Systems / Sebastian Zug, Tino Brade, Jörg Kaiser and Sasanka Potluri -- Use of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles / Kenneth Östberg and Rolf Johansson -- From Autonomous Vehicles to Safer Cars: Selected Challenges for the Software Engineering / Christian Berger -- Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems / Oscar Ljungkrantz, Henrik Lönn, Hans Blom, Cecilia Ekelin and Daniel Karlsson -- Introduction to DESEC4LCCI 2012 / Christian Esposito, Marco Platania and Francesco Brancati --
Quantitative Security Evaluation of a Multi-biometric Authentication System / Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli and Ernesto La Mattina -- Protecting the WSN Zones of a Critical Infrastructure via Enhanced SIEM Technology / Luigi Romano, Salvatore D'Antonio, Valerio Formicola and Luigi Coppolino -- On Securing Communications among Federated Health Information Systems / Mario Ciampi, Giuseppe De Pietro, Christian Esposito, Mario Sicuranza and Paolo Mori, et al. -- How Secure Is ERTMS? / Richard Bloomfield, Robin Bloomfield, Ilir Gashi and Robert Stroud -- International Cooperation Experiences: Results Achieved, Lessons Learned, and Way Ahead / Craig Gibson, Matteo Melideo, Luigi Romano and Salvatore D'Antonio -- A Federated Simulation Framework with ATN Fault Injection Module for Reliablity Analysis of UAVs in Non-controlled Airspace / Magali Andreia Rossi, Jorge Rady de Almeida Junior, Andrea Bondavalli and Paolo Lollini -- HSIENA: A Hybrid Publish/Subscribe System / Fabio Petroni and Leonardo Querzoni --
WSDM-Enabled Autonomic Augmentation of Classical Multi-version Software Fault-Tolerance Mechanisms / Roeland Dillen, Jonas Buys, Vincenzo De Florio and Chris Blondia -- Formal Verification of a Safety Argumentation and Application to a Complex UAV System / Julien Brunel and Jacques Cazin -- Electronic Reliability Estimation: How Reliable Are the Results? / Nuno Silva and Rui Lopes -- Model-Based Assessment of Multi-region Electric Power Systems Showing Heterogeneous Characteristics / Silvano Chiaradonna, Felicita Di Giandomenico and Nicola Nostro -- Introduction to the ERCIM/EWICS Cyberphysical Systems Workshop 2012 / Erwin Schoitsch and Amund Skavhaug -- The Cyber-Physical Attacker / Roberto Vigo -- Dependable and Secure Embedded Node Demonstrator / Przemysław Osocha, João Carlos Cunha and Fabio Giovagnini -- Towards Secure Time-Triggered Systems / Florian Skopik, Albert Treytl, Arjan Geven, Bernd Hirschler and Thomas Bleier, et al. -- Towards a Framework for Simulation Based Design, Validation and Performance Analysis of Electronic Control Systems / Alexander Hanzlik and Erwin Kristen -- Compiling for Time Predictability / Peter Puschner, Raimund Kirner, Benedikt Huber and Daniel Prokesch --
Towards the Automated Qualification of Tool Chain Design / Fredrik Asplund, Matthias Biehl and Frédéric Loiret -- A Systematic Elaboration of Safety Requirements in the Avionic Domain / Antoaneta Kondeva, Martin Wassmuth and Andreas Mitschke -- Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems / Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis and Alberto Ferrari -- Supporting Assurance by Evidence-Based Argument Services / Janusz Górski, Aleksander Jarzębowicz, Jakub Miler, Michał Witkowicz and Jakub Czyżnikiewicz, et al. -- Towards Composable Robotics: The R3-COP Knowledge-Base Driven Technology Platform / Erwin Schoitsch, Wolfgang Herzner, Carmen Alonso-Montes, P. Chmelar and Lars Dalgaard -- Addressing the Needs of an Aging Population: An Experiment for Monitoring Behaviour in a Domestic Environment / Marte E. B. Skjønsfjell, Aslak R. Normann, Dag Sjong and Amund Skavhaug --
Introduction to IWDE 2012 / Veit Köppen and Gunter Saake -- Modeling the Effects of Software on Safety and Reliability in Complex Embedded Systems / Max Steiner, Patric Keller and Peter Liggesmeyer -- Towards Artificial Perception / André Dietrich, Sebastian Zug and Jörg Kaiser -- A Case Study of Radio-Based Monitoring System for Enhanced Safety of Logistics Processes / Michael Soffner, Mykhaylo Nykolaychuk, Friederike Adler and Klaus Richter -- Visual Approach Facilitating the Importance Analysis of Component Fault Trees / Yi Yang, Patric Keller and Peter Liggesmeyer -- Simulation of Structural Effects in Embedded Systems and Visualization of Dependencies According to an Intended Attack or Manipulation / Sven Kuhlmann, Jana Fruth, Tobias Hoppe and Jana Dittmann -- From Discrete Event Simulation to Virtual Reality Environments / Sebastian Nielebock, Frank Ortmeier, Marco Schumann and André Winge -- Program Comprehension in Preprocessor-Based Software / Janet Siegmund, Norbert Siegmund, Jana Fruth, Sven Kuhlmann and Jana Dittmann, et al.
Record Nr. UPENN-9960100243503681
[SAFECOMP (Conference) (2012 : Magdeburg, Germany)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Logics in artificial intelligence [electronic resource] : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings / Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin (eds.).
Logics in artificial intelligence [electronic resource] : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings / Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin (eds.).
Creatore [JELIA 2012 (2012 : Toulouse, France)]
Estensione 1 online resource.
Disciplina 006.3
Accesso persona Fariñas del Cerro, Luis
Herzig, Andreas
Mengin, Jérôme
Genere/Forma Electronic books
Soggetto non controllato Computer science
Logic design
Information storage and retrieval systems
Artificial intelligence
Computer vision
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Programming Techniques
ISBN 9783642333538 (electronic bk.)
3642333532 (electronic bk.)
9783642333521
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models / Régis Alenda and Nicola Olivetti -- Nested Sequent Calculi for Conditional Logics / Régis Alenda, Nicola Olivetti and Gian Luca Pozzato -- Conflict-Tolerant Semantics for Argumentation Frameworks / Ofer Arieli -- Knowledge Means 'All', Belief Means 'Most' / Dimitris Askounis, Costas D. Koutras and Yorgos Zikos -- Generalized DEL-Sequents / Guillaume Aucher, Bastien Maubert and François Schwarzentruber -- Deciding the Bisimilarity Relation between Datalog Goals / Philippe Balbiani and Antoun Yaacoub -- Inconsistency Management for Traffic Regulations: Formalization and Complexity Results / Harald Beck, Thomas Eiter and Thomas Krennwallner -- Conditional Epistemic Planning / Mikkel Birkegaard Andersen, Thomas Bolander and Martin Holm Jensen -- PTL: A Propositional Typicality Logic / Richard Booth, Thomas Meyer and Ivan Varzinczak -- The Complexity of One-Agent Refinement Modal Logic / Laura Bozzelli, Hans van Ditmarsch and Sophie Pinchinat -- The View-Update Problem for Indefinite Databases / Luciano Caroprese, Irina Trubitsyna, Mirosław Truszczyński and Ester Zumpano --
Three-Valued Logics for Incomplete Information and Epistemic Logic / Davide Ciucci and Didier Dubois -- Exploiting Unfounded Sets for HEX-Program Evaluation / Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl and Peter Schüller -- Using Satisfiability for Non-optimal Temporal Planning / Masood Feyzbakhsh Rankooh, Ali Mahjoob and Gholamreza Ghassem-Sani -- How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic / Marc Finthammer and Christoph Beierle -- Exact Query Reformulation with First-Order Ontologies and Databases / Enrico Franconi, Volha Kerhet and Nhung Ngo -- A Selective Semantics for Logic Programs with Preferences / Alfredo Gabaldon -- A Minimal Model Semantics for Nonmonotonic Reasoning / Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Gian Luca Pozzato -- Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights / Lluís Godo, Enrico Marchioni and Pere Pardo -- On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility / Joanna Golińska-Pilarek --
Fault Tolerance in Belief Formation Networks / Sarah Holbrook and Pavel Naumov -- Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference / Naoya Inoue and Kentaro Inui -- Belief Base Change Operations for Answer Set Programming / Patrick Krümpelmann and Gabriele Kern-Isberner -- A Framework for Semantic-Based Similarity Measures for ELH-Concepts / Karsten Lehmann and Anni-Yasmin Turhan -- Sequent Systems for Lewis' Conditional Logics / Björn Lellmann and Dirk Pattinson -- Relevant Minimal Change in Belief Update / Laurent Perrussel, Jerusa Marchi, Jean-Marc Thévenin and Dongmo Zhang -- Minimal Proof Search for Modal Logic K Model Checking / Abdallah Saffidine -- Building an Epistemic Logic for Argumentation / François Schwarzentruber, Srdjan Vesic and Tjitze Rienstra -- A Unifying Perspective on Knowledge Updates / Martin Slota and João Leite -- Verifying Brahms Human-Robot Teamwork Models / Richard Stocker, Louise Dennis, Clare Dixon and Michael Fisher -- On Satisfiability in ATL with Strategy Contexts / Nicolas Troquard and Dirk Walther --
Jumping to Conclusions / A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments / Bart Verheij -- Beyond Maxi-Consistent Argumentation Operators / Srdjan Vesic and Leendert van der Torre -- Reasoning about Agent Programs Using ATL-Like Logics / Nitin Yadav and Sebastian Sardina -- Qualitative Approximate Behavior Composition / Nitin Yadav and Sebastian Sardina -- A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information / Anna Zamansky -- DebateWEL: An Interface for Debating with Enthymemes and Logical Formulas / Julien Balax, Florence Dupin de Saint-Cyr and David Villard -- OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver / Minh Dao-Tran, Thomas Eiter, Michael Fink, Gerald Weidinger and Antonius Weinzierl -- The Multi-Engine ASP Solver me-asp / Marco Maratea, Luca Pulina and Francesco Ricca -- A System for the Use of Answer Set Programming in Reinforcement Learning / Matthias Nickles -- The Tableau Prover Generator MetTeL2 / Dmitry Tishkovsky, Renate A. Schmidt and Mohammad Khodadadi.
Record Nr. UPENN-9960099763503681
[JELIA 2012 (2012 : Toulouse, France)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Multi-agent-based simulation XIII [electronic resource] : International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised selected papers / Francesca Giardini, Frédéric Amblard (eds.).
Multi-agent-based simulation XIII [electronic resource] : International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised selected papers / Francesca Giardini, Frédéric Amblard (eds.).
Creatore [MABS 2012 (2012 : Valencia, Spain)]
Estensione 1 online resource.
Disciplina 006.3
Accesso persona Giardini, Francesca
Amblard, Frédéric
Genere/Forma Electronic books
Soggetto non controllato Computer science
Artificial intelligence
Computer simulation
Simulation and Modeling
Computation by Abstract Devices
ISBN 9783642388590 (electronic bk.)
3642388590 (electronic bk.)
9783642388583
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Modelling Social Interactions. Simulating Social Behaviour Implementing Agents Endowed with Values and Drives / Gennaro Di Tosto, Frank Dignum -- Modeling the Propagation of Public Perception across Repeated Social Interactions / Taranjeet Singh Bhatia, Saad Ahmad Khan, Ladislau Bölöni -- Cognition and Agents' Behaviors. Effects of Combined Human Decision-Making Biases on Organizational Performance / Silvia Berlinger, Friederike Wall -- Swarming Estimation of Realistic Mental Models / H. Van Dyke Parunak ... [et al.] -- Revisiting the El Farol Problem: A Cognitive Modeling Approach / Davi D'Andréa Baccan, Luis Macedo -- Agents, Games and Finance. Simulation and Performance Assessment of Poker Agents / Luís Filipe Teófilo ... [et al.] -- EGTAOnline: An Experiment Manager for Simulation-Based Game Studies / Ben-Alexander Cassell, Michael P. Wellman -- Agent-Based Modelling of Stock Markets Using Existing Order Book Data / Efstathios Panayi, Mark Harman, Anne Wetherilt -- Methodologies and Tools. Parallel Execution of Social Simulation Models in a Grid Environment / Davide Nunes, Luis Antunes -- A Methodology to Engineer and Validate Dynamic Multi-level Multi-agent Based Simulations / Jean-Baptiste Soyez ... [et al.] -- Towards the Automatic Identification of Faulty Multi-Agent Based Simulation Runs Using MASTER / Chris J. Wright, Phil McMinn, Julio Gallardo.
Record Nr. UPENN-9960107133503681
[MABS 2012 (2012 : Valencia, Spain)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Encyclopedia of the sciences of learning [electronic resource] / Norbert M. Seel, editor
Encyclopedia of the sciences of learning [electronic resource] / Norbert M. Seel, editor
Estensione 1 online resource (3536 p.) : ill.
Disciplina 153.1/503
Accesso persona Seel, Norbert M.
Accesso ente SpringerLink (Online service)
Rosengarten Family Fund
Elizabeth Kelsey Memorial Fund
Anne and Joseph Trachtman Memorial Book Fund
James Hosmer Penniman Book Fund
Genere/Forma Electronic books
Soggetto non controllato Education
Artificial intelligence
Learning & Instruction
Artificial Intelligence (incl. Robotics)
Educational Technology
ISBN 9781441914286 (electronic bk.)
1441914285 (electronic bk.)
9781441914279
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9954238543503681
Materiale a stampa
Lo trovi qui: University of Pennsylvania