|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 61 occurrences of 57 keywords
|
|
|
Results
Found 683 publication records. Showing 610 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
116 | Weisheng Zhao, Eric Belhaire, Claude Chappert, Bernard Dieny, Guillaume Prenat |
TAS-MRAM-Based Low-Power High-Speed Runtime Reconfiguration (RTR) FPGA. |
ACM Trans. Reconfigurable Technol. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Look-Up Table (LUT), MTJ, TAS, multi-context configuration, nonvolatile, Simulation, FPGA, architecture, low power, dynamical reconfiguration, flip-flop, MRAM |
111 | François Laroussinie, Nicolas Markey, Philippe Schnoebelen |
Model Checking Timed Automata with One or Two Clocks. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
79 | Michele Berlingerio, Francesco Bonchi, Fosca Giannotti, Franco Turini |
Mining Clinical Data with a Temporal Dimension: A Case Study. |
BIBM |
2007 |
DBLP DOI BibTeX RDF |
|
79 | Dan Deng, Ming Zhao 0008, Jinkang Zhu |
Transmit Antenna Selection for Linear Dispersion Codes Based on Linear Receiver. |
VTC Spring |
2006 |
DBLP DOI BibTeX RDF |
|
68 | Julio Mellado, Manuel Sierra, Ana Romera, Juan C. Dueñas |
Railway-Control Product Families: The Alcatel TAS Platform Experience. |
IW-SAPF |
2000 |
DBLP DOI BibTeX RDF |
|
68 | Gabriel Aguilera 0001, Inman P. de Guzmán, Manuel Ojeda-Aciego |
TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
68 | Peta Masters, Victoria Young, Alan Chamberlain, Sachini S. Weerawardhana, Peter E. McKenna, Yang Lu, Liz Dowthwaite, Paul Luff, Luc Moreau 0001 |
A Practical Taxonomy of TAS-related Usecase Scenarios. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
68 | Eike Schneiders, Alan Chamberlain, Joel E. Fischer, Steve Benford, Simon Castle-Green, Victor Ngo, Ayse Küçükyilmaz, Pepita Barnard, Ju Row-Farr, Matt Adams, Nick Tandavanitj, Kate Devlin, Clara Mancini, Daniel Mills |
TAS for Cats: An Artist-led Exploration of Trustworthy Autonomous Systems for Companion Animals. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
68 | Steve Benford, Adrian Hazzard, Craig Vear, Helena Webb, Alan Chamberlain, Chris Greenhalgh, Richard Ramchurn, Joe Marshall |
Five Provocations for a More Creative TAS. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
63 | Alex Sherman, Angelos Stavrou, Jason Nieh, Angelos D. Keromytis, Clifford Stein 0001 |
Adding Trust to P2P Distribution of Paid Content. |
ISC |
2009 |
DBLP DOI BibTeX RDF |
|
63 | Michele Berlingerio, Francesco Bonchi, Fosca Giannotti, Franco Turini |
Time-Annotated Sequences for Medical Data Mining. |
ICDM Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
63 | Davide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston |
From Time Petri Nets to Timed Automata: An Untimed Approach. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
63 | Kyriakos Stavrou, Pedro Trancoso |
Thermal-Aware Scheduling: A Solution for Future Chip Multiprocessors Thermal Problems. |
DSD |
2006 |
DBLP DOI BibTeX RDF |
|
62 | Jin Cui, Douglas L. Maskell |
Dynamic thermal-aware scheduling on chip multiprocessor for soft real-time system. |
ACM Great Lakes Symposium on VLSI |
2009 |
DBLP DOI BibTeX RDF |
dynamic tas, post thermal map, cmp, soft real-time |
48 | Ismail Melih Tas, Bahar Ugurdogan, Huseyin Tas |
Integrating VoIP/UC security into the holistic information security planning. |
SIU |
2015 |
DBLP DOI BibTeX RDF |
|
48 | Ismail Melih Tas, Onur Ozbirecikli, Ugur Cagai, Erhan Taskin, Huseyin Tas |
Anatomy of SIP registration removal attack and defense strategies. |
SIU |
2014 |
DBLP DOI BibTeX RDF |
|
48 | Nazif Cihan Tas, Bedri Kamil Onur Tas |
A Search Theoretical Approach to P2P Networks: Analysis of Learning. |
AICT/ICIW |
2006 |
DBLP DOI BibTeX RDF |
|
47 | Huaiyu Zhu 0002, Yong Chen 0001, Xian-He Sun |
Timing local streams: improving timeliness in data prefetching. |
ICS |
2010 |
DBLP DOI BibTeX RDF |
prefetching performance, prefetching simulation, cache memory, data prefetching |
47 | Ramkumar Jayaseelan, Tulika Mitra |
Temperature Aware Scheduling for Embedded Processors. |
VLSI Design |
2009 |
DBLP DOI BibTeX RDF |
|
47 | Taolue Chen, Jian Lu 0001 |
Towards the Complexity of Controls for Timed Automata with a Small Number of Clocks. |
FSKD (5) |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Jiazheng Yuan, Mengxia Zhu, M. Javed Iqbal, Jack Y. Yang, David A. Lightfoot |
A Computational Approach to Understand Arabidopsis thaliana and Soybean Resistance to Fusarium solani (Fsg). |
BIBE |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Neeraj Jaggi, K. Gopinath |
Verification of a Leader Election Algorithm in Timed Asynchronous Systems. |
FSTTCS |
2001 |
DBLP DOI BibTeX RDF |
|
47 | Symeon Papavassiliou, Mike Pace, Anthony G. Zawadzki |
Proactive maintenance tools for transaction oriented wide area networks. |
NOMS |
2000 |
DBLP DOI BibTeX RDF |
|
47 | Manuel Enciso, Inman P. de Guzmán, Carlos Rossi |
Temporal Reasoning over Linear Discrete Time. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
temporal logics, automated theorem proving |
47 | |
Proceedings of the First International Symposium on Trustworthy Autonomous Systems, TAS 2023, Edinburgh, United Kingdom, July 11-12, 2023 |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Katie J. Parnell, Siobhan Merriman, Sinem Getir Yaman, Katherine L. Plant, Radu Calinescu |
Resilient strategies for socially compliant autonomous assistive dressing robots. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Matthew Peter Aylett, Mei Yii Lim, Katerina Pappa, Bruce W. Wilson, Ruth Aylett, Mario Parra |
Embodied Conversational Agents: Trust, Deception and the Suspension of Disbelief. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Pepita Barnard, John Robert Bautista, Joshua Krook, Anqi Liu, Héctor Menéndez 0001, Aurora C. Schmidt, Tamim Sookoor |
MACAIF: Machine Learning Auditing for Clinical AI Fairness. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Philippa Ryan Conmy, John A. McDermid, Ibrahim Habli, Zoë Porter |
Safety engineering, role responsibility and lessons from the Uber ATG Tempe Accident. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Gisela Reyes-Cruz, Isaac Phypers, Andriana Boudouraki, Dominic Price, Joel E. Fischer, Stuart Reeves, Maria J. Galvez Trigo, Horia A. Maior |
Augmented Robotic Telepresence (ART): A Prototype for Enhancing Remote Interaction and Participation. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Carlos Gavidia-Calderon, Amel Bennaceur, Tamara Lopez, Anastasia Kordoni, Mark Levine, Bashar Nuseibeh |
Meet your Maker: A Social Identity Analysis of Robotics Software Engineering. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Helen Smith, Arianna Manzini, Mari-Rose Kennedy, Jonathan Ives |
Ethics of Trust/worthiness in Autonomous Systems: a scoping review. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Bénédicte Legastelois, Amy Rafferty, Paul Brennan, Hana Chockler, Ajitha Rajan, Vaishak Belle |
Challenges in Explaining Brain Tumor Detection. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Joshua Krook, Jan Blockx |
Recommender Systems, Autonomy and User Engagement. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Amel Bennaceur, Avelie Stuart, Blaine A. Price, Arosha K. Bandara, Mark Levine, Linda Clare, Jessica Cohen, Ciaran McCormick, Vikram Mehta, Mohamed Bennasar, Daniel Gooch, Carlos Gavidia-Calderon, Anastasia Kordoni, Bashar Nuseibeh |
Socio-Technical Resilience for Community Healthcare. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Craig Innes, Andrew Ireland, Yuhui Lin, Subramanian Ramamoorthy |
Anticipating Accidents through Reasoned Simulation. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Peter E. McKenna, Marta Romeo, Jhielson M. Pimentel, Mohammed Diab, Meriam Moujahid, Helen Hastie, Yiannis Demiris |
Theory of Mind and Trust in Human-Robot Navigation. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Gowri Pradeep, Prokar Dasgupta, Sylvaine Tuncer, Paul Keith Luff |
Trust and Trustworthiness in Robotic Surgery: A Narrative Review. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Sarah Rigsbee, Alexis Basantis, Bryan Camacho, Cara Lapointe |
Designing for Trust A Human-Centered Methodology for Identifying Metrics of Operational Trust in Mission Autonomy. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Eike Schneiders, Jennifer Williams 0001, Arya Farahi, Tina Seabrooke, Ganesh Vigneswaran, John Robert Bautista, Liz Dowthwaite, Anna-Maria Piskopani |
TAME Pain: Trustworthy AssessMEnt of Pain from Speech and Audio for the Empowerment of Patients. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Rachel Horne, Caroline Law-Walsh, Zena Assaad, Keith F. Joiner |
Ten regulatory principles to scaffold the design, manufacture, and use of trustworthy autonomous systems, illustrated in a maritime context. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Luke Moffat |
Relational Approaches to Autonomous Systems Ethics. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Franca Corradini, Francesco Flammini, Alessandro Antonucci 0001 |
Probabilistic Modelling for Trustworthy Artificial Intelligence in Drone-Supported Autonomous Wheelchairs. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Harriet R. Cameron, Matthew Story, Gisela Reyes-Cruz, Maria Jose Galvez Trigo |
Co-creating Museum Robots With People That Are Autistic and/or Have Learning Disabilities. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Beatriz Cabrero Daniel, Andrea Sanagustín Cabrero |
Perceived Trustworthiness of Natural Language Generators. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Samuel Baker, Elliott Hauser, Justin W. Hart |
Trustworthy Memory Practices for Better Living and Working with Robots. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Marion Oswald, Luke Chambers, Angela Paul |
Evaluating (semi)-autonomous systems in policing and national security: a new framework based on the concept of 'intelligence': A new matrix framework of evaluation and grading, based on lessons from existing processes designed to define and assess 'intelligence'. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Anna-Maria Piskopani, Alan Chamberlain, Carolyn Ten Holter |
Responsible AI and the Arts: The Ethical and Legal Implications of AI in the Arts and Creative Industries. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | James Wilson, Greg Chance, Peter D. Winter, Suet Lee, Emma Milner, Dhaminda B. Abeywickrama, Shane Windsor, John Downer, Kerstin Eder, Jonathan Ives, Sabine Hauert |
Trustworthy Swarms. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Kirsten Ayris, Eliot Dixon, Alice Mauchline, David Christian Rose |
Investigating stakeholder participation in UK agricultural robotics development. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Elliott Hauser, Yao-Cheng Chan, Parth Chonkar, Geethika Hemkumar, Huihai Wang, Daksh Dua, Shikhar Gupta, Efren Mendoza Enriquez, Tiffany Kao, Justin W. Hart, Reuth Mirsky, Joydeep Biswas, Junfeng Jiao, Peter Stone |
"What's That Robot Doing Here?": Perceptions Of Incidental Encounters With Autonomous Quadruped Robots. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Mohammad Naiseh, Paurav Shukla |
The well-being of Autonomous Vehicles (AVs) users under uncertain situations. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Matimba Swana, Jonathan Ives, Sabine Hauert |
Swarm Medicine: Developing guidance for in-human testing of emerging swarm-based cancer nanomedicines. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | An Cai, Caitlin Maureen Bentley, Efpraxia D. Zamani, Mohammad Naiseh, Laura Sbaffi |
Intersectional Analysis of the Challenges and Opportunities of Equitable Remote Operation in the UK Maritime Sector. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Marten H. L. Kaas, Zoë Porter, Ernest Lim, Aisling Higham, Sarah Khavandi, Ibrahim Habli |
Ethics in conversation: Building an ethics assurance case for autonomous AI-enabled voice agents in healthcare. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Carl Dickinson, Shishir Nagaraja, Chuadhry Mujeeb Ahmed, Richard Hyde |
AGRITRUST: A Testbed to Enable Trustworthy Smart AgriTech. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Virginia Portillo, Chris Greenhalgh, Peter J. Craigon, Carolyn Ten Holter |
Responsible Research and Innovation (RRI) Prompts and Practice Cards: a Tool to Support Responsible Practice. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Dan Heaton, Jérémie Clos, Elena Nichele, Joel E. Fischer |
The Social Impact of Decision-Making Algorithms: Reviewing the Influence of Agency, Responsibility and Accountability on Trust and Blame. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Sachini Situmini Weerawardhana, Justyna Lisinska, Michael Akintunde, Hugo Araújo, Genovefa Kefalidou, Elena Nichele, Yang Lu, Oli Malpass, Aaron P. J. Roberts, Ioana Sandu |
Implementing Responsible Research Innovation Prompts and Practice Cards in a Project Investigating Instantaneous Trust. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Cedric Goubard, Yiannis Demiris |
Cooking Up Trust: Eye Gaze and Posture for Trust-Aware Action Selection in Human-Robot Collaboration. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Peter J. Craigon, Debra Fearnshaw, Oliver J. Fisher, Emma Hadfield-Hudson |
The Equality, Diversity and Inclusion Cards - Introduction and Work in Progress. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Andriana Boudouraki, Stuart Reeves, Joel E. Fischer, Sean Rintel |
"There is a bit of grace missing": Understanding non-use of mobile robotic telepresence in a global technology company. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Kirsty Lynch, Katherine L. Plant, Aaron P. J. Roberts, Victoria A. Banks, Dominic Taunton |
Investigating decision-making in the operation of Maritime Autonomous Surface Ships using the Schema World Action Research Method. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Madalin Facino, Alan Hunter 0001, Christof Lutteroth, Aaron P. J. Roberts, Samantha Dugelay |
Storyboarding a Serious Game Environment for Evaluating the Impact of Empathetic AI for Sonar Operators: Empathetic AI for Sonar Operators. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Jérémie Clos, Emma Mcclaughlin, Pepita Barnard, Tino Tom, Sudarshan Yajaman |
A Privacy-Preserving Observatory of Misinformation using Linguistic Markers - A Work in Progress. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Cian O'Donovan, Praminda Caleb-Solly, Praveen Kumar, Siabhainn Russell, Linda Sumpter, Robin Williams |
Empowering future care workforces: scoping human capabilities to leverage assistive robotics. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Phoebe Li, Robin Williams, Stephen Gilbert, Stuart Anderson |
Regulating AI/ML-enabled Medical Devices in the UK. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Liz Dowthwaite, Elvira Perez Vallejos, Virginia Portillo, Menisha Patel, Jun Zhao 0003, Helen Creswick |
An Exploration of how Trust Online Relates to Psychological and Subjective Wellbeing. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Nico Lingg, Yiannis Demiris |
Building Trust in Assistive Robotics: Insights From a Real-World Mobile Navigation Experiment. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Krishna Ronanki, Beatriz Cabrero Daniel, Jennifer Horkoff, Christian Berger 0001 |
RE-centric Recommendations for the Development of Trustworthy(er) Autonomous Systems. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Zena Assaad, Christine Boshuijzen-van Burken |
Ethics and Safety of Human-Machine Teaming. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Anna-Maria Piskopani, Helena Webb, Praminda Caleb-Solly |
Using a Knowledge Café approach as a public engagement activity for raising awareness of data protection issues in robotics for health and social care. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Suet Lee, Sabine Hauert |
Building Trustworthiness by Minimizing the Sim-to-Real Gap in Fault Detection for Robot Swarms. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Sachita Shahi, Stewart A. Birrell, Ashim Debnath, Ben Horan, William Payre |
Would you cross the road? Modelling interactions between the factors influencing pedestrians' decisions when exposed to automated vehicles. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Michael Akintunde, Victoria Young, Vahid Yazdanpanah, Asieh Salehi Fathabadi, Pauline Leonard, Michael J. Butler, Luc Moreau 0001 |
Verifiably Safe and Trusted Human-AI Systems: A Socio-technical Perspective. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Héctor D. Menéndez 0001, Gema Bello Orgaz |
Stay Stress-Free with Complete Confidence: Trustworthiness of Autonomous Stress Detection Systems for Smart Devices. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Jialin Chen, Jérémie Clos, Dominic Price, Praminda Caleb-Solly |
Digital twins for human-assistive robot teams in ambient assisted living. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Louise Hatherall, Dilara Keküllüoglu, Nadin Kökciyan, Michael Rovatsos, Nayha Sethi, Tillmann Vierkant, Shannon Vallor |
Responsible Agency Through Answerability: Cultivating the Moral Ecology of Trustworthy Autonomous Systems. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Xin Yu Liew, Nazia Hameed, Jérémie Clos, Joel E. Fischer |
Predicting Stance to Detect Misinformation in Few-shot Learning. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Tran Viet Vinh, Anh Huy Phan 0003, Nguyen Trung Thanh, Nguyen Thu Phuong |
Proposal of a Hierarchical Combination of CG-TAS and ED-TAS to Improve BER Performance at Low Complexity for VASM Systems. |
ICCAIS |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Mohammad Naiseh, Caitlin M. Bentley, Sarvapali D. Ramchurn |
Trustworthy Autonomous Systems (TAS): Engaging TAS experts in curriculum design. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
41 | Appalla Lakshmi Prathyusha, Priyanka Das 0001 |
Outage Performance of Optimal Relay and Antenna Selection Schemes with TAS/MRC and TAS/SC for Spectrum-Sharing Network under Imperfect CSI. |
SPCOM |
2022 |
DBLP DOI BibTeX RDF |
|
41 | Mohammad Naiseh, Caitlin M. Bentley, Sarvapali D. Ramchurn |
Trustworthy Autonomous Systems (TAS): Engaging TAS experts in curriculum design. |
EDUCON |
2022 |
DBLP DOI BibTeX RDF |
|
41 | Diana Cristina González, Daniel Benevides da Costa, José Cândido Silveira Santos Filho |
Distributed TAS/MRC and TAS/SC Schemes for Fixed-Gain AF Systems With Multiantenna Relay: Outage Performance. |
IEEE Trans. Wirel. Commun. |
2016 |
DBLP DOI BibTeX RDF |
|
41 | Diana Cristina González, Daniel Benevides da Costa, José Cândido Silveira Santos Filho |
Distributed Suboptimal Schemes for TAS/SC and TAS/LS in Fixed-Gain AF Relaying Systems. |
IEEE Trans. Wirel. Commun. |
2014 |
DBLP DOI BibTeX RDF |
|
41 | Phee Lep Yeoh, Maged Elkashlan, Nan (Jonas) Yang, Daniel Benevides da Costa, Trung Quang Duong |
MIMO multi-relay networks with TAS/MRC and TAS/SC in Weibull fading channels. |
PIMRC |
2012 |
DBLP DOI BibTeX RDF |
|
36 | Manuel Ojeda-Aciego, Agustín Valverde |
tascpl: TAS Solver for Classical Propositional Logic. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Christoph Lüth, Burkhart Wolff |
TAS - A Generic Window Inference System. |
TPHOLs |
2000 |
DBLP DOI BibTeX RDF |
|
36 | Christoph Lüth, Burkhart Wolff |
More About TAS and IsaWin - Tools for Formal Program Development. |
FASE |
2000 |
DBLP DOI BibTeX RDF |
|
36 | David G. Kay |
Training computer science teaching assistants: a seminar for new TAs. |
SIGCSE |
1995 |
DBLP DOI BibTeX RDF |
graduate student support, teaching assistants, teacher training |
36 | Don Coppersmith |
Attack on the Cryptographic Scheme NIKS-TAS. |
CRYPTO |
1994 |
DBLP DOI BibTeX RDF |
|
32 | Andreas Kunz, Tarik Taleb, Stefan Schmid 0002 |
On minimizing serving GW/MME relocations in LTE. |
IWCMC |
2010 |
DBLP DOI BibTeX RDF |
3GPP networks, EPS, MME Pool, MME relocation, serving gateway relocation, handover, LTE, EPC |
32 | Michele Berlingerio, Fabio Pinelli, Mirco Nanni, Fosca Giannotti |
Temporal mining for interactive workflow data analysis. |
KDD |
2009 |
DBLP DOI BibTeX RDF |
temporal sequence mining, workflow mining |
32 | Neeraj Koul, Jim Lathrop, Jack H. Lutz, Vasant G. Honavar |
Complexes of on-line self assembly. |
EIT |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Janne Rintanen, Jukka Suhonen, Marko Hännikäinen, Timo D. Hämäläinen |
Application Server for Wireless Sensor Networks. |
SAMOS |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Vladimir Garkavenko, Simon Milne |
New Zealand Travel Agents in the Internet Era: Spatial Differences in ICT Impact, Adoption and Perception. |
ENTER |
2008 |
DBLP DOI BibTeX RDF |
travel agents, information and communication technologies adoption and perception, spatial differences, Auckland, New Zealand, disintermediation |
32 | Martin R. Davies, Sangarapillai Lambotharan, Jonathon A. Chambers, John G. McWhirter |
Broadband MIMO Beamforming for Frequency Selective Channels using the Sequential Best Rotation Algorithm. |
VTC Spring |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Kenneth G. Paterson, Sriramkrishnan Srinivasan |
Security and Anonymity of Identity-Based Encryption with Multiple Trusted Authorities. |
Pairing |
2008 |
DBLP DOI BibTeX RDF |
multi-TA IBE, multiple trusted authorities, anonymity, identity-based encryption |
32 | Yoann Guillemenet, Lionel Torres, Gilles Sassatelli, Nicolas Bruchon, Ilham Hassoune |
A non-volatile run-time FPGA using thermally assisted switching MRAMS. |
FPL |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Sara Modarres Razavi, Di Yuan 0001 |
Performance improvement of LTE tracking area design: a re-optimization approach. |
MOBIWAC |
2008 |
DBLP DOI BibTeX RDF |
re-optimization, tracking area, planning |
Displaying result #1 - #100 of 610 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|