Constraint Databases and Applications [[electronic resource] ] : Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP'96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected papers / / edited by Volker Gaede, Alexander Brodsky, Oliver Günther, Divesh Srivastava, Victor Vianu, Mark Wallace |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (XI, 350 p.) |
Disciplina | 005.74 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Data structures (Computer science)
Software engineering Database management Information storage and retrieval Computer programming Programming languages (Electronic computers) Data Structures and Information Theory Software Engineering/Programming and Operating Systems Database Management Information Storage and Retrieval Programming Techniques Programming Languages, Compilers, Interpreters |
ISBN | 3-540-68049-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Planar topological queries (extended abstract) -- An informal introduction to constraint database systems (extended abstract) -- Query evaluation as constraint search; an overview of early results -- Computing the well-founded semantics for constraint extensions of datalog? -- Decomposition and lossless join in constraint databases -- A rule-based CQL for 2-dimensional tables -- On the expressiveness of query languages with linear constraints; capturing desirable spatial properties -- On expressing topological connectivity in spatial Datalog -- The C 3 constraint object-oriented database system: An overview -- Integrity constraint checking in Chimera -- SICSDD: Techniques and implementation -- A temporal constraint system for object-oriented databases -- Using database versions to implement temporal integrity constraints -- Genomic database applications in DISCO -- Constraint databases and program analysis using abstract interpretation -- Querying indexed files -- On the complexity of BV-tree updates -- Implementing index data structures using constraint logic programming -- Problem solving in the DISCO constraint database system -- Interval domain library for ECLiPSe and its application -- A semantic query optimization algorithm for object-oriented databases. |
Record Nr. | UNISA-996466237303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
A decision guidance framework for sustainability performance analysis of manufacturing processes / / Duck Bong Kim; Seung-Jun Shin; Guodong Shao; Alexander Brodsky |
Autore | Kim Duck Bong |
Pubbl/distr/stampa | Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2014 |
Descrizione fisica | 1 online resource |
Altri autori (Persone) |
BrodskyAlexander
KimDuck Bong ShaoGuodong ShinSeung-Jun |
Collana | NISTIR |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910710736003321 |
Kim Duck Bong
![]() |
||
Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Enterprise Information Systems [[electronic resource] ] : 24th International Conference, ICEIS 2022, Virtual Event, April 25–27, 2022, Revised Selected Papers / / edited by Joaquim Filipe, Michał Śmiałek, Alexander Brodsky, Slimane Hammoudi |
Autore | Filipe Joaquim |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (439 pages) |
Disciplina | 005.3 |
Altri autori (Persone) |
ŚmiałekMichał
BrodskyAlexander HammoudiSlimane |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Information technology - Management
Artificial intelligence Business information services Quantitative research Software engineering Computer Application in Administrative Data Processing Artificial Intelligence Enterprise Architecture Data Analysis and Big Data Software Engineering |
ISBN | 3-031-39386-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Databases and Information Systems Integration -- Balancing Simplicity and Complexity in Modeling Mined Business Processes: A User Perspective -- A Storage Location Assignment Problem with Incompatibility and Isolation Constraints: an Iterated Local Search Approach -- Using IoT Technology for the Skilled Crafts -- Implementation Solutions for FAIR Clinical Research Data Management -- Artificial Intelligence and Decision Support Systems -- Visual Interactive Exploration and Labeling of Large Volumes of Industrial Time Series Data -- Resource Planning in Workflow Nets based on a Symbolic Time Constraint Propagation Mechanism -- Implementation of the Maintenance Cost Optimization Function in Manufacturing Execution Systems -- Quantitative Comparison of Translation by Transformers-based Neural Network Models -- OptiViTh: A Decision Guidance Framework and System for Design, Analysis and Optimization of Cloud-Manufactured Virtual Things -- Ecient Deep Neural Network Training Techniques for Overtting Avoidance -- Eect of Convulsion Layers and Hyper-parameters on the Behavior of Adversarial Neural Networks -- Information Systems Analysis and Specification -- Modelling Software Tasks for Supporting Resource-driven Adaptation -- A Critical View on the OQuaRE Ontology Quality Framework -- Successful Practices in Industry-Academy Collaboration in the Context of Software Agility: A Systematic Review of the Literature -- Human-Computer Interaction -- Distance Digital Learning for Adult Learners: Self-paced e-Learning on Business Information Systems -- Human-Computer Interaction. Ethical Perspectives on Technology and Its (Mis)uses -- Enterprise Architecture -- Meet2Map: A Framework to Support BPM Projects Implementation Collaboratively -- The Factors of Enterprise Business Architecture Readiness in Organisations -- A Specification of How to Extract Relevant Process Details to Improve Process Models -- Considering User Preferences during Business Process Execution using Content-based Filtering. |
Record Nr. | UNINA-9910736007403321 |
Filipe Joaquim
![]() |
||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Enterprise Information Systems [[electronic resource] ] : 24th International Conference, ICEIS 2022, Virtual Event, April 25–27, 2022, Revised Selected Papers / / edited by Joaquim Filipe, Michał Śmiałek, Alexander Brodsky, Slimane Hammoudi |
Autore | Filipe Joaquim |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (439 pages) |
Disciplina | 005.3 |
Altri autori (Persone) |
ŚmiałekMichał
BrodskyAlexander HammoudiSlimane |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Information technology - Management
Artificial intelligence Business information services Quantitative research Software engineering Computer Application in Administrative Data Processing Artificial Intelligence Enterprise Architecture Data Analysis and Big Data Software Engineering |
ISBN | 3-031-39386-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Databases and Information Systems Integration -- Balancing Simplicity and Complexity in Modeling Mined Business Processes: A User Perspective -- A Storage Location Assignment Problem with Incompatibility and Isolation Constraints: an Iterated Local Search Approach -- Using IoT Technology for the Skilled Crafts -- Implementation Solutions for FAIR Clinical Research Data Management -- Artificial Intelligence and Decision Support Systems -- Visual Interactive Exploration and Labeling of Large Volumes of Industrial Time Series Data -- Resource Planning in Workflow Nets based on a Symbolic Time Constraint Propagation Mechanism -- Implementation of the Maintenance Cost Optimization Function in Manufacturing Execution Systems -- Quantitative Comparison of Translation by Transformers-based Neural Network Models -- OptiViTh: A Decision Guidance Framework and System for Design, Analysis and Optimization of Cloud-Manufactured Virtual Things -- Ecient Deep Neural Network Training Techniques for Overtting Avoidance -- Eect of Convulsion Layers and Hyper-parameters on the Behavior of Adversarial Neural Networks -- Information Systems Analysis and Specification -- Modelling Software Tasks for Supporting Resource-driven Adaptation -- A Critical View on the OQuaRE Ontology Quality Framework -- Successful Practices in Industry-Academy Collaboration in the Context of Software Agility: A Systematic Review of the Literature -- Human-Computer Interaction -- Distance Digital Learning for Adult Learners: Self-paced e-Learning on Business Information Systems -- Human-Computer Interaction. Ethical Perspectives on Technology and Its (Mis)uses -- Enterprise Architecture -- Meet2Map: A Framework to Support BPM Projects Implementation Collaboratively -- The Factors of Enterprise Business Architecture Readiness in Organisations -- A Specification of How to Extract Relevant Process Details to Improve Process Models -- Considering User Preferences during Business Process Execution using Content-based Filtering. |
Record Nr. | UNISA-996546831803316 |
Filipe Joaquim
![]() |
||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Enterprise Information Systems [[electronic resource] ] : 21st International Conference, ICEIS 2019, Heraklion, Crete, Greece, May 3–5, 2019, Revised Selected Papers / / edited by Joaquim Filipe, Michał Śmiałek, Alexander Brodsky, Slimane Hammoudi |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XVII, 564 p. 208 illus., 125 illus. in color.) |
Disciplina | 005.7 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Application software
Management information systems Software engineering User interfaces (Computer systems) E-commerce Information Systems Applications (incl. Internet) Business Information Systems Software Engineering User Interfaces and Human Computer Interaction Enterprise Architecture e-Commerce/e-business |
ISBN | 3-030-40783-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Enterprise Security with Endpoint Agents -- Self-managed Computer Systems: Foundations and Example -- A Hybrid Algorithm for the Unrelated Parallel Machine Scheduling Problem -- An Automatic Text Classification Method based on Hierarchical Taxonomies, Neural Networks and Document Embedding: The NETHIC Tool -- An Iterated Local Search-based Algorithm to Support Cell Nuclei Detection in Pap Smears Test -- A Generic Architectural Framework for Machine Learning on Data Streams -- Usage of Smart Contracts with FCG for Dynamic Robot Coalition Formation in Precision Farming -- Business Layer: An Enterprise Approach for Work flow Engine and Record Management Systems Integration -- CPS-PMBOK: How to Better Manage Cyber-physical System Development Projects -- Function Point Tree-based Function Point Analysis: Improving Reproducibility Whilst Maintaining Accuracy in Function Point Counting -- A Canonical Data Model for Records Management in the Portuguese Public Administration -- An Analysis of Automated Technical Debt Measurement -- Evaluating some Heuristics to Find Hyponyms between Ontologies -- Towards Design Principles for Visualizing Business Ecosystems -- HCI integration in SE projects: the challenge of engaging students in the classroom -- A Design Process Integrating Human-Data Interaction Guidelines and Semio-participatory Design -- Semantic Concept Recommendation for Continuously Evolving Knowledge Graphs -- Linear Hashing Implementations for Flash Memory -- On-premise or Cloud Enterprise Application Deployment: Fit-gap Perspective -- CoRP: A Pattern-based Anomaly Detection in Time-series -- A Tool for Analyzing Academic Genealogy -- Improving and Optimizing Verification and Testing Techniques for Distributed Information Systems -- Systematizing the Relationship between Business Processes' and Web Services' Non-functional Requirements -- Automatic decomposition of IoT aware business processes with data and control flow distribution -- Moving from Manufacturing to Software Business: A Business Model Transformation Pattern -- An Architecture Principle Measurement Instrument Tested in Real-life. |
Record Nr. | UNINA-9910380747203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Enterprise Information Systems [[electronic resource] ] : 21st International Conference, ICEIS 2019, Heraklion, Crete, Greece, May 3–5, 2019, Revised Selected Papers / / edited by Joaquim Filipe, Michał Śmiałek, Alexander Brodsky, Slimane Hammoudi |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XVII, 564 p. 208 illus., 125 illus. in color.) |
Disciplina | 005.7 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Application software
Management information systems Software engineering User interfaces (Computer systems) E-commerce Information Systems Applications (incl. Internet) Business Information Systems Software Engineering User Interfaces and Human Computer Interaction Enterprise Architecture e-Commerce/e-business |
ISBN | 3-030-40783-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Enterprise Security with Endpoint Agents -- Self-managed Computer Systems: Foundations and Example -- A Hybrid Algorithm for the Unrelated Parallel Machine Scheduling Problem -- An Automatic Text Classification Method based on Hierarchical Taxonomies, Neural Networks and Document Embedding: The NETHIC Tool -- An Iterated Local Search-based Algorithm to Support Cell Nuclei Detection in Pap Smears Test -- A Generic Architectural Framework for Machine Learning on Data Streams -- Usage of Smart Contracts with FCG for Dynamic Robot Coalition Formation in Precision Farming -- Business Layer: An Enterprise Approach for Work flow Engine and Record Management Systems Integration -- CPS-PMBOK: How to Better Manage Cyber-physical System Development Projects -- Function Point Tree-based Function Point Analysis: Improving Reproducibility Whilst Maintaining Accuracy in Function Point Counting -- A Canonical Data Model for Records Management in the Portuguese Public Administration -- An Analysis of Automated Technical Debt Measurement -- Evaluating some Heuristics to Find Hyponyms between Ontologies -- Towards Design Principles for Visualizing Business Ecosystems -- HCI integration in SE projects: the challenge of engaging students in the classroom -- A Design Process Integrating Human-Data Interaction Guidelines and Semio-participatory Design -- Semantic Concept Recommendation for Continuously Evolving Knowledge Graphs -- Linear Hashing Implementations for Flash Memory -- On-premise or Cloud Enterprise Application Deployment: Fit-gap Perspective -- CoRP: A Pattern-based Anomaly Detection in Time-series -- A Tool for Analyzing Academic Genealogy -- Improving and Optimizing Verification and Testing Techniques for Distributed Information Systems -- Systematizing the Relationship between Business Processes' and Web Services' Non-functional Requirements -- Automatic decomposition of IoT aware business processes with data and control flow distribution -- Moving from Manufacturing to Software Business: A Business Model Transformation Pattern -- An Architecture Principle Measurement Instrument Tested in Real-life. |
Record Nr. | UNISA-996465455603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Processes analytics formalism for decision guidance in sustainable manufacturing / / Alexander Brodsky; Guodong Shao; Frank Riddick |
Autore | Brodsky Alexander |
Pubbl/distr/stampa | Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2013 |
Descrizione fisica | 1 online resource (38 pages) : illustrations (some color) |
Altri autori (Persone) |
BrodskyAlexander
RiddickFrank ShaoGuodong |
Collana | NISTIR |
Soggetto topico |
Manufacturing processes
Sustainability |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910710510003321 |
Brodsky Alexander
![]() |
||
Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
A prototype web-based user interface for sustainability modeling and optimization / / Guodong Shao; David Westbrook; Alexander Brodsky |
Autore | Shao Guodong |
Pubbl/distr/stampa | Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2012 |
Descrizione fisica | 1 online resource |
Altri autori (Persone) |
BrodskyAlexander
ShaoGuodong WestbrookDavid |
Collana | NISTIR |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910710738403321 |
Shao Guodong
![]() |
||
Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|