Filters








950 Hits in 1.7 sec

SGGS Decision Procedures [chapter]

Maria Paola Bonacina, Sarah Winkler
2020 Lecture Notes in Computer Science  
These features make it attractive as a basis for decision procedures.  ...  We report on experiments with a termination tool implementing a restrainedness test, and with an SGGS prototype named Koala.  ...  attractive candidate for decision procedures, because it is conflict-driven and it builds models.  ... 
doi:10.1007/978-3-030-51074-9_20 fatcat:qp7hbvmeb5acdebuvqhydirvgu

Is a "wait-and-see" policy the best for small gastric gastrointestinal stromal tumor (GIST)?

Tatsuo Kanda
2016 Translational Gastroenterology and Hepatology  
The wait-and-see approach could be a practical choice for making decisions on the necessity and timing of tumor resection as EUS-FNA is difficult for small gastric SMTs.  ...  Endoscopic resection may be suitable for the management of patients with small gastric SMTs because the procedure is not only diagnostically useful but also potentially curable.  ... 
doi:10.21037/tgh.2016.01.06 pmid:28138569 pmcid:PMC5244714 fatcat:lo5zrs2xcbbdnlyar5dtv446m4

On First-Order Model-Based Reasoning [chapter]

Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans
2015 Lecture Notes in Computer Science  
For first-order logic we touch upon resolution-based methods, tableaux-based methods, DPLL-inspired methods, and we give a preview of a new method called SGGS, for Semantically-Guided Goal-Sensitive reasoning  ...  A decision procedure for linear arithmetic applied to N 0 ∪ G 0 ∪ Con 0 detects unsatisfiability.  ...  We assume to have a decision procedure to detect that a finite set of Σ 0 -clauses is T 0 -unsatisfiable.  ... 
doi:10.1007/978-3-319-23165-5_8 fatcat:pbrfqqt75fe3rn6vjcqh5n4cl4

TOWARDS AN EFFICIENT MANAGEMENT IN THE CONTEXT OF MODERNIZING THE ROMANIAN PUBLIC ADMINISTRATION

Cristina Elena NICOLESCU
2019 Journal of Public Administration, Finance and Law  
- makers to optimize decision-making processes, as well as to develop public services and their quality.  ...  Public Administration reform initiated by the Romanian Government during the pre-accession period to the EU, as well as its subsequent reforms in key areas, sustained efforts are still needed by Romanian decision  ...  process", it pursues through the two sub-measures it comprises, strengthening the legal and institutional framework incident to the decision-making transparency procedures, as well as strengthening the  ... 
doaj:30039849ea0d487ba89a48d96debd02b fatcat:y56jqag2xngtjgy6tinikdoif4

Un rapprochement du Secrétariat général du gouvernement et du Secrétariat général des affaires européennes ? Perspectives d'évolution de la coordination interministerielle française

Alexandre Marin
2016 Revue Francaise d'Administration Publique  
This standardised process is distinct from procedures for internal matters which are coordinated by the General Secretariat of the Government (SGG) and the Prime Minister's Office.  ...  Aussi, des liens SGG-SGAE ont dû être créés, qui peuvent être renforcés et posent in fine la question du rapprochement des deux structures.  ...  Leur préparation, leur convocation et leur secrétariat sont assurés par un chargé de mission du SGG ou l'un de ses adjoints, qui en diffusera le « bleu », compte rendu et relevé de décisions (Fournier  ... 
doi:10.3917/rfap.158.0373 fatcat:amevgzpxljfnzmyx2jj3a6rxgq

La plus britannique des administrations françaises : le Secrétariat général du Gouvernement

Serge Lasvignes, Jean-Michel Eymeri-Douzans, Michel Mangenot
2019 Revue Francaise d'Administration Publique  
Je pense en particulier aux procédures d'élaboration des textes.  ...  « Bleu » signifie que c'est une décision.  ...  De toute façon, des documents sur le SGG, vous en trouverez très, très peu.  ... 
doi:10.3917/rfap.171.0745 fatcat:hbf7aa3stbd5vjeapu4tmbja74

Why You Should Charge Your Friends for Borrowing Your Stuff

Kijung Shin, Euiwoong Lee, Dhivya Eswaran, Ariel D. Procaccia
2017 Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence  
Given G = (V, E), k and ξ, the following procedure gives an NE s for any SGG and s for any SGG-AC.  ...  If i once owned a good but decided to rent a good (free ride in SGG) later via Case 4, the number of its followers at the moment of the decision was at most ξ − 1, and it could not have gained additional  ... 
doi:10.24963/ijcai.2017/56 dblp:conf/ijcai/ShinLEP17 fatcat:itcxnoq3dje2tgilht47cvl3w4

Why You Should Charge Your Friends for Borrowing Your Stuff [article]

Kijung Shin, Euiwoong Lee, Dhivya Eswaran, Ariel D. Procaccia
2017 arXiv   pre-print
An NE exists in any SGG and SGG-AC. Proof. Given G = (V, E), k and ξ, the following procedure gives an NE s for any SGG and s ′ for any SGG-AC.  ...  If i once owned a good but decided to rent a good (free ride in SGG) later via Case 4, the number of its followers at the moment of the decision was at most ξ − 1, and it could not have gained additional  ... 
arXiv:1705.07343v1 fatcat:i3t3th2ikbhf7b6foeegyvccsu

La neutralité procédurale du Conseil constitutionnel

Thomas Perroud
2019 Revue des droits de l'homme  
le SGG de la procédure ou de rendre cette partie de la procédure absolument transparente.  ...  l'impartialité de la procédure de décision » 103 .  ... 
doi:10.4000/revdh.5618 fatcat:74pu6uk4nzcgrjzdycmjpm3d4u

La mémoire du travail gouvernemental

Pascal Petitcollot
2002 Revue Francaise d'Administration Publique  
Aucune de ses soi-disant décisions ne revêt une forme précise et certaine.  ...  Pour entretenir la mémoire du travail gouvernemental indispensable à cette fonction, le secrétariat général du gouvernement (SGG) gère, par l'intermédiaire de son service de documentation, une masse considérable  ...  Le suivi de la procédure d'élaboration des lois, de la naissance du projet à sa publication au Journal offıciel, s'appuie, grâce à l'intranet du SGG, sur quantité d'autres informations numérisées : il  ... 
doi:10.3917/rfap.102.0285 fatcat:abghnr42creuje5jy5q6ougj7i

The lottery-panel task for bi-dimensional parameter-free elicitation of risk attitudes

Aurora García-Gallego, Nikolaos Georgantzís, Ainhoa Jaramillo-Gutiérrez, Melanie Parravano
2012 Revista Internacional de Sociología  
Using Principal Component Analysis technique, we show that the SGG lotterypanel task is capable of capturing two dimensions of individual risky decision making: subjects' average willingness to choose  ...  Utilizando la técnica de componentes principales, encontramos que la tarea SGG es capaz de capturar dos dimensiones de la toma de decisiones individuales: por un lado, la voluntad promedio de los sujetos  ...  In recent economic studies, a measure of risk aversion is obtained by the use of the Holt and Laury (2002) HL procedure.  ... 
doi:10.3989/ris.2011.07.1a fatcat:rt75vrdolndnvda66c5ngjlxyu

Adaptive Fine-Grained Predicates Learning for Scene Graph Generation [article]

Xinyu Lyu, Lianli Gao, Pengpeng Zeng, Heng Tao Shen, Jingkuan Song
2022 arXiv   pre-print
Extensive experimental results show that our proposed model-agnostic strategy significantly boosts performance of benchmark models on VG-SGG and GQA-SGG datasets by up to 175% and 76% on Mean Recall@100  ...  Practically, PL-A is initialized from SGG dataset, and gets refined by exploring model's predictions of current mini-batch.  ...  Finally, comprehensive experiments show that our FGPL-A can differentiate among hard-to-distinguish predicates, benefits SGG models with a balanced discriminating learning procedure, and enriches downstream  ... 
arXiv:2207.04602v1 fatcat:yslkkw3xdrcxbfueiwtazbyxqq

Relationship among Streptococcus gallolyticus Subsp. gallolyticus, Enterococcus faecalis and Colorectal Neoplasms in Recurrent Endocarditis: A Historical Case Series

Eva Romay, Juan Manuel Pericàs, María José García-País, Marta Hernández-Meneses, Blanca Ayuso, Javier García-González, Rodrigo Vicente Garcés-Durán, Ramón Rabuñal, Pilar Alonso-García, Fernando García-Garrote, Andrés Perissinotti, Bàrbara Vidal (+8 others)
2022 Journal of Clinical Medicine  
There were 155 episodes (10%) of recurrent IE, 20 of which (12.9%) were due to a succession of SGG/EF IE in 10 patients (the first episode caused by SGG in eight cases, and by EF in two cases).  ...  Results: among 1552 IE episodes, 204 (13.1%) were caused by EF and 197 (12.7%) by SGG, respectively.  ...  These mechanisms are better known in the case of SGG IE, in which an extraintestinal focus is not usually detected, and strong evidence suggests that CRN plays a decisive role [11, 12] .  ... 
doi:10.3390/jcm11082181 pmid:35456274 pmcid:PMC9030725 fatcat:7mw6xxvr25ef5aimjgpbyl3h5i

The Internal Managerial Control Applicable to Public Entities: Regulation, Achievements, Perspectives

Ionel Bostan, Cristina Mihaela Lazar
2021 Ovidius University Annals: Economic Sciences Series  
(SGG, 2021).  ...  achievement of objectives regarding the qualitative fulfillment of the institution's attributions, correlated with the established mission, protection of own funds, observance of legal norms and managerial decisions  ... 
doaj:02ae7627e81c4e2e902e7b79ad30404a fatcat:hp6ad2c6knbapign3zxmjpmhni

Near Real-Time Classification of Iron Ore Lithology by Applying Fuzzy Inference Systems to Petrophysical Downhole Data

Maria Kitzig, Anton Kepic, Ashley Grant
2018 Minerals  
Current procedures often rely heavily on manual analysis and interpretation although new technologies and analytical procedures are available to automate workflows.  ...  The data classification procedures presented in this study aims to identify and separate these different units according to their economic value.  ...  The data classification procedures presented in this study aims to identify and separate these different units according to their economic value.  ... 
doi:10.3390/min8070276 fatcat:agg5fde3grb33cxjv54jeuits4
« Previous Showing results 1 — 15 out of 950 results