Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8. EUROCAST 2001: Las Palmas de Gran Canaria, Canary Islands, Spain
- Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire:
Computer Aided Systems Theory - EUROCAST 2001, Las Palmas de Gran Canaria, Spain, February 19-23, 2001, Revised Papers. Lecture Notes in Computer Science 2178, Springer 2001, ISBN 3-540-42959-X
Invited Lectures
- Bruno Buchberger:
Gröbner Bases: A Short Introduction for Systems Theorists. 1-19 - Egon Börger:
Design for Reuse via Structuring Techniques for ASMs. 20-35
Computer Aided Systems Theory
Mathematical and Logic Formalisms
- Michael Affenzeller, Franz Pichler, Rudolf Mittelmann:
On CAST.FSM Computation of Hierarchical Multi-layer Networks of Automata. 36-44 - Sebastian Meine:
A Holarchical Organized Design Assistant for Hierarchical Decompositions. 45-51 - Witold Jacak, Karin Pröll, Stephan Dreiseitl:
Conflict Management in an Intelligent Multiagent Robotics System Based on FSM Approach. 52-66 - Elvira Di Nardo
, Amelia G. Nobile, Enrica Pirozzi, Luigi M. Ricciardi:
Computer-Aided Simulations of Gaussian Processes and Related Asymptotic Properties. 67-78 - Thomas Stauner:
Hybrid Systems' Properties - Classification and Relation to Computer Science. 79-93 - Erika Ábrahám-Mumm, Ulrich Hannemann, Martin Steffen:
Assertion-Based Analysis of Hybrid Systems with PVS. 94-109 - Hermann von Issendorff:
Algebraic Description of Physical Systems. 110-124
Information and Decision
- Takuhei Shimogawa:
Information Structure and Logical Design of Social Rules. 125-138 - Gábor Németh:
Towards a Generic Model of Information Processing Systems. 139-145 - María Visitación Hurtado, José Parets-Llorca:
Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies. 146-159 - Isabel María del Águila, Samuel Túnez, Joaquín Cañadas, Alfonso Bosch, Roque Marín:
A proposal for Projekt Management Using CommonKADS. 160-171 - Manfred Mauerkirchner:
A General Planning Method for Allocation of Human Resource Groups. 172-181 - Markus Schwaninger:
Optimizing Organizational Structuce: A Hausdorff Benchmark for Complex Social Systems. 182-195 - Enrique Paniagua-Arís, José T. Palma-Méndez, Fernando Martín-Rubio:
A Planning under Uncertainty Model. 196-208
Complexity
- José Fernando Bienvenido, Isabel M. Flores-Parra, Rafael Guirado, Roque Marín:
Knowledge Based Modeling of the Design Processes as a Base of Design Tools. Application to the Development of Agricultural Structures. 209-222 - Stefan Dierneder, Rudolf Scheidl:
Complexity Analysis of Systems from a Functional and Technical Viewpoint. 223-232 - Juan David González Cobas, José Antonio López Brugos:
A Complexity-Theoretic Approach to the Design of Good Measures of Cryptographic Strength. 233-241 - Carlos Antonio Pereira Campani, Paulo Blauth Menezes:
Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity. 242-256 - Josef Scharinger:
Application of Signed Kolmogorov Hashes to Provide Integrity and Authenticity in Web-Based Software Distribution. 257-269 - Lina García-Cabrera, María José Rodríguez-Fórtiz, José Parets-Llorca:
Toward a Formalisation of Evolutionary Hypermedia Systems Based on System Theory. 270-284 - Liara Aparecida dos Santos Leal, Paulo Blauth Menezes, Dalcidio Moraes Claudio, Laira Vieira Toscani:
Optimization Problems Categories. 285-299
CAST in Neural-like Computation - Applications
- Roberto Moreno-Díaz, Gabriel de Blasio:
Systems Methodology for Classical Neural Nets at Various Levels. 300-315 - Alexis Quesada-Arencibia, Roberto Moreno-Díaz Jr., Miguel Alemán-Flores:
Biologically Based CAST-mechanism for Visual Motion Analysis. 316-327 - Carmen Paz Suárez Araujo, Pablo Fernández López, Patricio García Báez:
Towards a Model of Volume Transmission in Biological and Artificial Neural Networks: A CAST Approach. 328-342 - Marta E. Zorrilla, José Luis Crespo, Eduardo Mora:
An Online Information Retrieval Systems by Means of Artificial Neural Networks. 343-351 - Germano Resconi, Alberto Borboni, Rodolfo Faglia, Monica Tiboni:
Kinematics in Robotics by the Morphogenetic Neuron. 352-368 - Milan Ceska, Vladimír Janousek, Tomás Vojnar:
Analysis and Verification Queries over Object-Oriented Petri Nets. 369-384
CAST in Automation and Control
- Pedro Albertos, Alfons Crespo:
Integrated Design and Implementation of Digital Controllers. 385-392 - Jesús Rodríguez-Millán:
Symbolic Computation Tools for Dynamical Nonlinear Control Systems. 393-404 - Jesús Rodríguez-Millán:
Integrated Symbolic-Graphic-Numeric Analysis and Design in Nonlinear Control through Notebooks in Mathematica. 405-420 - Marc Frappier, Richard St-Denis:
Towards a Computer-Aided Design of Reactive Systems. 421-436 - Agustin Raya, Darío Maravall Gómez-Allende:
Contributions to the Control and Stabilization of the Pole-Cart System. 437-449 - Ricardo García Rosa, Teresa de Pedro:
A Qualitative System as a Frame to Control Unmanned Vehicles. 450-456 - Júlio Henrique Araújo Pereira Machado, Márcia R. Notare, Simone André da Costa, Tiarajú Asmuz Diverio, Paulo Blauth Menezes:
Hyper-Automation System Applied to Geometry Demonstration Environment. 457-468
Computer Algebra and Automated Theorem Proving
- Bruno Buchberger:
The PCS Prover in THEOREMA. 469-478 - Tetsuo Ida, Mircea Marin, Taro Suzuki:
Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations. 479-493 - Andreas Meier, Martin Pollet, Volker Sorge:
Classifying Isomorphic Residue Classes. 494-508 - Masahiko Sato, Yukiyoshi Kameyama, Izumi Takeuti:
CAL: A Computer Assisted Learning System for Computation and Logic. 509-524 - Wolfgang Windsteiger:
A Set Theory Prover Within Theorema. 525-539
Functional Programming and Lambda-Calculus
- Miguel Barreiro, Víctor M. Gulías, Juan J. Sánchez, J. Santiago Jorge:
The Tertiary Level in a Functional Cluster-Based Hierarchical VoD Server. 540-554 - César Domínguez, Laureano Lambán, Vico Pascual, Julio Rubio:
Hidden Specification of a Functional System. 555-569 - André Rauber Du Bois, Antônio Carlos da Rocha Costa:
Distributed Execution of Functional Programs Using the JVM. 570-582 - José Luis Freire, José E. Freire Brañas, Antonio Blanco Ferro, Juan J. Sánchez Penas:
Fusion in Coq. 583-596 - José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Bernardo Martín González Rodríguez:
A Language Prototyping Tool Based on Semantic Building Blocks. 597-611 - Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina:
Verifying an Applicative ATP Using Multiset Relations. 612-626 - Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura:
Adding Traces to a Lazy Monadic Evaluator. 627-641 - Robert F. Pointon, Steffen Priebe, Hans-Wolfgang Loidl, Rita Loogen, Philip W. Trinder:
Functional Vs Object-Oriented Distributed Languages. 642-656 - Juan J. Quintela, Juan J. Sánchez:
Persistent Haskell. 657-667
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 04:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
